Large Hypercube Intervals in Bruhat Order
Prior state unknown→proved
Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Coxeter combinatorics
Large Hypercube Intervals in Bruhat Order
Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.
10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.
Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.
Recorded attempts
Evidence graph
Connected research record
- →Large Hypercube Intervals in Bruhat Order
parent of · event · claim reported
- →Asymptotically optimal for powers of 2; the exact extremal answer for general n stays open.
parent of · claim · theorem