The Structure of Cube Tilings Under Symmetry Conditions
- 615 Downloads
- 2 Citations
Abstract
Let m _{1},…,m _{ d } be positive integers, and let G be a subgroup of ℤ^{ d } such that m _{1}ℤ×⋯×m _{ d }ℤ⊆G. It is easily seen that if a unit cube tiling [0,1)^{ d }+t,t∈T, of ℝ^{ d } is invariant under the action of G, then for every t∈T, the number |T∩(t+ℤ^{ d })∩[0,m _{1})×⋯×[0,m _{ d })| is divisible by |G|. We give sufficient conditions under which this number is divisible by a multiple of |G|. Moreover, a relation between this result and the Minkowski–Hajós theorem on lattice cube tilings is discussed.
Keywords
Cube tiling1 Introduction
An interest in cube tilings of ℝ^{ d } originated from the following question raised by Hermann Minkowski [29]: Characterize lattices Λ⊂ℝ^{ d } such that [0,1)^{ d }+λ, λ∈Λ, is a cube tiling. Minkowski conjectured that such a lattice Λ is of the form Aℤ^{ d }, where A is a lower triangular matrix for which every entry on the main diagonal equals 1. By a simple inductive argument it is equivalent to showing that Λ contains an element of the standard basis. Geometrically, it means that the tiling [0,1)^{ d }+λ, λ∈Λ, contains a column. This inspired Ott-Heinrich Keller [16, 17] to consider the problem of the existence of columns in arbitrary (nonlattice) cube tilings. Eventually, Minkowski’s conjecture has been confirmed by Győrgy Hajós [11], while Jeffrey Lagarias and Peter Shor [24] constructed a cube tiling without columns in dimension 10. Geometric and algebraic questions stemming from these problems attracted quite a number of researchers; see, e.g., [2, 3, 5, 6, 18, 20, 25, 26, 27, 28, 30, 35].
Numerous authors pay their attention to tilings by clusters of cubes; see, e.g., [10, 12, 13, 21, 31, 32, 33, 34]. Their investigations are rooted in coding theory and the Golomb–Welch conjecture [9]. These authors often deal with cubes which have their corners in ℤ^{ d } and therefore the cluster tilings considered by them reduce to specific partitions of ℤ^{ d }. Other partitions of ℤ^{ d } called disjoint covering systems are discussed in number theory; see, e.g., [1, 7].
A new stimulus to the theory of tilings came from Fuglede’s conjecture [8]. A number of papers appeared at almost the same time where the set determining a cube tiling is characterized as follows: [0,1)^{ d }+t, t∈T, is a cube tiling of ℝ^{ d } if and only if the system of functions \(\exp(2\pi\operatorname{i}\langle t, x\rangle)\), t∈T, is an orthonormal basis of L ^{2}([0,1]^{ d }) ([14, 15, 21, 23]).
A reader who seeks an exposition concerning cube tilings is advised to consult [22, 33, 36].
In this work we shall be concerned with cube tilings of ℝ^{ d } that are invariant under the action of certain groups of translations. Let G⊂ℝ^{ d } be a group. A cube tiling [0,1)^{ d }+t, t∈T, is G-invariant if T is G-invariant; that is, t+x∈T whenever t∈T and x∈G. Let us remark that if T is a lattice, then the cube tiling is T-invariant. Observe that every G-invariant cube tiling leads to a tiling by clusters, where the union of all cubes [0,1)+g, g∈G, serves as a prototile.
Let m=(m _{1},…,m _{ d }) be a vector whose coordinates are positive integers, and let e _{1},…,e _{ d } be the standard basis of ℝ^{ d }. We say that the tiling [0,1)^{ d }+t, t∈T, is m-periodic if it is invariant under the action of the group generated by the vectors m _{ i } e _{ i }, i=1,…,d. (If m is unspecified, then we simply say that the tiling is periodic.) Our main result reads as follows.
Theorem 1
Let m be a vector whose coordinates are positive integers, and G be a subgroup of ℤ^{ d } such that m _{1}ℤ×⋯×m _{ d }ℤ⊆G. Let [0,1)^{ d }+t, t∈T, be a G-invariant cube tiling of ℝ^{ d }. Let G ^{ i }=G∩ℤe _{ i }, and μ _{ i }=|ℤ/G ^{ i }|. Then for every t∈T, the number |T∩(t+ℤ^{ d })∩[0,m _{1})×⋯×[0,m _{ d })| is divisible by \(\operatorname{GCD}(\mu_{1},\ldots, \mu_{d}) |G|\).
We found it convenient to express our theorem in terms of cube tilings of flat tori.
Cubes in \(\mathbb{T}_{\boldsymbol{m}}^{d}\) are the sets of the form [0,1)^{ d }⊕t, where \(t\in \mathbb{T}_{\boldsymbol{m}}^{d}\). We say that \(T\subset \mathbb{T}_{\boldsymbol{m}}^{d}\) determines a cube tiling of \(\mathbb{T}_{\boldsymbol{m}}^{d}\) if the family Open image in new window is a tiling, that is, elements of Open image in new window cover \(\mathbb{T}_{\boldsymbol{m}}^{d}\) and are pairwise disjoint. Each m-periodic cube tiling of ℝ^{ d } defines a cube tiling of \(\mathbb{T}^{d}_{\boldsymbol{m}}\) in an obvious manner. Those sets which determine cube tilings of \(\mathbb{T}^{d}_{\boldsymbol{m}}\) are characterized as follows:
Lemma 2
- (1)
|T|=m _{1}×⋯×m _{ d },
- (2)
for every pair x, \(y\in \mathbb{T}_{\boldsymbol{m}}\), there is i∈[d] such that x _{ i }−y _{ i } is a nonzero integer (Keller’s condition).
(Compare [36, Lemma 8.3].)
Let us mention that the notion of G-invariance carries over to cube tilings of \(\mathbb{T}^{d}_{\boldsymbol{m}}\). The integer lattice in \(\mathbb{T}^{d}_{\boldsymbol{m}}\) is the subset \(\mathbb{Z}^{d}_{\boldsymbol{m}}:=\mathbb{Z}_{m_{1}}\times\cdots\times \mathbb{Z}_{m_{d}}\) of \(\mathbb{T}^{d}_{\boldsymbol{m}}\) consisting of all vectors with integer coordinates. If T determines a cube tiling Open image in new window of \(\mathbb{T}^{d}_{\boldsymbol{m}}\) and x∈T, then the family [0,1)^{ d }⊕t, \(t\in T\cap (x\oplus \mathbb{Z}^{d}_{\boldsymbol{m}})\), is said to be a simple component of the tiling Open image in new window . In light of Lemma 2, we shall be mostly concerned with sets that determine cube tilings rather than cube tilings themselves. Therefore, we shall refer to \(T\cap (x\oplus \mathbb{Z}^{d}_{\boldsymbol{m}})\) as a simple component of T. For u∈[0,1)^{ d }, let \(C_{u}:=T\cap (u\oplus \mathbb{Z}^{d}_{\boldsymbol{m}})\). It is clear that if C _{ u } is nonempty, then it is a simple component of T. Moreover, for each simple component C of T, there is a unique element u∈[0,1)^{ d } such that C=C _{ u }.
Theorem 3
Let T determine a cube tiling of \(\mathbb{T}^{d}_{\boldsymbol{m}}\). Let G be a subgroup of \(\mathbb{Z}^{d}_{\boldsymbol{m}}\). Let \(G^{i}= G\cap(\mathbb{Z}_{m_{i}}\boldsymbol{e}_{i})\), where e _{ i } is the ith element of the standard basis, and μ _{ i }=m _{ i }/|G ^{ i }|. If T is G-invariant, then each simple component of T has its cardinality divisible by \(\operatorname{GCD}(\mu_{1},\ldots, \mu_{d}) |G|\).
2 Proof of the Main Result
We shall need the following:
Lemma 4
Let V be a nonempty subset of [0,1)^{ d }. If for every v∈V and every i∈[d], there is y∈V such that v _{ q }=y _{ q } whenever q≠i and v _{ i }≠y _{ i }, then for every v∈V, there is u∈V such that v _{ r }≠u _{ r } whenever r∈[d].
Proof
By our assumptions, one can construct a sequence v ^{ j }, j=0,…,d, consisting of elements of V such that v ^{0}=v and \(v^{j}_{q}=v^{j-1}_{q}\) for q≠j and \(v^{j}_{j}\neq v^{j-1}_{j}\) for j∈[d]. Now, it suffices to set u=v ^{ d }. □
Proof of Theorem 3
3 Remarks
Theorem 5
If T determines a cube tiling of a torus \(\mathbb{T}_{\boldsymbol{m}}^{d}\) and C is a simple component of T, then |C| is m-representable.
It is a weakness of Theorem 3 that it is not a generalization of Theorem 5. The conjectural generalization should be the following:
Let T determine a cube tiling of \(\mathbb{T}^{d}_{\boldsymbol{m}}\) . Let G be a subgroup of \(\mathbb{Z}^{d}_{\boldsymbol{m}}\) . Let \(G^{i}= G\cap(\mathbb{Z}_{m_{i}}\boldsymbol{e}_{i})\) , where e _{ i } is the ith element of the standard basis, and μ _{ i }=m _{ i }/|G ^{ i }|. If T is G-invariant, then each simple component of T has the cardinality representable by (μ _{1}|G|,…,μ _{ d }|G|).
Such a generalization would lead, for example, to a new proof of the Minkowski–Hajós theorem on lattice cube tilings. We need less for this particular purpose. It would suffice to prove that, under the assumptions of Theorem 3, if all the numbers μ _{1},…,μ _{ d } are greater than 1, then at least one of the simple components of T has cardinality greater than |G|. Theorem 3, as it is, suffices to show a restricted p-adic version of the Minkowski–Hajós theorem:
Let Λ⊂ℝ^{ d } be a cube tiling lattice. Suppose that there are a prime p and a positive integer k such that p ^{ k } e _{ i }∈Λ for each i∈[d]. Then there is j∈[d] such that e _{ j }∈Λ.
Indeed, let T={λ mod m:λ∈Λ}, where m=(p ^{ k },…,p ^{ k }). By the fact that p ^{ k } e _{ i }∈Λ for i∈[d], it follows that T determines a cube tiling of \(\mathbb{T}^{d}_{\boldsymbol{m}}\). Since Λ is a subgroup of ℝ^{ d }, T is a subgroup of \(\mathbb{T}^{d}_{\boldsymbol{m}}\). Let \(G=\mathbb{Z}^{d}_{\boldsymbol{m}}\cap T \). Then G is a nonempty subgroup of T, as 0∈G. Therefore, T is G-invariant. By Theorem 3, the number \(|\mathbb{Z}^{d}_{\boldsymbol{m}}\cap T|=|G|\) is divisible by \(\operatorname{GCD}(\mu_{1},\ldots, \mu_{d}) |G|\), which, by taking into account that all μ _{ i } are powers of p, readily implies that there is j such that μ _{ j }=1. Thus, p ^{ k }=|G ^{ j }|, and consequently, e _{ j }∈G ^{ j }⊆T.
Notes
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
References
- 1.Berger, M.A., Felzenbaum, A., Fraenkel, A.: A non-analytic proof of the Newman–Znám result for disjoint covering systems. Combinatorica 6, 235–243 (1986) MathSciNetzbMATHCrossRefGoogle Scholar
- 2.Corrádi, K., Szabó, S.: Cube tiling and covering a complete graph. Discrete Math. 85, 319–321 (1990) MathSciNetzbMATHCrossRefGoogle Scholar
- 3.Corrádi, K., Szabó, S.: A combinatorial approach for Keller’s conjecture. Period. Math. Hung. 21, 95–100 (1990) zbMATHCrossRefGoogle Scholar
- 4.Coppersmith, D., Steinberger, J.: On the entry sum of cyclotomic arrays. Integers 6, A28 (2006) MathSciNetGoogle Scholar
- 5.Dutour Sikirić, M., Itoh, Y.: Combinatorial cube packings in the cube and the torus. Eur. J. Comb. 31, 517–534 (2010) zbMATHCrossRefGoogle Scholar
- 6.Dutour Sikirić, M., Itoh, Y., Poyarkov, A.: Cube packings, second moment and holes. Eur. J. Comb. 28, 715–725 (2007) zbMATHCrossRefGoogle Scholar
- 7.Feldman, D., Propp, J., Robins, S.: Tiling lattices with sublattices, I. Discrete Comput. Geom. 46, 184–186 (2011) MathSciNetzbMATHCrossRefGoogle Scholar
- 8.Fuglede, B.: Commuting self-adjoint partial differential operators and a group theoretic problem. J. Funct. Anal. 16, 101–121 (1974) MathSciNetzbMATHCrossRefGoogle Scholar
- 9.Golomb, S., Welch, L.: Perfect codes in the Lee metric and the packing of polyominoes. SIAM J. Appl. Math. 18, 302–317 (1970) MathSciNetzbMATHCrossRefGoogle Scholar
- 10.Gravier, S., Mollard, M., Payan, Ch.: On the non-existence of 3-dimensional tiling in the Lee metric. Eur. J. Comb. 19, 567–572 (1998) MathSciNetzbMATHCrossRefGoogle Scholar
- 11.Hajós, G.: Über einfache und mehrfache Bedeckung des n-dimensionalen Raumes mit einem Würfelgitter. Math. Z. 47, 427–467 (1941) MathSciNetCrossRefGoogle Scholar
- 12.Horak, P., Al Bdaiwi, B.: Non-periodic tilings of ℝ^{n} by crosses. Discrete Comput. Geom. 47, 1–16 (2012) MathSciNetzbMATHCrossRefGoogle Scholar
- 13.Horak, P.: Tilings in Lee metric. Eur. J. Comb. 30, 480–489 (2009) MathSciNetzbMATHCrossRefGoogle Scholar
- 14.Iosevich, A., Pedersen, S.: Spectral and tiling properties of the unit cube. Int. Math. Res. Not. 16, 819–828 (1998) MathSciNetCrossRefGoogle Scholar
- 15.Jorgensen, P., Pedersen, S.: Spectral pairs in Cartesian coordinates. J. Fourier Anal. Appl. 5, 285–302 (1999) MathSciNetzbMATHCrossRefGoogle Scholar
- 16.Keller, O.H.: Über die lückenlose Erfüllung des Raumes Würfeln. J. Reine Angew. Math. 163, 231–248 (1930) zbMATHGoogle Scholar
- 17.Keller, O.H.: Ein Satz über die lückenlose Erfüllung des 5- und 6-dimensionalen Raumes mit Würfeln. J. Reine Angew. Math. 177, 61–64 (1937) Google Scholar
- 18.Kisielewicz, A.P., Przesławski, K.: Polyboxes, cube tilings and rigidity. Discrete Comput. Geom. 40, 1–30 (2008) MathSciNetzbMATHCrossRefGoogle Scholar
- 19.Kisielewicz, A.P., Przesławski, K.: The coin exchange problem and the structure of cube tilings. Electron. J. Combin. 19(2), P26 (2012) Google Scholar
- 20.Kolountzakis, M.N.: Lattice tilings by cubes: whole, notched and extended. Electron. J. Comb. 5, R14, 11 (1998) MathSciNetGoogle Scholar
- 21.Kolountzakis, M.N.: Packing, tiling, orthogonality and completeness. Bull. Lond. Math. Soc. 32, 589–599 (2000) MathSciNetzbMATHCrossRefGoogle Scholar
- 22.Kolountzakis, M.N.: The study of translational tiling with Fourier analysis. In: Fourier Analysis and Convexity. Appl. Numer. Harmon. Anal, pp. 131–187. Birkhäuser, Boston (2004) CrossRefGoogle Scholar
- 23.Lagarias, J.C., Reeds, J.A., Wang, Y.: Orthonormal bases of exponentials for the n-cube. Duke Math. J. 103, 25–37 (2000) MathSciNetzbMATHCrossRefGoogle Scholar
- 24.Lagarias, J.C., Shor, P.W.: Keller’s cube-tiling conjecture is false in high dimensions. Bull. Am. Math. Soc. 27, 279–287 (1992) MathSciNetzbMATHCrossRefGoogle Scholar
- 25.Lagarias, J.C., Shor, P.W.: Cube tilings and nonlinear codes. Discrete Comput. Geom. 11, 359–391 (1994) MathSciNetzbMATHCrossRefGoogle Scholar
- 26.Łysakowska, M., Przesławski, K.: On the structure of cube tilings and unextendible systems of cubes in low dimensions. Eur. J. Comb. 32, 1417–1427 (2011) zbMATHCrossRefGoogle Scholar
- 27.Łysakowska, M., Przesławski, K.: Keller’s conjecture on the existence of columns in cube tilings of ℝ^{n}. Adv. Geom. 12, 329–352 (2012) zbMATHCrossRefGoogle Scholar
- 28.Mackey, J.: A cube tiling of dimension eight with no facesharing. Discrete Comput. Geom. 28, 275–279 (2002) MathSciNetzbMATHCrossRefGoogle Scholar
- 29.Minkowski, H.: Diophantische Approximationen. Teubner, Leipzig (1907) zbMATHGoogle Scholar
- 30.Perron, O.: Über lückenlose Ausfüllung des n-dimensionalen Raumes durch kongruente Würfel. Math. Z. 46, 1–26 (1940) MathSciNetCrossRefGoogle Scholar
- 31.Schwartz, M.: Quasi-cross lattice tilings with applications to flash memory. IEEE Trans. Inf. Theory 58, 2397–2405 (2012) CrossRefGoogle Scholar
- 32.Stein, S.K.: Tiling, packing, and covering by clusters. Rocky Mt. J. Math. 16, 277–321 (1986) zbMATHCrossRefGoogle Scholar
- 33.Stein, S.K., Szabó, S.: Algebra and Tiling: Homomorphisms in the Service of Geometry. American Mathematical Association, Washington (1994) zbMATHGoogle Scholar
- 34.Špacapan, S.: Non-existence of face-to-face four dimensional tiling in the Lee metric. Eur. J. Comb. 28, 127–133 (2007) zbMATHCrossRefGoogle Scholar
- 35.Szabó, S.: Cube tilings as contributions of algebra to geometry. Beiträge Algebra Geom. 34, 63–75 (1993) zbMATHGoogle Scholar
- 36.Zong, C.: The Cube: A Window to Convex and Discrete Geometry. Cambridge Tracts in Mathematics, vol. 168. Cambridge University Press, Cambridge (2006) zbMATHCrossRefGoogle Scholar