2025-11-21T05:34:15.491003

Quantum $f$-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients

Iyer, Wu, Belzig et al.
Any reasonable measure of distinguishability of quantum states must satisfy a data processing inequality, that is, it must not increase under the action of a quantum channel. We can ask about the proportion of information lost or preserved and this leads us to study contraction and expansion coefficients respectively, which can be combined into a single \emph{relative expansion coefficient}. We focus on two prominent families: (i) standard quantum $f$ divergences and (ii) their local (second-order) behaviour, which induces a monotone Riemannian semi-norm (that is linked to the $χ^2$ divergence). Building on prior work, we identify new families of $f$ for which the global ($f$ divergence) and local (Riemannian) relative expansion coefficients coincide for every pair of channels, and we clarify how exceptional such exact coincidences are. Beyond equality, we introduce an \emph{equivalence} framework that transfers qualitative properties such as strict positivity uniformly across different relative expansion coefficients. Leveraging the link between equality in the data processing inequality (DPI) and channel reversibility, we apply our framework of relative expansion coefficients to approximate recoverability of quantum information. Using our relative expansion results for primitive channels, we prove a reverse quantum Markov convergence theorem, converting positive expansion coefficients into quantitative lower bounds on the convergence rate.
academic

Квантовые ff-дивергенции и их локальное поведение: анализ через коэффициенты относительного расширения

Основная информация

  • ID статьи: 2510.06183
  • Название: Quantum ff-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients
  • Авторы: Shreyas Iyer, Peixue Wu, Paula Belzig, Graeme Smith (Университет Ватерлоо)
  • Классификация: quant-ph cs.IT math-ph math.fa math.IT math.MP
  • Дата публикации: 14 октября 2025 г. (arXiv v2)
  • Ссылка на статью: https://arxiv.org/abs/2510.06183v2

Аннотация

В данной работе исследуются неравенства обработки данных, которые должны удовлетворять мерам различимости квантовых состояний, то есть не должны возрастать при действии квантовых каналов. Авторы количественно оценивают долю потери или сохранения информации путём изучения коэффициентов сжатия и расширения, объединяя их в коэффициенты относительного расширения. Работа сосредоточена на двух важных семействах: (i) стандартных квантовых ff-дивергенциях и (ii) их локальном (втором порядка) поведении, которое индуцирует монотонные римановы полунормы, связанные с χ2χ^2-дивергенцией. На основе предыдущих работ авторы выявили новые семейства функций ff, для которых глобальные (дивергенции ff) и локальные (римановы) коэффициенты относительного расширения совпадают для каждой пары каналов, и уточнили исключительность такого точного совпадения. Помимо равенств, введена структура эквивалентности, которая единообразно передаёт качественные свойства, такие как строгая положительность, между различными коэффициентами относительного расширения.

Исследовательский контекст и мотивация

Постановка проблемы

  1. Различимость квантовой информации: В квантовой теории информации критически важны методы количественной оценки различий между двумя квантовыми состояниями, которые используются для проверки надёжности протоколов, таких как точность передачи информации в квантовых каналах.
  2. Неравенства обработки данных: Любая разумная мера различимости должна удовлетворять неравенству обработки данных (DPI), то есть не должна возрастать при действии квантовых каналов, что обеспечивает согласованность с присущей шумным квантовым каналам потерей информации.
  3. Семейство ff-дивергенций: Классические и квантовые ff-дивергенции представляют собой хорошее семейство мер различимости, вдохновлённое относительной энтропией и достигшее огромного успеха в классической статистике.

Исследовательская мотивация

  1. Доля сохранения информации: Понимание того, сколько информации о различимости сохраняет квантовый канал, путём количественной оценки через коэффициенты сжатия и расширения.
  2. Связь глобального и локального поведения: Исследование глубокой связи между стандартными ff-дивергенциями и их локальным поведением второго порядка (римановыми полунормами).
  3. Приложения восстанавливаемости: Использование положительности коэффициентов расширения для установления границ приближённой восстанавливаемости квантовой информации.

Основные вклады

  1. Отрицательный результат: Доказано, что для большого класса квантовых каналов не существует обратных неравенств обработки данных, основанных на дивергенциях, на всех состояниях (теорема 3.3)
  2. Расширение условий равенства: Выявлены два бесконечных семейства функций ff, для которых коэффициенты относительного расширения дивергенции и Римана совпадают для всех пар каналов (теорема 4.2)
  3. Структура эквивалентности: Введено понятие эквивалентности между коэффициентами относительного расширения, позволяющее передавать качественные свойства (теорема 5.2)
  4. Разделение ограниченного и неограниченного случаев: Доказано, что ограниченные и неограниченные римановы коэффициенты могут различаться на произвольное число порядков величины (теорема 5.5)
  5. Расширение приложений:
    • Установлена связь с приближённой восстанавливаемостью (следствия 6.2, 6.4)
    • Доказана теорема об обратной сходимости квантовой цепи Маркова (следствие 6.9)
    • Предоставлены явные примеры положительных коэффициентов расширения для примитивных квантовых каналов

