Pith. sign in

REVIEW 2 major objections 3 minor 25 references

Annihilating and breaking Lorentz cone entanglement

T0 review · 2 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For central maps between cones over normed spaces, Lorentz-entanglement breaking is equivalent to $\gamma_2^*(u)\le\lambda$; factoring through a Lorentz cone is equivalent to $\gamma_2(u)\le\lambda$.

desk verdict A strong paper that gives exact norm characterizations for Lorentz-entanglement breaking and annihilating central maps; the main gap in Theorem 4.6 is likely repairable and should not block refereeing. read the letter →

arxiv 2506.14480 v1 pith:LDZZO432 submitted 2025-06-17 quant-ph math.FA

Francesca La Piana , Alexander Müller-Hermes This is my paper · ORCID
classification quant-phmath.FA MSC 46B2847L2081P40
keywords Lorentzconeentanglementbreakingannihilatingoperatoridealnorms2-summingnormHilbert-spacefactorization2-dominatedconesovernormedspaces
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Lorentz cones are the "ice-cream cones" $\{(t,x):t\ge\|x\|_2\}$ used as reference systems in entanglement theory. The paper studies positive maps between cones $C_X=\{(t,x):t\ge\|x\|\}$ and $C_Y$, focusing on central maps $\lambda\oplus u$ that act as $\lambda$ on the $t$-coordinate and $u$ on the space coordinate. It establishes that for such maps two Lorentz-related properties are exact norm thresholds: breaking Lorentz-cone entanglement is equivalent to $\gamma_2^*(u)\le\lambda$, and factoring through a Lorentz cone is equivalent to $\gamma_2(u)\le\lambda$. It also shows that when the target cone is a Lorentz cone, annihilating Lorentz-cone entanglement is governed by the 2-summing norm condition $\pi_2(u)\le\lambda$. The reader should care because these equivalences turn qualitative cone-theoretic properties into computable Banach-space quantities and connect quantum-inspired entanglement to a classical operator-ideal theory.

What carries the argument

The load-bearing device is the central-map decomposition $P=\lambda\oplus u$, namely $P(t,x)=(\lambda t,u(x))$ on $\mathbb{R}\times X\to\mathbb{R}\times Y$. Positivity of this map is exactly the operator-norm condition $\|u\|\le\lambda$; the paper shows that replacing the operator norm by $\gamma_2$, $\gamma_2^*$, and $\pi_2$ respectively detects factorization through Lorentz cones, Lorentz-entanglement breaking, and Lorentz-entanglement annihilation. The proofs use the Sinkhorn-type normal form for positive maps between Lorentz cones, which reduces arguments to diagonal contractions, together with the retract property of Lorentz cones cut by subspaces and the standard operator-ideal machinery of 2-nuclear and Hilbert-space factorizations. Theorem 4.3, showing that the trace-dual of $\mathrm{LorEB}$ is exactly the Lorentz-factorizable cone, is the bridge that makes the norm characterizations dual.

What would settle it

Test the unproved factorization step numerically: take $X=\ell_p^n$ and $Y=\ell_q^m$ with $p,q$ not of the $\infty/1$ type, compute $\gamma_2^*(\mathrm{id})$ by its definition, and check whether a factorization through $\ell_\infty^N\to\ell_1^M$ exists with contractions and unchanged norm. Alternatively, for any candidate $u$ with $\gamma_2^*(u)\le1$, compute $\sup|\operatorname{Tr}[wvu]|$ over contractions $v:\ell_2^k\to X$ and $w:Y\to\ell_2^k$; if this supremum exceeds 1, then $1\oplus u$ cannot be Lorentz-entanglement breaking, contradicting Theorem 1.4.

Watch

Extended reading notes

Core claim

The central discovery is a dictionary between two worlds. On one side are two families of positive maps defined by Lorentz cones: Lorentz-entanglement-breaking maps $\mathrm{LorEB}(C_X,C_Y)$, which send the maximal tensor product with any Lorentz reference cone into the minimal tensor product, and their trace-dual Lorentz-factorizable maps $\mathrm{LorFact}(C_X,C_Y)$. On the other side are two classical operator ideal norms on the underlying linear map $u:X\to Y$: the Hilbert-space factorization norm $\gamma_2(u)$ and its trace-dual, the 2-dominated norm $\gamma_2^*(u)$. The paper proves that $\lambda\oplus u\in\mathrm{LorFact}(C_X,C_Y)$ if and only if $\gamma_2(u)\le\lambda$, and $\lambda\oplus u\in\mathrm{LorEB}(C_X,C_Y)$ if and only if $\gamma_2^*(u)\le\lambda$. It also proves that $\lambda\oplus u$ annihilates Lorentz-cone entanglement into a Lorentz cone if and only if $\pi_2(u)\le\lambda$. A further theorem gives the dual-cone identity $\mathrm{LorEB}(C_B,C_A)^*=\mathrm{LorFact}(C_A,C_B)$ without requiring a closure, and the paper constructs a Lorentz-entanglement-breaking map on $3\times3$ positive semidefinite matrices that is not entanglement breaking, using a known bound-entanglement state.

