133 research outputs found
Positive trace polynomials and the universal Procesi-Schacher conjecture
Positivstellensatz is a fundamental result in real algebraic geometry
providing algebraic certificates for positivity of polynomials on semialgebraic
sets. In this article Positivstellens\"atze for trace polynomials positive on
semialgebraic sets of matrices are provided. A Krivine-Stengle-type
Positivstellensatz is proved characterizing trace polynomials nonnegative on a
general semialgebraic set using weighted sums of hermitian squares with
denominators. The weights in these certificates are obtained from generators of
and traces of hermitian squares. For compact semialgebraic sets
Schm\"udgen- and Putinar-type Positivstellens\"atze are obtained: every trace
polynomial positive on has a sum of hermitian squares decomposition with
weights and without denominators. The methods employed are inspired by
invariant theory, classical real algebraic geometry and functional analysis.
Procesi and Schacher in 1976 developed a theory of orderings and positivity
on central simple algebras with involution and posed a Hilbert's 17th problem
for a universal central simple algebra of degree : is every totally positive
element a sum of hermitian squares? They gave an affirmative answer for .
In this paper a negative answer for is presented. Consequently, including
traces of hermitian squares as weights in the Positivstellens\"atze is
indispensable
Geometry of free loci and factorization of noncommutative polynomials
The free singularity locus of a noncommutative polynomial f is defined to be
the sequence of hypersurfaces. The main
theorem of this article shows that f is irreducible if and only if is
eventually irreducible. A key step in the proof is an irreducibility result for
linear pencils. Apart from its consequences to factorization in a free algebra,
the paper also discusses its applications to invariant subspaces in
perturbation theory and linear matrix inequalities in real algebraic geometry.Comment: v2: 32 pages, includes a table of content
- …