Hidden polynomial patterns keep their roots orderly
- What it is
- The paper claims two conjectured families of counting polynomials have only real roots, using links among several combinatorial structures.
- Who did it
- Per Alexandersson
- What it could mean
- Apparently different puzzles—parking arrangements, words, and noncrossing patterns—could share hidden mathematical order. Proving these connections would let mathematicians carry insights from one counting problem into another.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Parking functions, Smirnov words, and noncrossing Chow polynomials ↗See the proposed checks
Source-lock the TeX bundle; formalize the stated bijection from tieless parking functions to finite-alphabet Smirnov words; independently derive the last-letter interlacing recurrence and its common-interlacer consequence; then check the two conjecture statements and every specialization against their original definitions.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The paper claims real-rootedness for Chow polynomials of noncrossing partition lattices and proves Conjecture 4.2 of Xiao and Conjecture 11.2 of Ehrenborg-Hetyei-Readdy. It presents interlacing, differential-recurrence, and finite Schur-Szegő-convolution routes, making a current assertion suitable for targeted review.
- Why this could matter
- Hidden polynomial patterns keep their roots orderly Many counting problems produce polynomials whose roots reveal deep regularity. This paper claims two conjectured families have only real roots, using new translations between parking functions, words, and noncrossing structures.
- If it holds up
- It would settle two combinatorial real-rootedness conjectures and add reusable interlacing tools for structured counting polynomials.
- If it does not
- The claimed translation or recurrence would need narrowing, preserving caution around predicted root behavior in these families.
- Impact horizon
- Foundational · Enumerative combinatorics · Algebraic combinatorics · Polynomial theory
- Version
- submitted 2026-09-04 13:31:37 UTC
- Why we tracked it
- a fresh claimed resolution of two named real-rootedness conjectures in algebraic and enumerative combinatorics, with multiple proof routes stated but no linked formalization, codebase, or certificate artifact; no docket created.
- Highest-risk dependency
- The key risk is whether the recurrence preserves all combinatorial weights and boundary cases needed to transfer real-rootedness back to the exact Chow and toric (g)-polynomials. The claimed equivalence to the two named conjectures must also be checked against their original normalizations.
- Available artifacts
- arXiv supplies PDF, experimental HTML, and TeX source; the abstract page notes 18 pages and invites comments. No source-linked Lean, Coq, Isabelle, executable code, data, or certificate repository was found. No manuscript artifact was downloaded or run.
- Current boundary
- Intake record only; examination not started.