Proper Analytic Free Maps

This paper concerns analytic free maps. These maps are free analogs of classical analytic functions in several complex variables, and are defined in terms of non-commuting variables amongst which there are no relations - they are free variables. Analytic free maps include vector-valued polynomials in free (non-commuting) variables and form a canonical class of mappings from one non-commutative domain D in say g variables to another non-commutative domain D' in g' variables. As a natural extension of the usual notion, an analytic free map is proper if it maps the boundary of D into the boundary of D'. Assuming that both domains contain 0, we show that if f:D->D' is a proper analytic free map, and f(0)=0, then f is one-to-one. Moreover, if also g=g', then f is invertible and f^(-1) is also an analytic free map. These conclusions on the map f are the strongest possible without additional assumptions on the domains D and D'.Comment: 17 pages, final version. To appear in the Journal of Functional Analysi

The convex Positivstellensatz in a free algebra

Given a monic linear pencil L in g variables let D_L be its positivity domain, i.e., the set of all g-tuples X of symmetric matrices of all sizes making L(X) positive semidefinite. Because L is a monic linear pencil, D_L is convex with interior, and conversely it is known that convex bounded noncommutative semialgebraic sets with interior are all of the form D_L. The main result of this paper establishes a perfect noncommutative Nichtnegativstellensatz on a convex semialgebraic set. Namely, a noncommutative polynomial p is positive semidefinite on D_L if and only if it has a weighted sum of squares representation with optimal degree bounds: p = s^* s + \sum_j f_j^* L f_j, where s, f_j are vectors of noncommutative polynomials of degree no greater than 1/2 deg(p). This noncommutative result contrasts sharply with the commutative setting, where there is no control on the degrees of s, f_j and assuming only p nonnegative, as opposed to p strictly positive, yields a clean Positivstellensatz so seldom that such cases are noteworthy.Comment: 22 page

A Semidefinite Approach for Truncated K-Moment Problems

A truncated moment sequence (tms) of degree d is a vector indexed by monomials whose degree is at most d. Let K be a semialgebraic set.The truncated K-moment problem (TKMP) is: when does a tms y admit a positive Borel measure supported? This paper proposes a semidefinite programming (SDP) approach for solving TKMP. When K is compact, we get the following results: whether a tms y of degree d admits a K-measure or notcan be checked via solving a sequence of SDP problems; when y admits no K-measure, a certificate will be given; when y admits a K-measure, a representing measure for y would be obtained from solving the SDP under some necessary and some sufficient conditions. Moreover, we also propose a practical SDP method for finding flat extensions, which in our numerical experiments always finds a finitely atomic representing measure for a tms when it admits one

The possible shapes of numerical ranges

Which convex subsets of the complex plane are the numerical range W(A of some matrix A? This paper gives a precise characterization of these sets. In addition to this we show that for any A there exists a symmetric matrix B of the same size such that W(A)=W(B).Comment: 4 page

On real one-sided ideals in a free algebra

In classical and real algebraic geometry there are several notions of the radical of an ideal I. There is the vanishing radical defined as the set of all real polynomials vanishing on the real zero set of I, and the real radical defined as the smallest real ideal containing I. By the real Nullstellensatz they coincide. This paper focuses on extensions of these to the free algebra R of noncommutative real polynomials in x=(x_1,...,x_g) and x^*=(x_1^*,...,x_g^*). We work with a natural notion of the (noncommutative real) zero set V(I) of a left ideal I in the free algebra. The vanishing radical of I is the set of all noncommutative polynomials p which vanish on V(I). In this paper our quest is to find classes of left ideals I which coincide with their vanishing radical. We completely succeed for monomial ideals and homogeneous principal ideals. We also present the case of principal univariate ideals with a degree two generator and find that it is very messy. Also we give an algorithm (running under NCAlgebra) which checks if a left ideal is radical or is not, and illustrate how one uses our implementation of it.Comment: v1: 31 pages; v2: 32 page