The number of facets of three-dimensional Dirichlet stereohedra - - PowerPoint PPT Presentation
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups The number of facets of three-dimensional Dirichlet stereohedra Francisco Santos (w. D. Bochis, P. Sabariego), U. Cantabria. ERC Workshop Delaunay
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups
Francisco Santos (w. D. Bochis, P. Sabariego), U. Cantabria. ERC Workshop “Delaunay Geometry”; Berlin, oct 2013
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
The question How many facets can a 3-d Dirichlet stereohedron have?
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action
stereohedron: the Voronoi region of a point p ∈ S with respect to an orbit S of G.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action
stereohedron: the Voronoi region of a point p ∈ S with respect to an orbit S of G.
P
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
The question How many facets can a 3-d Dirichlet stereohedron have? Stereohedron: polytope that tiles Rn (face-to-face) by the action
stereohedron: the Voronoi region of a point p ∈ S with respect to an orbit S of G.
P
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨
Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨
Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨
Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. Engel (1980) found Dirichlet stereohedra with 38 facets for the cubic group I4132
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨
Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. Engel (1980) found Dirichlet stereohedra with 38 facets for the cubic group I4132 Our goal: lower the gap between 38 and 390 (by improving the upper bound).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Somehow related to Hilbert’s XVIII problem. Fedorov (1885) classified 3-d parallelohedra. In particular, found (Dirichlet) stereohedra with 14 facets. F¨
Koch (1972), Koch-Fisher (1974) found (Dirichlet) stereohedra with 16, 18, 20, 23 and 24 facets. Delone (1961) proved that no 3-d stereohedron can have more than 390 facets. Engel (1980) found Dirichlet stereohedra with 38 facets for the cubic group I4132 Our goal: lower the gap between 38 and 390 (by improving the upper bound). Our global upper bound: 92.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
W
967
13. x a
g 1980 . g a y v ga o
, g a
va « 0.0158. a a
va 0.20 x 0.23 a 0.14 0.20,
a
a 0.214 x 0.220, 0.145 . y
g o
a
, a p a a
y a
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
“The total absence of methods usable in more general situations” (Gr¨ unbaum-Shephard, 1980).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
“The total absence of methods usable in more general situations” (Gr¨ unbaum-Shephard, 1980). Even if “there seems to be no grounds to assume that all stereohedra are combinatorially equivalent to Dirichlet stereohedra” (op. cit.)
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
“The total absence of methods usable in more general situations” (Gr¨ unbaum-Shephard, 1980). Even if “there seems to be no grounds to assume that all stereohedra are combinatorially equivalent to Dirichlet stereohedra” (op. cit.) Also, there is an algorithm to compute all Dirichlet stereohedra in a given dimension “if carried out with sufficient perseverance”, (op. cit.). The same is not true for arbitrary stereohedra.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Our method combines general principles with case-by-case studies.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: Groups that contain reflection planes (the reptilarium).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: Groups that contain reflection planes (the reptilarium). Rest of non-cubic groups (fish and birds).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: Groups that contain reflection planes (the reptilarium). Rest of non-cubic groups (fish and birds). Rest of cubic groups (mammals),
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Our method combines general principles with case-by-case studies. In particular, we start by dividing the 219 types of 3-d crystallographic groups into three blocks: Groups that contain reflection planes (the reptilarium). Rest of non-cubic groups (fish and birds). Rest of cubic groups (mammals), divided into “full cubic groups” (the petting zoo) and “quarter cubic groups” (the wild beasts).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
biggest
groups bound example groups (bd > 38) “3” reflections 28 8 8 – “2” reflections 40 18 18 – “1” reflection 32 15 15 – Non-cubic 97 80 32 21 Cubic, full 14 25 17 – Cubic, quarter 8 92 38 8 TOTAL 219 92 38 29
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Bieberbach: A discrete group of motions in E d is crystallographic iff it contains d independent translations (a full-dimensional lattice). Two such groups are affinely equivalent if and only if they are isomorphic.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Bieberbach: A discrete group of motions in E d is crystallographic iff it contains d independent translations (a full-dimensional lattice). Two such groups are affinely equivalent if and only if they are isomorphic. Crystallographic groups are primarily classified by their lattice type (14 Bravais types) and their point group (quotient by translation
O(3) satisfying the “crystallographic restriction”).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
P 42
n
P4222 P42212
4 m 422
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let us call aspects of a crystallographic group G the elements of its point group. Fundamental theorem of stereohedra (Delone 1961) Stereohedra for a d-dimensional crystallographic group with a aspects cannot have more than 2d(a + 1) − 2 facets.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let us call aspects of a crystallographic group G the elements of its point group. Fundamental theorem of stereohedra (Delone 1961) Stereohedra for a d-dimensional crystallographic group with a aspects cannot have more than 2d(a + 1) − 2 facets. 3-d crystallographic groups have a maximum of 48 aspects (symmetries of the 3-cube).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let us call aspects of a crystallographic group G the elements of its point group. Fundamental theorem of stereohedra (Delone 1961) Stereohedra for a d-dimensional crystallographic group with a aspects cannot have more than 2d(a + 1) − 2 facets. 3-d crystallographic groups have a maximum of 48 aspects (symmetries of the 3-cube). Non-cubic groups can have up to 24 aspects (hexagonal prism).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let p be a base point for an orbit Gp, and consider separately its a translational orbits. That is, let Gp = O1 ∪ O2 ∪ · · · ∪ Oa, with p ∈ O1.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let p be a base point for an orbit Gp, and consider separately its a translational orbits. That is, let Gp = O1 ∪ O2 ∪ · · · ∪ Oa, with p ∈ O1. Let p′ ∈ Gp \ p. Then, a necessary condition for VorGp(p) and VorGp(p′) to have a common facet is:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let p be a base point for an orbit Gp, and consider separately its a translational orbits. That is, let Gp = O1 ∪ O2 ∪ · · · ∪ Oa, with p ∈ O1. Let p′ ∈ Gp \ p. Then, a necessary condition for VorGp(p) and VorGp(p′) to have a common facet is: If p′ ∈ O1, that p′ lies in (the relative interior of) a facet of 2 VorO1(p).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let p be a base point for an orbit Gp, and consider separately its a translational orbits. That is, let Gp = O1 ∪ O2 ∪ · · · ∪ Oa, with p ∈ O1. Let p′ ∈ Gp \ p. Then, a necessary condition for VorGp(p) and VorGp(p′) to have a common facet is: If p′ ∈ O1, that p′ lies in (the relative interior of) a facet of 2 VorO1(p). If p′ ∈ O1, that p′ lies in the interior of 2 VorO1(p).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups intro.
Let p be a base point for an orbit Gp, and consider separately its a translational orbits. That is, let Gp = O1 ∪ O2 ∪ · · · ∪ Oa, with p ∈ O1. Let p′ ∈ Gp \ p. Then, a necessary condition for VorGp(p) and VorGp(p′) to have a common facet is: If p′ ∈ O1, that p′ lies in (the relative interior of) a facet of 2 VorO1(p). If p′ ∈ O1, that p′ lies in the interior of 2 VorO1(p). A volume argument implies that the first happens for at most 2(2d − 1)times and the second at most 2d times. Adding up gives a2d + 2d − 2
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
The main reason why reflections help A LOT is that no reflection plane can cut a stereohedron.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
The main reason why reflections help A LOT is that no reflection plane can cut a stereohedron. Thus, each stereohedron is contained in a reflection cell (fundamental domain of the reflection subgroup of G) and may have two types of neighbors in VorGp(p):
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
The main reason why reflections help A LOT is that no reflection plane can cut a stereohedron. Thus, each stereohedron is contained in a reflection cell (fundamental domain of the reflection subgroup of G) and may have two types of neighbors in VorGp(p): Internal neighbors, lying in the same reflection cell as the base point p.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
The main reason why reflections help A LOT is that no reflection plane can cut a stereohedron. Thus, each stereohedron is contained in a reflection cell (fundamental domain of the reflection subgroup of G) and may have two types of neighbors in VorGp(p): Internal neighbors, lying in the same reflection cell as the base point p. External neighbors, sharing facets contained in reflection cells.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
The main reason why reflections help A LOT is that no reflection plane can cut a stereohedron. Thus, each stereohedron is contained in a reflection cell (fundamental domain of the reflection subgroup of G) and may have two types of neighbors in VorGp(p): Internal neighbors, lying in the same reflection cell as the base point p. External neighbors, sharing facets contained in reflection cells. There is at most one for each facet of the reflection cell.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
The main reason why reflections help A LOT is that no reflection plane can cut a stereohedron. Thus, each stereohedron is contained in a reflection cell (fundamental domain of the reflection subgroup of G) and may have two types of neighbors in VorGp(p): Internal neighbors, lying in the same reflection cell as the base point p. External neighbors, sharing facets contained in reflection cells. There is at most one for each facet of the reflection cell. We look separately at the cases of 1, 2, and 3 independent reflections (i.e., reflection cells in unbounded in two, one and zero dimensions respectively).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors. Both bounds are tight, but they interfere with one another:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors. Both bounds are tight, but they interfere with one another: if there are three or more internal neighbors, the stabilizer of the centroid of R must be one of:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors. Both bounds are tight, but they interfere with one another: if there are three or more internal neighbors, the stabilizer of the centroid of R must be one of: A dihedral group of order 4, 6 or 8.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors. Both bounds are tight, but they interfere with one another: if there are three or more internal neighbors, the stabilizer of the centroid of R must be one of: A dihedral group of order 4, 6 or 8. This produces at most four internal neighbors and at most four external neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors. Both bounds are tight, but they interfere with one another: if there are three or more internal neighbors, the stabilizer of the centroid of R must be one of: A dihedral group of order 4, 6 or 8. This produces at most four internal neighbors and at most four external neighbors. The group of orientation preserving symmetries of a regular tetrahedron or cube.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Let p ∈ R be our base point and reflection cell. R is a product of simplices: tetrahedron, triangular prism, or cube. Thus it produces at most 6 external neighbors. All points of Gp ∩ R lie at the same distance from the centroid of
diagram of an orbit of points in a 2-sphere.Thus, p has at most 5 internal neighbors. Both bounds are tight, but they interfere with one another: if there are three or more internal neighbors, the stabilizer of the centroid of R must be one of: A dihedral group of order 4, 6 or 8. This produces at most four internal neighbors and at most four external neighbors. The group of orientation preserving symmetries of a regular tetrahedron or cube. At most three external neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Summing up: Theorem (Bochis-S., 2001) Dirichlet stereohedra for groups with three independent reflections have at most eight facets. The bound is attained
1 (a) 2 8 5 4 3 6 7 (b) 7 8 2 v’’ 1 (c) 2 3 7 8 1 3 v v’
P 4
m 2 m 2 m
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is now an unbounded prism over a triangle or quadrilateral, and G has translations parallel to its recession line (call it l).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is now an unbounded prism over a triangle or quadrilateral, and G has translations parallel to its recession line (call it l). Thus, Gp ∩ R decomposes as a union of 1-dimensional crystallographic
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is now an unbounded prism over a triangle or quadrilateral, and G has translations parallel to its recession line (call it l). Thus, Gp ∩ R decomposes as a union of 1-dimensional crystallographic
The number of such lines is at most 8 (symmetries of the square) and p has at most two neighbors along each of them.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is now an unbounded prism over a triangle or quadrilateral, and G has translations parallel to its recession line (call it l). Thus, Gp ∩ R decomposes as a union of 1-dimensional crystallographic
The number of such lines is at most 8 (symmetries of the square) and p has at most two neighbors along each of them. Thus, there are at most 16 internal neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is now an unbounded prism over a triangle or quadrilateral, and G has translations parallel to its recession line (call it l). Thus, Gp ∩ R decomposes as a union of 1-dimensional crystallographic
The number of such lines is at most 8 (symmetries of the square) and p has at most two neighbors along each of them. Thus, there are at most 16 internal neighbors. There can be four external neighbors (facets of the infinite prism)
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is now an unbounded prism over a triangle or quadrilateral, and G has translations parallel to its recession line (call it l). Thus, Gp ∩ R decomposes as a union of 1-dimensional crystallographic
The number of such lines is at most 8 (symmetries of the square) and p has at most two neighbors along each of them. Thus, there are at most 16 internal neighbors. There can be four external neighbors (facets of the infinite prism) but, as before, four or more internal neighbors imply only two external neighbors. Thus:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Theorem (Bochis-S., 2001) Dirichlet stereohedra for groups with two independent reflections have at most 18 facets. The bound is attained.
I 41
g 2 c 2 d
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
R
h 1
h-2 P 2-h
All points of Gp ∩ R are at the same distance to the middle plane
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
R
h 1
h-2 P 2-h
All points of Gp ∩ R are at the same distance to the middle plane and the points at each height form a 2-dimensional crystallographic orbit.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
R
h 1
h-2 P 2-h
All points of Gp ∩ R are at the same distance to the middle plane and the points at each height form a 2-dimensional crystallographic orbit. p has at most six internal neighbors at its same height (planar Dirichlet region)
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
R
h 1
h-2 P 2-h
All points of Gp ∩ R are at the same distance to the middle plane and the points at each height form a 2-dimensional crystallographic orbit. p has at most six internal neighbors at its same height (planar Dirichlet region) and at most seven (*) at the other height
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
R
h 1
h-2 P 2-h
All points of Gp ∩ R are at the same distance to the middle plane and the points at each height form a 2-dimensional crystallographic orbit. p has at most six internal neighbors at its same height (planar Dirichlet region) and at most seven (*) at the other height, making a total of at most 13 internal neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
R is the region between two parallel planes (call them horizontal).
R
h 1
h-2 P 2-h
All points of Gp ∩ R are at the same distance to the middle plane and the points at each height form a 2-dimensional crystallographic orbit. p has at most six internal neighbors at its same height (planar Dirichlet region) and at most seven (*) at the other height, making a total of at most 13 internal neighbors. There are, of course, at most two external neighbors. Thus:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
Theorem (Bochis-S., 2001) Dirichlet stereohedra for groups with all reflections parallel have at most 15 facets. The bound is attained. P 2
m 2 c 2 c
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
In the case of one reflection we said “P has at most seven neighbors at the other height”.
R
h 1
h-2 P 2-h
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
In the case of one reflection we said “P has at most seven neighbors at the other height”.
R
h 1
h-2 P 2-h
This follows from:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
In the case of one reflection we said “P has at most seven neighbors at the other height”.
R
h 1
h-2 P 2-h
This follows from: VorGP(P) and VorGP(P′) with P ∈ {z = h} and P′ ∈ {z = h′} can share a facet only if VorGP∩{z=h}(P) and VorGP∩{z=h′}(P′) overlap.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
In the case of one reflection we said “P has at most seven neighbors at the other height”.
R
h 1
h-2 P 2-h
This follows from: VorGP(P) and VorGP(P′) with P ∈ {z = h} and P′ ∈ {z = h′} can share a facet only if VorGP∩{z=h}(P) and VorGP∩{z=h′}(P′) overlap. VorGP∩{z=h} and VorGP∩{z=h′} are (infinite prisms over) planar Dirichlet tesselations for a certain group Gh (the group go horizontal motions in G).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Groups with reflections
In the case of one reflection we said “P has at most seven neighbors at the other height”.
R
h 1
h-2 P 2-h
This follows from: VorGP(P) and VorGP(P′) with P ∈ {z = h} and P′ ∈ {z = h′} can share a facet only if VorGP∩{z=h}(P) and VorGP∩{z=h′}(P′) overlap. VorGP∩{z=h} and VorGP∩{z=h′} are (infinite prisms over) planar Dirichlet tesselations for a certain group Gh (the group go horizontal motions in G). A planar Dirichlet region VorGhp(GhP) can intersect at most seven regions of a Dirichlet tessellation VorGh(Ghp′) for the same crystallographic group. (Non-trivial!!!)
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Non-cubic groups all have one (or more) special direction that is not mixed with the other two.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Non-cubic groups all have one (or more) special direction that is not mixed with the other two. (That is: every non-cubic group G is a subgroup of a Cartesian product G1 × G2, where Gi is a crystallographic group of dimension i). We think of G2 as horizontal
and G1 as vertical.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Non-cubic groups all have one (or more) special direction that is not mixed with the other two. (That is: every non-cubic group G is a subgroup of a Cartesian product G1 × G2, where Gi is a crystallographic group of dimension i). We think of G2 as horizontal
and G1 as vertical. If “many” aspects are at the same height (that
is, if the horizontal subgroup G0 := G ∩ (1 × G2) has many aspects) we can take advantage of the fact that “P has at most seven neighbors at each other height”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Non-cubic groups all have one (or more) special direction that is not mixed with the other two. (That is: every non-cubic group G is a subgroup of a Cartesian product G1 × G2, where Gi is a crystallographic group of dimension i). We think of G2 as horizontal
and G1 as vertical. If “many” aspects are at the same height (that
is, if the horizontal subgroup G0 := G ∩ (1 × G2) has many aspects) we can take advantage of the fact that “P has at most seven neighbors at each other height”. And, the “seven” is an upper bound.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Non-cubic groups all have one (or more) special direction that is not mixed with the other two. (That is: every non-cubic group G is a subgroup of a Cartesian product G1 × G2, where Gi is a crystallographic group of dimension i). We think of G2 as horizontal
and G1 as vertical. If “many” aspects are at the same height (that
is, if the horizontal subgroup G0 := G ∩ (1 × G2) has many aspects) we can take advantage of the fact that “P has at most seven neighbors at each other height”. And, the “seven” is an upper bound. Depending on the type of the horizontal group G0 we can use:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Non-cubic groups all have one (or more) special direction that is not mixed with the other two. (That is: every non-cubic group G is a subgroup of a Cartesian product G1 × G2, where Gi is a crystallographic group of dimension i). We think of G2 as horizontal
and G1 as vertical. If “many” aspects are at the same height (that
is, if the horizontal subgroup G0 := G ∩ (1 × G2) has many aspects) we can take advantage of the fact that “P has at most seven neighbors at each other height”. And, the “seven” is an upper bound. Depending on the type of the horizontal group G0 we can use: 4 for p1, p3, p4 and p6, 7 for p2, pg and pgg.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far)
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far) plus six on the base of p,
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far) plus six on the base of p, plus the two points directly above and below p.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far) plus six on the base of p, plus the two points directly above and below p. Total: at most 32 neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far) plus six on the base of p, plus the two points directly above and below p. Total: at most 32 neighbors. In the last one we have 11 × 2 instead of 3 × 2 horizontal planes, giving a bound of 96.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far) plus six on the base of p, plus the two points directly above and below p. Total: at most 32 neighbors. In the last one we have 11 × 2 instead of 3 × 2 horizontal planes, giving a bound of 96. The extra ones come from the lattice not being primitive, but rhombohedral.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
3/61/2 3/6 5/6 3/6 5/6 1/6 4/6 1/6 4/6 1/6 4/6 1/2 3/6 5/6 3/6 5/6 5/6 4/6 1/6 4/6 1/6 4/6 1/6 3/6 5/6
Hexagonal groups with 12 aspects and no reflections
In the first two, there are three horizontal planes (×2, we have to count one above and one below p) other than the one of the base point. Since G0 is a p3, we count four neighbours in each of them (24 so far) plus six on the base of p, plus the two points directly above and below p. Total: at most 32 neighbors. In the last one we have 11 × 2 instead of 3 × 2 horizontal planes, giving a bound of 96. The extra ones come from the lattice not being primitive, but rhombohedral. Each aspect of G splits into six instead of two aspects of G0
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
For each non-cubic group G without reflections, let G0 be its horizontal subgroup, and consider the following parameters:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
For each non-cubic group G without reflections, let G0 be its horizontal subgroup, and consider the following parameters: a and a0, the numbers of aspects of G and G0.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
For each non-cubic group G without reflections, let G0 be its horizontal subgroup, and consider the following parameters: a and a0, the numbers of aspects of G and G0. a parameter l depending on the lattice: 2 for primitive or “base centered”, 4 for face centered or body centered, 6 for rhombohedral.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
For each non-cubic group G without reflections, let G0 be its horizontal subgroup, and consider the following parameters: a and a0, the numbers of aspects of G and G0. a parameter l depending on the lattice: 2 for primitive or “base centered”, 4 for face centered or body centered, 6 for rhombohedral. a parameter i depending on the type of G0: 4 for p1, p3, p4 and p6, and 7 for p2, pg and pgg.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
For each non-cubic group G without reflections, let G0 be its horizontal subgroup, and consider the following parameters: a and a0, the numbers of aspects of G and G0. a parameter l depending on the lattice: 2 for primitive or “base centered”, 4 for face centered or body centered, 6 for rhombohedral. a parameter i depending on the type of G0: 4 for p1, p3, p4 and p6, and 7 for p2, pg and pgg. Corollary A stereohedron for G cannot have more than i
a0 l − 1
neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
In 24 more the corollary gives a bound ≤ 38. (Only 34 groups left).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
In 24 more the corollary gives a bound ≤ 38. (Only 34 groups left). The bound of the corollary is > 50 in only ten of the groups.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
In 24 more the corollary gives a bound ≤ 38. (Only 34 groups left). The bound of the corollary is > 50 in only ten of the groups. The worst bound is 106, obtained in the tetragonal group I 41
g 2 c 2 d .
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
In 24 more the corollary gives a bound ≤ 38. (Only 34 groups left). The bound of the corollary is > 50 in only ten of the groups. The worst bound is 106, obtained in the tetragonal group I 41
g 2 c 2 d . The second worst is 96, in the hexagonal group P6122
and the tetragonal group R3 2
c .
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
In 24 more the corollary gives a bound ≤ 38. (Only 34 groups left). The bound of the corollary is > 50 in only ten of the groups. The worst bound is 106, obtained in the tetragonal group I 41
g 2 c 2 d . The second worst is 96, in the hexagonal group P6122
and the tetragonal group R3 2
c .
In the light of this, we concentrate in reducing the global upper bound of 106, and in trying to get more groups have bounds ≤ 38.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
With this we have that, of the 97 non-cubic groups without reflections: 39 of them have four or less aspects. Delone bound is already
≤ 38, so we do not care much about these.
In 24 more the corollary gives a bound ≤ 38. (Only 34 groups left). The bound of the corollary is > 50 in only ten of the groups. The worst bound is 106, obtained in the tetragonal group I 41
g 2 c 2 d . The second worst is 96, in the hexagonal group P6122
and the tetragonal group R3 2
c .
In the light of this, we concentrate in reducing the global upper bound of 106, and in trying to get more groups have bounds ≤ 38. After some hand-waving:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Theorem (Bochis-S., 2006) Only 21 non-cubic groups can perhaps produce Dirichlet stereohedra with more than 38 facets. Only the following 9 can produce them with more than 50 facets:
Group Aspects Planar group Upper bound P41212 8 p1 64 I 41
g
8 p2 70 I4122 8 p2 70 I42d 8 p2 70 F 2
d 2 d 2 d
8 p2 70 P6222 12 p2 78 P6122 12 p1 78 R3 2
c
12 p3 79 I 41
g 2 c 2 d
16 pgg 80
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
In the example for groups with reflections in two dimensions we used: Lemma Let S be a set of points placed on a helix curve in R3: c(t) = (r cos t, r sin t, ht). Then, every two points c(t1), c(t2) ∈ S with |t1 − t2| ≤ 2π form an edge in Del(S).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
In the example for groups with reflections in two dimensions we used: Lemma Let S be a set of points placed on a helix curve in R3: c(t) = (r cos t, r sin t, ht). Then, every two points c(t1), c(t2) ∈ S with |t1 − t2| ≤ 2π form an edge in Del(S). This means that the appearance of screw-rotations in a crystallographic group is not only “bad for our methods”
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
In the example for groups with reflections in two dimensions we used: Lemma Let S be a set of points placed on a helix curve in R3: c(t) = (r cos t, r sin t, ht). Then, every two points c(t1), c(t2) ∈ S with |t1 − t2| ≤ 2π form an edge in Del(S). This means that the appearance of screw-rotations in a crystallographic group is not only “bad for our methods” (they produce “sparse horizontal planes”).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
In the example for groups with reflections in two dimensions we used: Lemma Let S be a set of points placed on a helix curve in R3: c(t) = (r cos t, r sin t, ht). Then, every two points c(t1), c(t2) ∈ S with |t1 − t2| ≤ 2π form an edge in Del(S). This means that the appearance of screw-rotations in a crystallographic group is not only “bad for our methods” (they produce “sparse horizontal planes”). It does favor existence of Dirichlet stereohedra with “many neighbors”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Non-cubic groups
Theorem (Bochis-S. 2006) There are Dirichlet stereohedra for the groups I 41
2 2 and P6122
with 28 and 32 facets, respectively.
1/4 1/4 1/2 3/4 1/4 3/4 1/2 Y X 1/4 3/4 1/2 1/2 3/4
1 2 3 4 4 3 2 1
2/6 2/6 1/6 1/6 5/6 5/6 4/6 4/6 3/6 3/6
I4122 P6122
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
There are 35 cubic-groups, 22 of them without reflections.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
They do not have a “special direction” and, since they have ternary rotations in the diagonals of the cube cell, they have too many horizontal planes (up to 24) containing orbit points for the previous method to be of (much) help.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
They do not have a “special direction” and, since they have ternary rotations in the diagonals of the cube cell, they have too many horizontal planes (up to 24) containing orbit points for the previous method to be of (much) help. Somehow surprisingly, Conway, Delgado Friedrichs, Huson, and Thurston (2001) found a way to put “order in chaos”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
They do not have a “special direction” and, since they have ternary rotations in the diagonals of the cube cell, they have too many horizontal planes (up to 24) containing orbit points for the previous method to be of (much) help. Somehow surprisingly, Conway, Delgado Friedrichs, Huson, and Thurston (2001) found a way to put “order in chaos”. Definition The odd subgroup of a cubic group is the one generated by its rotations of order three. Trivial fact: the odd subgroup has 12 aspects. In fact, its point group is 23 (orientation preserving symmetries of the tetrahedron)
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Theorem (Conway et al. 2001) Let G be a cubic group, and let O be its odd subgroup. Then: O is either the group F23 or the group P213. G lies between O and its normalizer N(O).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Theorem (Conway et al. 2001) Let G be a cubic group, and let O be its odd subgroup. Then: O is either the group F23 or the group P213. G lies between O and its normalizer N(O). Definition A cubic group is called full or quarter depending on whether its
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Theorem (Conway et al. 2001) Let G be a cubic group, and let O be its odd subgroup. Then: O is either the group F23 or the group P213. G lies between O and its normalizer N(O). Definition A cubic group is called full or quarter depending on whether its
Corollary The classification of full (resp. quarter) groups equals the classification of subgroups of the quotient N(F23)/F(23) (resp. N(P213)/P213).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The odd group F23 is generated by the ternary rotations in all diagonals of a cubic grid.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The odd group F23 is generated by the ternary rotations in all diagonals of a cubic grid. P213, in contrast, contains only one fourth (a quarter) of the ternary rotation axes
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The odd group F23 is generated by the ternary rotations in all diagonals of a cubic grid. P213, in contrast, contains only one fourth (a quarter) of the ternary rotation axes (one through each vertex in the grid).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The odd group F23 is generated by the ternary rotations in all diagonals of a cubic grid. P213, in contrast, contains only one fourth (a quarter) of the ternary rotation axes (one through each vertex in the grid).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Full groups have four ternary rotations intersecting at each vertex
“block” many possible neighbors.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Full groups have four ternary rotations intersecting at each vertex
“block” many possible neighbors. Also, full groups often have rotations of order four (and 13 of them contain reflections).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Full groups have four ternary rotations intersecting at each vertex
“block” many possible neighbors. Also, full groups often have rotations of order four (and 13 of them contain reflections). Quarter groups never contain rotations of order four (or reflections).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Full groups have four ternary rotations intersecting at each vertex
“block” many possible neighbors. Also, full groups often have rotations of order four (and 13 of them contain reflections). Quarter groups never contain rotations of order four (or reflections). Instead, they contain screw rotations of orders two or four, which is bad.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Full groups have four ternary rotations intersecting at each vertex
“block” many possible neighbors. Also, full groups often have rotations of order four (and 13 of them contain reflections). Quarter groups never contain rotations of order four (or reflections). Instead, they contain screw rotations of orders two or four, which is bad. No point has a stabilizer of order greater than three, so Delaunay cells tend to be small.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
To understand full groups, the Delaunay triangulation of the body-centered cubic lattice is useful.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
To understand full groups, the Delaunay triangulation of the body-centered cubic lattice is useful. Its cells are tetrahedra with two opposite edges in coordinate directions and the other three in diagonals of the cubic grid.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
To understand full groups, the Delaunay triangulation of the body-centered cubic lattice is useful. Its cells are tetrahedra with two opposite edges in coordinate directions and the other three in diagonals of the cubic grid. Dihedral angles at these edges are π/2 and π/3 respectively.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
To understand full groups, the Delaunay triangulation of the body-centered cubic lattice is useful. Its cells are tetrahedra with two opposite edges in coordinate directions and the other three in diagonals of the cubic grid. Dihedral angles at these edges are π/2 and π/3 respectively. It is a balanced triangulation (Points can be labeled 1 to 4 with every
tetrahedron getting a vertex of each label. Tetrahedra can be colored black and white so that adjacent ones have opposite color).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
To understand full groups, the Delaunay triangulation of the body-centered cubic lattice is useful. Its cells are tetrahedra with two opposite edges in coordinate directions and the other three in diagonals of the cubic grid. Dihedral angles at these edges are π/2 and π/3 respectively. It is a balanced triangulation (Points can be labeled 1 to 4 with every
tetrahedron getting a vertex of each label. Tetrahedra can be colored black and white so that adjacent ones have opposite color).
The odd group F23 is the group of orientation-preserving automorphisms of the labelled triangulation.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
To understand full groups, the Delaunay triangulation of the body-centered cubic lattice is useful. Its cells are tetrahedra with two opposite edges in coordinate directions and the other three in diagonals of the cubic grid. Dihedral angles at these edges are π/2 and π/3 respectively. It is a balanced triangulation (Points can be labeled 1 to 4 with every
tetrahedron getting a vertex of each label. Tetrahedra can be colored black and white so that adjacent ones have opposite color).
The odd group F23 is the group of orientation-preserving automorphisms of the labelled triangulation. Equivalently, the group of labelled automorphisms that preserve color of tetrahedra.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Every pair of adjacent tetrahedra form a fundamental domain of F23.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Every pair of adjacent tetrahedra form a fundamental domain of
tetrahedron in eight parts by four planes containing the mid points
bound the number of facets of Dirichlet stereohedra:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Suppose that your base point p lies in a certain (white) tetrahedron T0.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Suppose that your base point p lies in a certain (white) tetrahedron T0. Since G contains rotations of order three (resp. two) at the short (resp. long) edges of T0, VorGp(p) is contained in the union of T0 and its four adjacent (black) tetrahedra, T1, ..., T4.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Suppose that your base point p lies in a certain (white) tetrahedron T0. Since G contains rotations of order three (resp. two) at the short (resp. long) edges of T0, VorGp(p) is contained in the union of T0 and its four adjacent (black) tetrahedra, T1, ..., T4. We call this union the extended Voronoi region of T0, and denote it ExtVorG(T0).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Suppose that your base point p lies in a certain (white) tetrahedron T0. Since G contains rotations of order three (resp. two) at the short (resp. long) edges of T0, VorGp(p) is contained in the union of T0 and its four adjacent (black) tetrahedra, T1, ..., T4. We call this union the extended Voronoi region of T0, and denote it ExtVorG(T0). Since that holds for every p′ ∈ Gp, for p and p′ to be neighbors it is necessary that the extended Voronoi regions of T and the tetrahedron T ′ containing p′ overlap.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Suppose that your base point p lies in a certain (white) tetrahedron T0. Since G contains rotations of order three (resp. two) at the short (resp. long) edges of T0, VorGp(p) is contained in the union of T0 and its four adjacent (black) tetrahedra, T1, ..., T4. We call this union the extended Voronoi region of T0, and denote it ExtVorG(T0). Since that holds for every p′ ∈ Gp, for p and p′ to be neighbors it is necessary that the extended Voronoi regions of T and the tetrahedron T ′ containing p′ overlap. That is, T ′ is one of T0, . . . , T4 or the other 10 white tetrahedra adjacent to them.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Suppose that your base point p lies in a certain (white) tetrahedron T0. Since G contains rotations of order three (resp. two) at the short (resp. long) edges of T0, VorGp(p) is contained in the union of T0 and its four adjacent (black) tetrahedra, T1, ..., T4. We call this union the extended Voronoi region of T0, and denote it ExtVorG(T0). Since that holds for every p′ ∈ Gp, for p and p′ to be neighbors it is necessary that the extended Voronoi regions of T and the tetrahedron T ′ containing p′ overlap. That is, T ′ is one of T0, . . . , T4 or the other 10 white tetrahedra adjacent to them.We call this union the influence region of T0.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The influence region has 4 black and 11 white tetrahedra that can possibly contain neighbors of p.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The influence region has 4 black and 11 white tetrahedra that can possibly contain neighbors of p. This gives an upper bound of 10 facets for the Dirichlet stereohedra of T0 and an upper bound of 14 for the other four full groups with one orbit point per tetrahedron
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The influence region has 4 black and 11 white tetrahedra that can possibly contain neighbors of p. This gives an upper bound of 10 facets for the Dirichlet stereohedra of T0 and an upper bound of 14 for the other four full groups with one orbit point per tetrahedron, and a global upper bound of 59 neighbors for full groups without reflections.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The influence region has 4 black and 11 white tetrahedra that can possibly contain neighbors of p. This gives an upper bound of 10 facets for the Dirichlet stereohedra of T0 and an upper bound of 14 for the other four full groups with one orbit point per tetrahedron, and a global upper bound of 59 neighbors for full groups without reflections. More precisely: Lemma The number of facets of a full-cubic group G wo. reflections cannot exceed (11 + 4m)s − 1, where s ∈ {1, 2, 4} is the number
whether G mixes colors of tetrahedra or not.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0. These rotations can be used to make the extended Voronoi region and influence region smaller.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0. These rotations can be used to make the extended Voronoi region and influence region smaller. Consider the base tetrahedron T0 divided into eight smaller tetrahedra A,...,H by four planes in the natural (symmetric) way.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0. These rotations can be used to make the extended Voronoi region and influence region smaller. Consider the base tetrahedron T0 divided into eight smaller tetrahedra A,...,H by four planes in the natural (symmetric) way. These eight smaller tetrahedra (call them fundamental subdomains) are fundamental domains of the normalizer N(F23) ≥ G.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0. These rotations can be used to make the extended Voronoi region and influence region smaller. Consider the base tetrahedron T0 divided into eight smaller tetrahedra A,...,H by four planes in the natural (symmetric) way. These eight smaller tetrahedra (call them fundamental subdomains) are fundamental domains of the normalizer N(F23) ≥ G. Wlog assume p ∈ A.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0. These rotations can be used to make the extended Voronoi region and influence region smaller. Consider the base tetrahedron T0 divided into eight smaller tetrahedra A,...,H by four planes in the natural (symmetric) way. These eight smaller tetrahedra (call them fundamental subdomains) are fundamental domains of the normalizer N(F23) ≥ G. Wlog assume p ∈ A. Then, assuming G contains the order four rotations, the extended Voronoi region of A consists of only 13 (instead of the former 8 × 5 = 40 fundamental subdomains.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
The worst value of this bound is 59, achieved in two groups I432 and P 4
n3 2 n that contain rotations of order four on the two long
edges of T0. These rotations can be used to make the extended Voronoi region and influence region smaller. Consider the base tetrahedron T0 divided into eight smaller tetrahedra A,...,H by four planes in the natural (symmetric) way. These eight smaller tetrahedra (call them fundamental subdomains) are fundamental domains of the normalizer N(F23) ≥ G. Wlog assume p ∈ A. Then, assuming G contains the order four rotations, the extended Voronoi region of A consists of only 13 (instead of the former 8 × 5 = 40 fundamental subdomains. The influence region of A consists of only 44 fundamental subdomains (instead of the former 8 × 15 = 120.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
4
A H G F E B C D A B C D E F G H A H G F E D B C A B C D E F G H A B C D E F G H
T0 T2 T
3
T
4
T
1
v’
1
v2 v4 v v
3 3
v3 v3 v2 v2 v4 v4 v’
4
v’
2
v1 v1 v’
3
v1 v1 v2 v
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
A H G F E B C D A B C D E F G H A H G F E D B C A B C D E F G H A B C D E F G H A H G B C F D A H G F E D C B E A B C D E F G H A H B C D E F G A H B C D E F G A B C D E F G H A B C D E F G H G B C D E F A H A B C D E F G H D E F G H A B C A B C D E F G H A B C D E F G H
T
4
T
3
T
2
T
1
v3 v3 v4 v4 v2 v2 v3 v3 v1 v1 v1 v1 v’
2 v’ 2
v3 v1 T
23
v4 v1 v3 T24= T42 v’’
24
v’
2
v’’
23
v1 v4 T
32
v’’
32
v4 v’
3
v4 v’
3
v’
3
v2 v2 v2 v’’
31
T
34
v’
3
T
31 =T 13
v’’
34
v1 v’’
43
T
43
v’
4
v1 v1 v’
4 v’ 4
v2 v3 v3 v2 v’
4
v’’
42
T
42=T 24
T
41
v’’
41
v3 v’’
14
T
14
v’
1
v2 v2 v2 v’
1
v’
1
v4 v4 T
13= T 31
v’’ v’
1
v3 v’’
13 12
T
12
v4 v’’
21
T
21
v’
2
v4 T
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Cubic groups
Theorem (Sabariego-S. 2009) Dirichlet stereohedra for the 22 full-groups without reflections cannot have more than 23 facets. More precisely:
Group (m, s) Bound F23 (0, 1) 10 F432 (1, 1) 14 F43c (1, 1) 14 F 2
d 3
(1, 1) 14 P23 (0, 2) 15 F4132 (0, 2) 17 Group (m, s) Bound P432 (1, 2) 11 I23 (1, 2) 21 P 2
n3
(1, 2) 23 F 41
d 3 2 n
(1, 2) 25 P43n (0, 4) 23 P4232 (0, 4) 25 P 4
n3 2 n
(1, 4) 23 I432 (1, 4) 22
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
X
1/2 1/2 1/2 1/2
Y
1/2 3/4 1/4 1/4 1/2 1/2 1/2 3/4 1/4 3/4 3/4 1/4 3/4 1/4 1/4 3/4 1/4 3/4 3/4 1/4
N(Q) = I 41
g 3 2 d
ւ ↓ ց
X Y
1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
X Y
3/4 1/2 3/4 1/4 1/2 1/4 1/4 1/4 1/2 1/2 3/4 3/4
X
1/2 1/2 1/2 1/2
Y
3/4 1/4 3/4 1/4 1/4 3/4 3/4 1/4
I 2
g3
I43d I4132
↓ ց ↓ ւ ↓
X Y
1/2 1/2 1/2 1/2
X Y
1/2 1/2 1/2 1/2
X
3/4 1/4
Y
1/2 1/2 1/4 3/4
P 21
a 3
I2′3 P4132
ց ↓ ւ
X Y
1/2 1/2
Q = P213
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method:
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method: 1 Assume that your base point lies in a certain domain T0, that we call a “fundamental subdomain”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method: 1 Assume that your base point lies in a certain domain T0, that we call a “fundamental subdomain”.
If D is (or contains) a fundamental domain F of N(G) this is no loss of generality. But you can also cover N(G) by several fundamental subdomains D1, . . . , Dn and repeat the process below for each (pair of) Di.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method: 1 Assume that your base point lies in a certain domain T0, that we call a “fundamental subdomain”. 2 Compute an extended Voronoi region of D, ExtVorG(D); this is any region guaranteed to contain VorGp(p) for every p ∈ D.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method: 1 Assume that your base point lies in a certain domain T0, that we call a “fundamental subdomain”. 2 Compute an extended Voronoi region of D, ExtVorG(D); this is any region guaranteed to contain VorGp(p) for every p ∈ D.
To bound ExtVorG(D) use motions that are in your group (preferably translations and rotations). Remark: ExtVorG(D) may not be convex (specially if you used rotations of order 2 to cut it out).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method: 1 Assume that your base point lies in a certain domain T0, that we call a “fundamental subdomain”. 2 Compute an extended Voronoi region of D, ExtVorG(D); this is any region guaranteed to contain VorGp(p) for every p ∈ D. 3 Find all other fundamental subdomains D′ (of all types, if D does not contain a fundamental domain of N(G)) such that ExtVorG(D) ∩ ExtVorG(D′) is not empty. Call InflG(D) the union of them.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
The general idea is to adapt the “extended Voronoi region / influence region” method: 1 Assume that your base point lies in a certain domain T0, that we call a “fundamental subdomain”. 2 Compute an extended Voronoi region of D, ExtVorG(D); this is any region guaranteed to contain VorGp(p) for every p ∈ D. 3 Find all other fundamental subdomains D′ (of all types, if D does not contain a fundamental domain of N(G)) such that ExtVorG(D) ∩ ExtVorG(D′) is not empty. Call InflG(D) the union of them. Lemma For every p ∈ D, all neighbors (i.e., facet producing orbit points) are in InflG(D).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with a fundamental domain of N(P213) (remember that P213 ≤ G ≤ N(P213)) which is a quarter of a permutahedron.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with a fundamental domain of N(P213) (remember that P213 ≤ G ≤ N(P213)) which is a quarter of a permutahedron. We subdivide it into four fundamental subdomains A0, B0, C0 and D0.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with a fundamental domain of N(P213) (remember that P213 ≤ G ≤ N(P213)) which is a quarter of a permutahedron. We subdivide it into four fundamental subdomains A0, B0, C0 and D0. We consider R3 tiled by these four prototiles via the action of N(P213). In the rest, all extended Voronoi regions and influence regions will be computed as unions of such tiles.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with a fundamental domain of N(P213) (remember that P213 ≤ G ≤ N(P213)) which is a quarter of a permutahedron. We subdivide it into four fundamental subdomains A0, B0, C0 and D0. We consider R3 tiled by these four prototiles via the action of N(P213). In the rest, all extended Voronoi regions and influence regions will be computed as unions of such tiles. Call this the “ambient tiling”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with an initial population P of (more than 3000) fundamental subdomains, whose union is guaranteed to contain VorExtG(D) for D ∈ {A0, B0, C0, D0}.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with an initial population P of (more than 3000) fundamental subdomains, whose union is guaranteed to contain VorExtG(D) for D ∈ {A0, B0, C0, D0}. We also consider a list of (between 40 and 160) motions from G that are used to “cut out” the extended Voronoi regions.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with an initial population P of (more than 3000) fundamental subdomains, whose union is guaranteed to contain VorExtG(D) for D ∈ {A0, B0, C0, D0}. We also consider a list of (between 40 and 160) motions from G that are used to “cut out” the extended Voronoi regions. For each of the four choices of D, the 3000 choices of D′ and choice of motion ρ, we check whether ρ excludes D′ from intersecting ExtVorG(D).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We start with an initial population P of (more than 3000) fundamental subdomains, whose union is guaranteed to contain VorExtG(D) for D ∈ {A0, B0, C0, D0}. We also consider a list of (between 40 and 160) motions from G that are used to “cut out” the extended Voronoi regions. For each of the four choices of D, the 3000 choices of D′ and choice of motion ρ, we check whether ρ excludes D′ from intersecting ExtVorG(D). The non-excluded D′ form our extended Voronoi region ExtVorG(D) (one for each of {A0, B0, C0, D0}).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
Table 8 Transformations that we use in each quarter group
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
Table 9 A set S3 of triad rotations in Q and, therefore, in all the quarter groups Table 10 A set S4 of diad rotations parallel to the coordinate axes that appear in the groups I 41
g 3 2 d , I4132,
I43d, I 2
g 3 and I2′3
Table 12 A set S6 ⊂ S5 of diad rotations parallel to the diagonal of the faces of the unit cube that appear in the group P4132
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
Here we use a feature of our encoding; each tile D′ of the initial population is encoded as the element g ∈ N(P213) giving D′ from
is).
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
Here we use a feature of our encoding; each tile D′ of the initial population is encoded as the element g ∈ N(P213) giving D′ from
is). This implies that we can get the influence region simply as InflG(D) := {g1 ◦ g−1
2
: g1, g2 ∈ ExtVor(D)}
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
Here we use a feature of our encoding; each tile D′ of the initial population is encoded as the element g ∈ N(P213) giving D′ from
is). This implies that we can get the influence region simply as InflG(D) := {g1 ◦ g−1
2
: g1, g2 ∈ ExtVor(D)}
subdomains”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
Here we use a feature of our encoding; each tile D′ of the initial population is encoded as the element g ∈ N(P213) giving D′ from
is). This implies that we can get the influence region simply as InflG(D) := {g1 ◦ g−1
2
: g1, g2 ∈ ExtVor(D)}
subdomains”. Taking the types into account, the formula is rather InflG(D) = ∪D′∈{A0,B0,C0,D0}{g1 ◦ g −1
2
: g1 ∈ ExtVor(D), g2 ∈ ExtVor(D′) and g1, g2 of the same type}
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
|G : Q| Aspects Group Our bounds (1) (2) (3) (4) Final 8 48 N(Q) = I 41
g 3 2 d
519 155 100 68 68 4 24 I4132 264 96 55 55 I43d 257 78 76 76 I 2
g 3
260 77 57 57 2 24 P4132 135 92 92 12 I2′3 131 48 46 46 24 P 21
a 3
132 86 86 1 12 Q = P213 69 69 (1) Bounds after processing triad rotations (2) Bounds after diad rotations with axes parallel to the coordinate axes (3) Bounds after diagonal diad rotations (4) Bounds after intersecting with planar projections
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We have shown that Dirichlet stereohedra in 3-d cannot have more than 92 facets.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We have shown that Dirichlet stereohedra in 3-d cannot have more than 92 facets. Our bound is “group by group”, and it exceeds:
38 in only 21 + 8 groups. 50 in only 9 + 7 groups. 70 in only 4 + 3 groups. 80 in only two groups (P4132 and P 21
a 3.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We have shown that Dirichlet stereohedra in 3-d cannot have more than 92 facets. Our bound is “group by group”, and it exceeds:
38 in only 21 + 8 groups. 50 in only 9 + 7 groups. 70 in only 4 + 3 groups. 80 in only two groups (P4132 and P 21
a 3.
In the classes where our bound is big (non-cubic groups wo. reflections and quarter cubic groups) stereohedra with > 30 facets exist.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
We have shown that Dirichlet stereohedra in 3-d cannot have more than 92 facets. Our bound is “group by group”, and it exceeds:
38 in only 21 + 8 groups. 50 in only 9 + 7 groups. 70 in only 4 + 3 groups. 80 in only two groups (P4132 and P 21
a 3.
In the classes where our bound is big (non-cubic groups wo. reflections and quarter cubic groups) stereohedra with > 30 facets exist. Our bound is 55 for the group I4132 producing Engel’s 38-faceted stereohedra.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
And last but perhaps not least
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
And last but perhaps not least Our influence regions (encoded as sets of transformations) can be used as preprocessing for further computations. For each “bad group” we have a list of < 100 explicit transformations that are guaranteed to produce all the facet-defining orbit points for each p in the chosen “fundamental subdomain”.
Number of facets of 3-d Dirichlet stereohedra
Intro Groups with reflections Non-cubic groups Cubic groups Quarter cubic groups Quarter groups
And last but perhaps not least Our influence regions (encoded as sets of transformations) can be used as preprocessing for further computations. For each “bad group” we have a list of < 100 explicit transformations that are guaranteed to produce all the facet-defining orbit points for each p in the chosen “fundamental subdomain”. THANK YOU
Number of facets of 3-d Dirichlet stereohedra