Posterior Consistency in Parametric Models via a Tighter Notion of Identifiability
Abstract
We investigate Bayesian posterior consistency in the context of parametric models with proper priors. While typical state-of-the-art approaches rely on regularity conditions that are difficult to verify and often misaligned with the actual mechanisms driving posterior consistency, we propose an alternative framework centered on a simple yet general condition we call ''sequential identifiability''. This concept strengthens the usual identifiability assumption by requiring that any sequence of parameters whose induced distributions converge to the true data-generating distribution must itself converge to the true parameter value. We demonstrate that sequential identifiability, combined with a standard Kullback--Leibler prior support condition, is sufficient to ensure posterior consistency. Moreover, we show that failure of this condition necessarily entails a specific and pathological form of oscillations of the model around the true density, which cannot exist without intentional design. This leads to the important insight that posterior inconsistency may be safely ruled out, except in the unrealistic scenario where the modeler possesses precise knowledge of the data-generating distribution and deliberately incorporates oscillatory pathologies into the model targeting the corresponding density. Taken together, these results provide a unified perspective on both consistency and inconsistency in parametric settings, significantly expanding the class of models for which posterior consistency can be rigorously established. To illustrate the strength and versatility of our framework, we construct a one-dimensional model that violates standard regularity conditions and fails to admit a consistent maximum likelihood estimator, yet supports a complete posterior consistency analysis via our approach.