Related papers: Positivstellens\"atze for real function algebras
If $f$ is a symmetric complex-valued function on the $m$-fold Cartesian product of the set of non-negative reals and $A$ is a positive semi-definite $m\times m$ matrix with eigenvalues $\lambda_j$, we set…
The composition operators preserving total non-negativity and total positivity for various classes of kernels are classified, following three themes. Letting a function act by post composition on kernels with arbitrary domains, it is shown…
A simple condition is given that is sufficient to determine whether a measure that is absolutely continuous with respect to a Gau{\ss}ian measure on the space of distributions is reflection positive. It readily generalises conventional…
We here extend the well known Positive Real Lemma (also known as the Kalman-Yakubovich-Popov Lemma) to complex matrix-valued generalized positive rational function, when non-minimal realizations are considered. We then exploit this result…
Interpolation and approximation of functionals with conditionally positive definite kernels is considered on sets of centers that are not determining for polynomials. It is shown that polynomial consistency is sufficient in order to define…
In this contribution, we introduce the multiplicative Jacobi polynomials that arise as one of the solutions of the multiplicative Sturm-Liouville equation \begin{equation*} \frac{d^*}{dx}\left( e^{(1-x^2)\omega(x)}\odot \frac{d^*y}{dx}…
The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…
We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…
We present an expanded expository account of the $K$-moment problem for polynomial algebras over \(\R^d\), with special emphasis on compact basic closed semialgebraic sets. The central question is to characterize those linear functionals on…
The aim of this work is to certify lower bounds for real-valued multivariate functions, defined by semialgebraic or transcendental expressions. The certificate must be, eventually, formally provable in a proof system such as Coq. The…
We consider certain positive definite functions on a finitely generated free group G that are defined with respect to a given basis in terms of word length and the number of negative-to-positive generator exponent switches. Some of these…
We consider the problem of finding the global optimum of a real-valued complex polynomial on a compact set defined by real-valued complex polynomial inequalities. It reduces to solving a sequence of complex semidefinite programming…
We extend Agler's notion of a function algebra defined in terms of test functions to include products, in analogy with the practice in real algebraic geometry, and hence the term preordering in the title. This is done over abstract sets and…
Let $f : (X, \Delta) \to Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p \nmid \ind(K_{X/Y} + \Delta)$. We show that $K_{X/Y} +…
We study maximal representations of nonnegative sesquilinear forms in real or complex Hilbert spaces, that are not necessarily closed or even closable. We associate positive self-adjoint operators with such forms, in a sense similar to…
Given a pair of finite posets $A \subseteq P$, the function counting integer-valued order preserving extensions of an order preserving map $\lambda : A\rightarrow \mathbb{Z}$ from $A$ to $P$ is given by a piecewise polynomial in $\lambda$.…
Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…
We consider the group $\mathrm{Aut}(T)$ of isometries of a semi-homogeneous tree $T=T_{q_+,q_-}$ with valencies $q_+ +1$ and $q_- +1$ and its two orbits $V_+$, $V_-$ respectively. We make use of the action of $\mathrm{Aut} (T)$ to equip the…
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…
The representation of positive polynomials on a semi-algebraic set in terms of sums of squares is a central question in real algebraic geometry, which the Positivstellensatz answers. In this paper, we study the effective Putinar's…