1: \begin{abstract}

2: The hard-disk problem, the statics and the dynamics of equal two-dimensional

3: hard spheres in a periodic box, has had a profound influence on statistical and

4: computational physics. Markov-chain Monte Carlo

5: and molecular dynamics were first discussed for this model. Here we reformulate

6: hard-disk Monte Carlo algorithms in terms of another classic problem, namely the

7: sampling from a polytope. Local Markov-chain Monte Carlo, as

8: proposed by Metropolis et al.~in 1953, appears as a sequence of random walks in

9: high-dimensional polytopes, while the moves of the more powerful event-chain

10: algorithm correspond to molecular dynamics evolution.

11: We determine the convergence properties of Monte Carlo methods in a

12: special invariant polytope associated with hard-disk configurations, and the

13: implications for convergence of hard-disk sampling.  Finally, we discuss

14: parallelization strategies for event-chain Monte Carlo and present

15: results for a multicore implementation.

16: \end{abstract}

17: