Dimension results for extremal-generic polynomial systems over complete toric varieties

DOI10.1016/J.JALGEBRA.2024.01.029arXiv2305.07439OpenAlexW4376632764MaRDI QIDQ6196136FDOQ6196136

Pierre-Jean Spaenlehauer, Matías R. Bender

Publication date: 14 March 2024

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We study polynomial systems with prescribed monomial supports in the Cox rings of toric varieties built from complete polyhedral fans. We present combinatorial formulas for the dimensions of their associated subvarieties under genericity assumptions on the coefficients of the polynomials. Using these formulas, we identify at which degrees generic systems in polytopal algebras form regular sequences. Our motivation comes from sparse elimination theory, where knowing the expected dimension of these subvarieties leads to specialized algorithms and to large speed-ups for solving sparse polynomial systems. As a special case, we classify the degrees at which regular sequences defined by weighted homogeneous polynomials can be found, answering an open question in the Gr"obner bases literature. We also show that deciding whether a sparse system is generically a regular sequence in a polytopal algebra is hard from the point of view of theoretical computational complexity.

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

zbMATH Keywords

toric varietiessparse polynomial systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Solving polynomial systems; resultants (13P15)

Cites Work

• Reducibility among Combinatorial Problems
• Introduction to Toric Varieties. (AM-131)
• Title not available (Why is that?)
• Toric varieties
• Convex Bodies The Brunn-MinkowskiTheory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Sparse Gröbner bases
• On the Newton polytope of the resultant
• Do most polynomials generate a prime ideal?
• A homotopy for solving general polynomial systems that respects m- homogeneous structures
• A Polyhedral Method for Solving Sparse Polynomial Systems
• The number of roots of a system of equations
• Title not available (Why is that?)
• Toric border basis
• Affine solution sets of sparse polynomial systems
• The expected number of real roots of a multihomogeneous system of polynomial equations
• Computing mixed discriminants, mixed volumes, and permanents
• Title not available (Why is that?)
• Espaces projectifs anisotropes
• On the complexity of the \(F_5\) Gröbner basis algorithm
• Title not available (Why is that?)
• Unmixing the mixed volume computation
• Computing minimal multi-homogeneous Bezout numbers is hard
• On the complexity of computing Gröbner bases for weighted homogeneous systems
• Criteria for strict monotonicity of the mixed volume of convex polytopes
• Gröbner Basis over Semigroup Algebras
• Toric eigenvalue methods for solving sparse polynomial systems
• Numerical homotopies from Khovanskii bases

This page was built for publication: Dimension results for extremal-generic polynomial systems over complete toric varieties

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