Continuous Algebraic Diversity: Unifying Spectral, Wavelet, and Time-Frequency Analysis via Lie Group Actions

TL;DR

This paper introduces a unified algebraic framework for spectral, wavelet, and time-frequency analysis using Lie group actions, providing a criterion for optimal analysis method selection.

Contribution

It extends the algebraic diversity framework to Lie groups, establishing a unified theory and selection criterion for various signal analysis techniques.

Findings

Generalizes analysis selection via a group-averaged estimator

Explains frequency-dependent noise in wavelet analysis through non-unimodularity

Provides a polynomial-time solution for blind group matching

Abstract

We provide a computable criterion for selecting among Fourier, wavelet, and time-frequency analysis by extending the algebraic diversity (AD) framework to Lie groups acting on $L^2(\mathbb{R})$. To our knowledge, there is no other criterion that provides this selection capability. The group-averaged estimator generalizes from a finite sum over group elements to an integral with respect to Haar measure. A Continuous Replacement Theorem establishes signal-noise separation under equivariance and ergodicity conditions, with a noise operator $\mathcal{N}_G = C_\rho^{-2}$ determined by the Duflo-Moore operator that explains the frequency-dependent noise floor in wavelet analysis as a consequence of the affine group's non-unimodularity. A Unification Theorem shows that classical spectral analysis corresponds to the translation group, wavelet analysis to the affine group, time-frequency analysis to the Heisenberg-Weyl group, and spherical harmonics to SO(3). The commutativity residual $\delta$, extended to Hilbert-Schmidt operator norms, provides a principled selection criterion among these groups. A double-commutator generalized eigenvalue problem solves the blind group matching problem in polynomial time. A Discretization Recovery Theorem establishes that all discrete AD results are sampling approximations to the continuous theory, with $\mathbb{Z}_M \to (\mathbb{R},+)$ as $M \to \infty$.