pith. sign in

arxiv: 2605.22713 · v1 · pith:VUSEOHSJnew · submitted 2026-05-21 · 🧮 math.OA · quant-ph

Self-testing of exact entanglement embezzlement

Samuel J. Harris This is my paper

Pith reviewed 2026-05-22 03:11 UTC · model grok-4.3

classification 🧮 math.OA quant-ph
keywords entanglement embezzlementself-testingCuntz algebraquasi-free stateType III factorvon Neumann algebraoperator algebramodular theory
0
0 comments X

The pith

Exact entanglement embezzlement arises from a unique state on the tensor product of two Cuntz algebras.

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

The paper studies bipartite exact entanglement embezzlement protocols that employ a catalyst state vector and unitaries or contractions from von Neumann algebras and their commutants. It proves that every protocol obeying the given summation equation must derive from a unique state on the tensor product of two copies of the Cuntz algebra O_d. This establishes that the protocols self-test for a set of d Cuntz isometries held by each party together with a unique quasi-free state on O_d. The work further shows via modular theory that the von Neumann algebra generated by one copy of O_d equals the unique separable approximately finite-dimensional Type III_λ factor, with the parameter λ fixed by an algebraic condition on the Schmidt coefficients of the state built from the protocol coefficients α_i.

Core claim

Any such protocol must arise from a unique state on the tensor product O_d ⊗ O_d of the Cuntz algebra with itself. As a result, exact entanglement embezzlement is a self-test for a collection of d Cuntz isometries for each party and a unique quasi-free state on the Cuntz algebra O_d in the sense of Iz93. Moreover, the von Neumann algebra generated by the copy of O_d is the unique separable approximately finite-dimensional Type III_λ factor for some 0<λ≤1, where λ can be determined by an algebraic condition on the Schmidt coefficients of the state φ = sum α_i e_i ⊗ e_i.

What carries the argument

The unique state on O_d ⊗ O_d that encodes every protocol of the indicated form and thereby forces the self-testing of the Cuntz isometries together with the quasi-free state.

If this is right

  • Every exact embezzlement protocol is rigidly determined by the Cuntz isometries and the associated quasi-free state.
  • The self-testing property supplies a complete algebraic characterization of the resources used in the protocol.
  • The generated von Neumann algebra must be the unique separable AFD Type III_λ factor whose parameter λ is fixed by the Schmidt coefficients of φ.
  • Modular theory supplies the concrete link between the protocol coefficients and the type classification of the algebra.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may supply a template for proving self-testing statements in other infinite-dimensional quantum information tasks that involve Cuntz algebras.
  • Similar rigidity arguments could connect embezzlement protocols to constructions in quantum field theory, where type III factors arise naturally.
  • One could test whether approximate versions of embezzlement inherit comparable self-testing properties when the exact equality is relaxed to small error.

Load-bearing premise

Every exact embezzlement protocol of interest admits the representation (U ⊗ I_d)(I_d ⊗ V)(e_0 ⊗ ψ ⊗ e_0) = sum α_i e_i ⊗ ψ ⊗ e_i with positive α_i summing to one in squared norm.

What would settle it

An exact embezzlement protocol whose implementing unitaries or contractions produce an output state that cannot be obtained from any state on O_d ⊗ O_d or that generates a von Neumann algebra other than the claimed unique AFD Type III_λ factor.

read the original abstract

