pith. machine review for the scientific record. sign in

arxiv: 2604.27062 · v1 · submitted 2026-04-29 · 🧮 math.FA · math.OA

Recognition: unknown

Operator-Valued Positivstellens\"atze on Matrix Convex Sets and Free Products of Finite Abelian Groups

Abhay Jindal, Igor Klep, Scott McCullough

Pith reviewed 2026-05-07 10:27 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords Positivstellensatzmatrix convex setsoperator-valued polynomialsnoncommutative Fejer-Riesz theoremcompletely positive mapsfree products of groupssum of squares
0
0 comments X

The pith

Operator-valued noncommutative polynomials positive on a matrix convex set factor as r*r plus a term with a unital completely positive map applied to the defining pencil.

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

The paper proves that an operator-valued polynomial p of degree at most 2d+1 is nonnegative on the matrix convex set D_L defined by a monic linear pencil L if and only if it decomposes as r^* r + q^* π(L) q, where r and q have degree at most d and π is a unital completely positive map on the operator system generated by the coefficients of L. The proof proceeds by Hahn-Banach separation in the product ultraweak topology followed by a GNS construction that produces bounded operators, first for bounded sets and then for general sets via approximation. This representation theorem is applied to obtain an operator-valued noncommutative Fejer-Riesz theorem: every positive operator-valued trigonometric polynomial on the free product of finite abelian groups admits a sum-of-squares factorization with explicit degree bounds. A reader would care because the result supplies an algebraic certificate for positivity in a noncommutative operator setting, with direct consequences for factorization problems in free-group algebras.

Core claim

p is positive on D_L if and only if p = r^* r + q^* π(L) q, where q and r have degree at most d, and π is a unital completely positive map on the operator system generated by the coefficients of L. The proof combines a Hahn-Banach separation argument with a tailored GNS construction; boundedness of the GNS operators is obtained by first treating bounded matrix convex sets using closedness of the cone of weighted squares in the product ultraweak topology, then extending to the unbounded case by approximation.

What carries the argument

The monic linear operator pencil L(x) = I + sum A_j x_j that defines the matrix convex set D_L, together with the representation p = r^* r + q^* π(L) q using a unital completely positive map π.

If this is right

  • Every positive operator-valued trigonometric polynomial on a free product of finite abelian groups admits a sum-of-squares factorization with explicit complexity bounds.
  • The cone of weighted squares is closed in the product ultraweak topology on bounded matrix convex sets.
  • Positivity on D_L is certified by an algebraic identity involving only squares and a completely positive map applied to L.
  • The result holds for separable infinite-dimensional Hilbert spaces and operator-valued polynomials of odd degree up to 2d+1.

Where Pith is reading between the lines

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

  • The factorization may supply a semidefinite-programming hierarchy for checking positivity of operator-valued polynomials on matrix convex sets.
  • Similar representations could be pursued for other noncommutative domains such as free semialgebraic sets or spectrahedra.
  • The use of the universal POVM algebra povm(n) and Boca's theorem suggests extensions to completely positive maps on group C*-algebras beyond finite abelian free products.

Load-bearing premise

Hahn-Banach separation in the product ultraweak topology yields a positive functional whose GNS representation produces bounded operators, achieved by a tailored construction whose validity for unbounded sets relies on an approximation argument.

What would settle it

An explicit low-degree operator-valued polynomial that is nonnegative on some D_L but cannot be written in the form r^* r + q^* π(L) q for any unital completely positive map π and degree-bounded q, r would disprove the representation.

read the original abstract

