Вещественная квантовая механика

Вещественная квантовая механика.

1 Основные положения

• В основе изоморфизма лежит идея о том, что комплексная структура квантовой механики может быть геометрически удвоена и представлена на вещественном многообразии с более богатой структурой.
• Конечномерное вещественное пространство Кэлера \(\mathcal{K}^{{2n}\) — это вещественное пространство \(\mathbb{R}}{2n}\), наделенное тремя взаимосвязанными структурами:
  • Метрика (скалярное произведение): Позволяет определять длины и углы, как в обычном вещественном гильбертовом пространстве.
  • Симплектическая структура: Невырожденная антисимметричная форма \(\omega\), которая задает скобки Пуассона и является аналогом фазового пространства классической механики.
  • Комплексная структура: Автоморфизм \(J\) (линейное преобразование, такое что \(J^2 = -1\)), который вращает пространство и позволяет умножать векторы на мнимую единицу без использования комплексных чисел.
• Эти структуры должны быть согласованы: метрика и симплектическая форма должны быть совместимы с комплексной структурой.

1.1 Построение изоморфизма

• Изоморфизм устанавливается между комплексным гильбертовым пространством \(\mathbb{C}^{n\) и вещественным пространством Кэлера \(\mathcal{K}}{2n} \cong \mathbb{R}^{2n}\).
• Ключевой шаг — это замена мнимой единицы \(i\) на конкретную матрицу вращения в \(\mathbb{R}^2\):

\[ i \leftrightarrow \tau = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \]

• Эта матрица \(\tau\) удовлетворяет условию \(\tau^2 = -1\), то есть ведет себя как \(i\).
• Каждое комплексное число \(z = a + ib\) тогда представляется как вещественная матрица \(2 \times 2\):

\[ z \leftrightarrow \begin{pmatrix} a & -b \\ b & a \end{pmatrix} \]

• Это удваивает размерность пространства: каждый комплексный базисный вектор превращается в два вещественных.
• Хотя изоморфизм устанавливает эквивалентность формулировок, он вводит и некоторые тонкости:
  • Спектральное вырождение
    • Спектры операторов в вещественной формулировке могут иметь двойное вырождение.
    • Это естественное следствие удвоения пространства.
  • Составные системы
    • Простой тензорное произведение вещественных пространств \(\otimes_{\mathbb{R}}\) (как в \(\mathbb{R}^{{2n} \otimes \mathbb{R}}{2m}\)) не всегда корректно описывает составные системы.
    • Вместо него необходимо использовать специальное правило композиции, например, симплектическое тензорное произведение.

1.2 Соответствие операторов и наблюдаемых

• Эрмитовы операторы (наблюдаемые) в \(\mathbb{C}^{n\) ставятся в соответствие вещественным симметричным операторам в \(\mathcal{K}}{2n}\).
• Унитарные операторы (эволюция) в \(\mathbb{C}^{n\) соответствуют вещественным ортогональным операторам в \(\mathcal{K}}{2n}\), которые также коммутируют с комплексной структурой \(J\).

2 Преимущества подхода

• Геометрическая унификация с классической механикой
  • Явно выявляет гамильтонову симплектическую структуру, аналогичную классической механике.
  • Это обеспечивает единый геометрический взгляд на квантовую и классическую динамику.
• Концептуальная ясность
  • Показывает, что комплексные числа — это не фундаментальная необходимость природы, а удобный способ кодирования более глубокой вещественной геометрической структуры.
  • Это позволяет по-новому взглянуть на такие явления как интерференция и запутанность.
• Вычислительные преимущества
  • Моделирование \(n\)-мерной квантовой системы в вещественном формализме может потребовать \(n^{2}\) вещественных чисел вместо \(n^{2}\) комплексных (т.е. \(2n^{2}\) вещественных) в стандартном подходе.
  • Это дает потенциальные преимущества для гибридных квантово-классических систем и численного моделирования.
• Физическая реализуемость
  • Предлагает новое представление для физических реализаций (например, кубитов на модифицированной сфере Блоха) и может быть реализована с помощью вещественных операторов, что потенциально упрощает некоторые эксперименты.
• Новые физические возможности
  • В некоторых обобщенных постановках (например, с неопределенным причинным порядком) вещественная теория может порождать корреляции, невозможные в стандартной комплексной квантовой механике.
• Разрешение давних вопросов
  • Предлагает окончательный ответ на давний философский вопрос о необходимости мнимых чисел в физике.

3 Примеры

3.1 Интерференция как обычная геометрия (двухщелевой опыт)

• В комплексном формализме амплитуда вероятности — это число a+ib, а вероятность попадания:

