[edit]
Universality of Singular Complexity for Hyvärinen Generalized Bayes: Exact Transfer in Gaussian Factor Analysis
Proceedings of The 1st Symposium on Probabilistic Machine Learning, PMLR 327:50-85, 2026.
Abstract
Singular statistical models are asymptotically governed by local birational invariants such as the real log canonical threshold (RLCT), rather than by ambient parameter dimension. We study this singular complexity under generalized Bayes updates based on the Hyvärinen loss. We first prove a local comparison theorem: nonnegative analytic excess-loss germs that are locally comparable near a common zero set have the same local RLCT pair. As a corollary, losses that share an analytic minimizer map and have a nondegenerate quadratic germ lie in the same singular universality class. We then show that in analytic zero-mean Gaussian covariance models, both the population excess Gaussian log-loss and the excess Hyvärinen loss are locally equivalent to $\lVert \Sigma(\theta)- \Sigma_0 \rVert_{\mathrm{F}}^2$. Consequently, ordinary Gaussian Bayes and Hyvärinen generalized Bayes have identical local RLCT pairs at every covariance fiber. Applying this transfer principle to Gaussian factor analysis yields exact transfer of known local learning-coefficient results from ordinary Gaussian Bayes. In the one-factor model, the Hyvärinen posterior therefore has coefficients $p$, $(2p-1)/2$, and $3p/4$ on the corresponding covariance strata. Numerical experiments confirm the predicted local quadratic equivalence and the cancellation of the shared $ \lambda \log n$ term in paired free-energy differences.