MATH · IN · MODELS
structures / Manifolds / Pinched Manifold (Singular Quotient)

Pinched Manifold (Singular Quotient)

OBJECTgeometric-objectembedded-setnonlinearK:n/aimplicitquotient of a manifold by a finite point-identification: locally homeomorphic to an open ball everywhere except at a finite set of singular points, where several sheets are glued at a common centreintermediatehow it's classified →

A word/embedding space is not a smooth manifold but a pinched one: a manifold of 'meanings' with some of its points identified (glued together) to produce singular points, each singularity corresponding to a polysemous word with multiple senses folded into one vector.

Replicationcomputed from the corpus — never hand-assigned
1 paper1 architecture class1 domain1 model family
Filled = two or more values reported by papers that share no author — replication. Outlined = two or more values, but all from a single study — breadth, not replication. Grey = a single value. Derived from paper authorship and each model's architecture class, domain and family; it updates itself when a paper is added.

Definition

Let MM be a manifold (the hypothetical space of meanings). A pinching of MM is the quotient space obtained by choosing a finite collection of finite point-sets S1,,SkMS_1,\dots,S_k \subset M and identifying each SiS_i to a single point. The result W=M/{S1,,Sk}W = M/\{S_1,\dots,S_k\} is a pinched manifold: it agrees with MM (is a genuine nn-manifold, locally homeomorphic to an open ball) at every point except the kk new singular points, where the neighbourhood instead looks like Si|S_i| open balls glued together at their centres.

Singular points are distinguished from ordinary ones by a purely topological test: the punctured neighbourhood (the neighbourhood minus the point itself) of an ordinary point is connected, while the punctured neighbourhood of a singular point obtained by gluing k>1k>1 points has kk connected components. In dimension 2\geq 2 this criterion is exact; the unpunctured neighbourhoods of singular and ordinary points are not distinguishable by the usual invariants (both are contractible).

Intuition

Take a manifold of “meanings” MM — an idealised space in which every distinct sense of every word has its own point. A real word-vector embedding does not represent meanings; it represents words, and a polysemous word (e.g. “mole”: a skin blemish, a spy, a burrowing mammal, a unit of substance) must have all of its distinct meanings mapped to the same vector. That many-to-one identification is exactly the pinching construction: the word space WW is what you get by gluing together the several points of MM that share a word, and the glued points are singular — geometrically indistinguishable from an ordinary point in isolation, but topologically different from their neighbours, since a small ball around “mole” really looks like several half-formed neighbourhoods (birthmark-senses, spy-senses, mammal-senses) fused at a point.

Relative to manifolds and persistent-homology-profile

This is a sharper, falsifiable alternative to the plain manifold hypothesis for word/embedding spaces, not a measurement built on top of it: the claim is about the shape of the space itself (a specific kind of non-manifold, a singular quotient), not a scalar or profile computed from it. Persistent homology (see Persistent-homology / Betti profile across depth) is used here purely as the detection instrument — a degree-zero persistence diagram of a word’s punctured neighbourhood counts connected components, which is exactly the invariant that separates singular from ordinary points — not as the structural claim in its own right. This mirrors the general distinction elsewhere in this map between a shape (Circle, Torus, …) and the machinery used to detect it.

Key evidence

A topological measure of polysemy built from exactly this singular-point criterion correlates with real word-sense counts in a self-trained fastText embedding. Jakubowski, Gasić & Zibrowius (2020) formalize topological polysemy TPSn(w)\mathrm{TPS}_n(w): normalize a word ww‘s nn nearest neighbours onto the unit sphere around ww, compute the degree-zero persistence diagram of that punctured neighbourhood, and take its Wasserstein norm — the more disconnected the punctured neighbourhood, the more “singular” ww‘s point looks, the higher the score. Fit on a 65M-token SemEval-2010 corpus with a from-scratch fastText model (no lexicographic supervision), TPS50\mathrm{TPS}_{50} correlates with the SemEval word-sense-induction gold standard at r=0.424r=0.424 (p<103p<10^{-3}) and with WordNet synset counts across 62,049 words, while showing no correlation with raw word frequency (ruling out a frequency confound). A simple clustering solution to the SemEval-2010 task built on the same intuition (cluster punctured neighbourhoods; assign instances to the nearest cluster) is competitive with far more complex contemporary systems. See jakubowski-etal-2020-topology-of-word-embeddings.

Key papers

  • Jakubowski, Gasić & Zibrowius (2020). Topology of Word Embeddings: Singularities Reflect Polysemy. arXiv:2011.09413 — origin of the pinched-manifold picture and the TPS measure above.

Found in (1 observation · 1 family)

FastText

Topology of Word Embeddings: Singularities Reflect Polysemy (2020)measured

Topological Polysemy (TPS), a persistent-homology-based singularity measure, correlates with real word-sense counts in a trained fastText embedding, and not with frequency

Details

Jakubowski, Gašić & Zibrowius (2020) model word-embedding space as a "pinched manifold" in which polysemous words sit at singular/glued points, and define Topological Polysemy (TPS) via degree-0 persistent homology (Wasserstein norm of punctured-neighborhood persistence diagrams) computed directly on real self-trained fastText embeddings (65M-token SemEval-2010 corpus). TPS correlates with SemEval-2010 gold-standard sense-cluster counts (Pearson r=0.424, p<10^-3, 100 words) and, more weakly but significantly, with WordNet synset counts (r=0.085-0.122, 62,049 words) — and explicitly does NOT correlate with word frequency (r=-0.006), ruling out a frequency confound. A quantified topological-shape claim on real trained embeddings, clearing criterion (a); no causal intervention performed. See [[pinched-manifold]].

models: fastText (self-trained on 65M-token SemEval-2010 corpus) · method: Persistent homology (Betti number analysis)