Подробное описание методов

Определение задачи

Исследование коэффициентов относительного расширения: qηf(N,M):=inf⁡ρ≠γ∈D(HA)Df(N(ρ)∥N(γ))Df(M(ρ)∥M(γ))qη_f(N,M) := \inf_{\rho≠γ∈D(H_A)} \frac{D_f(N(ρ)∥N(γ))}{D_f(M(ρ)∥M(γ))}

где N,MN,M — квантовые каналы, DfD_f — квантовая ff-дивергенция.

Основные концепции

1. Стандартные ff-дивергенции

Для операторно-выпуклой функции f∈Ff ∈ F: Dfstd(ρ∥γ):=⟨γ1/2,f(Δρ,γ)(γ1/2)⟩HSD_f^{std}(ρ∥γ) := ⟨γ^{1/2}, f(Δ_{ρ,γ})(γ^{1/2})⟩_{HS} где Δρ,γ:=LρRγ−1Δ_{ρ,γ} := L_ρR_γ^{-1} — оператор относительного модуля.

2. Римановы полунормы

∥X∥κ,ρ2:=⟨X,Rρ−1κ(Δρ,ρ)(X)⟩HS∥X∥²_{κ,ρ} := ⟨X, R_ρ^{-1}κ(Δ_{ρ,ρ})(X)⟩_{HS}

3. Локально-глобальное соотношение

Локальное поведение второго порядка стандартной ff-дивергенции определяется соответствующей римановой полунормой: d2dε2∣ε=0Dfstd(ρ∥γε)=f′′(1)∥X∥κf,ρ2\frac{d²}{dε²}\bigg|_{ε=0} D_f^{std}(ρ∥γ_ε) = f''(1)∥X∥²_{κ_f,ρ}

Технические инновации

1. Метод интегрального представления

Использование интегрального представления операторно-выпуклых функций: f(x)=f′(1)(x−1)+c(x−1)2+∫[0,∞)(x−1)2x+sdμ(s)f(x) = f'(1)(x-1) + c(x-1)² + ∫_{[0,∞)} \frac{(x-1)²}{x+s}dμ(s)

2. Наследование эквивалентности

Теорема 5.2: Если af(x)≤g(x)≤bf(x)af(x) ≤ g(x) ≤ bf(x) и qηfstd∼γ,δqηκfRiemqη_f^{std} ∼_{γ,δ} qη_{κ_f}^{Riem}, то: qηgstd∼α,βqηκgRiemqη_g^{std} ∼_{α,β} qη_{κ_g}^{Riem} где α=a2γb2,β=min⁡{b2δa2,1}α = \frac{a²γ}{b²}, β = \min\{\frac{b²δ}{a²}, 1\}.

3. Анализ ограниченности

Различение ограниченного (κ(0+)<∞κ(0^+) < ∞) и неограниченного случаев, доказательство того, что они образуют различные классы эквивалентности.

Экспериментальная установка

Теоретическая верификация

Работа является в основном теоретической и верифицируется следующим образом:

  1. Анализ конкретных каналов:
    • Квантовый канал дефазирования кубита
    • Канал затухания амплитуды
    • Обобщённый канал дефазирования
    • Классико-квантовые каналы
  2. Построение параметризованных семейств:
    • Семейства каналов Паули
    • Итерации примитивных каналов

Вычислительная верификация

Предоставлены явные вычисления для случая кубита: ∥X∥κs,ρ2=2∣y∣21−∣w∣2(hs(∣w∣2)+(1−hs(∣w∣2))cos⁡2θ)∥X∥²_{κ_s,ρ} = \frac{2|y|²}{1-|w|²}(h_s(|w|²) + (1-h_s(|w|²))\cos²θ)

Экспериментальные результаты

Основные результаты

1. Отсутствие обратного DPI (теорема 3.3)

