arXiv subjects

Igor Klep

Publications and source records attributed to Igor Klep.

At least 55 records · Page 3Linked to original sources

arXiv2021

Positive univariate trace polynomials

A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses global and constrained positivity of univariate trace polynomials on symmetric matrices of all finite sizes. A tracial analog of Artin's solution to Hilbert's 17th problem is given: a positive semidefinite univariate trace polynomial is a quotient of sums of products of squares and traces of squares of trace polynomials.

math.RA↗

arXiv2020

Sparse Noncommutative Polynomial Optimization

This article focuses on optimization of polynomials in noncommuting variables, while taking into account sparsity in the input data. A converging hierarchy of semidefinite relaxations for eigenvalue and trace optimization is provided. This hierarchy is a noncommutative analogue of results due to Lasserre [SIAM J. Optim. 17(3) (2006), pp. 822--843] and Waki et al. [SIAM J. Optim. 17(1) (2006), pp. 218--242]. The Gelfand-Naimark-Segal (GNS) construction is applied to extract optimizers if flatness and irreducibility conditions are satisfied. Among the main techniques used are amalgamation results from operator algebra. The theoretical results are utilized to compute lower bounds on minimal eigenvalue and trace of noncommutative polynomials from the literature.

math.OC↗

arXiv2020

Multipartite rational functions

Consider a tensor product of free algebras over a field $k$, the so-called multipartite free algebra $A=k \langle X^{(1)}\rangle\otimes\cdots\otimes k\langle X^{(G)}\rangle$. It is well-known that $A$ is a domain, but not a fir nor even a Sylvester domain. Inspired by recent advances in free analysis, formal rational expressions over $A$ together with their matrix representations in $M_{n_1}(k)\otimes\cdots\otimes M_{n_G}(k)$ are employed to construct a skew field of fractions $U$ of $A$, whose elements are called multipartite rational functions. It is shown that $U$ is the universal skew field of fractions of $A$ in the sense of Cohn. As a consequence a multipartite analog of Amitsur's theorem on rational identities relating evaluations in matrices over $k$ to evaluations in skew fields is obtained. The characterization of $U$ in terms of matrix evaluations fits naturally into the wider context of free noncommutative function theory, where multipartite rational functions are interpreted as higher order noncommutative rational functions with an associated difference-differential calculus and linear realization theory. Along the way an explicit construction of the universal skew field of fractions of $D\otimes k\langle X\rangle$ for an arbitrary skew field $D$ is given using matrix evaluations and formal rational expressions.

math.RA↗

arXiv2020

Noncommutative rational functions invariant under the action of a finite solvable group

This paper describes the structure of invariant skew fields for linear actions of finite solvable groups on free skew fields in $d$ generators. These invariant skew fields are always finitely generated, which contrasts with the free algebra case. For abelian groups or solvable groups $G$ with a well-behaved representation theory it is shown that the invariant skew fields are free on $|G|(d-1)+1$ generators. Finally, positivity certificates for invariant rational functions in terms of sums of squares of invariants are presented.

math.RA↗

arXiv2020

Factorization of noncommutative polynomials and Nullstellensätze for the free algebra

This article gives a class of Nullstellensätze for noncommutative polynomials. The singularity set of a noncommutative polynomial $f=f(x_1,\dots,x_g)$ is $Z(f)=(Z_n(f))_n$, where $Z_n(f)=\{X \in M_n^g: \det f(X) = 0\}.$ The first main theorem of this article shows that the irreducible factors of $f$ are in a natural bijective correspondence with irreducible components of $Z_n(f)$ for every sufficiently large $n$. With each polynomial $h$ in $x$ and $x^*$ one also associates its real singularity set $Z^{re}(h)=\{X: \det h(X,X^*)=0\}$. A polynomial $f$ which depends on $x$ alone (no $x^*$ variables) will be called analytic. The main Nullstellensatz proved here is as follows: for analytic $f$ but for $h$ dependent on possibly both $x$ and $x^*$, the containment $Z(f) \subseteq Z^{re}(h)$ is equivalent to each factor of $f$ being "stably associated" to a factor of $h$ or of $h^*$. For perspective, classical Hilbert type Nullstellensätze typically apply only to analytic polynomials $f,h $, while real Nullstellensätze typically require adjusting the functions by sums of squares of polynomials (sos). Since the above "algebraic certificate" does not involve a sos, it seems justified to think of this as the natural determinantal Hilbert Nullstellensatz. An earlier paper of the authors (Adv. Math. 331 (2018) 589-626) obtained such a theorem for special classes of analytic polynomials $f$ and $h$. This paper requires few hypotheses and hopefully brings this type of Nullstellensatz to near final form. Finally, the paper gives a Nullstellensatz for zeros $V(f)=\{X: f(X,X^*)=0\}$ of a hermitian polynomial $f$, leading to a strong Positivstellensatz for quadratic free semialgebraic sets by the use of a slack variable.

