{"ID":2830895,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2512.10075","arxiv_id":"2512.10075","title":"Concentration of Measure under Diffeomorphism Groups: A Universal Framework with Optimal Coordinate Selection","abstract":"We establish a universal framework for concentration inequalities based on invariance under diffeomorphism groups. Given a probability measure $μ$ on a space $E$ and a diffeomorphism $ψ: E \\to F$, concentration properties transfer covariantly: if the pushforward $ψ_*μ$ concentrates, so does $μ$ in the pullback geometry. This reveals that classical concentration inequalities -- Hoeffding, Bernstein, Talagrand, Gaussian isoperimetry -- are manifestations of a single principle of \\emph{geometric invariance}. The choice of coordinate system $ψ$ becomes a free parameter that can be optimized. We prove that for any distribution class $\\Pc$, there exists an optimal diffeomorphism $ψ^*$ minimizing the concentration constant, and we characterize $ψ^*$ in terms of the Fisher-Rao geometry of $\\Pc$. We establish \\emph{strict improvement theorems}: for heavy-tailed or multiplicative data, the optimal $ψ$ yields exponentially tighter bounds than the identity. We develop the full theory including transportation-cost inequalities, isoperimetric profiles, and functional inequalities, all parametrized by the diffeomorphism group $\\Diff(E)$. Connections to information geometry (Amari's $α$-connections), optimal transport with general costs, and Riemannian concentration are established. Applications to robust statistics, multiplicative models, and high-dimensional inference demonstrate that coordinate optimization can improve statistical efficiency by orders of magnitude.","short_abstract":"We establish a universal framework for concentration inequalities based on invariance under diffeomorphism groups. Given a probability measure $μ$ on a space $E$ and a diffeomorphism $ψ: E \\to F$, concentration properties transfer covariantly: if the pushforward $ψ_*μ$ concentrates, so does $μ$ in the pullback geometry...","url_abs":"https://arxiv.org/abs/2512.10075","url_pdf":"https://arxiv.org/pdf/2512.10075v1","authors":"[\"Jocelyn Nembé\"]","published":"2025-12-10T20:54:05Z","proceeding":"math.ST","tasks":"[\"math.ST\"]","methods":"[]","has_code":false}