Thread: "Regular abstract polytopes based on {5,3,4} and {4,3,5}"

From: "schuma" <mananself@gmail.com>
Date: Fri, 08 Jun 2012 05:48:40 -0000
Subject: Regular abstract polytopes based on {5,3,4} and {4,3,5}



Hello,

The regular abstract polytopes based on hyperbolic tessellations {5,3,4} an=
d {4,3,5} have been mentioned by Andrey several times here. Recently I read=
more about them and found Gruenbaum talked about a polytope formed by 32 h=
emidodecahedra, which was related to {5,3,4}. It should be this one:

http://www.abstract-polytopes.com/atlas/1920/240995/5.html

According to this page, it has 32 cells, each of which is a hemidodecahedro=
n. It has 96 faces, 120 edges and 40 vertices. The vertex figure is an octa=
hedron (note: not hemi-octahedron). Compared with the 11-cell and the 57-ce=
ll, this 32-cell received little attention.

It has a dual, which is based on {4,3,5}:

http://www.abstract-polytopes.com/atlas/1920/240995/2.html

The 40 faces are cubes (not hemi-cubes). The vertex figure is a hemi-icosah=
edron.=20

The vertex coordinates of {4,3,5} and {5,3,4} have been computed analytical=
ly and can be found in this paper [Garner, Coordinates for Vertices of Regu=
lar Honeycombs in Hyperbolic Space, www.jstor.org/stable/2415373, Table 1].=
This is of course a good news for implementation. If any one wants to see =
the paper but has no access to Jstor please email me. The coordinates are i=
n a Minkowskian space. I need to learn more hyperbolic geometry to understa=
nd the model.=20