math.RA↗

arXiv2019

Bianalytic free maps between spectrahedra and spectraballs

Linear matrix inequalities (LMIs) are ubiquitous in real algebraic geometry, semidefinite programming, control theory and signal processing. LMIs with (dimension free) matrix unknowns are central to the theories of completely positive maps and operator algebras, operator systems and spaces, and serve as the paradigm for matrix convex sets. The matricial feasibility set of an LMI is called a free spectrahedron. In this article, the bianalytic maps between a very general class of ball-like free spectrahedra (examples of which include row or column contractions, and tuples of contractions) and arbitrary free spectrahedra are characterized and seen to have an elegant algebraic form. They are all highly structured rational maps. In the case that both the domain and codomain are ball-like, these bianalytic maps are explicitly determined and the article gives necessary and sufficient conditions for the existence of such a map with a specified value and derivative at a point. In particular, this leads to a classification of automorphism groups of ball-like free spectrahedra. The results depend on a novel free Nullstellensatz, established only after new tools in free analysis are developed and applied to obtain fine detail, geometric in nature locally and algebraic in nature globally, about the boundary of ball-like free spectrahedra.

math.FA↗

arXiv2019

Local theory of free noncommutative functions: germs, meromorphic functions and Hermite interpolation

Free analysis is a quantization of the usual function theory much like operator space theory is a quantization of classical functional analysis. Basic objects of free analysis are noncommutative functions. These are maps on tuples of matrices of all sizes that preserve direct sums and similarities. This paper investigates the local theory of noncommutative functions. The first main result shows that for a scalar point $Y$, the ring $O_Y$ of uniformly analytic noncommutative germs about $Y$ is an integral domain and admits a universal skew field of fractions, whose elements are called meromorphic germs. A corollary is a local-global rank principle that connects ranks of matrix evaluations of a matrix $A$ over $O_Y$ with the factorization of $A$ over $O_Y$. Different phenomena occur for a semisimple tuple of non-scalar matrices $Y$. Here it is shown that $O_Y$ contains copies of the matrix algebra generated by $Y$. In particular, there exist nonzero nilpotent uniformly analytic functions defined in a neighborhood of $Y$, and $O_Y$ does not embed into a skew field. Nevertheless, the ring $O_Y$ is described as the completion of a free algebra with respect to the vanishing ideal at $Y$. This is a consequence of the second main result, a free Hermite interpolation theorem: if $f$ is a noncommutative function, then for any finite set of semisimple points and a natural number $L$ there exists a noncommutative polynomial that agrees with $f$ at the chosen points up to differentials of order $L$. All the obtained results also have analogs for (non-uniformly) analytic germs and formal germs.

math.RA↗

arXiv2019

Noncommutative partial convexity via $Γ$-convexity

Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a tuple of symmetric polynomials $Γ$, a free set is called $Γ$-convex if it closed under isometric conjugation by isometries intertwining $Γ$. We establish an Effros-Winkler Hahn-Banach separation theorem for $Γ$-convex sets; they are delineated by linear pencils in the coordinates of $Γ$ and the variables $x$.

math.FA↗

arXiv2019

Plurisubharmonic Noncommutative Rational Functions

