Wiki source code of Daniel Meyer's pictures

Last modified by dmeyer@helsinki_fi on 2024/02/13 07:33

Show last authors
1 = Daniel Meyer's Pictures =
2
3 === Conformal tilings ===
4
5 Conformal tilings are tilings of the plane or the sphere with the following properties. Each tile is an n-gon where each side is an analytic arc, i.e., the image of a line segment by an analytic map. Furthermore two tiles which share such an analytic arc are conformal reflections along this arc. More precisely if two tiles X,Y share an arc a, then the analytic map f: a → I \subset \R extends to X and Y; f(X), f(Y) are reflections of each other along the real line. In laymans terms: put a curved mirror on one edge, you see the neighboring tile as a reflection. Thus each tile contains the whole information to recover the whole tiling. Conformal tilings were introduced by [[Bowers Stephenson>>url:http://www.ams.org/ecgd/1997-01-05/S1088-4173-97-00014-3/S1088-4173-97-00014-3.pdf||title="pentagonal tiling" shape="rect"]].
6
7 ===== z^2 -1 =====
8
9 These conformal tilings are obtained by iteration of z^2-1. The pictures are just preimages of the upper and lower half plane under iteration.
10
11 [[image:attach:poly1_1.jpg]] [[image:attach:poly1_2.jpg]] [[image:attach:poly1_3.jpg]]
12
13 [[image:attach:poly1_4.jpg]] [[image:attach:poly1_5.jpg]] [[image:attach:poly1_6.jpg]]
14
15 [[image:attach:poly1_7.jpg]] [[image:attach:poly1_8.jpg]] [[image:attach:poly1_9.jpg]]
16
17 [[image:attach:poly1_10.jpg]]
18
19 ===== Barycentric subdivision =====
20
21 The barycentric subdivision divides a triangle along the bisectors in 6. This can then be iterated. Here we start with two triangles that are glued along their boundaries to form (topologically) a sphere. The pictures show the obtained conformal tilings. They were obtained using the map r(z)= 1- 54(z^2-1)^2/(z^2+3)^3 that encodes this subdivision, obtained by [[Cannon-Floyd-Kenyon-Parry>>url:http://www.ams.org/ecgd/2003-07-05/S1088-4173-03-00082-1/S1088-4173-03-00082-1.pdf||title="CFKP" shape="rect"]].
22
23 [[image:attach:R_bary1.jpg]] [[image:attach:R_bary2.jpg]] [[image:attach:R_bary3.jpg]]
24
25 [[image:attach:R_bary4.jpg]] [[image:attach:R_bary5.jpg]] [[image:attach:R_bary6.jpg]]
26
27 ===== Flap Space =====
28
29 Here is another example obtained as follows. We start with the sphere that is obtained from glueing two triangles together. They are colored black and white. The iteration is as follows. Each black triangle is divided along one bisector in two. Each white triangles is first divided along a bisector in two, in this new edge two triangles (a flap) is glued in. Again the pictures are obtained from a rational map encoding this subdivision. They are from joint work with Mario Bonk.
30
31 [[image:attach:R_mario3_1.jpg]] [[image:attach:R_mario3_2.jpg]] [[image:attach:R_mario3_3.jpg]]
32
33 [[image:attach:R_mario3_4.jpg]] [[image:attach:R_mario3_5.jpg]] [[image:attach:R_mario3_6.jpg]]
34
35 [[image:attach:R_mario3_7.jpg]] [[image:attach:R_mario3_8.jpg]] [[image:attach:R_mario3_9.jpg]]
36
37 ===== Snowspheres =====
38
39 Conformal tilings can be used to construct [[quasisymmetric parametrizations of self-similar surfaces>>url:http://www.emis.de/journals/AASF/Vol27/meyer.pdf||title="snowballs" shape="rect"]]. They are constructed analogous to the snowflake curve. More precisely the first five pictures are from a "snowball" constructed as follows. Start with a tetrahedron. Each face is divided into four equilateral triangles of half the side-length. Put a tetrahedron on the middle triangle. We obtain a polyhedral surface built from 4*6=24 small triangles. The procedure is iterated, meaning each small triangle is divided into four, and a tetrahedron is put on the middle triangle. The latter four pictures are obtained from a similar snowball. The construction is the same as before, except that we put an octahedron on the middle triangle in each step.
40
41 [[image:attach:Rsnow6_1.jpg]] [[image:attach:Rsnow6_2.jpg]] [[image:attach:Rsnow6_3.jpg]]
42
43 [[image:attach:Rsnow6_4.jpg]] [[image:attach:Rsnow6_5.jpg]]
44
45 [[image:attach:Rsnow7_1.jpg]] [[image:attach:Rsnow7_2.jpg]] [[image:attach:Rsnow7_3.jpg]]
46
47 [[image:attach:Rsnow7_4.jpg]]
48
49 ===== Another example =====
50
51 [[image:attach:R4gon_1.jpg]] [[image:attach:R4gon_2.jpg]] [[image:attach:R4gon_3.jpg]]
52
53 [[image:attach:R4gon_4.jpg]] [[image:attach:R4gon_5.jpg]]