Searcharxiv⌕ Search

arXiv · 2610.23846

Identifiability from Moments in Independent Component Analysis Mixture Models

Abstract

We study Independent Component Analysis (ICA) mixture models. These models consist of mixtures of ICA densities. An ICA density is associated with a random vector whose coordinates become mutually independent after an invertible linear transformation. ICA mixture models are nonparametric extensions of the celebrated family of Gaussian mixtures. We show that in many cases the ICA mixtures are identifiable from the collection of the observed moment tensors, that is, the mixing coefficients, linear transformations, and source moments of order up to $d$ can be identified from the moment tensors of order up to $d$ for generic parameters. We address the problem by studying the corresponding secant varieties and their algebraic properties such as dimensions and Gauss maps. In particular, for $n$-variate distributions, we establish that generically and up to the trivial scaling and permutation symmetries, when $d\geq 5$, the parameters can be recovered uniquely for asymptotically up to $n^{d-2}/d!$ mixture components. For $d=3,4$, we show identifiability up to a finite equivalence class for asymptotically up to $n^{d-2}/d!$ and $0.5 n^{d-2}/d!$ components respectively, where for $d=4$ the mixing coefficients need to be known a priori. The obtained bounds on the component numbers have the maximum possible orders in $n$, and for $d = 3$ and $d\geq 5$, they are also asymptotically sharp.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pardis Semnani, Konstantin Usevich, Elina Robeva. 2026-10-16. Identifiability from Moments in Independent Component Analysis Mixture Models. https://arxiv.org/abs/2610.23846

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rao-Blackwellized e-variables

We show that for any concave utility, the expected utility of an e-variable can only increase after conditioning on a sufficient statistic, echoing the classic Rao-Blackwell theorem. The simplest form of the result has a straightforward proof using Jensen's inequality, but we prove more sophisticated versions. We provide several applications of this insight, including a derivation of the log-optimal e-variable for testing the variance in a linear regression model.

math.ST↗

A Data-Consistent Approach to Ensemble Filtering

Ensemble data assimilation is challenging when the ensemble size is substantially smaller than the state and observation dimensions, leaving empirical covariance information rank deficient and sensitive to finite sampling. We introduce the Quantity-of-Interest Principal Component Analysis Ensemble Data-Consistent Filter (QPCA-EnDCF), a deterministic filtering method motivated by data-consistent inversion that regularizes the update in the whitened forecast--observation mismatch space. The method restricts the correction to a rank-$κ$ empirical spectral subspace before mapping it to state space through an empirical EnDCF gain. We establish concentration and spectral-projector perturbation results and derive a bias--variance decomposition showing that truncation bias is governed by the discarded component of the population mean residual, while finite-ensemble variability depends on estimation of the retained correction. QPCA-EnDCF avoids the analysis-mean variance contribution from perturbed observations in stochastic EnKF updates, and Lorenz--96 experiments show improved calibration and lower mean-squared error relative to the tested stochastic and deterministic controls, primarily through lower across-realization variance despite increased bias. An idealized inlet shallow-water experiment further shows that QPCA-EnDCF can be implemented in a high-dimensional, severely rank-deficient nonlinear model and remains numerically viable through the prescribed shelf-crossing endpoints.

math.ST↗

Almost Sharp Equivalence between Approximate Message Passing and Low-Degree Polynomials

We prove a sharp lower bound for growing-degree polynomial estimation in the symmetric rank-one matrix estimation problem. The observation is \[ \boldsymbol{Y}=\frac{1}{\sqrt{n}} \boldsymbolθ \boldsymbolθ^{\top}+\boldsymbol{W}, \] where the coordinates of $\boldsymbolθ$ are independent with a common, fixed sub-Gaussian distribution $π_Θ$ satisfying $\mathbb E[Θ]\neq0$, and $\boldsymbol{W}$ is symmetric with independent standard Gaussian upper-triangular entries. For every such prior, we give an explicit finite-dimensional bound implying that every sequence of polynomial estimators of degree $D(n)=o(n^{1/60})$ has normalized mean-square error with limit inferior at least $\mathbb E[Θ^2]-q_{\mathsf{amp}}$, the limiting error of Bayes approximate message passing (AMP). This extends the constant-degree equivalence of Montanari and Wein~\cite{montanari2025equivalence} to growing degree under the same prior assumptions. Combined with their polynomial approximation of fixed-iteration AMP, the bound identifies the exact limiting low-degree MMSE whenever $D(n)\to\infty$ within this range. It thereby answers the growing-degree AMP-equivalence question discussed in~\cite{wein2025computational, maleki2026high} for nonzero-mean sub-Gaussian priors in the stated degree range. We also obtain a moment-dependent finite-dimensional lower bound for any nonzero-mean prior with all moments finite. The proof bounds low-degree MMSE using \emph{conditional} joint cumulants and a refined application of Jensen's inequality. The conditional cumulants are defined using an auxiliary Gaussian channel $\boldsymbol{R}$ calibrated to the AMP fixed point. This retains signal dependence that is lost in unconditional cumulant bounds and produces the cancellations needed for quantitative control as the degree grows.

math.ST↗