Laughlin gap lower bound raised about fivefold: the certificate is now searched, not hand-picked
The same Fock-space inequality argument, with its auxiliary operators chosen by a semidefinite-program search, raises the certified lower bound on the gap above the Laughlin state to roughly five times the previous constant, with the new certificate checked in exact rational arithmetic.