arXiv++ Combinatorics

We study families of axis-aligned boxes in a $d$-dimensional Euclidean space $\mathbb{R}^d$ whose placement is restricted by bounds on the dimension of their pairwise intersections. More specifically, two such boxes in $\mathbb{R}^d$ are said to be \emph{$k$-neighborly} if their intersection has dimension at least $d-k$ and at most $d-1$. The maximum number of pairwise $k$-neighborly boxes in $\mathbb{R}^d$ is denoted by $n(k,d)$. It is known that $n(k,d)=Θ(d^k)$, for fixed $1\leqslant k\leqslant d$, however, exact formulas are known only in three cases: $k=1$, $k=d-1$, and $k=d$. In particular, the equality $n(1,d)=d+1$ is equivalent to the famous theorem of Graham and Pollak concerning partitions of complete graphs into complete bipartite graphs. In our main result we give a new construction of families of $k$-neighborly boxes which improves the lower bound for $n(k,d)$ when $k$ is close to $d$. Together with some recent upper bounds on $n(k,d)$, it gives the asymptotic equality $n(d-s,d)\thicksim\frac{2^s+1}{2^{s+1}}\cdot2^d$, for every fixed $s\leqslant d/2$. In our constructions we use a familiar interpretation of the problem in the language of Hamming cubes represented by binary strings with a special blank symbol, called \emph{joker}.

Two axis-aligned boxes in $\mathbb{R}^d$ are \emph{$k$-neighborly} if their intersection has dimension at least $d-k$ and at most $d-1$. The maximum number of pairwise $k$-neighborly boxes in $\mathbb{R}^d$ is denoted by $n(k,d)$. It is known that $n(k,d)=Θ(d^k)$, for fixed $1\leqslant k\leqslant d$, but exact formulas are known only in three cases: $k=1$, $k=d-1$, and $k=d$. In particular, the formula $n(1,d)=d+1$ is equivalent to the famous theorem of Graham and Pollak on bipartite partitions of cliques. In this paper we are dealing with the case $k=2$. We give a new construction of $k$-neighborly \emph{codes} giving better lower bounds on $n(2,d)$. The construction is recursive in nature and uses a kind of ``algebra'' on \emph{lists} of ternary strings, which encode neighborly boxes in a familiar way. Moreover, we conjecture that our construction is optimal and gives an explicit formula for $n(2,d)$. This supposition is supported by some numerical experiments and some partial results on related open problems which are recalled.

Let $n,d\in \mathbb{N}$ and $n>d$. An $(n-d)$-domino is a box $I_1\times \cdots \times I_n$ such that $I_j\in \{[0,1],[1,2]\}$ for all $j\in N\subset [n]$ with $|N|=d$ and $I_i=[0,2]$ for every $i\in [n]\setminus N$. If $A$ and $B$ are two $(n-d)$-dominoes such that $A\cup B$ is an $(n-(d-1))$-domino, then $A,B$ is called a twin pair. If $C,D$ are two $(n-d)$-dominoes which form a twin pair such that $A\cup B=C\cup D$ and $\{C,D\}\neq \{A,B\}$, then the pair $C,D$ is called a flip of $A,B$. A family $\mathscr{D}$ of $(n-d)$-dominoes is a tiling of the box $[0,2]^n$ if interiors of every two members of $\mathscr{D}$ are disjoint and $\bigcup_{B\in \mathscr{D}}B=[0,2]^n$. An $(n-d)$-domino tiling $\mathscr{D}'$ is obtained from an $(n-d)$-domino tiling $\mathscr{D}$ by a flip, if there is a twin pair $A,B\in \mathscr{D}$ such that $\mathscr{D}'=(\mathscr{D}\setminus \{A,B\})\cup \{C,D\}$, where $C,D$ is a flip of $A,B$. A family of $(n-d)$-domino tilings of the box $[0,2]^n$ is flip-connected, if for every two members $\mathscr{D},\mathscr{E}$ of this family the tiling $\mathscr{E}$ can be obtained from $\mathscr{D}$ by a sequence of flips. In the paper some flip-connected class of $(n-d)$-domino tilings of the box $[0,2]^n$ is described.

Two $d$-dimensional simplices in $R^d$ are neighborly if its intersection is a $(d-1)$-dimensional set. A family of $d$-dimensional simplices in $R^d$ is called neighborly if every two simplices of the family are neighborly. Let $S_d$ be the maximal cardinality of a neighborly family of $d$-dimensional simplices in $R^d$. Based on the structure of some codes $V\subset \{0,1,*\}^n$ it is shown that $\lim_{d\rightarrow \infty}(2^{d+1}-S_d)=\infty$. Moreover, a result on the structure of codes $V\subset \{0,1,*\}^n$ is given.