We consider bipartite exact entanglement embezzlement with a catalyst state vector $\psi$ in a Hilbert space $\mathcal{H}$ using unitaries (or more generally, contractions). If $\mathcal{M} \subseteq \mathcal{B}(\mathcal{H})$ is a von Neumann algebra and $U \in M_d \otimes \mathcal{M}$ and $V \in \mathcal{M}' \otimes M_d$ are unitaries (or more generally contractions), then such a protocol is of the form $(U \otimes I_d)(I_d \otimes V)(e_0 \otimes \psi \otimes e_0)=\sum_{i=0}^{d-1} \alpha_i e_i \otimes \psi \otimes e_i$, where each $\alpha_i>0$ and $\sum_{i=0}^{d-1} \alpha_i^2=1$. We show that any such protocol must arise from a unique state on the tensor product $\mathcal{O}_d \otimes \mathcal{O}_d$ of the Cuntz algebra with itself. As a result, we prove that exact entanglement embezzlement is a self-test for a collection of $d$ Cuntz isometries for each party and a unique quasi-free state on the Cuntz algebra $\mathcal{O}_d$ in the sense of \cite{Iz93}. Moreover, we use modular theory to show that the von Neumann algebra generated by the copy of $\mathcal{O}_d$ is the unique separable approximately finite-dimensional Type $\text{III}_{\lambda}$ factor for some $0<\lambda \leq 1$, where $\lambda$ can be determined by an algebraic condition on the Schmidt coefficients of the state $\varphi=\sum_{i=0}^{d-1} \alpha_i e_i \otimes e_i$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript claims that any exact entanglement embezzlement protocol of the form (U ⊗ I_d)(I_d ⊗ V)(e_0 ⊗ ψ ⊗ e_0) = ∑ α_i e_i ⊗ ψ ⊗ e_i (with α_i > 0, ∑ α_i² = 1, and U, V unitaries or contractions in the indicated tensor products with a von Neumann algebra M and commutant) must arise from a unique state on the Cuntz algebra tensor product O_d ⊗ O_d. This yields a self-test for d Cuntz isometries per party together with the unique quasi-free state on O_d (in the sense of Iz93). Modular theory is then used to identify the von Neumann algebra generated by the copy of O_d as the unique separable approximately finite-dimensional Type III_λ factor, with λ fixed by an algebraic condition on the Schmidt coefficients of φ = ∑ α_i e_i ⊗ e_i.

Significance. If the uniqueness identification holds, the result supplies a concrete operator-algebraic self-testing statement for embezzlement that links finite-dimensional protocols to the structure of Cuntz algebras and quasi-free states. The subsequent classification of the generated factor via modular theory would constitute a non-trivial application of Tomita-Takesaki theory to a quantum-information object. The absence of free parameters in the uniqueness claim (once the protocol form is fixed) would be a technical strength.

major comments (1)
  1. [Main uniqueness theorem (the step from the protocol equation to uniqueness on O_d ⊗ O_d)] The derivation that the embezzlement equation forces a unique state on O_d ⊗ O_d (the central step leading to the self-testing statement) does not explicitly verify that the vector e_0 ⊗ ψ ⊗ e_0 is cyclic for the joint action of the Cuntz generators or that the representation is irreducible on the support of ψ. Without this cyclicity or irreducibility argument, other states on O_d ⊗ O_d could reproduce the same marginal conditions on the embezzlement subspace. This gap is load-bearing for both the self-testing claim and the subsequent identification of the generated von Neumann algebra as the unique separable AFD Type III_λ factor.
minor comments (2)
  1. [Abstract] The abstract introduces the state φ without a preceding definition; a brief parenthetical reminder of its Schmidt form would improve readability for readers who begin with the abstract.
  2. [References] The reference to Iz93 should include the full bibliographic details (title, journal, year) rather than the shorthand citation alone.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying a potential gap in the central uniqueness argument. We address the concern directly below and will strengthen the proof in revision.

read point-by-point responses

  1. Referee: [Main uniqueness theorem (the step from the protocol equation to uniqueness on O_d ⊗ O_d)] The derivation that the embezzlement equation forces a unique state on O_d ⊗ O_d (the central step leading to the self-testing statement) does not explicitly verify that the vector e_0 ⊗ ψ ⊗ e_0 is cyclic for the joint action of the Cuntz generators or that the representation is irreducible on the support of ψ. Without this cyclicity or irreducibility argument, other states on O_d ⊗ O_d could reproduce the same marginal conditions on the embezzlement subspace. This gap is load-bearing for both the self-testing claim and the subsequent identification of the generated von Neumann algebra as the unique separable AFD Type III_λ factor.

    Authors: We agree that an explicit cyclicity and irreducibility argument is required for a fully rigorous uniqueness statement. In the current draft the uniqueness is derived from the fact that the protocol equation forces the operators to satisfy the Cuntz relations together with the quasi-free state condition on the generators, but the cyclicity of e_0 ⊗ ψ ⊗ e_0 for the joint action is used implicitly rather than proved in a separate step. In the revised manuscript we will add a dedicated lemma (placed immediately before the uniqueness theorem) that establishes the required cyclicity: repeated application of the Cuntz generators, conjugated by the unitaries U and V appearing in the protocol, produces a dense subspace of the support of ψ. Irreducibility on that support follows from the positivity of all Schmidt coefficients α_i and the resulting full-rank property of the associated state φ. With this addition the uniqueness of the state on O_d ⊗ O_d is secured, and the subsequent identification of the generated von Neumann algebra as the unique separable AFD Type III_λ factor remains valid. revision: yes

