Tracepositive complex polynomials in three unitaries
Author:
Stanislav Popovych
Journal:
Proc. Amer. Math. Soc. 138 (2010), 35413550
MSC (2000):
Primary 46L10; Secondary 15A48
Published electronically:
June 4, 2010
MathSciNet review:
2661554
Fulltext PDF
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We consider the quadratic polynomials in three unitary generators, i.e. the elements of the group algebra of the free group with generators of the form , . We prove that if is selfadjoint and for arbitrary unitary matrices , then is a sum of hermitian squares. To prove this statement we reduce it to the question whether a certain Tarski sentence is true. Tarski's decidability theorem thus provides an algorithm to answer this question. We use an algorithm due to Lazard and Rouillier for computing the number of real roots of a parametric system of polynomial equations and inequalities implemented in Maple to check that the Tarski sentence is true. As an application, we describe the set of parameters such that there are unitary operators connected by the linear relation .
 1.
S.
Agnihotri and C.
Woodward, Eigenvalues of products of unitary matrices and quantum
Schubert calculus, Math. Res. Lett. 5 (1998),
no. 6, 817–836. MR 1671192
(2000a:14066), http://dx.doi.org/10.4310/MRL.1998.v5.n6.a10
 2.
M.
Bakonyi and D.
Timotin, Extensions of positive definite functions on free
groups, J. Funct. Anal. 246 (2007), no. 1,
31–49. MR
2316876 (2008g:43009), http://dx.doi.org/10.1016/j.jfa.2007.01.015
 3.
Solen
Corvez and Fabrice
Rouillier, Using computer algebra tools to classify serial
manipulators, Automated deduction in geometry, Lecture Notes in
Comput. Sci., vol. 2930, Springer, Berlin, 2004, pp. 31–43.
MR
2090401, http://dx.doi.org/10.1007/9783540246169_3
 4.
K. Dykema, K. Juschenko, Matrices of unitary moments, arXiv:0901.0288.
 5.
William
Fulton, Eigenvalues, invariant factors,
highest weights, and Schubert calculus, Bull.
Amer. Math. Soc. (N.S.) 37 (2000), no. 3, 209–249 (electronic). MR 1754641
(2001g:15023), http://dx.doi.org/10.1090/S027309790000865X
 6.
K. Juschenko, S. Popovych, Algebraic reformulation of Connes' embedding problem and the free group algebra, Israel J. Math, in press.
 7.
Eberhard
Kirchberg, On nonsemisplit extensions, tensor products and
exactness of group 𝐶*algebras, Invent. Math.
112 (1993), no. 3, 449–489. MR 1218321
(94d:46058), http://dx.doi.org/10.1007/BF01232444
 8.
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), http://dx.doi.org/10.1016/j.aim.2007.09.016
 9.
Daniel
Lazard and Fabrice
Rouillier, Solving parametric polynomial systems, J. Symbolic
Comput. 42 (2007), no. 6, 636–667. MR 2325919
(2008g:68131), http://dx.doi.org/10.1016/j.jsc.2007.01.007
 10.
Scott
McCullough, Factorization of operatorvalued polynomials in several
noncommuting variables, Linear Algebra Appl. 326
(2001), no. 13, 193–203. MR 1815959
(2002f:47035), http://dx.doi.org/10.1016/S00243795(00)002858
 11.
David
Mumford, The red book of varieties and schemes, Lecture Notes
in Mathematics, vol. 1358, SpringerVerlag, Berlin, 1988. MR 971985
(89k:14001)
 12.
S. Popovych, Positive semidefinite quadratic forms on unitary matrices, Linear Algebra Appl. 433 (2010), no. 1, 164171.
 13.
S. Popovych, On representability and representability of algebras, Houston J. Math. 36 (2010), no. 2, 591617.
 14.
Alfred
Tarski, A decision method for elementary algebra and geometry,
University of California Press, Berkeley and Los Angeles, Calif., 1951. 2nd
ed. MR
0044472 (13,423a)
 15.
