Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions

• URL: http://arxiv.org/abs/2607.24479v1
• Date: Mon, 27 Jul 2026 14:14:26 GMT
• Title: Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions
• Abstract summary: We solve the two-copy distillability problem for Werner states in every local dimension.<n>For every rank-at-most-two operator, the sum of the squared Hilbert--Schmidt norms of its two partial traces is bounded by twice its squared Hilbert--Schmidt norm.<n>We also derive an equivalent hierarchy of operator inequalities $H_k()succeq0$ for pure states with a maximally mixed qubit marginal.
• Score: 0.6126639905563117
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We solve the two-copy distillability problem for Werner states in every local dimension. Our main matrix result is a sharp, dimension-free inequality: for every rank-at-most-two operator, the sum of the squared Hilbert--Schmidt norms of its two partial traces is bounded by twice its squared Hilbert--Schmidt norm plus one half of the squared modulus of its trace. This implies that a Werner state $ρ_α$ is two-copy distillable if and only if $α<-1/2$. In particular, the two-ququart state $ρ^{(4)}_{-1/2}$ is two-copy undistillable, resolving Problem 5 of Horodecki, Rudnicki, and Życzkowski. For an arbitrary finite number $k$ of copies, we give three exact formulations of the remaining problem. At the endpoint $α=-1/2$, undistillability is equivalent to nonnegativity of the endpoint partial-trace form on every rank-at-most-two operator. We also derive an equivalent hierarchy of operator inequalities $H_k(ψ)\succeq0$ for pure states with a maximally mixed qubit marginal. The two-copy proof does not formally induct, because partial trace can increase rank and $2$-positivity is not generally preserved by tensor products. We prove two rigorous many-copy extensions. First, the quadratic form factorizes exactly on tensor-factorized witnesses; for any such decomposition, the endpoint inequality holds if its possible rank-two factor is supported on a block containing at most two copies. Second, we construct explicit constants $γ_k>0$ such that $α\ge-γ_k$ implies $k$-copy undistillability in every dimension. The initial proofs were generated by ChatGPT 5.6 Sol; the authors have verified and rewritten them to enhance readability and provide additional context.

Related papers

• Half a qubit: an algebraic fractionalization [0.0]
  Fractionalizing a quantum two-level system is usually associated with encodings based on pairs of Majorana fermions.<n>We show an alternative algebraic fractionalization by embedding Székely's classical half-coin'' into a non-Hermitian Krein space.
  arXiv  Detail & Related papers  (2026-08-17T06:57:54Z)
• Two-copy distillability of one-copy-undistillable negative-partial-transpose states in every dimension [6.8003865754242705]
  We prove that a distinguished one-copy-undistillable state in this family is already two-copy distillable in every local dimension $dgeq 3$.<n>A single symmetry-reduced family contains rigorously certified states with opposite two-copy behavior, separated by a substantial region whose finite-copy distillability remains unresolved.
  arXiv  Detail & Related papers  (2026-08-09T17:50:01Z)
• The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
  In [AS21], Axiotis and Sviridenko conjectured that the linear dependence on the restricted condition number in convex optimization cannot be improved by a sparse-time algorithm.<n>We establish their conjectured lower bound for least-squares objectives, conditional on the randomized exact-volume Small-Set Expansion Hypothesis.
  arXiv  Detail & Related papers  (2026-08-03T17:57:01Z)
• On the two-copy distillability of Werner states and a new partial trace inequality [1.3999481573773072]
  Problem 5 in it Five Open Problems in Quantum Information Theory [PRX Quantum 3, 01 r (2022), asks whether the two-ququart Werner state $varrho(4,-tfrac12)$ is two-copy distillable, where $varrho(d,)=(I+F)/(d2+d)$.<n>We show that $varrho(d,) is two-copy undistillable for every $dge2$, if and only if $ge-frac12$.
  arXiv  Detail & Related papers  (2026-07-27T11:51:18Z)
• A partial-trace matrix inequality and Werner-state distillability [6.837240993906597]
  We prove a bipartite partial-trace inequality for every matrix of rank at most two.<n>We show that two individually one-copy-undistillable Werner states cannot activate each other's one-copyability.
  arXiv  Detail & Related papers  (2026-07-26T02:22:05Z)
• 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)
• 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)
• Fractional $k$-positivity: a continuous refinement of the $k$-positive scale [0.0]
  We introduce a real- parameter refinement of the classical integer hierarchies underlying Schmidt number, block-positivity, and $k$-positivity for maps between matrix algebras.<n>We prove a emphfractional Kraus theorem: $$-superpositive maps are precisely the completely positive maps admitting a Kraus decomposition.<n>For non-integer $$ the cones $mathsf P_$ fail stability under CP post-composition, highlighting a sharp structural transition away from the integer theory.
  arXiv  Detail & Related papers  (2026-02-13T08:57:22Z)
• Overcomplete Tensor Decomposition via Koszul-Young Flattenings [56.82556231289414]
  We give a new algorithm for decomposing an $n_times n times n_3$ tensor as the sum of a minimal number of rank-1 terms.<n>We show that an even more general class of degree-$d$s cannot surpass rank $Cn$ for a constant $C = C(d)$.
  arXiv  Detail & Related papers  (2024-11-21T17:41:09Z)
• Annihilating Entanglement Between Cones [77.34726150561087]
  We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
  arXiv  Detail & Related papers  (2021-10-22T15:02:39Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)
• A General Derivative Identity for the Conditional Mean Estimator in Gaussian Noise and Some Applications [128.4391178665731]
  Several identities in the literature connect $E[bf X|bf Y=bf y]$ to other quantities such as the conditional variance, score functions, and higher-order conditional moments. The objective of this paper is to provide a unifying view of these identities.
  arXiv  Detail & Related papers  (2021-04-05T12:48:28Z)
• Representation of symmetry transformations on the sets of tripotents of spin and Cartan factors [0.0]
  We prove that in order that the description of the spin will be relativistic, it is not enough to preserve the projection lattice equipped with its natural partial order and denoteity. This, in particular, extends a result of Moln'ar to the wider setting of atomic JBW$*$-triples not containing rank-one Cartan factors.
  arXiv  Detail & Related papers  (2021-01-03T17:21:02Z)
• Tight Quantum Lower Bound for Approximate Counting with Quantum States [49.6558487240078]
  We prove tight lower bounds for the following variant of the counting problem considered by Aaronson, Kothari, Kretschmer, and Thaler ( 2020) The task is to distinguish whether an input set $xsubseteq [n]$ has size either $k$ or $k'=(1+varepsilon)k$.
  arXiv  Detail & Related papers  (2020-02-17T10:53:50Z)

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.