A noncommutative (nc) function in $x_1,\dots,x_g,x_1^*,\dots,x_g$ is called plurisubharmonic (plush) if its nc complex Hessian takes only positive semidefinite values on an nc neighborhood of 0. The main result of this paper shows that an nc rational function is plush if and only if it is a composite of a convex rational function with an analytic (no $x_j^*$) rational function. The proof is entirely constructive. Further, a simple computable necessary and sufficient condition for an nc rational function to be plush is given in terms of its minimal realization.

math.FA↗

arXiv2019

Extreme points of matrix convex sets, free spectrahedra and dilation theory

For matrix convex sets a unified geometric interpretation of notions of extreme points and of Arveson boundary points is given. These notions include, in increasing order of strength, the core notions of "Euclidean" extreme points, "matrix" extreme points, and "absolute" extreme points. A seemingly different notion, the "Arveson boundary", has by contrast a dilation theoretic flavor. An Arveson boundary point is an analog of a (not necessarily irreducible) boundary representation for an operator system. This article provides and explores dilation theoretic formulations for the above notions of extreme points. The scalar solution set of a linear matrix inequality (LMI) is known as a spectrahedron. The matricial solution set of an LMI is a free spectrahedron. Spectrahedra (resp. free spectrahedra) lie between general convex sets (resp. matrix convex sets) and convex polyhedra (resp. free polyhedra). As applications of our theorems on extreme points, it is shown the polar dual of a matrix convex set K is generated, as a matrix convex set, by finitely many Arveson boundary points if and only if K is a free spectrahedron; and if the polar dual of a free spectrahedron K is again a free spectrahedron, then at the scalar level K is a polyhedron.

math.OA↗

arXiv2019

Free bianalytic maps between spectrahedra and spectraballs in a generic setting

Given a tuple $E=(E_1,\dots,E_g)$ of $d\times d$ matrices, the collection of those tuples of matrices $X=(X_1,\dots,X_g)$ (of the same size) such that $\| \sum E_j\otimes X_j\|\le 1$ is called a spectraball $\mathcal B_E$. Likewise, given a tuple $B=(B_1,\dots,B_g)$ of $e\times e$ matrices the collection of tuples of matrices $X=(X_1,\dots,X_g)$ (of the same size) such that $I + \sum B_j\otimes X_j +\sum B_j^* \otimes X_j^*\succeq 0$ is a free spectrahedron $\mathcal D_B$. Assuming $E$ and $B$ are irreducible, plus an additional mild hypothesis, there is a free bianalytic map $p:\mathcal B_E\to \mathcal D_B$ normalized by $p(0)=0$ and $p'(0)=I$ if and only if $\mathcal B_E=\mathcal B_B$ and $B$ spans an algebra. Moreover $p$ is unique, rational and has an elegant algebraic representation.

math.FA↗

arXiv2018

Bianalytic Maps Between Free Spectrahedra

Linear matrix inequalities (LMIs) $I_d + \sum_{j=1}^g A_jx_j + \sum_{j=1}^g A_j^*x_j^*\succeq0$ play a role in many areas of applications and the set of solutions to one is called a spectrahedron. LMIs in (dimension--free) matrix variables model most problems in linear systems engineering, and their solution sets D_A are called free spectrahedra. These are exactly the free semialgebraic convex sets. This paper studies free analytic maps between free spectrahedra and, under certain irreducibility assumptions, classifies all those that are bianalytic. The foundation of such maps turns out to be a very small class of birational maps we call convexotonic. The convexotonic maps in g variables sit in correspondence with g-dimensional algebras. If two bounded free spectrahedra D_A and D_B meeting our irreducibility assumptions are free bianalytic with map denoted p, then p must (after possibly an affine linear transform) extend to a convexotonic map corresponding to a g-dimensional algebra spanned by (U-I)A_1,...,(U-I)A_g for some unitary U. Furthermore, B and UA are unitarily equivalent. The article also establishes a Positivstellensatz for free analytic functions whose real part is positive semidefinite on a free spectrahedron and proves a representation for a free analytic map from D_A to D_B (not necessarily bianalytic). Another result shows that a function analytic on any radial expansion of a free spectrahedron is approximable by polynomials uniformly on the spectrahedron. These theorems are needed for classifying free bianalytic maps.

math.FA↗

