English
Related papers

Related papers: On types of KKT points in polynomial optimization

200 papers

We consider Diophantine inequalities of the kind |f(x)| \le m, where F(X) \in Z[X] is a homogeneous polynomial which can be expressed as a product of d homogeneous linear forms in n variables with complex coefficients and m\ge 1. We say…

Number Theory · Mathematics 2007-05-23 Jeffrey Lin Thunder

The Jordan type of an element $\ell$ of the maximal ideal of an Artinian k-algebra A acting on an A-module M of k-dimension n, is the partition of n given by the Jordan block decomposition of the multiplication map $m_\ell$ on M. In general…

Commutative Algebra · Mathematics 2022-09-02 Anthony Iarrobino , Pedro Macias Marques , Chris McDaniel

In this paper, we mainly discuss the local regularity of the solution to the following problem \begin{align*} \begin{cases} -\dive({\bf{A}}(x)\nabla u(x))=f(x),&~x\in\Omega,\\ u(x)=0,&~x\in\partial\Omega, \end{cases} \end{align*} where…

Analysis of PDEs · Mathematics 2024-02-13 Zheng Li Bin Guo

We consider the Moment-SOS hierarchy in polynomial optimization. We first provide a sufficient condition to solve the truncated K-moment problem associated with a given degree-$2n$ pseudo-moment sequence $\phi$ n and a semi-algebraic set $K…

Optimization and Control · Mathematics 2025-01-13 Jean B Lasserre

We study the optimization of the expected long-term reward in finite partially observable Markov decision processes over the set of stationary stochastic policies. In the case of deterministic observations, also known as state aggregation,…

Optimization and Control · Mathematics 2022-11-18 Mareike Dressler , Marina Garrote-López , Guido Montúfar , Johannes Müller , Kemal Rose

Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension. Let $\pi_L$ be a uniformizer for $L$ and let $f(X)$ be the minimum polynomial for $\pi_L$ over $K$. Suppose…

Number Theory · Mathematics 2017-01-10 Kevin Keating

Let $\mathbf{K}$ be a field and $\phi$, $\mathbf{f} = (f_1, \ldots, f_s)$ in $\mathbf{K}[x_1, \dots, x_n]$ be multivariate polynomials (with $s < n$) invariant under the action of $\mathcal{S}_n$, the group of permutations of $\{1, \dots,…

Symbolic Computation · Computer Science 2020-09-03 Jean-Charles Faugère , George Labahn , Mohab Safey El Din , Éric Schost , Thi Xuan Vu

We provide detailed local descriptions of stable polynomials in terms of their homogeneous decompositions, Puiseux expansions, and transfer function realizations. We use this theory to first prove that bounded rational functions on the…

Complex Variables · Mathematics 2025-07-15 Kelly Bickel , Greg Knese , James Eldred Pascoe , Alan Sola

Consider the problem of minimizing a quadratic objective subject to quadratic equations. We study the semialgebraic region of objective functions for which this problem is solved by its semidefinite relaxation. For the Euclidean distance…

Optimization and Control · Mathematics 2019-01-08 Diego Cifuentes , Corey Harris , Bernd Sturmfels

In this article we study some Kramers-Fokker-Planck operators with a polynomial potential $V(q)$ of degree greater than two having quadratic limiting behavior. This work provides an accurate global subelliptic estimate for KFP operators…

Analysis of PDEs · Mathematics 2019-05-29 Mona Ben Said

In different areas of discrete mathematics, a certain type of polynomials, having coefficients in a field K of finite characteristic, has been considered. The form and the degree of these polynomials, here called projective, are simply…

Number Theory · Mathematics 2019-10-08 Alain Lasjaunias

Let $\{f(t): t\in T\}$ be a smooth Gaussian random field over a parameter space $T$, where $T$ may be a subset of Euclidean space or, more generally, a Riemannian manifold. For any local maximum of $f(t)$ located at $t_0$ in the interior of…

Probability · Mathematics 2014-12-24 Dan Cheng , Armin Schwartzman

We prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in $\R^\ell$, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but…

Algebraic Geometry · Mathematics 2014-02-26 Saugata Basu , Michael Kettner

Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an…

Algebraic Geometry · Mathematics 2011-11-28 Antoine Ducros

We study the resolvent norm of a certain class of closed linear operators on a Hilbert space, including unbounded operators with compact resolvent. It is shown that for any point in the resolvent set there exist directions in which the norm…

Spectral Theory · Mathematics 2018-08-15 Horia D. Cornean , Henrik Garde , Arne Jensen , Hans Konrad Knörr

Let $\mathbb{K}$ be a field and let $f,g \in \mathbb{K}[x,y]$ be such that the ideal $\langle f,g \rangle$ is zero-dimensional. We study the Sylvester and B\'{e}zout resultant polynomial matrices, built by interpreting $f$ and $g$ as…

Commutative Algebra · Mathematics 2025-12-17 Etna Lindy , Vanni Noferini

We prove an effective form of Hilbert's irreducibility theorem for polynomials over a global field $K$. More precisely, we give effective bounds for the number of specializations $t\in \mathcal{O}_K$ that do not preserve the irreducibility…

Number Theory · Mathematics 2022-08-25 Marcelo Paredes , Román Sasyk

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

Symbolic Computation · Computer Science 2018-06-22 Cordian Riener , Mohab Safey El Din

A polynomial is expansive if all of its roots lie outside the unit circle. We define some special determinants involving the coefficients of a real polynomial and formulate necessary and sufficient conditions for expansivity using these…

Number Theory · Mathematics 2020-11-09 M. J. Uray

Consider a sparse system of n Laurent polynomials in n variables with complex coefficients and support in a finite lattice set A. The maximal number of isolated roots of the system in the complex n-torus is known to be the normalized volume…

Algebraic Geometry · Mathematics 2025-02-11 Frédéric Bihan , Alicia Dickenstein , Jens Forsgård