OWR-14299911-029 · Complete corner-peeling counterexample

A Counterexample to a Corner-Peeling Conjecture for Subcomplexes of Z^3

Manuscript 30 September 2026 · Online 30 September 2026

math.COmath.GTUnrefereed preprint

Abstract

Let G be a finite connected subgraph of the grid ℤ³, not necessarily induced, and let X(G) be the cube complex whose cells are the squares and 3-cubes of ℤ³ all of whose vertices and edges lie in G. A corner is a vertex that lies in exactly one maximal cell, and a corner peeling is an ordering v₁, …, vₙ of the vertices in which each vᵢ is a corner of the subgraph induced by v₁, …, vᵢ. In the problem session of the 2026 Oberwolfach workshop Median Geometry and Applications, V. Chepoi, from discussions with J. Chalopin and M. Kokkou, conjectured that G admits a corner peeling whenever X(G) is simply connected and every connected component of every section of X(G) by a coordinate plane is simply connected. We show that the conjecture is false. We give a subgraph G₆₂ of ℤ³ with 62 vertices in [0,3]³ and an induced subgraph H₇₃ with 73 vertices in [0,4]³ such that the cube complex and all its sections are collapsible, but there is no corner at all. Both examples are invariant under a cyclic group of order 6, and the disproof can be checked by hand; we also give explicit sequences of elementary collapses as machine-checkable certificates. A subdivision construction turns every finite subgraph into an induced subgraph whose pieces and corners are dilates of the original ones, so the conjecture for partial subgraphs and the conjecture for induced subgraphs are equivalent. Uncertified solver computations indicate that no counterexample fits into a 3 × 3 × 3 box of lattice points. We also record a smaller counterexample, with 49 vertices, found in an exploratory solver search during an independent verification of this note and checked by computer. This is an unrefereed note.

Record

Affiliation
Mercury Software GmbH
Result
Complete corner-peeling counterexample
Categories
math.CO · math.GT
Manuscript
30 September 2026
Online release
30 September 2026
Version
1.1
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “A Counterexample to a Corner-Peeling Conjecture for Subcomplexes of Z^3,” EulerSolve Research Papers, OWR-14299911-029, 2026. https://doi.org/10.5281/zenodo.23051217.

BibTeX
@misc{Ferudun2026OWR14299911029,
  author = {Ferudun, Alper},
  title = {A Counterexample to a Corner-Peeling Conjecture for Subcomplexes of Z^3},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/owr-14299911-029/},
  doi = {10.5281/zenodo.23051217},
  note = {OWR-14299911-029; unrefereed preprint}
}

More research papers

Show all 114 other papers

All 115 research papers →