Global vs. Product Observables in Bipartite Quantum Systems: The Sharp Bound

• URL: http://arxiv.org/abs/2608.06235v1
• Date: Thu, 06 Aug 2026 16:22:36 GMT
• Title: Global vs. Product Observables in Bipartite Quantum Systems: The Sharp Bound
• Abstract summary: We prove the sharp universal comparison between the resulting norms.<n>We show that the same sharp constant governs the gap between bipartite correlation measured in trace norm and that measured by a correlation function.
• Score: 2.8306777063189004
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: To probe a bipartite quantum system, one may use arbitrary global operators or restrict to product operators acting separately on the two subsystems. We determine the sharp universal comparison between the resulting norms. For every $z\in M_n\otimes M_m$, we prove $\|z\|_1\leq\sqrt{2}\min\{n,m\}\|z\|_\varepsilon$, where $\|\cdot\|_1$ is the trace norm and $\|\cdot\|_\varepsilon$ is the injective tensor norm associated with the trace norms on $M_n$ and $M_m$. To prove the upper bound, we establish an $L_1$ noncommutative Khintchine inequality whose random coefficients are the entries of a Haar unitary. We also show that the coefficient $\sqrt{2}$ is sharp. As applications, we show that the same sharp constant governs the gap between bipartite correlation measured in trace norm and that measured by a correlation function, and obtain an improved universal upper bound for quantum data hiding. The upper bound has also been formalized and machine-checked in Lean.

Related papers

• Trace-Norm Overlaps of Quantum States: Interpolation, Equality, and Data-Processing Rigidity [0.0]
  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 $$.
  arXiv  Detail & Related papers  (2026-09-13T00:28:33Z)
• Trace-to-Hilbert-Schmidt Speed Ratio in Quantum Dynamics: Universal Bounds and Effective Rank [0.0]
  We address the ratio between the trace speed and the Hilbert-Schmidt speed for differentiable finite-dimensional quantum states.<n>Since the tangent $partial_$ is Hermitian and traceless, $mathcal R$ obeys stronger bounds than those for generic operators.<n>For any nonzero tangent of rank $r$, we prove the sharp bounds $sqrt2lemathcal Rlesqrtr$ for even $r$ and $sqrt2lemathcal Rlesqrtr
  arXiv  Detail & Related papers  (2026-07-05T20:25:43Z)
• Optimal Dimension-Free Sampling for Regularized Classification [56.72526267755301]
  We prove optimal sampling bounds achieving $(1pmvarepsilon)$-relative error for a broad class of Lipschitz continuous classification loss functions.<n>This includes important functions such as logistic and sigmoid loss, hinge loss, and ReLU loss, as prominent and popular representative examples.
  arXiv  Detail & Related papers  (2026-05-22T15:05:33Z)
• Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory [9.048611509540079]
  We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces.<n>For linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms.<n>Our results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-$$-entropy for $geqfrac12$ or the Sandwiched Rényi Umlaut information
  arXiv  Detail & Related papers  (2026-04-15T16:35:46Z)
• Optimal Scalar Quantization for Matrix Multiplication: Closed-Form Density and Phase Transition [50.36362492608702]
  We study entrywise scalar quantization of two matrices prior to multiplication.<n>We obtain a closed-form optimal point density [ star(u) propto exp!left(-fracu26right)bigl( (1-2)+2u22bigr), qquad u=fracx_X,, and prove a correlation-driven phase transition.
  arXiv  Detail & Related papers  (2026-03-20T01:53: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)
• Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
  We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input. We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
  arXiv  Detail & Related papers  (2024-02-23T12:22:03Z)
• On the $O(\frac{\sqrt{d}}{T^{1/4}})$ Convergence Rate of RMSProp and Its Momentum Extension Measured by $\ell_1$ Norm [54.28350823319057]
  This paper considers the RMSProp and its momentum extension and establishes the convergence rate of $frac1Tsum_k=1T.<n>Our convergence rate matches the lower bound with respect to all the coefficients except the dimension $d$.<n>Our convergence rate can be considered to be analogous to the $frac1Tsum_k=1T.
  arXiv  Detail & Related papers  (2024-02-01T07:21:32Z)
• 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)
• Lower Bound of $l_{1}$ Norm of Coherence of Bipartite Qubit-Qudit System and its Application in the Detection of Entangled Tripartite Qudit-Qubit-Qudit System [0.0]
  We study the entanglement detection problem for the detection of bipartite higher dimensional entangled states and multipartite entangled states. We find that if any $l_1$ norm of coherence of bipartite qubit-qudit system is greater than the upper bound $U$ then the given qubit-qudit state is entangled.
  arXiv  Detail & Related papers  (2022-03-24T06:34:33Z)
• A Law of Robustness beyond Isoperimetry [84.33752026418045]
  We prove a Lipschitzness lower bound $Omega(sqrtn/p)$ of robustness of interpolating neural network parameters on arbitrary distributions. We then show the potential benefit of overparametrization for smooth data when $n=mathrmpoly(d)$. We disprove the potential existence of an $O(1)$-Lipschitz robust interpolating function when $n=exp(omega(d))$.
  arXiv  Detail & Related papers  (2022-02-23T16:10:23Z)
• Constant matters: Fine-grained Complexity of Differentially Private Continual Observation [10.624505781812385]
  We study fine-grained error bounds for differentially private algorithms for counting continual observation. We are the first to give concrete error bounds for various problems under continual observation.
  arXiv  Detail & Related papers  (2022-02-23T11:50:20Z)
• Maximal gap between local and global distinguishability of bipartite quantum states [7.605814048051737]
  We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states.
  arXiv  Detail & Related papers  (2021-10-08T21:40:02Z)
• Relations between different quantum R\'enyi divergences [2.411299055446423]
  We investigate relations between the Petz quantum R'enyi divergence $barD_alpha$ and the maximum quantum R'enyi divergence $widehatD_alpha$. We provide a new proof of the inequality $widetildeD_1(rho | sigma) leqslant widehatD_1(rho | sigma),,$ based on the Araki-Lieb-Thirring
  arXiv  Detail & Related papers  (2020-12-12T09:30:07Z)

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.