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

Divergences quantiques ff et leur comportement local : une analyse via les coefficients d'expansion relatifs

Informations fondamentales

  • ID de l'article: 2510.06183
  • Titre: Quantum ff-divergences and Their Local Behaviour: An Analysis via Relative Expansion Coefficients
  • Auteurs: Shreyas Iyer, Peixue Wu, Paula Belzig, Graeme Smith (Université de Waterloo)
  • Classification: quant-ph cs.IT math-ph math.fa math.IT math.MP
  • Date de publication: 14 octobre 2025 (arXiv v2)
  • Lien de l'article: https://arxiv.org/abs/2510.06183v2

Résumé

Cet article étudie les inégalités de traitement des données que doivent satisfaire les mesures de distinguabilité des états quantiques, c'est-à-dire qu'elles ne doivent pas augmenter sous l'action des canaux quantiques. Les auteurs quantifient la proportion d'information perdue ou conservée en étudiant les coefficients de contraction et d'expansion, et les unifient en tant que coefficients d'expansion relatifs. L'article se concentre sur deux familles importantes : (i) les divergences quantiques ff standard et (ii) leur comportement local (du second ordre), ce dernier induisant des semi-normes riemanniennes monotones associées à la divergence χ2χ^2. Sur la base de travaux antérieurs, les auteurs identifient de nouvelles familles de ff telles que les coefficients d'expansion relatifs globaux (ff-divergence) et locaux (riemannien) coïncident pour chaque paire de canaux, et clarifient l'exceptionnalité de cette coïncidence exacte. Au-delà des égalités, un cadre d'équivalence est introduit, unifiant le transfert de propriétés qualitatives telles que la positivité stricte vers différents coefficients d'expansion relatifs.

Contexte et motivation de la recherche

Contexte du problème

  1. Distinguabilité de l'information quantique: En théorie de l'information quantique, la quantification des différences entre deux états quantiques est cruciale, ces méthodes étant utilisées pour vérifier la fiabilité des protocoles, comme l'exactitude de la transmission d'information dans les canaux quantiques.
  2. Inégalités de traitement des données: Toute mesure de distinguabilité raisonnable doit satisfaire l'inégalité de traitement des données (DPI), c'est-à-dire qu'elle ne doit pas augmenter sous l'action des canaux quantiques, ce qui assure la cohérence avec la perte d'information inhérente aux canaux quantiques bruyants.
  3. Famille des divergences ff: Les divergences ff classiques et quantiques sont une bonne famille de mesures de distinguabilité inspirées par l'entropie relative, avec un énorme succès en statistique classique.

Motivation de la recherche

  1. Proportion de conservation de l'information: Comprendre quelle quantité d'information de distinguabilité un canal quantique conserve, quantifiée par les coefficients de contraction et d'expansion.
  2. Relation entre comportement global et local: Explorer les connexions profondes entre les divergences ff standard et leur comportement local du second ordre (semi-normes riemanniennes).
  3. Applications de récupérabilité: Utiliser la positivité des coefficients d'expansion pour établir des bornes sur la récupérabilité approximative de l'information quantique.

Contributions principales

  1. Résultats négatifs: Preuve qu'il n'existe pas d'inégalités de traitement des données inverses basées sur les divergences pour une large classe de canaux quantiques sur tous les états (Théorème 3.3)
  2. Extension des conditions d'égalité: Identification de deux familles infinies de ff telles que les coefficients d'expansion relatifs de divergence et riemannien coïncident pour toutes les paires de canaux (Théorème 4.2)
  3. Cadre d'équivalence: Introduction du concept d'équivalence entre coefficients d'expansion relatifs, permettant le transfert de propriétés qualitatives (Théorème 5.2)
  4. Séparation des cas borné et non borné: Preuve que les coefficients riemanniens borné et non borné peuvent différer d'un nombre arbitraire d'ordres de grandeur (Théorème 5.5)
  5. Extensions d'applications:
    • Établissement de connexions avec la récupérabilité approximative (Corollaires 6.2, 6.4)
    • Preuve du théorème de convergence quantique de Markov inverse (Corollaire 6.9)
    • Fourniture d'exemples explicites de coefficients d'expansion positifs pour les canaux quantiques primitifs

Détails méthodologiques

Définition de la tâche

Étude des coefficients d'expansion relatifs : 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(γ))}

où N,MN,M sont des canaux quantiques et DfD_f est la divergence quantique ff.

Concepts fondamentaux

1. Divergences ff standard

Pour une fonction opérateur-convexe f∈Ff ∈ F : Dfstd(ρ∥γ):=⟨γ1/2,f(Δρ,γ)(γ1/2)⟩HSD_f^{std}(ρ∥γ) := ⟨γ^{1/2}, f(Δ_{ρ,γ})(γ^{1/2})⟩_{HS} où Δρ,γ:=LρRγ−1Δ_{ρ,γ} := L_ρR_γ^{-1} est l'opérateur modulaire relatif.

2. Semi-normes riemanniennes

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

3. Relation local-global

Le comportement local du second ordre de la divergence ff standard est déterminé par la semi-norme riemannienne associée : d2dε2∣ε=0Dfstd(ρ∥γε)=f′′(1)∥X∥κf,ρ2\frac{d²}{dε²}\bigg|_{ε=0} D_f^{std}(ρ∥γ_ε) = f''(1)∥X∥²_{κ_f,ρ}

Points d'innovation technique

1. Méthode de représentation intégrale

Utilisation de la représentation intégrale des fonctions opérateur-convexes : 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. Héritage d'équivalence

