Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory
- URL: http://arxiv.org/abs/2604.14055v1
- Date: Wed, 15 Apr 2026 16:35:46 GMT
- Title: Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory
- Abstract summary: 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
- Score: 9.048611509540079
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that $|\frac{1}{q} - \frac{1}{p}| \leq 1$. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the $q \to p$ completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for $q \geq p>0$, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as Rényi conditional entropies for $α\geq \frac{1}{2}$ or the Sandwiched Rényi Umlaut information for $α< 1$. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-$α$-entropy for $α\geq\frac{1}{2}$ extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output Rényi-$α$ entropy for $α\geq \frac{1}{2}$.
Related papers
- Global vs. Product Observables in Bipartite Quantum Systems: The Sharp Bound [2.8306777063189004]
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.
arXiv Detail & Related papers (2026-08-06T16:22:36Z) - Quantum Speedups for Stochastic Optimization with Heavy-Tailed Noise [49.730496294398726]
We develop a novel quantum mean estimator for heavy-tailed random variables.<n>We derive stronger lower bounds for tail index>4/3$, showing that a nontrivial dependence on a dimension is unavoidable.<n>For a convex objective function, we propose a quantum projected gradient descent method.
arXiv Detail & Related papers (2026-07-28T09:29:37Z) - A complete ultrametric on von Neumann's incomplete tensor products [0.0]
We revisit von Neumann's theory of infinite tensor products of Hilbert spaces.<n>The distance between two classes is the convergence exponent of the series $sum_j|langlevarphi_j,_jrangle-1|$ formed from any pair of representatives.<n>We show that $d$ is well defined on equivalence classes, satisfies the strong triangle inequality, and is complete.
arXiv Detail & Related papers (2026-07-10T17:25:32Z) - Additivity Results for the Rényi-2 Entanglement of Purification [3.151184728006369]
We show that for every completely positive map $N:L(B')to L(A)$, multiplicativity of $upsilon_p()$ implies multiplicativity for its complementary map.<n>This yields the corresponding additivity statements for the associated Rényi-2 entanglement of purification.
arXiv Detail & Related papers (2026-05-14T21:41:31Z) - 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) - Hardness of High-Dimensional Linear Classification [58.29089693778071]
We establish new exponential in dimension lower bounds for the Maximum Halfspace Discrepancy problem.<n>Both are fundamental problems in computational geometry and machine learning in their exact and approximate forms.
arXiv Detail & Related papers (2026-03-19T15:53:41Z) - Hidden Twisted Sectors and Exponential Degeneracy in Root-of-Unity XXZ Heisenberg Chains [0.0]
Recently, product states have been identified as simple-structured eigenstates of XXZ Heisenberg spin models in arbitrary dimensions.<n>Here, we classify this eigenspace in the one-dimensional periodic XXZ chain at all roots of unity $q$.<n>We prove that the minimal degeneracy is $2N/ellell$ using the representation theory of the affine Temperley-Lieb (aTL) algebra.
arXiv Detail & Related papers (2026-02-16T19:00:00Z) - 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) - Limit formulas for norms of tensor power operators [49.1574468325115]
Given an operator $phi:Xrightarrow Y$ between Banach spaces, we consider its tensor powers.
We show that after taking the $k$th root, the operator norm of $phiotimes k$ converges to the $2$-dominated norm.
arXiv Detail & Related papers (2024-10-30T14:39:21Z) - Effective eigenvalue approximation from moments for self-adjoint trace-class operators [0.0]
We define a set $Lambda_nsubset mathbbR$ for each self-adjoint, trace-class operator $O$.<n>We show that it converges to the spectrum of $O$ in the Hausdorff metric under mild conditions.<n>Results can be directly applicable to problems in quantum information, statistical mechanics, and quantum thermodynamics.
arXiv Detail & Related papers (2024-07-05T12:56:20Z) - 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) - An Order Relation between Eigenvalues and Symplectic Eigenvalues of a Class of Infinite-Dimensional Operators [0.0]
We prove an inequality between the eigenvalues and symplectic eigenvalues of a special class of infinite dimensional operators.
The only possible accumulation point for the symplectic eigenvalues is $alpha$.
arXiv Detail & Related papers (2022-12-07T19:00:32Z) - Entanglement Wedges for Gravitating Regions [0.0]
We conjecture that an arbitrary region $a$ can be assigned a generalized entanglement wedge $Esupset a$.
We prove that $E$ satisfies a no-cloning theorem and appropriate forms of strong subadditivity and nesting.
We propose that $E$ quantifies the range of holographic encoding, an important nonlocal feature of quantum gravity, in general spacetimes.
arXiv Detail & Related papers (2022-08-09T18:38:05Z) - Asymptotic Tensor Powers of Banach Spaces [77.34726150561087]
We show that Euclidean spaces are characterized by the property that their tensor radius equals their dimension.
We also show that the tensor radius of an operator whose domain or range is Euclidean is equal to its nuclear norm.
arXiv Detail & Related papers (2021-10-25T11:51:12Z)
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.