English
Related papers

Related papers: Some Positivstellens\"atze for polynomial matrices

200 papers

The standard moment-sum-of-squares (SOS) hierarchy is a powerful method for solving global polynomial optimization problems. However, its convergence relies on Putinar's Positivstellensatz, which requires the feasible set to satisfy the…

Optimization and Control · Mathematics 2025-12-08 Didier Henrion

We consider some combinatorial problems on matrix polynomials over finite fields. Using results from control theory we give a proof of a result of Helmke, Jordan and Lieb on the number of linear unimodular matrix polynomials over a finite…

Combinatorics · Mathematics 2020-05-11 Akansha Arora , Samrith Ram , Ayineedi Venkateswarlu

We consider the class of polynomial optimization problems $\inf \{f(x):x\in K\}$ for which the quadratic module generated by the polynomials that define $K$ and the polynomial $c-f$ (for some scalar $c$) is Archimedean. For such problems,…

Optimization and Control · Mathematics 2013-07-05 Vaithilingam Jeyakumar , Jean-Bernard Lasserre , G. Li

Signomials are obtained by generalizing polynomials to allow for arbitrary real exponents. This generalization offers great expressive power, but has historically sacrificed the organizing principle of ``degree'' that is central to…

Algebraic Geometry · Mathematics 2021-07-02 Mareike Dressler , Riley Murray

A unified theory of orthogonal polynomials of a discrete variable is presented through the eigenvalue problem of hermitian matrices of finite or infinite dimensions. It can be considered as a matrix version of exactly solvable Schr\"odinger…

Classical Analysis and ODEs · Mathematics 2008-11-26 Satoru Odake , Ryu Sasaki

Real algebraic geometry provides certificates for the positivity of polynomials on semi-algebraic sets by expressing them as a suitable combination of sums of squares and the defining inequalitites. We show how Putinar's theorem for…

Optimization and Control · Mathematics 2014-02-26 Daniel Plaumann

We prove an upper bound on the degree complexity of Putinar's Positivstellensatz. This bound is much worse than the one obtained previously for Schm\"udgen's Positivstellensatz but it depends on the same parameters. As a consequence, we get…

Algebraic Geometry · Mathematics 2008-12-16 Jiawang Nie , Markus Schweighofer

In this paper we develop a number of results and notions concerning Positivstellens\"atze for semirings (preprimes) of commutative unital real algebras. First we reduce the Archimedean Positivstellensatz for semirings to the corresponding…

Algebraic Geometry · Mathematics 2022-07-07 Konrad Schmüdgen , Matthias Schötz

We show that the average characteristic polynomial P_n(z) = E [\det(zI-M)] of the random Hermitian matrix ensemble Z_n^{-1} \exp(-Tr(V(M)-AM))dM is characterized by multiple orthogonality conditions that depend on the eigenvalues of the…

Mathematical Physics · Physics 2011-03-28 P. M. Bleher , A. B. J. Kuijlaars

We study GL-equivariant modules over the infinite variable polynomial ring $S = k[x_1, x_2, ..., x_n, ...]$ with $k$ an infinite field of characteristic $p > 0$. We extend many of Sam--Snowden's far-reaching results from characteristic zero…

Commutative Algebra · Mathematics 2025-12-18 Karthik Ganapathy

We derive some Positivstellensatz\"e for noncommutative rational expressions from the Positivstellensatz\"e for noncommutative polynomials. Specifically, we show that if a noncommutative rational expression is positive on a polynomially…

Functional Analysis · Mathematics 2017-03-22 J. E. Pascoe

We derive the Hasse principle and weak approximation for pencils of certain varieties in the spirit of work by Colliot-Th\'el\`ene,Sansuc and Harpaz-Skorobogatov-Wittenberg. Our varieties are defined through polynomials in many variables…

Number Theory · Mathematics 2019-08-15 Kevin Destagnol , Efthymios Sofos

The purpose of this note is to establish, in terms of the primary coefficients in the framework of the tridiagonal theory developed by Delsarte and Genin in the environment of nonnegative definite Toeplitz matrices, necessary and sufficient…

Classical Analysis and ODEs · Mathematics 2017-06-20 K. Castillo

We consider the set $\mathcal{M}_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain a new upper bound on the number of matrices from $\mathcal{M}_n(\mathbb Z; H)$ with a given characteristic…

Number Theory · Mathematics 2024-09-05 Philipp Habegger , Alina Ostafe , Igor E. Shparlinski

We follow a stream of the history of positive matrices and positive functionals, as applied to algebraic sums of squares decompositions, with emphasis on the interaction between classical moment problems, function theory of one or several…

Functional Analysis · Mathematics 2007-05-23 John William Helton , Mihai Putinar

We consider one-level additive Schwarz domain decomposition preconditioners for the Helmholtz equation with variable coefficients (modelling wave propagation in heterogeneous media), subject to boundary conditions that include wave…

Numerical Analysis · Mathematics 2020-10-06 Shihua Gong , Ivan G. Graham , Euan A. Spence

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…

Functional Analysis · Mathematics 2020-12-08 Glen Frost

This note presents absolute bounds on the size of the coefficients of the characteristic and minimal polynomials depending on the size of the coefficients of the associated matrix. Moreover, we present algorithms to compute more precise…

Symbolic Computation · Computer Science 2011-11-10 Jean-Guillaume Dumas

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

Algebraic Geometry · Mathematics 2017-05-01 Saugata Basu , Cordian Riener

We consider bivariate polynomials orthogonal on the bicircle with respect to a positive linear functional. The lexicographical and reverse lexicographical orderings are used to order the monomials. Recurrence formulas are derived between…

Classical Analysis and ODEs · Mathematics 2007-05-23 Jeffrey S. Geronimo , Hugo Woerdeman