Random Tiling of a Sphere
Suppose we place an equilateral triangle with edge length 1 on the
surface of a sphere of radius R >> 1 (say, 100). Now randomly
select one of the three edges of this triangle and construct an
identical triangle on that edge (also on the surface of the sphere).
Now we have four exposed edges, each of which is eligible for the
construction of another equilateral triangle. We choose one of
these edges at random and construct another triangle. This leaves
us with 5 exposed edges, all eligible, from which we randomly select
one and construct another equilateral triangle, and so on.
Before long there will be some "exposed edges" on which it's not
possible to construct an equilateral triangle (without overlapping
an existing triangle), so we say those edges are not eligible, and
we exclude them from our random selection list. At the beginning of
this process our list of eligible edges will obviously increase by
1 at each step, but then it will occassionally not increase on some
steps, and eventually it will start to decrease as we continue to
adjoin more triangles. Ultimately we will have no more eligible
edges.
What fraction of the sphere's surface area would we expect to
cover in this way? What is the asymptotic behavior of this
fraction as R increases? (Since this process would completely
tile the plane, it might seem that the coverage ratio limit as R
approaches infinity must be 1, but perhaps there's a tendancy for
each local region to "waste" a certain amount of area due to certain
patterns of inter- ference that are repeated throughout the surface
for ANY finite R, even though all the interference vanishes when the
surface is perfectly flat.) How many ineligible exposed edges would
be present at the end? If, instead of randomly deciding where to
add the next triangle, we are allowed to plan our moves, is there
a simple algorithmic strategy that maximizes the covered area and/
or minimizes the final number of ineligible exposed edges?
Some people have suggested that, since it's possible to fit 5 but
not 6 equilateral triangles to a common vertex, the coverage must
be around 5/6, regardless of whether the pattern was random or not.
However, I think the coverage may actually be less than that, and it
can depend on the sequence in which the tiles are placed. We could
ask the opposite question, namely, what is the LEAST number of
tiles that leave no eligible edges remaining. Suppose we have a
configuration like this on the surface of a very large sphere:
____A
/\ /\
/__\/__\C
/\ /\ /\
/__\/ \/__\
/\ / /\ /
/__\/ /__\/
/\ / /\ /
/__\/ /__\/
\ / /\ /
\/ /__\/
B D
The lines AB and CD are nearly geodesics and essentially parallel as
they cross the segment AC. However, they don't remain parallel (as
they would on a perfectly flat plane). Instead they are slowly
converging, I think, based on the fact that the centerlines of those
two rows of tiles must be geodesics, and by symmetry the cross-wise
row of tiles along AC must be the point of maximum separation between
those geodesics. As a result, not only is it impossible to fill in
the 6th edge of the upper "hexagon", it's also impossible to place
a triangle anywhere between the lines AB and CD anywhere below C.
If we continue this pattern, the lines AB and CD will eventually
intersect, but it will take a very long time if the curvature is
very slight.
Also, we could repeat this pattern, creating a series of "stripes"
alternating between tiled and untilable regions, like this:
____A
/\ /\
/__\/__\C
/\ /\ /\
/__\/ \/__\E
/\ / /\ /\
/__\/ /__\/__\G
/\ / /\ /\ /\
/__\/ /__\/ \/__\
\ / /\ / /\ /
\/ /__\/ /__\/
B /\ / /\ /
/__\/ /__\/
D\ / /\ /
\/ /__\/
F /\ /
/__\/
H\ /
\/
Here the lines EF and GH are also slightly converging, making the
region between them unfillable. In this way we might, by design,
be able to exhaust our eligible edges while having tiled only
about 2/3 of the surface, since the unfillable slice between
every two rows of tiles would have about half the area of a row
of tiles.
Of course, this pattern requires us to carefully arrange our
construction. For example, if we didn't tile all the way out to
DF on the central path, we could build a tile path from H to B,
which wouldn't quite connect perfectly, but would block the central
row of tiles. In general I think we could construct some very
"maze-like" patterns, and if we just randomly selected our sites
for each successive triangle, we would (or at least COULD) get
some fairly jagged arrangements with extensive unfillable
"slices". As a result, I'd expect to end up with less than
5/6 coverage... and for it to be possible to get significantly
different coverage by design versus random selection.
In fact, I think it's possible to show that we can actually get
arbitrarily low coverage simply by constructing one geodesic "belt"
around a great cirlce of the sphere, and then constructing a triangle
on each of the exposed faces of that belt. We'll end up with an
arrangement that looks like this
/\ /\ /\ /\ /\ /\ /\
__ /__\/__\/__\/__\/__\/__\/____
<-- \ /\ /\ /\ /\ /\ / geodesic belt -->
____\/__\/__\/__\/__\/__\/_____
/\ /\ /\ /\ /\ /\
\/ \/ \/ \/ \/ \/
Notice that it's not possible to construct any more triangles
on this configuration, since the only exposed edges are subtending
and angle just slightly less than what is required to accommodate
another triangle. Thus, for an arbitrarily large sphere we have
a saturated configuration of tiles that covers just an arbitrarily
thin slice around a great circle. Naturally we wouldn't expect to
reach this configuration by chance, but I think it illustrates how
this type of tiling can easily become saturated even while larges
regions of the sphere's surface are totally uncovered. Of course,
this construction assumes the "belt" fits perfectly, but there are
infinitely many values of R for which this is true.
Along these same lines, we could tile along any of the geodesic
projections of the edges of a regular solid, and then "saturate"
those geodesic segments by placing triangles on each exposed face,
just as we did with the geodesic belt. In this way, we can get
just about any amount of coverage, from the max possible all the
way down to virtually zero.
Speaking of the max possible, I'm wondering if it might be possible
to achieve coverages close to 1 in many cases (aside from the obvious
Pythagorean cases), because it might be possible to construct a spiral
belt, with "dog legs" as needed in order to circle the sphere and end
up just skimming the previous loop, without leaving much empty space.
Anyway, it's clear that we can have saturated tilings of the sphere
with a wide range of coverages, so this again raises the original
question, i.e., what is the expected coverage for a random tiling?
Return to MathPages Main Menu
Сайт управляется системой
uCoz