Related papers: Free Convex Algebraic Geometry
One of the main applications of semidefinite programming lies in linear systems and control theory. Many problems in this subject, certainly the textbook classics, have matrices as variables, and the formulas naturally contain…
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…
We follow a stream of the history of positive matrices and positive functionals, as applied to algebraic sums of squares decompositions, with emphasis on the interaction between classical moment problems, function theory of one or several…
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…
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…
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…
This article resides in the realm of the noncommutative (free) analog of real algebraic geometry - the study of polynomial inequalities and equations over the real numbers - with a focus on matrix convex sets $C$ and their projections $\hat…
Convex algebraic geometry concerns the interplay between optimization theory and real algebraic geometry. Its objects of study include convex semialgebraic sets that arise in semidefinite programming and from sums of squares. This article…
The higher-rank numerical range is a convex compact set generalizing the classical numerical range of a square complex matrix, first appearing in the study of quantum error correction. We will discuss some of the real algebraic and convex…
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling…
This paper concerns free analytic maps on noncommutative domains. These maps are free analogs of classical holomorphic functions in several complex variables, and are defined in terms of noncommuting variables amongst which there are no…
We introduce an asymptotic notion of positivity in algebraic geometry that turns out to be related to some high-dimensional convex sets. The dimension of the convex sets grows with the number of birational operations. In the case of complex…
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…
A very first step to develop non-commutative algebraic geometry is the arithmetic of polynomials in non-commuting variables over a commutative field, that is, the study of elements in free associative algebras. This investigation is…
Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions (possibly in…
This is an introduction to noncommutative geometry, from an affine viewpoint, that is, by using coordinates. The spaces $\mathbb R^N,\mathbb C^N$ have no free analogues in the operator algebra sense, but the corresponding unit spheres…
Random noncommutative geometry can be seen as a Euclidean path-integral approach to the quantization of the theory defined by the Spectral Action in noncommutative geometry (NCG). With the aim of investigating phase transitions in random…
The underlying algebra for a noncommutative geometry is taken to be a matrix algebra, and the set of derivatives the adjoint of a subset of traceless matrices. This is sufficient to calculate the dual 1-forms, and show that the space of…
Let $\Theta$ be a variety of algebras. In every $\Theta$ and every algebra $H$ from $\Theta$ one can consider algebraic geometry in $\Theta$ over $H$. We consider also a special categorical invariant $K_\Theta (H)$ of this geometry. The…
The notion of {\it free} generalized vertex algebras is introduced. It is equivalent to the notion of {\it generalized principal subspaces} associated with lattices which are not necessarily integral. Combinatorial bases and the characters…