Théorème 5.2: Si af(x)≤g(x)≤bf(x)af(x) ≤ g(x) ≤ bf(x) et qηfstd∼γ,δqηκfRiemqη_f^{std} ∼_{γ,δ} qη_{κ_f}^{Riem}, alors : qηgstd∼α,βqηκgRiemqη_g^{std} ∼_{α,β} qη_{κ_g}^{Riem} où α=a2γb2,β=min⁡{b2δa2,1}α = \frac{a²γ}{b²}, β = \min\{\frac{b²δ}{a²}, 1\}.

3. Analyse de bornitude

Distinction entre les cas borné (κ(0+)<∞κ(0^+) < ∞) et non borné, prouvant qu'ils constituent des classes d'équivalence différentes.

Configuration expérimentale

Vérification théorique

L'article est principalement un travail théorique, vérifié par :

  1. Analyse de canaux spécifiques:
    • Canal de déphasage de qubit
    • Canal d'amortissement d'amplitude
    • Canal de déphasage généralisé
    • Canal classique-quantique
  2. Construction de familles paramétrées:
    • Familles de canaux de Pauli
    • Itérations de canaux primitifs

Vérification computationnelle

Calculs explicites fournis pour le cas qubit : ∥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²θ)

Résultats expérimentaux

Résultats principaux

1. Absence de DPI inverse (Théorème 3.3)

Pour les canaux quantiques non-unitaires NN avec dB≤dAd_B ≤ d_A : qηf(N)={1si N est unitaire0sinonqη_f(N) = \begin{cases} 1 & \text{si } N \text{ est unitaire} \\ 0 & \text{sinon} \end{cases}

2. Extension des cas d'égalité (Théorème 4.2)

Preuve d'égalité pour deux familles infinies :

  • 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. Non-équivalence (Théorème 5.5)

Pour le canal classique-quantique Φα,1−α2Φ_{α,\sqrt{1-α²}} :

  • κκ borné: 1α2ηκRiem=Θ(1)\frac{1}{α²}η_{κ}^{Riem} = Θ(1) quand α→0α→0
  • κκ non borné: 1α2ηκRiem→∞\frac{1}{α²}η_{κ}^{Riem} → ∞ quand α→0α→0

4. Coefficients d'expansion positifs

Corollaire 6.14: Tous les canaux de Pauli qubit ont des coefficients d'expansion relatifs positifs : qηκRiem(Φ;ImΦ)>0qη_{κ}^{Riem}(Φ; \text{Im}Φ) > 0

Résultats d'application

1. Récupérabilité approximative

（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. Convergence quantique de Markov inverse

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

Travaux connexes

Développement historique

  1. Divergences ff classiques: Csiszár (1963), Ali-Silvey (1966)
  2. Extensions quantiques: Petz (1986), Hiai-Petz (2011)
  3. Coefficients de contraction: Lesniewski-Ruskai (1999), Hiai-Ruskai (2015)

Contributions de cet article

Par rapport aux travaux existants, cet article :

  • Fournit des conditions d'égalité plus générales
  • Introduit un cadre d'équivalence systématique
  • Établit de nouvelles connexions avec la récupérabilité
  • Prouve les différences fondamentales entre les cas borné et non borné

Conclusions et discussion

Conclusions principales

  1. Résultats négatifs universels: La plupart des canaux quantiques n'ont pas de DPI inverse sur le domaine entier
  2. Correspondance local-global: Valable uniquement lorsque des relations intégrales spéciales existent
  3. Hiérarchie d'équivalence: Les cas borné et non borné constituent des classes d'équivalence différentes
  4. Applications pratiques: Les coefficients d'expansion positifs fournissent des bornes inférieures sur la récupérabilité et les taux de convergence

Limitations

  1. Complexité computationnelle: Le calcul exact des coefficients d'expansion reste difficile
  2. Restrictions dimensionnelles: Les calculs explicites sont principalement limités au cas qubit
  3. Structures spéciales: Les conditions d'égalité nécessitent des relations intégrales particulières

Directions futures

  1. Existe-t-il d'autres relations intégrales dans le cas borné ?
  2. Les coefficients de divergence et riemannien sont-ils non équivalents dans le cas borné ?
  3. Peut-on trouver des exemples où le coefficient de divergence est zéro mais le coefficient riemannien est positif ?

Évaluation approfondie

Avantages

  1. Profondeur théorique: Fournit des intuitions profondes sur la théorie des divergences ff
  2. Systématicité: Établit un cadre d'équivalence complet
  3. Valeur applicative: Relie la théorie abstraite aux applications pratiques
  4. Innovation technique: Utilisation ingénieuse de la représentation intégrale et de la convexité opérateur

Insuffisances

  1. Défis computationnels: La plupart des résultats sont d'existence, manquant d'algorithmes efficaces
  2. Restrictions dimensionnelles: Le traitement des cas haute dimension reste insuffisant
  3. Vérification expérimentale: Absence d'expériences numériques vérifiant les prédictions théoriques

Portée d'impact

  1. Contribution théorique: Fournit de nouveaux outils pour la géométrie de l'information quantique
  2. Perspectives d'application: Potentiel d'application en correction d'erreurs quantiques et analyse de chaînes de Markov
  3. Méthodologie: Le cadre d'équivalence peut être généralisé à d'autres mesures d'information quantique

Scénarios d'application

  1. Analyse de la capacité de conservation d'information des canaux quantiques
  2. Étude de la convergence des chaînes de Markov quantiques
  3. Évaluation des performances des codes de correction d'erreurs quantiques
  4. Recherche théorique en géométrie de l'information quantique

Références

L'article cite 58 références importantes, couvrant :

  • Fondamentaux de la théorie de l'information quantique (Preskill, Wilde)
  • Théorie des divergences ff (Csiszár, Petz, Hiai)
  • Chaînes de Markov quantiques (Temme et al., George-Tomamichel)
  • Théorie de la récupérabilité (Junge et al., Gao et al.)