Trace-Norm Overlaps of Quantum States: Interpolation, Equality, and Data-Processing Rigidity

• URL: http://arxiv.org/abs/2609.14203v1
• Date: Sun, 13 Sep 2026 00:28:33 GMT
• Title: Trace-Norm Overlaps of Quantum States: Interpolation, Equality, and Data-Processing Rigidity
• Abstract summary: We show that the difference between the Petz overlap and the directed trace-norm overlap exactly when $$ and $$.<n>We also prove that the difference between the Petz overlap and the directed trace-norm overlap vanishes exactly when $$ and $$.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Let $ρ$ and $σ$ be density operators on a separable Hilbert space. For $0<α<1$, we study the directed trace-norm overlap $Φ_α(ρ,σ)=\|ρ^ασ^{1-α}\|_1$ and its symmetrized form $\mathcal F_α(ρ,σ)=\frac12\bigl(Φ_α(ρ,σ)+Φ_{1-α}(ρ,σ)\bigr)$. At $α=\tfrac12$, both quantities coincide with the root Uhlmann--Jozsa fidelity. Our aim is not to introduce a new notion of fidelity, but to understand how these overlaps vary with the parameter and when equality occurs in the resulting inequalities. We first prove that $α\mapstoΦ_α(ρ,σ)$ is log-convex. This yields a sharp lower bound for $\mathcal F_α$ in terms of the root fidelity, together with a stronger intermediate geometric-mean bound. We also show that $Φ_α$ is the trace functional $Q_{α,1/2}$ associated with the $α$-$z$ Renyi divergence, which connects the directed overlap with the known $α$-$z$ Renyi theory. We then determine the exact data-processing behavior of the symmetrized family. Universal monotonicity under quantum channels holds only at $α=\tfrac12$; for every other value of $α$, it already fails under diagonal pinching of faithful real qubit states. In finite dimensions, we give a complete spectral description of the equality cases and provide explicit noncommuting examples. We also discuss some natural questions about overlap-preserving maps. Finally, we prove that the difference between the Petz overlap and the directed trace-norm overlap vanishes exactly when $ρ$ and $σ$ commute, without requiring either faithfulness or any additional support assumption.

Related papers

• Quantum State of a Gravitating Spacetime Region [0.10874100424278173]
  We associate a gravitational Hilbert space $mathbfH_$ to any closed compact $(d-1)$-manifold $$ with real metric.<n>A quantum state $mathcalJ()$ is a $d$-manifold bounded by $$ and equipped with elliptic data.
  arXiv  Detail & Related papers  (2026-09-09T18:00:03Z)
• Sharp Minimax Regret for Infinite-Memory Logistic Prediction [55.29259818039367]
  Lag $j$ can affect prediction by scale $r_j$ and enters only $n_T,j=T-j+1$ prediction rounds.<n>For every summable envelope, a localized mixture proves $cR_T(r)leq C_T(r)$.<n>For exponential and envelopes, under the stated finite-sample condition, a Toeplitz-design converse proves $cR_T(r)geq c_T(r)$.
  arXiv  Detail & Related papers  (2026-08-27T01:31:46Z)
• Isospectral majorization and isoperimetric inequalities for coherent states on the Bloch sphere [0.0]
  We prove an isospectral version of Lieb-Solovej inequality.<n>Spherical caps maximize every partial sum of the eigenvalues of Toeplitz operators with symbol $1_$.
  arXiv  Detail & Related papers  (2026-08-12T16:46:26Z)
• The Phase Transition in Online PCA Depends on $n/d\log(d)$, not $n/d$ [1.827510863075184]
  High dimensional statistical theory has established the importance of constant aspect ratio.<n>Online / streaming algorithms are different, and constant aspect ratio is insufficient for nonzero overlap.
  arXiv  Detail & Related papers  (2026-07-27T01:06:31Z)
• Spectral Asymptotics of Neural Network Loss Landscapes: An Exact Decomposition of the Curvature Exponent [0.0]
  We prove the Spectral Alignment Decomposition: $= dlog_k / dlog_k$, where $_k$ measures alignment between Kronecker factor eigenbases and gradient singular directions.<n>This reduces "why does $$ vary?" to a geometric question we answer for LayerNorm, residual connections, and softmax heads.
  arXiv  Detail & Related papers  (2026-05-22T23:31:38Z)
• Rényi exponent landscape of multipartite entanglement in free-fermion systems [51.56484100374058]
  We show that the Rényi tripartite information $I_3() exhibits a qualitatively $exclusion-dependent scaling at small Fermi momentum.<n>A direct consequence is a replica obstruction: $I_m(n)/I_m(1) sim zm-1 to 0$ for all integer $n geq 2$, so the leading von Neumann signal cannot be reconstructed from integer Rényi data.
  arXiv  Detail & Related papers  (2026-03-09T22:27:00Z)
• Tripartite information of free fermions: a universal entanglement coefficient from the sine kernel [51.56484100374058]
  We study the tripartite information I_3 of free fermions on two-dimensional lattices partitioned into three adjacent strips of width w.<n>We find that g(z) has a unique zero at z* = 1.329 +/- 0.001: modes with k_F w z* violate monogamy of mutual information.<n>Two exact cancellations -- of the z ln z area-law terms and of the z2 terms -- are intrinsic to the I_3 combination.
  arXiv  Detail & Related papers  (2026-03-03T15:39:35Z)
• Information-Computation Tradeoffs for Noiseless Linear Regression with Oblivious Contamination [65.37519531362157]
  We show that any efficient Statistical Query algorithm for this task requires VSTAT complexity at least $tildeOmega(d1/2/alpha2)$.
  arXiv  Detail & Related papers  (2025-10-12T15:42:44Z)
• Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
  Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
  arXiv  Detail & Related papers  (2025-09-15T14:26:11Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously. Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples. We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
  arXiv  Detail & Related papers  (2023-09-25T17:54:19Z)
• Bounds on Renyi entropy growth in many-body quantum systems [0.0]
  We prove rigorous bounds on the growth of $alpha$-Renyi entropies $S_alpha(t)$. For completely non-local Hamiltonians, we show that the instantaneous growth rates $|S'_alpha(t)|$ can be exponentially larger than $|S'_alpha(t)|$.
  arXiv  Detail & Related papers  (2022-12-14T19:00:01Z)
• Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness [151.67113334248464]
  We show that extending the smoothing technique to defend against other attack models can be challenging. We present experimental results on CIFAR to validate our theory.
  arXiv  Detail & Related papers  (2020-02-08T22:02:14Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.