Two moves build many polyhedral graphs
- What it is
- A claimed compact recipe for building broad classes of polyhedral graphs and sphere quadrangulations.
- Who did it
- Luisa Andreis, Riccardo W. Maffucci, and Federico Polito.
- What it could mean
- If complete, the transformations would give a more economical constructive view of the stated graph families.
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
A note on generating polyhedra and quadrangulations ↗See the proposed checks
Inspect the exact transformations, invariants and inverse/reduction argument; verify the scope of pyramids, antibipyramids and facial four-cycles before treating the construction as complete.
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 abstract says two graph transformations generate every polyhedron other than pyramids from the square pyramid; it separately gives a unique-transformation construction for the specified facial-four-cycle sphere quadrangulations. It is a current constructive classification claim with a bounded combinatorial check surface.
- Why this could matter
- Two moves build many polyhedral graphs The work asks whether complex graph families can grow from one seed through a few reliable moves. Such recipes can make a large mathematical family easier to organize and explore.
- If it holds up
- The construction would provide a concise route to generate the stated non-exceptional polyhedra and related quadrangulations.
- If it does not
- An omitted graph family or failed inverse step would locate the limit of the proposed construction.
- Impact horizon
- Foundational · Graph theory · Combinatorics · Constructive mathematics
- Version
- submitted 2026-09-17 17:58:54 UTC
- Why we tracked it
- a fresh, source-backed constructive graph-theory result. The exact transformations, completeness argument and excluded classes remain unexamined.
- Highest-risk dependency
- A local transformation description does not establish completeness or uniqueness without the paper's reduction and exceptional-class argument.
- Available artifacts
- arXiv exposes PDF, experimental HTML and TeX source. No formal proof artifact, code repository, certificate or AI role is identified in the inspected record.
- Current boundary
- Intake record only; examination not started.