Matthew Protti

Entries

• An improved lower bound for the Shannon capacity of $C_{11}$

  ProvedPartialSolved 2026-09-08Score +1

• The proper hat-guessing number of $K_8-e$

  ProvedUnder reviewSolved 2026-09-04Score +0

• The proper hat-guessing number of $K_7-e$

  ProvedUnder reviewSolved 2026-09-03Score +0

• The proper hat-guessing number of $K_6-e$

  ProvedUnder reviewSolved 2026-09-03Score +0

• The proper hat-guessing number of $K_5-e$

  ProvedUnder reviewSolved 2026-09-02Score +0

• Exact SSUF scenario-count ladder on the four-terminal planar gadget

  ProvedVariant onlySolved 2026-08-04Score +1

• Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture

  DisprovedVariant onlySolved 2026-07-23Score +3

Comments

• On 1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows · 04 Aug 2026, 20:11 UTC

  Related prior public fixed-topology result for the chronology: Matthew Protti released a four-terminal planar acyclic instance on 23 July 2026 establishing the fixed-gadget lower bound $335/294$. It predates this 31 July $1.28249\ldots$ certificate and is narrower in topology and terminal count, but is directly relevant prior work. VibeMathed record: https://vibemathed.com/problem/planar-four-terminal-dgg — immutable release: https://github.com/matthewprotti/planar-ssuf-four-terminal-bound/releases/tag/v0.1.0. The new v0.3.0 fixed-gadget scenario-count program extends that line separately: https://github.com/matthewprotti/planar-ssuf-four-terminal-bound/releases/tag/v0.3.0.

Recent edits

• More links on An improved lower bound for the Shannon capacity of $C_{11}$ · 10 Sep 2026
• Source URL on An improved lower bound for the Shannon capacity of $C_{11}$ · 10 Sep 2026
• What was actually shown on An improved lower bound for the Shannon capacity of $C_{11}$ · 10 Sep 2026
• What the AI did on An improved lower bound for the Shannon capacity of $C_{11}$ · 10 Sep 2026
• Verification note on An improved lower bound for the Shannon capacity of $C_{11}$ · 10 Sep 2026
• Source name on An improved lower bound for the Shannon capacity of $C_{11}$ · 10 Sep 2026
• What the AI did on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• Solve date on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• Source name on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• Statement on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• What the AI did on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• Verification note on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• Model on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• Result qualifier on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026
• More links on Exact SSUF scenario-count ladder on the four-terminal planar gadget · 05 Aug 2026

Showing the latest 15 of 19.