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

Quanten-ff-Divergenzen und ihr lokales Verhalten: Eine Analyse über relative Expansionskoeffizienten

Grundinformationen

  • Paper-ID: 2510.06183
  • Titel: Quantum ff-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients
  • Autoren: Shreyas Iyer, Peixue Wu, Paula Belzig, Graeme Smith (University of Waterloo)
  • Klassifizierung: quant-ph cs.IT math-ph math.fa math.IT math.MP
  • Veröffentlichungsdatum: 14. Oktober 2025 (arXiv v2)
  • Paper-Link: https://arxiv.org/abs/2510.06183v2

Zusammenfassung

Diese Arbeit untersucht die Datenverarbeitungsungleichungen, die Maße der Unterscheidbarkeit von Quantenzuständen erfüllen müssen, d. h., sie sollten unter Quantenkanälen nicht zunehmen. Die Autoren quantifizieren den Anteil des Informationsverlusts oder der Informationserhaltung durch die Untersuchung von Kontraktions- und Expansionskoeffizienten und vereinheitlichen diese als relative Expansionskoeffizienten. Das Papier konzentriert sich auf zwei wichtige Familien: (i) standardmäßige Quanten-ff-Divergenzen und (ii) ihr lokales (zweiter Ordnung) Verhalten, das Riemannsche Halbnormen induziert, die mit χ2χ^2-Divergenzen verbunden sind. Aufbauend auf früheren Arbeiten identifizieren die Autoren neue ff-Familien, bei denen die globalen (ff-Divergenz) und lokalen (Riemannsch) relativen Expansionskoeffizienten für jedes Kanalpaar zusammenfallen, und klären die Ausnahmefälle dieser exakten Übereinstimmung. Neben Gleichheiten wird ein Äquivalenzrahmen eingeführt, der qualitative Eigenschaften wie strikte Positivität einheitlich auf verschiedene relative Expansionskoeffizienten überträgt.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Unterscheidbarkeit von Quantenzuständen: In der Quanteninformationstheorie ist die Quantifizierung der Unterschiede zwischen zwei Quantenzuständen entscheidend. Diese Methoden werden zur Überprüfung der Zuverlässigkeit von Protokollen verwendet, wie beispielsweise der Genauigkeit der Informationsübertragung in Quantenkanälen.
  2. Datenverarbeitungsungleichungen: Jedes angemessene Unterscheidbarkeitsmaß muss die Datenverarbeitungsungleichung (DPI) erfüllen, d. h., es sollte unter Quantenkanälen nicht zunehmen. Dies gewährleistet die Konsistenz mit dem dem verrauschten Quantenkanal inhärenten Informationsverlust.
  3. ff-Divergenz-Familie: Klassische und Quanten-ff-Divergenzen sind gute Unterscheidbarkeitsmaßfamilien, die von der relativen Entropie inspiriert sind und in der klassischen Statistik großen Erfolg hatten.

Forschungsmotivation

  1. Informationserhaltungsquote: Verständnis dafür, wie viel Unterscheidungsinformation ein Quantenkanal bewahrt, quantifiziert durch Kontraktions- und Expansionskoeffizienten.
  2. Beziehung zwischen globalem und lokalem Verhalten: Erforschung der tieferen Verbindung zwischen standardmäßigen ff-Divergenzen und ihrem lokalen Verhalten zweiter Ordnung (Riemannsche Halbnormen).
  3. Anwendungen der Wiederherstellbarkeit: Nutzung der Positivität von Expansionskoeffizienten zur Etablierung von Grenzen für die approximative Wiederherstellbarkeit von Quanteninformation.

Kernbeiträge

  1. Negative Ergebnisse: Beweis, dass es für eine große Klasse von Quantenkanälen keine auf Divergenzen basierenden umgekehrten Datenverarbeitungsungleichungen über alle Zustände gibt (Satz 3.3)
  2. Erweiterung der Gleichheitsbedingungen: Identifikation von zwei unendlichen ff-Familien, bei denen die Divergenz- und Riemannsche relative Expansionskoeffizienten für alle Kanalpaare zusammenfallen (Satz 4.2)
  3. Äquivalenzrahmen: Einführung eines Äquivalenzkonzepts zwischen relativen Expansionskoeffizienten, das die Übertragung qualitativer Eigenschaften ermöglicht (Satz 5.2)
  4. Trennung beschränkter und unbeschränkter Fälle: Beweis, dass beschränkte und unbeschränkte Riemannsche Koeffizienten um beliebig viele Größenordnungen unterscheiden können (Satz 5.5)
  5. Anwendungserweiterung:
    • Etablierung von Verbindungen zur approximativen Wiederherstellbarkeit (Korollar 6.2, 6.4)
    • Beweis des umgekehrten Quanten-Markov-Konvergenzsatzes (Korollar 6.9)
    • Bereitstellung expliziter Beispiele für positive Expansionskoeffizienten primitiver Quantenkanäle

