Related papers: A Constructive Proof of NC Fej\'er-Riesz Theorem

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 prove a Fej\'er-Riesz type factorization for positive matrix-valued noncommutative trigonometric polynomials on $\mathscr{W}\times\mathfrak{Y}$, where $\mathscr{W}$ is either the free semigroup $\langle x \rangle_g$ or the free product…

Let $\cX$ be the unital *-algebra generated by the unilateral shift operator. It is shown that for any nonnegative operator $X\in \cX$ there is an element $Y\in \cX$ such that $X=Y^*Y$.

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$…

We extend results on analytic complex measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz $C^*-$algebra, the free…

In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost…

A Fej\'{e}r-type theorem is proved within the framework of $C^*$-algebras associated with certain irreversible algebraic dynamical systems. This makes it possible to strengthen a result on the structure of the relative commutant of a family…

A nonconstructive proof can be used to prove the existence of an object with some properties without providing an explicit example of such an object. A special case is a probabilistic proof where we show that an object with required…

We prove a Caratheodory-Fejer type interpolation theorem for certain matrix convex sets in $\C^d$ using the Blecher-Ruan-Sinclair characterization of abstract operator algebras. Our results generalize the work of Dmitry S.…

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…

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…

We prove the nonequivariant coherent-constructible correspondence conjectured by Fang-Liu-Treumann-Zaslow in the case of toric surfaces. Our proof is based on describing a semi-orthogonal decomposition of the constructible side under toric…

A classical proof of Pisier's construction of a polynomially bounded operator not similar to a contraction is given.

We prove a general archimedean positivstellensatz for hermitian operator-valued polynomials and show that it implies the multivariate Fejer-Riesz Theorem of Dritschel-Rovnyak and positivstellens\"atze of Ambrozie-Vasilescu and Scherer-Hol.…

We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.

There are three main results in this paper. First, we find an easily computable and simple condition which is necessary and sufficient for a commuting tuple of contractions to possess a non-zero Toeplitz operator. This condition is just…

Noncommutative multivariable versions of weighted shifts arise naturally as `weighted' left creation operators acting on Fock space. We investigate the unital weak operator topology closed algebras they generate. The unweighted case yields…

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…

Let $X^N = (X_1^N,\dots, X^N_d)$ be a d-tuple of $N\times N$ independent GUE random matrices and $Z^{NM}$ be any family of deterministic matrices in $\mathbb{M}_N(\mathbb{C})\otimes \mathbb{M}_M(\mathbb{C})$. Let $P$ be a self-adjoint…

Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $j\lambda =\lambda >crit(j),$ $j^{\prime \prime}\lambda \in M.$