KLS Conjecture for Quadratic Forms
Prior state unknown→proved
with constant 2; also improves the global KLS bound to
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Asymptotic convex geometry
with constant 2; also improves the global KLS bound to
Temporal state
No reconciled state yet.
Append-only history
with constant 2; also improves the global KLS bound to
Research memory
with constant 2; also improves the global KLS bound to
with constant 2; also improves the global KLS bound to
Evidence graph
parent of · event · claim reported
parent of · claim · theorem