AIMech AI

Anchor Words and RecoverL2 Topic-Word Matrix Factorization

Algorithms AIMech:AnchorWordsAndRecoverL2TopicWordMatrixFactorization DRAFT
Aliases: FastAnchorWords and RecoverL2 Topic Modeling, Anchor-Word Provable Topic Modeling Algorithm, Arora-Ge-Halpern-Mimno-Moitra-Sontag-Wu-Zhu Topic Modeling
Anchor Words and RecoverL2 Topic-Word Matrix Factorization is a practical polynomial-time provable topic modeling pipeline introduced by Arora, Ge, Halpern, Mimno, Moitra, Sontag, Wu, and Zhu (2013) for learning the V x K word-topic matrix A and K x K topic-topic moment matrix R = E[W W^T] from the empirical word-word co-occurrence matrix Q = A R A^T estimated via the unbiased single-document second-order statistic Q = (1/M) sum_d (tilde{H}_d tilde{H}_d^T - hat{H}_d). Under the p-separability assumption that each topic k in {1,...,K} has an anchor word s_k with A_{s_k,k} >= p and A_{s_k,k'} = 0 for all k' != k, the row-normalized co-occurrence rows Q_bar_i satisfy Q_bar_i = sum_{k=1}^K C_{i,k} Q_bar_{s_k} where C_{i,k} = P(z = k | w = i) lies in the K-simplex Delta^K. The pipeline replaces O(V) linear programs with (1) FastAnchorWords (Algorithm 4), a combinatorial furthest-point orthogonal-subspace projection / simplex-volume maximization routine that greedily selects K anchor rows of Q_bar in O(V^2 + V K / epsilon^2) operations (Theorem 4.2), and (2) RecoverL2 (Algorithms 3 and 5), which solves the K x K quadratic program min_{C_i in Delta^K} ||Q_bar_i - sum_k C_{i,k} Q_bar_{s_k}||_2^2 via Exponentiated Gradient for each word i and applies Bayes' rule A_{i,k} propto C_{i,k} (Q 1)_i to recover A without matrix inversion.
Identity Notes & Concept Scope Distinct from variational Bayes or Gibbs sampling for Latent Dirichlet Allocation (`AIO:LatentDirichletAllocation`) and from general linear-programming Separable NMF (AIMech:SeparableNonnegativeMatrixFactorizationAndRobustLonerRecovery). Specifically captures the Arora et al. (2013) word-word co-occurrence formulation Q = A R A^T with unbiased diagonal correction tilde{H}_d tilde{H}_d^T - hat{H}_d (Section 2.1 and Appendix D.1), the Bayesian posterior simplex reformulation C_{i,k} = P(z_1 = k | w_1 = i) (Section 3.1), the RecoverKL/RecoverL2 Exponentiated Gradient solver (Algorithms 3 and 5, Theorem 3.1), and the FastAnchorWords greedy subspace-distance anchor selection algorithm and its simplex-volume perturbation proof (Algorithm 4, Theorem 4.2, and Lemma A.3 / Claim A.4).

Claims & Grounded Evidence

3 Claims
Mechanism #claim-01
For any pure-topic/admixture document model with word-topic matrix A and topic prior moment matrix R = E[W W^T], Appendix D.1 proves that the single-document empirical estimator (tilde{H}_d tilde{H}_d^T - hat{H}_d) with scaling n_d(n_d - 1) is an exact unbiased estimator of A R A^T, and under p-separability every row Q_bar_i of the row-normalized co-occurrence matrix Q_bar is a convex combination sum_{k=1}^K C_{i,k} Q_bar_{s_k} of the K anchor rows with weights equal to the posterior topic probabilities C_{i,k} = P(z_1 = k | w_1 = i), allowing A_{i,k} to be recovered directly via Bayes' rule A_{i,k} propto C_{i,k} P(w = i) without inverting Q_bar_S.
Scope #claim-02
FastAnchorWords (Algorithm 4) greedily selects the furthest row from the affine span of already selected anchors followed by a cleanup pass, and Theorem 4.2 (proved via simplex-volume determinant ratios in Lemma A.3 and Claim A.4) guarantees that whenever the perturbation error satisfies epsilon < gamma^2 p / (20^2 K^2) (where gamma is the minimum L1 topic-row distance of R_bar), FastAnchorWords identifies K near-anchor words within distance O(epsilon / gamma), while RecoverL2 (Theorem 3.1 and Appendix C) achieves polynomial sample complexity M = O(K^6 / (epsilon^2 p^6 gamma^4)).
Limitation #claim-03
The method requires each topic k to possess at least one anchor word with exclusivity A_{s_k,k} >= p > 0 and A_{s_k,k'} = 0 for k' != k; moreover, very rare anchor words (small p) have noisy row-normalized co-occurrence profiles Q_bar_i because dividing by a small marginal count (Q 1)_i amplifies multinomial sampling variance.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:DimensionalityReduction
Dimensionality Reduction
broad_match Specializes separable nonnegative matrix factorization to symmetric word-word co-occurrence matrices Q = A R A^T for low-rank topic dimensionality reduction.
AIO:UnsupervisedClustering
Unsupervised Clustering
related_match Provides a provable polynomial-time moment-factorization method for unsupervised topic discovery and word clustering.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r322-primary-pdf
Sanjeev Arora, Rong Ge, Yoni Halpern, David Mimno, Ankur Moitra, David Sontag, Yichen Wu, Michael Zhu
primary paper
full_text
ID: https://proceedings.mlr.press/v28/arora13.html
sha256:788c9df8bc15…
r322-arxiv-abs
Sanjeev Arora, Rong Ge, Yoni Halpern, David Mimno, Ankur Moitra, David Sontag, Yichen Wu, Michael Zhu
primary paper
abstract_only
ID: https://arxiv.org/abs/1212.4777v1
sha256:ff807aa643bf…
r322-metadata-cr
Sanjeev Arora, Rong Ge, Yoni Halpern, David Mimno, Ankur Moitra, David Sontag, Yichen Wu, Michael Zhu
primary paper
abstract_only
ID: https://proceedings.mlr.press/v28/arora13.html
sha256:318fa289471a…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:AnchorWordsAndRecoverL2TopicWordMatrixFactorization Anchor Words and... 3 claims · 3 sources AIO GROUNDING AIO:DimensionalityReduction (2)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T06:36:00Z
Updated: 2026-10-19T06:36:00Z
Source File: data/curated/AnchorWordsAndRecoverL2TopicWordMatrixFactorization.yaml · Schema: curated_concept.yaml

Explore across X-Mech

Related computational & biological Mechs: Embedding Map Network Graph ProteinTraitsMech (ESM-2 pLM) DUFMech (Domain pLM) TraitMech CultureMech All 14 X-Mech Repositories