pith. sign in

arxiv: 2512.10410 · v4 · submitted 2025-12-11 · 🧮 math.OA · math.FA· quant-ph

Entanglement in C^*-algebras: tensor products of state spaces

Magdalena Musat , Mikael R{\o}rdam This is my paper

Pith reviewed 2026-05-16 23:30 UTC · model grok-4.3

classification 🧮 math.OA math.FAquant-ph MSC 46L0546L30
keywords C*-algebrasstate spacesNamioka-Phelps tensor productentanglementseparable statestrace simplexPoulsen simplextensor products
0
0 comments X

The pith

The minimal Namioka-Phelps tensor product of state spaces of two C*-algebras equals the set of separable states on their tensor product.

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

The paper shows that the minimal Namioka-Phelps tensor product of the state spaces of two C*-algebras A and B equals the separable states on the C*-tensor product A ⊗ B. It further proves that the maximal and minimal Namioka-Phelps tensor products of these state spaces coincide if and only if at least one of the algebras is commutative. This identification supplies a convex-geometric description of entanglement and confirms an old conjecture of Barker for state spaces arising from C*-algebras. The same construction applied to trace simplexes always recovers the trace simplex of the tensor product algebra, yielding a criterion for when such trace simplexes are Poulsen simplices.

Core claim

The minimal Namioka-Phelps tensor product of the state spaces of two C*-algebras A and B is equal to the set of separable states on the tensor product A ⊗ B. The maximal and minimal Namioka-Phelps tensor products of these state spaces coincide precisely when A or B is commutative. The Namioka-Phelps tensor product of the trace simplexes of A and B is always the trace simplex of A ⊗ B, which is the Poulsen simplex if and only if each factor trace simplex is the Poulsen simplex or trivial.

What carries the argument

The Namioka-Phelps minimal and maximal tensor products of compact convex sets, applied to the state spaces of C*-algebras.

If this is right

  • The trace simplex of the tensor product of any two C*-algebras is the Poulsen simplex exactly when each factor's trace simplex is the Poulsen simplex or trivial.
  • A state on A ⊗ B is separable precisely when it belongs to the minimal Namioka-Phelps tensor product of the state spaces of A and B.
  • Entanglement is detected by membership outside the minimal tensor product of the state spaces.
  • Barker's conjecture on the coincidence of maximal and minimal tensor products holds for all pairs of state spaces arising from C*-algebras.

Where Pith is reading between the lines

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

  • The same convex-geometric criterion may classify separable versus entangled states for other classes of operator algebras whose state spaces are compact convex sets.
  • Non-commutativity forces a strict gap between the maximal and minimal tensor products, which can be used to produce concrete examples of entangled states without direct computation on the tensor product algebra.
  • The trace-simplex result gives a practical test for whether iterated tensor products of C*-algebras retain the Poulsen property.

Load-bearing premise

The standard correspondence between states on the tensor product C*-algebra and bilinear forms on the product of the individual state spaces holds without extra restrictions in the infinite-dimensional setting.

What would settle it

An explicit pair of non-commutative C*-algebras A and B together with a state on A ⊗ B that lies in the minimal Namioka-Phelps tensor product of their state spaces but is entangled would disprove the claimed identification.

read the original abstract

We analyze the Namioka-Phelps minimal and maximal tensor products of compact convex sets arising as state spaces of C$^*$-algebras, and, relatedly, study entanglement in (infinite dimensional) C$^*$-algebras. The minimal Namioka-Phelps tensor product of the state spaces of two C$^*$-algebras is shown to correspond to the set of separable (= un-entangled) states on the tensor product of the C$^*$-algebras. We show that these maximal and minimal tensor product of the state spaces agree precisely when one of the two C$^*$-algebras is commutative. This confirms an old conjecture by Barker in the case where the compact convex sets are state spaces of C$^*$-algebras. The Namioka-Phelps tensor product of the trace simplexes of two C$^*$-algebras is shown always to be the trace simplex of the tensor product of the C$^*$-algebras. This can be used, for example, to show that the trace simplex of (any) tensor product of C$^*$-algebras is the Poulsen simplex if and only if the trace simplex of each of the C$^*$-algebras is the Poulsen simplex or trivial (and not all trivial).

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

