Trace-positive complex polynomials in three unitaries
HTML articles powered by AMS MathViewer
- by Stanislav Popovych PDF
- Proc. Amer. Math. Soc. 138 (2010), 3541-3550 Request permission
Abstract:
We consider the quadratic polynomials in three unitary generators, i.e. the elements of the group $*$-algebra of the free group with generators $u_1, u_2, u_3$ of the form $f=\sum _{j, k=1}^{3}\alpha _{jk}u_{j}^{*}u_{k}$, $\alpha _{jk} \in \mathbb {C}$. We prove that if $f$ is self-adjoint and $\mathrm {Tr}(f(U_{1}, U_2 ,U_{3}))\ge 0$ for arbitrary unitary matrices $U_{1}, U_2, U_3$, then $f$ 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 $a_1, a_2, a_3, a_4$ such that there are unitary operators $U_1, \ldots , U_4$ connected by the linear relation $a_1 U_1+a_2 U_2 +a_3 U_3 +a_4 U_4 =0$.
References
- 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, DOI 10.4310/MRL.1998.v5.n6.a10
- M. Bakonyi and D. Timotin, Extensions of positive definite functions on free groups, J. Funct. Anal. 246 (2007), no. 1, 31–49. MR 2316876, DOI 10.1016/j.jfa.2007.01.015
- 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, DOI 10.1007/978-3-540-24616-9_{3}
- K. Dykema, K. Juschenko, Matrices of unitary moments, arXiv:0901.0288.
- William Fulton, Eigenvalues, invariant factors, highest weights, and Schubert calculus, Bull. Amer. Math. Soc. (N.S.) 37 (2000), no. 3, 209–249. MR 1754641, DOI 10.1090/S0273-0979-00-00865-X
- K. Juschenko, S. Popovych, Algebraic reformulation of Connes’ embedding problem and the free group algebra, Israel J. Math, in press.
- Eberhard Kirchberg, On nonsemisplit extensions, tensor products and exactness of group $C^*$-algebras, Invent. Math. 112 (1993), no. 3, 449–489. MR 1218321, DOI 10.1007/BF01232444
- Igor Klep and Markus Schweighofer, Connes’ embedding conjecture and sums of Hermitian squares, Adv. Math. 217 (2008), no. 4, 1816–1837. MR 2382741, DOI 10.1016/j.aim.2007.09.016
- Daniel Lazard and Fabrice Rouillier, Solving parametric polynomial systems, J. Symbolic Comput. 42 (2007), no. 6, 636–667. MR 2325919, DOI 10.1016/j.jsc.2007.01.007
- Scott McCullough, Factorization of operator-valued polynomials in several non-commuting variables, Linear Algebra Appl. 326 (2001), no. 1-3, 193–203. MR 1815959, DOI 10.1016/S0024-3795(00)00285-8
- David Mumford, The red book of varieties and schemes, Lecture Notes in Mathematics, vol. 1358, Springer-Verlag, Berlin, 1988. MR 971985, DOI 10.1007/978-3-662-21581-4
- S. Popovych, Positive semidefinite quadratic forms on unitary matrices, Linear Algebra Appl. 433 (2010), no. 1, 164–171.
- S. Popovych, On $O^*$-representability and $C^*$-representability of $*$-algebras, Houston J. Math. 36 (2010), no. 2, 591–617.
- Alfred Tarski, A decision method for elementary algebra and geometry, University of California Press, Berkeley-Los Angeles, Calif., 1951. 2nd ed. MR 0044472, DOI 10.1525/9780520348097
- Bo Ying Wang and Fu Zhen Zhang, A trace inequality for unitary matrices, Amer. Math. Monthly 101 (1994), no. 5, 453–455. MR 1272947, DOI 10.2307/2974909
Additional Information
- Stanislav Popovych
- Affiliation: Department of Mathematical Sciences, Chalmers University of Technology, SE-412 96 Göteborg, Sweden
- Email: popovych@univ.kiev.ua
- 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
- © Copyright 2010
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 138 (2010), 3541-3550
- MSC (2000): Primary 46L10; Secondary 15A48
- DOI: https://doi.org/10.1090/S0002-9939-2010-10314-3
- MathSciNet review: 2661554