Methodische Details

Aufgabendefinition

Untersuchung relativer Expansionskoeffizienten: 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(γ))}

wobei N,MN,M Quantenkanäle sind und DfD_f die Quanten-ff-Divergenz ist.

Kernkonzepte

1. Standardmäßige ff-Divergenzen

Für operatorkonvexe Funktionen f∈Ff ∈ F: Dfstd(ρ∥γ):=⟨γ1/2,f(Δρ,γ)(γ1/2)⟩HSD_f^{std}(ρ∥γ) := ⟨γ^{1/2}, f(Δ_{ρ,γ})(γ^{1/2})⟩_{HS} wobei Δρ,γ:=LρRγ−1Δ_{ρ,γ} := L_ρR_γ^{-1} der relative Moduloperator ist.

2. Riemannsche Halbnorm

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

3. Lokal-globale Beziehung

Das lokale Verhalten zweiter Ordnung der standardmäßigen ff-Divergenz wird durch die zugehörige Riemannsche Halbnorm bestimmt: d2dε2∣ε=0Dfstd(ρ∥γε)=f′′(1)∥X∥κf,ρ2\frac{d²}{dε²}\bigg|_{ε=0} D_f^{std}(ρ∥γ_ε) = f''(1)∥X∥²_{κ_f,ρ}

Technische Innovationen

1. Integraldarstellungsmethode

Nutzung der Integraldarstellung operatorkonvexer Funktionen: 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. Äquivalenzverererbung

Satz 5.2: Wenn af(x)≤g(x)≤bf(x)af(x) ≤ g(x) ≤ bf(x) und qηfstd∼γ,δqηκfRiemqη_f^{std} ∼_{γ,δ} qη_{κ_f}^{Riem}, dann: qηgstd∼α,βqηκgRiemqη_g^{std} ∼_{α,β} qη_{κ_g}^{Riem} wobei α=a2γb2,β=min⁡{b2δa2,1}α = \frac{a²γ}{b²}, β = \min\{\frac{b²δ}{a²}, 1\}.

3. Beschränktheitsanalyse

Unterscheidung beschränkter (κ(0+)<∞κ(0^+) < ∞) und unbeschränkter Fälle, Beweis, dass sie unterschiedliche Äquivalenzklassen bilden.

Experimentelle Einrichtung

Theoretische Verifikation

Das Papier ist hauptsächlich theoretisch und wird auf folgende Weise verifiziert:

  1. Konkrete Kanalanalyse:
    • Qubit-Dephasierungskanal
    • Amplitudendämpfungskanal
    • Verallgemeinerter Dephasierungskanal
    • Klassisch-Quanten-Kanal
  2. Parametrisierte Familienkonstruktion:
    • Pauli-Kanalfamilie
    • Iterationen primitiver Kanäle

Rechnerische Verifikation

Explizite Berechnungen für den Qubit-Fall: ∥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²θ)

Experimentelle Ergebnisse

Hauptergebnisse

1. Keine umgekehrte DPI (Satz 3.3)

Für nicht-unitäre Quantenkanäle NN mit dB≤dAd_B ≤ d_A: qηf(N)={1wenn N unita¨r ist0sonstqη_f(N) = \begin{cases} 1 & \text{wenn } N \text{ unitär ist} \\ 0 & \text{sonst} \end{cases}

2. Erweiterung der Gleichheitsfälle (Satz 4.2)

Beweis der Gleichheit für zwei unendliche Familien:

  • 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. Nicht-Äquivalenz (Satz 5.5)

Für klassisch-Quanten-Kanal Φα,1−α2Φ_{α,\sqrt{1-α²}}:

  • Beschränktes κκ: 1α2ηκRiem=Θ(1)\frac{1}{α²}η_{κ}^{Riem} = Θ(1) wenn α→0α→0
  • Unbeschränktes κκ: 1α2ηκRiem→∞\frac{1}{α²}η_{κ}^{Riem} → ∞ wenn α→0α→0

4. Positive Expansionskoeffizienten

Korollar 6.14: Alle Qubit-Pauli-Kanäle haben positive relative Expansionskoeffizienten: qηκRiem(Φ;ImΦ)>0qη_{κ}^{Riem}(Φ; \text{Im}Φ) > 0

Anwendungsergebnisse

1. Approximative Wiederherstellbarkeit

（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. Umgekehrte Markov-Konvergenz

∥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}(ρ)-ρ^*∥_{κ,ρ^*}

