Related papers: Connes' embedding conjecture and sums of hermitian…
We continue the study of the relationship between Dixmier traces and noncommutative residues initiated by A. Connes. The utility of the residue approach to Dixmier traces is shown by a characterisation of the noncommutative integral in…
We study the combinatorial and algebraic properties of Nonnegative Matrices. Our results are divided into three different categories. 1. We show a quantitative generalization of the 100 year-old Perron-Frobenius theorem, a fundamental…
We equip the complex polynomial algebra C[t] with the involution which is the identity on C and sends t to -t. Answering a question raised by V.G. Kac, we show that every hermitian or skew-hermitian matrix over this algebra is congruent to…
In this article we develop new methods for exhibiting convex semialgebraic sets that are not spectrahedral shadows. We characterize when the set of nonnegative polynomials with a given support is a spectrahedral shadow in terms of sums of…
For a compact quantum group $\mathbb G$ of Kac type, we study the existence of a Haar trace-preserving embedding of the von Neumann algebra $L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$-factor (the Connes embedding…
Vizing's conjecture (open since 1968) relates the sizes of dominating sets in two graphs to the size of a dominating set in their Cartesian product graph. In this paper, we formulate Vizing's conjecture itself as a Positivstellensatz…
In a recent paper, the concept of synchronous quantum correlation matrices was introduced and these were shown to correspond to traces on certain C*-algebras. In particular, synchronous correlation matrices arose in their study of various…
We derive some Positivstellensatz\"e for noncommutative rational expressions from the Positivstellensatz\"e for noncommutative polynomials. Specifically, we show that if a noncommutative rational expression is positive on a polynomially…
In this paper motivated by the celebrated fundamental theorem of algebra and its standard proof utilizing Liouville's Theorem, we prove the fundamental theorem of algebra type results for both commutative and noncommutative polynomials in…
The Connes Embedding Problem (CEP) is a problem in the theory of tracial von Neumann algebras and asks whether or not every tracial von Neumann algebra embeds into an ultrapower of the hyperfinite II$_1$ factor. The CEP has had interactions…
We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…
To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…
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…
We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials…
In the theory of combinatorial algebras, there is a sequence of embeddings between Kleene's second model, van Oosten's model, and Scott's graph model. We prove that none of these embeddings can be reversed. We also prove nonembedding…
This paper establishes a necessary and sufficient condition for the coincidence of non-commutative $\log$-algebras constructed from different exact normal semifinite traces. Consequently, we provide a criterion for the isomorphism of…
Given a positive noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all the structural essence of $f$. There are no available methods for extending a…
We prove that every separable tracial von Neumann algebra embeds into a II$_1$ factor with property (T) which can be taken to have trivial outer automorphism and fundamental groups. We also establish an analogous result for the trivial…
Hunter proved that the complete homogeneous symmetric polynomials of even degree are positive definite. We prove a noncommutative generalization of this result, in which the scalar variables are replaced with hermitian operators. We provide…
This paper addresses a conjecture of Kadison and Kastler that a von Neumann algebra M on a Hilbert space H should be unitarily equivalent to each sufficiently close von Neumann algebra N and, moreover, the implementing unitary can be chosen…