Two hard families of polynomial systems become predictable
- What it is
- A paper claims predicted polynomial-constraint counts for two specific equation degrees in four variables, while leaving the broader conjecture open.
- Who did it
- Dongming Zhang and Qihang Wang
- What it could mean
- Computer algebra needs to know how many constraints really remain in a tangle of equations. These certificates would settle two difficult cases—degrees five and seven in four variables—not the whole conjecture.
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
Fröberg's Conjecture for Quintics and Septics in Four Variables ↗See the proposed checks
Run the supplied verifiers from a locked source bundle; independently reimplement modular maximal-minor/rank checks and compare certificate hashes; check the Zariski-openness transfer and endpoint reductions against the exact stated ranges.
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
- For equal-degree ideals in four variables over characteristic-zero fields, the paper establishes Fröberg's predicted Hilbert series for every generator count when the degree is 5 or 7, using finite Macaulay-multiplication rank certificates; it expressly leaves the unrestricted conjecture outside scope.
- Why this could matter
- Two hard families of polynomial systems become predictable Hilbert series tell algebraists—and computer-algebra software—how many independent polynomial constraints remain at each degree. This paper settles two difficult degree cases, making generic systems of quintic and septic equations more predictable, while leaving the full conjecture open.
- If it holds up
- Enabling: the exact rank certificates could give computer-algebra researchers reliable formulas and reproducible test cases for generic polynomial ideals in these two degrees.
- If it does not
- A failed certificate or reduction would limit the covered generator ranges and prevent algebra systems from relying on an overstated formula.
- Impact horizon
- Enabling · Computer algebra · Polynomial systems · Verified computation
- Version
- v2, revised 2026-08-26 16:41:35 UTC; v1 posted 2026-08-25; 7 pages plus ancillary files.
- Why we tracked it
- The result has a specific new scope and ships Python verifiers plus a JSON certificate, making an independent exact replay materially more immediate than for a prose-only claim.
- Highest-risk dependency
- The correctness and completeness of the endpoint-to-all-(r) reduction, and whether the modular nonzero-minor certificates cover every claimed new generator-count slice.
- Available artifacts
- arXiv ancillary files frobergquinticsverifier.py, frobergsepticscertificate.json, and frobergsepticsverifier.py are linked on the primary record.
- Current boundary
- Intake record only; examination not started.