arXiv++ Combinatorics

We consider sequential random packing of integral translate of cubes $[0,N]^n$ into the torus $Z^n / 2NZ^n$. Two special cases are of special interest: (i) The case $N=2$ which corresponds to a discrete case of tilings (considered in \cite{cubetiling,book}) (ii) The case $N=\infty$ corresponds to a case of continuous tilings (considered in \cite{combincubepack,book}) Both cases correspond to some special combinatorial structure and we describe here new developments.

We consider sequential random packing of cubes $z+[0,1]^n$ with $z\in \frac{1}{N}\ZZ^n$ into the cube $[0,2]^n$ and the torus $\QuotS{\RR^n}{2\ZZ^n}$ as $N\to\infty$. In the cube case $[0,2]^n$ as $N\to\infty$ the random cube packings thus obtained are reduced to a single cube with probability $1-O(\frac{1}{N})$. In the torus case the situation is different: for $n\leq 2$, sequential random cube packing yields cube tilings, but for $n\geq 3$ with strictly positive probability, one obtains non-extensible cube packings. So, we introduce the notion of combinatorial cube packing, which instead of depending on $N$ depend on some parameters. We use use them to derive an expansion of the packing density in powers of $\frac{1}{N}$. The explicit computation is done in the cube case. In the torus case, the situation is more complicate and we restrict ourselves to the case $N\to\infty$ of strictly positive probability. We prove the following results for torus combinatorial cube packings: We give a general Cartesian product construction. We prove that the number of parameters is at least $\frac{n(n+1)}{2}$ and we conjecture it to be at most $2^n-1$. We prove that cube packings with at least $2^n-3$ cubes are extensible. We find the minimal number of cubes in non-extensible cube packings for $n$ odd and $n\leq 6$.

We consider tilings and packings of $\RR^d$ by integral translates of cubes $[0,2[^d$, which are $4\ZZ^d$-periodic. Such cube packings can be described by cliques of an associated graph, which allow us to classify them in dimension $d\leq 4$. For higher dimension, we use random methods for generating some examples. Such a cube packing is called {\em non-extendible} if we cannot insert a cube in the complement of the packing. In dimension 3, there is a unique non-extendible cube packing with 4 cubes. We prove that $d$-dimensional cube packings with more than $2^d-3$ cubes can be extended to cube tilings. We also give a lower bound on the number $N$ of cubes of non-extendible cube packings. Given such a cube packing and $z\in \ZZ^d$, we denote by $N_z$ the number of cubes inside the $\4t$-cube $z+[0,4[^d$ and call {\em second moment} the average of $N_z^2$. We prove that the regular tiling by cubes has maximal second moment and give a lower bound on the second moment of a cube packing in terms of its density and dimension.