Back to Boundaries in Billiards

The paper proves a Poisson point-process limit for boundary holes in billiard systems under a CMZ (Chernov–Markarian–Zhang) inducing structure and geometric transversality (Assumption 2.11), via a multi-stage argument: reduction from quasi-sections to sections, inducing to truncated/thickened Young towers, control of short returns, and a Poisson approximation on (generally non-mixing) hyperbolic towers, then lifting back to the original system (Theorem 2.13) . The candidate solution outlines the same rare-events scheme (sections → inducing → short-return bounds → block/mixing control → Chen–Stein Poisson approximation → lifting), but it relies on a more classical Chen–Stein approach on the induced system and does not build the "thicker" non-mixing towers that are central to the paper’s treatment of arbitrarily slow mixing. Still, the model’s outline is directionally correct and compatible with the paper’s goals; it differs in technique and omits several novel technical devices of the paper (notably the tower thickening and the specific short-return estimates on X), hence they are both correct but use different proofs.