Математики доказали предел квантовой суперпозиции: почему задачу о 36 офицерах смогла решить только запутанность

В 1779 году швейцарский математик Леонард Эйлер представил Петербургской академии наук задачу, которая на столетия определила развитие комбинаторного анализа. Условие формулировалось просто: в распоряжении есть 36 офицеров шести различных званий из шести различных полков. Требуется выстроить их в каре шесть на шесть так, чтобы ни в одной шеренге (по горизонтали) и ни в одной колонне (по вертикали) не повторялись офицеры одинакового звания или из одного и того же полка.

В современной терминологии эта формулировка описывает поиск пары взаимно ортогональных латинских квадратов шестого порядка. Сам Эйлер не смог найти подходящую конфигурацию и выдвинул гипотезу, что подобная расстановка невозможна не только для шести, но и для любого числа офицеров вида n = 4k + 2 (то есть для размерностей 2, 6, 10, 14 и так далее).

В 1900 году французский математик Гастон Тарри доказал правоту Эйлера относительно шестого порядка: он выполнил полный перебор всех возможных конфигураций и подтвердил, что классического решения не существует. Позднее, в 1960 году, математики Радж Чандра Бозе, Шрикант Шрикханде и Эрнест Паркер опровергли общую гипотезу Эйлера, доказав, что для всех чисел вида 4k + 2, начиная с десяти, решения существуют. Число 6 осталось исключением: наряду с тривиальным случаем n = 2, размерность 6 оказалась единственной, для которой классическая математика не позволяет построить пару ортогональных квадратов.

Ситуация изменилась в 2022 году, когда группа физиков под руководством Сухаила Разера опубликовала работу, в которой задача о 36 офицерах получила квантовое решение. Однако физики использовали сложное квантовое явление — квантовую запутанность.

Возник принципиальный вопрос: была ли запутанность строго необходимой или задачу можно было решить более простыми квантовыми методами — с помощью обычной суперпозиции состояний?

Математики Симеон Болл из Политехнического университета Каталонии и Робин Симоенс из Гентского университета опубликовали строгое математическое доказательство, которое закрывает эту проблему. Они доказали, что без использования квантовой запутанности задача о 36 офицерах не имеет решения даже в квантовой механике.

Математическая структура: латинские квадраты и квантовые состояния

Классический латинский квадрат порядка n — это квадратная таблица размера n x n, заполненная n различными символами (например, числами от 1 до n). Главное условие: каждый символ должен встречаться в каждой строке и в каждом столбце ровно один раз.

Два латинских квадрата одинакового размера называют взаимно ортогональными, если при их наложении друг на друга каждая упорядоченная пара символов встречается в полученной таблице ровно один раз. В задаче Эйлера первый квадрат задает распределение полков, а второй — распределение воинских званий. Поскольку всего существует 6 полков и 6 званий, общее число комбинаций равно 36, и все они должны занять 36 ячеек таблицы без повторений в линиях.

В квантовой теории информации дискретные числа заменяются векторами состояния в комплексном векторном пространстве Cⁿ (n-мерном гильбертовом пространстве).

Квантовый латинский квадрат порядка n — это матрица n x n, элементами которой являются единичные векторы из пространства Cⁿ. При этом накладывается жесткое условие ортонормированности: векторы, находящиеся в любой строке, должны быть взаимно перпендикулярны (ортогональны) и образовывать полный базис пространства. То же самое правило обязательно для каждого столбца матрицы.

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

Когда математики рассматривают пару квантовых латинских квадратов, возникает фундаментальное разделение на два класса систем:

1. Незапутанные (сепарабельные) квантовые квадраты. В этой системе состояние в ячейке описывается прямым тензорным произведением двух независимых векторов: ψ(ij) ⊗ φ(ij), где первый вектор принадлежит первому квадрату, а второй — второму. Каждый элемент сохраняет собственное независимое состояние.
2. Запутанные квантовые квадраты. Элементы такой таблицы представляют собой векторы в объединенном пространстве состояний Cⁿ ⊗ Cⁿ, которые невозможно разложить на произведение двух отдельных состояний. Физические свойства первой и второй подсистем оказываются жестко скоррелированными на фундаментальном уровне.

