Additivity Results for the Rényi-2 Entanglement of Purification
- URL: http://arxiv.org/abs/2605.15439v1
- Date: Thu, 14 May 2026 21:41:31 GMT
- Title: Additivity Results for the Rényi-2 Entanglement of Purification
- Abstract summary: 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.
- Score: 3.151184728006369
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We reformulate the Rényi entanglement of purification as a constrained minimum output Rényi entropy problem. Equivalently, for $p>1$, this formulation can be expressed in terms of a constrained maximal output Schatten $p$-norm. More precisely, for a completely positive map $Ω:L(B')\to L(A)$, we consider the quantity $\upsilon_p(Ω)$ defined by optimizing $\|(Ω\otimes \mathrm{id}_E)(σ^{B'E})\|_p$ over all bipartite states $σ^{B'E}$ whose $B'$-marginal is maximally mixed. We focus on the case $p=2$. First, we compute $\upsilon_2$ for the transpose-depolarizing channel and prove that it is multiplicative under tensor powers. We then establish a general multiplicativity criterion: whenever a completely positive map $N:L(B')\to L(A)$ satisfies $N^{\dagger} \mathbin{\circ} N=a\,\mathrm{id}_A+b\,\mathrm{Tr}[\cdot]\,I_d$ for some constants $a,b\ge 0$, where $N^{\dagger}$ denotes the Hilbert-Schmidt adjoint of $N$, the quantity $\upsilon_2(N)$ is multiplicative under tensor powers. Examples of channels satisfying this criterion include the transpose-depolarizing channel, the depolarizing channel, and their respective complementary channels. Furthermore, we show that, for every completely positive map $Ω$, multiplicativity of $\upsilon_p(Ω)$ implies multiplicativity for its complementary map. This yields the corresponding additivity statements for the associated Rényi-2 entanglement of purification.
Related papers
- The Inverse Eigenvalue Problem for Partial Transposes of Two-Qubit States [0.0611737116137921]
We solve the inverse eigenvalue problem for two qubits.<n>Every nonnegative trace-one spectrum is realized as $operatornamespec(_B)$.<n>We show how the two-qubit inequalities persist as necessary constraints for the inverse eigenvalue problem in qubit--qudit systems.
arXiv Detail & Related papers (2026-08-29T05:44:57Z) - 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) - 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) - 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) - 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) - Non-representable quantum measures [55.2480439325792]
Grade-$d$ measures on a $sigma$-algebra $mathcalAsubseteq 2X$ over a set $X$ are generalizations of measures satisfying one of a hierarchy of weak additivity-type conditions.<n>Every signed polymeasure $lambda$ on $(X,mathcalA)d$ produces a grade-$d$ measure as its diagonal $widetildelambda(A):=lambda(A,cdots,A)$.
arXiv Detail & Related papers (2025-08-20T00:47:24Z) - 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) - The SUSY partners of the QES sextic potential revisited [0.0]
We study the SUSY partner Hamiltonians of the quasi- solvable (QES) sextic potential $Vrm qes(x) = nu, x6 + 2, nu, mu,x4 + left[mu2-(4N+3)nu right], x2$, $N in mathbbZ+$.
arXiv Detail & Related papers (2023-11-10T18:38:02Z) - Quantization Condition of the Bound States in $n$th-order Schrödinger equations [1.1869151240342797]
We prove a general approximate quantization rule for the bound states in the potential well of the $n$th-order Schr"odinger equations.<n>The only hypothesis is that all exponentially growing components are negligible, which is appropriate for not narrow wells.
arXiv Detail & Related papers (2023-04-03T12:07:34Z) - Enlarging the notion of additivity of resource quantifiers [62.997667081978825]
Given a quantum state $varrho$ and a quantifier $cal E(varrho), it is a hard task to determine $cal E(varrhootimes N)$.
We show that the one shot distillable entanglement of certain spherically symmetric states can be quantitatively approximated by such an augmented additivity.
arXiv Detail & Related papers (2022-07-31T00:23:10Z) - Near-Linear Time and Fixed-Parameter Tractable Algorithms for Tensor
Decompositions [51.19236668224547]
We study low rank approximation of tensors, focusing on the tensor train and Tucker decompositions.
For tensor train decomposition, we give a bicriteria $(1 + eps)$-approximation algorithm with a small bicriteria rank and $O(q cdot nnz(A))$ running time.
In addition, we extend our algorithm to tensor networks with arbitrary graphs.
arXiv Detail & Related papers (2022-07-15T11:55:09Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm.
Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
arXiv Detail & Related papers (2022-02-10T16:10:41Z) - Positivity and nonadditivity of quantum capacities using generalized
erasure channels [7.6146285961466]
We consider various forms of a process, which we call em gluing, for combining two or more quantum channel pairs.
In both cases we study $Q(1)(mathcalB_g)$ and $Q(1)(mathcalC_g)$, where $Q(1)$ is the channel coherent information.
We also study the nonadditivity of $Q(1)(mathcalB_g)$ for two identical channels in parallel.
arXiv Detail & Related papers (2020-03-01T20:58:11Z)
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.