相关论文: A Positivstellensatz on the Matrix Algebra of Fini…
We specialize Schm\"udgen's Positivstellensatz and its Putinar and Jacobi and Prestel refinement, to the case of a polynomial $f\in R[X,Y]+R[Y,Z]$, positive on a compact basic semi algebraic set $K$ described by polynomials in $R[X,Y]$ and…
The main result of this note is a tracial Nullstellensatz for free noncommutative polynomials evaluated at tuples of matrices of all sizes: Suppose f_1,...,f_r,f are free polynomials, and tr(f) vanishes whenever all tr(f_j) vanish. Then…
In this paper, which is part of a study of positive representations of locally compact groups in Banach lattices, we initiate the theory of positive representations of finite groups in Riesz spaces. If such a representation has only the…
We show that Hilbert's Nullstellensatz, the problem of deciding if a system of multivariate polynomial equations has a solution in the algebraic closure of the underlying field, lies in the counting hierarchy. More generally, we show that…
This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $\ast$-algebra $\RR\axs$ with $x=(x_1, \ldots, x_n)$. This result is a generalization of a result of Cimpri\vc, Helton, McCullough, and the author.…
Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by…
We extend Krivine's strict positivstellensatz for usual (real multivariate) polynomials to symmetric matrix polynomials with scalar constraints. The proof is an elementary computation with Schur complements. Analogous extensions of Schm\"…
In this paper we investigate a *-algebra $\cX$ of fractions associated with a unital complex *-algebra $\cA$. The algebra $\cX$ and its Hilbert space representations are used to prove abstract noncommutative strict Positivstellens\"atze for…
In this work we study the problem of writing a Hermitian polynomial as a Hermitian sum of squares modulo a Hermitian ideal. We investigate a novel idea of Putinar-Scheiderer to obtain necessary matrix positivity conditions for Hermitian…
Roberts, Freudenburg, and Daigle and Freudenburg have given the smallest counterexamples to Hilbert's fourteenth problem as rings of invariants of algebraic groups. Each is of an action of the additive group on a finite dimensional vector…
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…
We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…
We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of…
Jurij Vol\v{c}i\v{c} conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant…
Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operators on any nontrivial Hilbert space are not negative…
We give a general method for producing various effective Null and Positivstellens\"atze, and getting new Positivstellens\"atze in algebraically closed valued fields and ordered groups. These various effective Nullstellens\"atze produce…
Given a quadratic module, we construct its universal C*-algebra, and then use methods and notions from the theory of C*-algebras to study the quadratic module. We define residually finite-dimensional quadratic modules, and characterize them…
Let G be a connected and simply connected real Lie group with Lie algebra g. Semialgebraic subsets of the unitary dual of G are defined and a strict Positivstellensatz for positive elements of the universal enveloping algebra of g is…
We give a constructive proof of the general Nullstellensatz: a univariate polynomial ring over a commutative Jacobson ring is Jacobson. This theorem implies that every finitely generated algebra over a zero-dimensional ring or the ring of…
A real seminormed involutive algebra is a real associative algebra ${\mathcal A}$ endowed with an involutive antiautomorphism $*$ and a submultiplicative seminorm $p$ with $p(a^*) =p(a)$ for $a\in {\mathcal A}$. Then ${\mathop{\tt…