arXiv2018

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ätze for trace polynomials positive on semialgebraic sets of $n\times n$ matrices are provided. A Krivine-Stengle-type Positivstellensatz is proved characterizing trace polynomials nonnegative on a general semialgebraic set $K$ using weighted sums of hermitian squares with denominators. The weights in these certificates are obtained from generators of $K$ and traces of hermitian squares. For compact semialgebraic sets $K$ Schmüdgen- and Putinar-type Positivstellensätze are obtained: every trace polynomial positive on $K$ 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 $n$: is every totally positive element a sum of hermitian squares? They gave an affirmative answer for $n=2$. In this paper a negative answer for $n=3$ is presented. Consequently, including traces of hermitian squares as weights in the Positivstellensätze is indispensable.

math.RA↗

arXiv2018

Geometry of free loci and factorization of noncommutative polynomials

The free singularity locus of a noncommutative polynomial f is defined to be the sequence $Z_n(f)=\{X\in M_n^g : \det f(X)=0\}$ of hypersurfaces. The main theorem of this article shows that f is irreducible if and only if $Z_n(f)$ 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.

math.RA↗

arXiv2018

A Matrix Positivstellensatz with lifting polynomials

Given the projections of two semialgebraic sets defined by polynomial matrix inequalities, it is in general difficult to determine whether one is contained in the other. To address this issue we propose a new matrix Positivstellensatz that uses lifting polynomials. Under the classical archimedean condition and some mild natural assumptions, we prove that such a containment holds if and only if the proposed matrix Positivstellensatz is satisfied. The corresponding certificate can be searched for by solving a semidefinite program. An important application is to certify when a spectrahedrop (i.e., the projection of a spectrahedron) is contained in another one.

math.OC↗

arXiv2017

Free loci of matrix pencils and domains of noncommutative rational functions

Consider a monic linear pencil $L(x) = I - A_1x_1 - \cdots - A_gx_g$ whose coefficients $A_j$ are $d \times d$ matrices. It is naturally evaluated at $g$-tuples of matrices $X$ using the Kronecker tensor product, which gives rise to its free locus $Z(L) = \{ X: \det L(X) = 0 \}$. In this article it is shown that the algebras $A$ and $A'$ generated by the coefficients of two linear pencils $L$ and $L'$, respectively, with equal free loci are isomorphic up to radical. Furthermore, $Z(L) \subseteq Z(L')$ if and only if the natural map sending the coefficients of $L'$ to the coefficients of $L$ induces a homomorphism $A'/{\rm rad} A' \to A/{\rm rad} A$. Since linear pencils are a key ingredient in studying noncommutative rational functions via realization theory, the above results lead to a characterization of all noncommutative rational functions with a given domain. Finally, a quantum version of Kippenhahn's conjecture on linear pencils is formulated and proved: if hermitian matrices $A_1, \dots, A_g$ generate $M_d(\mathbb{C})$ as an algebra, then there exist hermitian matrices $X_1, \dots, X_g$ such that $\sum_i A_i \otimes X_i$ has a simple eigenvalue.

math.RA↗

arXiv2017

There are many more positive maps than completely positive maps

A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the fraction of positive maps that are completely positive are proved. A main tool are real algebraic geometry techniques developed by Blekherman to study the gap between positive polynomials and sums of squares. Finally, an algorithm to produce positive maps which are not completely positive is given.

math.FA↗

arXiv2017

Skolem-Noether algebras

An algebra $S$ is called a Skolem-Noether algebra (SN algebra for short) if for every central simple algebra $R$, every homomorphism $R\to R\otimes S$ extends to an inner automorphism of $R\otimes S$. One of the important properties of such an algebra is that each automorphism of a matrix algebra over $S$ is the composition of an inner automorphism with an automorphism of $S$. The bulk of the paper is devoted to finding properties and examples of SN algebras. The classical Skolem-Noether theorem implies that every central simple algebra is SN. In this article it is shown that actually so is every semilocal, and hence every finite-dimensional algebra. Not every domain is SN, but, for instance, unique factorization domains, polynomial algebras and free algebras are. Further, an algebra $S$ is SN if and only if the power series algebra $S[[ξ]]$ is SN.

math.RA↗