Abstract

We study the computational cost of recovering a unit-norm sparse principal component x∈Rnx \in \mathbb{R}^n planted in a random matrix, in either the Wigner or Wishart spiked model (observing either W+λxx⊤W + λxx^\top with WW drawn from the Gaussian orthogonal ensemble, or NN independent samples from N(0,In+βxx⊤)\mathcal{N}(0, I_n + βxx^\top), respectively). Prior work has shown that when the signal-to-noise ratio (λλ or βN/nβ\sqrt{N/n}, respectively) is a small constant and the fraction of nonzero entries in the planted vector is ∥x∥0/n=ρ\|x\|_0 / n = ρ, it is possible to recover xx in polynomial time if ρ≲1/nρ\lesssim 1/\sqrt{n}. While it is possible to recover xx in exponential time under the weaker condition ρ≪1ρ\ll 1, it is believed that polynomial-time recovery is impossible unless ρ≲1/nρ\lesssim 1/\sqrt{n}. We investigate the precise amount of time required for recovery in the "possible but hard" regime 1/n≪ρ≪11/\sqrt{n} \ll ρ\ll 1 by exploring the power of subexponential-time algorithms, i.e., algorithms running in time exp⁡(nδ)\exp(n^δ) for some constant δ∈(0,1)δ\in (0,1). For any 1/n≪ρ≪11/\sqrt{n} \ll ρ\ll 1, we give a recovery algorithm with runtime roughly exp⁡(ρ2n)\exp(ρ^2 n), demonstrating a smooth tradeoff between sparsity and runtime. Our family of algorithms interpolates smoothly between two existing algorithms: the polynomial-time diagonal thresholding algorithm and the exp⁡(ρn)\exp(ρn)-time exhaustive search algorithm. Furthermore, by analyzing the low-degree likelihood ratio, we give rigorous evidence suggesting that the tradeoff achieved by our algorithms is optimal.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.