Related papers: Operator Positivstellens\"atze for noncommutative …
We consider light-ray operators $\mathcal{L}_{2n} = \int\mathrm{d} x^+ (x^+)^{2n}T_{++}$, where $x^+$ is a null coordinate and $n$ a positive integer, in QFT in Minkowski spacetime in arbitrary dimensions. These operators are…
We study analytic models of operators of class $C_{\cdot 0}$ with natural positivity assumptions. In particular, we prove that for an $m$-hypercontraction $T \in C_{\cdot 0}$ on a Hilbert space $\mathcal{H}$, there exists a Hilbert space…
In this paper we study noncommutative domains D_f in B(H)^n, generated by positive regular free holomorphic functions f, where B(H) is the algebra of all bounded linear operators on a Hilbert space H.
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…
Composition operators with analytic symbols on some reproducing kernel Hilbert spaces of entire functions on a complex Hilbert space are studied. The questions of their boundedness, seminormality and positivity are investigated. It is…
Linear matrix inequalities (LMIs) are ubiquitous in real algebraic geometry, semidefinite programming, control theory and signal processing. LMIs with (dimension free) matrix unknowns are central to the theories of completely positive maps…
Given the projections of two semialgebraic sets defined by polynomial matrix inequalities, it is in general difficult to determine whether one is contained in the other. To address this issue we propose a new matrix Positivstellensatz that…
We consider a closed set S in R^n and a linear operator \Phi on the polynomial algebra R[X_1,...,X_n] that preserves nonnegative polynomials, in the following sense: if f\geq 0 on S, then \Phi(f)\geq 0 on S as well. We show that each such…
In recent years, techniques based on convex optimization and real algebra that produce converging hierarchies of lower bounds for polynomial minimization problems have gained much popularity. At their heart, these hierarchies rely crucially…
We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar and by Putinar. We explain how these results can be understood as…
Consider the closed convex hull $K$ of a monomial curve given parametrically as $(t^{m_1},\ldots,t^{m_n})$, with the parameter $t$ varying in an interval $I$. We show, using constructive arguments, that $K$ admits a lifted semidefinite…
A noncommutative (nc) polynomial is called (globally) trace-positive if its evaluation at any tuple of operators in a tracial von Neumann algebra has nonnegative trace. Such polynomials emerge as trace inequalities in several matrix or…
For a class of semilinear elliptic equations, we establish criteria that guarantee that the linearized operator associated with a solution satisfies certain spectral assumptions that are widely used in the analysis of the stability of…
Given linear matrix inequalities (LMIs) L_1 and L_2, it is natural to ask: (Q1) when does one dominate the other, that is, does L_1(X) PsD imply L_2(X) PsD? (Q2) when do they have the same solution set? Such questions can be NP-hard. This…
A new proof is presented of a theorem of L.~Gurvits, which states that the cone of positive block-Toeplitz matrices with matrix entries has no entangled elements. The proof of the Gurvits separation theorem is achieved by making use of the…
Covering ill-posed problems with compact and non-compact operators regarding the degree of ill-posedness is a never ending story written by many authors in the inverse problems literature. This paper tries to add a new narrative and some…
We consider a positive operator $A$ on a Hilbert lattice such that its self-commutator $C = A^* A - A A^*$ is positive. If $A$ is also idempotent, then it is an orthogonal projection, and so $C = 0$. Similarly, if $A$ is power compact, then…
This article resides in the realm of the noncommutative (free) analog of real algebraic geometry - the study of polynomial inequalities and equations over the real numbers - with a focus on matrix convex sets $C$ and their projections $\hat…
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…
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…