Информационная геометрия
Квантовая информационная геометрия
Классическая информационная геометрия работает с коммутативными распределениями: метрика Фишера единственна. Квантовая механика требует некоммутативных матриц плотности - и оказывается, что монотонных квантовых метрик Фишера бесконечно много, каждая порождена оператор-монотонной функцией.
- Атомные часы NIST: квантовая граница Крамера-Рао через SLD-метрику ограничивает погрешность ~10^{−18} - предел, диктуемый геометрией пространства матриц плотности
- Квантовые сенсоры: запутанные N-кубитные состояния достигают предела Хайзенберга F_Q = O(N²) против классического O(N) - геометрически это переход к состояниям с большей вариацией наблюдаемой H
- Квантовая томография на IBM Quantum: расходимость Умегаки D(ρ||σ) используется для верификации соответствия приготовленного состояния целевому
- Вариационные квантовые алгоритмы (VQE): квантовый натуральный градиент использует квантовую метрику Фишера для оптимизации параметров квантовых схем
Предварительные знания
- Матрицы плотности
- Классическая метрика Фишера
- Операторные алгебры
Квантовая метрика Фишера и геометрия матриц плотности
Квантовые состояния описываются матрицами плотности ρ: положительно полуопределёнными эрмитовыми матрицами с единичным следом. Некоммутативность матриц означает, что квантового аналога метрики Фишера нет единственного - теорема Пеца (1996) гласит: любая монотонная риманова метрика на матрицах плотности задаётся оператор-монотонной функцией f с f(1) = 1. Таких метрик бесконечно много.
Для кубита ρ = (I + n·σ)/2 (вектор Блоха n, |n| ≤ 1) SLD-информация Фишера для вращения вокруг оси H: F_Q = 4 Var_ρ(H) = 1 − (n·h)² , где h - единичный вектор вдоль H. На экваторе сферы Блоха (чистое состояние, перпендикулярное H) F_Q = 1 (максимум). В собственном состоянии H: F_Q = 0.
Что ограничивает квантовая граница Крамера-Рао через F_Q?
Квантовая граница Крамера-Рао (граница Хелстрома): для любой несмещённой квантовой оценки Var(θ̂) ≥ 1/F_Q. Для атомных часов NIST это даёт предел ~10^{−18} относительной погрешности. Граница достигается оптимальным квантовым измерением (POVM).
Квантовая метрология и натуральный градиент для VQE
Квантовая метрология использует информацию Фишера для нахождения фундаментальных пределов точности оценивания. Для N независимых кубитов стандартный предел - Shot noise limit F_Q = O(N). Запутанные состояния могут достичь предела Хайзенберга F_Q = O(N²). Геометрически: запутанность позволяет двигаться по многообразию квантовых состояний с «большим шагом» относительно параметра θ - большей дисперсией наблюдаемой H.
IBM Quantum использует квантовую томографию на основе расходимости Умегаки для верификации приготовленных состояний на 100+ кубитных схемах. Расхождение D(ρ_ideal||ρ_real) измеряет «расстояние» между целевым и реальным состояниями с учётом шума декогеренции. Теорема монотонности гарантирует, что применение квантового канала (шума) только увеличивает это расстояние.
Почему запутанные состояния достигают предела Хайзенберга F_Q = O(N²), а сепарабельные - только O(N)?
F_Q = 4 Var_ρ(H). Для сепарабельного состояния ρ = ⊗ ρ_i и коллективного H = Σ h_i вариации складываются: Var(H) = Σ Var(h_i) = O(N). Для запутанного (например, GHZ) квантовые корреляции дают Var(H) = O(N²). Геометрически: запутанное состояние «чувствует» поворот всего N-кубитного пространства одновременно.
Теорема Пеца и классификация монотонных метрик
Теорема Пеца (1996) даёт полную классификацию монотонных риманових метрик на пространстве матриц плотности M_n^+. Метрика g монотонна, если квантовые каналы (полностью положительные отображения сохраняющие след) не увеличивают расстояние: g(Φ(ρ), Φ(σ)) ≤ g(ρ, σ). Классическим аналогом является единственность метрики Фишера для коммутативных случайных величин.
Выбор монотонной метрики в квантовой задаче оценивания определяет, какой класс POVM-измерений является оптимальным. SLD-метрика реализуется проективными измерениями в собственном базисе SLD L_i. Для многопараметрического случая SLD-POVM, оптимальные для разных параметров, могут быть несовместимы - квантовое следствие принципа неопределённости.
Что утверждает теорема Пеца о монотонных метриках на M_n^+?
В отличие от классического случая (где метрика Фишера единственна по теореме Чентцова), в квантовом случае монотонных метрик бесконечно много - параметризованы оператор-монотонными функциями. Некоммутативность матриц разрушает единственность. Теорема Пеца даёт полное описание всего класса.
Связи с другими темами
Квантовая информационная геометрия соединяет квантовую физику, операторные алгебры и теорию оценивания параметров.
- Квантовая метрология — Связанная тема
- Квантовые каналы — Связанная тема
- Вариационные квантовые алгоритмы — Связанная тема
Итоги
- Расходимость Умегаки D(ρ||σ) = Tr[ρ(log ρ − log σ)]: квантовый аналог KL; монотонна по каналам
- SLD L_i: из ∂_i ρ = (L_i ρ + ρ L_i)/2; SLD-метрика g^{SLD}_{ij} = Tr[ρ{L_i, L_j}]/2
- Квантовая граница Крамера-Рао: Var(θ̂) ≥ 1/F_Q, где F_Q = 4 Var_ρ(H) для унитарных семейств
- Теорема Пеца: все монотонные метрики на M_n^+ параметризованы оператор-монотонными функциями f
- α-расходимость Пеца интерполирует между Умегаки (α → 1) и обратной расходимостью (α → −1)