Circularity Check

0 steps flagged

No circularity: uniqueness derived from protocol equation via Cuntz relations and modular theory

full rationale

The derivation begins from the explicit embezzlement equation (U ⊗ I_d)(I_d ⊗ V)(e_0 ⊗ ψ ⊗ e_0) = ∑ α_i e_i ⊗ ψ ⊗ e_i and shows that any protocol of this form arises from a unique state on O_d ⊗ O_d. This is a direct consequence of the Cuntz isometry relations and the assumed action on the indicated vector; the quasi-free state identification references Iz93 externally rather than defining it internally. The Type III_λ factor claim follows from standard modular theory applied to the generated von Neumann algebra once the state is fixed. No step renames a fitted quantity as a prediction, imports uniqueness via self-citation, or reduces the central claim to a tautology by construction. The result is self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard background results in operator algebras together with one external citation for the quasi-free state; no free parameters or new postulated entities are introduced in the abstract.

axioms (3)
  • standard math Standard properties of von Neumann algebras, their commutants, and tensor products
    Invoked when defining M, M', and the action of U and V.
  • domain assumption Existence and uniqueness properties of quasi-free states on the Cuntz algebra O_d
    Cited from Iz93 and used to identify the self-tested state.
  • standard math Tomita-Takesaki modular theory for von Neumann algebras
    Used to classify the generated algebra as a unique separable AFD Type III_λ factor.