\[P = |ψ₁+ψ₂|² = |ψ₁|²+|ψ₂|² + 2 Re(ψ₁*ψ₂)\]

• Кросс-член (интерференция) требует взятия вещественной части от произведения.

• В вещественном пространстве Кэлера каждое комплексное число заменяется на вектор на плоскости \((x,y)\).

• Тогда амплитуда — это просто сумма двух векторов, а вероятность — квадрат длины результирующего вектора:

\[P = |v₁+v₂|²\]

• Интерференция возникает автоматически через скалярное произведение \(2 v₁·v₂\), без отдельной операции \(Re\).
• Это делает физический смысл фазы прозрачным: это просто угол поворота вектора в плоскости.

3.2 Численное моделирование спиновых систем (экономия ресурсов)

• Рассмотрим цепочку из n спинов 1/2 с гамильтонианом, содержащим только вещественные матрицы (например, модель Изинга или XY-модель без внешнего поля).
• В комплексном базисе состояние — вектор из \(2ⁿ\) комплексных чисел (т.е. \(2·2ⁿ\) вещественных параметров).
• Если перейти к вещественному представлению (удвоив размерность до \(2·2ⁿ\)), то все операторы становятся вещественными и симметричными.
• Это позволяет:
  • Использовать быстрые алгоритмы для вещественных матриц (например, LAPACK с dsyev вместо zheev), которые работают в 2–3 раза быстрее.
  • Экономить память
    • Для хранения матрицы плотности (симметричной) нужно \(N(N+1)/2\) элементов, где \(N=2·2ⁿ\), тогда как в комплексном случае эрмитова матрица — \(N²\).
    • При больших n выигрыш неочевиден, но для гибридных квантово-классических алгоритмов (VQE) часто используют вещественные анзацы, сокращая число параметров почти вдвое.

3.3 Мнимое время и поиск основного состояния

• При решении стационарного уравнения Шрёдингера методом мнимого времени (виковский поворот \(t → -iτ\)) уравнение превращается в уравнение теплопроводности:

\[∂ψ/∂τ = – H ψ\] в единицах ħ=1.

• В вещественном формализме это вещественное уравнение диффузии, которое легко решается стандартными явными или неявными схемами без работы с комплексной арифметикой.
• Это особенно полезно для крупных разреженных гамильтонианов, где каждая итерация требует только умножения вещественного вектора на вещественную матрицу.

3.4 Квантовая томография: измерение без мнимых частей

• В комплексной томографии для восстановления матрицы плотности нужно измерять как диагональные элементы (вероятности), так и когерентности – их вещественную и мнимую части (через измерения в разных базисах).
• В вещественном формализме все наблюдаемые операторы симметричны (а не эрмитовы), и их матричные элементы — чисто вещественные.
• Соответственно, все измеряемые величины — это просто скалярные произведения, и мнимая часть никогда не появляется.
• Это упрощает процедуру томографии и уменьшает количество необходимых измерений.

4 Недостатки

4.1 Удвоение размерности и рост сложности

• В стандартном подходе \(n\)-мерное комплексное пространство заменяется на \(2n\)-мерное вещественное.

• Матрицы операторов становятся размером \(2n × 2n\) вместо \(n × n\).

• Число параметров для описания состояния возрастает с \(2n\) (вещественная и мнимая части) до \(2n\) — казалось бы, одинаково, но при работе с операторами число элементов матрицы растёт как \(4n²\) против \(n²\) комплексных (т.е. \(2n²\) вещественных).

• То есть в два раза больше элементов для хранения и обработки.

• Это критично для больших систем (например, в квантовой химии или КТП), где каждый лишний множитель ведёт к экспоненциальному росту ресурсов.

4.2 Проблема с тензорным произведением (составные системы)

• В комплексном формализме тензорное произведение работает естественно: \((A⊗B)(ψ⊗φ) = Aψ ⊗ Bφ\).
• В вещественном подходе обычное вещественное тензорное произведение не сохраняет комплексную структуру и приводит к некорректным результатам для запутанных состояний.
• Чтобы исправить это, нужно вводить симплектическое тензорное произведение — сложную конструкцию, которая:
  • делает невозможным простое описание многочастичных систем;
  • требует постоянного учёта знаков и правил упорядочения, что чревато ошибками.

4.3 Потеря алгебраической замкнутости

• Комплексные числа алгебраически замкнуты — любой многочлен имеет корень.
• Это критически важно для:
  • Спектральной теоремы (диагонализация операторов).
    • В вещественном случае собственные значения могут быть комплексными, и приходится работать с блочно-диагональной формой (блоки 2×2), что усложняет анализ.
  • Аналитического продолжения (функции Грина, резольвенты).
    • В вещественной формулировке многие интегралы теряют свою простую структуру, становятся громоздкими.