According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA ARISING F=
ROM HONEYCOMBS, http://www.sciencedirect.com/science/article/pii/0012365X84=
900323], there are more abstract polytopes based on {5,3,4} and {4,3,5}. Bu=
t they cannot be found in [http://www.abstract-polytopes.com/atlas/] becaus=
e this atlas contains information of "small" polytopes with up to 2000 symm=
etries. Fortunately, the 32-hemidodecahedral-cell and its dual, 40-cubic-ce=
ll have 1920 symmetries, which is just below the boundary. Something like 1=
20-cell, and 57-cell etc are not there because they are too large. But thes=
e two things can keep me excited for a while.=20

Nan




From: Roice Nelson <roice3@gmail.com>
Date: Fri, 8 Jun 2012 01:37:02 -0500
Subject: Re: [MC4D] Regular abstract polytopes based on {5,3,4} and {4,3,5}



--f46d0401fab160dba104c1f03ad6
Content-Type: text/plain; charset=ISO-8859-1

Hi Nan,

This is wonderful information, and puzzle versions definitely sound
realizable. I do not have access to Jstor, but would love to see a copy of
the paper.

As far as the coordinates being in Minkowski space, that means they are in
the Hyperboloid Model . I
have written code to go between this model and some other models
(Poincare/Klein), and I'm happy to share if you think it could help in your
adventures on this topic. It is code for 2D geometry, but should be
adaptable to the 3D case.

Roice


On Fri, Jun 8, 2012 at 12:48 AM, schuma wrote:

> Hello,
>
> The regular abstract polytopes based on hyperbolic tessellations {5,3,4}
> and {4,3,5} have been mentioned by Andrey several times here. Recently I
> read more about them and found Gruenbaum talked about a polytope formed by
> 32 hemidodecahedra, which was related to {5,3,4}. It should be this one:
>
> http://www.abstract-polytopes.com/atlas/1920/240995/5.html
>
> According to this page, it has 32 cells, each of which is a
> hemidodecahedron. It has 96 faces, 120 edges and 40 vertices. The vertex
> figure is an octahedron (note: not hemi-octahedron). Compared with the
> 11-cell and the 57-cell, this 32-cell received little attention.
>
> It has a dual, which is based on {4,3,5}:
>
> http://www.abstract-polytopes.com/atlas/1920/240995/2.html
>
> The 40 faces are cubes (not hemi-cubes). The vertex figure is a
> hemi-icosahedron.
>
> The vertex coordinates of {4,3,5} and {5,3,4} have been computed
> analytically and can be found in this paper [Garner, Coordinates for
> Vertices of Regular Honeycombs in Hyperbolic Space,
> www.jstor.org/stable/2415373, Table 1]. This is of course a good news for
> implementation. If any one wants to see the paper but has no access to
> Jstor please email me. The coordinates are in a Minkowskian space. I need
> to learn more hyperbolic geometry to understand the model.
>
> According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA ARISING
> FROM HONEYCOMBS,
> http://www.sciencedirect.com/science/article/pii/0012365X84900323], there
> are more abstract polytopes based on {5,3,4} and {4,3,5}. But they cannot
> be found in [http://www.abstract-polytopes.com/atlas/] because this atlas
> contains information of "small" polytopes with up to 2000 symmetries.
> Fortunately, the 32-hemidodecahedral-cell and its dual, 40-cubic-cell have
> 1920 symmetries, which is just below the boundary. Something like 120-cell,
> and 57-cell etc are not there because they are too large. But these two
> things can keep me excited for a while.
>
> Nan
>
>
>

--f46d0401fab160dba104c1f03ad6
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hi Nan,


This is wonderful information, and puzzle versio=
ns definitely sound realizable. =A0I do not have access to=A0Jstor, but wou=
ld=A0love to see a copy of the paper.

As far as th=
e coordinates being in Minkowski space, that means they are in the =3D"http://en.wikipedia.org/wiki/Hyperboloid_model" target=3D"_blank">Hyper=
boloid Model
. =A0I have written code to go between this model and some =
other models (Poincare/Klein), and I'm happy to share if you think it c=
ould help in your adventures on this topic. =A0It is code for 2D geometry, =
but should be adaptable to the 3D case.



Roice


On F=
ri, Jun 8, 2012 at 12:48 AM, schuma <:mananself@gmail.com" target=3D"_blank">mananself@gmail.com> =
wrote:


x #ccc solid;padding-left:1ex">Hello,



The regular abstract polytopes based on hyperbolic tessellations {5,3,4} an=
d {4,3,5} have been mentioned by Andrey several times here. Recently I read=
more about them and found Gruenbaum talked about a polytope formed by 32 h=
emidodecahedra, which was related to {5,3,4}. It should be this one:





et=3D"_blank">http://www.abstract-polytopes.com/atlas/1920/240995/5.html>



According to this page, it has 32 cells, each of which is a hemidodecahedro=
n. It has 96 faces, 120 edges and 40 vertices. The vertex figure is an octa=
hedron (note: not hemi-octahedron). Compared with the 11-cell and the 57-ce=
ll, this 32-cell received little attention.





It has a dual, which is based on {4,3,5}:



et=3D"_blank">http://www.abstract-polytopes.com/atlas/1920/240995/2.html>



The 40 faces are cubes (not hemi-cubes). The vertex figure is a hemi-icosah=
edron.



The vertex coordinates of {4,3,5} and {5,3,4} have been computed analytical=
ly and can be found in this paper [Garner, Coordinates for Vertices of Regu=
lar Honeycombs in Hyperbolic Space,
2415373" target=3D"_blank">www.jstor.org/stable/2415373, Table 1]. This=
is of course a good news for implementation. If any one wants to see the p=
aper but has no access to Jstor please email me. The coordinates are in a M=
inkowskian space. I need to learn more hyperbolic geometry to understand th=
e model.





According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA ARISING F=
ROM HONEYCOMBS, /0012365X84900323" target=3D"_blank">http://www.sciencedirect.com/science/a=
rticle/pii/0012365X84900323
], there are more abstract polytopes based o=
n {5,3,4} and {4,3,5}. But they cannot be found in [bstract-polytopes.com/atlas/" target=3D"_blank">http://www.abstract-polytop=
es.com/atlas/
] because this atlas contains information of "small&q=
uot; polytopes with up to 2000 symmetries. Fortunately, the 32-hemidodecahe=
dral-cell and its dual, 40-cubic-cell have 1920 symmetries, which is just b=
elow the boundary. Something like 120-cell, and 57-cell etc are not there b=
ecause they are too large. But these two things can keep me excited for a w=
hile.





Nan





--f46d0401fab160dba104c1f03ad6--




From: "schuma" <mananself@gmail.com>
Date: Sun, 10 Jun 2012 22:13:16 -0000
Subject: Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



Hi all,

After learning a little bit of hyperbolic geometry, I made an applet to vis=
ualize the {5,3,4} honeycomb:

http://people.bu.edu/nanma/InsideH3/H3.html

This visualization is similar to Andrey's MHT633. Imagine that you have a s=
paceship flying in a {5,3,4} honeycomb in a hyperbolic space. Then this is =
what you will see (suppose light travels along geodesics). Dragging is to r=
otate the spaceship. Shift+up/down dragging is to drive the spaceship forwa=
rd and backward. Try navigating in this space!

Because it's just for my own education, I haven't implement the automatic e=
xtension of the tessellation when you move "outside" of the several initial=
cells. So we can drive the spaceship away from these cells and look back f=
rom outside.

In case anyone is curious, internally I'm using a hyperboloid model. Among =
the several models, I found this one intuitive for me.

Nan

--- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:
>
> Hi Nan,
>=20
> This is wonderful information, and puzzle versions definitely sound
> realizable. I do not have access to Jstor, but would love to see a copy =
of
> the paper.
>=20
> As far as the coordinates being in Minkowski space, that means they are i=
n
> the Hyperboloid Model . =
I
> have written code to go between this model and some other models
> (Poincare/Klein), and I'm happy to share if you think it could help in yo=
ur
> adventures on this topic. It is code for 2D geometry, but should be
> adaptable to the 3D case.
>=20
> Roice
>=20
>=20
> On Fri, Jun 8, 2012 at 12:48 AM, schuma wrote:
>=20
> > Hello,
> >
> > The regular abstract polytopes based on hyperbolic tessellations {5,3,4=
}
> > and {4,3,5} have been mentioned by Andrey several times here. Recently =
I
> > read more about them and found Gruenbaum talked about a polytope formed=
by
> > 32 hemidodecahedra, which was related to {5,3,4}. It should be this one=
:
> >
> > http://www.abstract-polytopes.com/atlas/1920/240995/5.html
> >
> > According to this page, it has 32 cells, each of which is a
> > hemidodecahedron. It has 96 faces, 120 edges and 40 vertices. The verte=
x
> > figure is an octahedron (note: not hemi-octahedron). Compared with the
> > 11-cell and the 57-cell, this 32-cell received little attention.
> >
> > It has a dual, which is based on {4,3,5}:
> >
> > http://www.abstract-polytopes.com/atlas/1920/240995/2.html
> >
> > The 40 faces are cubes (not hemi-cubes). The vertex figure is a
> > hemi-icosahedron.
> >
> > The vertex coordinates of {4,3,5} and {5,3,4} have been computed
> > analytically and can be found in this paper [Garner, Coordinates for
> > Vertices of Regular Honeycombs in Hyperbolic Space,
> > www.jstor.org/stable/2415373, Table 1]. This is of course a good news f=
or
> > implementation. If any one wants to see the paper but has no access to
> > Jstor please email me. The coordinates are in a Minkowskian space. I ne=
ed
> > to learn more hyperbolic geometry to understand the model.
> >
> > According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA ARISI=
NG
> > FROM HONEYCOMBS,
> > http://www.sciencedirect.com/science/article/pii/0012365X84900323], the=
re
> > are more abstract polytopes based on {5,3,4} and {4,3,5}. But they cann=
ot
> > be found in [http://www.abstract-polytopes.com/atlas/] because this atl=
as
> > contains information of "small" polytopes with up to 2000 symmetries.
> > Fortunately, the 32-hemidodecahedral-cell and its dual, 40-cubic-cell h=
ave
> > 1920 symmetries, which is just below the boundary. Something like 120-c=
ell,
> > and 57-cell etc are not there because they are too large. But these two
> > things can keep me excited for a while.
> >
> > Nan
> >
> >
> >
>




From: Melinda Green <melinda@superliminal.com>
Date: Sun, 10 Jun 2012 16:28:01 -0700
Subject: Re: [MC4D] Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



Hey, that's a really neat visualization, Nan!

It appears to be perfectly understandable given your description. It
just looks like a simple wireframe structure very much like a bunch of
soap bubbles in a foam. The distortion simply appears to be a wide-angle
view rather than a hyperbolic space. Perhaps it will be more confusing
when tiled much further but I think you have chosen a very good
projection and UI.

-Melinda

On 6/10/2012 3:13 PM, schuma wrote:
> Hi all,
>
> After learning a little bit of hyperbolic geometry, I made an applet to visualize the {5,3,4} honeycomb:
>
> http://people.bu.edu/nanma/InsideH3/H3.html
>
> This visualization is similar to Andrey's MHT633. Imagine that you have a spaceship flying in a {5,3,4} honeycomb in a hyperbolic space. Then this is what you will see (suppose light travels along geodesics). Dragging is to rotate the spaceship. Shift+up/down dragging is to drive the spaceship forward and backward. Try navigating in this space!
>
> Because it's just for my own education, I haven't implement the automatic extension of the tessellation when you move "outside" of the several initial cells. So we can drive the spaceship away from these cells and look back from outside.
>
> In case anyone is curious, internally I'm using a hyperboloid model. Among the several models, I found this one intuitive for me.
>
> Nan
>
> --- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:
>> Hi Nan,
>>
>> This is wonderful information, and puzzle versions definitely sound
>> realizable. I do not have access to Jstor, but would love to see a copy of
>> the paper.
>>
>> As far as the coordinates being in Minkowski space, that means they are in
>> the Hyperboloid Model. I
>> have written code to go between this model and some other models
>> (Poincare/Klein), and I'm happy to share if you think it could help in your
>> adventures on this topic. It is code for 2D geometry, but should be
>> adaptable to the 3D case.
>>
>> Roice
>>
>>
>> On Fri, Jun 8, 2012 at 12:48 AM, schuma wrote:
>>
>>> Hello,
>>>
>>> The regular abstract polytopes based on hyperbolic tessellations {5,3,4}
>>> and {4,3,5} have been mentioned by Andrey several times here. Recently I
>>> read more about them and found Gruenbaum talked about a polytope formed by
>>> 32 hemidodecahedra, which was related to {5,3,4}. It should be this one:
>>>
>>> http://www.abstract-polytopes.com/atlas/1920/240995/5.html
>>>
>>> According to this page, it has 32 cells, each of which is a
>>> hemidodecahedron. It has 96 faces, 120 edges and 40 vertices. The vertex
>>> figure is an octahedron (note: not hemi-octahedron). Compared with the
>>> 11-cell and the 57-cell, this 32-cell received little attention.
>>>
>>> It has a dual, which is based on {4,3,5}:
>>>
>>> http://www.abstract-polytopes.com/atlas/1920/240995/2.html
>>>
>>> The 40 faces are cubes (not hemi-cubes). The vertex figure is a
>>> hemi-icosahedron.
>>>
>>> The vertex coordinates of {4,3,5} and {5,3,4} have been computed
>>> analytically and can be found in this paper [Garner, Coordinates for
>>> Vertices of Regular Honeycombs in Hyperbolic Space,
>>> www.jstor.org/stable/2415373, Table 1]. This is of course a good news for
>>> implementation. If any one wants to see the paper but has no access to
>>> Jstor please email me. The coordinates are in a Minkowskian space. I need
>>> to learn more hyperbolic geometry to understand the model.
>>>
>>> According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA ARISING
>>> FROM HONEYCOMBS,
>>> http://www.sciencedirect.com/science/article/pii/0012365X84900323], there
>>> are more abstract polytopes based on {5,3,4} and {4,3,5}. But they cannot
>>> be found in [http://www.abstract-polytopes.com/atlas/] because this atlas
>>> contains information of "small" polytopes with up to 2000 symmetries.
>>> Fortunately, the 32-hemidodecahedral-cell and its dual, 40-cubic-cell have
>>> 1920 symmetries, which is just below the boundary. Something like 120-cell,
>>> and 57-cell etc are not there because they are too large. But these two
>>> things can keep me excited for a while.
>>>
>>> Nan
>>>
>>>
>>>
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>
>




From: "schuma" <mananself@gmail.com>
Date: Mon, 11 Jun 2012 19:24:30 -0000
Subject: Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



Thanks!

I'm computing the coordinates of {5,3,5} now. In Coxeter's [The Beauty of G=
eometry: Twelve Essays (Chapter 10, Regular Honeycombs in Hyperbolic Space)=
]
there's a summary table for some parameters for the tessellations. I don't =
have access to this book online (google book has it, but the scan was not c=
lear enough, I can't even read some numbers). So I went to the library and =
took a few photos of the table.

http://games.groups.yahoo.com/group/4D_Cubing/files/Nan%20Ma/Coxeter1.JPG=20
http://games.groups.yahoo.com/group/4D_Cubing/files/Nan%20Ma/Coxeter2.JPG=20
http://games.groups.yahoo.com/group/4D_Cubing/files/Nan%20Ma/Coxeter3.JPG=20

I'm sharing these numbers because they're useful and hard to find online.=20

As explained in Coxeter1.JPG, 2*phi is the edge length of the honeycomb. Th=
e expressions for phi turns out to be pretty useful when calculating the co=
ordinates of vertices. It's not very hard to derive but it's convenient if =
we have them. In Garner (1966, a paper I mentioned earlier in this thread),=
he cited [Coxeter, 1954] for the edge length. Chapter 10 of the "Twelve Es=
says" is nothing but a reprint of the 1954 paper. So Garner was actually ci=
ting this exact table.=20

Nan

--- In 4D_Cubing@yahoogroups.com, Melinda Green wrote:
>
> Hey, that's a really neat visualization, Nan!
>=20
> It appears to be perfectly understandable given your description. It=20
> just looks like a simple wireframe structure very much like a bunch of=20
> soap bubbles in a foam. The distortion simply appears to be a wide-angle=
=20
> view rather than a hyperbolic space. Perhaps it will be more confusing=20
> when tiled much further but I think you have chosen a very good=20
> projection and UI.
>=20
> -Melinda
>=20
> On 6/10/2012 3:13 PM, schuma wrote:
> > Hi all,
> >
> > After learning a little bit of hyperbolic geometry, I made an applet to=
visualize the {5,3,4} honeycomb:
> >
> > http://people.bu.edu/nanma/InsideH3/H3.html
> >
> > This visualization is similar to Andrey's MHT633. Imagine that you have=
a spaceship flying in a {5,3,4} honeycomb in a hyperbolic space. Then this=
is what you will see (suppose light travels along geodesics). Dragging is =
to rotate the spaceship. Shift+up/down dragging is to drive the spaceship f=
orward and backward. Try navigating in this space!
> >
> > Because it's just for my own education, I haven't implement the automat=
ic extension of the tessellation when you move "outside" of the several ini=
tial cells. So we can drive the spaceship away from these cells and look ba=
ck from outside.
> >
> > In case anyone is curious, internally I'm using a hyperboloid model. Am=
ong the several models, I found this one intuitive for me.
> >
> > Nan
> >
> > --- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:
> >> Hi Nan,
> >>
> >> This is wonderful information, and puzzle versions definitely sound
> >> realizable. I do not have access to Jstor, but would love to see a co=
py of
> >> the paper.
> >>
> >> As far as the coordinates being in Minkowski space, that means they ar=
e in
> >> the Hyperboloid Model.=
I
> >> have written code to go between this model and some other models
> >> (Poincare/Klein), and I'm happy to share if you think it could help in=
your
> >> adventures on this topic. It is code for 2D geometry, but should be
> >> adaptable to the 3D case.
> >>
> >> Roice
> >>
> >>
> >> On Fri, Jun 8, 2012 at 12:48 AM, schuma wrote:
> >>
> >>> Hello,
> >>>
> >>> The regular abstract polytopes based on hyperbolic tessellations {5,3=
,4}
> >>> and {4,3,5} have been mentioned by Andrey several times here. Recentl=
y I
> >>> read more about them and found Gruenbaum talked about a polytope form=
ed by
> >>> 32 hemidodecahedra, which was related to {5,3,4}. It should be this o=
ne:
> >>>
> >>> http://www.abstract-polytopes.com/atlas/1920/240995/5.html
> >>>
> >>> According to this page, it has 32 cells, each of which is a
> >>> hemidodecahedron. It has 96 faces, 120 edges and 40 vertices. The ver=
tex
> >>> figure is an octahedron (note: not hemi-octahedron). Compared with th=
e
> >>> 11-cell and the 57-cell, this 32-cell received little attention.
> >>>
> >>> It has a dual, which is based on {4,3,5}:
> >>>
> >>> http://www.abstract-polytopes.com/atlas/1920/240995/2.html
> >>>
> >>> The 40 faces are cubes (not hemi-cubes). The vertex figure is a
> >>> hemi-icosahedron.
> >>>
> >>> The vertex coordinates of {4,3,5} and {5,3,4} have been computed
> >>> analytically and can be found in this paper [Garner, Coordinates for
> >>> Vertices of Regular Honeycombs in Hyperbolic Space,
> >>> www.jstor.org/stable/2415373, Table 1]. This is of course a good news=
for
> >>> implementation. If any one wants to see the paper but has no access t=
o
> >>> Jstor please email me. The coordinates are in a Minkowskian space. I =
need
> >>> to learn more hyperbolic geometry to understand the model.
> >>>
> >>> According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA ARI=
SING
> >>> FROM HONEYCOMBS,
> >>> http://www.sciencedirect.com/science/article/pii/0012365X84900323], t=
here
> >>> are more abstract polytopes based on {5,3,4} and {4,3,5}. But they ca=
nnot
> >>> be found in [http://www.abstract-polytopes.com/atlas/] because this a=
tlas
> >>> contains information of "small" polytopes with up to 2000 symmetries.
> >>> Fortunately, the 32-hemidodecahedral-cell and its dual, 40-cubic-cell=
have
> >>> 1920 symmetries, which is just below the boundary. Something like 120=
-cell,
> >>> and 57-cell etc are not there because they are too large. But these t=
wo
> >>> things can keep me excited for a while.
> >>>
> >>> Nan
> >>>
> >>>
> >>>
> >
> >
> > ------------------------------------
> >
> > Yahoo! Groups Links
> >
> >
> >
> >
>




From: "schuma" <mananself@gmail.com>
Date: Tue, 12 Jun 2012 18:04:07 -0000
Subject: Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



Hi,

{4,3,5} and {5,3,5} are online now, at the same address:

http://people.bu.edu/nanma/InsideH3/H3.html

These two honeycombs with the icosahedral vertex figure seems less intuitiv=
e than {5,3,4}.

Nan

> --- In 4D_Cubing@yahoogroups.com, Melinda Green wrote:
> >
> > Hey, that's a really neat visualization, Nan!
> >=20
> > It appears to be perfectly understandable given your description. It=20
> > just looks like a simple wireframe structure very much like a bunch of=
=20
> > soap bubbles in a foam. The distortion simply appears to be a wide-angl=
e=20
> > view rather than a hyperbolic space. Perhaps it will be more confusing=
=20
> > when tiled much further but I think you have chosen a very good=20
> > projection and UI.
> >=20
> > -Melinda
> >=20
> > On 6/10/2012 3:13 PM, schuma wrote:
> > > Hi all,
> > >
> > > After learning a little bit of hyperbolic geometry, I made an applet =
to visualize the {5,3,4} honeycomb:
> > >
> > > http://people.bu.edu/nanma/InsideH3/H3.html
> > >
> > > This visualization is similar to Andrey's MHT633. Imagine that you ha=
ve a spaceship flying in a {5,3,4} honeycomb in a hyperbolic space. Then th=
is is what you will see (suppose light travels along geodesics). Dragging i=
s to rotate the spaceship. Shift+up/down dragging is to drive the spaceship=
forward and backward. Try navigating in this space!
> > >
> > > Because it's just for my own education, I haven't implement the autom=
atic extension of the tessellation when you move "outside" of the several i=
nitial cells. So we can drive the spaceship away from these cells and look =
back from outside.
> > >
> > > In case anyone is curious, internally I'm using a hyperboloid model. =
Among the several models, I found this one intuitive for me.
> > >
> > > Nan
> > >
> > > --- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:
> > >> Hi Nan,
> > >>
> > >> This is wonderful information, and puzzle versions definitely sound
> > >> realizable. I do not have access to Jstor, but would love to see a =
copy of
> > >> the paper.
> > >>
> > >> As far as the coordinates being in Minkowski space, that means they =
are in
> > >> the Hyperboloid Model>. I
> > >> have written code to go between this model and some other models
> > >> (Poincare/Klein), and I'm happy to share if you think it could help =
in your
> > >> adventures on this topic. It is code for 2D geometry, but should be
> > >> adaptable to the 3D case.
> > >>
> > >> Roice
> > >>
> > >>
> > >> On Fri, Jun 8, 2012 at 12:48 AM, schuma wrote:
> > >>
> > >>> Hello,
> > >>>
> > >>> The regular abstract polytopes based on hyperbolic tessellations {5=
,3,4}
> > >>> and {4,3,5} have been mentioned by Andrey several times here. Recen=
tly I
> > >>> read more about them and found Gruenbaum talked about a polytope fo=
rmed by
> > >>> 32 hemidodecahedra, which was related to {5,3,4}. It should be this=
one:
> > >>>
> > >>> http://www.abstract-polytopes.com/atlas/1920/240995/5.html
> > >>>
> > >>> According to this page, it has 32 cells, each of which is a
> > >>> hemidodecahedron. It has 96 faces, 120 edges and 40 vertices. The v=
ertex
> > >>> figure is an octahedron (note: not hemi-octahedron). Compared with =
the
> > >>> 11-cell and the 57-cell, this 32-cell received little attention.
> > >>>
> > >>> It has a dual, which is based on {4,3,5}:
> > >>>
> > >>> http://www.abstract-polytopes.com/atlas/1920/240995/2.html
> > >>>
> > >>> The 40 faces are cubes (not hemi-cubes). The vertex figure is a
> > >>> hemi-icosahedron.
> > >>>
> > >>> The vertex coordinates of {4,3,5} and {5,3,4} have been computed
> > >>> analytically and can be found in this paper [Garner, Coordinates fo=
r
> > >>> Vertices of Regular Honeycombs in Hyperbolic Space,
> > >>> www.jstor.org/stable/2415373, Table 1]. This is of course a good ne=
ws for
> > >>> implementation. If any one wants to see the paper but has no access=
to
> > >>> Jstor please email me. The coordinates are in a Minkowskian space. =
I need
> > >>> to learn more hyperbolic geometry to understand the model.
> > >>>
> > >>> According to Colbourn and Weiss [A CENSUS OF REGULAR 3-POLYSTROMA A=
RISING
> > >>> FROM HONEYCOMBS,
> > >>> http://www.sciencedirect.com/science/article/pii/0012365X84900323],=
there
> > >>> are more abstract polytopes based on {5,3,4} and {4,3,5}. But they =
cannot
> > >>> be found in [http://www.abstract-polytopes.com/atlas/] because this=
atlas
> > >>> contains information of "small" polytopes with up to 2000 symmetrie=
s.
> > >>> Fortunately, the 32-hemidodecahedral-cell and its dual, 40-cubic-ce=
ll have
> > >>> 1920 symmetries, which is just below the boundary. Something like 1=
20-cell,
> > >>> and 57-cell etc are not there because they are too large. But these=
two
> > >>> things can keep me excited for a while.
> > >>>
> > >>> Nan
> > >>>
> > >>>
> > >>>
> > >
> > >
> > > ------------------------------------
> > >
> > > Yahoo! Groups Links
> > >
> > >
> > >
> > >
> >
>




From: Roice Nelson <roice3@gmail.com>
Date: Tue, 12 Jun 2012 15:04:24 -0500
Subject: Re: [MC4D] Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



--f46d040890c722385504c24bf92d
Content-Type: text/plain; charset=ISO-8859-1

Really nice Nan. It's instructive to be able to switch between these three
honeycombs. It's a great applet, which I'll definitely share with
others as I have the chance!

Of these three, I think I'd most like to see a puzzle based on the {4,3,5}
- perhaps with topological rather than purely geometric slicing, done in a
way to make it feel MC4D-like.

There's only one suggestion I have. Some of the thick lines can be covered
by thin lines behind them, so it seems there is a z-ordering problem. In
OpenGL, the depth buffer does all the work for you, but I don't imagine the
drawing framework you are working with has something like this. It can be
a difficult problem, and you may decide it's not worth the effort to
address, but I thought I'd mention it.

Best,
Roice

On Tue, Jun 12, 2012 at 1:04 PM, schuma wrote:

> Hi,
>
> {4,3,5} and {5,3,5} are online now, at the same address:
>
> http://people.bu.edu/nanma/InsideH3/H3.html
>
> These two honeycombs with the icosahedral vertex figure seems less
> intuitive than {5,3,4}.
>
> Nan
>
>

--f46d040890c722385504c24bf92d
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Really nice Nan.=A0 It's instructive to be able to switch between =
these three honeycombs.=A0 It's a great applet, which I'll definite=
ly share with others=A0as I have the chance!=A0
=A0
Of=
these three, I think I'd most like to see a puzzle based on the {4,3,5=
} - perhaps with topological rather than purely geometric slicing, done in =
a way to make it feel MC4D-like.

=A0
There's only one suggestion I have.=A0 Some of the t=
hick lines can be covered by thin lines behind them, so it seems there is a=
z-ordering problem.=A0 In OpenGL, the depth buffer does all the work for y=
ou, but I don't imagine the drawing framework you are working with has =
something like this.=A0 It can be a difficult problem, and you may decide i=
t's not worth the effort to address, but I thought I'd mention it.<=
/div>
=A0
Best,
Roice

uote">On Tue, Jun 12, 2012 at 1:04 PM, schuma <=3D"mailto:mananself@gmail.com" target=3D"_blank">mananself@gmail.com&g=
t;
wrote:

color:rgb(204,204,204);border-left-width:1px;border-left-style:solid" class=
=3D"gmail_quote">Hi,



{4,3,5} and {5,3,5} are online now, at the same address:



h=
ttp://people.bu.edu/nanma/InsideH3/H3.html




These two honeycombs with the icosahedral vertex figure seems less intuitiv=
e than {5,3,4}.



Nan

=A0


--f46d040890c722385504c24bf92d--




From: "schuma" <mananself@gmail.com>
Date: Wed, 13 Jun 2012 05:51:59 -0000
Subject: Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



Thanks. I've added Z-ordering to correctly draw the edges. I just copied so=
me code from the 5-tetrahedral compound.

For some reason I forgot about {3,5,3}. Maybe it's because I've made an 11-=
cell. I'll try to include it into this applet to make it "complete", in the=
sense that it includes all the regular honeycombs of H3 with finite cells =
and vertex figures.

At some point I'll write down the coordinates of these things to document t=
hem.

Nan

--- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:
>
> Really nice Nan. It's instructive to be able to switch between these thr=
ee
> honeycombs. It's a great applet, which I'll definitely share with
> others as I have the chance!
>=20
> Of these three, I think I'd most like to see a puzzle based on the {4,3,5=
}
> - perhaps with topological rather than purely geometric slicing, done in =
a
> way to make it feel MC4D-like.
>=20
> There's only one suggestion I have. Some of the thick lines can be cover=
ed
> by thin lines behind them, so it seems there is a z-ordering problem. In
> OpenGL, the depth buffer does all the work for you, but I don't imagine t=
he
> drawing framework you are working with has something like this. It can b=
e
> a difficult problem, and you may decide it's not worth the effort to
> address, but I thought I'd mention it.
>=20
> Best,
> Roice
>=20
> On Tue, Jun 12, 2012 at 1:04 PM, schuma wrote:
>=20
> > Hi,
> >
> > {4,3,5} and {5,3,5} are online now, at the same address:
> >
> > http://people.bu.edu/nanma/InsideH3/H3.html
> >
> > These two honeycombs with the icosahedral vertex figure seems less
> > intuitive than {5,3,4}.
> >
> > Nan
> >
> >
>




From: "schuma" <mananself@gmail.com>
Date: Thu, 14 Jun 2012 00:26:51 -0000
Subject: Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



The {3,5,3} has been added last night.

I was also thinking of adding "navigating inside 3-sphere" to the 3-hyperbo=
lic space, where we can see, for example, the spherical hypercube when we a=
re inside the 3-sphere. Then I found this playlist on youtube, showing the =
120-cell, 600-cell and 24-cell in this way.

http://www.youtube.com/watch?v=3D_RCAlhVlsWY&feature=3Dbf_prev&list=3DPL09D=
F17B94CA3C6FD

An interesting phenomenon is the retracting red edges. They just come when =
you assume light travels along the great circles of the hypersphere. Ideall=
y, if there's no limit of sight, you can see your back no matter which dire=
ction you are looking at, because light can travel a circle to your eyes. I=
really wonder what it means by saying "I can see myself in each direction"=
. Does anyone have an idea?

Given that these videos exist, should I include the regular spherical polyt=
opes in my applet?

Nan

--- In 4D_Cubing@yahoogroups.com, "schuma" wrote:
>
> Thanks. I've added Z-ordering to correctly draw the edges. I just copied =
some code from the 5-tetrahedral compound.
>=20
> For some reason I forgot about {3,5,3}. Maybe it's because I've made an 1=
1-cell. I'll try to include it into this applet to make it "complete", in t=
he sense that it includes all the regular honeycombs of H3 with finite cell=
s and vertex figures.
>=20
> At some point I'll write down the coordinates of these things to document=
them.
>=20
> Nan
>=20
> --- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:
> >
> > Really nice Nan. It's instructive to be able to switch between these t=
hree
> > honeycombs. It's a great applet, which I'll definitely share with
> > others as I have the chance!
> >=20
> > Of these three, I think I'd most like to see a puzzle based on the {4,3=
,5}
> > - perhaps with topological rather than purely geometric slicing, done i=
n a
> > way to make it feel MC4D-like.
> >=20
> > There's only one suggestion I have. Some of the thick lines can be cov=
ered
> > by thin lines behind them, so it seems there is a z-ordering problem. =
In
> > OpenGL, the depth buffer does all the work for you, but I don't imagine=
the
> > drawing framework you are working with has something like this. It can=
be
> > a difficult problem, and you may decide it's not worth the effort to
> > address, but I thought I'd mention it.
> >=20
> > Best,
> > Roice
> >=20
> > On Tue, Jun 12, 2012 at 1:04 PM, schuma wrote:
> >=20
> > > Hi,
> > >
> > > {4,3,5} and {5,3,5} are online now, at the same address:
> > >
> > > http://people.bu.edu/nanma/InsideH3/H3.html
> > >
> > > These two honeycombs with the icosahedral vertex figure seems less
> > > intuitive than {5,3,4}.
> > >
> > > Nan
> > >
> > >
> >
>




From: Roice Nelson <roice3@gmail.com>
Date: Wed, 13 Jun 2012 20:36:56 -0500
Subject: Re: [MC4D] Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



--bcaec552398028c04904c264bcb3
Content-Type: text/plain; charset=ISO-8859-1

Hi Nan,

I like the {3,5,3}. That's a lot of edges going into each vertex!

There is a fantastic two page explanation about what the world would look
like from inside S3 in Thurston's book "Three Dimensional Geometry and
Topology".
The section is "Example 1.4.2 (the three-sphere from inside)", and can be
read in isolation. He uses dimensional analogy to provide intuition on
your question about seeing yourself in each direction. He leads you up to
this:

In the background of everything else, you see an image of yourself, turned
> inside out on a great hollow sphere, wih the back of your head in front of
> you.


You can read the section on google
books
(starts
on page 32). Do check it out! After rereading it just now, I suspect the
youtube video you sent has some inaccuracies when it comes to how edge
thicknesses are displayed.

Also, I should have thought to mention this earlier as well, but check out
geometrygames.org, specifically the "CurvedSpaces" program. It will let
you navigate through spherical and hyperbolic spaces, from inside the space.

Even though there are existing youtube videos and programs, S3 would still
be a nice addition to your applet. It's great to be able to run this stuff
right on a web page, without anything to install.

Cheers,
Roice


On Wed, Jun 13, 2012 at 7:26 PM, schuma wrote:

> The {3,5,3} has been added last night.
>
> I was also thinking of adding "navigating inside 3-sphere" to the
> 3-hyperbolic space, where we can see, for example, the spherical hypercube
> when we are inside the 3-sphere. Then I found this playlist on youtube,
> showing the 120-cell, 600-cell and 24-cell in this way.
>
>
> http://www.youtube.com/watch?v=_RCAlhVlsWY&feature=bf_prev&list=PL09DF17B94CA3C6FD
>
> An interesting phenomenon is the retracting red edges. They just come when
> you assume light travels along the great circles of the hypersphere.
> Ideally, if there's no limit of sight, you can see your back no matter
> which direction you are looking at, because light can travel a circle to
> your eyes. I really wonder what it means by saying "I can see myself in
> each direction". Does anyone have an idea?
>
> Given that these videos exist, should I include the regular spherical
> polytopes in my applet?
>
> Nan
>
>

--bcaec552398028c04904c264bcb3
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hi Nan,


I like the {3,5,3}. =A0That's a lot of edges=
going into each vertex!

There is a fantastic two =
page explanation about what the world would look like from inside S3 in Thu=
rston's book "45/ref=3Das_li_ss_tl?ie=3DUTF8&tag=3Dgravit-20&linkCode=3Das2&c=
amp=3D1789&creative=3D390957&creativeASIN=3D0691083045" target=3D"_=
blank">Three Dimensional Geometry and Topology
". =A0The section is=
"Example 1.4.2 (the three-sphere from inside)", and=A0can be rea=
d in isolation. =A0He uses dimensional analogy to provide intuition on your=
question about seeing yourself in each direction. =A0He leads you up to th=
is:

x 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-lef=
t-style:solid;padding-left:1ex">In the background of everything else, you s=
ee an image of yourself, turned inside out on a great hollow sphere, wih th=
e back of your head in front of you.



You can read the section on gle.com/books?id=3D9kkuP3lsEFQC&lpg=3DPP1&dq=3Dthree%20dimensional%=
20geometry%20and%20topology&pg=3DPA32#v=3Dsnippet&q=3Dthree-sphere%=
20&f=3Dfalse" target=3D"_blank">google books
=A0(starts on page 32).=
=A0Do check it out! =A0After rereading it just now, I suspect the youtube =
video you sent has some inaccuracies when it comes to how edge thicknesses =
are displayed.


Also, I should have thought to mention this earlier as =
well, but check out =
geometrygames.org
, specifically the "CurvedSpaces" program. =
=A0It will let you navigate through spherical and hyperbolic spaces, from i=
nside the space.


Even though there are existing youtube videos and progr=
ams, S3 would still be a nice addition to your applet. =A0It's great to=
be able to run this stuff right on a web page, without anything to install=
.


Cheers,
Roice






--bcaec552398028c04904c264bcb3--




From: "schuma" <mananself@gmail.com>
Date: Thu, 14 Jun 2012 02:12:28 -0000
Subject: [MC4D] Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



--3-8524445615-5522203689=:3
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Nice explanation!
The space is so weird. The light rays first diverge, pass the equator
and then converge. This is what a lens does to the light rays. So, in
optical terminology, it's fair to say that the space acts like a lens,
which creates an image of someone near the antipode as if he/she's in
front of you. Some curved physical space do behave like a lens, for
example the space around a massive star, or black hole, can create
images (gravitational lens)
.
"Myself turned inside out". This reminds me of an episode of Futurama,
in which Bender turns himself inside out so that the universe outside of
the "cave" is "inside" him. This video clip can be watched here:
arnsworths>
Nan
--- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:>> Hi
Nan,> > I like the {3,5,3}. That's a lot of edges going into each
vertex!> > There is a fantastic two page explanation about what the
world would look> like from inside S3 in Thurston's book "Three
Dimensional Geometry and>
Topology=3D\
UTF8&tag=3Dgravit-20&linkCode=3Das2&camp=3D1789&creative=3D390957&creativeA=
SIN=3D0\
691083045>".> The section is "Example 1.4.2 (the three-sphere from
inside)", and can be> read in isolation. He uses dimensional analogy to
provide intuition on> your question about seeing yourself in each
direction. He leads you up to> this:> > In the background of everything
else, you see an image of yourself, turned> > inside out on a great
hollow sphere, wih the back of your head in front of> > you.> > > You
can read the section on google>
books20d\
imensional%20geometry%20and%20topology&pg=3DPA32#v=3Dsnippet&q=3Dthree-sphe=
re%\
20&f=3Dfalse>> (starts> on page 32). Do check it out! After rereading it
just now, I suspect the> youtube video you sent has some inaccuracies
when it comes to how edge> thicknesses are displayed.> > Also, I should
have thought to mention this earlier as well, but check out>
geometrygames.org, specifically the "CurvedSpaces" program. It will
let> you navigate through spherical and hyperbolic spaces, from inside
the space.> > Even though there are existing youtube videos and
programs, S3 would still> be a nice addition to your applet. It's great
to be able to run this stuff> right on a web page, without anything to
install.> > Cheers,> Roice>=20

--3-8524445615-5522203689=:3
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Nice explanation! 

The space is so weird=
. The light rays first diverge, pass the equator and then converge. This is=
what a lens does to the light rays. So, in optical terminology, it's fair =
to say that the space acts like a lens, which creates an image of someone n=
ear the antipode as if he/she's in front of you. Some curved physical space=
do behave like a lens, for example the space around a massive star, or bla=
ck hole, can create images
ional_lens">(gravitational lens).

"Myself turn=
ed inside out". This reminds me of an episode of Futurama, in which Bender =
turns himself inside out so that the universe outside of the "cave" is "ins=
ide" him. This video clip can be watched here:

<=
;http://www.comedycentral.com/video-clips/p2ztps/futurama-trial-of-the-farn=
sworths>

Nan

--- In 4D=
_Cubing@yahoogroups.com, Roice Nelson <roice3@...> wrote:
&=
gt;
> Hi Nan,
> I like the {=
3,5,3}.  That's a lot of edges going into each vertex!
>&=
nbsp;
> There is a fantastic two page explanation about what t=
he world would look
> like from inside S3 in Thurston's book "=
Three Dimensional Geometry and
> Topology<http://www.amazon=
.com/gp/product/0691083045/ref=3Das_li_ss_tl?ie=3DUTF8&tag=3Dgravit-20&=
amp;linkCode=3Das2&camp=3D1789&creative=3D390957&creativeASIN=
=3D0691083045>".
>  The section is "Example 1.4.2 (the=
three-sphere from inside)", and can be
> read in isolation. &=
nbsp;He uses dimensional analogy to provide intuition on
> you=
r question about seeing yourself in each direction.  He leads you up t=
o
> this:
> In the backgroun=
d of everything else, you see an image of yourself, turned
> &=
gt; inside out on a great hollow sphere, wih the back of your head in front=
of
> > you.
> >
> You can read the section on google
> books<http:=
//books.google.com/books?id=3D9kkuP3lsEFQC&lpg=3DPP1&dq=3Dthree%20d=
imensional%20geometry%20and%20topology&pg=3DPA32#v=3Dsnippet&q=3Dth=
ree-sphere%20&f=3Dfalse>
> (starts
> on pa=
ge 32).  Do check it out!  After rereading it just now, I suspect=
the
> youtube video you sent has some inaccuracies when it co=
mes to how edge
> thicknesses are displayed.
>&nb=
sp;
> Also, I should have thought to mention this earlier as w=
ell, but check out
> geometrygames.org, specifically the "Curv=
edSpaces" program.  It will let
> you navigate through sp=
herical and hyperbolic spaces, from inside the space.
> <=
/div>
> Even though there are existing youtube videos and programs, =
S3 would still
> be a nice addition to your applet.  It's=
great to be able to run this stuff
> right on a web page, wit=
hout anything to install.
> Cheers,
=
> Roice



--3-8524445615-5522203689=:3--




From: "schuma" <mananself@gmail.com>
Date: Fri, 15 Jun 2012 05:14:50 -0000
Subject: [MC4D] Re: Regular abstract polytopes based on {5,3,4} and {4,3,5}



--8-4862291619-4005231168=:2
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hi guys,
I've added the six spherical polytopes (platonic solids), and the
trivial cubic tessellation in Euclidean space, to the applet
. The polytope/honeycombs
are arranged in a table.
The natural next step is to understand the tessellations with infinite
cells and vertex figures, like {6,3,3}.
Nan
> --- In 4D_Cubing@yahoogroups.com, Roice Nelson wrote:>> Hi>
> Even though there are existing youtube videos and> programs, S3 would
still> be a nice addition to your applet. It's great> to be able to run
this stuff> right on a web page, without anything to> install.> >
Cheers,> Roice>>


--8-4862291619-4005231168=:2
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hi guys,

I've added the six spherical polytop=
es (platonic solids), and the trivial cubic tessellation in Euclidean space=
, to the apple=
t
. The polytope/honeycombs are arranged in a table. 
>
The natural next step is to understand the tessellations with i=
nfinite cells and vertex figures, like {6,3,3}. 

<=
div>Nan

> --- In 4D_Cubing@yahoogroups.com, Roi=
ce Nelson <roice3@> wrote:>> Hi
> > Even though=
there are existing youtube videos and
> programs, S3 would st=
ill> be a nice addition to your applet.  It's great
> =
to be able to run this stuff> right on a web page, without anything todiv>
> install.> > Cheers,> Roice>
>
<=
div>



--8-4862291619-4005231168=:2--





Return to MagicCube4D main page
Return to the Superliminal home page