A Cube Dismantling Problem Related to Bootstrap Percolation
Abstract
An n× n×⋯× n hypercube is made from n ^{ d } unit hypercubes. Two unit hypercubes are neighbours if they share a ( d1)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 ^{ d1} 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]^{ d1} 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≤6. 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 buildup process very closely related to wellstudied models of bootstrap percolation. We show that in an important special case our buildup reaches the same maximal position as bootstrap percolation.
 Publication:

Journal of Statistical Physics
 Pub Date:
 November 2012
 DOI:
 10.1007/s1095501206227
 Bibcode:
 2012JSP...149..754B
 Keywords:

 Bootstrap percolation;
 Graph decomposition;
 Greedy algorithm;
 Latin square;
 Latin hypercube