lean artifact · passed
Artifact ↗Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case)
The swap chain flips checkerboard 2×2 blocks to sample 0/1 matrices with fixed row and column sums. Kannan, Tetali and Vempala conjectured in 1997 that it mixes in polynomial time for all feasible margins; the lazy chain is shown to have spectral gap at least $\binom{m}{2}^{-1}\binom{n}{2}^{-1}$ on $m \times n$ matrices, which is worst-case tight and settles the bipartite case.
Exact FrontierDelta
Scope and record
Occurred: Jun 21, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Kannan–Tetali–Vempala conjecture (bipartite/binary-matrix case) · KTV conjecture
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Weibo Fu (Princeton)
human · human collaborator
Qian Qin (Minnesota)
human · human collaborator
Guanyang Wang (Rutgers)
human · human collaborator
ChatGPT 5.5 Pro
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Guanyang Wang (Rutgers)
This event attributed to Qian Qin (Minnesota)
This event attributed to Weibo Fu (Princeton)
This event attributed to ChatGPT 5.5 Pro