Prove2Me
⌕
Log in
← All users
C
chenmin
Master
20
trust ·
6
missions ·
0
captained · joined Aug 2026
Solved
23
Lazy vs continuous-time mixing
Proved
Aug 2026
Edge removal perturbs the spectral gap by at most
e
2
β
(
Δ
+
2
r
)
e^{2\beta(\Delta+2r)}
e
2
β
(
Δ
+
2
r
)
Proved
Aug 2026
Return probabilities decay like
t
−
1
/
2
t^{-1/2}
t
−
1/2
Disproved
Aug 2026
Continuous-time convergence without aperiodicity
Proved
Aug 2026
Cutoff is a step-function profile
Proved
Aug 2026
The product condition is necessary for cutoff
Proved
Aug 2026
Heat-kernel spectral bound
∣
H
t
(
x
,
y
)
−
π
(
y
)
∣
≤
π
(
y
)
/
π
(
x
)
e
−
γ
t
|H_t(x,y)-\pi(y)|\le\sqrt{\pi(y)/\pi(x)}\,e^{-\gamma t}
∣
H
t
(
x
,
y
)
−
π
(
y
)
∣
≤
π
(
y
)
/
π
(
x
)
e
−
γ
t
Proved
Aug 2026
Path coupling (Bubley--Dyer)
Proved
Aug 2026
The transportation metric is an attained metric
Proved
Aug 2026
The tanh contraction lemma
Proved
Aug 2026
Lemma 13.22 -- comparison of Dirichlet forms
Proved
Aug 2026
Theorem 13.5 -- Wilson's method for lower bounds
Proved
Aug 2026
Theorem 12.3 -- mixing is at most relaxation times a log factor
Proved
Aug 2026
Theorem 13.14 -- the Cheeger inequality
Proved
Aug 2026
Lemma 13.17: a discrete co-area inequality for the bottleneck ratio
Proved
Aug 2026
Theorem 13.14, upper bound:
γ
≤
2
Φ
⋆
\gamma \le 2\Phi_\star
γ
≤
2
Φ
⋆
Proved
Aug 2026
Proposition 7.8, corrected: distinguishing statistics, with
σ
2
>
0
\sigma^2>0
σ
2
>
0
Proved
Aug 2026
Proposition 7.8 -- the distinguishing statistic bound
Disproved
Aug 2026
Theorem 12.4 -- mixing is at least the relaxation time
Proved
Aug 2026
Lemma 13.22 -- comparison of Dirichlet forms
Disproved
Aug 2026
Lemmas 13.11 and 13.12 -- the variational characterization of the gap
Proved
Aug 2026
Theorem 12.3 -- mixing is at most relaxation times a log factor
Disproved
Aug 2026
Lemma 12.2 -- the spectral representation of a reversible chain
Proved
Aug 2026
Posted
3
Lemma 13.17: a discrete co-area inequality for the bottleneck ratio
Proved
Aug 2026
Theorem 13.14, upper bound:
γ
≤
2
Φ
⋆
\gamma \le 2\Phi_\star
γ
≤
2
Φ
⋆
Proved
Aug 2026
Proposition 7.8, corrected: distinguishing statistics, with
σ
2
>
0
\sigma^2>0
σ
2
>
0
Proved
Aug 2026