Load-bearing premise

The proof assumes, without showing, that every linear map whose 2-dominated size is at most 1 can be re-expressed as a map between an $\ell_\infty$-space and an $\ell_1$-space without increasing that size; the main equivalence for arbitrary normed spaces rests on this unstated compression step.

Editorial extensions

If this is right

  • Central Lorentz-entanglement breaking becomes a closed, convex, norm-bounded property: on central maps the cone is cut out by $\gamma_2^*(u)\le\lambda$, so membership is a convex condition rather than a search over all reference cones.
  • Because $\gamma_2^*$ is the trace-dual of $\gamma_2$, Lorentz-entanglement breaking and Lorentz factorizability are dual cones, mirroring the operator-ideal duality in Banach space theory.
  • When the target cone is a Lorentz cone, $\mathrm{LorEA}_2(C_X,\mathbb{L}^n)$ is a closed convex cone whose central slice is the unit ball of $\pi_2$; in the square-base case the whole positive cone $\mathrm{Pos}(C_{\ell_\infty^2},\mathbb{L}^m)$ annihilates Lorentz entanglement.
  • There exist strict inclusion examples: on $M_3(\mathbb{C})_+$ there is a Lorentz-entanglement-breaking map that is not entanglement breaking, and the identity map on $M_3(\mathbb{C})_+$ does not factor through a Lorentz cone.
  • The known implication from $\infty$-max-entanglement annihilation to Lorentz-entanglement breaking now becomes, for central maps, exactly the condition $\gamma_2^*(u)\le\lambda$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: because $\gamma_2$ and $\gamma_2^*$ have Hilbert-space factorization descriptions, Lorentz-entanglement-breaking and Lorentz-factorizable central maps may be certifiable by semidefinite programming; the paper itself does not discuss algorithms.
  • Inference: if the unproved factorization step in Theorem 4.6 fails for some pair of normed spaces, the 'if' direction of the main equivalence would still hold for maps that admit the compression, but not for arbitrary $X,Y$; a counterexample would narrow the theorem without affecting the $\ell_\infty/\ell_1$ case or the constructed examples.
  • Inference: the square-base cone $C_{\ell_\infty^2}$ behaves like a cone-theoretic analogue of a space with the 2-summing property; testing other polyhedral cones, such as $C_{\ell_\infty^d}$ for $d>2$, would show whether this property is special to the square or extends to higher-dimensional cubes.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper studies linear maps between proper cones that annihilate or break entanglement when the reference cone is a Lorentz cone. For central maps λ⊕u between cones C_X and C_Y over finite-dimensional normed spaces, it claims exact characterizations: λ⊕u is Lorentz-factorizable iff γ_2(u)≤λ (Theorem 1.4(1)), and λ⊕u is Lorentz-entanglement breaking iff γ_2^*(u)≤λ (Theorem 1.4(2)); central Lorentz-entanglement annihilating maps into Lorentz cones are characterized by π_2(u)≤λ (Theorems 1.2 and 3.9). It also proves a no-closure duality theorem for LorEB and LorFact (Theorem 4.3), establishes structural properties of maxEA_2 between Lorentz cones, and constructs an explicit Lorentz-entanglement breaking map between 3×3 matrix cones that is not entanglement breaking, using the VB14 counterexample to Peres' conjecture.

Significance. If the proofs are completed, this is a substantial bridge between tensor products of ordered vector spaces and Banach-space operator ideal norms. The paper gives parameter-free norm criteria with no fitted constants, supplies a clean no-closure duality statement, and provides explicit examples separating LorEB from EB. The main theorems are likely correct, but the proof of Theorem 1.4(2) currently contains a load-bearing unproved factorization, and Lemma 3.1 has undefined quantities in cases that occur at boundary contractions.

