-
Positive Moments Forever: Undecidable and Decidable Cases
Authors:
Gemma De les Coves,
Joshua Graf,
Andreas Klingler,
Tim Netzer
Abstract:
Is there an algorithm to determine attributes such as positivity or non-zeroness of linear recurrence sequences? This long-standing question is known as Skolem's problem. In this paper, we study the complexity of an equivalent problem, namely the (generalized) moment membership problem for matrices. We show that this problem is decidable for orthogonal, unitary and real eigenvalue matrices, and un…
▽ More
Is there an algorithm to determine attributes such as positivity or non-zeroness of linear recurrence sequences? This long-standing question is known as Skolem's problem. In this paper, we study the complexity of an equivalent problem, namely the (generalized) moment membership problem for matrices. We show that this problem is decidable for orthogonal, unitary and real eigenvalue matrices, and undecidable for matrices over certain commutative and non-commutative polynomial rings. Our results imply that the positivity problem for simple unitary linear recurrence sequences is decidable, and is undecidable for linear recurrence sequences over the ring of commutative polynomials. As a byproduct, we prove a free version of Polya's theorem.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Homotopy Methods for Convex Optimization
Authors:
Andreas Klingler,
Tim Netzer
Abstract:
Convex optimization encompasses a wide range of optimization problems, containing many efficiently solvable subclasses. Interior point methods are currently the state-of-the-art approach for solving such problems, particularly effective for classes like semidefinite programming, quadratic programming, and geometric programming. However, their success hinges on the construction of self-concordant b…
▽ More
Convex optimization encompasses a wide range of optimization problems, containing many efficiently solvable subclasses. Interior point methods are currently the state-of-the-art approach for solving such problems, particularly effective for classes like semidefinite programming, quadratic programming, and geometric programming. However, their success hinges on the construction of self-concordant barrier functions for the feasible sets. In this work, we introduce an alternative method for tackling convex optimization problems, employing a homotopy. With this technique, the feasible set of a trivial optimization problem is continuously transformed into the target one, while tracking the solutions. We conduct an analysis of this approach, focusing on its application to semidefinite programs, hyperbolic programs, and convex optimization problems with a single convexity constraint. Moreover, we demonstrate that our approach numerically outperforms state-of-the-art methods in several interesting cases.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Beyond Operator Systems
Authors:
Gemma De les Coves,
Mirte van der Eyden,
Tim Netzer
Abstract:
Operator systems connect operator algebra, free semialgebraic geometry and quantum information theory. In this work we generalize operator systems and many of their theorems. While positive semidefinite matrices form the underlying structure of operator systems, our work shows that these can be promoted to far more general structures. For instance, we prove a general extension theorem which unifie…
▽ More
Operator systems connect operator algebra, free semialgebraic geometry and quantum information theory. In this work we generalize operator systems and many of their theorems. While positive semidefinite matrices form the underlying structure of operator systems, our work shows that these can be promoted to far more general structures. For instance, we prove a general extension theorem which unifies the well-known homomorphism theorem, Riesz' extension theorem, Farkas' lemma and Arveson's extension theorem. On the other hand, the same theorem gives rise to new vector-valued extension theorems, even for invariant maps, when applied to other underlying structures. We also prove generalized versions of the Choi-Kraus representation, Choi-Effros theorem, duality of operator systems, factorizations of completely positive maps, and more, leading to new results even for operator systems themselves. In addition, our proofs are shorter and simpler, revealing the interplay between cones and tensor products, captured elegantly in terms of star autonomous categories. This perspective gives rise to new connections between group representations, map** cones and topological quantum field theory, as they correspond to different instances of our framework and are thus siblings of operator systems.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Border Ranks of Positive and Invariant Tensor Decompositions: Applications to Correlations
Authors:
Andreas Klingler,
Tim Netzer,
Gemma De les Coves
Abstract:
The matrix rank and its positive versions are robust for small approximations, i.e. they do not decrease under small perturbations. In contrast, the multipartite tensor rank can collapse for arbitrarily small errors, i.e. there may be a gap between rank and border rank, leading to instabilities in the optimization over sets with fixed tensor rank. Can multipartite positive ranks also collapse for…
▽ More
The matrix rank and its positive versions are robust for small approximations, i.e. they do not decrease under small perturbations. In contrast, the multipartite tensor rank can collapse for arbitrarily small errors, i.e. there may be a gap between rank and border rank, leading to instabilities in the optimization over sets with fixed tensor rank. Can multipartite positive ranks also collapse for small perturbations? In this work, we prove that multipartite positive and invariant tensor decompositions exhibit gaps between rank and border rank, including tensor rank purifications and cyclic separable decompositions. We also prove a correspondence between positive decompositions and membership in certain sets of multipartite probability distributions, and leverage the gaps between rank and border rank to prove that these correlation sets are not closed. It follows that testing membership of probability distributions arising from resources like translational invariant Matrix Product States is impossible in finite time. Overall, this work sheds light on the instability of ranks and the unique behavior of bipartite systems.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
Classifying Linear Matrix Inequalities via Abstract Operator Systems
Authors:
Martin Berger,
Tom Drescher,
Tim Netzer
Abstract:
We systematically study how properties of abstract operator systems help classifying linear matrix inequality definitions of sets. Our main focus is on polyhedral cones, the 3-dimensional Lorentz cone, where we can completely describe all defining linear matrix inequalities, and on the cone of positive semidefinite matrices. Here we use results on isometries between matrix algebras to describe lin…
▽ More
We systematically study how properties of abstract operator systems help classifying linear matrix inequality definitions of sets. Our main focus is on polyhedral cones, the 3-dimensional Lorentz cone, where we can completely describe all defining linear matrix inequalities, and on the cone of positive semidefinite matrices. Here we use results on isometries between matrix algebras to describe linear matrix inequality definitions of relatively small size. We conversely use the theory of operator systems to characterize special such isometries.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
A note on polynomial equations over algebras
Authors:
Maximilian Illmer,
Tim Netzer
Abstract:
We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the fundamental theorem of algebra for quaternions to polynomials with two monomials in the leading form, while showing that it fails for three.
We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the fundamental theorem of algebra for quaternions to polynomials with two monomials in the leading form, while showing that it fails for three.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Magic squares: Latin, Semiclassical and Quantum
Authors:
Gemma De las Cuevas,
Tim Netzer,
Inga Valentiner-Branth
Abstract:
Quantum magic squares were recently introduced as a 'magical' combination of quantum measurements. In contrast to quantum measurements, they cannot be purified (i.e. dilated to a quantum permutation matrix) -- only the so-called semiclassical ones can. Purifying establishes a relation to an ideal world of fundamental theoretical and practical importance; the opposite of purifying is described by t…
▽ More
Quantum magic squares were recently introduced as a 'magical' combination of quantum measurements. In contrast to quantum measurements, they cannot be purified (i.e. dilated to a quantum permutation matrix) -- only the so-called semiclassical ones can. Purifying establishes a relation to an ideal world of fundamental theoretical and practical importance; the opposite of purifying is described by the matrix convex hull. In this work, we prove that semiclassical magic squares can be purified to quantum Latin squares, which are 'magical' combinations of orthonormal bases. Conversely, we prove that the matrix convex hull of quantum Latin squares is larger than the semiclassical ones. This tension is resolved by our third result: We prove that the quantum Latin squares that are semiclassical are precisely those constructed from a classical Latin square. Our work sheds light on the internal structure of quantum magic squares, on how this is affected by the matrix convex hull, and, more generally, on the nature of the 'magical' composition rule, both at the semiclassical and quantum level.
△ Less
Submitted 7 October, 2022; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Halos and undecidability of tensor stable positive maps
Authors:
Mirte van der Eyden,
Tim Netzer,
Gemma De las Cuevas
Abstract:
A map $\mathcal{P}$ is tensor stable positive (tsp) if $\mathcal{P}^{\otimes n}$ is positive for all $n$, and essential tsp if it is not completely positive or completely co-positive. Are there essential tsp maps? Here we prove that there exist essential tsp maps on the hypercomplex numbers. It follows that there exist bound entangled states with a negative partial transpose (NPT) on the hypercomp…
▽ More
A map $\mathcal{P}$ is tensor stable positive (tsp) if $\mathcal{P}^{\otimes n}$ is positive for all $n$, and essential tsp if it is not completely positive or completely co-positive. Are there essential tsp maps? Here we prove that there exist essential tsp maps on the hypercomplex numbers. It follows that there exist bound entangled states with a negative partial transpose (NPT) on the hypercomplex, that is, there exists NPT bound entanglement in the halo of quantum states. We also prove that tensor stable positivity on the matrix multiplication tensor is undecidable, and conjecture that tensor stable positivity is undecidable. Proving this conjecture would imply existence of essential tsp maps, and hence of NPT bound entangled states.
△ Less
Submitted 16 January, 2023; v1 submitted 5 October, 2021;
originally announced October 2021.
-
Abstract Operator Systems over the Cone of Positive Semidefinite Matrices
Authors:
Martin Berger,
Tim Netzer
Abstract:
There are several important abstract operator systems with the convex cone of positive semidefinite matrices at the first level. Well-known are the operator systems of separable matrices, of positive semidefinite matrices, and of block positive matrices. In terms of maps, these are the operator systems of entanglement breaking, completely positive, and positive linear maps, respectively. But there…
▽ More
There are several important abstract operator systems with the convex cone of positive semidefinite matrices at the first level. Well-known are the operator systems of separable matrices, of positive semidefinite matrices, and of block positive matrices. In terms of maps, these are the operator systems of entanglement breaking, completely positive, and positive linear maps, respectively. But there exist other interesting and less well-studied such operator systems, for example those of completely copositive maps, doubly completely positive maps, and decomposable maps, which all play an important role in quantum information theory. We investigate which of these systems is finitely generated, and which admits a finite-dimensional realization in the sense of the Choi-Effros Theorem. We answer this question for all of the described systems completely. Our main contribution is that decomposable maps form a system which does not admit a finite-dimensional realization, though being finitely generated, whereas the system of doubly completely positive maps is not finitely generated, though having a finite-dimensional realization. This also implies that there cannot exist a finitary Choi-type characterization of doubly completely positive maps.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Polynomial decompositions with invariance and positivity inspired by tensors
Authors:
Gemma De las Cuevas,
Andreas Klingler,
Tim Netzer
Abstract:
We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we transfer results about decomposition structures, invariance under permutations of variables, positivity, rank inequalities and separations, approximations, and undeci…
▽ More
We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we transfer results about decomposition structures, invariance under permutations of variables, positivity, rank inequalities and separations, approximations, and undecidability to real polynomials. Specifically, we define invariant decompositions of polynomials and characterize which polynomials admit such decompositions. We then include positivity: We define invariant separable and sum-of-squares decompositions, and characterize the polynomials similarly. We provide inequalities and separations between the ranks of the decompositions, and show that the separations are not robust with respect to approximations. For cyclically invariant decompositions, we show that it is undecidable whether the polynomial is nonnegative or sum-of-squares for all system sizes. Our work sheds new light on polynomials by putting them on an equal footing with tensors, and opens the door to extending this framework to other tensor product structures.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Approximate Pythagoras Numbers on $*$-algebras over $\mathbb{C}$
Authors:
Paria Abbasi,
Sander Gribling,
Andreas Klingler,
Tim Netzer
Abstract:
The Pythagoras number of a sum of squares is the shortest length among its sums of squares representations. In many algebras, for example real polynomial algebras in two or more variables, there exists no upper bound on the Pythagoras number for all sums of squares. In this paper, we study how Pythagoras numbers in $*$-algebras over $\mathbb{C}$ behave with respect to small perturbations of elemen…
▽ More
The Pythagoras number of a sum of squares is the shortest length among its sums of squares representations. In many algebras, for example real polynomial algebras in two or more variables, there exists no upper bound on the Pythagoras number for all sums of squares. In this paper, we study how Pythagoras numbers in $*$-algebras over $\mathbb{C}$ behave with respect to small perturbations of elements. More precisely, the approximate Pythagoras number of an element is the smallest Pythagoras number among all elements in its $\varepsilon$-ball. We show that these approximate Pythagoras numbers are often significantly smaller than their exact versions, and allow for (almost) dimension-independent upper bounds. Our results use low-rank approximations for Gram matrices of sums of squares and estimates for the operator norm of the Gram map.
△ Less
Submitted 26 July, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Quantum Information Theory and Free Semialgebraic Geometry: One Wonderland Through Two Looking Glasses
Authors:
Gemma De Las Cuevas,
Tim Netzer
Abstract:
We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic squares, quantum correlations in non-local games, and positivity in tensor networks, and we show the benefits of combining the two perspectives. This paper is an invi…
▽ More
We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic squares, quantum correlations in non-local games, and positivity in tensor networks, and we show the benefits of combining the two perspectives. This paper is an invitation to consider the intersection of the two fields, and should be accessible for researchers from either field.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Approximate Completely Positive Semidefinite Factorizations and their Ranks
Authors:
Paria Abbasi,
Andreas Klingler,
Tim Netzer
Abstract:
In this paper we show the existence of approximate completely positive semidefinite (cpsd) factorizations with a cpsd-rank bounded above (almost) independently from the cpsd-rank of the initial matrix. This is particularly relevant since the cpsd-rank of a matrix cannot, in general, be upper bounded by a function only depending on its size. For this purpose, we make use of the Approximate Caratheo…
▽ More
In this paper we show the existence of approximate completely positive semidefinite (cpsd) factorizations with a cpsd-rank bounded above (almost) independently from the cpsd-rank of the initial matrix. This is particularly relevant since the cpsd-rank of a matrix cannot, in general, be upper bounded by a function only depending on its size. For this purpose, we make use of the Approximate Caratheodory Theorem in order to construct an approximate matrix with a low-rank Gram representation. We then employ the Johnson-Lindenstrauss Lemma to improve to a logarithmic dependence of the cpsd-rank on the size.
△ Less
Submitted 4 September, 2023; v1 submitted 11 December, 2020;
originally announced December 2020.
-
Cats climb entails mammals move: preserving hyponymy in compositional distributional semantics
Authors:
Gemma De las Cuevas,
Andreas Klingler,
Martha Lewis,
Tim Netzer
Abstract:
To give vector-based representations of meaning more structure, one approach is to use positive semidefinite (psd) matrices. These allow us to model similarity of words as well as the hyponymy or is-a relationship. Psd matrices can be learnt relatively easily in a given vector space $M\otimes M^*$, but to compose words to form phrases and sentences, we need representations in larger spaces. In thi…
▽ More
To give vector-based representations of meaning more structure, one approach is to use positive semidefinite (psd) matrices. These allow us to model similarity of words as well as the hyponymy or is-a relationship. Psd matrices can be learnt relatively easily in a given vector space $M\otimes M^*$, but to compose words to form phrases and sentences, we need representations in larger spaces. In this paper, we introduce a generic way of composing the psd matrices corresponding to words. We propose that psd matrices for verbs, adjectives, and other functional words be lifted to completely positive (CP) maps that match their grammatical type. This lifting is carried out by our composition rule called Compression, Compr. In contrast to previous composition rules like Fuzz and Phaser (a.k.a. KMult and BMult), Compr preserves hyponymy. Mathematically, Compr is itself a CP map, and is therefore linear and generally non-commutative. We give a number of proposals for the structure of Compr, based on spiders, cups and caps, and generate a range of composition rules. We test these rules on a small sentence entailment dataset, and see some improvements over the performance of Fuzz and Phaser.
△ Less
Submitted 29 May, 2020; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Approximate tensor decompositions: disappearance of many separations
Authors:
Gemma De las Cuevas,
Andreas Klingler,
Tim Netzer
Abstract:
It is well-known that tensor decompositions show separations, that is, that constraints on local terms (such as positivity) may entail an arbitrarily high cost in their representation. Here we show that many of these separations disappear in the approximate case. Specifically, for every approximation error $\varepsilon$ and norm, we define the approximate rank as the minimum rank of an element in…
▽ More
It is well-known that tensor decompositions show separations, that is, that constraints on local terms (such as positivity) may entail an arbitrarily high cost in their representation. Here we show that many of these separations disappear in the approximate case. Specifically, for every approximation error $\varepsilon$ and norm, we define the approximate rank as the minimum rank of an element in the $\varepsilon$-ball with respect to that norm. For positive semidefinite matrices, we show that the separations between rank, purification rank, and separable rank disappear for a large class of Schatten $p$-norms. For nonnegative tensors, we show that the separations between rank, positive semidefinite rank, and nonnegative rank disappear for all $\ell_p$-norms with $p>1$. For the trace norm ($p = 1$), we obtain upper bounds that depend on the ambient dimension. We also provide a deterministic algorithm to obtain the approximate decomposition attaining our bounds. Our main tool is an approximate version of Carathéodory's Theorem. Our results imply that many separations are not robust under small perturbations of the tensor, with implications in quantum many-body systems and communication complexity.
△ Less
Submitted 14 August, 2021; v1 submitted 21 April, 2020;
originally announced April 2020.
-
Quantum magic squares: dilations and their limitations
Authors:
Gemma De las Cuevas,
Tom Drescher,
Tim Netzer
Abstract:
Quantum permutation matrices and quantum magic squares are generalizations of permutation matrices and magic squares, where the entries are no longer numbers but elements from arbitrary (non-commutative) algebras. The famous Birkhoff--von Neumann Theorem characterizes magic squares as convex combinations of permutation matrices. In the non-commutative case, the corresponding question is: Does ever…
▽ More
Quantum permutation matrices and quantum magic squares are generalizations of permutation matrices and magic squares, where the entries are no longer numbers but elements from arbitrary (non-commutative) algebras. The famous Birkhoff--von Neumann Theorem characterizes magic squares as convex combinations of permutation matrices. In the non-commutative case, the corresponding question is: Does every quantum magic square belong to the matrix convex hull of quantum permutation matrices? That is, does every quantum magic square dilate to a quantum permutation matrix? Here we show that this is false even in the simplest non-commutative case. We also classify the quantum magic squares that dilate to a quantum permutation matrix with commuting entries, and prove a quantitative lower bound on the diameter of this set. Finally, we conclude that not all Arveson extreme points of the free spectrahedron of quantum magic squares are quantum permutation matrices.
△ Less
Submitted 16 November, 2020; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Tensor decompositions on simplicial complexes with invariance
Authors:
Gemma De las Cuevas,
Matt Hoogsteder Riera,
Tim Netzer
Abstract:
We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor netw…
▽ More
We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor networks with translational invariance and the symmetric tensor decomposition. We also define an invariant separable decomposition and purification form, and prove similar existence results. Associated to every decomposition there is a rank, and we prove several inequalities between them. For example, we show by how much the rank increases when imposing invariance in the decomposition, and that the tensor rank is the largest of all ranks. Finally, we apply our framework to nonnegative tensors, where we define a nonnegative and a positive semidefinite decomposition on arbitrary simplicial complexes with group action. We show a correspondence to the previous ranks, and as a very special case recover the nonnegative, the positive semidefinite, the completely positive and the completely positive semidefinite transposed decomposition.
△ Less
Submitted 17 December, 2019; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Mixed states in one spatial dimension: decompositions and correspondence with nonnegative matrices
Authors:
Gemma De las Cuevas,
Tim Netzer
Abstract:
We study six natural decompositions of mixed states in one spatial dimension: the Matrix Product Density Operator (MPDO) form, the local purification form, the separable decomposition (for separable states), and their three translational invariant (t.i.) analogues. For bipartite states diagonal in the computational basis, we show that these decompositions correspond to well-studied factorisations…
▽ More
We study six natural decompositions of mixed states in one spatial dimension: the Matrix Product Density Operator (MPDO) form, the local purification form, the separable decomposition (for separable states), and their three translational invariant (t.i.) analogues. For bipartite states diagonal in the computational basis, we show that these decompositions correspond to well-studied factorisations of an associated nonnegative matrix. Specifically, the first three decompositions correspond to the minimal factorisation, the nonnegative factorisation, and the positive semidefinite factorisation. We also show that a symmetric version of these decompositions corresponds to the symmetric factorisation, the completely positive factorisation, and the completely positive semidefinite transposed factorisation, respectively. We leverage this correspondence to characterise the six decompositions of mixed states.
△ Less
Submitted 16 April, 2020; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Separability for mixed states with operator Schmidt rank two
Authors:
Gemma De las Cuevas,
Tom Drescher,
Tim Netzer
Abstract:
The operator Schmidt rank is the minimum number of terms required to express a state as a sum of elementary tensor factors. Here we provide a new proof of the fact that any bipartite mixed state with operator Schmidt rank two is separable, and can be written as a sum of two positive semidefinite matrices per site. Our proof uses results from the theory of free spectrahedra and operator systems, an…
▽ More
The operator Schmidt rank is the minimum number of terms required to express a state as a sum of elementary tensor factors. Here we provide a new proof of the fact that any bipartite mixed state with operator Schmidt rank two is separable, and can be written as a sum of two positive semidefinite matrices per site. Our proof uses results from the theory of free spectrahedra and operator systems, and illustrates the use of a connection between decompositions of quantum states and decompositions of nonnegative matrices. In the multipartite case, we prove that any Hermitian Matrix Product Density Operator (MPDO) of bond dimension two is separable, and can be written as a sum of at most four positive semidefinite matrices per site. This implies that these states can only contain classical correlations, and very few of them. In contrast, MPDOs of bond dimension three can contain an unbounded amount of classical correlations.
△ Less
Submitted 11 November, 2019; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Free Semialgebraic Geometry
Authors:
Tim Netzer
Abstract:
This is a survey article on the currently very active research area of free (=non-commutative) real algebra and geometry. We first review some of the important results from the commutative theory, and then explain similarities and differences as well as some important results in the free setup.
This is a survey article on the currently very active research area of free (=non-commutative) real algebra and geometry. We first review some of the important results from the commutative theory, and then explain similarities and differences as well as some important results in the free setup.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
A note on non-commutative polytopes and polyhedra
Authors:
Beatrix Huber,
Tim Netzer
Abstract:
It is well-known that every polyhedral cone is finitely generated (i.e. polytopal), and vice versa. Surprisingly, the two notions differ almost always for non-commutative versions of such cones. This was obtained as a byproduct in an earlier paper. In this note we give a direct and constructive proof of the statement. Our proof also yields a surprising quantitative result: the difference of the tw…
▽ More
It is well-known that every polyhedral cone is finitely generated (i.e. polytopal), and vice versa. Surprisingly, the two notions differ almost always for non-commutative versions of such cones. This was obtained as a byproduct in an earlier paper. In this note we give a direct and constructive proof of the statement. Our proof also yields a surprising quantitative result: the difference of the two notions can always be seen at the first level of non-commutativity, i.e. for matrices of size $2$, independent of dimension and complexity of the initial convex cone.
△ Less
Submitted 28 February, 2019; v1 submitted 3 September, 2018;
originally announced September 2018.
-
Optimal bounds on the positivity of a matrix from a few moments
Authors:
Gemma de las Cuevas,
Tobias Fritz,
Tim Netzer
Abstract:
In many contexts one encounters Hermitian operators $M$ on a Hilbert space whose dimension is so large that it is impossible to write down all matrix entries in an orthonormal basis. How does one determine whether such $M$ is positive semidefinite? Here we approach this problem by deriving asymptotically optimal bounds to the distance to the positive semidefinite cone in Schatten $p$-norm for all…
▽ More
In many contexts one encounters Hermitian operators $M$ on a Hilbert space whose dimension is so large that it is impossible to write down all matrix entries in an orthonormal basis. How does one determine whether such $M$ is positive semidefinite? Here we approach this problem by deriving asymptotically optimal bounds to the distance to the positive semidefinite cone in Schatten $p$-norm for all integer $p\in[1,\infty)$, assuming that we know the moments $\mathbf{tr}(M^k)$ up to a certain order $k=1,\ldots, m$. We then provide three methods to compute these bounds and relaxations thereof: the sos polynomial method (a semidefinite program), the Handelman method (a linear program relaxation), and the Chebyshev method (a relaxation not involving any optimization). We investigate the analytical and numerical performance of these methods and present a number of example computations, partly motivated by applications to tensor networks and to the theory of free spectrahedra.
△ Less
Submitted 16 April, 2020; v1 submitted 28 August, 2018;
originally announced August 2018.
-
On Projections of Free Semialgebraic Sets
Authors:
Tom Drescher,
Tim Netzer,
Andreas Thom
Abstract:
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the decidability of the theory of real closed fields, and almost all Positivstellensätze. Recently, non-commutative real algebraic geometry has evolved as an exciting ne…
▽ More
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the decidability of the theory of real closed fields, and almost all Positivstellensätze. Recently, non-commutative real algebraic geometry has evolved as an exciting new area of research, with many important applications. In this paper we examine to which extend a projection theorem is possible in the non-commutative (=free) setting. Although it is not yet clear what the correct notion of a free semialgebraic set is, we review and extend some results that count against a full free projection theorem. For example, it is undecidable whether a free statement holds for all matrices of at least one size. We then prove a weak version of the projection theorem: projections along linear and separated variables yields a semi-algebraically parametrised free semi-algebraic set.
△ Less
Submitted 25 September, 2017;
originally announced September 2017.
-
Non-Nudgable Subgroups of Permutations
Authors:
Tim Netzer
Abstract:
Motivated by a problem from behavioral economics, we study subgroups of permutation groups that have a certain strong symmetry. Given a fixed permutation, consider the set of all permutations with disjoint inversion sets. The group is called non-nudgable, if the cardinality of this set always remains the same when replacing the initial permutation with its inverse. It is called nudgable otherwise.…
▽ More
Motivated by a problem from behavioral economics, we study subgroups of permutation groups that have a certain strong symmetry. Given a fixed permutation, consider the set of all permutations with disjoint inversion sets. The group is called non-nudgable, if the cardinality of this set always remains the same when replacing the initial permutation with its inverse. It is called nudgable otherwise. We show that all full permutation groups, standard dihedral groups, half of the alternating groups, and any abelian subgroup are non-nudgable. In the right probabilistic sense, it is thus quite likely that a randomly generated subgroup is non-nudgable. However, the other half of the alternating groups are nudgable. We also construct a smallest possible nudgable group, a 6-element subgroup of the permutation group on 4 elements.
△ Less
Submitted 17 July, 2017; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
Authors:
Tobias Fritz,
Tim Netzer,
Andreas Thom
Abstract:
Containment problems for polytopes and spectrahedra appear in various applications, such as linear and semidefinite programming, combinatorics, convexity and stability analysis of differential equations. This paper explores the theoretical background of a method proposed by Ben-Tal and Nemirovksi. Their method provides a strengthening of the containment problem, that is algorithmically well tracta…
▽ More
Containment problems for polytopes and spectrahedra appear in various applications, such as linear and semidefinite programming, combinatorics, convexity and stability analysis of differential equations. This paper explores the theoretical background of a method proposed by Ben-Tal and Nemirovksi. Their method provides a strengthening of the containment problem, that is algorithmically well tractable. To analyze this method, we study abstract operator systems, and investigate when they have a finite-dimensional concrete realization. Our results give some profound insight into their approach. They imply that when testing the inclusion of a fixed polyhedral cone in an arbitrary spectrahedron, the strengthening is tight if and only if the polyhedral cone is a simplex. This is true independent of the representation of the polytope. We also deduce error bounds in the other cases, simplifying and extending recent results by various authors.
△ Less
Submitted 10 April, 2017; v1 submitted 26 September, 2016;
originally announced September 2016.
-
About the solvability of matrix polynomial equations
Authors:
Tim Netzer,
Andreas Thom
Abstract:
We study self-adjoint matrix polynomial equations in a single variable and prove existence of self-adjoint solutions under some assumptions on the leading form. Our main result is that any self-adjoint matrix polynomial equation of odd degree with non-degenerate leading form can be solved in self-adjoint matrices. We also study equations of even degree and equations in many variables.
We study self-adjoint matrix polynomial equations in a single variable and prove existence of self-adjoint solutions under some assumptions on the leading form. Our main result is that any self-adjoint matrix polynomial equation of odd degree with non-degenerate leading form can be solved in self-adjoint matrices. We also study equations of even degree and equations in many variables.
△ Less
Submitted 15 August, 2016;
originally announced August 2016.
-
Real Algebraic Geometry and its Applications
Authors:
Tim Netzer
Abstract:
This is a survey article on real algebra and geometry, and in particular on its recent applications in optimization and convexity. We first introduce basic notions and results from the classical theory. We then explain how these relate to optimization, mostly via semidefinite programming. We introduce interesting geometric problems arising from the classification of feasible sets for semidefinite…
▽ More
This is a survey article on real algebra and geometry, and in particular on its recent applications in optimization and convexity. We first introduce basic notions and results from the classical theory. We then explain how these relate to optimization, mostly via semidefinite programming. We introduce interesting geometric problems arising from the classification of feasible sets for semidefinite programming. We close with a perspective on the very active area of non-commutative real algebra and geometry.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Quadratic Modules, C*-Algebras, and Free Convexity
Authors:
Vadim Alekseev,
Tim Netzer,
Andreas Thom
Abstract:
Given a quadratic module, we construct its universal C*-algebra, and then use methods and notions from the theory of C*-algebras to study the quadratic module. We define residually finite-dimensional quadratic modules, and characterize them in various ways, in particular via a Positivstellensatz. We give unified proofs for several existing strong Positivstellensätze, and prove some new ones. Our a…
▽ More
Given a quadratic module, we construct its universal C*-algebra, and then use methods and notions from the theory of C*-algebras to study the quadratic module. We define residually finite-dimensional quadratic modules, and characterize them in various ways, in particular via a Positivstellensatz. We give unified proofs for several existing strong Positivstellensätze, and prove some new ones. Our approach also leads naturally to interesting new examples in free convexity. We show that the usual notion of a free convex hull is not able to detect residual finite-dimensionality. We thus propose a new notion of free convexity, which is coordinate-free. We characterize semialgebraicity of free convex hulls of semialgebraic sets, and show that they are not always semialgebraic, even at scalar level. This also shows that the membership problem for quadratic modules has a negative answer in the non-commutative setup.
△ Less
Submitted 4 February, 2016;
originally announced February 2016.
-
Kazhdan's Property (T) via Semidefinite Optimization
Authors:
Tim Netzer,
Andreas Thom
Abstract:
Following an idea of Ozawa, we give a new proof of Kazhdan's property (T) for ${\rm SL}(3,\mathbb Z)$, by showing that $Δ^2- \frac{1}{6} Δ$ is a hermitian sum of squares in the group algebra, where $Δ$ is the unnormalized Laplace operator with respect to the natural generating set. This corresponds to a spectral gap of $\frac{1}{72}\sim 0.014$ for the associated random walk operator.
The sum of…
▽ More
Following an idea of Ozawa, we give a new proof of Kazhdan's property (T) for ${\rm SL}(3,\mathbb Z)$, by showing that $Δ^2- \frac{1}{6} Δ$ is a hermitian sum of squares in the group algebra, where $Δ$ is the unnormalized Laplace operator with respect to the natural generating set. This corresponds to a spectral gap of $\frac{1}{72}\sim 0.014$ for the associated random walk operator.
The sum of squares representation was found numerically by a semidefinite programming algorithm, and then turned into an exact symbolic representation, provided in an attached Mathematica file.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
Positivstellensätze for Quantum Multigraphs
Authors:
Tim Netzer,
Andreas Thom
Abstract:
Studying inequalities between subgraph- or homomorphism-densities is an important topic in graph theory. Sums of squares techniques have proven useful in dealing with such questions. Using an approach from real algebraic geometry, we strengthen a Positivstellensatz for simple quantum graphs by Lovász and Szegedy, and we prove several new Positivstellensätze for nonnegativity of quantum multigraphs…
▽ More
Studying inequalities between subgraph- or homomorphism-densities is an important topic in graph theory. Sums of squares techniques have proven useful in dealing with such questions. Using an approach from real algebraic geometry, we strengthen a Positivstellensatz for simple quantum graphs by Lovász and Szegedy, and we prove several new Positivstellensätze for nonnegativity of quantum multigraphs. We provide new examples and counterexamples.
△ Less
Submitted 25 October, 2013;
originally announced October 2013.
-
How fast do polynomials grow on semialgebraic sets?
Authors:
Pinaki Mondal,
Tim Netzer
Abstract:
We study the growth of polynomials on semialgebraic sets. For this purpose we associate a graded algebra to the set, and address all kinds of questions about finite generation. We show that for a certain class of sets, the algebra is finitely generated. This implies that the total degree of a polynomial determines its growth on the set, at least modulo bounded polynomials. We however also provide…
▽ More
We study the growth of polynomials on semialgebraic sets. For this purpose we associate a graded algebra to the set, and address all kinds of questions about finite generation. We show that for a certain class of sets, the algebra is finitely generated. This implies that the total degree of a polynomial determines its growth on the set, at least modulo bounded polynomials. We however also provide several counterexamples, where there is no connection between total degree and growth. In the plane, we give a complete answer to our questions for certain simple sets, and we provide a systematic construction for examples and counterexamples. Some of our counterexamples are of particular interest for the study of moment problems, since none of the existing methods seems to be able to decide the problem there. We finally also provide new three-dimensional sets, for which the algebra of bounded polynomials is not finitely generated.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
Smooth Hyperbolicity Cones are Spectrahedral Shadows
Authors:
Tim Netzer,
Raman Sanyal
Abstract:
Hyperbolicity cones are convex algebraic cones arising from hyperbolic polynomials. A well-understood subclass of hyperbolicity cones is that of spectrahedral cones and it is conjectured that every hyperbolicity cone is spectrahedral. In this paper we prove a weaker version of this conjecture by showing that every smooth hyperbolicity cone is the linear projection of a spectrahedral cone, that is,…
▽ More
Hyperbolicity cones are convex algebraic cones arising from hyperbolic polynomials. A well-understood subclass of hyperbolicity cones is that of spectrahedral cones and it is conjectured that every hyperbolicity cone is spectrahedral. In this paper we prove a weaker version of this conjecture by showing that every smooth hyperbolicity cone is the linear projection of a spectrahedral cone, that is, a spectrahedral shadow.
△ Less
Submitted 2 August, 2012;
originally announced August 2012.
-
Hyperbolic Polynomials and Generalized Clifford Algebras
Authors:
Tim Netzer,
Andreas Thom
Abstract:
We consider the problem of realizing hyperbolicity cones as spectrahedra, i.e. as linear slices of cones of positive semidefinite matrices. The generalized Lax conjecture states that this is always possible. We use generalized Clifford algebras for a new approach to the problem. Our main result is that if -1 is not a sum of hermitian squares in the Clifford algebra of a hyperbolic polynomial, then…
▽ More
We consider the problem of realizing hyperbolicity cones as spectrahedra, i.e. as linear slices of cones of positive semidefinite matrices. The generalized Lax conjecture states that this is always possible. We use generalized Clifford algebras for a new approach to the problem. Our main result is that if -1 is not a sum of hermitian squares in the Clifford algebra of a hyperbolic polynomial, then its hyperbolicity cone is spectrahedral. Our result also has computational applications, since this sufficient condition can be checked with a single semidefinite program.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.
-
Can you compute the operator norm?
Authors:
Tobias Fritz,
Tim Netzer,
Andreas Thom
Abstract:
In this note we address various algorithmic problems that arise in the computation of the operator norm in unitary representations of a group on Hilbert space. We show that the operator norm in the universal unitary representation is computable if the group is residually finite-dimensional or amenable with decidable word problem. Moreover, we relate the computability of the operator norm on the pr…
▽ More
In this note we address various algorithmic problems that arise in the computation of the operator norm in unitary representations of a group on Hilbert space. We show that the operator norm in the universal unitary representation is computable if the group is residually finite-dimensional or amenable with decidable word problem. Moreover, we relate the computability of the operator norm on the product of non-abelian free groups to Kirchberg's QWEP Conjecture, a fundamental open problem in the theory of operator algebras.
△ Less
Submitted 3 January, 2013; v1 submitted 4 July, 2012;
originally announced July 2012.
-
Real Closed Separation Theorems and Applications to Group Algebras
Authors:
Tim Netzer,
Andreas Thom
Abstract:
In this paper we prove a strong Hahn-Banach theorem: separation of disjoint convex sets by linear forms is possible without any further conditions, if the target field $\R$ is replaced by a more general real closed extension field. From this we deduce a general Positivstellensatz for *-algebras, involving representations over real closed fields. We investigate the class of group algebras in more d…
▽ More
In this paper we prove a strong Hahn-Banach theorem: separation of disjoint convex sets by linear forms is possible without any further conditions, if the target field $\R$ is replaced by a more general real closed extension field. From this we deduce a general Positivstellensatz for *-algebras, involving representations over real closed fields. We investigate the class of group algebras in more detail. We show that the cone of sums of squares in the augmentation ideal has an interior point if and only if the first cohomology vanishes. For groups with Kazhdan's property (T) the result can be strengthened to interior points in the $\ell^1$-metric. We finally reprove some strong Positivstellensätze by Helton and Schmüdgen, using our separation method.
△ Less
Submitted 16 January, 2012; v1 submitted 25 October, 2011;
originally announced October 2011.
-
Determinantal Representations and the Hermite Matrix
Authors:
Tim Netzer,
Daniel Plaumann,
Andreas Thom
Abstract:
We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the viewpoint of convex optimization. We relate the question to sums of squares decompositions of a certain Hermite matrix. If some power of a polynomial admits a defin…
▽ More
We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the viewpoint of convex optimization. We relate the question to sums of squares decompositions of a certain Hermite matrix. If some power of a polynomial admits a definite determinantal representation, then its Hermite matrix is a sum of squares. Conversely, we show how a determinantal representation can sometimes be constructed from a sums-of-squares decomposition of the Hermite matrix. We finally show that definite determinantal representations always exist, if one allows for denominators.
△ Less
Submitted 22 August, 2011;
originally announced August 2011.
-
Polynomials with and without determinantal representations
Authors:
Tim Netzer,
Andreas Thom
Abstract:
The problem of writing real zero polynomials as determinants of linear matrix polynomials has recently attracted a lot of attention. Helton and Vinnikov have proved that any real zero polynomial in two variables has a determinantal representation. Brändén has shown that the result does not extend to arbitrary numbers of variables, disproving the generalized Lax conjecture. We prove that in fact al…
▽ More
The problem of writing real zero polynomials as determinants of linear matrix polynomials has recently attracted a lot of attention. Helton and Vinnikov have proved that any real zero polynomial in two variables has a determinantal representation. Brändén has shown that the result does not extend to arbitrary numbers of variables, disproving the generalized Lax conjecture. We prove that in fact almost no real zero polynomial admits a determinantal representation; there are dimensional differences between the two sets. So the generalized Lax conjecture fails badly. The result follows from a general upper bound on the size of linear matrix polynomials. We then provide a large class of surprisingly simple explicit real zero polynomials that do not have a determinantal representation, improving upon Brändén's mostly unconstructive result. We finally characterize polynomials of which some power has a determinantal representation, in terms of an algebra with involution having a finite dimensional representation. We use the characterization to prove that any quadratic real zero polynomial has a determinantal representation, after taking a high enough power. Taking powers is thereby really necessary in general. The representations emerge explicitly, and we characterize them up to unitary equivalence.
△ Less
Submitted 11 March, 2011; v1 submitted 11 August, 2010;
originally announced August 2010.
-
Tracial algebras and an embedding theorem
Authors:
Tim Netzer,
Andreas Thom
Abstract:
We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric ultraproduct of generic matrix algebras. As a particular consequence, every finite von Neumann algebra with separable pre-dual can be embedded into an ultraproduct of…
▽ More
We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric ultraproduct of generic matrix algebras. As a particular consequence, every finite von Neumann algebra with separable pre-dual can be embedded into an ultraproduct of tracial *-algebras, which as *-algebras embed into a matrix-ring over a commutative algebra.
△ Less
Submitted 5 May, 2010;
originally announced May 2010.
-
Positivstellensätze for real function algebras
Authors:
Tim Netzer,
Murray Marshall
Abstract:
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respe…
▽ More
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respective algebra of functions. This variety is however not directly visible in general. We show how algebras and quadratic modules with this hidden positivity property can be constructed. We can then use known results, for example Jacobi's representation theorem or the Krivine-Stengle Positivstellensatz to obtain certificates of positivity relative to a quadratic module of an algebra of real-valued functions. Our results go beyond the results of Lasserre and Putinar, for example when dealing with non-continuous functions. The conditions are also easier to check. We explain the application of our result to various sorts of real finitely generated algebras of semialgebraic functions. The emphasis is on the case where the quadratic module is also finitely generated. Our results also have application to optimization of real-valued functions, using the semidefinite programming relaxation methods pioneered by Lasserre.
△ Less
Submitted 26 April, 2010;
originally announced April 2010.
-
Positive Polynomials and Projections of Spectrahedra
Authors:
João Gouveia,
Tim Netzer
Abstract:
This work is concerned with different aspects of spectrahedra and their projections, sets that are important in semidefinite optimization. We prove results on the limitations of so called Lasserre and theta body relaxation methods for semialgebraic sets and varieties. As a special case we obtain the main result of the paper "Exposed faces of semidefinite representable sets" of Netzer, Plaumann and…
▽ More
This work is concerned with different aspects of spectrahedra and their projections, sets that are important in semidefinite optimization. We prove results on the limitations of so called Lasserre and theta body relaxation methods for semialgebraic sets and varieties. As a special case we obtain the main result of the paper "Exposed faces of semidefinite representable sets" of Netzer, Plaumann and Schweighofer. We also solve the open problems from that work. We further prove some helpful facts which can not be found in the existing literature, for example that the closure of a projection of a spectrahedron is again such a projection. We give a unified account of several results on convex hulls of curves and images of polynomial maps. We finally prove a Positivstellensatz for projections of spectrahedra, which exceeds the known results that only work for basic closed semialgebraic sets.
△ Less
Submitted 26 May, 2010; v1 submitted 14 November, 2009;
originally announced November 2009.
-
A Note on the Convex Hull of Finitely Many Projections of Spectrahedra
Authors:
Tim Netzer,
Rainer Sinn
Abstract:
A spectrahedron is a set defined by a linear matrix inequality. A projection of a spectrahedron is often called a semidefinitely representable set. We show that the convex hull of a finite union of such projections is again a projection of a spectrahedron. This improves upon the result of Helton and Nie, who prove the same result in the case of bounded sets.
A spectrahedron is a set defined by a linear matrix inequality. A projection of a spectrahedron is often called a semidefinitely representable set. We show that the convex hull of a finite union of such projections is again a projection of a spectrahedron. This improves upon the result of Helton and Nie, who prove the same result in the case of bounded sets.
△ Less
Submitted 24 August, 2009;
originally announced August 2009.
-
On semidefinite representations of non-closed sets
Authors:
Tim Netzer
Abstract:
Spectrahedra are sets defined by linear matrix inequalities. Projections of spectrahedra are called semidefinitely representable sets. Both kinds of sets are of practical use in polynomial optimization, since they occur as feasible sets in semidefinite programming. There are several recent results on the question which sets are semidefinite representable. So far, all results focus on the case of…
▽ More
Spectrahedra are sets defined by linear matrix inequalities. Projections of spectrahedra are called semidefinitely representable sets. Both kinds of sets are of practical use in polynomial optimization, since they occur as feasible sets in semidefinite programming. There are several recent results on the question which sets are semidefinite representable. So far, all results focus on the case of closed sets. In this work we develop a new method to prove semidefinite representability of sets which are not closed. For example, the interior of a semidefinite representable set is shown to be semidefinite representable. More general, one can remove faces of a semidefinite representable set and preserve semidefinite representability, as long as the faces are parametrized in a suitable way.
△ Less
Submitted 17 December, 2009; v1 submitted 16 July, 2009;
originally announced July 2009.
-
Closures of quadratic modules
Authors:
Jaka Cimpric,
Murray Marshall,
Tim Netzer
Abstract:
We consider the problem of determining the closure of a quadratic module M in a commutative R-algebra with respect to the finest locally convex topology. This is of interest in deciding when the moment problem is solvable and in analyzing algorithms for polynomial optimization involving semidefinite programming. The closure of a semiordering is also considered, and it is shown that the space of…
▽ More
We consider the problem of determining the closure of a quadratic module M in a commutative R-algebra with respect to the finest locally convex topology. This is of interest in deciding when the moment problem is solvable and in analyzing algorithms for polynomial optimization involving semidefinite programming. The closure of a semiordering is also considered, and it is shown that the space of all semiorderings lying over M plays an important role in understanding the closure of M. The fibre theorem of Schmuedgen for preorderings is strengthened and extended to quadratic modules. The extended result is used to construct an example of a non-archimedean quadratic module describing a compact semialgebraic set that has the strong moment property. The same result is used to obtain a recursive description of the closure of M which is valid in many cases.
△ Less
Submitted 9 April, 2009;
originally announced April 2009.
-
Exposed faces of semidefinitely representable sets
Authors:
Tim Netzer,
Daniel Plaumann,
Markus Schweighofer
Abstract:
A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affine linear combinations of variables is positive semidefinite. Motivated by the fact that diagonal LMIs define polyhedra, the solution set of an LMI is called a spectrahedron. Linear images of spectrahedra are called semidefinite representable sets. Part of the interest in spectrahedra and semide…
▽ More
A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affine linear combinations of variables is positive semidefinite. Motivated by the fact that diagonal LMIs define polyhedra, the solution set of an LMI is called a spectrahedron. Linear images of spectrahedra are called semidefinite representable sets. Part of the interest in spectrahedra and semidefinite representable sets arises from the fact that one can efficiently optimize linear functions on them by semidefinite programming, like one can do on polyhedra by linear programming.
It is known that every face of a spectrahedron is exposed. This is also true in the general context of rigidly convex sets. We study the same question for semidefinite representable sets. Lasserre proposed a moment matrix method to construct semidefinite representations for certain sets. Our main result is that this method can only work if all faces of the considered set are exposed. This necessary condition complements sufficient conditions recently proved by Lasserre, Helton and Nie.
△ Less
Submitted 18 December, 2009; v1 submitted 19 February, 2009;
originally announced February 2009.
-
Representation and Approximation of Positivity Preservers
Authors:
Tim Netzer
Abstract:
We consider a closed set S in R^n and a linear operator Φon the polynomial algebra R[X_1,...,X_n] that preserves nonnegative polynomials, in the following sense: if f\geq 0 on S, then Φ(f)\geq 0 on S as well. We show that each such operator is given by integration with respect to a measure taking nonnegative functions as its values. This can be seen as a generalization of Haviland's Theorem, whi…
▽ More
We consider a closed set S in R^n and a linear operator Φon the polynomial algebra R[X_1,...,X_n] that preserves nonnegative polynomials, in the following sense: if f\geq 0 on S, then Φ(f)\geq 0 on S as well. We show that each such operator is given by integration with respect to a measure taking nonnegative functions as its values. This can be seen as a generalization of Haviland's Theorem, which concerns linear functionals on polynomial algebras. For compact sets S we use the result to show that any nonnegativity preserving operator is a pointwise limit of very simple nonnegativity preservers with finite dimensional range.
△ Less
Submitted 2 February, 2009;
originally announced February 2009.
-
Stability of Quadratic Modules
Authors:
Tim Netzer
Abstract:
A finitely generated quadratic module or preordering in the real polynomial ring is called stable, if it admits a certain degree bound on the sums of squares in the representation of polynomials. Stability, first defined explicitly by Powers and Scheiderer, is a very useful property. It often implies that the quadratic module is closed; furthermore it helps settling the Moment Problem, solves th…
▽ More
A finitely generated quadratic module or preordering in the real polynomial ring is called stable, if it admits a certain degree bound on the sums of squares in the representation of polynomials. Stability, first defined explicitly by Powers and Scheiderer, is a very useful property. It often implies that the quadratic module is closed; furthermore it helps settling the Moment Problem, solves the Membership Problem for quadratic modules and allows applications of methods from optimization to represent nonnegative polynomials.
We provide sufficient conditions for finitely generated quadratic modules in real polynomial rings of several variables to be stable. These conditions can be checked easily. For a certain class of semi-algebraic sets, we obtain that the nonexistence of bounded polynomials implies stability of every corresponding quadratic module. As stability often implies the non-solvability of the Moment Problem, this complements Schmuedgen's result which uses bounded polynomials to check the solvability of the Moment Problem by dimensional induction.
We also use stability to generalize a result on the Invariant Moment Problem by Cimpric, Kuhlmann and Scheiderer.
△ Less
Submitted 28 July, 2008;
originally announced July 2008.
-
Positive Polynomials and Sequential Closures of Quadratic Modules
Authors:
Tim Netzer
Abstract:
Let S be a basic closed semi-algebraic set in R^n and P the corresponding preordering in R[X_1,...,X_n]. We examine for which polynomials f there exist identities f+\ep q \in P for all \ep>0. These are precisely the elements of the sequential closure of P with respect to the finest locally convex topology. We solve the open problem whether this equals the double dual cone of P, by providing a co…
▽ More
Let S be a basic closed semi-algebraic set in R^n and P the corresponding preordering in R[X_1,...,X_n]. We examine for which polynomials f there exist identities f+\ep q \in P for all \ep>0. These are precisely the elements of the sequential closure of P with respect to the finest locally convex topology. We solve the open problem whether this equals the double dual cone of P, by providing a counterexample. We then prove a theorem that allows to obtain identities for polynomials as above, by looking at a family of fibre-preorderings, constructed from bounded polynomials. These fibre-preorderings are easier to deal with than the original preordering in general. For a large class of examples we are thus able to show that either every polynomial f that is nonnegative on S admits such representations, or at least the polynomials from the double dual cone of P do. The results also hold in the more general setup of arbitrary commutative algebras and quadratic modules instead of preorderings.
△ Less
Submitted 21 July, 2008;
originally announced July 2008.
-
On the Real Multidimensional Rational K-Moment Problem
Authors:
Jaka Cimpric,
Murray Marshall,
Tim Netzer
Abstract:
We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the corresponding basic closed semialgebraic set K_S is nonempty. Let E=D^{-1}R[X] be a localization of the real polynomial algebra, and T_S^E the preordering on E generate…
▽ More
We present a solution to the real multidimensional rational K-moment problem, where K is defined by finitely many polynomial inequalities. More precisely, let S be a finite set of real polynomials in X=(X_1,...,X_n) such that the corresponding basic closed semialgebraic set K_S is nonempty. Let E=D^{-1}R[X] be a localization of the real polynomial algebra, and T_S^E the preordering on E generated by S. We show that every linear functional L on E that is nonnegative on T_S^E is represented by a positive measure on a certain subset of K_S, provided D contains an element that grows fast enough on K_S.
△ Less
Submitted 19 October, 2009; v1 submitted 12 July, 2008;
originally announced July 2008.
-
A note on the representation of positive polynomials with structured sparsity
Authors:
David Grimm,
Tim Netzer,
Markus Schweighofer
Abstract:
We consider real polynomials in finitely many variables. Let the variables consist of finitely many blocks that are allowed to overlap in a certain way. Let the solution set of a finite system of polynomial inequalities be given where each inequality involves only variables of one block. We investigate polynomials that are positive on such a set and sparse in the sense that each monomial involve…
▽ More
We consider real polynomials in finitely many variables. Let the variables consist of finitely many blocks that are allowed to overlap in a certain way. Let the solution set of a finite system of polynomial inequalities be given where each inequality involves only variables of one block. We investigate polynomials that are positive on such a set and sparse in the sense that each monomial involves only variables of one block. In particular, we derive a short and direct proof for Lasserre's theorem of the existence of sums of squares certificates respecting the block structure. The motivation for the results can be found in the literature and stems from numerical methods using semidefinite programming to simulate or control discrete-time behaviour of systems.
△ Less
Submitted 16 November, 2006;
originally announced November 2006.
-
SOS approximations of nonnegative polynomials via simple high degree perturbation
Authors:
Jean B. Lasserre,
Tim Netzer
Abstract:
We show that every real polynomial $f$ nonnegative on $[-1,1]^{n}$ can be approximated in the $l_{1}$-norm of coefficients, by a sequence of polynomials $\{f_{\ep r}\}$ that are sums of squares. This complements the existence of s.o.s. approximations in the denseness result of Berg, Christensen and Ressel, as we provide a very simple and \textit{explicit} approximation sequence. Then we show tha…
▽ More
We show that every real polynomial $f$ nonnegative on $[-1,1]^{n}$ can be approximated in the $l_{1}$-norm of coefficients, by a sequence of polynomials $\{f_{\ep r}\}$ that are sums of squares. This complements the existence of s.o.s. approximations in the denseness result of Berg, Christensen and Ressel, as we provide a very simple and \textit{explicit} approximation sequence. Then we show that if the Moment Problem holds for a basic closed semi-algebraic set $K_S\subset\R^n$ with nonempty interior, then every polynomial nonnegative on $K_S$ can be approximated in a similar fashion by elements from the corresponding preordering. Finally, we show that the degree of the perturbation in the approximating sequence depends on $ε$ as well as the degree and the size of coefficients of the nonnegative polynomial $f$, but not on the specific values of its coefficients.
△ Less
Submitted 21 October, 2005;
originally announced October 2005.