pith-pipeline@v0.9.0 · 5855 in / 1772 out tokens · 59629 ms · 2026-05-22T03:11:49.469774+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Araki and E.J

    H. Araki and E.J. Woods,A classification of factors, Publ. RIMS, Kyoto University Series A3(1968), 51–130

    work page 1968

  2. [2]

    Archbold, A

    R. Archbold, A. Lazar, S.-K. Tsui, and S. Wright,Factor state extensions of Type III, Journal of Functional Analysis95(1991), 219–230

    work page 1991

  3. [3]

    Cleve, L

    R. Cleve, L. Liu, and V.I. Paulsen,Perfect embezzlement of entanglement, Journal of Mathematical Physics58(2017), no. 1, 012204

    work page 2017

  4. [4]

    Connes,Une classification des facteurs de type III, Annales Scientifiques de l’ ´ENS, 4e s´ erie6(1973), no

    A. Connes,Une classification des facteurs de type III, Annales Scientifiques de l’ ´ENS, 4e s´ erie6(1973), no. 2, 133–252

    work page 1973

  5. [5]

    ,Classification of injective factors, cases II 1, II ∞, III λ,λ̸= 1, Annals of Mathematics104 (1976), 73–115

    work page 1976

  6. [6]

    Cuntz,SimpleC ∗-algebras generated by isometries, Communications in Mathematical Physics57 (1977), 173–185

    J. Cuntz,SimpleC ∗-algebras generated by isometries, Communications in Mathematical Physics57 (1977), 173–185

    work page 1977

  7. [7]

    Davidson,C ∗-algebras by example, Fields Institute Monographs, vol

    K.R. Davidson,C ∗-algebras by example, Fields Institute Monographs, vol. 6, American Mathematical Society, 1996

    work page 1996

  8. [8]

    Haagerup,The standard form of von Neumann algebras, Mathematica Scandinavica37(1975), 271– 283

    U. Haagerup,The standard form of von Neumann algebras, Mathematica Scandinavica37(1975), 271– 283

    work page 1975

  9. [9]

    ,Connes’ bicentralizer problem and uniqueness of the injective factor of Type III 1, Acta Mathe- matica158(1987), 95–148

    work page 1987

  10. [10]

    Harris,A non-commutative unitary analogue of Kirchberg’s conjecture, Indiana University Mathe- matics Journal68(2019), no

    S.J. Harris,A non-commutative unitary analogue of Kirchberg’s conjecture, Indiana University Mathe- matics Journal68(2019), no. 2, 503–536

    work page 2019

  11. [11]

    Harris and V.I

    S.J. Harris and V.I. Paulsen,Unitary correlation sets, Integral Equations and Operator Theory89 (2017), no. 1, 125–149

    work page 2017

  12. [12]

    Izumi,Subalgebras of infiniteC ∗-algebras with finite Watatani index, I

    M. Izumi,Subalgebras of infiniteC ∗-algebras with finite Watatani index, I. Cuntz Algebras, Communi- cations in Mathematical Physics155(1993), 157–182

    work page 1993

  13. [13]

    Kadison and J.R

    R.V. Kadison and J.R. Ringrose,Fundamentals of the theory of operator algebras, II, Academic Press, San Diego, 1986

    work page 1986

  14. [14]

    K. Kawamura,Classification and realizations of Type III factor representations of Cuntz-Krieger algebras associated with quasi-free states, Letters in Mathematical Physics87(2009), 199–207

    work page 2009

  15. [15]

    Leung, B

    D. Leung, B. Toner, and J. Watrous,Coherent state exchange in multi-prover quantum interactive proof systems, Chicago Journal of Theoretical Computer Science2013(2013), no. 11

    work page 2013

  16. [16]

    Liu,ExplicitC ∗-algebraic protocol for exact universal embezzlement of entanglement, preprint (arXiv:2506.10736) (2025)

    L. Liu,ExplicitC ∗-algebraic protocol for exact universal embezzlement of entanglement, preprint (arXiv:2506.10736) (2025)

    work page arXiv 2025

  17. [17]

    van Luijk, A

    L. van Luijk, A. Stottmeister, R.F. Werner, and H. Wilming,Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras, preprint (arXiv:2401.07299) (2024)

    work page arXiv 2024

  18. [18]

    van Luijk, A

    L. van Luijk, A. Stottmeister, and H. Wilming,Multipartite embezzlement of entanglement, Quantum 9(2025), 1818

    work page 2025

  19. [19]

    Paddock, W

    C. Paddock, W. Slofstra, Y. Zhao, and Y. Zhou,An operator-algebraic formulation of self-testing, An- nales Henri Poincar´ e25(2024), 4283–4319

    work page 2024

  20. [20]

    Paulsen,Completely bounded maps and operator algebras, Vol

    V.I. Paulsen,Completely bounded maps and operator algebras, Vol. 78, Cambridge University Press, 2002. SELF-TESTING FOR EXACT ENTANGLEMENT EMBEZZLEMENT 31

    work page 2002

  21. [21]

    Okayasu,Type III factors arising from Cuntz-Krieger algebras, Proceedings of the American Math- ematical Society131(2002), no

    R. Okayasu,Type III factors arising from Cuntz-Krieger algebras, Proceedings of the American Math- ematical Society131(2002), no. 7, 2145–2153

    work page 2002

  22. [22]

    Sunder,An invitation to von Neumann algebras, Universitext, Springer-Verlag, 1987

    V.S. Sunder,An invitation to von Neumann algebras, Universitext, Springer-Verlag, 1987

    work page 1987

  23. [23]

    Str˘ atil˘ a,Modular theory in operator algebras, Abacus Press, 1981

    S. Str˘ atil˘ a,Modular theory in operator algebras, Abacus Press, 1981

    work page 1981

  24. [24]

    Takesaki,Theory of Operator Algebras II, Encyclopaedia of Mathematical Sciences, vol

    M. Takesaki,Theory of Operator Algebras II, Encyclopaedia of Mathematical Sciences, vol. 125, Springer-Verlag, 2003

    work page 2003

  25. [25]

    van Dam and P

    W. van Dam and P. Hayden,Universal entanglement transformations without communication, Physical Review Letters A67(2003), 060302. Northern Arizona University, Department of Mathematics & Statistics, 801 S. Os- borne Dr., Flagstaff, AZ 86011 USA Email address:samuel.harris@nau.edu

    work page 2003