Edgeworth expansion for m‑dependent integer‑valued variables
Develop an Edgeworth expansion theorem for sums of m‑dependent integer‑valued random variables (lattice case), including appropriate discrete correction terms and uniform error bounds, analogous to existing non‑lattice results for m‑dependent sequences.
References
An alternative approach would be to use results on Edgeworth expansions for sums of m-dependent variables. However, we have not found a suitable such theorem for integer-valued variables; for the non-lattice case, see e.g. Heinrich [11], Rhee [24], and [18]; see also Rinott and Rotar [25] for a more general result, and the further references there.
                — The generalized Alice HH vs Bob HT problem
                
                (2503.19035 - Janson et al., 24 Mar 2025) in Section 2.3 (Background on Edgeworth expansions)