A family of axis-aligned boxes in $\er^d$ is \emph{$k$-neighborly} if the intersection of every two of them has dimension at least $d-k$ and at most $d-1$. Let $n(k,d)$ denote the maximum size of such a family. It is known that $n(k,d)$ can be equivalently defined as the maximum number of vertices in a complete graph whose edges can be covered by $d$ complete bipartite graphs, with each edge covered at most $k$ times. We derive a new upper bound on $n(k,d)$, which implies, in particular, that $n(k,d)\leqslant (2-δ)^d$ if $k\leqslant (1-\varepsilon)d$, where $δ>0$ depends on arbitrarily chosen $\varepsilon>0$. The proof applies a classical result of Kleitman, concerning the maximum size of sets with a given diameter in discrete hypercubes. By an explicit construction we obtain also a new lower bound for $n(k,d)$, which implies that $n(k,d)\geqslant (1-o(1))\frac{d^k}{k!}$. We also study $k$-neighborly families of boxes with additional structural properties. Families called \emph{total laminations}, that split in a tree-like fashion, turn out to be particularly useful for explicit constructions. We pose a few conjectures based on these constructions and some computational experiments.

Let $S$ be a set of arbitrary objects, and let $s\mapsto s'$ be a permutation of $S$ such that $s"=(s')'=s$ and $s'\neq s$. Let $S^d=\{v_1...v_d\colon v_i\in S\}$. Two words $v,w\in S^d$ are dichotomous if $v_i=w'_i$ for some $i\in [d]$, and they form a twin pair if $v_i'=w_i$ and $v_j=w_j$ for every $j\in [d]\setminus \{i\}$. A polybox code is a set $V\subset S^d$ in which every two words are dichotomous. A polybox code $V$ is a cube tiling code if $|V|=2^d$. A $2$-periodic cube tiling of $\mathbb{R}^d$ and a cube tiling of flat torus $\mathbb{T}^d$ can be encoded in a form of a cube tiling code. A twin pair $v,w$ in which $v_i=w_i'$ is glue (at the $i$th position) if the pair $v,w$ is replaced by one word $u$ such that $u_j=v_j=w_j$ for every $j\in [d]\setminus \{i\}$ and $u_i=*$, where $*\not\in S$ is some extra fixed symbol. A word $u$ with $u_i=*$ is cut (at the $i$th position) if $u$ is replaced by a twin pair $q,t$ such that $q_i=t_i'$ and $u_j=q_j=t_j$ for every $j\in [d]\setminus \{i\}$. If $V,W\subset S^d$ are two cube tiling codes and there is a sequence of twin pairs which can be interchangeably gluing and cutting in a way which allows us to pass from $V$ to $W$, then we say that $W$ is obtained from $V$ by gluing and cutting. In the paper it is shown that for every two cube tiling codes in dimension six one can be obtained from the other by gluing and cutting.

We prove a combinatorial theorem on families of disjoint sub-boxes of a discrete cube, which implies that there are at most $2^{d+1}-2$ nearly neighbourly simplices in $\mathbb R^d$.

A combinatorial theorem on families of disjoint sub-boxes of a discrete cube, which implies that there at most $2^{d+1}-2$ neighbourly simplices in $\mathbb R^d$, is presented.

