Convergence of Estimates Under Dimensionality Restrictions

Consider independent identically distributed observations whose distribution depends on a parameter. Measure the distance between two parameter points ₁, ₂ by the Hellinger distance h (₁, ₂). Suppose that for n observations there is a good but not perfect test of ₀ against ₙ. Then n^1{2}h (₀, ₙ) stays away from zero and infinity. The usual parametric examples, regular or irregular, also have the property that there are estimates ₙ such that n^1{2}h (ₙ, ₀) stays bounded in probability, so that rates of separation for tests and estimates are essentially the same. The present paper shows that need not be true in general but is correct under certain metric dimensionality assumptions on the parameter set. It is then shown that these assumptions imply convergence at the required rate of the Bayes estimates or maximum probability estimates.