The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials

Mario Kummer; Tim Netzer

Math & statisticsAlgebra & number theory

The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials

Mario Kummer, Tim Netzer

Preprint

In the authors' words

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.

Main resultLimitation the authors admit

Read the paper PDF

Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.

Math & statistics Algebra & number theory Sep 22, 2026
Inverse Baer deformations and finite simple skew braces of nilpotent type
Applying this construction to simple left braces arising from asymmetric products, for every pair of odd primes $p, q$ with $p ∣ (q - 1)$ and every $m \geq 1$ we construct a finite simple skew brace $X_{p, q}^{(m)}$ of order $p^{2 m (q - 1) + 1} q$ such that \[ (X_{p,q}^{(m)},+)\cong E_{p,q}^{(m)}\times C_q, \] where $E_{p, q}^{(m)}$ is an extraspecial $p$ -group of order $p^{2 m (q - 1) + 1}$ and exponent $p$ .
Marco Damele — arXiv
PreprintClaims a big step
Math & statistics Algebra & number theory Sep 22, 2026
Mathematical Principles of a Generalized Tonal Practice
We develop mathematical principles for a generalized tonal practice.
Drew Flieder — arXiv
Preprint
Math & statistics Algebra & number theory Sep 22, 2026
A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products
We give a proof checked by the Lean 4 kernel and stated against Mathlib's UniqueProds class.
Ibrahim Mian, Shayaan Siddique — arXiv
PreprintCode available
Math & statistics Algebra & number theory Sep 22, 2026
On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three
This gives the first example of an infinite family of real quadratic fields whose ideal class group has $2$ -rank three and whose cyclotomic $Z_{2}$ -extension is totally ramified and satisfies Greenberg's conjecture.
Yuito Saito — arXiv
PreprintClaims a big step
Math & statistics Algebra & number theory Sep 22, 2026
Affine Harish-Chandra center in positive characteristic
We identify the Harish--Chandra centers of the associated Kac--Moody vertex algebras and enveloping algebras at noncritical levels with algebras of functions on moduli spaces of connections for the Langlands dual group $G ˇ$ .
Gurbir Dhillon, Ivan Losev — arXiv
PreprintClaims a big step

All new papers on Algebra & number theory

The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three