Skip to content
Preprint

An operator-theoretic characterization of Gaussian measure singularity under mean shifts

Aug 2026 · 0 citations · 18 references
Mathematics

Abstract

For two Gaussian random elements on a separable Hilbert space with common covariance operator, the fourth-order moment tensor structure of their mixture admits an operator-valued representation obtained from the purely quadratic component of the class-conditional second moment. We identify the tensor mechanism generating the completely diagonal coefficients of this fourth-order representation after covariance standardization, and show that these coefficients are governed entirely by the coordinatewise Cameron-Martin energy of the mean shift. This yields a necessary and sufficient condition, together with an explicit eigenvalue, for the Fisher discriminant to be an eigenfunction of the induced coordinatewise operator. We further introduce aggregated fourth-order spectral functionals for two complementary constructions, one built from fourth-order moments and the other from a product-of-expectations counterpart, and prove that they are asymptotically equivalent precisely when the underlying Gaussian measures are mutually singular. These results provide a spectral realization of the classical Cameron-Martin criterion through higher-order moment operators, explaining the probabilistic origin of fourth-order spectral quantities previously proposed for Gaussian discrimination and functional data classification and relating them to the"near-perfect classification"regime.

View source

Similar papers

Preprint Sep 2026

Fractional Wiener chaos: Part 2. Interface spectral chaos

We construct a product spectral decomposition from power-normalised parabolic-cylinder functions. At noninteger real orders, these functions are not square integrable with respect to the corresponding full-line Gaussian measure. Bringing the admissible half-line branches into the same Gaussian space and matching them a...

Elena Boguslavskaya, E. Shishkina · 0 citations
Preprint Oct 2026

Orthogonality, Spectral Filling, and Uncertainty

Let a normalized continuous Parseval frame describe the phase space of a reproducing kernel Hilbert space. The frame coefficients of an orthonormal family have total mass equal to the number of states and pointwise mass at most one. This elementary exclusion principle gives explicit lower bounds for the total cost of a...

Travis Alvarez, Trevor Camper, Mishko Mitkovski · 0 citations
Preprint Aug 2026

Closed Response Calculus and Joint Densities for the Liouville Quantum Gravity Metric

We give a general criterion for transferring first-order responses on an underlying probability space to a closed differential calculus on the law of an observable. An integration-by-parts identity removes presentation ambiguity and yields a closable gradient, its divergence, and a closed Markov form. We apply this sch...

Chun-Hao Cai · 0 citations
Preprint Sep 2026

Operator-norm Sudakov minoration for Gaussian chaos of order two

We prove that an operator-norm separated family of matrices satisfies $\mathbb{E}\sup_{A\in T} G^{T}AG'\geq ca\log |T|$, where G,G'are independent standard Gaussian vectors and a is the separation. The main information estimate concerns arbitrary separated coisometries: conditional entropy is bounded by a source-depend...

W. Bednorz, R. Martynek, R. Meller · 0 citations
Preprint Aug 2026

Density Estimation on Compact Manifolds under Intrinsic Spectral Block Variation

We introduce an intrinsic spectral sparsity model for nonparametric density estimation on compact connected Riemannian manifolds. Instead of penalizing coefficients in an arbitrarily chosen Laplace--Beltrami eigenbasis, we group each complete eigenspace and measure the Hilbert norm of its spectral component. The result...

Olga Klopp, Fedor Noskov · 0 citations
Open access Aug 2026

Range–kernel Orthogonality for Generalized Derivations Associated with Generalized Finite Pairs

Let  be a complex Hilbert space,  the algebra of bounded operators on , and  the generalized derivation determined by . A pair  is generalized finite when  for every . This paper develops a formulation that keeps generalized finiteness, which is a property of the pair , distinct from range–kernel orthogonality, which c...

Amenya Collins Sule, V. Wanjala · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.