We prove a Positivstellensatz for operator-valued noncommutative polynomials that are positive on matrix convex sets. Specifically, let $p$ be an operator-valued polynomial in $B(H)\otimes C<x>$ of degree at most $2d+1$, where $H$ is separable and infinite-dimensional. Let $L(x)=I+\sum_{j=1}^{g} A_j x_j$ be a monic linear operator pencil, and let $D_L=\{X: L(X) \geq 0\}$ be the associated matrix convex set. We show that $p$ is positive on $D_L$ if and only if $p=r^*r+q^*\pi(L)q$, where $q$ and $r$ have degree at most $d$, and $\pi$ is a unital completely positive map on the operator system generated by the coefficients of $L$. The proof combines a Hahn--Banach separation argument with a tailored GNS construction. The main challenge is that the separation occurs in the product ultraweak topology, so boundedness of the resulting GNS operators is not automatic. We first handle bounded matrix convex sets, using closedness of the cone of weighted squares in the product ultraweak topology as the key technical input, and then pass to the general unbounded case by an approximation argument. Finally, we apply this convex Positivstellensatz to prove an operator-valued noncommutative Fejer--Riesz theorem on free products of finite abelian groups. The key additional ingredients are the universal $*$-algebra povm(n) associated with POVMs, a perfect Positivstellensatz for povm(n), and Boca's theorem on free products of completely positive maps. As a consequence, every positive operator-valued trigonometric polynomial on a free product of finite abelian groups admits a sum-of-squares factorization with explicit complexity bounds.

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 proves an operator-valued Positivstellensatz for noncommutative polynomials p of degree at most 2d+1 that are positive on the matrix convex set D_L = {X : L(X) ≥ 0} associated to a monic linear pencil L(x) = I + ∑ A_j x_j. The equivalence is p = r^* r + q^* π(L) q where deg(q), deg(r) ≤ d and π is a unital completely positive map on the operator system generated by the A_j. The proof proceeds via Hahn-Banach separation in the product ultraweak topology followed by a tailored GNS construction, first establishing closedness of the weighted-squares cone for bounded D_L and then reducing the unbounded case to this via approximation. The result is applied to obtain an operator-valued noncommutative Fejér-Riesz theorem on free products of finite abelian groups, using the universal POVM algebra, a perfect Positivstellensatz for POVMs, and Boca's theorem, yielding explicit complexity bounds for sum-of-squares factorizations of positive operator-valued trigonometric polynomials.

Significance. If the central representation holds, the work advances noncommutative real algebraic geometry by extending Positivstellensätze to the operator-valued setting on general (possibly unbounded) matrix convex sets, with the approximation technique addressing boundedness in the GNS step. The application to the Fejér-Riesz theorem on free products supplies explicit degree bounds and connects to POVM theory and free-product CP maps, which may impact operator algebras and quantum information. The combination of Hahn-Banach separation, closedness of weighted squares in the product ultraweak topology, and Boca's theorem is a technical strength when the approximation converges appropriately.

major comments (1)
  1. [Proof of the main Positivstellensatz (unbounded case)] The approximation argument reducing the unbounded case to bounded D_L (described in the abstract and used to obtain bounded GNS operators): this step is load-bearing for the main theorem. It is not immediate that the sequence of approximating unital CP maps π_n converges in a topology strong enough to preserve unitality, complete positivity, the exact algebraic form p = r^* r + q^* π(L) q with the original pencil L, and the fixed degree bound d; additional verification of ultraweak continuity or norm bounds on the limiting operators is required to rule out failure of the representation for the original unbounded set.
minor comments (2)
  1. [Main theorem statement] The separability assumption on the infinite-dimensional Hilbert space H is stated in the abstract but should be repeated explicitly in the statement of the main theorem for clarity.
  2. [Application section] The citation to Boca's theorem on free products of completely positive maps should include the precise reference and a brief indication of how it is applied to the universal POVM algebra.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment of its significance. We address the single major comment below.