Для неунитарного квантового канала NN с dB≤dAd_B ≤ d_A: qηf(N)={1если N унитарен0в противном случаеqη_f(N) = \begin{cases} 1 & \text{если } N \text{ унитарен} \\ 0 & \text{в противном случае} \end{cases}

2. Расширение условий равенства (теорема 4.2)

Доказано равенство для двух бесконечных семейств:

  • f(x)=α⋅(x−1)2+β⋅(x−1)2xf(x) = α·(x-1)² + β·\frac{(x-1)²}{x}
  • f(x)=α⋅xlog⁡x+β⋅(−log⁡x)f(x) = α·x\log x + β·(-\log x)

3. Неэквивалентность (теорема 5.5)

Для классико-квантового канала Φα,1−α2Φ_{α,\sqrt{1-α²}}:

  • Ограниченное κκ: 1α2ηκRiem=Θ(1)\frac{1}{α²}η_{κ}^{Riem} = Θ(1) при α→0α→0
  • Неограниченное κκ: 1α2ηκRiem→∞\frac{1}{α²}η_{κ}^{Riem} → ∞ при α→0α→0

4. Положительные коэффициенты расширения

Следствие 6.14: Все квантовые каналы Паули на кубите имеют положительные коэффициенты относительного расширения: qηκRiem(Φ;ImΦ)>0qη_{κ}^{Riem}(Φ; \text{Im}Φ) > 0

Результаты приложений

1. Приближённая восстанавливаемость

（1−qηBKMRiem(N;ImD))D(D(ρ)∥D(γ))≥∥D(ρ)−RD(γ),Nuni∘N∘D(ρ)∥12（1-qη_{BKM}^{Riem}(N;\text{Im}D))D(D(ρ)∥D(γ)) ≥ ∥D(ρ)-R_{D(γ),N}^{uni} ∘ N ∘ D(ρ)∥²_1

2. Обратная сходимость цепи Маркова

∥Nm(ρ)−ρ∗∥1≥λmin1/2(Nm)ηκRiem(N,ρ∗;ImNM−1)m−M+12∥NM−1(ρ)−ρ∗∥κ,ρ∗∥N^m(ρ)-ρ^*∥_1 ≥ λ_{min}^{1/2}(N^m)η_{κ}^{Riem}(N,ρ^*;\text{Im}N^{M-1})^{\frac{m-M+1}{2}}∥N^{M-1}(ρ)-ρ^*∥_{κ,ρ^*}

Связанные работы

Историческое развитие

  1. Классические ff-дивергенции: Csiszár (1963), Ali-Silvey (1966)
  2. Квантовые расширения: Petz (1986), Hiai-Petz (2011)
  3. Коэффициенты сжатия: Lesniewski-Ruskai (1999), Hiai-Ruskai (2015)

Вклад данной работы

По сравнению с существующими работами данная статья:

  • Предоставляет более общие условия равенства
  • Вводит систематическую структуру эквивалентности
  • Устанавливает новые связи с восстанавливаемостью
  • Доказывает фундаментальные различия между ограниченным и неограниченным случаями

Заключение и обсуждение

Основные выводы

  1. Универсальный отрицательный результат: Большинство квантовых каналов не имеют обратного DPI на всей области определения
  2. Локально-глобальное соответствие: Имеет место только при наличии специальных интегральных соотношений
  3. Иерархия эквивалентности: Ограниченный и неограниченный случаи образуют различные классы эквивалентности
  4. Практические приложения: Положительные коэффициенты расширения дают нижние границы для восстанавливаемости и скоростей сходимости

Ограничения

  1. Вычислительная сложность: Точное вычисление коэффициентов расширения остаётся сложной задачей
  2. Ограничения размерности: Явные вычисления в основном ограничены случаем кубитов
  3. Специальная структура: Условия равенства требуют специальных интегральных соотношений

Направления будущих исследований

  1. Существуют ли дополнительные интегральные соотношения в ограниченном случае?
  2. Являются ли коэффициенты дивергенции и Римана неэквивалентными в ограниченном случае?
  3. Можно ли найти примеры, где коэффициент дивергенции равен нулю, но коэффициент Римана положителен?

Глубокая оценка

Преимущества

  1. Теоретическая глубина: Предоставляет глубокие инсайты в теорию ff-дивергенций
  2. Систематичность: Устанавливает полную структуру эквивалентности
  3. Прикладная ценность: Связывает абстрактную теорию с практическими приложениями
  4. Технические инновации: Умелое использование интегральных представлений и операторной выпуклости

Недостатки

  1. Вычислительные вызовы: Большинство результатов носят экзистенциальный характер, отсутствуют эффективные алгоритмы
  2. Ограничения размерности: Обработка высокомерных случаев остаётся недостаточной
  3. Экспериментальная верификация: Отсутствуют численные эксперименты для проверки теоретических предсказаний

Влияние

  1. Теоретический вклад: Предоставляет новые инструменты для квантовой информационной геометрии
  2. Перспективы приложений: Имеет потенциал применения в квантовой коррекции ошибок и анализе цепей Маркова
  3. Методология: Структура эквивалентности может быть обобщена на другие меры квантовой информации

Области применения

  1. Анализ способности квантовых каналов сохранять информацию
  2. Исследование сходимости квантовых цепей Маркова
  3. Оценка производительности кодов квантовой коррекции ошибок
  4. Теоретические исследования квантовой информационной геометрии

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

Статья цитирует 58 важных работ, охватывающих:

  • Основы квантовой теории информации (Preskill, Wilde)
  • Теорию ff-дивергенций (Csiszár, Petz, Hiai)
  • Квантовые цепи Маркова (Temme et al., George-Tomamichel)
  • Теорию восстанавливаемости (Junge et al., Gao et al.)