Related papers: Noncommutative Plurisubharmonic Polynomials Part I…

We say that a symmetric noncommutative polynomial in the noncommutative free variables (x_1, x_2, ..., x_g) is noncommutative plurisubharmonic on a noncommutative open set if it has a noncommutative complex hessian that is positive…

Every symmetric polynomial p(x)=p(x_1,...,x_g) (with real coefficients) in g noncommuting variables x_1, ..., x_g can be written as a sum and difference of squares of noncommutative polynomials. Let s(p), the negative signature of p, denote…

This paper presents a noncommutative theory of symmetric functions, based on the notion of quasi-determinant. We begin with a formal theory, corresponding to the case of symmetric functions in an infinite number of independent variables.…

Let $\Rx$ denote the ring of polynomials in $g$ freely non-commuting variables $x=(x_1,...,x_g)$. There is a natural involution * on $\Rx$ determined by $x_j^*=x_j$ and $(pq)^*=q^* p^*$ and a free polynomial $p\in\Rx$ is symmetric if it is…

Let a and x denote tuples of (jointly) freely noncommuting variables. A square matrix valued polynomial p in these variables is naturally evaluated at a tuple (A,X) of symmetric matrices with the result p(A,X) a square matrix. The…

The paper introduces a notion of the Laplace operator of a polynomial p in noncommutative variables x=(x_1,...,x_g). The Laplacian Lap[p,h] of p is a polynomial in x and in a noncommuting variable h. When all variables commute we have…

A multivariate polynomial $p(x)=p(x_1,...,x_n)$ is sos-convex if its Hessian $H(x)$ can be factored as $H(x)= M^T(x) M(x)$ with a possibly nonsquare polynomial matrix $M(x)$. It is easy to see that sos-convexity is a sufficient condition…

We introduce a new $P$ basis for the Hopf algebra of quasisymmetric functions that refine the symmetric powersum basis. Unlike the quasisymmetric power sums of types 1 and 2, our basis is defined combinatorially: its expansion in…

Let $p$ be a polynomial in the non-commuting variables $(a,x)=(a_1,...,a_{g_a},x_1,...,x_{g_x})$. If $p$ is convex in the variables $x$, then $p$ has degree two in $x$ and moreover, $p$ has the form $p = L + \Lambda ^T \Lambda,$ where $L$…

We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix…

A noncommutative (nc) function in $x_1,\dots,x_g,x_1^*,\dots,x_g$ is called plurisubharmonic (plush) if its nc complex Hessian takes only positive semidefinite values on an nc neighborhood of 0. The main result of this paper shows that an…

A long-standing open problem in representation stability is whether every finitely generated commutative algebra in the category of strict polynomial functors satisfies the noetherian property. In this paper, we resolve this problem…

We investigate the representation of symmetric polynomials as a sum of squares. Since this task is solved using semidefinite programming tools we explore the geometric, algebraic, and computational implications of the presence of discrete…

We show that if a polynomial $f\in \mathbb{R}[x_1,\ldots,x_n]$ is nonnegative on a closed basic semialgebraic set $X=\{x\in\mathbb{R}^n:g_1(x)\ge 0,\ldots,g_r (x)\ge 0\}$, where $g_1,\ldots,g_r\in\mathbb{R}[x_1,\ldots,x_n]$, then $f$ can be…

Like its precursor this paper is concerned with the Hopf algebra of noncommutative symmetric functions and its graded dual, the Hopf algebra of quasisymmetric functions. It complements and extends the previous paper but is also…

Solutions to Laplace's equation are called harmonic functions. Harmonic functions arise in many applications, such as physics and the theory of stochastic processes. Of interest classically are harmonic polynomials, which have a simple…

The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit…

Let $P$ be an $m$-homogeneous polynomial in $n$-complex variables $x_1, \dotsc, x_n$. Clearly, $P$ has a unique representation in the form \begin{equation*} P(x)= \sum_{1 \leq j_1 \leq \dotsc \leq j_m \leq n} c_{(j_1, \dotsc, j_m)} \,…

We prove decomposition theorems for sparse positive (semi)definite polynomial matrices that can be viewed as sparsity-exploiting versions of the Hilbert--Artin, Reznick, Putinar, and Putinar--Vasilescu Positivstellens\"atze. First, we…

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…