Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

trace-positive non-commutative polynomials


Author: Ronan Quarez
Journal: Proc. Amer. Math. Soc. 143 (2015), 3357-3370
MSC (2010): Primary 14P99, 15A63
DOI: https://doi.org/10.1090/S0002-9939-2015-12450-1
Published electronically: February 13, 2015
MathSciNet review: 3348778
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We give some examples of trace-positive non-commutative polynomials of degree $ 4$ in $ 3$ variables which are not cyclically equivalent to a sum of hermitian squares. Since some similar examples of degree $ 6$ in $ 2$ variables were alreay known, this settles a perfect analogy to Hilbert's result from the commutative context which says that positive (commutative) polynomials of degree $ d$ in $ n$ variables are not necessarily sums of squares, the first non-trivial cases being obtained for $ (d,n)=(4,3)$ and $ (d,n)=(6,2)$.


References [Enhancements On Off] (What's this?)

  • [Ar] Emil Artin, Über die Zerlegung definiter Funktionen in Quadrate, Abh. Math. Sem. Univ. Hamburg 5 (1927), no. 1, 100-115 (German). MR 3069468, https://doi.org/10.1007/BF02952513
  • [Bu] S. Burgdorf, Trace-positive polynomials, sums of hermitian squares and the tracial moment problem, http://nbn-resolving.de/urn:nbn:de:bsz:352-139805, thesis 2011.
  • [BK] Sabine Burgdorf and Igor Klep, Trace-positive polynomials and the quartic tracial moment problem, C. R. Math. Acad. Sci. Paris 348 (2010), no. 13-14, 721-726 (English, with English and French summaries). MR 2671148 (2011j:16040), https://doi.org/10.1016/j.crma.2010.06.005
  • [CKP] K. Cafuta, I. Klep, J. Povh, NCSOStools: A computer algebra system for symbolic and numerical computation with noncommutative polynomials, http://ncsostools.fis.unm.si.
  • [CL] Man Duen Choi and Tsit Yuen Lam, An old question of Hilbert, Conference on Quadratic Forms--1976 (Proc. Conf., Queen's Univ., Kingston, Ont., 1976), Queen's Univ., Kingston, Ont., 1977, pp. 385-405. Queen's Papers in Pure and Appl. Math., No. 46. MR 0498375 (58 #16503)
  • [Gy] L. Glebsky, Almost commuting matrices with respect to normalized Hilbert-Schmidt norm., preprint arXiv 1002.3082v1 (2010).
  • [Hi] David Hilbert, Ueber die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann. 32 (1888), no. 3, 342-350 (German). MR 1510517, https://doi.org/10.1007/BF01443605
  • [He] J. William Helton, ``Positive'' noncommutative polynomials are sums of squares, Ann. of Math. (2) 156 (2002), no. 2, 675-694. MR 1933721 (2003k:12002), https://doi.org/10.2307/3597203
  • [KS] Igor Klep and Markus Schweighofer, Connes' embedding conjecture and sums of Hermitian squares, Adv. Math. 217 (2008), no. 4, 1816-1837. MR 2382741 (2009g:46109), https://doi.org/10.1016/j.aim.2007.09.016
  • [Ln] Huaxin Lin, Approximation by normal elements with finite spectra in $ C^\ast $-algebras of real rank zero, Pacific J. Math. 173 (1996), no. 2, 443-489. MR 1394400 (98h:46059)
  • [Rw] Louis Halle Rowen, Polynomial identities in ring theory, Pure and Applied Mathematics, vol. 84, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, 1980. MR 576061 (82a:16021)
  • [Mo] T. S. Motzkin, The arithmetic-geometric inequality, Inequalities (Proc. Sympos. Wright-Patterson Air Force Base, Ohio, 1965), Academic Press, New York, 1967, pp. 205-224. MR 0223521 (36 #6569)
  • [Ro] Raphael M. Robinson, Some definite polynomials which are not sums of squares of real polynomials, Selected questions of algebra and logic (collection dedicated to the memory of A. I. Malcev) (Russian), Izdat. ``Nauka'' Sibirsk. Otdel., Novosibirsk, 1973, pp. 264-282. MR 0337878 (49 #2647)
  • [Ve] Gregory C. Verchota, Noncoercive sums of squares in $ \mathbb{R}[x_1,\dots ,x_n]$, J. Pure Appl. Algebra 214 (2010), no. 3, 236-250. MR 2559694 (2011b:12003), https://doi.org/10.1016/j.jpaa.2009.05.012

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 14P99, 15A63

Retrieve articles in all journals with MSC (2010): 14P99, 15A63


Additional Information

Ronan Quarez
Affiliation: IRMAR (CNRS, URA 305), Université de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France
Email: ronan.quarez@univ-rennes1.fr

DOI: https://doi.org/10.1090/S0002-9939-2015-12450-1
Keywords: Positive semidefinite, sums of squares, sums of hermitian squares, trace-positivity
Received by editor(s): May 14, 2013
Received by editor(s) in revised form: November 13, 2013, and January 9, 2014
Published electronically: February 13, 2015
Additional Notes: The first author was supported by French National Research Agency (ANR) project GEOLMI - Geometry and Algebra of Linear Matrix Inequalities with Systems Control Applications
Communicated by: Harm Derksen
Article copyright: © Copyright 2015 American Mathematical Society

American Mathematical Society