We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Noncommutative polynomials describing convex sets

00:00

Formal Metadata

Title
Noncommutative polynomials describing convex sets
Title of Series
Number of Parts
24
Author
Contributors
License
CC Attribution - NonCommercial - NoDerivatives 4.0 International:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
The semialgebraic set Df determined by a noncommutative polynomial f is the closure of the connected component of {(X,X∗):f(X,X∗)≻0} containing the origin. When L is a linear pencil, the semialgebraic set DL is the feasible set of the linear matrix inequality L(X,X∗)⪰0 and is known as a free spectrahedron. Evidently these are convex and by a theorem of Helton \& McCullough, a free semialgebraic set is convex if and only it is a free spectrahedron. \\\\ In this talk we solve the basic problem of determining those f for which Df is convex. The solution leads to an effective algorithm that not only determines if Df is convex, but if so, produces a minimal linear pencil L such that Df=DL. Of independent interest is a subalgorithm based on a Nichtsingulärstellensatz: given linear pencils L,L′, it determines if L′ takes invertible values on the interior of DL. Finally, it is shown that if Df is convex for an irreducible noncommutative polynomial, then f has degree at most two, and arises as the Schur complement of an L such that Df=DL.