major comments (2)
  1. [§4.2, proof of Theorem 4.6] In the final paragraph of the proof of Theorem 4.6, the reduction from general finite-dimensional X,Y to X=ℓ∞^n and Y=ℓ_1^m relies on the assertion that γ_2^*(v)≤1 if and only if v=βv'α with α:X→ℓ∞^n and β:ℓ_1^m→Y contractions and γ_2^*(v')≤1. This factorization is exactly what transfers the ℓ∞/ℓ_1 case to arbitrary spaces, and it is therefore load-bearing for Theorem 1.4(2), but it is stated without proof or citation. The statement is plausible and likely follows from (4) and the 2-nuclear factorization (8), but as written the general-case 'if' direction of Theorem 4.6 is not established. Please insert a proof or a precise reference for this factorization.
  2. [§3.1, proof of Lemma 3.1] In the proof of Lemma 3.1, the vector z_2 is defined using divisions by ∥x_1∥_2, ∥y_1∥_2, and hs(V_1), which may vanish. Lemma 3.1 is used in Theorem 3.2 to characterize central max-entanglement-annihilating maps between Lorentz cones, so the proof needs a complete treatment of these zero cases, for example by a perturbation/continuity argument or by splitting into cases before defining z_2. As it stands, the proof is incomplete exactly in boundary cases that are needed for the full statement.
minor comments (3)
  1. [§3.1, Lemma 3.1 statement] The statement quantifies r,s∈R_+^0 but the conclusion uses s and t; r does not appear. The intended quantification is presumably s,t∈R_+^0.
  2. [§1.2] The text contains the typo 'Lorenz-entanglement annihilating'; it should be 'Lorentz-entanglement annihilating'.
  3. [§3.1, proof of Theorem 3.3] Proposition 2.2 is applied to the set maxEA_2(L_n,L_m) before the closedness of this set is explicitly stated; a sentence noting that closedness follows from continuity of the defining inclusion would remove ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the norm characterizations are derived from definitions and standard operator-ideal factorizations, not from their own conclusions.

full rationale

The paper is a self-contained mathematical derivation with no fitted parameters and no data-driven predictions. Theorem 1.4(2) is proved by reducing to the ell_infinity/ell_1 case via Lemma 4.5, which is proven in the paper, and then changing spaces with the asserted factorization 'v : X -> Y satisfies gamma_2*(v) <= 1 if and only if it factorizes as v = beta v' alpha'. That factorization is indeed stated without proof or citation in the proof of Theorem 4.6 and is load-bearing for the general finite-dimensional case; I flag it as a proof gap, but it is not circularity, because it does not identify the norm condition with the target cone class and is a standard reduction plausibly derivable from (4) and (8). The trace-dual formula (13) is imported from [AMH23, Theorem 5.3], a prior paper by the same research group, but it is an independent published result about the dual of LorEB, and the main equivalence does not collapse into that citation: the proof of Theorem 4.6 works directly with the definitions of gamma_2* and with EB/Pos duality. No uniqueness theorem is imported from the authors to force a choice, and no ansatz is smuggled in by citation. The classes LorFact, LorEB, and LorEA are defined geometrically via Lorentz cones, while gamma_2, gamma_2*, and pi_2 are standard Banach-space ideal norms, so the equivalences are substantive rather than definitional. Accordingly, the derivation chain is not circular, and the omitted factorization proof should be repaired but does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted; all constants in Example 1 are carried over from [VB14]. The central claims rest on standard operator ideal results and on the unproved gamma_2* factorization in Theorem 4.6, which is flagged as an axiom because it is load-bearing and uncited.

