Conceptadvanced
Strong uniform time
Also called strong stationary time, Aldous-Diaconis strong uniform time.
A stopping time at which a Markov chain's state is exactly uniform and independent of the stopping time; used to bound the mixing of shuffles.
A stopping time at which a Markov chain's state is exactly uniform and independent of the stopping time; used to bound the mixing of shuffles.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag XAGRT8 Edit this page History Report an error