Table of Contents
Fetching ...

Nonlinear Laplacians: Tunable principal component analysis under directional prior information

Yuxin Ma, Dmitriy Kunisky

TL;DR

This work introduces the sigma-Laplacian, a nonlinear deformation of the observed matrix for PCA-like tasks when directional prior information about the signal is available. By adding a diagonal matrix formed from a bounded nonlinear function of the signal-propagated vector, and compressing to decouple noise, the authors characterize when an outlier eigenvalue emerges (BBP-type transition) under nonlinear perturbations and derive an additive free-convolution description of the bulk spectrum. They prove that, for Gaussian planted submatrix and related models, appropriately chosen nonlinearities yield substantial improvements over direct spectral methods in detection and weak recovery, and they provide practical strategies to design these nonlinearities (hand-tuned, learned via MLP, and black-box optimization). The approach remains simple and spectrally tractable, offering robust performance and transferability across models, with connections to graph neural networks and potential extensions to more general directional priors. Overall, nonlinear Laplacian spectral algorithms offer a principled, flexible, and effective framework for PCA with directional priors, bridging the gap between classic spectral methods and more complex inference algorithms like AMP or BP.

Abstract

We introduce a new family of algorithms for detecting and estimating a rank-one signal from a noisy observation under prior information about that signal's direction, focusing on examples where the signal is known to have entries biased to be positive. Given a matrix observation $\mathbf{Y}$, our algorithms construct a nonlinear Laplacian, another matrix of the form $\mathbf{Y}+\mathrm{diag}(σ(\mathbf{Y1}))$ for a nonlinear $σ:\mathbb{R}\to\mathbb{R}$, and examine the top eigenvalue and eigenvector of this matrix. When $\mathbf{Y}$ is the (suitably normalized) adjacency matrix of a graph, our approach gives a class of algorithms that search for unusually dense subgraphs by computing a spectrum of the graph "deformed" by the degree profile $\mathbf{Y1}$. We study the performance of such algorithms compared to direct spectral algorithms (the case $σ=0$) on models of sparse principal component analysis with biased signals, including the Gaussian planted submatrix problem. For such models, we rigorously characterize the strength of rank-one signal, as a function of $σ$, required for an outlier eigenvalue to appear in the spectrum of a nonlinear Laplacian matrix. While identifying the $σ$ that minimizes the required signal strength in closed form seems intractable, we explore three approaches to design $σ$ numerically: exhaustively searching over simple classes of $σ$, learning $σ$ from datasets of problem instances, and tuning $σ$ using black-box optimization of the critical signal strength. We find both theoretically and empirically that, if $σ$ is chosen appropriately, then nonlinear Laplacian spectral algorithms substantially outperform direct spectral algorithms, while retaining the conceptual simplicity of spectral methods compared to broader classes of computations like approximate message passing or general first order methods.

Nonlinear Laplacians: Tunable principal component analysis under directional prior information

TL;DR

This work introduces the sigma-Laplacian, a nonlinear deformation of the observed matrix for PCA-like tasks when directional prior information about the signal is available. By adding a diagonal matrix formed from a bounded nonlinear function of the signal-propagated vector, and compressing to decouple noise, the authors characterize when an outlier eigenvalue emerges (BBP-type transition) under nonlinear perturbations and derive an additive free-convolution description of the bulk spectrum. They prove that, for Gaussian planted submatrix and related models, appropriately chosen nonlinearities yield substantial improvements over direct spectral methods in detection and weak recovery, and they provide practical strategies to design these nonlinearities (hand-tuned, learned via MLP, and black-box optimization). The approach remains simple and spectrally tractable, offering robust performance and transferability across models, with connections to graph neural networks and potential extensions to more general directional priors. Overall, nonlinear Laplacian spectral algorithms offer a principled, flexible, and effective framework for PCA with directional priors, bridging the gap between classic spectral methods and more complex inference algorithms like AMP or BP.

Abstract

