On the Onsager--Machlup functional of the infinite-dimensional angular central Gaussian distribution and related measures
Abstract
The Onsager--Machlup functional of a probability measure is a generalisation of the negative logarithm of the probability density function, defined precisely using the ratios of masses of balls in the limit of vanishing radius. It plays an important role in several areas of applied mathematics because its minimisers can be understood as modes of the measure. We show that the Onsager--Machlup functional of the angular central Gaussian measure on the unit sphere of an infinite-dimensional Hilbert space---i.e., the radial projection of a centred Gaussian measure with covariance operator C---is constant on the finite-dimensional sphere spanned by the eigenvectors of leading eigenvalue under C, and takes the value +∞ elsewhere. We discuss the consequences of this extreme concentration of mass for maximum a posteriori estimation in Bayesian inverse problems with an angular central Gaussian prior.
Related
- Hopf quotients of the infinite-dimensional Gaussian pyramid
- Typical expansive measures for infinite-dimensional maps
- The singular Gaussian scaling limit for a tagged particle in the infinite-dimensional Dyson model at β=2
- SCMO: Stochastic Control for Optimization over Probability Measures on Infinite-Dimensional Spaces
- Constructive Universal Approximation by Infinite-Dimensional Neural Networks via Gaussian-Weighted Ridgelet Transform
BibTeX
@misc{lambley2026onsagermachlup,
title = {{On the Onsager--Machlup functional of the infinite-dimensional angular central Gaussian distribution and related measures}},
author = {Hefin Lambley and T. J. Sullivan and Sam Taylor},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.04781},
eprint = {2611.04781},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.04781},
}
RIS
TY - UNPB
TI - On the Onsager--Machlup functional of the infinite-dimensional angular central Gaussian distribution and related measures
AU - Hefin Lambley
AU - T. J. Sullivan
AU - Sam Taylor
PY - 2026
DA - 2026/11/03
PB - arXiv
DO - 10.48550/arxiv.2611.04781
UR - https://arxiv.org/abs/2611.04781
AB - The Onsager--Machlup functional of a probability measure is a generalisation of the negative logarithm of the probability density function, defined precisely using the ratios of masses of balls in the limit of vanishing radius. It plays an important role in several areas of applied mathematics because its minimisers can be understood as modes of the measure. We show that the Onsager--Machlup functional of the angular central Gaussian measure on the unit sphere of an infinite-dimensional Hilbert space---i.e., the radial projection of a centred Gaussian measure with covariance operator C---is constant on the finite-dimensional sphere spanned by the eigenvectors of leading eigenvalue under C, and takes the value +∞ elsewhere. We discuss the consequences of this extreme concentration of mass for maximum a posteriori estimation in Bayesian inverse problems with an angular central Gaussian prior.
ER -