Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607
Heat-bath clocks and generator
Stage 0: freeze the classical model and the external claim › Heat-bath clocks and generator · lines 318–323
This is the usual finite-state heat-bath construction; standard Markov-chain conventions are discussed in LevinPeres (Chapters 3 and 20).