assumptions (5)
  • standard math Operator ideal norm properties of pi_2, gamma_2, and gamma_2* from [TJ89], including 2-summing self-duality, the 2-nuclear factorization (8), and the factorization formula (4).
    Used throughout: Theorem 3.9 uses [TJ89, Prop 9.10]; Theorem 4.6 and Corollary 4.7 use [TJ89, Theorem 13.9]; Proposition 3.11 uses self-duality.
  • standard math The Sinkhorn-type normal form for positive maps between Lorentz cones (Hildebrand [Hil11, Theorem 3.4]) and the structure of automorphisms of Lorentz cones ([GQ20, Theorem 6.5]).
    Used in Lemma 3.1, Theorem 3.4, Proposition 2.2, and Theorem 3.5.
  • standard math Woronowicz decomposition of positive maps from M3(C)+ to M2(C)+ as sums of completely positive and completely copositive maps ([Wor76]); Stoermer characterization of the maximal tensor product of M2(C)+ ([Sto63]).
    Used in Section 3.1 and Section 5.2 to handle maps into low-dimensional matrix algebras.
  • standard math The Vertesi-Brunner counterexample to Peres' conjecture provides a PPT state in 3x3 with given local measurements; the numerical matrices in Example 1 are taken from [VB14].
    Used in Section 5.2 to construct an explicit Lorentz-entanglement breaking map that is not entanglement breaking.
  • ad hoc to paper Every finite-dimensional normed space embeds isometrically into some ell_infinity^n and is a quotient of some ell_1^m; moreover gamma_2* satisfies the factorization v = beta v' alpha with contractions and gamma_2*(v') <= 1 when gamma_2*(v) <= 1.
    Stated without proof in the proof of Theorem 4.6 to reduce general X and Y to X = ell_infinity^n, Y = ell_1^m. This is a load-bearing unproved premise; no citation is given.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Annihilating and breaking Lorentz cone entanglement." pith.science (2026). https://pith.science/paper/LDZZO432

@misc{pith2026250614480,
  author       = {Pith},
  title        = {Pith review of: Annihilating and breaking Lorentz cone entanglement},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LDZZO432}},
  note         = {Machine review of arXiv:2506.14480}
}
abstract

Linear maps between finite-dimensional ordered vector spaces with orders induced by proper cones $C_A$ and $C_B$ are called entanglement breaking if their partial application sends the maximal tensor product $K\otimes_{\max} C_A$ into the minimal tensor product $K\otimes_{\min} C_B$ for any proper cone $K$. We study the larger class of Lorentz-entanglement breaking maps where $K$ is restricted to be a Lorentz cone of any dimension, i.e., any cone over a Euclidean ball. This class of maps appeared recently in the study of asymptotic entanglement annihilation and it is dual to the linear maps factoring through Lorentz cones. Our main results establish connections between these classes of maps and operator ideals studied in the theory of Banach spaces. For operators $u:X\rightarrow Y$ between finite-dimensional normed spaces $X$ and $Y$ we consider so-called central maps which are positive with respect to the cones $C_A=C_X$ and $C_B=C_Y$. We show how to characterize when such a map factors through a Lorentz cone and when it is Lorentz-entanglement breaking by using the Hilbert-space factorization norm $\gamma_2$ and its dual $\gamma^*_2$. We also study the class of Lorentz-entanglement annihilating maps whose local application sends the Lorentzian tensor product $C_A\otimes_{L} C_A$ into the minimal tensor product $C_B\otimes_{\min} C_B$. When $C_A$ is a cone over a finite-dimensional normed space and $C_B$ is a Lorentz cone itself, the central maps of this kind can be characterized by the $2$-summing norm $\pi_2$. Finally, we prove interesting connections between these classes of maps for general cones, and we identify examples with particular properties, e.g., cones with an analogue of the $2$-summing property.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 19 canonical work pages

  1. [1]

    Banach spaces with the 2-summing property

    Alvaro Arias, Tadek Figiel, William B Johnson, and Gideon Schechtman. Banach spaces with the 2-summing property. Transactions of the American Mathematical Society , 347(10):3835--3857, 1995

    work page 1995

  2. [2]

    Entangleability of cones

    Guillaume Aubrun, Ludovico Lami, Carlos Palazuelos, and Martin Pl \'a vala. Entangleability of cones. Geometric and Functional Analysis , 31(2):181--205, 2021

    work page 2021

  3. [3]

    Asymptotic tensor powers of banach spaces

    Guillaume Aubrun and Alexander M \"u ller-Hermes. Asymptotic tensor powers of banach spaces. arXiv preprint arXiv:2110.12828 , 2021

    arXiv 2021

  4. [4]

    Annihilating entanglement between cones

    Guillaume Aubrun and Alexander M \"u ller-Hermes. Annihilating entanglement between cones. Communications in Mathematical Physics , 400(2):931--976, 2023

    work page 2023

  5. [5]

    Limit formulas for norms of tensor power operators

    Guillaume Aubrun and Alexander M \"u ller-Hermes. Limit formulas for norms of tensor power operators. arXiv preprint arXiv:2410.23063 , 2024

    work page Pith review arXiv 2024

  6. [6]

    Alice and Bob meet Banach , volume 223

    Guillaume Aubrun and Stanis aw J Szarek. Alice and Bob meet Banach , volume 223. American Mathematical Soc., 2017

    2017

  7. [7]

    Completely positive linear maps on complex matrices

    Man-Duen Choi. Completely positive linear maps on complex matrices . Linear algebra and its applications , 10(3):285--290, 1975

    work page 1975

  8. [8]

    When do composed maps become entanglement breaking? In Annales Henri Poincar \'e , volume 20, pages 2295--2322

    Matthias Christandl, Alexander M \"u ller-Hermes, and Michael M Wolf. When do composed maps become entanglement breaking? In Annales Henri Poincar \'e , volume 20, pages 2295--2322. Springer, 2019

    work page 2019

