arXiv Science⌕ Search

arXiv · 2610.04069

Mean squared error reduction of (plug-in) look-ahead estimators for Markov chains

Abstract

We consider the estimation of the invariant distribution $π$ of a Markov kernel on a discrete state space (or of the mean value $π(f)$ of a functional $f$ under $π$) when solving the invariance equation is not feasible. Look-ahead estimators exploit the knowledge of the kernel by propagating the empirical occupation measure through $k$ steps of the chain. When the kernel is known, as in Markov chain Monte Carlo, we compare their mean squared error with that of the empirical estimator, for independent or Markovian data, stationary or not. Our main result establishes that, for Markovian data, the one-step estimator always improves on the empirical one asymptotically, and that the improvement grows with $k$ for reversible kernels. A non-reversible counterexample shows that reversibility cannot simply be dropped. In the statistical setting where the kernel belongs to a parametric family with unknown parameter, we introduce plug-in look-ahead estimators, which perform the look-ahead step with an estimated kernel. When the parameter is estimated at the parametric rate, we give a necessary and sufficient condition under which the plug-in look-ahead estimator outperforms the empirical one. The theoretical results are illustrated by extensive simulation studies, which also shed further light on the behaviour of the estimators at hand. Both settings are finally applied to real data arising from geographical mobility problems in the Lyon metropolitan area, France.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Romain Azaïs, Benoît Henry, Henri Péchoux. 2026-10-02. Mean squared error reduction of (plug-in) look-ahead estimators for Markov chains. https://arxiv.org/abs/2610.04069

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Second-order PACF asymptotics and discrimination between fractional Gaussian noise and $\FARIMA(0,d,0)$

Fractional Gaussian noise and $\FARIMA(0,d,0)$ have the same long-memory pole $|θ|^{-2d}$ and hence the same leading PACF law $α(n)\sim d/n$. We show that this agreement breaks at the first non-universal order. For $0<d<1/2$, the pure fGn PACF satisfies $$ α_{\fGn}(n)=\frac d n+\frac{C_{\fGn}(d)}{n^2}+o(n^{-2}), \qquad C_{\fGn}(d)<d^2, $$ The proof uses the Bingham--Inoue--Kasahara representation, a phase-coefficient expansion for fGn, and a Hankel-operator perturbation argument. Thus the fGn spectral envelope is invisible at first order but visible in second-order finite prediction, explaining why short-memory order selection can differ when fGn data are fitted by FARIMA-type models.

math.ST↗

U-centering as subset ANOVA: edge regression and higher-order theory

Unbiased squared distance covariance and the Hilbert-Schmidt independence criterion (HSIC) are fourth-order U-statistics, yet U-centering evaluates them from pairwise arrays in $O(n^2)$ operations. We show that U-centering is exactly least-squares residualization after fitting additive endpoint effects. This analysis of variance (ANOVA) interpretation explains the zero row sums and the normalization through residual degrees of freedom. The same geometry gives regression representations of dependence and two-sample statistics, exact permutation variances, and relations among pooled and regression mean squares. For arrays indexed by $r$-element subsets and $n\ge2r$, higher-order U-centering removes all lower-order subset effects and projects onto a space of dimension $\binom{n}{r}-\binom{n}{r-1}$. For fixed symmetric square-integrable kernels evaluated on independent and identically distributed (i.i.d.) paired observations, we derive the residual covariance matrix, exact mean-squared errors for estimating the highest-order Hoeffding components, unbiased positive semidefinite (PSD) covariance estimates, and moment formulas under independence and permutation. The normalized residual inner product equals a direct unbiased estimator involving up to $2r$ observations, but can be evaluated in $O(n^r)$ operations for fixed $r$. For four-argument matching kernels, three matrix products yield exactly unbiased estimators of a fourth spectral moment of kernel cross-covariance in $O(n^3)$ arithmetic and $O(n^2)$ storage. A numerical illustration distinguishes dependence structures with equal HSIC and different spectral concentration.

math.ST↗

A Partial-Matching Proof of the Neyman--Pearson Lemma

Testing seeks to distinguish distributions, whereas matching seeks to identify their common mass. I show that this apparent opposition provides a direct proof of the Neyman--Pearson lemma. Maximal partial matching between the alternative distribution and a scaled null distribution separates them into a common component and two mutually singular residuals. An elementary dual problem then turns this separation into a testing rule: complementary slackness forces rejection on the alternative residual and non-rejection on the scaled-null residual, leaving freedom to randomize at the likelihood-ratio threshold. Thus the optimal test emerges from maximal matching rather than being proposed in advance. The matching profile also determines the optimal power envelope.

math.ST↗