PreprintCC BY 4.0arXiv
The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials
Abstract
We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This establishes the generalized Lax conjecture for the generic case, while the full conjecture remains open.
Related
- Signed Generalized Stirling Polynomials, Nested Sums, and Hyperbolic Secant Integral Identities
- Uniformly hyperbolic strictly convex billiards
- Level set estimates for strictly convex and hyperbolic functions
- Taut polynomials from finite quotients of fibered hyperbolic 3-manifold groups
- Generalised hyperbolic polynomials: combinatorial interpretation and real-rootedness
BibTeX
@misc{kummer2026generalized,
title = {{The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials}},
author = {Mario Kummer and Tim Netzer},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.24542},
eprint = {2609.24542},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.24542},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials
AU - Mario Kummer
AU - Tim Netzer
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.24542
UR - https://arxiv.org/abs/2609.24542
AB - We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This establishes the generalized Lax conjecture for the generic case, while the full conjecture remains open.
ER -