A note on a local entropy condition in the Wasserstein space

Abstract

Entropy conditions are widely used in empirical-process analyses to establish asymptotic properties of M-estimators. In regression problems with responses taking values in a general metric space, a commonly imposed condition requires the entropy integral associated with a shrinking ball centered at the target object to remain uniformly bounded as the ball radius tends to zero. We show that this condition generally fails in the quadratic Wasserstein space of univariate probability distributions supported on a compact interval. Specifically, when the target object is a strictly increasing and absolutely continuous distribution function whose derivative is bounded away from zero and infinity, the corresponding entropy integral diverges as the ball radius tends to zero. The same divergence persists even when the ambient space is restricted to the class of distribution functions satisfying fixed uniform two-sided Lipschitz bounds. These results indicate that different asymptotic analyses are required for the quadratic Wasserstein space.