相关论文: A Positivstellensatz on the Matrix Algebra of Fini…

We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring…

This paper introduces and develops the algebraic framework of moment polynomials, which are polynomial expressions in commuting variables and their formal mixed moments. Their positivity and optimization over probability measures supported…

Let $A$ be a finite set of relatively prime positive integers, and let $S(A)$ be the set of all nonnegative integral linear combinations of elements of $A$. The set $S(A)$ is a semigroup that contains all sufficiently large integers. The…

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…

A nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is called a Weitzenboeck derivation. The classical theorem of Weitzenboeck states that the algebra of constants…

We prove that in every variety of $G$-groups, every $G$-existentially closed element satisfies nullstellensatz for finite consistent systems of equations. This will generalize {\bf Theorem G} of \cite{BMR1}. As a result we see that every…

Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a…

The question whether there exists an integral solution to the system of linear equations with non-negative constraints, $A\x = \b, \, \x \ge 0$, where $A \in \Z^{m\times n}$ and ${\mathbf b} \in \Z^m$, finds its applications in many areas,…

We address the question of finding global solutions of the Helmholtz equation that are positive in a given set. This question arises in inverse scattering for penetrable obstacles. In particular, we show that there are solutions that are…

We define a word in two positive definite (complex Hermitian) matrices $A$ and $B$ as a finite product of real powers of $A$ and $B$. The question of which words have only positive eigenvalues is addressed. This question was raised some…

Hermitian linear matrix pencils are ubiquitous in control theory, operator systems, semidefinite optimization, and real algebraic geometry. This survey reviews the fundamental features of the matricial solution set of a linear matrix…

We consider dual frames generated by actions of countable discrete groups on a Hilbert space. Module frames in a class of modules over a group algebra are shown to coincide with a class of ordinary frames in a representation of the group.…

The solubilizer of an element $x$ of a profinite group $G$ is the set of the elements $y$ of $G$ such that the subgroup of $G$ generated by $x$ and $y$ is prosoluble. We propose the following conjecture: the solubilizer of $x$ in $G$ has…

We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated…

Recently Lieb and Seiringer showed that the Bessis-Moussa-Villani conjecture from quantum physics can be restated in the following purely algebraic way: The sum of all words in two positive semidefinite matrices where the number of each of…

These are the lecture notes based on [dD23] for the (upcoming) lecture "T-systems with a special emphasis on sparse moment problems and sparse Positivstellens\"atze" in the summer semester 2024 at the University of Konstanz. The main…

Let $c$ be an element of the Weyl algebra $W(d)$ which is given by a strictly positive operator in the Schr"odinger representation. It is shown that, under some conditions, there exist elements $b_1,...,b_d$ in $W(d)$ such that $b_1 c b_1^*…

For a partition $\underline{\lambda} = (\lambda_{1}^{\rho _1}>\lambda_{2}^{\rho _2}>\lambda_{3}^{\rho _3}>\ldots>\lambda_{k}^{\rho _k})$ and its associated finite $\mathcal{R}$-module…

We show that stable equivalences between Artin algebras without nodes preserve homological data that provide upper bounds for finitistic dimension, and that stable equivalences between Artin algebras with positive $\nu$-dominant dimensions…

We present certain existence criteria and parameterisations for an interpolation problem for completely positive maps that take given matrices from a finite set into prescribed matrices. Our approach uses density matrices associated to…