4.4 Описание заряженных частиц и калибровочных полей

• В квантовой электродинамике (КЭД) и Стандартной модели комплексные поля (например, дираковские спиноры) фундаментальны.
• Электромагнитное взаимодействие естественно записывается через \(U(1)\)-калибровочную группу — группу комплексных чисел с модулем 1.
• В вещественной формулировке пришлось бы использовать \(SO(2)\)-группу, что менее удобно и скрывает физический смысл (заряд, фаза).
• Для неабелевых калибровочных полей (SU(2), SU(3)) вещественные представления становятся крайне громоздкими.

4.5 Усложнение формализма для фермионов и спина

• Спин 1/2 описывается матрицами Паули, которые комплексны и имеют фундаментальную алгебру Клиффорда.
• Вещественная версия требует использования матриц 4×4 вместо 2×2 (майорановское представление), что удваивает размерность и усложняет все вычисления в квантовой теории поля.

4.6 Отсутствие привычных математических инструментов

• Подавляющее большинство библиотек, алгоритмов и учебников написаны для комплексных гильбертовых пространств.
• Переход на вещественный формализм требует:
  • переписывания кода (например, смена zheev на dsyev, для больших фреймворков это большая работа);
  • переосмысления всей теории представлений групп, теории возмущений, интегралов по путям — всё это придётся переформулировать на языке вещественных многообразий, что крайне трудоёмко.

4.7 Философская и практическая неестественность

• Для большинства физиков и математиков комплексные числа интуитивны: они естественно возникают из волновых уравнений, преобразований Фурье, фазовых сдвигов.
• Вещественная формулировка воспринимается как искусственное нагромождение (структура Кэлера, симплектическое произведение), которое требует больше усилий для понимания, чем даёт выгоды в повседневной работе.

5 Персоналии

5.1 Игорь Васильевич Волович

• Игорь Васильевич Волович — член-корреспондент РАН.

• Один из пионеров вещественной формулировки квантовой механики.

• Место работы: Заведующий отделом математической физики в Математическом институте им. В.А. Стеклова (МИАН).

• Научный вклад

  • Стоял у истоков р-адической математической физики и квантовой механики.
  • Разработал метод стохастического предела для квантовых систем.

• Вместе со своей коллегой И. Я. Арефьевой он детально разработал формализм, где квантовая механика формулируется в вещественном пространстве Кэлера [1]:

  • Показал, что стандартная комплексная квантовая механика может быть эквивалентно переформулирована в терминах вещественного пространства Кэлера.
  • Установил изоморфизм между эрмитовыми операторами в комплексном пространстве и вещественными операторами в пространстве Кэлера.

• Заложили математический фундамент, на котором позже основывались и другие исследователи, включая А. С. Трушечкина.

5.2 Антон Сергеевич Трушечкин

• Антон Сергеевич Трушечкин.

• Должность и место работы: Доктор физико-математических наук, старший научный сотрудник отдела математической физики Математического института им. В.А. Стеклова (МИАН) в Москве.

• Научные интересы: Специализируется на математических основаниях квантовой теории, включая теорию открытых квантовых систем, квантовую криптографию и квантовые сети.

• Вклад в вещественную КМ

  • Показывает, что можно построить локальную вещественную квантовую теорию, которая воспроизводит предсказания для всех многочастичных экспериментов.
  • По его мнению, использование комплексных чисел — это вопрос удобства, а не фундаментальной необходимости.

• Ключевая статья на эту тему — «Quantum Mechanics Based on Real Numbers: A Consistent Description» [2].

• Её центральная идея в том, что комплексные числа в квантовой механике — это вопрос удобства, а не фундаментальной необходимости.

• Предыдущие исследования утверждали, что любую вещественную теорию можно опровергнуть в многочастных экспериментах.

• Эти выводы опирались на слишком жесткое математическое допущение: пространство составной системы есть простое тензорное произведение пространств подсистем.

• Авторы предложили заменить это жесткое математическое допущение на физический постулат локальности:

  • Постулат (P4): Операция, действующая только на одну подсистему, не должна оказывать измеримого эффекта на другую.
  • Решение:
    • Вместо прямого тензорного произведения нужно использовать фактор-пространство вещественного тензорного произведения.
    • Это пространство учитывает эквивалентность состояний, которая в стандартной теории возникает из-за глобальной фазы.

• Такая конструкция является взаимно-однозначным отображением стандартной комплексной теории в вещественное описание.

• Следовательно, она полностью воспроизводит предсказания всех квантовых экспериментов.

6 Библиография

Литература