pith. sign in

arxiv: 2506.13512 · v4 · submitted 2025-06-16 · 🧮 math.OA · math-ph· math.FA· math.MP

Real Non-Commutative Convexity I

David P. Blecher , Caleb McClure This is my paper

Pith reviewed 2026-05-19 09:24 UTC · model grok-4.3

classification 🧮 math.OA math-phmath.FAmath.MP
keywords real noncommutative convexitync convex setsreal operator systemscomplexificationoperator algebrasconvexity theory
0
0 comments X

The pith

Real noncommutative convex sets admit a direct foundational theory parallel to the complex case, complete with structural results for real operator systems and the new notion of their complexification.

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

This paper initiates the theory of real noncommutative convex sets as the real counterpart to the complex theory of Davidson and Kennedy. It develops infrastructure including many foundational structural results for real operator systems and their associated nc convex sets. The work examines how complexification interacts with the basic constructions of convexity theory. Several new features appear in the real case, most notably the complexification of a nc convex set itself.

Core claim

We develop the infrastructure of real nc convexity, giving many foundational structural results for real operator systems and their associated nc convex sets, and elucidate how the complexification interacts with the basic convexity theory constructions, with several new features appearing in the real case including the novel notion of the complexification of a nc convex set.

What carries the argument

The complexification of a nc convex set, which embeds a real nc convex set into a complex one while preserving the convexity structure and revealing new real-specific features.

If this is right

  • Real operator systems possess associated nc convex sets equipped with structural results directly analogous to the complex setting.
  • Complexification operations commute or interact in controlled ways with the core constructions of nc convexity.
  • The real case introduces genuinely new objects, such as the complexification of an nc convex set, absent from the complex theory.
  • Later papers in the series will extend these foundations to the remaining topics from the original complex memoir.

Where Pith is reading between the lines

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

  • This real framework could support direct study of convexity questions arising in real quantum information or real C*-algebras without passing through complexification at every step.
  • Separation theorems or nc convex hulls defined over the reals may now be investigated using the same infrastructure.
  • The new complexification construction suggests a functorial relationship between real and complex nc convex sets that might extend to other noncommutative geometric objects.

Load-bearing premise

The complex nc convexity theory admits a direct or analogous development in the real setting that produces meaningful foundational structural results and new features such as the complexification of nc convex sets.

What would settle it

Finding a basic structural theorem from the complex theory that has no workable real analog, or constructing a real nc convex set whose complexification fails to interact correctly with the convexity operations.

read the original abstract

We initiate the theory of real noncommutative (nc) convex sets, the real case of the recent and profound complex theory developed by Davidson and Kennedy. The present paper focuses on the real case of the topics from the first several sections of their Memoir. Later results will be discussed in future papers. We develop here some of the infrastructure of real nc convexity, giving many foundational structural results for real operator systems and their associated nc convex sets, and elucidate how the complexification interacts with the basic convexity theory constructions. Several new features appear in the real case, including the novel notion of the complexification of a nc convex set.

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

0 major / 3 minor

Summary. The paper initiates the theory of real noncommutative (nc) convex sets as the real analogue of the complex nc convexity theory developed by Davidson and Kennedy. It develops foundational infrastructure for real operator systems and their associated nc convex sets, provides structural results on extreme points, faces, and duality, and examines how complexification interacts with these constructions. New features in the real case are highlighted, including the novel notion of the complexification of an nc convex set, with definitions via real completely positive maps and explicit verification of compatibility.

Significance. If the results hold, this establishes essential foundational results for real nc convexity, extending recent complex theory to the real setting in a compatible way. The parallel development of proofs for structural results and the introduction of the complexification construction as a new object represent clear strengths, providing reproducible and falsifiable elements in the real operator system context. This infrastructure could support further work on real C*-algebras and related convexity questions.

minor comments (3)
  1. [Introduction] §1 (Introduction): the reference to the Davidson-Kennedy Memoir should include the full bibliographic details (title, journal or series, year) rather than a general citation to ensure readers can locate the complex case immediately.
  2. [Section 2] Definition 2.3: the notation for real completely positive maps could be clarified with an explicit comparison to the complex case to highlight where the real structure modifies the standard definition.
  3. [Section 4] Theorem 4.1: the statement on faces would benefit from a brief remark on how the real extreme point characterization differs from the complex one, even if the proof is parallel.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of the manuscript, which correctly identifies the foundational contributions to real nc convexity and the role of complexification. We appreciate the recommendation for minor revision and will use the opportunity to improve exposition and correct any minor issues.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper initiates real nc convexity by adapting the external Davidson-Kennedy complex theory to real operator systems, defining nc convex sets via real completely positive maps and proving foundational results on extreme points, faces, and duality in parallel. The complexification of an nc convex set is introduced as a novel construction. No self-definitional reductions, fitted inputs presented as predictions, or load-bearing self-citations appear; all central claims rest on independent proofs and external benchmarks rather than internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

