Рис. 1 Неклассические логические элементы и квантовые компьютеры



Скачать 73.19 Kb.
Pdf просмотр
Дата14.04.2017
Размер73.19 Kb.
Просмотров144
Скачиваний0
Рис. 1
УДК 517.55
НЕКЛАССИЧЕСКИЕ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ И КВАНТОВЫЕ
КОМПЬЮТЕРЫ
Керп АС, Лукоткин АС.
Научный руководитель др физмат. наук Цих А.К., аспирант кафедры ТФ СФУ
Куликов В.Р.
Сибирский федеральный университет
ВВЕДЕНИЕ
Квантовая информатика — новый раздел науки, возникший на стыке квантовой механики, алгоритмов и теории информации. В квантовой информатике изучаются общие принципы и законы, управляющие динамикой сложных квантовых систем. Квантовый компьютер — вычислительное устройство, работающее на основе принципов квантовой механики. Идея построения квантового компьютера была предложена в 1980 году советским математиком Ю. И. Маниным. Эту идею поддержали физики, в частности, П. Бениоф и Нобелевский лауреат Р. Фейнман. Необходимость в квантовом компьютере возникает тогда, когда мы пытаемся исследовать методами физики сложные многочастичные системы, подобные биологическим. На данное устройство возлагаются большие надежды, поэтому ведется активная деятельность по его созданию. После открытия квантовой физики человеку потребовался новый инструмент для исследований. И именно квантовый компьютер стал современным устройством, позволяющим изучать различные явления и вычислять необходимые данные. Пока удалось построить только ограниченный компьютер, но этого хватило, чтобы убедится в необходимости полноценного квантового компьютера. Квантовый компьютер использует для вычисления неклассические алгоритмы, которые реализуются посредством неклассических логических элементов. Логический элемент — устройство ЭВМ, выполняющее одну определенную операцию над входными сигналами согласно правилам алгебры логики (восходящим к Аристотелю. Например, логический элемент, отражающий переход к отрицанию, изображается следующей схемой Поскольку в логике отрицание высказывания образуется с помощью частицы НЕ, изображенный элемент будем обозначать символом НЕ.
В рамках действительного анализа нельзя построить логический элемент
, те такой, для которого
, где под умножением подразумевается последовательное применения элемента. Иными словами, даже в рамках многозначной логики, основанной на классической теории вероятности, уравнение неразрешимо. Докажем это.
Отражающая это уравнение техническая схема такая Здесь слева подразумеваются две копии одного (неизвестного) логического элемента X. Предполагается, что переходы происходят с вероятностями Р, Р, Р, Р
11
(см. Рис. Для элемента НЕ имеем
P
00
=P
11
=0; P
01
=P
10
=1 Следовательно, для удовлетворения равенства получаем систему уравнений
P
00
P
00
+P
01
P
10
=0;
P
00
P
01
+P
01
P
11
=1;
P
10
P
00
+P
11
P
10
=1;
P
11
P
11
+P
10
P
01
=0. Поскольку P
ij
≥0, получаем Р
00

11
=0, тем самым P
00
P
01
+P
01
P
11
=1 или
P
10
P
00
+P
11
P
10
=1 сводится к 0=1. Таким образом, данная схема нереализуема для вещественных неотрицательных значений вероятностей Путь к реализации равенства подсказывает квантовая механика, в которой под амплитудой вероятности перехода i j подразумевает комплексное число c ij
, для которого
. Таким образом, если в приведенной системе уравнений заменить
P
ij на комплексные числа c ij
, то тогда следует рассмотреть уравнения Теперь рассмотрим систему уравнений Рис. 2 Рис. 3

(*) Некоторые примеры корней данной системы уравнений были представлены в книге Гуца[2]: Ранее нами была доказана теорема о полном решении системы (*):
Теорема 1. Все комплексные решения системы (*) параметризуются в
следующем виде через 2 параметра
:
,
,

Цель данной работы состоит в обобщении Теоремы 1, то есть в описании новых неклассических логических элементов. В соответствии с поставленной целью, естественно были рассмотрены следующие задачи Найти математический язык для реализации последовательных применений неклассического элемента X, то есть Найти
, то есть указать решения логического уравнения Выяснить вопрос о всех решениях уравнения для . По сути, задача о поиске логического элемента свелась к нахождению матрицы, квадрат которой равен
, где Такой способ представления матрицы НЕ позволит нам записать равенство в виде матричного уравнения. Первое утверждение нашего исследования составляет
Лемма 1. Последовательное применение n раз неклассического элемента X
соответствует возведению в ю степень комплексной матрицы
, то
есть
соответствует
.
Основным результатом данной работы является
Теорема 2. Решениями матричного уравнения
являются следующие
матрицы:



При нечетных n появляется дополнительный набор решений

Для доказательства Теоремы 2 мы задействуем следующие утверждения
Лемма 2. Матрица
удовлетворяет
матричному уравнению
.
Лемма 3. Матрица
удовлетворяет матричному
уравнению
, при нечетных n=2l+1.
Доказательство лемм 2 и 3 основано на принципе математической индукции по степеням матриц Х и Х’. Кроме того, если прибавить к показателям элементов матрицы НЕ числа, кратные
, то матрица НЕ не изменится. Однако подобный сдвиг изменит матрицы Х и Х’. Всевозможные сдвиги породят 2n различных матриц. Обозначим их

Полный текст доказательств лемм 1-3 мы здесь опускаем, однако можем сделать важный комментарий. В случае
Теорема 2 предоставляет полный список решений логического уравнения
. На основании этого наблюдения нами сформулирована
Гипотеза: Теорема 2 предоставляет полный список решений логического
уравнения
.
СПИСОК ЛИТЕРАТУРЫ
1.
Мальцев АИ. Основы линейной алгебры / АИ. Мальцев –
М.:Государственное издательство технико-теоретической литературы, 1956.
2.
Гуц А.К. Комплексный анализ и информатика учебное пособие / А.К. Гуц – Омск Министерство образования Российской Федерации, Омский Государственный Университет Кафедра Информационной Безопасности,
2002. – с.

Каталог: sites -> mn2013 -> thesis
sites -> Ларцева А. 1 Перевод имен собственных на примере книги ховарда рейнголда
sites -> Памятка для родителей подростков и старших школьников
sites -> Занятие №18 Здравствуйте, участники программ личностного развития для детей!
sites -> Программа кружка «Юный журналист»
sites -> Шелакина А. А. Студентка 2 курса атп 921 ппк сгту имени Гагарина Ю. А
sites -> Культурного и природного наследия имени д. С. Лихачева
sites -> Безопасность детей в образовательных учреждениях России
thesis -> Разработка автоматизированного комплекса процесса
thesis -> Разработка компьютерных тренажеров-симуляторов


Поделитесь с Вашими друзьями:


База данных защищена авторским правом ©nethash.ru 2019
обратиться к администрации

войти | регистрация
    Главная страница


загрузить материал