Requirement: This repository is already included in the official release of FragM. You can run the examples by installing FragM and navigating to
examples >> neozhaoliang
.
In this project, We will visualize hyperbolic Coxeter groups of varying ranks 3/4/5 and levels 1/2/3. The scenes can be categorized into two types:
- Tiling display: Show the tiling of hyperbolic honeycombs inside the space in the Poincaré ball model and upper half space model.
- Sphere packing display: Show the sphere packing on the ideal boundary. The complement of this sphere packing is called the limit set.
The level of a Coxeter group
It's proved in a paper by George Maxwell that Coxeter groups of level 1/2 are both hyperbolic. For level 1, the limit set is the entire ideal boundary and there is no sphere packing. For level 2, there is a maximal sphere packing on the ideal boundary, meaning the spheres do not intersect and fill the boundary completely. For levels higher than 2, the spheres still fill the boundary, but they will overlap. For further mathematical details, please refer to the paper by Chen and Labbé (Chen and Labbé's paper) on the connection between hyperbolic geometry and ball packings.
From left to right: compact tiling, paracompact tiling (with ideal vertices on the boundary), non-compact tiling (with hyperideal vertices outside the space)
The level 2 case, shown in the rightmost image, appears less attractive. However, it can be observed that each cell, which is an unbounded triangle, intersects the ideal boundary at an arc. All these arcs pack the entire boundary circle. This phenomena generalizes to three and four-dimensional spaces. If the group has level 2, each cell in the honeycomb will intersect the boundary at a disk or sphere, and these disks/spheres pack the entire boundary.
(Images with Poincaré disks packing the boundary are of level 2)
In this case, there will be overlapping circles:
In order (left to right, top to bottom): tetrahedron, cube, octahedron, dodecahedron, icosahedron.
These packings follow from a preprint of Kapovich and Kontorovich. Level not defined.
Extended Bianchi groups. Left: Bi23. Right: Bi31.
Groups from Mcleod's thesis. Left: Modified f(3,6). Right: f(3,14).
Top row: level 2 groups give dense ball packings of the unit ball.
Second row: level > 2 groups have overlapping balls, they give fractal patterns if some of the balls are removed. Basically these are the fratals in the next section but shown in the Poincaré unit ball model.
Note some Coxeter diagrams for the rendered images below are missing (I forgot them).
Missing | |
Missing | Missing |
Missing | |