probability-statistics / Markov chain mixing time; sampling graphs with given degrees

The Kannan-Tetali-Vempala conjecture for simple undirected graphs

Claims Theorem 1.1: for every n≥4n\ge4 and every graphical labeled degree vector dd, the lazy switch chain has total-variation mixing time at most 2n82n^8 and, if ∣Ωd∣>1|\Omega_d|>1, spectral gap at least [24n2(n4)]−1[24n^2\binom n4]^{-1}. Corollary: an exactly uniform sampler for any graphical dd with expected polynomial bit running time, terminating almost surely. This settles the simple undirected formulation; the bipartite formulation was proved earlier by Fu, Qin and Wang (listed separately), and the directed formulation is not addressed. The exponent 8 is not claimed to be sharp.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsSep 25, 2026Significance 30/100Registry: lean checked

The Kannan-Tetali-Vempala conjecture for simple undirected graphs

Prior state unknown→proved

Claims Theorem 1.1: for every n≥4n\ge4 and every graphical labeled degree vector dd, the lazy switch chain has total-variation mixing time at most 2n82n^8 and, if ∣Ωd∣>1|\Omega_d|>1, spectral gap at least [24n2(n4)]−1[24n^2\binom n4]^{-1}. Corollary: an exactly uniform sampler for any graphical dd with expected polynomial bit running time, terminating almost surely. This settles the simple undirected formulation; the bipartite fo…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims Theorem 1.1: for every n≥4n\ge4 and every graphical labeled degree vector dd, the lazy switch chain has total-variation mixing time at most 2n82n^8 and, if ∣Ωd∣>1|\Omega_d|>1, spectral gap at least [24n2(n4)]−1[24n^2\binom n4]^{-1}. Corollary: an exactly uniform sampler for any graphical dd with expected polynomial bit running time, terminating almost surely. This settles the simple undirected formulation; the bipartite formulation was proved earlier by Fu, Qin and Wang (listed separately), and the directed formulation is not addressed. The exponent 8 is not claimed to be sharp.

Claims Theorem 1.1: for every n≥4n\ge4 and every graphical labeled degree vector dd, the lazy switch chain has total-variation mixing time at most 2n82n^8 and, if ∣Ωd∣>1|\Omega_d|>1, spectral gap at least [24n2(n4)]−1[24n^2\binom n4]^{-1}. Corollary: an exactly uniform sampler for any graphical dd with expected polynomial bit running time, terminating almost surely. This settles the simple undirected formulation; the bipartite formulation was proved earlier by Fu, Qin and Wang (listed separately), and the directed formulation is not addressed. The exponent 8 is not claimed to be sharp.

Recorded attempts

Evidence graph

Connected research record