---
title: Barycentric Collapse and Simplicial Embeddings
url: https://www.emergentmind.com/topics/barycentric-collapse
type: topic
---

# Barycentric Collapse and Simplicial Embeddings

Barycentric collapse denotes the phenomenon in combinatorial topology whereby the application of barycentric subdivision converts convex or certain structured polytopal complexes into collapsible simplicial complexes. Specifically, any linear subdivision of a convex $d$-polytope becomes simplicially collapsible after one barycentric subdivision; more generally, any star-shaped polyhedron in $\mathbb{R}^d$ becomes collapsible after at most $d-2$ derived subdivisions. For collapsible $d$-complexes with $n$ facets, fewer than $n$ barycentric subdivisions suffice to admit a linear embedding in $\mathbb{R}^{2d}$, a bound that is shown to be sharp in the worst case. The concept and proofs underlying barycentric collapse intricately combine elements of PL topology, combinatorial geometry, and the theory of embeddings and collapses [1709.07930][1403.5217].

## 1. Foundational Definitions and Preliminaries

A **simplicial complex** $K$ is a finite collection of subsets (faces) of a vertex set $V$ such that every subset of a face is also a face, and every singleton $\{v\}$ is included for each $v \in V$. Its **underlying space** $|K|$ is the union of the convex hulls of its faces in some $\mathbb{R}^d$.

A **linear subdivision** of $K$ is a simplicial complex $K'$ with $|K'|=|K|$ and with every face of $K'$ lying in some face of $K$. The **barycentric subdivision** $sd(K)$ is a refinement where vertices correspond to barycenters of faces, and higher-dimensional simplices correspond to chains of faces $\sigma_0 \subsetneq \sigma_1 \subsetneq \ldots \subsetneq \sigma_m$ in $K$. The $r$-fold iterated barycentric subdivision is denoted $sd^r(K)$.

A face $\tau \in K$ is said to be **free** if it is properly contained in exactly one other face $\sigma \in K$. An **elementary collapse** removes the pair $(\tau, \sigma)$. A simplicial complex is **collapsible** if it can be reduced to a single vertex by a sequence of elementary collapses.

## 2. Main Results: Theorems Governing Barycentric Collapse

Two central theorems formalize barycentric collapse for polyhedral complexes:

- **Convex polytopes**: For any convex $d$-polytope $P \subset \mathbb{R}^d$ and any linear subdivision $K$ of $P$, the barycentric subdivision $sd(K)$ is simplicially collapsible [1709.07930].

- **Star-shaped complexes**: Let $C \subset \mathbb{R}^d$ be any (polyhedral) complex whose underlying space is star-shaped. Then $sd^{d-2}(C)$ is collapsible. This result verifies that up to $d-2$ derived subdivisions suffice in this broader class.

Furthermore, **collapsible $d$-complexes with $n$ facets** can be embedded linearly into $\mathbb{R}^{2d}$ after fewer than $n$ barycentric subdivisions. This is sharp: for certain 2-complexes (e.g., cones over non-planar graphs), the bound cannot be reduced because topological obstructions prevent embedding in $\mathbb{R}^{3}$ regardless of the number of subdivisions [1403.5217].

## 3. Proof Strategy: Inductive Scheme and Key Tools

The proof of barycentric collapse for convex polytopes proceeds by induction on dimension $d$ and is a higher-dimensional extension of Chillingworth’s 3D argument. The inductive step relies crucially on two ingredients:

- **Link–collapsibility lemma**: If $\mathrm{Lk}(v, K) \searrow L'$, then $K \searrow (K-v) \cup (v * L')$. If $\mathrm{Lk}(v, K)$ is collapsible, then $K \searrow K-v$.
- **Cone lemma**: Any simplicial cone is collapsible.
- **Derived-neighborhood lemma**: $sd(K)$ can be collapsed stepwise via vertex deletions in the derived order, leveraging the collapsibility of barycentrically subdivided links.

At each inductive step, a generic linear functional orders the vertices. The highest vertex has a link—a convex spherical complex in the unit sphere—whose barycentric subdivision is collapsible by the inductive hypothesis. This establishes that the vertex is free and enables a full sequence of elementary collapses.

For embedding collapsible $d$-complexes with $n$ facets, the construction also proceeds by induction, refining the embedding at each step by carving out new facets and using combinatorial tools that control the embedding's extension over newly subdivided simplices [1403.5217].

## 4. Sharpness, Limitations, and Exemplary Cases

The “fewer than $n$ subdivisions” bound for embedding collapsible $d$-complexes is optimal. For any non-planar graph $G$ (e.g., $K_5$, $K_{3,3}$), its cone $Y = \mathrm{cone}(G)$ forms a 2-dimensional collapsible simplicial complex. However, $Y$ cannot be embedded in $\mathbb{R}^3$, even after arbitrarily many subdivisions, since its 1-skeleton $G$ fails to embed in $\mathbb{R}^2$.

In low dimensions, explicit examples such as a triangle subdivided by an internal vertex demonstrate the collapse after barycentric subdivision: each barycenter becomes sequentially free, and successive elementary collapses eventually reduce the subdivided complex to a point [1709.07930].

## 5. Computational Complexity and Practical Consequences

Determining whether a given simplicial complex is collapsible is NP-complete. Barycentric subdivision entails a combinatorial explosion: the number of faces increases by an exponential factor in $d$. This complexity affects the potential implementation of barycentric collapse-based algorithms, especially for large or high-dimensional input complexes. However, the theorems guarantee that, for convex or star-shaped inputs, a finite and uniform number of barycentric subdivisions will render any linear subdivision collapsible, facilitating topological simplifications in combinatorial and computational topology.

## 6. Corollaries, Extensions, and Open Questions

The main results extend to convex polytopal complexes, collapsible cubical complexes, and finite CAT(0) cube complexes: for any collapsible $d$-cubical complex with $n$ cubes, fewer than $n$ cubical barycentric subdivisions suffice for embeddability in $\mathbb{R}^{2d}$ [1403.5217]. If a 2-complex $C$ admits a collapsible PL thickening to a 3-manifold $M$, then $sd^{n-1}C$ embeds in $\mathbb{R}^3$ by the same inductive argument.

Classical conjectures have been resolved up to one subdivision: Lickorish's conjecture (“Every subdivision of the simplex is collapsible”) is true after one barycentric subdivision. Goodrick's conjecture (star-shaped implies collapsible) holds after $d-2$ derived subdivisions. Hudson's problem on compatibility of collapses with further subdivisions is similarly resolved.

Several further directions remain open, including the possibility of more efficient subdivision procedures, application to other complex classes, and purely combinatorial approaches avoiding spherical geometry [1709.07930].

Source: https://www.emergentmind.com/topics/barycentric-collapse