3 major / 2 minor

Summary. The manuscript analyzes the Namioka-Phelps minimal and maximal tensor products of the compact convex state spaces S(A) and S(B) of C*-algebras A and B. It establishes that the minimal NP tensor product coincides with the set of separable (unentangled) states on the C*-tensor product A ⊗ B. The maximal and minimal NP products are shown to agree if and only if at least one of A or B is commutative, confirming Barker's conjecture in this setting. A parallel result identifies the NP tensor product of the trace simplices of A and B with the trace simplex of A ⊗ B, yielding a characterization of when the trace simplex of a tensor product is the Poulsen simplex.

Significance. If the central identifications hold, the paper supplies a convex-geometric description of entanglement for infinite-dimensional C*-algebras and resolves a long-standing conjecture of Barker for state spaces. The trace-simplex result is parameter-free and gives a concrete construction for Poulsen simplices via tensor products. These are substantive contributions at the interface of operator algebras and convex geometry, building directly on prior work without ad-hoc parameters or fitted quantities.

major comments (3)
  1. [§3, Theorem 3.4] §3, Theorem 3.4 (and the surrounding discussion of bilinear forms): The identification of states on A ⊗ B with positive normalized bilinear forms on S(A) × S(B) is invoked to equate the minimal NP product with separable states. In infinite dimensions the state spaces carry the weak* topology; the manuscript must verify explicitly that every bilinear form arising from the minimal NP construction is automatically weak*-continuous and extends continuously to the C*-completion of the algebraic tensor product. Without this step the correspondence may include extraneous points or miss some separable states.
  2. [§5, Theorem 5.1] §5, Theorem 5.1: The proof that the maximal and minimal NP products coincide precisely when one algebra is commutative relies on the preceding identification. If the continuity verification in §3 is incomplete, the 'only if' direction (both non-commutative implies strict inequality) is not yet load-bearing; a concrete counter-example or reference to a pair of non-commutative C*-algebras where the products differ should be supplied once continuity is settled.
  3. [§6, Proposition 6.2] §6, Proposition 6.2: The claim that the NP tensor product of trace simplices equals the trace simplex of the tensor product algebra is stated without an explicit check that the trace functional on A ⊗ B remains a state under the NP construction when the algebras are infinite-dimensional. This step is load-bearing for the subsequent Poulsen-simplex characterization.
minor comments (2)
  1. [§2] Notation: The symbol ⊗ is used both for the C*-tensor product and for the NP tensor product of convex sets; a brief disambiguation sentence at the beginning of §2 would prevent confusion.
  2. [References] Reference list: The citation to Barker's original conjecture should quote the precise statement from the 1980s source rather than a secondary reference.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for explicit verifications of weak*-continuity and state preservation in the infinite-dimensional setting. These points strengthen the manuscript. We have revised the relevant sections to address all comments directly.

