Polyhedra with Spherical Faces and Quasi-Fuchsian Fractals
Kento Nakamura Graduate School of Advanced Mathematical Science, Meiji University Topology and Computer 2017
Polyhedra with Spherical Faces and Quasi-Fuchsian Fractals Kento - - PowerPoint PPT Presentation
Topology and Computer 2017 Polyhedra with Spherical Faces and Quasi-Fuchsian Fractals Kento Nakamura Graduate School of Advanced Mathematical Science, Meiji University Sphairahedron sphaira- (= spherical) + -hedron (=
Kento Nakamura Graduate School of Advanced Mathematical Science, Meiji University Topology and Computer 2017
‘sphaira-’ (= spherical) + ‘-hedron’ (= polyhedron) New geometrical concept invented by Kazushi Ahara and Yoshiaki Araki (2003)
Quasi-sphere
One of the early examples of the 3-dimensional fractals
𝑇3 = 𝑆3 ∪ ∞ closed-ball: 𝑃1, 𝑃2, … , 𝑃𝑜 𝐵 = 𝑇3 − (𝑃1 ∪ 𝑃2 … ∪ 𝑃𝑜)
One side of the simply connected two components of 𝐵
One side of the simply connected two components of 𝐵
One side of the simply connected two components of 𝐵
One side of the simply connected three or more components of 𝐵
One side of the simply connected three or more components of 𝐵
𝑔
𝑗: 𝐽𝑜𝑤𝑓𝑠𝑡𝑗𝑝𝑜 𝑗𝑜 𝑃𝑗
𝐻 = < 𝑔
0, 𝑔 1, … , 𝑔 𝑜 >
Two properties to characterize sphairahedron If a sphairahedron is rational and ideal, 𝐻 is discrete.
Quasi-sphere (homeomorphic to a sphere) Sphairahedron
Semi-sphairahedron
All of the dihedral angles of edges is rational. (𝜌/𝑜 for the natural number 𝑜) 𝜌/3 𝜌/2, 𝜌/3, 𝜌/6
All of the edges are mutually tangent at its vertex
Derivation of Parameter Space
Cube-type sphairahedron
∞ ∞ ∞
𝑜 = 3 3 3 3 3 3 3 3 3 3 3 3
To fulfill a ideality, the sum
each vertex should be π
2 3 6 3 6 3 3 3 2 2 3 6
2 4 4 4 4 4 2 4 2 4 2 4
Fix prism and a sphere
Parameter 𝑨𝑐 : The height of the green sphere 𝑨𝑑 : The height of the blue sphere
Parameter space of the cube-type sphairahedron is studied by Ahara and Araki (2003) and also Ryo Kageyama (2016).
All of the dihedral angles are 𝜌/3
𝑨𝑐𝑨𝑑 < 3/4 𝑨𝑑
2 − 𝑨𝑐𝑨𝑑 < 3/4
𝑨𝑐
2 − 𝑨𝑐𝑨𝑑 < 3/4
Suited for parallel computing by GPU
We have to compute an intersection between the ray and many sphairahedra
Find intersection between the ray and objects
Compute minimum distance to objects
A function returning the minimum distance between given point and object’s surface 𝑔 𝑞 = 𝑒𝑗𝑡𝑢𝑏𝑜𝑑𝑓 𝑞, 𝐷 − 𝑠
Distance to Sphairahedron
float DistanceToSphairahedron (vec3 p) { float d = DistanceToPrism(p); d = max(-DistanceToSphereA(p), d); d = max(-DistanceToSphereB(p), d); d = max(-DistanceToSphereC(p), d); return d; }
We need the distance to the surface
Distance Field for the orbit of spheres
𝐷 𝑄
Distance Field for the orbit of spheres
Inversion in 𝐷
𝐷
We need minimum distance between the point and spheres
𝑄
𝑒
Distance Field for the orbit of spheres
𝑒
Distance Field for the orbit of spheres
Inversion in 𝐷
𝑒
Distance Field for the orbit of spheres
𝑒 𝑒′
Distance Field for the orbit of spheres
𝑒 ≈ 𝑒′ 𝐾𝑏𝑑𝑝𝑐𝑗𝑏𝑜 𝑝𝑔 𝐽𝑜𝑤𝐷 𝑒′
Experimental Sphairahedron Renderer
https://github.com/soma-arc/SphairahedronExperiment