read point-by-point responses

  1. Referee: The approximation argument reducing the unbounded case to bounded D_L (described in the abstract and used to obtain bounded GNS operators): this step is load-bearing for the main theorem. It is not immediate that the sequence of approximating unital CP maps π_n converges in a topology strong enough to preserve unitality, complete positivity, the exact algebraic form p = r^* r + q^* π(L) q with the original pencil L, and the fixed degree bound d; additional verification of ultraweak continuity or norm bounds on the limiting operators is required to rule out failure of the representation for the original unbounded set.

    Authors: We agree that the convergence of the approximating sequence requires explicit justification. The current manuscript sketches the reduction via approximation but does not supply the detailed ultraweak continuity and norm-bound arguments needed to pass to the limit while preserving unitality, complete positivity, the exact algebraic identity, and the degree bound d. In the revised version we will expand the relevant section (likely as a new subsection following the bounded-case argument) to include these verifications, using the closedness of the weighted-squares cone and standard properties of unital CP maps on finite-dimensional operator systems. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard functional-analytic tools

full rationale

The central Positivstellensatz is obtained via Hahn-Banach separation in the product ultraweak topology, followed by a tailored GNS construction that produces the required unital CP map representation. Boundedness is secured first by proving closedness of the weighted-squares cone (an independent technical lemma), then extended to the unbounded case by approximation. These steps rely on classical results (Hahn-Banach, GNS) and Boca's theorem on free products of CP maps, none of which reduce the target representation to a fitted parameter, self-definition, or load-bearing self-citation. The subsequent application to the operator-valued Fejer-Riesz theorem on free products likewise invokes cited external ingredients (universal POVM algebra, perfect Positivstellensatz for povm(n)) without circular collapse. The chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard functional analysis results rather than new axioms or fitted parameters.

axioms (3)
  • standard math Hahn-Banach separation theorem holds in the product ultraweak topology on the space of operator-valued polynomials
    Invoked to separate the positive cone from the polynomial that is not positive on D_L.
  • standard math GNS construction produces a representation for positive functionals on operator systems
    Used to obtain the completely positive map π after separation.
  • standard math Boca's theorem on free products of completely positive maps
    Applied in the Fejer-Riesz part to combine maps on the free product.

pith-pipeline@v0.9.0 · 5659 in / 1374 out tokens · 46147 ms · 2026-05-07T10:27:08.887518+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

