Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter (O) December 1, 2015

Coincidence indices of sublattices and coincidences of colorings

  • Manuel Joseph C. Loquias and Peter Zeiner EMAIL logo


Even though a lattice and its sublattices have the same group of coincidence isometries, the coincidence index of a coincidence isometry with respect to a lattice Λ1 and to a sublattice Λ2 may differ. Here, we examine the coloring of Λ1 induced by Λ2 to identify how the coincidence indices with respect to Λ1 and to Λ2 are related. This leads to a generalization of the notion of color symmetries of lattices to what we call color coincidences of lattices. Examples involving the cubic and hypercubic lattices are given to illustrate these ideas.

Corresponding author: Peter Zeiner, Fakultät für Mathematik, Universität Bielefeld, Universitätsstraße 25, 33501, Germany, Tel.: +49-521-1064791, Fax: +49-521-1066481, E-mail:


M.J.C. Loquias would like to thank the German Academic Exchange Service (DAAD) for financial support during his stay in Bielefeld. This work was supported by the German Research Foundation (DFG), within the CRC 701.


Here, we give the promised justifications and proofs in Examples 2 and 3.

Example 2

Recall that Λ1=j=03(cj+Λ2), where Λ1=Im(𝕃), Λ2=2Im(𝕁), and c0=0. Let R=Rq ∈SOC(Λ1), where q=(q0, q1, q2, q3) is a primitive quaternion. For sure, R is a color coincidence that fixes color c0 because of Theorem 4. We shall now determine how R acts on the other colors c1, c2, c3, and thus, the color permutation that R generates.

Since R is a color coincidence, it is enough to consider a representative from each coset of Λ2 in Λ1 that is in Λ1(R–1), and afterwards identify to which coset of Λ2 the representative is sent by R. Take c11(R)i, c21(R)j, and c31(R)k. Indeed, for j∈{1, 2, 3}, cj ∉Λ2 since Σ1(R) is odd, and cj ∈Λ1(R–1) because Σ1(R)=den(R)=gcd{k∈ℕ: kR is an integral matrix} (see [30]). One obtains


where Σ1(R)/|q|2=1/2 with ∈{0, 1, 2}. This gives rise to three different cases.

Before we proceed, we take note of the following facts that will be used in the computations thereafter.

Fact 4.For every q∈ℍ and x∈Im(ℍ), we have qxq̅∈ Im(ℍ).

If q∈𝕁 and j is the highest power of 2 such that 2j divides |q|2, then q=(1+i)jp for some p∈𝕁 of odd norm [[36], page 37]. The next statement follows from this result.

Fact 5.The set (1+i)r𝕁={q∈𝕁: 2r||q|2} is a two-sided ideal of 𝕁 for all r∈ℕ.

Fact 6.Let Λ2=2Im(𝕁)=2Im(𝕃)∪[(0, 1, 1, 1)]+2Im(𝕃)]. Then the following hold:

  1. 2𝕁 ∩Im(ℍ)=2Im(𝕃)⊆Λ2

  2. Ifq∈𝕁 thenqq̅∈Λ2.

Proof. Statement (i) is clear. If q∈𝕃 then qq̅∈Λ2 by (i). On the other hand, if q∈𝕁\𝕃 then qq̅∈(0, 1, 1, 1)+2Im(𝕃)⊆Λ2. This proves (ii).  □

The three possible ratios of Σ1(R)/|q|2 are investigated below.

Case I: Σ1(R)/|q|2=1, that is, |q|2≡1 (mod 4) and either one or three among the components of q is/are odd.

For instance, suppose q0 is odd while q1, q2, q3 are even, or q0 is even while q1, q2, q3 are odd. In both instances, one can write q=r+s, where r∈2𝕁 and s=e. One obtains


where xj =i, j, k if j=1, 2, 3, respectively. Facts 4, 5, and 6(i) imply that rxjr̅∈Λ2, and rxjs¯+sxjr¯=rxjs¯rxjs¯¯Λ2 by Fact 6(ii). Hence, R(cj )∈sxjs̅+Λ2=xj2=cj2 for j∈{1, 2, 3}. Similarly, for the other three possibilities, R(cj )∈cj2 for j∈{1, 2, 3}. Therefore, in all instances, R fixes all colors.

Case II: Σ1(R)/|q|2=1/2, that is, |q|2≡2(mod 4) and exactly two components of q are odd.

Consider the instance when both q0 and q1 are odd, or when both q2 and q3 are odd. Either way, one can express q as q=r+s where r∈2𝕁 and s=(1, 1, 0, 0). One has in this case