Решение 2022 года использовало именно запутанные состояния — так называемые абсолютно максимально запутанные состояния четырех квантовых систем с шестью уровнями (состояния AME(4, 6)). Работа Болла и Симоенса была направлена на исследование первого класса: существуют ли незапутанные ортогональные квантовые квадраты шестого порядка (2 MOQLS(6))?

Метод унитарных шаблонов: алгебраические ограничения

Пространство возможных квантовых суперпозиций непрерывно и бесконечномерно, поэтому прямой численный перебор здесь невозможен. Чтобы преодолеть эту сложность, Болл и Симоенс перевели задачу из области непрерывного анализа в область дискретной алгебры, разработав аппарат унитарных шаблонов.

Унитарный шаблон — это матрица из нулей и единиц, которая отображает геометрическую структуру квантового вектора. Если в выбранном базисе определенная координата вектора отлична от нуля, в шаблоне на ее месте ставится единица. Если координата равна нулю — ставится ноль. Количество единиц в таком описании называется весом вектора. Вектор веса 1 — это чистое базовое состояние классического типа. Вектор веса 2 и более — это суперпозиция нескольких состояний.

Опираясь на базовые аксиомы унитарных преобразований и квантовой механики, исследователи сформулировали систему обязательных правил для шаблонов:

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

Используя эту систему правил, авторы доказали центральную промежуточную теорему своего исследования — Теорему 20:

Если существует пара незапутанных ортогональных квантовых латинских квадратов порядка 6, то по меньшей мере один из них можно строго свести к классическому латинскому квадрату.

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

Редукция к теории графов и классификация Шёнхардта

Классических латинских квадратов размера 6 x 6 существует 1 128 960 штук. Однако с точки зрения структурных свойств их не требуется проверять по отдельности.

Еще в 1930 году математик Эрих Шёнхардт доказал, что с точностью до допустимых преобразований (перестановок строк, столбцов, замены символов и транспонирования) все латинские квадраты шестого порядка разделяются ровно на 12 фундаментальных классов эквивалентности (видов паратопии). Все квадраты внутри одного класса обладают абсолютно идентичными графовыми и алгебраическими свойствами.

Болл и Симоенс переформулировали вопрос о существовании квантового партнера в терминах теории графов:

1. Для каждого из 12 классов строится ассоциированный граф латинского квадрата, вершинами которого являются координаты ячеек таблицы, а ребра соединяют ячейки, находящиеся в одной строке, в одном столбце или содержащие одинаковое число.
2. Поиск ортогонального квантового квадрата строго эквивалентен поиску ортонормированного представления для дополнения этого графа в шестимерном пространстве C⁶.

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

Для анализа полученных графов авторы создали специализированный алгоритм. Программа проверяла геометрическую совместимость условий ортогональности для каждого из 12 классов:

• Алгоритм последовательно находил в графах полные трехдольные подграфы и анализировал их размерность на основе формулы Грассмана: сумма размерностей подпространств, натянутых на взаимно ортогональные наборы векторов, не может превышать размерность объемлющего пространства (в данном случае 6).
• Для 10 из 12 классов алгоритм зафиксировал неустранимое противоречие: структура связей в графе требовала одновременного существования 7 взаимно перпендикулярных направлений. Поскольку в пространстве C⁶ максимальное число взаимно перпендикулярных векторов строго равно шести, существование квантового партнера для этих 10 классов было полностью опровергнуто.

Аналитическое доказательство для оставшихся структур

Для 2 оставшихся классов Шёнхардта алгоритм не дал окончательного ответа, поскольку топология их графов не содержала прямых размерностных противоречий на уровне базовых подграфов.