Let $S$ be a set of arbitrary objects, and let $S^d=\{v_1...v_d\colon v_i\in S\}$. A polybox code is a set $V\subset S^d$ with the property that for every two words $v,w\in V$ there is $i\in [d]$ with $v_i'=w_i$, where a permutation $s\mapsto s'$ of $S$ is such that $s''=(s')'=s$ and $s'\neq s$. If $|V|=2^d$, then $V$ is called a cube tiling code. Cube tiling codes determine $2$-periodic cube tilings of $\mathbb{R}^d$ or, equivalently, tilings of the flat torus $\mathbb{T}^d=\{(x_1,\ldots ,x_d)({\rm mod} 2):(x_1,\ldots ,x_d)\in \mathbb{R}^d\}$ by translates of the unit cube as well as $r$-perfect codes in $\mathbb{Z}^d_{4r+2}$ in the maximum metric. By a structural result, cube tiling codes for $d=4$ are enumerated. It is computed that there are 27,385 non-isomorphic cube tiling codes in dimension four, and the total number of such codes is equal to 17,794,836,080,455,680. Moreover, some procedure of passing from a cube tiling code to a cube tiling code in dimensions $d\leq 5$ is given.

A cube tiling of $\mathbb{R}^d$ is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t\colon t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=\mathbb{R}^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if $|t_j-s_j|=1$ for some $j\in [d]=\{1,\ldots, d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$. In $1930$, Keller conjectured that in every cube tiling of $\mathbb{R}^d$ there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$. For $d=7$ the conjecture is still open. Let $x\in \mathbb{R}^d$, $i\in [d]$, and let $L(T,x,i)$ be the set of all $i$th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$. Let $r^-(T)=\min_{x\in \mathbb{R}^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$ and $r^+(T)=\max_{x\in \mathbb{R}^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$. It is known that if $r^-(T)\leq 2$ or $r^+(T)\geq 5$, then Keller's conjecture is true for $d=7$. In the paper we show that it is also true for $d=7$ if $r^+(T)=4$. Thus, if $[0,1)^7+T$ is a counterexample to Keller's conjecture, then $r^+(T)=3$, which is the last unsolved case of Keller's conjecture. Additionally, a new proof of Keller's conjecture in dimensions $d\leq 6$ is given.

It is demonstrated that each nearly neighbourly family of standard boxes in $\mathbb{R}^3$ has at most 12 elements. A combinatorial classification of all such families that have exactly 12 elements is given. All families satisfying an extra property called incompressibility are described. Compressible families are discussed briefly.

Using a cube tiling of $\mathbb{R}^n$ constructed by Lagarias and Shor a tiling proof of three well-known binomial identities related to the Lucas cube is given.

A cube tiling of $\mathbb{R}^d$ is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t:t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=\mathbb{R}^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if $|t_j-s_j|=1$ for some $j\in [d]=\{1,\ldots, d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$. In $1930$, Keller conjectured that in every cube tiling of $\mathbb{R}^d$ there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$. For $d=7$ the conjecture is still open. Let $x\in \mathbb{R}^d$, $i\in [d]$, and let $L(T,x,i)$ be the set of all $i$th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$. It is known that if $|L(T,x,i)|\leq 2$ for some $x\in \mathbb{R}^7$ and every $i\in [7]$ or $|L(T,x,i)|\geq 6$ for some $x\in \mathbb{R}^7$ and $i\in [7]$, then Keller's conjecture is true for $d=7$. In the present paper we show that it is also true for $d=7$ if $|L(T,x,i)|=5$ for some $x\in \mathbb{R}^7$ and $i\in [7]$. Thus, if there is a counterexample to Keller's conjecture in dimension seven, then $|L(T,x,i)|\in \{3,4\}$ for some $x\in \mathbb{R}^7$ and $i\in [7]$.

A cube tiling of R^d is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t:t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=R^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if their closures have a complete facet in common, that is if $|t_j-s_j|=1$ for some $j\in [d]=\{1,..., d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$. In 1930, Keller conjectured that in every cube tiling of R^d there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$. For $d=7$ the conjecture is still open. Let $x\in R^d$, $i\in [d]$, and let L(T,x,i) be the set of all $i$th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$. Let $r^-(T)=\min_{x\in R^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$ and $r^+(T)=\max_{x\in R^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$. It is known that Keller's conjecture is true in dimension seven for cube tilings $[0,1)^7+T$ for which $r^-(T)\leq 2$. In the present paper we show that it is also true for $d=7$ if $r^+(T)\geq 6$. Thus, if $[0,1)^d+T$ is a counterexample to Keller's conjecture in dimension seven, then $r^-(T),r^+(T)\in \{3,4,5\}$.

Let k_1,...,k_d be positive integers, and D be a subset of [k_1]x...x[k_d], whose complement can be decomposed into disjoint sets of the form {x_1}x...x{x_{s-1}}x[k_s]x{x_{s+1}}x...x{x_d}. We conjecture that the number of elements of D can be represented as a linear combination of the numbers k_1,..., k_d with non-negative integer coefficients. A connexion of this conjecture with the structure of periodical cube tilings is revealed.

Each packing of R^d by translates of the unit cube [0,1)^d admits a decomposition into at most two parts such that if a translate of the unit cube is covered by one of them, then it also belongs to such a part.

A non-empty subset A of X = X_1 x...x X_d is a (proper) box if A = A_1 x...x A_d and A_i is a (proper) subset of X_i for each i. Suppose that for each pair of boxes A, B and each i, one can only know which of the three states takes place: A_i = B_i, A_i = X_i\setminus B_i, A_i is different from each of the sets B_i, X_i\setminus B_i. Let F and G be two systems of disjoint boxes. Can one decide whether their unions are equal? In general, the answer is no, but as is shown in the paper, it is yes if both systems consist of pairwise dichotomous boxes. Several criteria that enable to compare such systems are collected. The paper includes also rigidity results, which say what assumptions have to be imposed on F to ensure that \bigcup F = \bigcup G implies F = G. As an application, the rigidity conjecture for 2-extremal cube tilings of Lagarias and Shor is verified.