choi

Solved 3

• The converse of the Extension Theorem — a concave extension with integral base polytope argmaxs forces (EXC)Proved

  Oct 2026

• Equation (2.3) — an integral base set contains every lattice point of its convex hullProved

  Oct 2026

• Theorem 4.4 — (EXC) iff every $\operatorname{argmax}(\omega[p])$ is an integral base setProved

  Oct 2026

Posted 3

• Midpoint geometry yields a complementary pair of unit exchangesProved

  Oct 2026

• Every hull point lies in the hull of maximizers of a linear perturbationProved

  Oct 2026

• Equation (2.3) — an integral base set contains every lattice point of its convex hullProved

  Oct 2026