Positive operator-valued noncommutative polynomials are squares

Jindal, Abhay (avtor), Klep, Igor (avtor), McCullough, Scott (avtor)

We establish operator-valued versions of the earlier foundational factorization results for noncommutative polynomials due to Helton (Ann. Math., 2002) and one of the authors (Linear Alg. Appl., 2001). Specifically, we show that every positive operator-valued noncommutative polynomial $p$ admits a single-square factorization $p=r^* r$. An analogous statement holds for operator-valued noncommutative trigonometric polynomials (i.e., operator-valued elements of a free group algebra). Our approach follows the now standard sum-of-squares (sos) paradigm but requires new results and constructions tailored to operator coefficients. Assuming a positive $p$ is not sos, Hahn-Banach separation yields a linear functional that is positive on the sos cone and negative on $p$; a Gelfand-Naimark-Segal (GNS) construction then produces a representing tuple $Y$ leading to contradiction since $p$ was assumed positive on $Y$. The main technical input is a canonical tuple $A$ of self-adjoint operators and, in the unitary case, a canonical tuple $U$ of unitaries, both constructed from the left-regular representation on Fock space. We prove that, up to a universal constant, the norms $\|p(A)\|$ and $\|p(U)\|$ bound the operator norm of any positive semidefinite Gram matrix $G$ representing the sos polynomial $p$. This uniform control is the key input in showing that the cone of (sums of) squares is closed in the product ultraweak topology on the coefficients. A separate approximation argument then produces a separating functional that is continuous for the weak operator topology (WOT). This two-step passage between the ultraweak and WOT topologies constitutes our separation argument and yields the required WOT closedness of the sos cone. With this in hand, the GNS construction associates to such a separating linear functional a finite-rank positive semidefinite noncommutative Hankel matrix and, on its range, produces the desired tuple $Y$.

• Jezik: Angleški jezik
• Ključne besede: factorization, noncommutative polynomial, sum of squares, trigonometric polynomial, Positivstellensatz
• Vrsta gradiva: Članek v reviji
• Tipologija: 1.01 - Izvirni znanstveni članek
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Status publikacije: Objavljeno
• Različica publikacije: Objavljena publikacija
• Datum objave: 01.03.2026
• Leto izida: 2026
• Št. strani: 26 str.
• Številčenje: Vol. 98, iss. 1, article no. 7
• PID: 20.500.12556/RUL-180864
• UDK: 517.9
• ISSN pri članku: 0378-620X
• DOI: 10.1007/s00020-026-02828-y
• COBISS.SI-ID: 272097539
• Datum objave v RUL: 18.03.2026

Gradivo je del revije

• Naslov: Integral equations and operator theory
• Skrajšan naslov: Integr. equ. oper. theory
• Založnik: Springer
• ISSN: 0378-620X
• COBISS.SI-ID: 25623552

Licence

• Licenca: CC BY 4.0, Creative Commons Priznanje avtorstva 4.0 Mednarodna
• Povezava: http://creativecommons.org/licenses/by/4.0/deed.sl
• Opis: To je standardna licenca Creative Commons, ki daje uporabnikom največ možnosti za nadaljnjo uporabo dela, pri čemer morajo navesti avtorja.