Bo
Ying Wang and Fu
Zhen Zhang, A trace inequality for unitary matrices, Amer.
Math. Monthly 101 (1994), no. 5, 453–455. MR 1272947
(95a:15015), http://dx.doi.org/10.2307/2974909
 1.
 S. Agnihotri, C. Woodward, Eigenvalues of products of unitary matrices and quantum Schubert calculus, Math. Research Letters 5 (1998), 817836. MR 1671192 (2000a:14066)
 2.
 M. Bakonyi, D. Timotin, Extensions of positive definite functions on free groups, J. Funct. Anal. 246 (2007), 3149. MR 2316876 (2008g:43009)
 3.
 S. Corvez, F. Rouillier, Using computer algebra tools to classify serial manipulators, in Automated Deduction in Geometry. Lecture Notes in Comput. Sci., vol. 2930. Springer, 2004, pp. 3143. MR 2090401
 4.
 K. Dykema, K. Juschenko, Matrices of unitary moments, arXiv:0901.0288.
 5.
 W. Fulton, Eigenvalues, invariant factors, highest weights and Schubert calculus, Bull. Amer. Math. Soc. 37 (2000), 209249. MR 1754641 (2001g:15023)
 6.
 K. Juschenko, S. Popovych, Algebraic reformulation of Connes' embedding problem and the free group algebra, Israel J. Math, in press.
 7.
 E. Kirchberg, On nonsemisplit extensions, tensor products and exactness of group algebras, Invent. Math. 112 (1993), no. 3, 449489. MR 1218321 (94d:46058)
 8.
 I. Klep, M. Schweighofer, Connes' embedding conjecture and sums of Hermitian squares, Adv. Math. 217 (2008), 18161837. MR 2382741 (2009g:46109)
 9.
 D. Lazard, F. Rouillier, Solving parametric polynomial systems, J. Symbolic Comput. 42 (2007), 636667. MR 2325919 (2008g:68131)
 10.
 S. McCullough, Factorization of operator valid polynomials in several noncommuting variables, Linear Algebra Appl. 326 (2001), 193203. MR 1815959 (2002f:47035)
 11.
 D. Mumford, The red book of varieties and schemes. In Lecture Notes in Mathematics, vol. 1358, SpringerVerlag, 1988. MR 971985 (89k:14001)
 12.
 S. Popovych, Positive semidefinite quadratic forms on unitary matrices, Linear Algebra Appl. 433 (2010), no. 1, 164171.
 13.
 S. Popovych, On representability and representability of algebras, Houston J. Math. 36 (2010), no. 2, 591617.
 14.
 A. Tarski, A Decision Method for Elementary Algebra and Geometry, University of California Press, 1951. MR 0044472 (13:423a)
 15.
 B. Wang, F. Zhang, A trace inequality for unitary matrices, Amer. Math. Monthly 101 (1994), no. 5, 453455. MR 1272947 (95a:15015)
Similar Articles
Retrieve articles in Proceedings of the American Mathematical Society
with MSC (2000):
46L10,
15A48
Retrieve articles in all journals
with MSC (2000):
46L10,
15A48
Additional Information
Stanislav Popovych
Affiliation:
Department of Mathematical Sciences, Chalmers University of Technology, SE412 96 Göteborg, Sweden
Email:
popovych@univ.kiev.ua
DOI:
http://dx.doi.org/10.1090/S000299392010103143
PII:
S 00029939(2010)103143
Keywords:
Connes' Embedding Conjecture,
$II_{1}$factor,
trace,
sum of hermitian squares,
Tarski sentence,
discriminant variety.
Received by editor(s):
January 6, 2009
Received by editor(s) in revised form:
November 11, 2009
Published electronically:
June 4, 2010
Communicated by:
Marius Junge
Article copyright:
© Copyright 2010
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.
