Related papers: Fej\'er--Riesz factorization for positive noncommu…

The matrix Fej\'er-Riesz theorem characterizes positive semidefinite matrix polynomials on the real line. In the previous work of the second-named author this was extended to the characterization on arbitrary closed semialgebraic sets $K$…

Function theory on the unit disc proved key to a range of problems in statistics, probability theory, signal processing literature, and applications, and in this, a special place is occupied by trigonometric functions and the Fejer-Riesz…

The matrix Fej\'er-Riesz theorem characterizes positive semidefinite matrix polynomials on the real line $\mathbb{R}$. We extend a characterization to arbitrary closed semialgebraic sets $K\subseteq \mathbb{R}$ by the use of matrix…

We give a complete characterization of the positive trigonometric polynomials Q(\theta,\phi) on the bi-circle, which can be factored as Q(\theta,\phi)=|p(e^{i\theta},e^{i\phi})|^2 where p(z,w) is a polynomial nonzero for |z|=1 and |w|\leq…

We prove a Positivstellensatz for operator-valued noncommutative polynomials that are positive on matrix convex sets. Specifically, let $p$ be an operator-valued polynomial in $B(H)\otimes C<x>$ of degree at most $2d+1$, where $H$ is…

In this paper, we present a constructive proof of Popescu's non-commutative Fej\'er-Riesz theorem for non-commuting polynomials. We are considering non-commutating polynomial in left-creation and left-annihilation multi-Toeplitz operators.

The Fej\'{e}r-Riesz spectral factorization lemma, which represents a nonnegative trigonometric polynomial as the squared modulus of a trigonometric polynomial, was extended by Ahiezer to factorize certain entire functions and by Helson and…

Recently Dritschel proves that any positive multivariate Laurent polynomial can be factorized into a sum of square magnitudes of polynomials. We first give another proof of the Dritschel theorem. Our proof is based on the univariate matrix…

We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational sums of squares. We focus on the case of finite semialgebraic…

In this paper we study the complexity of factorization of polynomials in the free noncommutative ring $\mathbb{F}\langle x_1,x_2,\dots,x_n\rangle$ of polynomials over the field $\mathbb{F}$ and noncommuting variables $x_1,x_2,\ldots,x_n$.…

Based on a theorem of Bergman we show that multivariate noncommutative polynomial factorization is deterministic polynomial-time reducible to the factorization of bivariate noncommutative polynomials. More precisely, we show the following:…

A multivariate version of Rosenblum's Fejer-Riesz theorem on outer factorization of trigonometric polynomials with operator coefficients is considered. Due to a simplification of the proof of the single variable case, new necessary and…

We present an improved construction of the fundamental matrix factorization in the FJRW-theory given in arXiv:1105.2903. The revised construction is coordinate-free and works for a possibly nonabelian finite group of symmetries. One of the…

We show that any symmetric positive definite homogeneous matrix polynomial $M\in\R[x_1,...,x_n]^{m\times m}$ admits a piecewise semi-certificate, i.e. a collection of identites $M(x)=\sum_jf_{i,j}(x)U_{i,j}(x)^TU_{i,j}(x)$ where…

This paper addresses the factorization of polynomials of the form $F(x) = f_{0}(x) + f_{1}(x) x^{n} + \cdots + f_{r-1}(x) x^{(r-1)n} + f_{r}(x) x^{rn}$ where $r$ is a fixed positive integer and the $f_{j}(x)$ are fixed polynomials in…

Let $\mathcal{H} = \mathcal{H}(W,S)$ be the Hecke algebra of the Coxeter system $(W,S)$ over $\mathbb{Z}[q^{\pm1}]$, where $W$ is the Weyl group of a symmetrizable Kac-Moody algebra. In this paper, we show that the matrix of Kazhdan-Lusztig…

The Positivstellens\"atze of Putinar and Schm\"udgen show that any polynomial $f$ positive on a compact semialgebraic set can be represented using sums of squares. Recently, there has been large interest in proving effective versions of…

The representation theory of finite groups began with Frobenius's factorization of Dedekind's group determinant. In this paper, we consider the case of the semigroup determinant. The semigroup determinant is nonzero if and only if the…

In this paper we study arithmetic computations in the nonassociative, and noncommutative free polynomial ring $\mathbb{F}\{x_1,x_2,\ldots,x_n\}$. Prior to this work, nonassociative arithmetic computation was considered by Hrubes, Wigderson,…

The representation of positive polynomials on a semi-algebraic set in terms of sums of squares is a central question in real algebraic geometry, which the Positivstellensatz answers. In this paper, we study the effective Putinar's…