English
Related papers

Related papers: Positivstellens\"atze for real function algebras

200 papers

This paper is concerned with the construction of positive definite functions on a cartesian product of quasi-metric spaces using generalized Stieltjes and complete Bernstein functions. The results we prove are aligned with a…

Classical Analysis and ODEs · Mathematics 2020-11-20 Victor S. Barbosa , Valdir A. Menegatto

Using Zeilberger generating function formula for the values of a discrete analytic function in a quadrant we make connections with the theory of structured reproducing kernel spaces, structured matrices and a generalized moment problem. An…

Complex Variables · Mathematics 2022-03-28 Daniel Alpay , Fabrizio Colombo , Kamal Diki , Irene Sabadini , Dan Volok

Convex sets of completely positive maps and positive semidefinite kernels are considered in the most general context of modules over $C^*$-algebras and a complete charaterization of their extreme points is obtained. As a byproduct, we…

Quantum Physics · Physics 2014-03-05 Juha-Pekka Pellonpää

P\'olya's Positivstellensatz and Handelman's Positivstellensatz are known to be concrete instances of the abstract Archimedean Representation Theorem for (commutative unital) rings. We generalise the Archimedean Representation Theorem to…

Algebraic Geometry · Mathematics 2023-11-07 Colin Tan

Rational functions of total degree $l$ in n variables have a representation in the Bernstein form defined over $n$ dimensional simplex. The range of a rational function is bounded by the smallest and the largest rational Bernstein…

Optimization and Control · Mathematics 2019-06-27 Tareq Hamadneh , Hassan Al-Zoubi , Hamza Alzaareer , Rafael Wisniewski

The truncated moment problem consists of determining whether a given finitedimensional vector of real numbers y is obtained by integrating a basis of the vector space of polynomials of bounded degree with respect to a non-negative measure…

Algebraic Geometry · Mathematics 2023-02-15 Didier Henrion , Simone Naldi , Mohab Safey El Din

Let $P_{\alpha} f(x,t)$ be the Caffarelli-Silvestre extension of a smooth function $f(x): \mathbb{R}^n \rightarrow \mathbb{R}^{n+1}_+:=\mathbb{R}^n\times (0,\infty).$ The purpose of this article is twofold. Firstly, we want to characterize…

Analysis of PDEs · Mathematics 2021-12-17 Pengtao Li , Shaoguang Shi , Rui Hu , Zhichun Zhai

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive…

Geometric Topology · Mathematics 2019-03-26 Piotr Hajłasz , Scott Zimmerman

This paper introduces state polynomials, i.e., polynomials in noncommuting variables and formal states of their products. A state analog of Artin's solution to Hilbert's 17th problem is proved showing that state polynomials, positive over…

Functional Analysis · Mathematics 2024-12-04 Igor Klep , Victor Magron , Jurij Volčič , Jie Wang

The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert…

Quantum Physics · Physics 2023-06-07 Giulio Chiribella , Kenneth R. Davidson , Vern I. Paulsen , Mizanur Rahaman

Using the combinatorics of $\alpha$-unimodal sets, we establish two new results in the theory of quasisymmetric functions. First, we obtain the expansion of the fundamental basis into quasisymmetric power sums. Secondly, we prove that…

Combinatorics · Mathematics 2023-11-14 Per Alexandersson , Robin Sulzgruber

In this paper we study certain real functions defined in a very simple way by Zagier as sums of infinite powers of quadratic polynomials with integer coefficients. These functions give the even parts of the period polynomials of the modular…

Number Theory · Mathematics 2013-01-30 Paloma Bengoechea

In this paper we study the representation of Morse polynomial functions which are nonnegative on a compact basic closed semi-algebraic set in $\mathbb R^n$, and having only finitely many zeros in this set. Following C. Bivi\`{a}-Ausina, we…

Algebraic Geometry · Mathematics 2019-02-19 Công-Trình Lê

Hilbert's Nullstellensatz characterizes polynomials that vanish on the vanishing set of an ideal in C[x]. In the free algebra C<X> the vanishing set of a two-sided ideal I is defined in a dimension-free way using images in…

Rings and Algebras · Mathematics 2018-04-27 Igor Klep , Victor Vinnikov , Jurij Volčič

We discuss the possibility to represent smooth nonnegative matrix-valued functions as finite linear combinations of fixed matrices with positive real-valued coefficients whose square roots are Lipschitz continuous. This issue is reduced to…

Optimization and Control · Mathematics 2007-06-04 N. V. Krylov

We first show that hypergeometric functions appear naturally as spectral functions when applying pseudo-differential calculus to decipher heat kernel asymptotic in the situation where the symbol algebra is noncommutative. Such observation…

Quantum Algebra · Mathematics 2017-11-07 Yang Liu

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…

Optimization and Control · Mathematics 2011-05-13 Jean B. Lasserre

Let $f\in \mathbb{R}[x, y, z]$ be a quadratic polynomial that depends on each variable and that does not have the form $g(h(x)+k(y)+l(z))$. Let $A, B, C$ be compact sets in $\mathbb{R}$. Suppose that $\dim_H(A)+\dim_H(B)+\dim_H(C)>2$, then…

Classical Analysis and ODEs · Mathematics 2021-06-24 Doowon Koh , Thang Pham , Chun-Yen Shen

This is a translation of a final paper. It contains proofs of some well-known Positivstellens\"atze. The approach in this paper differs in two respects from presentations in literature. We use the Stone-Weierstrass Theorem directly to prove…

Algebraic Geometry · Mathematics 2014-11-18 Christoph Schulze

We give a fundament for Berezin's analytic $\Psi$do considered in \cite{Berezin71} in terms of Bargmann images of Pilipovi{\'c} spaces. We deduce basic continuity results for such $\Psi$do, especially when the operator kernels are in…

Functional Analysis · Mathematics 2019-03-27 Nenad Teofanov , Joachim Toft