Эти два класса обладают специфической внутренней симметрией: каждый из них содержит классический подквадрат размера 3 x 3. Чтобы исследовать их, авторы провели прямое математическое доказательство (Теорема 26).

Доказательство строилось следующим образом:

1. Матрица разбивается на четыре функциональных блока размером 3 x 3.
2. Авторы доказали (Лемма 23), что при наличии подквадрата размера 3 все девять квантовых состояний в соответствующем блоке ортогонального партнера обязаны быть строго различными.
3. Далее через систему матричных уравнений было доказано (Лемма 25), что эти элементы не могут иметь вес 3 или выше — их вес ограничен максимум двумя базовыми состояниями.
4. Затем было показано, что ограничение веса до двух неизбежно вступает в противоречие с унитарностью строк и столбцов всей матрицы 6 x 6: векторы либо теряют взаимную ортогональность, либо обращаются в нуль.

Таким образом, для последних двух классов существование квантового партнера также было признано математически невозможным.

В результате цепочка доказательств замкнулась: Теорема 6 доказана в полном объеме — пары незапутанных ортогональных квантовых латинских квадратов порядка 6 не существует.

Сравнение размерностей и открытая проблема

Попутно авторы работы полностью закрыли вопрос о структуре незапутанных квантовых квадратов меньших порядков:

• Для систем порядка n = 4 доказано, что любые две незапутанные ортогональные квантовые матрицы сводятся исключительно к классическим латинским квадратам (Теорема 11). Никаких нетривиальных квантовых суперпозиций здесь существовать не может.
• Для систем порядка n = 5 получен аналогичный результат: все незапутанные решения являются строго классическими (Теорема 12).

Таким образом, выстраивается математическая картина:

Размерность 6 демонстрирует качественный разрыв. В ней классические методы не работают, а квантовая суперпозиция без запутанности оказывается бессильной перед геометрическими ограничениями пространства. Положительный результат достигается исключительно при переходе к несепарабельным запутанным состояниям.

Единственным незакрытым случаем в теории взаимно ортогональных квантовых латинских квадратов на данный момент остается размерность n = 7. Математикам предстоит выяснить, существуют ли неклассические незапутанные квантовые квадраты седьмого порядка, или они также сводятся к классическим аналогам.

Значение для квантовой теории информации

Результат Болла и Симоенса имеет фундаментальное значение для квантовой информатики и теории вычислений.

В теоретической физике продолжается дискуссия о том, какой именно квантовый ресурс обеспечивает превосходство квантовых алгоритмов над классическими. Данная работа дает однозначный ответ в рамках комбинаторных задач: квантовая суперпозиция сама по себе не расширяет класс разрешимости задач, если геометрия пространства запрещает независимые решения. Суперпозиция лишь комбинирует состояния внутри локальных подпространств, но не создает новых степеней свободы в составной системе.

Запутанность, напротив, объединяет пространства состояний нескольких систем в единую структуру, снимая локальные геометрические запреты.

Эти выводы напрямую применимы в следующих областях:

1. Квантовые коды с исправлением ошибок. Защита кубитов от декогеренции и шума строится на распределении информации по многочастичным квантовым состояниям. Доказанная авторами связь подтверждает, что построение надежных кодов определенного типа требует строго максимальной запутанности и не может быть оптимизировано за счет более простых сепарабельных состояний.
2. Протоколы многосторонней квантовой криптографии. Распределение секретных ключей между несколькими участниками опирается на свойства состояний AME(4, n). Результаты работы математически подтверждают уникальность и незаменимость этих состояний в размерности 6.
3. Квантовая томография и квантовая метрология. Точное измерение параметров сложных многокомпонентных систем требует использования ортогональных базисов измерений. Ограничения на существование ортогональных матриц задают предел точности измерений в шестимерных физических системах.

Математическое доказательство Болла и Симоенса окончательно определяет границы применимости фундаментальных квантовых ресурсов, превращая задачу Эйлера из исторического парадокса в строгую теорему квантовой теории информации.

Источник: arXiv