Dice Question Streamline Icon: https://streamlinehq.com

Constructing a KL-support prior that yields posterior inconsistency for the cosine-based parametric model

Construct a prior distribution with full Kullback–Leibler support on the one-parameter family of densities f_θ(x) ∝ (1 + cos(θ x)) 1_[0,1](x) for θ ≥ 0 that yields an inconsistent Bayesian posterior when the data are generated from the uniform density f_0 on [0,1].

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper analyzes mechanisms behind Hellinger inconsistency and shows that known counterexamples (e.g., Barron’s) rely on contrived priors and pathological oscillatory densities. It then discusses a parametric oscillatory family f_θ(x) ∝ (1 + cos(θ x)) 1_0,1, θ ≥ 0, recently studied for consistency properties.

Within this cosine-based model, prior work establishes consistency at any θ > 0 under full-support priors, but the uniform case (θ = 0 or θ → ∞) raises potential inconsistency due to oscillations. The authors note that despite this, it remains unresolved how to design a full KL-support prior that actually induces posterior inconsistency in this model.

References

In light of Theorem~\ref{thm:alpha_beta_inconsistency}, while the cosine-based model may be inconsistent at $f_\star=f_0$ due to oscillations at infinity, it remains unclear how to construct a prior with full KL support that yields an inconsistent posterior.

On A Necessary Condition For Posterior Inconsistency: New Insights From A Classic Counterexample (2510.18126 - Bariletto et al., 20 Oct 2025) in Subsection Future work