where xj =i, j, k if j=1, 2, 3, respectively. Now, (1/2)rxjr¯2J because 4 divides |(1/2)rxjr¯|2. This, with Facts 4 and 6(i), implies that (1/2)rxjr¯Λ2. Since (1/2)rxjs¯J, one obtains that (1/2)rxjs¯+(1/2)sxjr¯Λ2 by Fact 6(ii). Therefore,

R(cj)(1/2)sxjs¯+Λ2={c1+Λ2,if j=1c3+Λ2,if j=2c2+Λ2,if j=3.

Thus, R induces the permutation (c2c3) of colors. Similar computations for the other two possibilities yield that if q0 and qj are of the same parity, where j∈{1, 2, 3}, then R fixes both colors c0 and cj and swaps the other two colors.

Case III: Σ1(R)/|q|2=1/4, that is, |q|2≡0 (mod 4) and all components of q are odd.

Suppose an even number of components of q are congruent to 1 modulo 4. Then, one can write q=r+s, where r∈(1, 1, 0, 0)2𝕁 and s=(1, 1, 1, 1). Thus,


where xj =i, j, k if j=1, 2, 3, respectively. Since 4 divides |(1/4)rxjr¯|2, one has (1/4)rxjr¯2J and together with Facts 4 and 6(i), (1/4)rxjr¯Λ2. Also, by Fact 6(ii) one concludes that (1/4)rxjs¯+(1/4)sxjr¯Λ2 because (1/4)rxjs¯J. Finally,

R(cj)14sxjs¯+Λ2={c2+Λ2,if j=1c3+Λ2,if j=2c1+Λ2,if j=3.

Hence, R generates the permutation (c1c2c3) of colors. On the other hand, if an odd number of components of q are congruent to 1 modulo 4, then similar arguments show that R induces the permutation (c1c3c2) of colors.

Given a coincidence reflection Tq ∈OC(Λ1), the color permutation that it effects is the same as that of the coincidence rotation Rq .

Example 3

Recall that Λ1=𝕁, Λ2=𝕃, and R=Rq,p ∈SOC(Λ1) is parametrized by the admissible pair (q, p) of primitive quaternions. The following looks at the conditions that the quaternion pair (q, p) should satisfy so that RHΛ12 .

Going through the different possible admissible quaternion pairs (q, p) results in the following cases. In each case, the sets RΛ2∩Λ1(R) and Λ2∩Λ1(R) are compared in order to ascertain whether RHΛ12 or not (see Theorem 4).

Case I: |q|2 and |p|2 are odd

Suppose v∈Λ2∩Λ1(R) and write v=qwp̅/|qp̅| for some w∈𝕁. This means that |qp̅|v=qwp̅∈𝕃. Since |q|2 and |p|2 are odd, one can express q=r1+s1 and p=r2+s2, where r1, r2∈2𝕁, and s1, s2 ∈{e, i, j, k}. With this, one obtains


By Fact 5, r1wr̅2+r1ws̅2+s1wr̅2∈2𝕁⊆𝕃, which implies that s1ws̅2∈𝕃. Thus, v=RwRΛ2 and Λ2∩Λ1(R)⊆RΛ2∩Λ1(R). It follows then that RΛ2∩Λ1(R)=Λ2∩Λ1(R), and so RHΛ12 .

Case II: |q|2 is odd and |p|2≡0 (mod 4), or |q|2≡0 (mod 4) and |p|2 is odd

Consider x=(1/2)|qp¯|L. One has R(x)=qxp¯/|qp¯|=(1/2)qp¯J. Thus, R(x)∈RΛ2∩Λ1(R). However, the first component of qp̅, which is equal to the inner product 〈q, p〉 of q and p (or the standard scalar product of q and p as vectors in ℝ4), is odd. This implies that (1/2)qp¯L and R(x)∉Λ2∩Λ1(R). Hence, RΛ2∩Λ1(R)≠Λ2∩Λ1(R) and RHΛ12 .

Case III: |q|2≡|p|2≡2 (mod 4)

Write q=r1+s1 and p=r2+s2 where r1, r2∈2𝕁, and


Note that 〈q, p〉 is even if and only if s1=s2.

Consider again x=(1/2)|qp¯|L so that R(x)=(1/2)qp¯RΛ2Λ1(R). Now, (1/2)qp¯L if and only if 〈q, p〉 is odd. Since (1/2)qp¯L implies that RΛ2∩Λ1(R)≠Λ2∩Λ1(R), RHΛ12 whenever 〈q, p〉 is odd.

It remains to check the case s1=s2. Take v∈Λ2∩Λ1(R). Write v=qwp̅/|qp̅| for some w∈𝕁. One has


Now, (1/2)r1wr¯22JL and (1/2)r1ws¯1,(1/2)s1wr¯2(1,1,0,0)JL by Fact 5. Hence, (1/2)s1ws¯1=s1ws11L meaning ws1–1𝕃s1=𝕃 for all three possible values of s1. It follows then that vRΛ2 and RΛ2∩Λ1(R)=Λ2∩Λ1(R). Thus, RHΛ12 if 〈q, p〉 is even.

Case IV: |q|2≡|p|2≡0(mod 4)

Write q=r1+s1 and p=r2+s2 where r1, r2∈(1, 1, 0, 0) 2𝕁 and


Note that 4|〈q, p〉 if and only if s1=s2.

Take x=(1/4)|qp¯|L. One obtains R(x)=((1/2)q)((1/2)p¯)J. Hence, RxRΛ2∩Λ1(R). Observe however, that (1/4)qp¯L if and only if 4∤〈q, p〉. Since (1/4)qp¯L means that RΛ2∩Λ1(R)≠Λ2∩Λ1(R), 4∤〈q, p〉 implies RHΛ12 .

Again, it remains to check the instance when s1=s2. Let v∈Λ2∩Λ1(R). If one writes v=qwp̅/|qp̅| for some w∈𝕁, one gets


By Fact 5, (1/4)r1wr¯2,(1/4)r1ws¯1, and (1/4)s1wr¯2(1,1,0,0)JL. Therefore, w∈𝕃 for both possible values of s1. Hence, vRΛ2 which implies that RΛ2∩Λ1(R)=Λ2∩Λ1(R). Therefore, RHΛ12 whenever 〈q, p〉 is divisible by 4.

The results above also hold for coincidence reflections Tq,p =Rq,p ·T1,1∈OC(Λ1).


[1] G. Friedel, Leçons de Cristallographie, Hermann, Paris, 1911.Search in Google Scholar

[2] S. Ranganathan, On the geometry of coincidence-site lattices, Acta Cryst.1966, 21, 197.Search in Google Scholar

[3] W. Bollmann, Crystal Defects and Crystalline Interfaces, Springer, Berlin, 1970.10.1007/978-3-642-49173-3Search in Google Scholar

[4] D. H. Warrington, R. Lück, The use of the Wieringa roof to examine coincidence site quasilattices in icosahedral quasicrystals, in Aperiodic ’94 (Singapore), (Eds. G. Chapuis and W. Paciorek) World Scientific, p. 30, 1995.Search in Google Scholar

[5] D. H. Warrington, R. Lück, Healing of slip planes and interfaces in quasiperiodic patterns, Ferroelectrics2001, 250, 357.10.1080/00150190108225100Search in Google Scholar

[6] O. Radulescu, D. H. Warrington, R. Lück, Phason flips and reconstruction of grain boundaries in quasicrystals, in Aperiodic ’97 (Singapore), (Eds. M. de Boissieu, J.-L. Verger-Gaugry and R. Currat) World Scientific, p. 783, 1998.Search in Google Scholar

[7] D. H. Warrington, Coincidence site lattices in quasicrystal tilings, Materials Science Forum, vol. 126, Trans Tech Publications, Dürnten, Switzerland, p. 57, 1993.10.4028/ in Google Scholar

[8] H. Grimmer, W. Bollmann, D. H. Warrington, Coincidence-site lattices and complete pattern-shift lattices in cubic crystals, Acta Cryst.1974, A30, 197.Search in Google Scholar

[9] R. L. E. Schwarzenberger, N-dimensional crystallography, Res. Notes in Math., vol. 41, Pitman, London, 1980.Search in Google Scholar

[10] P. A. B. Pleasants, M. Baake, J. Roth, Planar coincidences for N-fold symmetry, J. Math. Phys.1996, 37, 1029.Search in Google Scholar

[11] M. Baake, Combinatorial aspects of colour symmetries, J. Phys. A1997, 30, 2687.10.1088/0305-4470/30/8/015Search in Google Scholar

[12] R. Lück, Colour symmetry of 25 colours in quasiperiodic patterns, Phil. Mag.2008, 88, 2049.Search in Google Scholar

[13] R. Lück, D. Frettlöh, Ten colours in quasiperiodic and regular hyperbolic tilings, Z. Krist.2008, 223, 782.Search in Google Scholar

[14] A. V. Shubnikov, N. V. Belov, Colored Symmetry, Pergamon, Oxford, 1964.Search in Google Scholar

[15] D. B. Litvin, Magnetic Group Tables, IUCr, 2013.10.1107/9780955360220001Search in Google Scholar

[16] D. Harker, Colored lattices, Proc. Natl. Acad. Sci. USA1978, 75, 5264.10.1073/pnas.75.11.5264Search in Google Scholar PubMed PubMed Central

[17] R. L. E. Schwarzenberger, Colour symmetry, Bull. Lond. Math. Soc.1984, 16, 209.Search in Google Scholar

[18] M.L.A.N. De Las Peñas, R.P. Felix, Color groups associated with square and hexagonal lattices, Z. Krist.2007, 222, 505.Search in Google Scholar

[19] H. S. M. Coxeter, Coloured symmetry, in M.C. Escher: Art and Science, (Eds. H. S. M. Coxeter, M. Emmer, R. Penrose and M. Teuber) North-Holland, Amsterdam, p. 15, 1986.Search in Google Scholar

[20] M. Senechal, Color symmetry, Comput. Math. Appl.1988, 16, 545.Search in Google Scholar

[21] R. V. Moody, J. Patera, Colourings of quasicrystals, Can. J. Phys.1994, 72, 442.Search in Google Scholar

[22] R. Lifshitz, Theory of color symmetry for periodic and quasiperiodic crystals, Rev. Modern Phys.1997, 69, 1181.Search in Google Scholar

[23] E. P. C. Bugarin, M. L. A. N. De Las Peñas, D. Frettlöh, Perfect colourings of cyclotomic integers, Geom. Dedicata2013, 162, 271.10.1007/s10711-012-9726-0Search in Google Scholar

[24] J. M. Howe, Interfaces in Materials, John Wiley & Sons, New York, 1997.Search in Google Scholar

[25] A. P. Sutton, R. W. Balluffi, Interfaces in Crystalline Materials, Oxford University Press, Oxford, 2006.Search in Google Scholar

[26] M. J. C. Loquias, P. Zeiner, The coincidence problem for shifted lattices and crystallographic point packings, Acta Cryst. 2014, A70, 656.Search in Google Scholar

[27] M. J. C. Loquias, P. Zeiner, Colourings of lattices and coincidence site lattices, Phil. Mag.2011, 91, 2680.Search in Google Scholar

[28] M. Baake, U. Grimm, Aperiodic Order. Vol. 1: A Mathematical Invitation, Cambridge University Press, Cambridge, 2013.10.1017/CBO9781139025256Search in Google Scholar

[29] H. Grimmer, Disorientations and coincidence rotations for cubic lattices, Acta Cryst.1974, A30, 685.Search in Google Scholar

[30] M. Baake, Solution of the coincidence problem in dimensions d≤4, in The Mathematics of Long-Range Aperiodic Order, (Ed. R. V. Moody), Kluwer, Dordrecht, p. 9, 1997.10.1007/978-94-015-8784-6_2Search in Google Scholar

[31] P. Zeiner, Coincidences of hypercubic lattices in 4 dimensions, Z. Krist.2006, 221, 105.Search in Google Scholar

[32] B. Grünbaum, G. C. Shephard, Tilings and Patterns, W.H. Freeman, New York, 1987.Search in Google Scholar

[33] P. Zeiner, Multiplicativity in the theory of coincidence site lattices, J. Phys.: Conf. Ser.2010, 226, 012025.Search in Google Scholar

[34] M. Koecher, R. Remmert, Hamilton’s quaternions, in Numbers, (Eds. H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, A. Prestel and R. Remmert) Graduate Texts in Mathematics, vol. 123, Springer, New York, p. 189, 1991.10.1007/978-1-4612-1005-4_10Search in Google Scholar

[35] J. H. Conway, D. A. Smith, On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry, A.K. Peters, Ltd., Massachusetts, 2003.10.1201/9781439864180Search in Google Scholar

[36] A. Hurwitz, Vorlesungen über die Zahlentheorie der Quaternionen, Springer, Berlin, 1919.10.1007/978-3-642-47536-8Search in Google Scholar

[37] G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Clarendon Press, Oxford, 1979.Search in Google Scholar

[38] H. Grimmer, The generating function for coincidence site lattices in the cubic system, Acta Cryst.1984, A40, 108.Search in Google Scholar

[39] J. H. Conway, N. J. A. Sloane, Sphere packings, lattices and groups, Fundamental Principles of Mathematical Sciences, vol. 290, Springer, New York, 1999.10.1007/978-1-4757-6568-7Search in Google Scholar

[40] H. Brown, R. Bülow, J. Neubüser, H. Wondratschek, H. Zassenhaus, Crystallographic groups of four-dimensional space, Wiley-Interscience, New York-Chichester-Brisbane, 1978.Search in Google Scholar

[41] M. Baake, P. Zeiner, Coincidences in four dimensions, Phil. Mag.2008, 88, 2025.Search in Google Scholar

[42] S. Glied, M. Baake, Similarity versus coincidence rotations of lattices, Z. Krist.2008,223, 770.Search in Google Scholar

Received: 2015-5-29
Accepted: 2015-11-12
Published Online: 2015-12-1
Published in Print: 2015-11-1

©2015 by De Gruyter

Downloaded on 11.12.2023 from
Scroll to top button