«Квантовая математика» — не отдельная общепринятая дисциплина, а разговорное название математического языка, которым описывают квантовую механику и квантовые вычисления. В нём нет мистической арифметики, где «1 одновременно равно 0». Основа вполне классическая: линейная алгебра, комплексные числа, вероятность, дифференциальные уравнения и теория операторов. Необычной становится физическая интерпретация этих объектов.
Квантовое состояние удобно представлять как вектор
В простейшей системе состояние записывают как вектор в комплексном гильбертовом пространстве. Для кубита выбирают два базисных состояния |0⟩ и |1⟩, а общее состояние имеет вид α|0⟩ + β|1⟩. Коэффициенты α и β называются амплитудами и могут быть комплексными числами.
Это не означает, что до измерения кубит является обычной монеткой с неизвестной стороной. В классической смеси вероятность отражает наше незнание. В квантовой суперпозиции амплитуды способны интерферировать, и относительная фаза влияет на будущие результаты эксперимента.
Комплексная фаза позволяет компактно описывать волновую эволюцию и интерференцию. Умножение всего состояния на одну общую фазу не меняет наблюдаемую физику, но относительные фазы между компонентами критически важны. Именно ими управляют многие квантовые алгоритмы.
Волновая функция частицы тоже комплексна. Вероятность найти частицу в заданной области связана не с самой функцией, а с квадратом её модуля. Это правило Борна связывает математическую амплитуду с распределением измеряемых результатов.
Линейная алгебра здесь не декоративный способ записи. Суперпозиция следует из того, что допустимые состояния можно складывать с комплексными коэффициентами, а вероятность измерения зависит от проекции вектора на выбранный базис. Смена базиса позволяет описывать одну и ту же систему через разные совместимые вопросы. Уже на этом уровне видно, почему квантовая теория не сводится к утверждению «частица находится сразу везде»: математический объект задаёт амплитуды возможных результатов конкретного измерения.
Наблюдаемые величины представлены операторами
Положение, импульс, энергия и спин в квантовой механике описываются линейными операторами. Возможные результаты идеального измерения связаны с собственными значениями соответствующего оператора, а собственные векторы задают состояния с определённым значением этой величины.
Если два оператора не коммутируют, порядок их применения имеет значение. Из этого математического свойства возникают соотношения неопределённости. Они не сводятся к плохой точности приборов: квантовое состояние может просто не иметь одновременно сколь угодно узкого распределения положения и импульса.
Для замкнутой нерелятивистской системы изменение состояния во времени определяется гамильтонианом — оператором полной энергии. Уравнение Шрёдингера играет роль закона движения, аналогично уравнениям Ньютона в классической механике, но действует на волновую функцию или вектор состояния.
Пока система не взаимодействует с измерительным прибором или средой в существенном смысле, эволюция унитарна: информация о состоянии математически сохраняется. Реальные открытые системы запутываются с окружением, и декогеренция быстро подавляет наблюдаемую интерференцию между макроскопически различными альтернативами.
Особенно важны некоммутирующие операторы: если AB и BA дают разные результаты, соответствующие наблюдаемые нельзя одновременно свести к двум независимым классическим числам. Из этой структуры вырастают соотношения неопределённостей. Это не недостаток прибора, который когда-нибудь исправят, а свойство квантового описания. Коммутаторы, собственные векторы и спектры поэтому дают более точное понимание принципа неопределённости, чем популярная метафора о «возмущении частицы измерением».
Для нескольких частиц появляется тензорное произведение
Если есть два кубита, пространство состояний не складывается как два отдельных списка, а строится тензорным произведением. Два кубита имеют четыре базисных состояния, три — восемь, n кубитов — 2^n. Именно этот экспоненциальный рост делает классическое моделирование больших квантовых систем трудным.
В совместном пространстве существуют состояния, которые нельзя представить как независимое состояние первой системы, умноженное на состояние второй. Это и есть квантовая запутанность. Корреляции таких систем сильнее классической интуиции, но не позволяют мгновенно передавать управляемую информацию быстрее света.
Тензорное пространство позволяет существовать запутанным состояниям, которые нельзя разложить на независимое состояние каждой подсистемы. Именно здесь возникает большая часть необычной квантовой корреляции и одновременно вычислительная трудность: число комплексных амплитуд растёт экспоненциально. Квантовый компьютер не получает право просто прочитать все эти амплитуды — измерение выдаёт ограниченный результат. Полезный алгоритм должен организовать эволюцию так, чтобы интерференция усиливала нужные ответы и подавляла ненужные.
Как из математики получается квантовый алгоритм
Квантовая схема представляет вычисление как последовательность унитарных преобразований — квантовых вентилей — и финальных измерений. Вентиль меняет амплитуды и фазы, а алгоритм организует интерференцию так, чтобы повысить вероятность полезного ответа и погасить нежелательные пути.
Поэтому фраза «квантовый компьютер перебирает все ответы одновременно» слишком груба. Если просто создать суперпозицию и измерить её, получится лишь один случайный результат. Преимущество появляется только тогда, когда структура задачи позволяет управлять интерференцией и извлекать нужную глобальную информацию.
Для первого серьёзного знакомства достаточно уверенно понимать векторы, матрицы, скалярное произведение, собственные значения, комплексные числа и базовую вероятность. Затем добавляются тензорные произведения, дифференциальные уравнения и спектральная теория. Для квантовой теории поля понадобится существенно более широкий аппарат.
Лучше идти от физического смысла к формализму и обратно. Матрица сама по себе не «квантовая»; квантовой её делает роль в теории состояния и измерения. Хорошим продолжением будет материал о квантовой теории поля, где этот язык расширяется на системы с переменным числом частиц и релятивистскую физику.
Для старта в «квантовой математике» поэтому не требуется отдельная мистическая дисциплина. Нужны обычная линейная алгебра, комплексные числа, вероятность, затем тензорные произведения и немного анализа. В физике добавляются дифференциальные уравнения и теория операторов, в квантовых вычислениях — дискретные схемы и теория информации. Термин удобен как разговорное название этого набора инструментов, но в университетской программе он обычно распадается на вполне стандартные математические предметы.