57 extracted references · 3 canonical work pages

  1. [1]

    McCarthy, Global holomorphic functions in several noncommuting variables , Can

    Jim Agler, John E. McCarthy, Global holomorphic functions in several noncommuting variables , Can. J. Math. 67 (2015) 241--285

    2015

  2. [2]

    Vadim Alekseev, Tim Netzer, Andreas Thom, Quadratic modules, * -algebras, and free convexity , Trans. Amer. Math. Soc. 372 (2019) 7525--7539

    2019

  3. [3]

    Mihály Bakonyi, Dan Timotin, Extensions of positive definite functions on free groups , J. Funct. Anal. 246 (2007) 31--49

    2007

  4. [4]

    Ball, Gregory Marx, Victor Vinnikov, Noncommutative reproducing kernel Hilbert spaces , J

    Joseph A. Ball, Gregory Marx, Victor Vinnikov, Noncommutative reproducing kernel Hilbert spaces , J. Funct. Anal. 271 (2016) 1844--1920

    2016

  5. [5]

    Boca, Free products of completely positive maps and spectral sets, J

    F. Boca, Free products of completely positive maps and spectral sets, J. Funct. Anal. 97 (1991) 251--263

    1991

  6. [6]

    Jacek Bochnak, Michel Coste, Marie-Françoise Roy, Real algebraic geometry , Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 36. Springer, ix, 430 p. (1998)

    1998

  7. [7]

    Modern Phys

    Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani, Stephanie Wehner, Bell nonlocality , Rev. Modern Phys. 86 (2014), 419--478

    2014

  8. [8]

    Jakob Cimprič, A representation theorem for Archimedean quadratic modules on * -rings , Canad. Math. Bull., 52 (2009), 39–52

    2009

  9. [9]

    Davidson, Functional Analysis and Operator Algebras , CMS/CAIMS Books in Mathematics 13

    Kenneth R. Davidson, Functional Analysis and Operator Algebras , CMS/CAIMS Books in Mathematics 13. Springer, xiv, 797 p. (2025)

    2025

  10. [10]

    Davidson, Adam Dor-On, Orr Moshe Shalit, Baruch Solel, Dilations, Inclusions of Matrix Convex Sets, and Completely Positive Maps , Int

    Kenneth R. Davidson, Adam Dor-On, Orr Moshe Shalit, Baruch Solel, Dilations, Inclusions of Matrix Convex Sets, and Completely Positive Maps , Int. Math. Res. Notices (2017) 4069--4130

    2017

  11. [11]

    Davidson and Evgenios T

    Kenneth R. Davidson and Evgenios T. A. Kakariadis, A proof of Boca's theorem, Proc. Roy. Soc. Edinburgh Sect. A 4 (2019) 869--876

    2019

  12. [12]

    William Helton, Scott McCullough, Mihai Putinar, Engineering Systems and Free Semi-Algebraic Geometry , in: Emerging Applications of Algebraic Geometry, 17--62, IMA Vol

    Mauricio de Oliviera, J. William Helton, Scott McCullough, Mihai Putinar, Engineering Systems and Free Semi-Algebraic Geometry , in: Emerging Applications of Algebraic Geometry, 17--62, IMA Vol. Math. Appl. 149, Springer, 2009

    2009

  13. [13]

    Michael Dritschel, James Rovnyak, The operator Fejér-Riesz theorem , in: Operator Theory: Advances and Applications 207 (2010) 223--254

    2010

  14. [14]

    Effros, Soren Winkler, Matrix convexity: operator analogues of the bipolar and Hahn–Banach theorems, J

    Edward G. Effros, Soren Winkler, Matrix convexity: operator analogues of the bipolar and Hahn–Banach theorems, J. Funct. Anal. 144 (1997) 117–-152

    1997

  15. [15]

    Eric Evert, Benjamin Passer, Tea S trekelj, Extreme points of matrix convex sets and their spanning properties , in: Operator Theory , Springer, Cham, 2024, pp. 1--33

    2024

  16. [16]

    Marco Fanizza, Larissa Kroell, Arthur Mehta, Connor Paddock, Denis Rochette, William Slofstra, Yuming Zhao, The NPA hierarchy does not always attain the commuting operator value , preprint https://arxiv.org/abs/2510.04943

    work page arXiv

  17. [17]

    Fuller, Michael Hartz, Martino Lupini, Boundary representations of operator spaces, and compact rectangular matrix convex sets , J

    Adam H. Fuller, Michael Hartz, Martino Lupini, Boundary representations of operator spaces, and compact rectangular matrix convex sets , J. Oper. Theory 79 (2018) 139--172

    2018

  18. [18]

    Geronimo, Hugo J

    Jeffrey S. Geronimo, Hugo J. Woerdeman, Positive extension, Fejér-Riesz factorization and autoregressive filters in two variables , Ann. Math. (2) 160 (2005) 839--906

    2005

  19. [19]

    Segev Gonen Cohen, Algebraic Certificates for Positivity and Kazhdan's Property (T) , Master's thesis, ETH Zürich, 100 p. (2023)

    2023

  20. [20]

    William Helton, ``Positive'' noncommutative polynomials are sums of squares , Ann

    J. William Helton, ``Positive'' noncommutative polynomials are sums of squares , Ann. Math. (2) 156 (2002) 675--694

    2002

  21. [21]

    William Helton, Igor Klep, Scott McCullough, The convex Positivstellensatz in a free algebra , Adv

    J. William Helton, Igor Klep, Scott McCullough, The convex Positivstellensatz in a free algebra , Adv. Math. 231 (2012), 516--534

    2012

  22. [22]

    William Helton, Igor Klep, Scott McCullough, The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra , J

    J. William Helton, Igor Klep, Scott McCullough, The tracial Hahn-Banach theorem, polar duals, matrix convex sets, and projections of free spectrahedra , J. Eur. Math. Soc. (JEMS) 19 (2017) 1845--1897

    2017

  23. [23]

    William Helton, Scott McCullough, A Positivstellensatz for non-commutative polynomials , Trans

    J. William Helton, Scott McCullough, A Positivstellensatz for non-commutative polynomials , Trans. Amer. Math. Soc. 356 (2004) 3721--3737

    2004

  24. [24]

    William Helton, Scott McCullough, Every free basic convex semi-algebraic set has an LMI representation, Ann

    J. William Helton, Scott McCullough, Every free basic convex semi-algebraic set has an LMI representation, Ann. of Math. (2) 176 (2012) 979–-1013

    2012

  25. [25]

    William Helton, Scott McCullough, Mihai Putinar, A non-commutative Positivstellensatz on isometries , J

    J. William Helton, Scott McCullough, Mihai Putinar, A non-commutative Positivstellensatz on isometries , J. Reine Angew. Math. 568 (2004) 71--80

    2004

  26. [26]

    Theory 98 (2026) 7, 26pp

    Abhay Jindal, Igor Klep, Scott McCullough, Positive operator-valued noncommutative polynomials are squares , Integral Equations Oper. Theory 98 (2026) 7, 26pp

    2026

  27. [27]

    Jury, Robert TW Martin, Sub-Hardy-Hilbert Spaces in the Non-commutative Unit Row Ball , in: Function Spaces, Theory and Applications, pp

    Michael T. Jury, Robert TW Martin, Sub-Hardy-Hilbert Spaces in the Non-commutative Unit Row Ball , in: Function Spaces, Theory and Applications, pp. 349--398. Springer, 2012

    2012

  28. [28]

    Jury, Robert TW Martin, Eli Shamovich, Non-commutative rational functions in the full Fock space , Trans

    Michael T. Jury, Robert TW Martin, Eli Shamovich, Non-commutative rational functions in the full Fock space , Trans. Am. Math. Soc. 374 (2021) 6727--6749

    2021

  29. [29]

    Kaliuzhnyi-Verbovetskyi, Victor Vinnikov, Foundations of free noncommutative function theory , Mathematical Surveys and Monographs 199

    Dmitry S. Kaliuzhnyi-Verbovetskyi, Victor Vinnikov, Foundations of free noncommutative function theory , Mathematical Surveys and Monographs 199. American Mathematical Society (AMS), vi, 183 p. (2014)

    2014

  30. [30]

    Igor Klep, Jacob Levenson, Scott McCullough, Fejér--Riesz factorization for positive noncommutative trigonometric polynomials, preprint https://arxiv.org/abs/2511.09267

    work page arXiv

  31. [31]

    Tom-Lukas Kriel, An introduction to matrix convex sets and free spectrahedra , Complex Anal. Oper. Theory 13 (2019) 3251--3335

    2019

  32. [32]

    Junqiao Lin, MIPco \,=\, coRE , preprint https://arxiv.org/abs/2510.07162

    work page arXiv

  33. [33]

    Murray Marshall, Positive polynomials and sums of squares , American Mathematical Society (AMS), xii, 187 p. (2008)

    2008

  34. [34]

    326 (2001), no

    Scott McCullough, Factorization of operator-valued polynomials in several non-commuting variables, Linear Algebra Appl. 326 (2001), no. 1-3, 193--203

    2001

  35. [35]

    Arthur Mehta, William Slofstra, Yuming Zhao, Positivity is undecidable in tensor products of free algebras , to appear in J. Eur. Math. Soc (JEMS)

  36. [36]

    Arthur Mehta, William Slofstra, Yuming Zhao, private communication

  37. [37]

    Mingo, Roland Speicher, Free probability and random matrices , Fields Institute Monographs 35

    James A. Mingo, Roland Speicher, Free probability and random matrices , Fields Institute Monographs 35. Springer, xiv, 336 p. (2017)

    2017

  38. [38]

    Muhly, Baruch Solel, Progress in noncommutative function theory , Sci

    Paul S. Muhly, Baruch Solel, Progress in noncommutative function theory , Sci. China, Math. 54 (2011) 2275--2294

    2011

  39. [39]

    Miguel Navascu\'es, Stefano Pironio, Antonio Ac\'in, Bounding the set of quantum correlations , Phys. Rev. Lett. 98 (2007), 010401

    2007

  40. [40]

    Miguel Navascu\'es, Stefano Pironio, Antonio Ac\'in, A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations , New J. Phys. 10 (2008), 073013

    2008

  41. [41]

    Tim Netzer, Andreas Thom, Real closed separation theorems and applications to group algebras , Pac. J. Math. 263 (2013) 435--452

    2013

  42. [42]

    Narutaka Ozawa, About the Connes embedding conjecture , Jpn. J. Math. (3) 8 (2013) 147--183

    2013

  43. [43]

    Pascoe, Ryan Tully-Doyle, The royal road to automatic noncommutative real analyticity, monotonicity, and convexity , Adv

    James E. Pascoe, Ryan Tully-Doyle, The royal road to automatic noncommutative real analyticity, monotonicity, and convexity , Adv. Math. 407 (2022), Article ID 108548, 24 p

    2022

  44. [44]

    Benjamin Passer, Complex free spectrahedra, absolute extreme points, and dilations , Doc. Math. 27 (2022) 1299--1320

    2022

  45. [45]

    Vern Paulsen, Completely Bounded Maps and Operator Algebras , Cambridge University Press; 2003

    2003

  46. [46]

    Gelu Popescu, Multi-analytic operators on Fock spaces , Math. Ann. 303 (1995) 31--46

    1995

  47. [47]

    Mihai Putinar, Positive polynomials on compact semi-algebraic sets , Indiana Univ. Math. J. 42 (1993) 969--984

    1993

  48. [48]

    Positivity and sums of squares , Graduate Texts in Mathematics 303

    Claus Scheiderer, A course in real algebraic geometry. Positivity and sums of squares , Graduate Texts in Mathematics 303. Springer, xviii, 404 p. (2024)

    2024

  49. [49]

    Konrad Schm\"udgen, The K -moment problem for compact semi-algebraic sets , Math. Ann. 289 (1991) 203--206

    1991

  50. [50]

    Skelton, T

    Robert E. Skelton, T. Iwasaki, Dimitri E. Grigoriadis, A unified algebraic approach to linear control design , Taylor & Francis Ltd., xviii, 285 pp. (1998)

    1998

  51. [51]

    I: Duality transform for the coalgebra of _ X:B , Int

    Dan-Virgil Voiculescu, Free analysis questions. I: Duality transform for the coalgebra of _ X:B , Int. Math. Res. Not. 16 (2004) 793--822

    2004

  52. [52]

    II: The Grassmannian completion and the series expansions at the origin , J

    Dan-Virgil Voiculescu, Free analysis questions. II: The Grassmannian completion and the series expansions at the origin , J. Reine Angew. Math. 645 (2010) 155--236

    2010

  53. [53]

    Dykema, and Alexandru Nica, Free Random Variables , CRM Monograph Series 1, AMS, 1992

    Dan-Virgil Voiculescu, Kenneth J. Dykema, and Alexandru Nica, Free Random Variables , CRM Monograph Series 1, AMS, 1992

    1992

  54. [54]

    Sigma 9 (2021), Paper No

    Jurij Vol c i c , Hilbert's 17th problem in free skew fields , Forum Math. Sigma 9 (2021), Paper No. e61, 21 pp

    2021

  55. [55]

    Alpay, I

    Jurij Vol c i c , Linear matrix pencils and noncommutative convexity , in: Operator Theory , D. Alpay, I. Sabadini, F. Colombo (eds.), Springer, Basel, 2024, pp. 1--14

    2024

  56. [56]

    Jie Wang, Victor Magron, Exploiting term sparsity in noncommutative polynomial optimization, Comput Optim Appl 80 (2021) 483--521

    2021

  57. [57]

    Aljaž Zalar, Operator Positivstellensätze for noncommutative polynomials positive on matrix convex sets , J. Math. Anal. Appl. 445 (2017) 32--80

    2017