Related papers: Positive Semidefinite Univariate Matrix Polynomial…

For any 4-variate quartic form $f\geq 0$ (i.e. $f$ nonnegative, homogeneous polynomial of degree $4$ with real coefficients) there exist quadratic forms $q$ and $q'$ so that $qq'f$ is a sum of squares (s.o.s.) of quartics, by reducing to…

The symmetrized quartic polynomial oscillator is shown to admit an sl(2,$\R$) algebraization. Some simple quasi-exactly solvable (QES) solutions are exhibited. A new symmetrized sextic polynomial oscillator is introduced and proved to be…

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…

In this paper we establish some applications of the Scherer-Hol's theorem for polynomial matrices. Firstly, we give a representation for polynomial matrices positive definite on subsets of compact polyhedra. Then we establish a…

We study the multiplicities of semisimple split characters in tensor product of semisimple split characters of $GL_n(\mathbb{F}_q)$. We prove that these multiplicities are polynomial in q with non-negative integer coefficients and we obtain…

The main object of study in this paper is the completion Z[q]^N=\varprojlim_n Z[q]/((1-q)(1-q^2)...(1-q^n)) of the polynomial ring Z[q], which arises from the study of a new invariant of integral homology 3-spheres with values in Z[q]^N…

It is shown that a $N\times N$ real symmetric [complex hermitian] positive definite matrix $V$ is congruent to a diagonal matrix modulo a pseudo-orthogonal [pseudo-unitary] matrix in $SO(m,n)$ [ $SU(m,n)$], for any choice of partition…

Using the theory of signatures of hermitian forms over algebras with involution, developed by us in earlier work, we introduce a notion of positivity for symmetric elements and prove a noncommutative analogue of Artin's solution to…

Motivated by the notion of the inverse $Z$-polynomial introduced by Ferroni, Matherne, Stevens, and Vecchi, we study the equivariant inverse $Z$-polynomial of a matroid equipped with a finite group. We prove that the coefficients of the…

This is the second in a series of three papers dealing with sums of squares and hypoellipticity in the infinitely degenerate regime. We give sharp conditions on the entries of a positive semidefinite NxN matrix function F on n-dimensional…

Let $Q(X)$ be any integral primitive positive definite quadratic form with discriminant $D$ and in $k$ variables where $k\geq4$. We give an upper bound on the number of integral solutions of $Q(X)=n$ for any integer $n$ in terms of $n$, $k$…

A real symmetric matrix (resp., tensor) is said to be copositive if the associated quadratic (resp., homogeneous) form is greater than or equal to zero over the nonnegative orthant. The problem of detecting their copositivity is NP-hard.…

We study multiplicities of unipotent characters in tensor products of unipotent characters of GL(n,q). We prove that these multiplicities are polynomials in q with non-negative integer coefficients. We study the degree of these polynomials…

Let $S=(s_n)_{n\geq 1}$ be a sequence with elements in a commutative monoid $(\mathcal{M},+,0)$. In this paper, we provide an explicit formula for $$\sum_{\la} C(\la) q^{\sum_{n\geq 1} \la_n\cdot s_n}$$ where $\la=(\la_1,\ldots)$ run…

There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable…

Given an $\mathcal{H}$-polytope $P$ and a $\mathcal{V}$-polytope $Q$, the decision problem whether $P$ is contained in $Q$ is co-NP-complete. This hardness remains if $P$ is restricted to be a standard cube and $Q$ is restricted to be the…

Given a polytope P in $\mathbb{R}^n$, we say that P has a positive semidefinite lift (psd lift) of size d if one can express P as the linear projection of an affine slice of the positive semidefinite cone $\mathbf{S}^d_+$. If a polytope P…

Let $M = (m_{ij})$ be an $n \times n$ square matrix of integers. For our purposes, we can assume without loss of generality that $M$ is homogeneous and that the entries are non-increasing going leftward and downward. Let $d$ be the sum of…

We prove expressions for the inequalities in Hermite's theorem which are conditions for a real polynomial to have real zeros. These expressions generalize the discriminant of a quadratic polynomial and the expression of J. Mar\'ik for a…

We use the \emph{unit-graphs} and the \emph{special unit-digraphs} on matrix rings to show that every $n \times n$ nonzero matrix over $\Bbb F_q$ can be written as a sum of two $\operatorname{SL}_n$-matrices when $n>1$. We compute the…