English
Related papers

Related papers: Sparse Polynomial Systems with many Positive Solut…

200 papers

Given a finite set $A\subset\mathbb{R}^d$, let Cov$_{r,k}$ denote the set of all points within distance $r$ to at least $k$ points of $A$. Allowing $r$ and $k$ to vary, we obtain a 2-parameter family of spaces that grow larger when $r$…

Computational Geometry · Computer Science 2022-04-15 René Corbet , Michael Kerber , Michael Lesnick , Georg Osang

A polynomial that is a sum of squares (SOS) of other polynomials is evidently positive. The converse is not true, there are positive polynomials which are not SOS. This note focuses on the problem of certifying, in exact arithmetic, that a…

Optimization and Control · Mathematics 2025-09-03 Didier Henrion

Continuing our recent work we study polynomial masks of multivariate tight wavelet frames from two additional and complementary points of view: convexity and system theory. We consider such polynomial masks that are derived by means of the…

Functional Analysis · Mathematics 2014-03-11 Maria Charina , Mihai Putinar , Claus Scheiderer , Joachim Stoeckler

We propose new algorithms for computing triangular decompositions of polynomial systems incrementally. With respect to previous works, our improvements are based on a {\em weakened} notion of a polynomial GCD modulo a regular chain, which…

Symbolic Computation · Computer Science 2011-04-06 Changbo Chen , Marc Moreno Maza

We study the simplicial volume of manifolds obtained from Davis' reflection group trick, the goal being characterizing those having positive simplicial volume. In particular, we focus on checking whether manifolds in this class with nonzero…

Geometric Topology · Mathematics 2024-09-16 Francesco Milizia

The colourful simplicial depth conjecture states that any point in the convex hull of each of d+1 sets, or colours, of d+1 points in general position in R^d is contained in at least d^2+1 simplices with one vertex from each set. We verify…

Combinatorics · Mathematics 2013-03-19 Antoine Deza , Frédéric Meunier , Pauline Sarrabezolles

Combining an old idea of Olver and Rosenau with the classification of second and third order homogeneous Hamiltonian operators we classify compatible trios of two-component homogeneous Hamiltonian operators. The trios yield pairs of…

Mathematical Physics · Physics 2018-02-19 P. Lorenzoni , A. Savoldi , R. Vitolo

This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the…

Algebraic Geometry · Mathematics 2015-09-15 Jonathan D. Hauenstein , Bernard Mourrain , Agnes Szanto

We prove that every combinatorial dynamical system in the sense of Forman, defined on a family of simplices of a simplicial complex, gives rise to a multivalued dynamical system F on the geometric realization of the simplicial complex.…

Dynamical Systems · Mathematics 2020-05-29 Bogdan Batko , Tomasz Kaczynski , Marian Mrozek , Thomas Wanner

Sparse (or toric) elimination exploits the structure of polynomials by measuring their complexity in terms of Newton polytopes instead of total degree. The sparse, or Newton, resultant generalizes the classical homogeneous resultant and its…

Symbolic Computation · Computer Science 2012-01-30 Ioannis Z. Emiris

Given a finite collection P of convex n-polytopes in RP^n (n>1), we consider a real projective manifold M which is obtained by gluing together the polytopes in P along their facets in such a way that the union of any two adjacent polytopes…

Geometric Topology · Mathematics 2007-05-29 Jaejeong Lee

It has by now become a standard approach to use the theory of sparse (or toric) elimination, based on the Newton polytope of a polynomial, in order to reveal and exploit the structure of algebraic systems. This talk surveys compact…

Computational Complexity · Computer Science 2017-10-16 Ioannis Emiris

This paper studies the copositive optimization problem whose objective is a sparse polynomial, with linear constraints over the nonnegative orthant. We propose sparse Moment-SOS relaxations to solve it. Necessary and sufficient conditions…

Optimization and Control · Mathematics 2026-04-02 Suhan Zhong , Jinling Zhou , Jiawang Nie , Xindong Tang

In this paper, we prove that any collocation matrix of Bessel polynomials at positive points is strictly totally positive, that is, all its minors are positive. Moreover, an accurate method to construct the bidiagonal factorization of these…

Numerical Analysis · Mathematics 2025-01-20 Jorge Delgado , Héctor Orera , Juan Manuel Peña

Counting the number of perfect matchings in bipartite graphs, or equivalently computing the permanent of 0-1 matrices, is an important combinatorial problem that has been extensively studied by theoreticians and practitioners alike. The…

Data Structures and Algorithms · Computer Science 2019-08-12 Supratik Chakraborty , Aditya A. Shrotri , Moshe Y. Vardi

A multigraph $G$ is near-bipartite if $V(G)$ can be partitioned as $I,F$ such that $I$ is an independent set and $F$ induces a forest. We prove that a multigraph $G$ is near-bipartite when $3|W|-2|E(G[W])|\ge -1$ for every $W\subseteq…

Combinatorics · Mathematics 2021-10-06 Daniel W. Cranston , Matthew P. Yancey

For any positive integers $a$ and $b$, we enumerate all colored partitions made by noncrossing diagonals of a convex polygon into polygons whose number of sides is congruent to $b$ modulo $a$. For the number of such partitions made by a…

Combinatorics · Mathematics 2017-01-23 Daniel Birmajer , Juan B. Gil , Michael D. Weiner

In this paper we give a matrix version of Handelman's Positivstellensatz [1], representing polynomial matrices which are positive definite on convex, compact polyhedra. Moreover, we propose also a procedure to find such a representation. As…

Algebraic Geometry · Mathematics 2017-08-10 Công-Trình Lê , Thi-Hoa-Binh Du

With the goal of obtaining strong relaxations for binary polynomial optimization problems, we introduce the pseudo-Boolean polytope defined as the convex hull of the set of binary points satisfying a collection of equations containing…

Optimization and Control · Mathematics 2024-07-02 Alberto Del Pia , Aida Khajavirad

We provide a partial classification of positive linear maps in matrix algebras which is based on a family of spectral conditions. This construction generalizes celebrated Choi example of a map which is positive but not completely positive.…

Quantum Physics · Physics 2009-11-13 Dariusz Chruscinski , Andrzej Kossakowski