Verwandte Arbeiten

Historische Entwicklung

  1. Klassische ff-Divergenzen: Csiszár (1963), Ali-Silvey (1966)
  2. Quantenerweiterungen: Petz (1986), Hiai-Petz (2011)
  3. Kontraktionskoeffizienten: Lesniewski-Ruskai (1999), Hiai-Ruskai (2015)

Beiträge dieser Arbeit

Im Vergleich zu bestehenden Arbeiten bietet dieses Papier:

  • Allgemeinere Gleichheitsbedingungen
  • Einen systematischen Äquivalenzrahmen
  • Neue Verbindungen zur Wiederherstellbarkeit
  • Beweis der fundamentalen Unterschiede zwischen beschränkten/unbeschränkten Fällen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Universelle negative Ergebnisse: Die meisten Quantenkanäle haben keine umgekehrte DPI im globalen Bereich
  2. Lokal-globale Entsprechung: Gilt nur bei Vorhandensein spezieller Integralbeziehungen
  3. Äquivalenzhierarchie: Beschränkte und unbeschränkte Fälle bilden unterschiedliche Äquivalenzklassen
  4. Praktische Anwendungen: Positive Expansionskoeffizienten liefern Untergrenzen für Wiederherstellbarkeit und Konvergenzraten

Einschränkungen

  1. Rechenkomplexität: Die genaue Berechnung von Expansionskoeffizienten bleibt schwierig
  2. Dimensionsbeschränkungen: Explizite Berechnungen sind hauptsächlich auf Qubit-Fälle beschränkt
  3. Spezielle Strukturen: Gleichheitsbedingungen erfordern spezielle Integralbeziehungen

Zukünftige Richtungen

  1. Gibt es weitere Integralbeziehungen im beschränkten Fall?
  2. Sind Divergenz- und Riemannsche Koeffizienten im beschränkten Fall nicht äquivalent?
  3. Können Beispiele gefunden werden, bei denen der Divergenzkoeffizient null, aber der Riemannsche Koeffizient positiv ist?

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Bietet tiefe Einblicke in die Theorie der ff-Divergenzen
  2. Systematik: Etabliert einen umfassenden Äquivalenzrahmen
  3. Anwendungswert: Verbindet abstrakte Theorie mit praktischen Anwendungen
  4. Technische Innovation: Geschickte Nutzung von Integraldarstellung und Operatorkonvexität

Schwächen

  1. Rechnerische Herausforderungen: Die meisten Ergebnisse sind Existenzsätze ohne effektive Algorithmen
  2. Dimensionsbeschränkungen: Die Behandlung hochdimensionaler Fälle ist noch unzureichend
  3. Experimentelle Verifikation: Numerische Experimente zur Verifikation theoretischer Vorhersagen fehlen

Einflussfähigkeit

  1. Theoretischer Beitrag: Bietet neue Werkzeuge für die Quanteninformationsgeometrie
  2. Anwendungsperspektiven: Potenzielle Anwendungen in Quantenfehlerkorrektur und Markov-Kettenanalyse
  3. Methodologie: Der Äquivalenzrahmen kann auf andere Quanteninformationsmaße verallgemeinert werden

Anwendungsszenarien

  1. Analyse der Informationserhaltungsfähigkeit von Quantenkanälen
  2. Untersuchung der Konvergenz von Quanten-Markov-Ketten
  3. Leistungsbewertung von Quantenfehlerkorrekturcodes
  4. Theoretische Forschung in der Quanteninformationsgeometrie

Literaturverzeichnis

Das Papier zitiert 58 wichtige Referenzen, die folgende Bereiche abdecken:

  • Grundlagen der Quanteninformationstheorie (Preskill, Wilde)
  • Theorie der ff-Divergenzen (Csiszár, Petz, Hiai)
  • Quanten-Markov-Ketten (Temme et al., George-Tomamichel)
  • Wiederherstellbarkeitstheorie (Junge et al., Gao et al.)