Related papers: Positive operator-valued noncommutative polynomial…
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…
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.…
We consider a non-commutative polynomial in several independent $N$-dimensional random unitary matrices, uniformly distributed over the unitary, orthogonal or symmetric groups, and assume that the coefficients are $n$-dimensional matrices.…
This paper presents a novel algorithm for constructing a sum-of-squares (SOS) decomposition for positive semi-definite polynomials with rational coefficients. Unlike previous methods that typically yield SOS decompositions with…
For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…
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…
In this paper we establish a multivariable non-commutative generalization of L\"owner's classical theorem from 1934 characterizing operator monotone functions as real functions admitting analytic continuation mapping the upper complex…
We will give an abstract characterization of an arbitrary self-adjoint weak$^*$-closed subspace of $\mathcal{L}(H)$ (equipped with the induced matrix norm, the induced matrix cone and the induced weak$^*$-topology). In order to do this, we…
Let $p$ be an idempotent ultrafilter over $\mathbb{N}$. For a positive integer $N$, let ${\cal P}_{\leq N}$ denote the additive group of polynomials $P\in\mathbb{Z}[x]$ with ${\rm deg}\, P\leq N$ and $P(0)=0$. Given a unitary operator $U$…
We consider the problem of decomposing a regular non-negative function as a sum of squares of functions which preserve some form of regularity. In the same way as decomposing non-negative polynomials as sum of squares of polynomials allows…
It is well known that not every summability property for non linear operators leads to a factorization theorem. In this paper we undertake a detailed study of factorization schemes for summing linear and nonlinear operators. Our aim is to…
We characterize all linear operators on finite or infinite-dimensional spaces of univariate real polynomials preserving the sets of elliptic, positive, and non-negative polynomials, respectively. This is done by means of Fischer-Fock…
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…
We initiate a systematic study of nonnegative polynomials $P$ such that $P^k$ is not a sum of squares for any odd $k\geq 1$, calling such $P$ \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in…
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…
We consider symmetric polynomials, p, in the noncommutative free variables (x_1, x_2, ..., x_g). We define the noncommutative complex hessian of p and we call a noncommutative symmetric polynomial noncommutative plurisubharmonic if it has a…
An operatorial polynomial polyhedron is a set of the form $$B_{\delta}(\mathcal{B}(\mathcal{H}))=\{X\in \mathcal{B}(\mathcal{H})^d : \Vert\delta(X)\Vert<1\}$$ where $\mathcal{B}(\mathcal{H})$ denotes the space of bounded operators on a…
Inspired by the classical Bohman-Korovkin-Wulbert (BKW) operators, we initiate a study of noncommutative BKW-operators. Let $A$ be a unital $C^*$-algebra, and $S$ be a set of generators of $A$. A unital completely positive (UCP)-map $\phi:…
Consider a root system of type $BC_1$ on the real line $\mathbb R$ with general positive multiplicities. The Cherednik-Opdam transform defines a unitary operator from an $L^2$-space on $\mathbb R$ to a $L^2$-space of $\mathbb C^2$-valued…
For a finite reflection group on $\b R^N,$ the associated Dunkl operators are parametrized first-order differential-difference operators which generalize the usual partial derivatives. They generate a commutative algebra which is - under…