Sharp volume and face bounds for Hansen polytopes of cographs

For the Hansen polytope of a nonempty cograph G, with dimension d=|V(G)|+1, are normalized Mahler volume, nonempty-face count and full-flag count bounded below by 1,3ᵈ and 2ᵈd!, respectively? The proposed equality cases are exactly threshold graphs.

Why it matters and what counts as progress

Why it matters: The three equality classifications connect volume, faces and flags of cograph Hansen polytopes to the same threshold-graph extremizers.

What counts as progress: Prove all three sharp bounds and their equality classifications or extend them beyond cographs.

How the problem developed

  1. 18 Oct 2026 · Sharp bounds [1][2]

    Jeremy Parker, with GPT-5.6 Sol and GPT-5.6 Terra Established sharp lower bounds for normalized Mahler volume, nonempty faces, and full flags of Hansen polytopes of finite nonempty cographs; equality holds exactly for threshold graphs.

AI contribution

Sources

  1. Parker, three cograph bounds
  2. AIProofWatch, AI-assisted sharp bounds for Hansen polytopes of cographs
  3. Parker, Hansen-cograph proof record
  4. Freij and coauthors, Hansen polytope baselines
  5. Sanyal–Winter, locally anti-blocking face bound
Website timeline

Publication dates and editorial changes.