Related papers: On the rank of Hermitian polynomials and the SOS C…
Let $z \in \mathbb{C}^n$, and let $A(z,\bar{z})$ be a real valued diagonal bihomogeneous Hermitian polynomial such that $A(z,\bar{z})\|z\|^2$ is a sum of squares, where $\|z\|$ denotes the Euclidean norm of $z$. In this paper, we provide an…
Let $z\in \mathbb C^n$ be the complex coordinates on $\mathbb C^n$, and $A(z,\bar z)$ be a real-valued Hermitian polynomial. The famous Ebenfelt's SOS conjecture asks for the minimum rank of $A(z,\bar z)\|z\|^2$ under the restriction that…
We study real bihomogeneous polynomials $r(z,\bar{z})$ in $n$ complex variables for which $r(z,\bar{z}) \|z\|^2$ is the squared norm of a holomorphic polynomial mapping. Such polynomials are the focus of the Sum of Squares Conjecture, which…
The goal of this article is to prove the Sum of Squares Conjecture for real polynomials $r(z,\bar{z})$ on $\mathbb{C}^3$ with diagonal coefficient matrix. This conjecture describes the possible values for the rank of $r(z,\bar{z}) \|z\|^2$…
We show that the Huang-Ji-Yin (HJY) Gap Conjecture concerning CR mappings between spheres follows from a conjecture regarding Sums of Squares (SOS) of polynomials. The connection between the two problems is made by the CR Gauss equation and…
Strassen's asymptotic rank conjecture [Progr. Math. 120 (1994)] claims a strong submultiplicative upper bound on the rank of a three-tensor obtained as an iterated Kronecker product of a constant-size base tensor. The conjecture, if true,…
The log-rank conjecture is a longstanding open problem with multiple equivalent formulations in complexity theory and mathematics. In its linear-algebraic form, it asserts that the rank and partitioning number of a Boolean matrix are…
We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is…
In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this…
A polynomial that is a sum of squares (SOS) of other polynomials is evidently positive. The converse is not true, there are positive polynomials which are not SOS. This note focuses on the problem of certifying, in exact arithmetic, that a…
We study the sum-of-squares (SOS) rank of simple and diagonal biquadratic forms. For simple biquadratic forms in $3 \times 3$ variables, we show that the maximum SOS rank is exactly $6$, attained by a specific six-term form. We further…
Recently Lieb and Seiringer showed that the Bessis-Moussa-Villani conjecture from quantum physics can be restated in the following purely algebraic way: The sum of all words in two positive semidefinite matrices where the number of each of…
We give a simple proof of the matrix Spencer conjecture up to poly-logarithmic rank: given symmetric $d \times d$ matrices $A_1,\ldots,A_n$ each with $\|A_i\|_{\mathsf{op}} \leq 1$ and rank at most $n/\log^3 n$, one can efficiently find…
Let $z=(z_1, ..., z_n)$ and $\Delta=\sum_{i=1}^n \frac {\partial^2}{\partial z^2_i}$ the Laplace operator. A formal power series $P(z)$ is said to be {\it Hessian Nilpotent}(HN) if its Hessian matrix $\Hes P(z)=(\frac {\partial^2…
We prove an effective equidistribution theorem for orbits of horospherical subgroups of $\mathrm{SO}(2, 2)$ and $\mathrm{SO}(3, 1)$ in quotients of $\mathrm{SL}_4(\mathbb{R})$ with a polynomial error term. In a forthcoming paper, we will…
Properties of Hermitian forms are used to investigate several natural questions from CR Geometry. To each Hermitian symmetric polynomial we assign a Hermitian form. We study how the signature pairs of two Hermitian forms behave under the…
Our first contribution in this paper is to prove that three natural sum of squares (sos) based sufficient conditions for convexity of polynomials, via the definition of convexity, its first order characterization, and its second order…
To prove that a polynomial is nonnegative on R^n one can try to show that it is a sum of squares of polynomials (SOS). The latter problem is now known to be reducible to a semidefinite programming (SDP) computation much faster than…
We prove that the (hermitian) rank of $QP^d$ is bounded from below by the rank of $P^d$ whenever $Q$ is not identically zero and real-analytic in a neighborhood of some point on the zero set of $P$ in $\mathbb{C}^n$ and $P$ is a polynomial…
A topological version of the famous Hedetniemi conjecture says: The mapping index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. The main purpose of this article is to study the…