GP-unmix: Unsupervised Source Separation

• GP-unmix is a class of unsupervised algorithms that fuse gradient projection methods with Gaussian process regularization to achieve efficient source separation.
• These methods are applied in nonlinear hyperspectral unmixing and time-domain audio separation, enforcing physical constraints like nonnegativity and simplex adherence.
• By incorporating scalable optimization techniques such as variational sparse inference and block-term tensor decomposition, GP-unmix delivers state-of-the-art performance and significant speedups.

GP-unmix denotes a class of unsupervised algorithms for source separation—often referred to as unmixing—whose central computational paradigm involves gradient projection methods or Gaussian-process (GP) regularization. These methods are principally found in two application domains: nonlinear hyperspectral unmixing for remote sensing, and time-domain audio source separation for acoustics and signal processing. Additionally, GP-unmix refers to recent accelerated algorithms for block-term tensor decomposition (specifically, LL1 decomposition) in structured hyperspectral unmixing. Across these domains, GP-unmix frameworks balance expressivity of source models (nonlinearities and data priors) with computational scalability, incorporating both statistical inference and constraint projection. This overview systematically describes three representative GP-unmix methodologies as developed in (Altmann et al., 2012, Alvarado et al., 2018), and (Ding et al., 2022).

1. Nonlinear Mixing and Gaussian Process Models in Hyperspectral Unmixing

In hyperspectral image (HSI) analysis, GP-unmix methods address the scenario in which the observed spectrum $\mathbf{x}_n\in\mathbb{R}^L$ at each pixel arises from an unknown, potentially nonlinear function $f$ of abundance vectors:

$$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$

The abundance vector $\mathbf{a}_n$ is required to obey the simplex (nonnegativity and sum-to-one) constraint: $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$ The nonlinear mapping $f$ is modeled as a multivariate GP, parameterized via a bilinear feature expansion $\psi(\mathbf{a})$ of dimension $D = R(R+1)/2$, resulting in the kernel

$$k(\mathbf{a}_i, \mathbf{a}_j) = \psi(\mathbf{a}_i)^\top \psi(\mathbf{a}_j).$$

Joint Bayesian inference is performed over the latent abundances, the GP function $f$, and the noise hyperparameters. The full (marginal) likelihood of the data is

$f$0

where each $f$1 is an $f$2-vector of $f$3-th band values and $f$4 is the Gram matrix over all abundances.

Physical constraints are enforced via a locally linear embedding (LLE) prior on the latent arrangement, yielding: $f$5

MAP estimation over this highly structured posterior employs a scaled conjugate-gradient (SCG) method, exploiting the Woodbury matrix identity to ensure computational complexity scales as $f$6 with typically $f$7. The final abundance solutions are projected into the positive simplex via a minimal-volume simplex fit, and endmember spectra are recovered using GP regression conditioned on the optimized latent variables.

2. GP-unmix in Time-Domain Audio Source Separation

For single-channel audio source separation, GP-unmix operates wholly in the time domain, avoiding the phase reconstruction ambiguities of time–frequency approaches: $f$8 Each latent source $f$9 is modeled as an independent GP with zero-mean and a spectral mixture (SM) kernel reflecting the temporal spectrum of the source: $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$0 The sum $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$1 is thus a GP with covariance $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$2.

To reduce cubic complexity in the sequence length $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$3, the model employs a variational sparse GP framework, introducing $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$4 inducing variables. The evidence lower bound (ELBO) is optimized per time frame (e.g., 125 ms segments), leading to per-frame complexity $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$5 and total $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$6. Kernel parameters can be pre-trained on isolated recordings for improved spectral priors.

Frame-wise GP posteriors are recomposed to yield separated, phase-correct time-domain source estimates. Quantitative evaluation demonstrates improved source-to-distortion ratio (SDR, up to 24.1 dB) and source-to-interference ratio (SIR, up to 31.4 dB) relative to baseline methods (NMF variants, tensor factorization).

3. Block-Term Tensor Decomposition via Gradient Projection

In the linear mixing regime for HSI, GP-unmix also refers to an efficient algorithm for LL1 block-term tensor decomposition, formalized as: $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$7 where $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$8 (abundance map, rank $$\mathbf{x}_n = f(\mathbf{a}_n) + \boldsymbol{\epsilon}_n,\quad \boldsymbol{\epsilon}_n \sim \mathcal{N}(\mathbf{0}, \sigma^2 I_L).$$9), and $\mathbf{a}_n$0 (endmember spectrum). Aggregating all abundance maps as $\mathbf{a}_n$1, the objective is

