Initial steps in the classification of maximal mediated sets

DOI10.1016/J.JSC.2020.07.013MaRDI QIDQ820977zbMATH OpenOpenAlexFDO

Authors Jacob Hartzer, Olivia Röhrig, Timo de Wolff, Oğuzhan Yürük

Publication date 29 September 2021

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.00502

zbMATH Keywords

latticemaximal mediated setnonnegativitysum of nonnegative circuit polynomialssums of squares

Mathematics Subject Classification ID

Forms over real fields (11E10) Sums of squares and representations by other particular quadratic forms (11E25) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Semialgebraic sets and related spaces (14P10) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Convex programming (90C25)

Abstract: Maximal mediated sets (MMS), introduced by Reznick, are distinguished subsets of lattice points in integral polytopes with even vertices. MMS of Newton polytopes of AGI-forms and nonnegative circuit polynomials determine whether these polynomials are sums of squares. In this article, we take initial steps in classifying MMS both theoretically and practically. Theoretically, we show that MMS of simplices are isomorphic if and only if the simplices generate the same lattice up to permutations. Furthermore, we generalize a result of Iliman and the third author. Practically, we fully characterize the MMS for all simplices of sufficiently small dimensions and maximal 1-norms. In particular, we experimentally prove a conjecture by Reznick for 2 dimensional simplices up to maximal 1-norm 150 and provide indications on the distribution of the density of MMS.

Recommendations

• scientific article; zbMATH DE number 3970743
• scientific article; zbMATH DE number 3961591
• scientific article; zbMATH DE number 3968511
• On maximal weakly separated set-systems
• scientific article; zbMATH DE number 1308899
• The relationship between the generalized median and minimax sets: a correction
• Some results about maximal primitive sets
• Some properties of maximal sets
• Medians and majorities in semimodular posets
• Medians and majorities in semimodular posets

Cites work

• Amoebas, nonnegative polynomials and sums of squares supported on circuits
• Extremal positive semidefinite forms
• Forms derived from the arithmetic-geometric inequality
• scientific article; zbMATH DE number 3593686 (Why is no real title available?)
• scientific article; zbMATH DE number 1490041 (Why is no real title available?)
• scientific article; zbMATH DE number 1405543 (Why is no real title available?)
• Lattice polytopes with distinct pair-sums
• Lower bounds for polynomials with simplex Newton polytopes based on geometric programming
• polymake: a framework for analyzing convex polytopes
• Positive polynomials and sums of squares
• Relative entropy relaxations for signomial optimization
• Semidefinite Optimization and Convex Algebraic Geometry

Cited in

(5)

• SONC optimization and exact nonnegativity certificates via second-order cone programming
• Weighted geometric mean, minimum mediated set, and optimal simple second-order cone representation
• On minimal extended representations of generalized power cones
• The duality of SONC: advances in circuit-based certificates
• Study of the cone of sums of squares plus sums of nonnegative circuit forms

Describes a project that uses

Uses Software

• GNU parallel

This page was built for publication: Initial steps in the classification of maximal mediated sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820977)