Abstract provides insufficient detail to enumerate specific free parameters or background axioms; the primary addition appears to be the new postulated concept of complexification for nc convex sets.

invented entities (1)
  • complexification of a nc convex set no independent evidence
    purpose: To capture interactions between real nc convex sets and their complex counterparts in the convexity theory
    Described explicitly as a novel notion that appears in the real case.

pith-pipeline@v0.9.0 · 5630 in / 1207 out tokens · 47371 ms · 2026-05-19T09:24:34.772001+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

38 extracted references · 38 canonical work pages

  1. [1]

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

    work page 1971

  2. [2]

    W. B. Arveson,Subalgebras of C˚-algebras, Acta Math. 123 (1969), 141–224

    work page 1969

  3. [3]

    D. P. Blecher,Real operator spaces and operator algebras,Studia Math 275 (2024), 1–40

    work page 2024

  4. [4]

    D. P. Blecher, A. Cecco, and M. Kalantar,Real structure in operator spaces, injec- tive envelopes and G-spaces, J. Integral Eq. Oper. Theory (2024) 96:1 (27 pages) doi 10.1007/s00020-024-02766-7

    work page doi:10.1007/s00020-024-02766-7 2024

  5. [5]

    D. P. Blecher and C. Le Merdy,Operator algebras and their modules—an operator space approach,Oxford Univ. Press, Oxford (2004)

    work page 2004

  6. [6]

    D. P. Blecher and T. Russell,Real operator systems,Preprint (2025)

    work page 2025

  7. [7]

    D. P. Blecher and W. Tepsan,Real operator algebras and real positive maps, J. Integral Equations Operator Theory90 (2021), no. 5, Paper No. 49, 33 pp

    work page 2021

  8. [8]

    Chiribella, K

    G. Chiribella, K. R. Davidson, V. I. Paulsen and M. Rahaman,Counterexamples to the extendibility of positive unital norm-one maps, Linear Algebra Appl. 663 (2023), 102–115

    work page 2023

  9. [9]

    Chiribella, K

    G. Chiribella, K. R. Davidson, V. I. Paulsen and M. Rahaman,Positive maps and entanglement in real Hilbert spaces, Ann. Henri Poincaré24 (2023), 4139–4168

    work page 2023

  10. [10]

    Choi and E

    M.-D. Choi and E. G. Effros,Injectivity and operator spaces,J. Funct. Anal.24 (1977), 156–209

    work page 1977

  11. [11]

    K. R. Davidson and M. Kennedy,Noncommutative Choquet theory,Preprint (2024), to appear Memoirs of the American Mathematical Society (arXiv:1905.08436v4)

    work page arXiv 2024

  12. [12]

    K. R. Davidson and M. Kennedy,Noncommutative Choquet theory: a survey,Preprint (2024) (arXiv:2412.09455)

    work page arXiv 2024

  13. [13]

    E. G. Effros and S. Winkler,Matrix convexity: operator analogues of the bipolar and Hahn-Banach theorems,J. Funct. Analysis144 (1997), 117–152

    work page 1997

  14. [14]

    Evert,Free extreme points span generalized free spectrahedra given by compact coef- ficients, Preprint (2023), arXiv:2302.07382

    E. Evert,Free extreme points span generalized free spectrahedra given by compact coef- ficients, Preprint (2023), arXiv:2302.07382

    work page arXiv 2023

  15. [15]

    Evert and W

    E. Evert and W. J. Helton,Arveson extreme points span free spectrahedra,Math. Ann. 375 (2019), 629–653

    work page 2019

  16. [16]

    W. J. Helton, I. Klep and S. McCullough,The tracial Hahn-Banach theorem, polar du- als, matrix convex sets, and projections of free spectrahedra,J. Eur. Math. Soc. (JEMS) 19 (2017), 1845–1897. 40 DA VID P. BLECHER AND CALEB MCCLURE

    work page 2017

  17. [17]

    Humeniuk, M

    A. Humeniuk, M. Kennedy, N. Manor,An extension property for noncommutative con- vex sets and duality for operator systems,preprint (2023), arXiv:2312.04791

    work page arXiv 2023

  18. [18]

    Johnston, D

    N. Johnston, D. Kribs, V. Paulsen, and R. Pereira,Minimal and maximal operator spaces and operator systems in entanglement theory, Journal of Functional Analysis, 260 (2011), 2407–2423

    work page 2011

  19. [19]

    M. Jury, I. Klep, M. E. Mancuso, S. McCullough and J. Pascoe,Noncommutative partial convexity via Γ -convexity, J. Geom. Anal.31 (2021), 31373160

    work page 2021

  20. [20]

    R. V. Kadison, and J. R. Ringrose,Fundamentals of the theory of operator algebras. Vol. I. Elementary theory.Reprint of the 1983 original. Graduate Studies in Mathematics,

    work page 1983

  21. [21]

    American Mathematical Society, Providence, RI, 1997

    work page 1997

  22. [22]

    Kennedy, S

    M. Kennedy, S. Kim and N. Manor,Nonunital operator systems and noncommuta- tive convexity,Preprint (2021), to appear International Mathematical Research Notices (arXiv:2101.02622)

    work page arXiv 2021

  23. [23]

    Kennedy and E

    M. Kennedy and E. Shamovich,Noncommutative Choquet simplices,Mathematische Annalen 382 (2022), 1591–1629

    work page 2022

  24. [24]

    I. Klep, S. McCullough and T. Strekelj,Duality, extreme points and hulls for noncom- mutative partial convexity,preprint (2024), arXiv:2412.13267

    work page arXiv 2024

  25. [25]

    Li,Real operator algebras,World Scientific, River Edge, N.J., 2003

    B. Li,Real operator algebras,World Scientific, River Edge, N.J., 2003

    work page 2003

  26. [26]

    Moslehian, G.A

    M.S. Moslehian, G.A. Muñoz-Fernández, A.M. Peralta, J.B. Seoane-Sepúlveda,Simi- larities and differences between real and complex Banach spaces: an overview and recent developments, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat.116 (2022), Paper No. 88

    work page 2022

  27. [27]

    Passer, O

    B. Passer, O. M. Shalit and B. Solel,Minimal and maximal matrix convex sets,J. Funct. Analysis274 (2018), 3197–3253

    work page 2018

  28. [28]

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

    work page 2002

  29. [29]

    V. I. Paulsen and M. Tomforde,Vector spaces with an order unit,Indiana University Journal of Mathematics,58 (2009), 1319–1359

    work page 2009

  30. [30]

    V. I. Paulsen, I. G. Todorov and M. Tomforde,Operator system structures on ordered spaces, Proc. of the London Math. Soc.102 (2011), 25–49

    work page 2011

  31. [31]

    1757, Springer-Verlag, Berlin, 2001

    R..Phelps, Lectures on Choquet’s Theorem,2ndedition,LectureNotesinMathematics, vol. 1757, Springer-Verlag, Berlin, 2001

    work page 2001

  32. [32]

    Rosenberg,Structure and application of real C˚-algebras, Contemporary Mathemat- ics, 671 (2016), 235–258

    J. Rosenberg,Structure and application of real C˚-algebras, Contemporary Mathemat- ics, 671 (2016), 235–258

    work page 2016

  33. [33]

    Ruan,On real operator spaces,Acta Mathematica Sinica,19 (2003), 485–496

    Z-J. Ruan,On real operator spaces,Acta Mathematica Sinica,19 (2003), 485–496

    work page 2003

  34. [34]

    Ruan,Complexifications of real operator spaces,Illinois Journal of Mathematics, 47 (2003), 1047–1062

    Z-J. Ruan,Complexifications of real operator spaces,Illinois Journal of Mathematics, 47 (2003), 1047–1062

    work page 2003

  35. [35]

    Sharma, Real operator algebras and real completely isometric theory,Positivity 18 (2014), 95–118

    S. Sharma, Real operator algebras and real completely isometric theory,Positivity 18 (2014), 95–118

    work page 2014

  36. [36]

    Webster and S

    C. Webster and S. Winkler,The Krein-Milman theorem in operator convexity,Trans. Amer. Math. Soc.351 (1999), 307–322

    work page 1999

  37. [37]

    Wittstock,On matrix order and convexity,Functional analysis: surveys and recent results, III (Paderborn, 1983), 175–188, North-Holland Math

    G. Wittstock,On matrix order and convexity,Functional analysis: surveys and recent results, III (Paderborn, 1983), 175–188, North-Holland Math. Stud., 90, Notas Mat., 94, North-Holland, Amsterdam, 1984

    work page 1983

  38. [38]

    Xhabli, The super operator system structures and their applications in quantum entanglement theory,Journal of Functional Analysis,262 (2012), 1466–1497

    B. Xhabli, The super operator system structures and their applications in quantum entanglement theory,Journal of Functional Analysis,262 (2012), 1466–1497. REAL NONCOMMUT A TIVE CONVEXITY I 41 Department of Mathematics, University of Houston, Houston, TX 77204- 3008. Email address: dpbleche@central.uh.edu Department of Mathematics, University of Houston, ...

    work page 2012