pith. sign in

arxiv: 2606.02525 · v2 · pith:OOBWMKDSnew · submitted 2026-06-01 · 🧮 math.OA · math.FA

Compact convex sets and bases--classical and noncommutative

David P. Blecher , Christiaan H. Pretorius This is my paper

Pith reviewed 2026-06-28 11:26 UTC · model grok-4.3

classification 🧮 math.OA math.FA
keywords matrix convex setsbase norm spacesoperator systemsnoncommutative convexitycompact convex setsfunction systemslocally convex spaces
0
0 comments X

The pith

Noncommutative dual base norm spaces are the matrix ordered LCTVS's whose level-one base is compact and linear.

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

The paper characterizes abstract compact convex sets and matrix convex sets by constructing, for each such set K, a universal Banach space or operator space X_K. This X_K supplies a concrete base norm space (or nc base norm space) whose base is exactly K, together with a compatible locally convex topology. The construction is then used to obtain several new characterizations of base norm spaces, both classical and noncommutative. Each such characterization dualizes to a corresponding characterization of function systems or operator systems. One concrete outcome is that the complex nc dual base norm spaces are precisely the matrix ordered locally convex topological vector spaces in which the level-one part possesses a compact linear base.

Core claim

Compact matrix convex sets K are characterized via the universal operator space X_K, which realizes the nc base norm space having K as base together with a natural TVS topology. This yields the statement that complex nc dual base norm spaces are exactly the matrix ordered LCTVS's V such that V at level 1 has a linear base which is compact.

What carries the argument

The universal operator space X_K of an abstract matrix convex set K, which supplies the concrete nc base norm space with base K and a natural topology.

If this is right

  • Characterizations of base norm spaces dualize directly to new characterizations of operator systems.
  • The same duality produces corresponding characterizations of function systems in the classical setting.
  • The universal-space construction refines earlier regularity results for both classical and noncommutative convex sets.
  • Base norm spaces arising this way include the duals and preduals of unital C*-algebras and von Neumann algebras.

Where Pith is reading between the lines

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

  • The X_K construction equips abstract bases with topologies that may be compared directly with other operator-space topologies.
  • Duality between base norm spaces and operator systems suggests symmetric statements can be read in either direction.
  • The method supplies a uniform way to pass from abstract convex sets to concrete spaces without first choosing an ambient algebra.

Load-bearing premise

The universal space X_K of an abstract compact convex set K supplies a concrete base norm space with base K together with a natural TVS topology.

What would settle it

A matrix ordered LCTVS whose level-one base is compact and linear yet fails to be an nc dual base norm space would falsify the claimed equivalence.

read the original abstract

