Boundary rigidity of k-dimensional cube complexes

Question 1 · arXiv:2309.04385

arXiv Question high confidence— first stated 2023-09-08

Authors: John Haslegrave, Alex Scott, Youri Tamitegama, Jane Tan

Status partial high confidence

The CAT(0) case of Question 1 has been fully resolved: Chalopin and Chepoi (arXiv:2310.04223) proved that all finite CAT(0) cube complexes of any dimension are reconstructible up to isomorphism from their boundary distances (computed in the 1-skeleton), explicitly confirming the conjecture of Haslegrave–Scott–Tamitegama–Tan and in particular settling the open k≥4 cases. The broader question of what conditions beyond CAT(0) might suffice, and whether CAT(0) is in any sense necessary, remains open.

Cited literature (1)

proof Boundary rigidity of finite CAT(0) cube complexes (2023)

Jérémie Chalopin, Victor Chepoi · arXiv preprint · arXiv:2310.04223

Proves that all finite CAT(0) cube complexes of any dimension k can be reconstructed from their boundary distances via median-graph corner-peeling techniques, resolving the k≥4 open case of Question 1 under the CAT(0) condition.

Reviewer notes. Chalopin–Chepoi (arXiv:2310.04223) resolve the CAT(0) case for all k, explicitly citing this as a conjecture of Haslegrave–Scott–Tamitegama–Tan. The paper also appears to have a journal version listed on ScienceDirect (pii S0095895624000625, likely JCTB 2024), though this was not verified by WebFetch. The original Question 1 is broader—asking for a full characterization of conditions—so the status is 'partial'; a complete necessary-and-sufficient characterization remains open.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Question. Under what conditions is a finite $k$-dimensional cube complex $X \hookrightarrow \mathbb{R}^k$ reconstructible up to combinatorial type from its boundary distances?

Context

This question arises as the natural higher-dimensional generalisation of Haslegrave's 2D result (Theorem 1), where a planar quadrangulation with all internal vertices of degree at least 4 is determined by its boundary distances. The paper answers it for $k=3$ via Theorem 2 under the CAT(0) condition, while the cases $k \geq 4$ are noted to involve non-trivial complications discussed in Section 10.

Source paper

Boundary rigidity of 3D CAT(0) cube complexes
John Haslegrave, Alex Scott, Youri Tamitegama, Jane Tan · 2023-09-08
https://arxiv.org/abs/2309.04385 PDF source