2.2 Уравнение Дирака.50.
2.3 Пространственная зависимость корреляционной функции.. 52.
2.4 Вычисление спиновой корреляционной матрицы.56.
2.5 Результаты.58.
2.5.1 Вычисление gf).58.
2.5.2 Вычисление .60.
Jij.
2.6 Заключение.61.
3 Метод решения квантовых стохастических уравнений уравнений с белым шумом Ферми. 62.
3.1 Введение.62.
3.2 Модели открытых квантовых систем.63.
3.2.1 Наблюдаемые, квантовая динамика и представление Шрёдингера.63.
3.2.2 Алгебра наблюдаемых, состояние и их явная реализация.64.
3.2.3 Понятие открытой квантовой системы.65.
3.2.4 Представление взаимодействия.66.
3.2.5 Свободные Ферми и Возе поля.67.
3.2.6 Гауссовы состояния поля.70.
3.2.7 «Маленькая система». Дипольное взаимодействие... 70.
3.3 Квантовый белый шум. 72.
3.4 Стохастический предел.73.
3.4.1 Сходимость в смысле корреляторов. Теорема существования стохастического предела.74.
3.4.2 Стохастическое золотое правило. Нормально упорядоченная форма стохастического уравнения Шредингера. Случай Бозе.77.
3.5 Формулировка основных результатов.79.
3.6 Доказательство.81.
3.6.1 Замечания о технике доказательства.81.
3.6.2 «Квази-коммутационные» правила для bt и Ut.83.
3.6.3 Нормально упорядоченное уравнение для Ut.85.
3.6.4 Уравнение Ланжевена.85.
3.6.5 Каноническая форма уравнения Ланжевена.88.
3.6.6 Кинетическое уравнение.90.
3.7 Вывод перестановочных правил (3.29) с помощью интегрального уравнения.91.
3.8 Заключение.92.
4 Ренормализованные степени белого шума. 94.
4.1 Введение.94.
4.2 Сглаженные произведения операторов рождения и уничтожения .95.
4.3 Унитарные преобразования пространства Фока, согласованные с регуляризацией.99.
4.4 Некоторые свойства вакуумных средних .100.
4.5 Существование предела функций Вайтмана.103.
4.6 Предел сглаженных «степеней» операторов рождения и уничтожения.105.
4.7 Заключение Литература.
Актуальность темы
цели исследования.
В последние годы усилился интерес к исследованию математических вопросов квантовой теории. Необычные свойства зацепленных квантовых состояний, играющих фундаментальную роль в квантовой теории, исследуются начиная с 1930;х годов в работах А. Эйнштейна (A. Einstein), Б. Подольского (В. Podolsky), Н. Розена (N. Rosen) [1], Э. Шредингера (Е. Shroedinger) [2], Д. Белла (J. Bell) [3], Д. И. Блохинцева [4] и многих других. Математические основы квантовой теории были заложены в работах Фон Неймана [5] (см. также [6, 7, 8, 9, 10]).
Важно, что в последние годы проводятся также активные экспериментальные исследования квантовых эффектов (атомы в ловушках, квантовые точки). Многообещающими представляются работы по квантовым компьютерам и квантовой криптографии. Так, в 1981 г. Р. Фейнман (R. Feynman) [11] предложил использовать существенно квантовые явления для совершенствования вычислительных методов. В 1985 г. Д. Дойч (D. Deutsch) предложил [12] одно из определений математической модели квантового компьютера. В рамках предложенной вычислительной модели (и развивающих её моделей) были достигнуты значительные результаты. Так, П. Шор (Peter Shor) предложил [13, 14] быстрые (полиномиально сложные) алгоритмы дискретного логарифмирования и разложения числа на простые множителилучшие же классические алгоритмы решения этих задач имеют экспоненциальную сложность. Различные эффективные квантовые алгоритмы были предложены и изучались А. Китаевым [15], JI. Гровером (L. К. Grover) [16] и многими другими авторами. В работах А. С. Холево [17], Г. Г. Амосова, М. Городецки (М. Horodecki) [18], П. Горо-децки (P. Horodezki) [19] и многих других авторов были изучены свойства квантовых каналов связи. В работах Ч. Беннета (С. Н. Bennett), Ж. Брас-сарда (G. Brassard) [20], Н. Гизина (N. Gisin) [21] и других были разработаны и изучались протоколы квантовой криптографии.
Достижения квантовой теории информации усилили интерес как к математическим аспектам основ квантовой теории, так и к проведению более совершенных экспериментов. Теоретические аспекты проблемы и их связь с квантовой теорией информации изучались в работах И. В. Воловича [22, 23, 24], В. И. Манько [25, 26, 27, 28], В. А. Андреева [28], В. Е. Тарасова [10], JI. Аккарди (L. Accardi) [29] и других авторов. Были поставлены эксперименты, посвященные проверке неравенств Белла: А. Аспект (A. Aspect) [30], В. Титтель (W. Tittel) [31], А. Цейлингер (A. Zeilinger) [32] и многие другие, см., например, обзоры А. Аспекта [33] и А. Шимони (A. Shimony) [34].
Большое значение имеет практическое применение результатов квантовой теории информации, то есть построение реальных устройств, реализующих математические модели квантовых вычислений и квантовой криптографии. Предлагаются различные физические механизмы реализации этих моделейподробный обзор и обсуждение перспектив применения того или иного механизма можно найти в монографии К. А. Валиева и А. А. Кокина [36]. Резюмируя, можно сказать, что в рамках нескольких подходов построены прототипы квантовых вычислительных устройств. Однако проблема масштабирования этих устройств не решена, и её быстрого решения не ожидается.
Итак, с одной стороны, налицо несомненные достижения: в квантовой теории алгоритмов получены результаты, подтверждающие, что если определённый класс управляющих воздействий на квантовую систему практически возможен, то возможно принципиально более эффективно ре-ализоват ь некоторые классические алгоритмы (разложения числа на простые множители и дискретного логарифмирования Шора, поиска Гровера). Разработаны и практически реализованы некоторые алгоритмы квантовой криптографии, такие как протокол А. Эккерта (А. К. Eckert) [37], основанный на нарушении неравенств Белла. С другой стороны, очевидно недостаточное количество практически воплощенных приложений квантовой теории информации.
Темой настоящей диссертационной работы является исследование двух математических проблем, связанных с фундаментальными проблемами квантовой теории и квантовой теории информации: во-первых, свойств квантовых корреляционных функций некоммутативных семейств операторов, во-вторых, квантовой динамики открытых систем, взаимодействующих с полем Ферми. Актуальность этой темы следует из вышесказанного: практической значимости исследований фундаментальных проблем квантовой теории, применений в квантовой теории информации и их современного развивающегося состояния.
Краткое содержание диссертации.
Первая проблема, изучаемая в настоящей диссертационной работе, связана с понятием зацепленного состояния. В соответствии с аксиоматикой квантовой теории [5], квантовой системе сопоставляется гильбертово пространство ТС. (Чистому) состоянию квантовой системы сопоставляется луч в Н. Композитной квантовой системе, то есть системе, состоящей из двух разных систем ТС и ТС2, сопоставляется тензорное произведение (возможно, симметризованное или антисимметризованное) гильбертовых пространств исходных систем: ТС = ТС <8> ТС2.
В зависимости от структуры вектора ф относительно разбиения ТС чистые состояния композитной системы можно разделить на факторизуемые и зацепленные1.
Определение 0.0.1. Состояние ф е ТС (8> ТС2 называется фактори-зуемым, если существуют вектора фх? ТС и Ф2 € ТС2, такие что ф = фг ® ф2- В противном случае состояние ф называется зацепленным.
Зацепленные состояния составляют неотъемлимую часть формализма квантовой теории. Большинство квантовых алгоритмов (например, упоминавшиеся выше алгоритмы Шора и Гровера, протокол Эккерта) существенным образом опираются на возможность квантовой композитной системы находиться в зацепленном состоянии.
Как было установлено фон Нейманом [5], в квантовой механике имеется два способа изменения состояний — унитарная эволюция в соответствии с уравнением Шредингера и мгновенная редукция при измерении.
Поведение зацепленных состояний при раздельном измерении состояния каждой из составляющих её подсистем с точки зрения классической ин.
JB англоязычной литературе принят термин entangled state, в русскоязычной встречаются термины зацепленное, перемешанное, перепутанное состояние. В настоящей работе всюду будет применяться термин «зацепленное состояние». туиции неожиданно. Этот факт был впервые отмечен в работе Эйнштейна-Подольского-Розена [1], где он использовался для обоснования неполноты квантовой теории. Математическая формулировка того, каким именно свойством, очевидным с точки зрения классической интуиции, не обладают некоторые квантовые зацепленные состояния была впервые приведена в работе Белла [3]. Пусть каким-либо образом приготовленная физическая система разделяется на две невзаимодействующие части. Пусть, затем, производится измерение какой-либо физической величины в каждой из подсистем. Можно предположить, что для реальных физических систем результат измерения в одной подсистеме может зависеть только от исходного состояния системы, но не от результата второго измерения.
В работе [3] построена простая квантовомеханическая модель, в которой приведённое выше предположение оказывается неверным. Для доказательства этого факта можно использовать неравенство Клаузера-Хорна-Шимони-Холта (Clauser-Horne-Shimony-Holt, CHSH) [38].
Корреляционная функция проекций спинов вдоль некоторых направлений для двух систем может быть представлена как cos (a — /5). Здесь, а и (3 характеризуют направления, вдоль которых измеряются проекции спинов. Математическая задача заключается в исследовании возможности представления этой функции в виде математического ожидания двух случайных процессов cos (а-(3) = Е? аЩ, (0.1).
Здесь Е — математическое ожидание классической случайной величины. заданных на вероятностном пространстве (Л,^", Р), ?", 77/3: О, —> {—1,+1}. Соотношение (0.1) называется уравнением Белла. Д. Белл показал [3], что это уравнение не имеет решений. И. В. Воловичем [22] было показано, что учёт пространственных характеристик рассматриваемых систем меняет ситуацию. В частности, в простейшем случае двух пространственно разделенных областей в [23] было показано, что квантовая корреляционная функция имеет вид rcos (a — /3), где параметр г, 0 < г < 1, зависит от конфигурации областей. Поэтому появляется необходимость в исследовании модифицированного уравнения Белла rcos (a — (3) — E^aV/3.
Задача (модифицированное уравнение Белла). При каких 0 < г < 1 существуют такое вероятностное пространство (П, JF, /i) и семейства случайных величин Q {-1,+1}, (0.2) что.
E?a = Erip = о, (0.3).
Е £аЩ = г cos (ex — (5). (0.4).
Решение этой задачи являлось первоначальной целью исследования. Известно, что при г > 1//2 модифицированное уравнение Белла не имеет решения, а при г < 2/тг решение может быть явно построено. Модифицированные уравнения Белла возникают как важный частный случай Проблемы 1.2.1 при специальном выборе состояния и наблюдаемых.
Теорема 1.5.2 придаёт точный смысл возможности исследования общей, «непрерывной» Проблемы 1.2.1 путем её дискретизации и сведения к семейству дискретных проблем. Показано что дискретизации непрерывной проблемы позволяют построить решение, равномерно приближающее решение исходной проблемы.
Определение. Будем говорить, что вероятностное пространство (Q, Т, ц) и семейства случайных величин.
0.5) равномерно приближают решение модифицированного уравнения Белла с точностью не менее е, если для всех а, (3 выполнены неравенства:
ЕЫ<£, Ещ<�е, (0.6).
E^aVf3-rcos (a-p) <6. (0.7).
Теоремы 1.4.2, 1.5.2 и результаты численных расчетов, проведенных на основе этих теорем, позволяют утверждать, что:
Утверждение. Существует решение в интервале значений параметра 1/л/2 >г> 2/тх, равномерно приближающее решение этой задачи с точностью не менее чем 0.0086.
В Главе 2 получены квантовые корреляционные функции системы 2-х Ферми частиц, находящихся в зацепленном состоянии, в релятивистском случае.
Пусть Ф = (Фа/3(хьх2)) — волновая функция двух Дираковских частиц в состоянии с полным угловым моментом, равным 0, см. (2.12). Здесь а,(3 = 1,2,3,4, Х, Х2 € R3. Пусть Spin (0, а) — оператор проекции спина частицы на ось, заданную единичным вектором, а в области О. Изучается квантовая корреляционная функция.
01,02, а, Ъ) = <Ф | Spin (Ox, а) ® Spin (02, b)| Ф) .
Она может быть представлена как: г 3 f (Oi, 02, а, Ь) = / dxtdx2 Y] aibjgij (x, x2).
9ij (xl, Ж2) называется спиновой корреляционной матрицей. Получен явный (но громоздкий) вид gij, а также асимптотическое разложение по степеням где Р задано энергией е = у/М2с^ + Р2с2: дфъх2) = д§ хъх2) + (jj-) д§ хъх2) + о.
Получены явные выражения для д^хi, x2) и д^(х, х2). В частности, из нерелятивистского выражения д^ (xi, х2) может быть получена квантовая корреляционная функция модифицированного уравнения Белла.
Вопрос о представлении корреляционных функций семейства коммутирующих операторов как математического ожидания классических случайных величин решён известной спектральной теоремой фон Неймана [5]. Проекции спинов двух частиц вдоль некоторых напрвлений образуют семейство, вообще говоря, некоммутирующих операторов. Таким образом, мы приходим к задаче об обощении теоремы фон Неймана на случай некоммутативных семейств операторов [22].
Необходимые и достаточные условия представимости корреляционных функций некоммутирующих семейств операторов в виде математических ожиданий классических случайных величин построены в главе 1.
Зафиксируем некоторый набор наблюдаемых Av — самосопряжённых операторов в конечномерном гильбертове пространстве 7Y, где v принадлежит некоторому множеству индексов Т. Пусть множество индексов Т также конечно. Обозначим через Р (Т) множество всех подмножеств Т, так что элемент s € Р (Т) есть подмножество Т: s = {щ,., щ}. Определим.
V:={se Р (Т)| [Л, АД = 0 Vi/, ц G 5} .
Состояние квантовой системы описывается квантовыми корреляционными функциями наблюдаемых (1.1). Рассмотрим проблему (Проблема 1.2.1):
Проблема. Существует ли вероятностное пространство (Q, Т, Р) и семейство случайных величин: Q Spec Av, такие что Vs G V выполнено равенство: фА Аиъ ' ' ' -A-Vk.
Известная теорема фон Неймана (Теорема 1.2.2) утверждает, что если все операторы Av попарно коммутативны, то представление такого вида существует. Пример Белла [3] показывает, что существует (попарно некоммутативное) семейство наблюдаемых и состояние, в котором квантовые корреляции непредставимы классическими.
Для упрощения обозначений предположим, что БресД, = {е^о, &euro-v, i}-Это предположение не затронет существа основного результата.
В диссертации показано, что справедлив следующий основной результат (Теорема 1.4.2):
Теорема. Решение указанной проблемы существует если и только если.
Grain — 1 ^ Gmax ¦
Определим входящие в формулировку теоремы обозначения. Здесь о n.
Gmin = minG^o-), Gmax = maxG (o-), О — область в г, N — количешеО шеО ство элементов в Т, G (uj) — линейная функция. Для точного определения области О введем обозначения для компонентов точки и € М .А именно, будем нумеровать компоненты или одним индексом, пробегающим набор 2 м значений: и — (cut),? — или набором из N индексов: и = где каждый индекс принимает 2 значения: k = 0,1. Между одним общим индексом? и индексами 1 г устанавливается взаимооднознач.
Функция G задана как G (u) :=.
Таким образом, приведённая выше Теорема 1.4.2 позволяет свести проблему представления квантовых корреляционных функций классическими корреляционными функциями к хорошо изученной и конструктивно разрешимой проблеме линейного программирования, т. е. к максимизации или минимизации линейной функции в области, заданной системой линейных ограничений и неравенств (симплексе).
Вторая проблема, изучаемая в настоящей диссертационной работе, связана с динамикой открытых квантовых систем. Разработано несколько методов изучения квантовой динамики, таких как операторный метод [43], метод континуального интеграла [9, 44], теория возмущений [45, 46], метод стохастического предела [47]. Всякая физическая система неизбежно взаимодействует со своим окружением. Интенсивность и характер такого взаимодействия могут быть самыми разными, более того, часто, для простоты рассмотрения, при анализе физической задачи таким взаимодействием пренебрегают. При построении физических моделей устройств, преное соответствие формулой? = 1 + 0Х 2l/ji.
Используя эти обозначения, область О можно задать как: образующих или передающих квантовые состояния, учёт взаимодействия системы с окружением важен по двум причинам.
Первой причиной является эффект распада квантового состояния с течением времени. Классическим примером распада квантового состояния можно считать 2-х уровневую квантовую систему, дипольно взаимодействующую с бозонным полем. Известно, что если бозонное поле находится в вакуумном состоянии, то по прошествии некоторого времени to, зависящего от расстояния между энергетическими уровнями и от интенсивности взаимодействия с полем, исходная квантовая система с вероятностью, экспоненциально близкой к 1, также перейдёт в основное состояние (т.е. состояние с меньшей энергией) вне зависимости от исходного состояния. Следовательно, если в начале в 2-х уровневой системе была закодирована какая-то информация, то через время to эта информация будет потеряна. Таким образом, любые преобразования, связанные с использованием этой закодированной информации, должны закончится за время t to, поэтому эффект распада особенно важен при построении масштабируемых квантовых вычислительных схем.
Второй причиной, по которой учет взаимодействия системы с окружением играет важную роль, является необходимость управления квантовой системой. От системы, осуществляющей некоторую операцию с квантовым состоянием, мы требуем, например, возможности начать эту операцию в произвольный момент времени. Кроме того, в квантовых вычислениях желательно иметь возможность выбирать, какую именно операцию (из определенного набора) мы желаем осуществить. Для масштабируемых квантовых систем возможность выбора времени начала и типа управляющего воздействия ещё более важна.
Следовательно, методы анализа динамики открытой квантовой системы во внешних полях важны для практического построения моделей квантовой теории информации.
Метод стохастического предела — эффективный инструмент анализа открытых квантовых систем. Динамика квантовых систем на временах, больших по сравнению с 1/А2, где Л — константа связи, изучалась в многочисленных работах, начиная с работ Н. Н. Боголюбова [48, 49], Л. ван Хо-ва [50], И. Пригожина [51]. В работах JI. Аккарди (L. Accardi), Ю.Г. Jly (Y.G. Lu), И. В. Воловича [47] был разработан метод стохастического предела, позволяющий стандартным образом получать уравнения, описывающие такую предельную динамику.
Метод стохастического предела позволяет изучать динамику квантовой системы, взаимодействующей с окружением, в специальном предельном режиме (стохастическом пределе, пределе слабой связи): константа связи, А —" 0, время t —> сю, так что t/X2 — т = const, или, другими словами, динамику системы в перемасштабированном времени т.
При этом оказывается, что предельная динамика системы описывается уравнениями с квантовым белым шумом, или квантовым стохастическим уравнением. Достоинство метода состоит в том, что в таком режиме физически существенные особенности динамики рассматриваемой квантовой системы, такие, например, как распад квантового состояния, сохраняются, а (причинно нормально упорядоченные) уравнения, определяющие эту динамику, становятся интегрируемыми. Результаты исследования систем, взаимодействующих с Бозе полем, полученные с помощью метода стохастического предела в работах J1. Аккарди, И. В. Воловича, С. В. Козырева, К. Имафуку (К. Imafuku), А. Н. Печеня и других авторов [47, 52, 53, 54, 55], весьма успешны. В работе И. В. Воловича [56] метод стохастического предела применялся для уменьшения декогеренции в модели квантового компьютера путем контроля параметров этой системы. Математические аспекты метода стохастического предела исследовались в работах О. Г. Смолянова [57], А. М. Чеботарева [58] и других авторов.
В диссертации рассмотрена квантовая система, взаимодействующая с полем Ферми, с гильбертовым пространством Ti = С2 <8>rp (L2(M3)) и гамильтонианом Н — Щ + XVint, где.
Щ = ЕР®-1 + 1® Jd3kuj0(l)alak ,.
Е > О, Р — проектор на единичный вектор в С2, ио (к) — у/к2 + га2, т > О, й[ и ajt — операторы рождения и уничтожения в фермионном пространстве Фока, удовлетворяющие каноническим антикоммутационным соотношениям: йка+ = 5(к — к'). Гамильтониан взаимодействия имеет вид.
Vi"t = J d*k (g{k)D 4 + g (k)Dt ®, где D — оператор в С2, g (k) — основная функция из пространства Шварца (см., например, [59]). Оператор эволюции в представлении взаимодействия имеет вид U (t) = егШ°е~гШ. Определим также a (t) := f d3kg (k)eztu}(h и (к) = coo (к) — Е.
Справедлива теорема (Аккарди, Волович, Лю, [47]):
Теорема. 1. В смысле корреляторов а£ {t/А2) —> Щ при, А —> 0- где Щоператоры рождения и уничтожения белого шума Ферми.
2. В смысле корреляторов существует предел при, А —" 0 оператора эволюции Щ: — im U (t/X2).
3. Ut удовлетворяет квантовому стохастическому уравнению с белым шумом Ферми = -г (Ъ <8) b*) Ut, (0.8) понимаемому в смысле обобщенных функций по t.
Для случая Бозе техника причинного нормального упорядочивания [47] позволяет решать уравнения вида (0.8) для предельного оператора эволюции. В главе 3 настоящей работы эта техника обобщена на случай систем, взаимодействующих с полем Ферми.
В диссертации показано, что техника причинного нормального упорядочивания должна быть модифицирована по сравнению с случаем Бозе. Этот основной результат, сформулированный в Теореме 3.5.1, состоит в следующем. Определим оператор В соотношением: въцъц. о = (-1)пъ?Х. о.
Обозначим Ut = eute, 7- = /^оо da f d3kg (k)2eiaw^.
Теорема. Причинно нормально упорядоченное уравнение (0.8) имеет вид: dtUt = -г (DWtbt + DbUt} - 7-D*DUt •.
Причинно нормально упорядоченное уравнение может быть эффективно решено. Так, например, уравнение для вакуумного среднего оператора эволюции имеет вид: -7-D*D (Ut).
С учётом начального условия ?/0 = 1 его решение имеет вид {Ut) =.
В главе 4 проведено исследование, мотивированное, в первую очередь, интересом к построению моделей, квадратичных по полям белого шума. Рассмотрим бозонное пространство Фока .Fb^O3)) — Пусть а* (ж), а (у) — операторы рождения и уничтожения в нем, удовлетворяющие каноническим коммутационным соотношениям а{х)а)(у) — аЦу) а (х) = 5{х — у). Пусть / - основная функция Шварца в ф — основная функция.
Шварца в R. Обозначим х а){хi). (J{xn)a (yi). а (ут)/(хъ ., хп уъ. утг) ф (г).
Пусть f€(x 1, ., xn, yi,., ym, z):= -^f ., f,., ^ff). Определим.
К?'т (/, ф) := е^К^^ф).
Пусть / трансляционно инвариантна и имеет компактный носитель по относительному аргументу.
Пусть Вт (д) — операторы свободного бозонного поля, удовлетворяющие следующим стандартным коммутационным соотношениям:
Bl В{] = [Вт, Вп] = О, [Bm (z), Bl (z')} = 5(z — z')5n, m.
Тогда справедлива следующая теорема (Теорема 4.6.2).
Теорема. В смысле корреляторов имеют место следующие предельные соотношения: imK&trade-'n (f, д) = 0, m ^ О, п^О, е->о га > 0, е—>0 е—>0 где с (/) — некоторый функционал от /.
Научная новизна. Основные результаты, выносимые на защиту. Все основные результаты диссертации являются новыми. Основные результаты диссертации состоят в следующем:
1. Впервые показано, что задача представления квантовых корреляционных функций некоммутативного семейства операторов с дискретным спектром классическими корреляционными функциями эквивалентна задаче линейного программирования.
2. Построены случайные процессы, равномерно приближающие решение модифицированного уравнения Белла с точностью е < 0.0086 в интервале параметра.
2/?г < г < 1/л/2.
3. Получена квантовая корреляционная функция операторов проекции спина для системы двух дираковских фермионов, находящихся в сингл етном состоянии, с учётом пространственных и релятивистских поправок.
4. Изучены уравнения квантовой динамики двухуровневой системы, взаимодействующей с полем Ферми, в стохастическом пределе. Метод решения уравнений такого типа, известный для систем, взаимодействующих с полем Бозе, обобщён для случая системы, взаимодействующей с полем Ферми. В результате применения этого метода получено явное решение для усреднения оператора эволюции по вакуумному состоянию поля Ферми.
5. Проведено исследование перенормированных степеней поля квантового белого шума. Показано, что перенормированные степени поля белого шума стремятся, в смысле корреляторов, к новому полю белого шума.
Научная и практическая ценность.
Настоящяя работа носит теоретический характер. Результаты, полученные в главе 1, в том числе могут быть использованы для анализа надёжности систем квантовой криптографии. Результаты главы 2 могут быть использованы для сравнения с экспериментальными данными о корреляции спинов высокоэнергетических Ферми частиц. Результаты главы 3 могут быть использованы для анализа характеристик открытых квантовых систем, взаимодействующих с Ферми полями, например времен когерентности носителей квантовой информацииа также при исследовании стационарных неравновесных открытых квантовых систем, например, электрической проводимости наносистемы. Результаты главы 4 обосновывают необходимость использования альтернативных методов перенормировки степеней белого шума (таких, например, как перенормировки коммутационных соотношений).
Обоснованность и достоверность.
Достоверность полученных результатов обоснована их формальным выводом на основе ранее известных результатов и правил формальной логики.
Апробация работы.
Результаты работы докладывались и обсуждались на следующих конференциях и семинарах:
1. На конференции молодых ученых МГУ (2001).
2. На международной конференции «Foundation of Probability and Physics — 2», Векше (Швеция), 2002.
3. На международной конференции «Classical and Quantum Levy Processes: Theory and Applications», Левико Терме (Италия), 2003.
4. На семинарах отдела математической физики Математического Института им. В. А. Стеклова, 2004, 2005.
5. На международной конференции «Open Quantum Systems», Вена (Австрия), 2005.
Публикации.
По теме диссертации опубликовано 4 статьи [60, 61, 62, 63], сделано 4 доклада.
Структура диссертации.
Диссертация состоит из четырёх глав, введения, заключения и списка литературы.
Результаты работы докладывались автором на конференции молодых ученых МГУ, 2001, на международной конференции «Foundation of Probability and Physics — 2», Векше (Швеция), 2002, на международной конференции «Classical and Quantum Levy Processes: Theory and Applications», Левико Терме (Италия), 2003, на семинарах отдела математической физики Математического Института им. В. А. Стеклова, на международной конференции «Open Quantum Systems», Вена (Австрия), 2005.
Автор выражает глубокую благодарность своему научному руководителю И. В. Воловичу, а также Л. Аккарди за постоянное внимание и помощь во время работы над диссертацией, Д. В. Прохоренко за плодотворные обсуждения и ценные комментарии, и всему коллективу отдела математической физики Математического института им. В. А. Стеклова РАН за помощь и поддержку в написании данной работы.
Заключение
.
В настоящей работе изучены две актуальные математические проблемы квантовой теории информации: свойства квантовых корреляционных функций некоммутативных семейств операторов и квантовая динамика открытых систем, взаимодействующих с полем Ферми.
