{"id":"arxiv/2607.09168","url":"https://arxiv.org/abs/2607.09168","tags":["cs.DS","math.CO","math.PR"],"score":0,"title":"Gårding's Theorem for Posynomials","domain":"cs.DS","source":"arxiv","authors":["Nima Anari"],"reviews":0,"subject":"cs.DS","summary":"We extend Gårding's theorem to homogeneous posynomials: if a finite positive sum of monomials with arbitrary nonnegative real exponents is zero-free on a product of right half-planes, then its degree-normalized root is concave. Consequently, zero-freeness in a sector of aperture $απ$ implies $α$-fractional log-concavity. This sharpens generic mixing and domain-sparsification guarantees for fixed-size matchings and nonsymmetric determinantal point processes. The result was developed in an AI-assisted interaction initiated and checked by the author; Codex also assisted with assembling and…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-10","reactions":{}}