Paper
A cube dismantling problem related to bootstrap percolation
Authors
János Barát, Ian M. Wanless
Abstract
An $n\times n\times\dots\times n$ hypercube is made from $n^d$ unit hypercubes. Two unit hypercubes are neighbours if they share a $(d-1)$-dimensional face. In each step of a dismantling process, we remove a unit hypercube that has precisely $d$ neighbours. A move is balanced if the neighbours are in $d$ orthogonal directions. In the extremal case, there are $n^{d-1}$ independent unit hypercubes left at the end of the dismantling. We call this set of hypercubes a solution. If a solution is projected in $d$ orthogonal directions and we get the entire $[n]^{d-1}$ hypercube in each direction, then the solution is perfect. We show that it is possible to use a greedy algorithm to test whether a set of hypercubes forms a solution. Perfect solutions turn out to be precisely those which can be reached using only balanced moves. Every perfect solution corresponds naturally to a Latin hypercube. However, we show that almost all Latin hypercubes do not correspond to solutions. In three dimensions, we find at least $n$ perfect solutions for every $n$, and we use our greedy algorithm to count the perfect solutions for $n\le6$. We also construct an infinite family of imperfect solutions and show that the total size of its three orthogonal projections is asymptotic to the minimum possible value. Our results solve several conjectures posed in a proceedings paper by Barát, Korondi and Varga. If our dismantling process is reversed we get a build-up process very closely related to well-studied models of bootstrap percolation. We show that in an important special case our build-up reaches the same maximal position as bootstrap percolation.
Metadata
Related papers
Fractal universe and quantum gravity made simple
Fabio Briscese, Gianluca Calcagni • 2026-03-25
POLY-SIM: Polyglot Speaker Identification with Missing Modality Grand Challenge 2026 Evaluation Plan
Marta Moscati, Muhammad Saad Saeed, Marina Zanoni, Mubashir Noman, Rohan Kuma... • 2026-03-25
LensWalk: Agentic Video Understanding by Planning How You See in Videos
Keliang Li, Yansong Li, Hongze Shen, Mengdi Liu, Hong Chang, Shiguang Shan • 2026-03-25
Orientation Reconstruction of Proteins using Coulomb Explosions
Tomas André, Alfredo Bellisario, Nicusor Timneanu, Carl Caleman • 2026-03-25
The role of spatial context and multitask learning in the detection of organic and conventional farming systems based on Sentinel-2 time series
Jan Hemmerling, Marcel Schwieder, Philippe Rufin, Leon-Friedrich Thomas, Mire... • 2026-03-25
Raw Data (Debug)
{
"raw_xml": "<entry>\n <id>http://arxiv.org/abs/2603.23913v1</id>\n <title>A cube dismantling problem related to bootstrap percolation</title>\n <updated>2026-03-25T04:00:47Z</updated>\n <link href='https://arxiv.org/abs/2603.23913v1' rel='alternate' type='text/html'/>\n <link href='https://arxiv.org/pdf/2603.23913v1' rel='related' title='pdf' type='application/pdf'/>\n <summary>An $n\\times n\\times\\dots\\times n$ hypercube is made from $n^d$ unit hypercubes. Two unit hypercubes are neighbours if they share a $(d-1)$-dimensional face. In each step of a dismantling process, we remove a unit hypercube that has precisely $d$ neighbours. A move is balanced if the neighbours are in $d$ orthogonal directions. In the extremal case, there are $n^{d-1}$ independent unit hypercubes left at the end of the dismantling. We call this set of hypercubes a solution. If a solution is projected in $d$ orthogonal directions and we get the entire $[n]^{d-1}$ hypercube in each direction, then the solution is perfect.\n We show that it is possible to use a greedy algorithm to test whether a set of hypercubes forms a solution. Perfect solutions turn out to be precisely those which can be reached using only balanced moves. Every perfect solution corresponds naturally to a Latin hypercube. However, we show that almost all Latin hypercubes do not correspond to solutions.\n In three dimensions, we find at least $n$ perfect solutions for every $n$, and we use our greedy algorithm to count the perfect solutions for $n\\le6$. We also construct an infinite family of imperfect solutions and show that the total size of its three orthogonal projections is asymptotic to the minimum possible value.\n Our results solve several conjectures posed in a proceedings paper by Barát, Korondi and Varga.\n If our dismantling process is reversed we get a build-up process very closely related to well-studied models of bootstrap percolation. We show that in an important special case our build-up reaches the same maximal position as bootstrap percolation.</summary>\n <category scheme='http://arxiv.org/schemas/atom' term='math.CO'/>\n <published>2026-03-25T04:00:47Z</published>\n <arxiv:primary_category term='math.CO'/>\n <arxiv:journal_ref>J. Stat. Phys. 149 (2012), 754-770</arxiv:journal_ref>\n <author>\n <name>János Barát</name>\n </author>\n <author>\n <name>Ian M. Wanless</name>\n </author>\n </entry>"
}