English
Related papers

Related papers: Positivstellens\"atze for real function algebras

200 papers

We consider a generalization of polynomial programs: algebraic programs, which are optimization or feasibility problems with algebraic objectives or constraints. Algebraic functions are defined as zeros of multivariate polynomials. They are…

Optimization and Control · Mathematics 2025-02-13 Muhammad Maaz , Adam W. Strzeboński

We present an overview of a classical theme in analysis and matrix positivity: the question of which functions preserve positive semidefiniteness when applied entrywise. In addition to drawing the attention of experts such as Schoenberg,…

Classical Analysis and ODEs · Mathematics 2026-05-25 Apoorva Khare

Computing explicitly the {\epsilon}-subdifferential of a proper function amounts to computing the level set of a convex function namely the conjugate minus a linear function. The resulting theoretical algorithm is applied to the the class…

Optimization and Control · Mathematics 2017-09-26 Anuj Bajaj , Warren Hare , Yves Lucet

Let G be a finite abelian group. This paper is concerned with nonnegative functions on G that are sparse with respect to the Fourier basis. We establish combinatorial conditions on subsets S and T of Fourier basis elements under which…

Optimization and Control · Mathematics 2016-11-30 Hamza Fawzi , James Saunderson , Pablo A. Parrilo

Positive real odd matrix functions, often referred to as positive real lossless matrix functions, play an important role in many applications in multi-port electrical systems. In this paper we present closer analogues to some of the known…

Optimization and Control · Mathematics 2020-03-12 Sanne ter Horst , Alma Naudé

In the first part, we study the structure of the R-algebra generated by the Hodge classes on the self-product A^e of a very general principally polarized abelian variety A. In the second part, we compare various notions of positivity for…

Algebraic Geometry · Mathematics 2011-09-14 Max Rempel

In this paper we establish some applications of the Scherer-Hol's theorem for polynomial matrices. Firstly, we give a representation for polynomial matrices positive definite on subsets of compact polyhedra. Then we establish a…

Algebraic Geometry · Mathematics 2019-04-02 Trung Hoa Dinh , Minh Toan Ho , Cong Trinh Le

A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher…

Operator Algebras · Mathematics 2018-08-01 Marek Bożejko , Światosław R. Gal , Wojciech Młotkowski

We utilize the same technique as in [arXiv:2205.04254 (2022)] to provide some representations of polynomials non-negative on a basic semi-algebraic set, defined by polynomial inequalities, under more general conditions. Based on each…

Optimization and Control · Mathematics 2022-10-13 Ngoc Hoang Anh Mai

We introduce a real-parameter refinement of the classical integer hierarchies underlying Schmidt number, block-positivity, and $k$-positivity for maps between matrix algebras. Starting from a compact family of $\alpha$-admissible unit…

Functional Analysis · Mathematics 2026-02-16 Mohsen Kian

We show that on real algebraic sets algebraically constructible functions coincide with the finite sums of signs of polynomials. Then we give some applications.

alg-geom · Mathematics 2008-02-03 Adam Parusinski , Zbigniew Szafraniec

Probability maps are additive and normalised maps taking values in the unit interval of a lattice ordered Abelian group. They appear in theory of affine representations and they are also a semantic counterpart of Hajek's probability logic.…

Functional Analysis · Mathematics 2018-12-07 T. Kroupa

In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…

Group Theory · Mathematics 2021-12-06 Robert Lin

Given any polynomial with real coefficients, the existence of a real quadratic polynomial factor is proven using only basic real analysis. The aim is to provide an approachable proof to anybody who is familiar with the least upper bound…

Classical Analysis and ODEs · Mathematics 2020-09-28 Soham Basu

The following is an improved version of Chapter 12 of my book [Sm17]. Among others, we present a new unified approach to the Archimedean Positivstellens\"atze for quadratic modules and semirings in Section 12.4 and we add a number of new…

Functional Analysis · Mathematics 2023-09-20 Konrad Schmüdgen

In recent years, much work has been devoted to a systematic study of polynomial identities certifying strict or non-strict positivity of a polynomial on a basic closed semialgebraic set. The interest in such identities originates not least…

Commutative Algebra · Mathematics 2009-05-27 Sabine Burgdorf , Claus Scheiderer , Markus Schweighofer

We prove some semipositivity theorems for singular varieties coming from graded polarizable admissible variations of mixed Hodge structure. As an application, we obtain that the moduli functor of stable varieties is semipositive in the…

Algebraic Geometry · Mathematics 2018-02-13 Osamu Fujino

Under a largeness assumption on the size of the residue field, we give an explicit description of the positive-depth Deligne--Lusztig induction of unramified elliptic pairs $(T,\theta)$. When $\theta$ is regular, we show that positive-depth…

Representation Theory · Mathematics 2025-06-06 Charlotte Chan , Masao Oi

Let W be a Weyl group. We can define the notion of positivity of a W-module in terms of the corresponding module over the asymptotic Iwahori-Hecke algebra. We state a conjecture which says that certain explicit W-modules are positive and we…

Representation Theory · Mathematics 2026-01-19 G. Lusztig

In this paper we will turn our attention to the problem of obtaining phase-space probability density functions. We will show that it is possible to obtain functions which assume only positive values over all its domain of definition.

Quantum Physics · Physics 2007-05-23 L. S. F. Olavo