Matrix and noncommutative convexity constitute an important area of modern noncommutative analysis and have found significant applications in mathematical physics. In the first part of our paper we give an abstract characterization of matrix convex sets, and compact matrix convex sets. Our approach is in some part via a universal Banach space (resp.\ operator space) $X_K$ of an abstract compact convex set (resp.\ matrix convex set) $K$. This turns out to be a concrete construction of the base norm space (resp.\ nc base norm space) with base $K$, together with a natural TVS topology. Noncommutative (nc for short) base norm spaces, recently developed by the first author and Hay, are an important class of operator spaces which include duals and preduals of unital $C^*$-algebras and von Neumann algebras, and operator systems, where the `base' is exactly the noncommutative convex set of (matrix) states on these. In the later parts of the paper we give many applications, mostly to base norm spaces (classical and noncommutative). We also refine some of our recent results concerning regularity of convex sets (classical and noncommutative). We give several interesting characterizations of base norm spaces (classical and noncommutative). Any such characterization will correspond by duality to a new characterization of operator systems, or in the classical case, of function systems. For example, (complex) nc dual base norm spaces are the matrix ordered LCTVS's $V$ such that $V$ (at level 1) has a linear base which is compact.

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 / 2 minor

Summary. The paper provides an abstract characterization of matrix convex sets and compact matrix convex sets via a universal Banach space (resp. operator space) X_K attached to an abstract compact convex set (resp. matrix convex set) K. This X_K is shown to be a concrete base norm space (resp. nc base norm space) with base K equipped with a natural TVS topology. The work extends this to nc base norm spaces (including duals and preduals of C*-algebras, von Neumann algebras, and operator systems), derives duality correspondences, refines regularity results for convex sets, and supplies multiple characterizations of base norm spaces (classical and nc) that dualize to new characterizations of function systems and operator systems. The central example is that complex nc dual base norm spaces are precisely the matrix-ordered LCTVS's V such that the level-1 linear base is compact.

Significance. If the constructions and duality statements hold, the paper supplies a uniform framework linking abstract compact convex sets to base norm spaces in both commutative and noncommutative settings, with direct applications to operator systems. The explicit universal-space construction X_K and the resulting characterizations of base norm spaces (which correspond dually to characterizations of operator systems) constitute a concrete advance in noncommutative convexity and operator-space theory.

minor comments (2)
  1. [Abstract / §2] The abstract states that X_K 'turns out to be a concrete construction of the base norm space... together with a natural TVS topology,' but the precise definition of the topology on X_K (e.g., whether it is the weak* topology induced by the dual pairing or a different locally convex topology) is not indicated in the abstract and should be stated explicitly in §2 or §3.
  2. [Applications section] The claim that the characterization of complex nc dual base norm spaces is obtained 'by duality' to a characterization of operator systems is asserted but the precise dual statement (i.e., the corresponding property of the dual operator system) is not written out; adding one sentence in the applications section would clarify the correspondence.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The summary provided accurately captures the main contributions regarding abstract characterizations of matrix convex sets, base norm spaces, and their dual relations to operator systems.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit construction

full rationale

The paper's central result is an abstract characterization of nc dual base norm spaces as matrix-ordered LCTVS with compact level-1 base, obtained by constructing the universal operator space X_K for an abstract matrix convex set K, equipping it with a natural TVS topology, verifying the base-norm axioms, and deriving the duality. This construction is presented as concrete and independent; the self-citation to Blecher-Hay defines the class of nc base norm spaces but is not used to force the new characterizations or the compactness criterion. No step reduces a claimed prediction or uniqueness to a fitted parameter, self-definition, or unverified self-citation chain; the argument is self-contained against external benchmarks such as operator systems and function systems.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.1-grok · 5824 in / 1011 out tokens · 35614 ms · 2026-06-28T11:26:13.558213+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

43 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

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

    1971

  2. [2]

    E. M. Alfsen and F. W. Shultz,State spaces of operator algebras. Basic theory, orien- tations, andC ˚-products,Mathematics: Theory and Applications. Birkhäuser Boston, Inc., Boston, MA, 2001

    2001

  3. [3]

    Asimow and A

    L. Asimow and A. J. Ellis,Convexity theory and its applications in functional analysis, London Mathematical Society Monographs, 16. Academic Press London-New York, 1980

    1980

  4. [4]

    Aubrun, L

    G. Aubrun, L. Lami, C. Palazuelos, S. J. Szarek, and A. Winter,Universal gaps for XOR games from estimates on tensor norm ratios,Comm. Math. Phys.375(2020), 679–724

    2020

  5. [5]

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

    2024

  6. [6]

    D. P. Blecher,Regularity of compact convex sets–classical and noncommutative, Preprint (2026)

    2026

  7. [7]

    D. P. Blecher and D. M. Hay,Base norm spaces–classical, complex, and noncommuta- tive,submitted preprint 2026, 36 pages, arXiv:2602.03446

    work page arXiv 2026

  8. [8]

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

    2004

  9. [9]

    D. P. Blecher and B. Magajna,Dual operator systems,J. Operator Theory60(2008), 365–397

    2008

  10. [10]

    D. P. Blecher and C. B. McClure,Real noncommutative convexity I, revised preprint 2026(withCalebMcClure,45pages),arXiv:2506.13512,toappearStudiaMathematica

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  11. [11]

    D. P. Blecher and T. Russell,Real operator systems,J. Funct. Analysis290(2026), 111226 (91 pages)

    2026

  12. [12]

    Choi and E

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

    1977

  13. [13]

    K. R. Davidson,Functional analysis and operator algebras,CMS/CAIMS Books in Mathematics 13. Springer, Cham, 2025

    2025

  14. [14]

    K. R. Davidson and M. Kennedy,Noncommutative Choquet theory,Mem. Amer. Math. Soci.316(2025), no. 1608, v+83 pp.(arXiv:1905.08436v4)

    work page arXiv 2025

  15. [15]

    E.B.DaviesandJ.T.Lewis,An operational approach to quantum probability,Commun. Math. Phys.17, (1970) 239–260. CONVEX SETS AND BASES–CLASSICAL AND NC 35

    1970

  16. [16]

    D. A. Edwards,On the homeomorphic affine embedding of a locally compact cone into a Banach dual space endowed with the vague topology, Proc. London Math. Soc. (3), 14(1964), 399-414

    1964

  17. [17]

    E. G. Effros and Z-J. Ruan,Operator spaces, London Mathematical Society Mono- graphs. New Series, 23. The Clarendon Press, Oxford University Press, New York, 2000

    2000

  18. [18]

    E. G. Effros and C. J. Webster,Operator analogues of locally convex spaces,Operator algebras and applications (Samos, 1996), 163–207, NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 495, Kluwer Acad. Publ., Dordrecht, 1997

    1996

  19. [19]

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

    1997

  20. [20]

    A. J. Ellis,The duality of partially ordered normed linear spaces,J. London Math. Soc. 39(1964), 730–744

    1964

  21. [21]

    Evert, B

    E. Evert, B. Passer and T. Strekelj,Extreme points of matrix convex sets and their spanning properties,Preprint (2024), arXiv:2405.07924

    work page arXiv 2024

  22. [22]

    Farenick,Extremal matrix states on operator systems, J

    D. Farenick,Extremal matrix states on operator systems, J. London Math. Soc.61 (2000), 885–892

    2000

  23. [23]

    Farenick, R

    D. Farenick, R. Maleki, S. M. Varela, S. Singla,Representations of noncommutative cubes and prisms,Preprint (2026), arXiv:2601.16902

    work page arXiv 2026

  24. [24]

    MR2098611 (2005g:46112)

    ,Pure matrix states on operator systems, Linear Algebra Appl.393(2004), 149–173. MR2098611 (2005g:46112)

    2004

  25. [25]

    Gudder,Convex structures and operational quantum mechanics,Comm

    S. Gudder,Convex structures and operational quantum mechanics,Comm. Math. Phys. 29(1973), 249–264

    1973

  26. [26]

    Hausner,Multidimensional utilities,pp

    M. Hausner,Multidimensional utilities,pp. 167–180 in Thrall, R., Coombs, C., Davis, R., eds. Decision Processes, John Wiley, 1954

    1954

  27. [27]

    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

  28. [28]

    G. J. O. Jameson,Ordered linear spaces,Springer Lecture Notes in Mathematics, Vol. 141, Springer-Verlag, Berlin-New York, 1970

    1970

  29. [29]

    R. E. Jamison, R. C. O’Brien and P. D. Taylor,On embedding a compact convex set into a locally convex topological vector space,Pacific J. Math.64(1976), 193–205

    1976

  30. [30]

    D. S. Kaliuzhnyi-Verbovetskyi and V. Vinnikov,Foundations of free noncommutative function theory,Mathematical Surveys and Monographs, 199. American Mathematical Society, Providence, RI, 2014

    2014

  31. [31]

    M.KennedyandP.Skoufranis,Noncommutative majorization,Plenarylecture,GPOTS 2026, University of Iowa, Iowa City

    2026

  32. [32]

    Keimel,Lokal kompakte gegelhalbgruppen und deren einbettung in topologische vek- torräume,Math

    K. Keimel,Lokal kompakte gegelhalbgruppen und deren einbettung in topologische vek- torräume,Math. Z.99(1967), 405–428

    1967

  33. [33]

    Lami,Non-classical correlations in quantum mechanics and beyond

    L. Lami,Non-classical correlations in quantum mechanics and beyond. Ph.D. thesis, Universitat Autònoma de Barcelona (2017)

    2017

  34. [34]

    J. D. Lawson,Embeddings of compact convex sets and locally compact cones,Pacific J. Math.66(1976), 443–453

    1976

  35. [35]

    J. D. Lawson and B. Madison,On congruences and cones,Math. Z.120(1971), 18–24

    1971

  36. [36]

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

    2002

  37. [37]

    Phelps,Lectures on Choquet’s Theorem,2nd edition, Lecture Notes in Mathematics, vol

    R. Phelps,Lectures on Choquet’s Theorem,2nd edition, Lecture Notes in Mathematics, vol. 1757, Springer-Verlag, Berlin, 2001. 36 DAVID BLECHER AND C. H. PRETORIUS

    2001

  38. [38]

    G. K. Pedersen,C ˚-algebras and their automorphism groups,2nd edition, Pure and Applied Mathematics (Amsterdam). Academic Press, London, 2018

    2018

  39. [39]

    J. W. Roberts,The embedding of compact convex sets in locally convex spaces,Canadian J. Math.30(1978), 449–454

    1978

  40. [40]

    Russell,Characterizations of ordered self-adjoint operator spaces,Complex Analysis Oper

    T. Russell,Characterizations of ordered self-adjoint operator spaces,Complex Analysis Oper. Th.17:12(2023), 37 pages

    2023

  41. [41]

    Stone,Postulates for the barycentric calculus,Ann

    M. Stone,Postulates for the barycentric calculus,Ann. Mat. Pura Appl. (4)29(1949), 25–30

    1949

  42. [42]

    Webster and S

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

    1999

  43. [43]

    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. Department of Mathematics, University of Houston, Houston, TX 77204- 3008. Email address:dpbleche@central.uh.edu Department of Mathematics, University of ...

    1983