Arora 2012 - Practical Provable Topic Modeling - Overview

Summary

Arora, Ge, Halpern, Mimno, Moitra, Sontag, Wu and Zhu give a topic-model learner that is both provable and practical. It finds anchor words by a combinatorial farthest-point rule (FastAnchorWords) and recovers topics by a per-word convex (simplex-constrained) regression on the word co-occurrence matrix (RecoverKL / RecoverL2). On real data it matches collapsed Gibbs sampling on held-out likelihood and coherence at a small fraction of the runtime.

Overview

Research question. Maximum-likelihood topic estimation is NP-hard even for two topics. Can topics be recovered in polynomial time with guarantees and work in practice, including with correlated topics?

Contribution. (1) Replace the linear programs of Arora et al. (2012b) for anchor selection with a combinatorial algorithm proven stable under noise; (2) replace matrix inversion with a probabilistic, gradient-based recovery (Bayes rule on ); (3) an empirical comparison to Gibbs sampling.

Key result. Under -separability, finds points -covering the vertices in time, and RecoverL2 learns to entry-wise error with documents.

Source Map

Paper sectionCovered in
1 Introductionthis note
2 Background (admixtures, Def. 2.1, Thm 2.2)Arora 2012 - Separability and Anchor Words
3 Probabilistic approach (Alg. 1-3, RecoverKL, RecoverL2)Arora 2012 - Recover Algorithms RecoverKL and RecoverL2
4 Combinatorial anchor finding (Def. 4.1-4.2, Thm 4.3, Alg. 4, Lemmas 4.4-4.6)Arora 2012 - FastAnchorWords Algorithm and Guarantees
5 Experiments (5.1-5.6, Figs 1-6, Table 1)Arora 2012 - Experiments and Evaluation Metrics
6 Conclusionsthis note; Arora 2012 - Experiments and Evaluation Metrics
Appendix A (proofs of anchor finding), B (recovery, Lemma B.1, Thm B.2)Arora 2012 - FastAnchorWords Algorithm and Guarantees
Appendix C (full empirical results, Tables 2-4, Figs 9-13)Arora 2012 - Experiments and Evaluation Metrics
Appendix D (Q construction, exponentiated gradient, KKT test)Arora 2012 - Recover Algorithms RecoverKL and RecoverL2

Motivating PyMC examples

Relevance to marketing measurement

Spectral/anchor methods give deterministic, fast, restart-free topics on basket or query data, and anchors (items belonging to a single need-state) are interpretable. The trade-off: they are not Bayesian posteriors (no uncertainty on by default) and rely on separability; use them for initialisation or as stability checks against an MCMC/VI fit.

Connections

Blei 2003 - Latent Dirichlet Allocation - Overview, Factor Analysis and PPCA (moment-based latent structure), Concept - Topic Model Evaluation and Stability.

See Also

Arora 2012 index