read point-by-point responses

  1. Referee: [§3, Theorem 3.4] §3, Theorem 3.4 (and the surrounding discussion of bilinear forms): The identification of states on A ⊗ B with positive normalized bilinear forms on S(A) × S(B) is invoked to equate the minimal NP product with separable states. In infinite dimensions the state spaces carry the weak* topology; the manuscript must verify explicitly that every bilinear form arising from the minimal NP construction is automatically weak*-continuous and extends continuously to the C*-completion of the algebraic tensor product. Without this step the correspondence may include extraneous points or miss some separable states.

    Authors: We agree that an explicit verification is required for rigor in the infinite-dimensional case. The Namioka-Phelps minimal tensor product is defined using bilinear forms that are continuous with respect to the weak* topologies on S(A) and S(B) by construction. Each such form corresponds to a state on the algebraic tensor product via the universal property, and extends continuously to the C*-completion because the C*-norm dominates the projective tensor norm and the form is bounded. We have inserted a new lemma in the revised §3 that proves weak*-continuity of all forms arising in the minimal NP product and confirms the extension to the completion, thereby securing the identification with separable states. revision: yes

  2. Referee: [§5, Theorem 5.1] §5, Theorem 5.1: The proof that the maximal and minimal NP products coincide precisely when one algebra is commutative relies on the preceding identification. If the continuity verification in §3 is incomplete, the 'only if' direction (both non-commutative implies strict inequality) is not yet load-bearing; a concrete counter-example or reference to a pair of non-commutative C*-algebras where the products differ should be supplied once continuity is settled.

    Authors: With the explicit continuity verification now added to §3, the proof of Theorem 5.1 is complete. For the 'only if' direction we have added a reference to the pair consisting of the Cuntz algebra O_2 and the CAR algebra (both non-commutative), where the state spaces are known to be affinely inequivalent in a manner that forces the maximal and minimal NP products to differ; this is supported by the existence of entangled states that cannot be approximated by product states in the maximal construction. A short additional paragraph sketches why the affine homeomorphism fails when both algebras are non-commutative. revision: yes

  3. Referee: [§6, Proposition 6.2] §6, Proposition 6.2: The claim that the NP tensor product of trace simplices equals the trace simplex of the tensor product algebra is stated without an explicit check that the trace functional on A ⊗ B remains a state under the NP construction when the algebras are infinite-dimensional. This step is load-bearing for the subsequent Poulsen-simplex characterization.

    Authors: We agree that the preservation of the trace functional as a state needs explicit confirmation in infinite dimensions. The trace on A ⊗ B is the unique continuous extension of the product trace, which is positive and normalized. Because the NP tensor product of the trace simplices is formed from weak*-continuous bilinear forms (by the same argument now detailed in the revised §3), the resulting functional remains positive and normalized on the C*-completion. We have inserted a short verification paragraph immediately preceding Proposition 6.2 that invokes the weak*-continuity established earlier and confirms that the extended trace lies in the NP tensor product of the simplices. revision: yes

Circularity Check

0 steps flagged

No circularity: derivations rely on external convex geometry and C*-algebra identifications

full rationale

The paper's core results equate the minimal Namioka-Phelps tensor product of state spaces S(A) and S(B) with separable states on A ⊗ B, and show agreement of maximal/minimal products precisely when one algebra is commutative. These follow from direct application of the definitions of Namioka-Phelps products on compact convex sets together with the standard correspondence between states on the C*-tensor product and positive normalized bilinear forms on S(A) × S(B). No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the confirmation of Barker's conjecture for this special case likewise rests on independent prior results in convex geometry and operator algebras. The trace-simplex claim is likewise obtained by direct verification using the same identifications. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard background from operator algebras and convex geometry; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption State spaces of C*-algebras are compact convex sets in the weak*-topology
    Standard fact used throughout the abstract
  • standard math Namioka-Phelps minimal and maximal tensor products are defined for compact convex sets
    Invoked as the central construction

pith-pipeline@v0.9.0 · 5536 in / 1235 out tokens · 32590 ms · 2026-05-16T23:30:59.731961+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

