# Laughlin Spectral Gap

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.

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.