$\mathbf{a}_n$2

subject to nonnegativity, per-pixel simplex, and per-map rank constraints: $\mathbf{a}_n$3 The iterative GP-unmix (also termed GradPAPA‐LL1) alternates between projected gradient steps on $\mathbf{a}_n$4 and $\mathbf{a}_n$5, followed by explicit projections:

• $\mathbf{a}_n$6: Clamp at zero following a gradient step.
• $\mathbf{a}_n$7: Alternate projections onto the positive simplex (per-pixel abundance at each location), and per-map low-rank constraints (via SVD truncation) or nuclear norm surrogates.

A spatial regularizer (e.g., smoothed $\mathbf{a}_n$8-TV) $\mathbf{a}_n$9 enforces abundance map smoothness, and all feasibility constraints are maintained by analytic projection, ensuring $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$0 feasible iterates. The method achieves per-iteration complexity $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$1 and sublinear $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$2 convergence rate.

4. Optimization, Algorithmic Outline, and Scalability

Across domains, GP-unmix methods share a reliance on scalable optimization. For nonlinear hyperspectral unmixing (Altmann et al., 2012), SCG with analytic gradients is employed for the joint GP/abundance posterior, leveraging low-rank structure and PCA subspace priors on the endmember spectra. For time-domain audio separation (Alvarado et al., 2018), blockwise (per-frame) variational inference breaks a potentially intractable global Bayes problem into parallelizable, GPU-friendly GP subproblems.

In LL1 tensor unmixing (Ding et al., 2022), the two-block gradient projection scheme bypasses the high per-iteration cost and slow convergence endemic to three-factor ALS–MU LL1 algorithms, leading to an order-of-magnitude wall-time speedup (e.g., from $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$3 hours to $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$4 minutes on a $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$5 scene, $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$6). Fast closed-form projection solvers and alternating projections enable the exact imposition of hard physical constraints.

5. Experimental Evaluation and Quantitative Outcomes

Empirical performance summaries demonstrate the effectiveness of GP-unmix variants:

Application	Domain	Metrics/Results
Nonlinear HSI unmixing	Imaging	GP-unmix outperforms PCA/linear/nonlinear baselines by ARE and SAM, notably w/o pure pixels (Altmann et al., 2012)
Audio source separation	Acoustics	SDR up to 24.1 dB, SIR up to 31.4 dB, 98% faster than full GP; state-of-the-art against NMF/tensor baselines (Alvarado et al., 2018)
Block-term tensor unmixing	Imaging	10–100× speedup, endmember MSE $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$7–$a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$8, 100% feasibility vs. $a_{n,r} \geq 0,\quad \sum_{r=1}^R a_{n,r} = 1.$910% in three-factor ALS–MU (Ding et al., 2022)

Key observations include the capability of GP-unmix to recover endmembers when pure pixels are absent, robust abundance estimation under moderate noise, and the enforceability of exact physical constraints (nonnegativity, simplex, low-rank) across all solutions.

6. Physical Priors, Limitations, and Extension Prospects

Hard projection onto the simplex and nonnegativity constraints ensures that GP-unmix solutions remain physically interpretable. Physics-motivated priors—local isometry (LLE), spatial smoothness ($f$0-TV), spectral kernel priors from isolated source recordings—enhance generalization and identifiability. However, GP-unmix methods may depend on pre-trained kernels (audio), heuristic hyperparameter tuning (number/mode of inducing points or spectral mixture components), and frame-based processing that may not fully capture long-range dependencies.

Possible extensions cited include end-to-end kernel and waveform learning, adaptive time-varying or nonstationary kernels, and the integration of deep kernel or neural feature maps to further enhance the modeling power.

7. Summary and Significance

GP-unmix methods realize a fusion between expressive probabilistic modeling (Gaussian processes, block-term tensor factorization) and rigorous projection-based optimization, delivering accurate, physically plausible source separation in both hyperspectral and audio data. Their combination of flexible nonlinear modeling with computational efficiency and constraint enforcement underlies their success in unmixing tasks where classic linear or unconstrained methods falter. Empirical evidence shows superior accuracy, feasibility, and speed relative to standard alternatives, attesting to their suitability as state-of-the-art approaches in the respective domains.