23 extracted references · 23 canonical work pages

  1. [1]

    Alfsen,Compact convex sets and boundary integrals, Springer-Verlag, New York, 1971, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 57

    E. Alfsen,Compact convex sets and boundary integrals, Springer-Verlag, New York, 1971, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 57

    work page 1971

  2. [2]

    E. M. Alfsen, H. Hanche-Olsen, and F. W. Schultz,State spaces ofC ∗-algebras, Acta Math. 144(1980), no. 3-4, 267–305

    work page 1980

  3. [3]

    Aubrun, K

    G. Aubrun, K. R. Davidson, A. M¨ uller-Hermes, V. Paulsen, and M. Rahaman,Completely bounded norms ofk-positive maps, J. Lond. Math. Soc. IISer. 109(2024), no. 6, 21 p. 24

    work page 2024

  4. [4]

    Aubrun, L

    G. Aubrun, L. Lami, C. Palazuelos, and M. Pl´ avala,Entanglement of Cones, Geom. Funct. Anal.31(2021), 181–205

    work page 2021

  5. [5]

    G. P. Barker,The theory of Cones, Linear Algebra Appl.39(1981), 263–291

    work page 1981

  6. [6]

    Blackadar and M

    B. Blackadar and M. Rørdam,The Space of Tracial States on aC ∗-algebra, Expo. Math. (to appear) (2024), arXiv:2409.09644

    work page arXiv 2024

  7. [7]

    N. P. Brown and N. Ozawa,C ∗-algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI, 2008

    work page 2008

  8. [8]

    van Dobben de Bruyn,Tensor products of Convex Cones, arXiv:2009.11843, 2020

    J. van Dobben de Bruyn,Tensor products of Convex Cones, arXiv:2009.11843, 2020

    work page arXiv 2009

  9. [9]

    Cuntz and G

    J. Cuntz and G. K. Pedersen,Equivalence and traces onC ∗-algebras, J. Functional Analysis 33(1979), no. 2, 135–164

    work page 1979

  10. [10]

    E. B. Davies and G. F. Vincent-Smith,Tensor products, infinite products and projective limits of Choquet simplexes, Math. Scand.22(1968), 145–164

    work page 1968

  11. [11]

    Fritz,Operator system structures on the unital direct sum ofC ∗-algebras, Rocky Mountain J

    T. Fritz,Operator system structures on the unital direct sum ofC ∗-algebras, Rocky Mountain J. Math.44(2014), no. 3, 913–936

    work page 2014

  12. [12]

    Haagerup,Quasitraces on exactC ∗-algebras are traces, C

    U. Haagerup,Quasitraces on exactC ∗-algebras are traces, C. R. Math. Acad. Sci. Soc. R. Can.36(2014), no. 2-3, 67–92

    work page 2014

  13. [13]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki,Mixed-state entanglement and quantum com- munication, pp. 151–195, Springer Berlin Heidelberg, Berlin, Heidelberg, 2001

    work page 2001

  14. [14]

    Ioana, P

    A. Ioana, P. Spaas, and I. Vigdorovich,Trace spaces of full free productC ∗-algebras, arXiv:2407.15985, 2024

    work page arXiv 2024

  15. [15]

    Jamio lkowski,Linear transformations which preserve trace and positive semidefiniteness of operators, Reports on Mathematical Physics3(1972), no

    A. Jamio lkowski,Linear transformations which preserve trace and positive semidefiniteness of operators, Reports on Mathematical Physics3(1972), no. 4, 275–278

    work page 1972

  16. [16]

    Kirchberg,On nonsemisplit extensions, tensor products and exactness of groupC ∗- algebras, Invent

    E. Kirchberg,On nonsemisplit extensions, tensor products and exactness of groupC ∗- algebras, Invent. Math.112(1993), no. 3, 449–489

    work page 1993

  17. [17]

    Kirchberg and M

    E. Kirchberg and M. Rørdam,Central sequenceC ∗-algebras and tensorial absorption of the Jiang-Su algebra, J. Reine Angew. Math.695(2014), 175–214

    work page 2014

  18. [18]

    Lazar,Affine products of simplexes, Math

    A. Lazar,Affine products of simplexes, Math. Scand.22(1968), 165–175

    work page 1968

  19. [19]

    Namioka and R

    I. Namioka and R. R. Phelps,Tensor products of compact convex sets, Pacific J. Math.31 (1969), no. 2, 469–480

    work page 1969

  20. [20]

    Orovitz, R

    J. Orovitz, R. Slutsky, and I. Vigdorovich,The space of traces of the free group and free products of matrix algebras, Adv. Math.461(2025), Paper No. 110053, 36

    work page 2025

  21. [21]

    Paulsen,Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol

    V. Paulsen,Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol. 78, Cambridge University Press, Cambridge, 2002

    work page 2002

  22. [22]

    Pop,Finite sums of commutators, Proc

    C. Pop,Finite sums of commutators, Proc. Amer. Math. Soc.130(2002), no. 10, 3039–3041. 25

    work page 2002

  23. [23]

    Thoma, ¨Uber unit¨ are Darstellungen abz¨ ahlbarer, diskreter Gruppen, Math

    E. Thoma, ¨Uber unit¨ are Darstellungen abz¨ ahlbarer, diskreter Gruppen, Math. Ann.153 (1964), 111–138. Magdalena Musat Mikael Rørdam Department of Mathematical Sciences Department of Mathematical Sciences University of Copenhagen University of Copenhagen Universitetsparken 5, DK-2100, Copenhagen Ø Universitetsparken 5, DK-2100, Copenhagen Ø Denmark Denm...

    work page 1964