Rota's Unimodality Conjecture for Matroid Flats
Prior state unknown→disproved
Is the sequence $W_0, W_1, \dots, W_n$ counting the flats of each rank of a matroid always unimodal? Rota conjectured yes in 1970.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review