Show all 25 references
  1. [9]

    Tensor products of convex cones

    Josse van Dobben de Bruyn. Tensor products of convex cones. arXiv preprint arXiv:2009.11843 , 2020

    2009 arXiv

  2. [10]

    On representing the positive semidefinite cone using the second-order cone

    Hamza Fawzi. On representing the positive semidefinite cone using the second-order cone. Mathematical Programming , 175(1):109--118, 2019

    2019

  3. [11]

    Local two-qubit entanglement-annihilating channels

    Sergey N Filippov, Tom \'a s Ryb \'a r, and M \'a rio Ziman. Local two-qubit entanglement-annihilating channels. Physical Review A , 85(1):012303, 2012

    2012

  4. [12]

    Differential geometry and Lie groups , volume 12

    Jean Quaintance Gallier and Jocelyn Quaintance. Differential geometry and Lie groups , volume 12. Springer, 2020

    2020

  5. [13]

    Quantum entanglement

    Ryszard Horodecki, Pawe Horodecki, Micha Horodecki, and Karol Horodecki. Quantum entanglement. Reviews of modern physics , 81(2):865--942, 2009

    2009

  6. [14]

    An lmi description for the cone of lorentz-positive maps ii

    Roland Hildebrand. An lmi description for the cone of lorentz-positive maps ii. Linear and Multilinear Algebra , 59(7):719--731, 2011

    2011

  7. [15]

    Entanglement breaking channels

    Michael Horodecki, Peter W Shor, and Mary Beth Ruskai. Entanglement breaking channels. Reviews in Mathematical Physics , 15(06):629--641, 2003

    2003

  8. [16]

    Linear transformations which preserve trace and positive semidefiniteness of operators

    Andrzej Jamio kowski. Linear transformations which preserve trace and positive semidefiniteness of operators. Reports on mathematical physics , 3(4):275--278, 1972

    1972

  9. [17]

    Non-classical correlations in quantum mechanics and beyond

    Ludovico Lami. Non-classical correlations in quantum mechanics and beyond. arXiv preprint arXiv:1803.02902 , 2018

    2018 arXiv

  10. [18]

    Entanglement-annihilating and entanglement-breaking channels

    Lenka Morav c \' kov \'a and M \'a rio Ziman. Entanglement-annihilating and entanglement-breaking channels . Journal of Physics A: Mathematical and Theoretical , 43(27):275306, 2010

    2010

  11. [19]

    General probabilistic theories: An introduction

    Martin Pl \'a vala. General probabilistic theories: An introduction. Physics Reports , 1033:1--64, 2023

    2023

  12. [20]

    A relationship between arbitrary positive matrices and doubly stochastic matrices

    Richard Sinkhorn. A relationship between arbitrary positive matrices and doubly stochastic matrices. The annals of mathematical statistics , 35(2):876--879, 1964

    1964

  13. [21]

    Positive linear maps of operator algebras

    Erling St rmer. Positive linear maps of operator algebras. Acta Mathematica , 110(1):233--278, 1963

    1963

  14. [22]

    Positive linear maps of operator algebras

    Erling St rmer. Positive linear maps of operator algebras . Springer, 2013

    2013

  15. [23]

    Banach-Mazur distances and finite-dimensional operator ideals , volume 38

    Nicole Tomczak-Jaegermann. Banach-Mazur distances and finite-dimensional operator ideals , volume 38. Longman Sc & Tech, 1989

    1989

  16. [24]

    Disproving the Peres conjecture by showing Bell nonlocality from bound entanglement

    Tam \'a s V \'e rtesi and Nicolas Brunner. Disproving the Peres conjecture by showing Bell nonlocality from bound entanglement . Nature communications , 5(1):5297, 2014

    2014

  17. [25]

    Woronowicz

    Stanis aw L. Woronowicz. Positive maps of low dimensional matrix algebras . Reports on Mathematical Physics , 10(2):165--183, 1976

    1976

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.