files / problems / simon-ionization-excess / compute / q11 / work / README.md
463 B · on GitHub
q11 work notes
r9_cut.md — dead line: R≤9 with Q>R/(R+1) cannot beat 1.1013.
s_gt_3_replay.py — two-shell s=4 rational −1025/2048.
smallz.py — Lieb still best integers at Z=2,…,6.
analyze_M.py — M at the q11 targets; PSD+NN still fails.
sharper_cut.py — Chebyshev/Hölder on the endpoint slab.
lift_notes.md — n=36 at aspect 10, printed leading 1.1010.
- Scan and face dumps live in
../certs/.