We introduce a new family of algorithms for detecting and estimating a rank-one signal from a noisy observation under prior information about that signal's direction, focusing on examples where the signal is known to have entries biased to be positive. Given a matrix observation , our algorithms construct a nonlinear Laplacian, another matrix of the form for a nonlinear , and examine the top eigenvalue and eigenvector of this matrix. When is the (suitably normalized) adjacency matrix of a graph, our approach gives a class of algorithms that search for unusually dense subgraphs by computing a spectrum of the graph "deformed" by the degree profile . We study the performance of such algorithms compared to direct spectral algorithms (the case ) on models of sparse principal component analysis with biased signals, including the Gaussian planted submatrix problem. For such models, we rigorously characterize the strength of rank-one signal, as a function of , required for an outlier eigenvalue to appear in the spectrum of a nonlinear Laplacian matrix. While identifying the that minimizes the required signal strength in closed form seems intractable, we explore three approaches to design numerically: exhaustively searching over simple classes of , learning from datasets of problem instances, and tuning using black-box optimization of the critical signal strength. We find both theoretically and empirically that, if is chosen appropriately, then nonlinear Laplacian spectral algorithms substantially outperform direct spectral algorithms, while retaining the conceptual simplicity of spectral methods compared to broader classes of computations like approximate message passing or general first order methods.
Paper Structure (58 sections, 28 theorems, 149 equations, 6 figures)

This paper contains 58 sections, 28 theorems, 149 equations, 6 figures.

Key Result

Theorem 1.6

Consider a symmetric random matrix $\bm{Y} = \bm{W} + \beta\sqrt{n} \cdot \bm{x}\bm{x}^{\top}\in \mathbb{R}^{n\times n}_{\mathrm{sym}}$ as above, where $\beta>0$, $\bm{x}$ is a unit vector and $\bm{W}$ is a GOE random matrix independent of $\bm{x}$. Then the following hold for the largest eigenvalue

Figures (6)

  • Figure 1: A comparison of the eigenvalues of the matrices used by a direct spectral algorithm and a $\sigma$-Laplacian spectral algorithm for the Gaussian Planted Submatrix problem. The left column shows the $\sigma$ used (which is zero for the direct algorithm). The other columns show the empirical eigenvalue distributions for various signal strengths $\beta$. The maximum eigenvalue is indicated with an arrow to highlight outliers, and the analytic prediction of the limiting eigenvalue density is plotted in red.
  • Figure 2: The phase transition of top eigenvalue and eigenvector for direct and nonlinear Laplacian spectral algorithms. Each point of the plot shows the average over 500 random inputs of the largest eigenvalue and the squared correlation of the top eigenvector with the signal $\bm{x}$ for a nonlinear Laplacian $\bm{L}_{\sigma}(\bm{Y})$ with $\bm{Y}$ drawn from the Gaussian Planted Submatrix model, for $\sigma = 0$ (dark line) and $\sigma$ the best "S-shaped" sigmoid nonlinearity found by black-box optimization (light line). Error bars have width of plus/minus one standard deviation over these trials. We also include the theoretical prediction from Theorem \ref{['thm:main']}.
  • Figure 3: Comparison of $\sigma$ obtained by various approaches for the Gaussian Planted Submatrix model: we illustrate $\sigma$ optimized over small function classes (b--c), learned from data using a multi-layer perceptron (MLP) structure (d), and obtained from black-box optimization using a step function structure (e). The corresponding value of $\beta_*(\sigma)$ is given below each.
  • Figure 4: $\beta_*(\sigma)$ for the family of "Z"-shaped piecewise linear $\sigma$ given in \ref{['eq:z-shaped-sigma']}, with each parameter fixed at its optimal value and the other two varying.
  • Figure 5: An illustration of the phase transition of top eigenvalue and eigenvector for the Planted Clique model. Each point of the plot shows the average over 500 random inputs of the largest eigenvalue and the squared correlation of the top eigenvector with the signal $\bm{x}$ for a nonlinear Laplacian $\bm{L}_{\sigma}(\bm{Y})$ with $\bm{Y}$ drawn from the Gaussian Planted Submatrix model, for $\sigma = 0$ (dark line) and $\sigma$ the best "S-shaped" nonlinearity found by black-box optimization (light line). Error bars have width of plus/minus one standard deviation over these trials. We also incorporate the theoretical prediction for the Gaussian Planted Submatrix model from Theorem \ref{['thm:main']}. The numerical outputs align with the theoretical predictions, supporting Conjecture \ref{['conj:clique']}.
  • ...and 1 more figures

Theorems & Definitions (68)

  • Definition 1.1: Sparse Biased PCA
  • Example 1.2: Gaussian Planted Submatrix
  • Definition 1.3: $\sigma$-Laplacian matrix
  • Definition 1.4: $\sigma$-Laplacian spectral algorithms
  • Definition 1.5: Compressed $\sigma$-Laplacian matrix
  • Theorem 1.6: FP-2007-LargestEigenvalueWigner
  • Corollary 1.7
  • Theorem 1.8
  • Theorem 1.9: Gaussian Planted Submatrix $^{\textbf{(n)}}$
  • Theorem 1.10
  • ...and 58 more