CRFs containing J12

Discussion of known convex regular-faced polytopes, including the Johnson solids in 3D, and higher dimensions; and the discovery of new ones.

CRFs containing J12

Postby quickfur » Fri Apr 11, 2014 3:50 pm

Recently I've been trying -- so far unsuccessfully -- to construct a CRF containing J12 (trigonal bipyramid) as cells. The only one I could find is the trivial J12 prism; all other constructions don't seem to work out.

Does anyone know of a 4D CRF that has a 90° dichoral angle between a tetrahedron and some other cell? If so, we might be able to glue two of them together at that other cell to make J12 from the tetrahedra. I can't think of any, though, except the tetrahedral prism, which just gives the J12 prism.

Interestingly enough, if we glue two tetrahedral prisms in a gyrated orientation, we get that segmentotope that's a 4D analogue of the gyrobifastigium (I was trying to find the post with my renders of it but the search function in phpBB is rather crippled :(). I believe it was something like triangular_prism||digon or something to that effect.

Another route is to augment the J12 prism, but I think the dichoral angles of the triangular prisms are too big to fit a triangular prism pyramid augment without becoming non-convex. :\

Any other ideas?
quickfur
Pentonian
 
Posts: 2935
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: CRFs containing J12

Postby Keiji » Fri Apr 11, 2014 6:50 pm

quickfur wrote:Interestingly enough, if we glue two tetrahedral prisms in a gyrated orientation, we get that segmentotope that's a 4D analogue of the gyrobifastigium (I was trying to find the post with my renders of it but the search function in phpBB is rather crippled :(). I believe it was something like triangular_prism||digon or something to that effect.

Do you mean the gyrated octahedral prism?
User avatar
Keiji
Administrator
 
Posts: 1984
Joined: Mon Nov 10, 2003 6:33 pm
Location: Torquay, England

Re: CRFs containing J12

Postby quickfur » Fri Apr 11, 2014 7:20 pm

Ah yes, that's the one. Thanks!

EDIT: Ah but wait, that doesn't produce the J12 prism at all. I must've confused the two. :oops: This is a different kind of gyrobifastigium, made from gluing two tetrahedral prisms together in gyro orientation. :D
quickfur
Pentonian
 
Posts: 2935
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: CRFs containing J12

Postby Klitzing » Fri Apr 11, 2014 9:26 pm

quickfur wrote:Recently I've been trying -- so far unsuccessfully -- to construct a CRF containing J12 (trigonal bipyramid) as cells. The only one I could find is the trivial J12 prism; all other constructions don't seem to work out.

Does anyone know of a 4D CRF that has a 90° dichoral angle between a tetrahedron and some other cell? If so, we might be able to glue two of them together at that other cell to make J12 from the tetrahedra. I can't think of any, though, except the tetrahedral prism, which just gives the J12 prism.

[...]

Any other ideas?


I've just scanned all my dihedral angle values contained within my incmats. There is indeed so far no such angle at a {3} with coincident tet, which has a value of 90 degrees (except of the trivial one, you mentioned).

The only case, where tridpy (J12) occurs so far, is ditoh, a euclidean honeycomb.

--- rk
Klitzing
Pentonian
 
Posts: 1637
Joined: Sun Aug 19, 2012 11:16 am
Location: Heidenheim, Germany

Re: CRFs containing J12

Postby quickfur » Fri Apr 11, 2014 11:13 pm

Hmm. Does this mean that the J12 prism is the only CRF that contains J12 as cells? (Besides the honeycomb, that is.)

If so, that may serve as an example that may give us a way to determine which CRF constructions are impossible. There are a number of topological possibilities I've considered, involving J12, but the edge lengths and dichoral angles don't work out to be CRF. It appears that there's some kind of restriction on CRF possibilities imposed by the equatorial dihedral angles of J12, that make it either very hard, or impossible, to build a CRF out of it. This is quite surprising to me, since the tetrahedron itself appears almost in every CRF in many different situations, yet J12 hardly appears anywhere!

If it's possible to make a CRF out of J12 (other than the prism), I suspect it will have to be a CVP 3 polytope.
quickfur
Pentonian
 
Posts: 2935
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: CRFs containing J12

Postby Klitzing » Sat Apr 12, 2014 7:40 am

quickfur wrote:Hmm. Does this mean that the J12 prism is the only CRF that contains J12 as cells? (Besides the honeycomb, that is.)


No, not at all. It just tells, that we haven't found one so far.
But that again tells, that it would not be so easy to get one, I fear. :lol:

--- rk
Klitzing
Pentonian
 
Posts: 1637
Joined: Sun Aug 19, 2012 11:16 am
Location: Heidenheim, Germany

Re: CRFs containing J12

Postby Polyhedron Dude » Sat Apr 12, 2014 8:25 am

Klitzing wrote:No, not at all. It just tells, that we haven't found one so far.
But that again tells, that it would not be so easy to get one, I fear. :lol:

--- rk


I know this all too well - I was once trying to find uniform polychora with gidrids (Miller's monster) for cells - but all I could find was the prism of it. Although I did get lucky with sirsid and seside and found rapsady.
Whale Kumtu Dedge Ungol.
Polyhedron Dude
Trionian
 
Posts: 196
Joined: Sat Nov 08, 2003 7:02 am
Location: Texas

Re: CRFs containing J12

Postby wendy » Sat Apr 12, 2014 10:57 am

J12 sounds like oxo3ooo&#t. I'll play around with it to see if i can find anything interesting, although don't hold one's breath.
The dream you dream alone is only a dream
the dream we dream together is reality.

\ ( \(\LaTeX\ \) \ ) [no spaces] at https://greasyfork.org/en/users/188714-wendy-krieger
User avatar
wendy
Pentonian
 
Posts: 2014
Joined: Tue Jan 18, 2005 12:42 pm
Location: Brisbane, Australia

Re: CRFs containing J12

Postby Keiji » Tue Apr 15, 2014 6:19 am

Hmm...

Obviously J12 pyramid is not CRF since J12 is not orbiform.

But, how about these possibilities:

J12 || digon
J12 || J14 (Elongated triangular bipyramid)
J12 || J27 (Triangular orthobicupola)
J12 || J35 (Elongated triangular orthobicupola)
User avatar
Keiji
Administrator
 
Posts: 1984
Joined: Mon Nov 10, 2003 6:33 pm
Location: Torquay, England

Re: CRFs containing J12

Postby Klitzing » Tue Apr 15, 2014 12:12 pm

Keiji, the main problem here always is, to establish that the lacing cells shall not get sheered.

E.g. in your first case, line || J12 we have: J12 = Ao ox3oo&#x with some A. In fact A/2 = height of ox3oo&#x = rt(2/3).
Then your intend would be BAo oox3ooo&#x with some B, which you assume to respect B=x.

So consider the coordinates:
Code: Select all
x3o (J12-equator):
1/2, -1/rt12, 0, 0
-1/2, -1/rt12, 0, 0
0, 1/rt3, 0, 0

A (J12-poles):
0, 0, rt2/rt3, 0
0, 0, -rt2/rt3, 0

B (ends of the line atop):
0, 0, B/2, h
0, 0, -B/2, h

Then any of the B-points has to unit-laced to any of the equator points as well as to the corresponding A-point. Thus:
Code: Select all
B <-> x3o
1 = 1/4 + 1/12 + B^2/4 + h^2
-> h^2 = 2/3 - B^2/4

B <-> A
1 = (rt2/rt3 - B/2)^2 + h^2
= 2/3 - B.rt2/rt3 + B^2/4 + h^2
h^2 = 1/3 + B.rt2/rt3 - B^2/4

equating h^2 =>
1/3 + B.rt2/rt3 = 2/3
B.rt2/rt3 = 1/3
B.rt2 = 1/rt3
B = 1/rt6

That is, B = 1/rt6 is definitely not the same as x = 1!

--- rk
Klitzing
Pentonian
 
Posts: 1637
Joined: Sun Aug 19, 2012 11:16 am
Location: Heidenheim, Germany

Re: CRFs containing J12

Postby quickfur » Tue Apr 15, 2014 2:18 pm

Keiji wrote:[...]
But, how about these possibilities:

J12 || digon
J12 || J14 (Elongated triangular bipyramid)
J12 || J27 (Triangular orthobicupola)
J12 || J35 (Elongated triangular orthobicupola)

The challenge, as Klitzing said, is that while it's relatively easy to build these topological constructions, it's not so easy to be sure that (1) there are no concave parts, and (2) tetragons are actually squares, rather than rhombuses.

I've considered J12 || digon before. The trouble here is that the centroids of two conjoined tetrahedra of unit edge (which correspond with the orthogonal projection of the digon's endpoints) are not a unit edge apart, so lacing edges will not be of equal length. So some of the lacing triangles will not be equilateral.

For J12 || J14, the main trouble is that the tetragons of the lacing triangular prisms get sheared into rhombuses. You can see an analogous issue in 3D if you start with two coplanar triangles and try to lace it to an elongated digonal bipyramid (i.e., coplanar sequence of triangle-square-triangle). The tetragons lacing the exposed sides of the triangles to the elongated digonal bipyramid will be sheared. A similar problem occurs with J12 || J27.

I haven't checked J12 || J35 yet, but given that it's derived from J27 and J14 via various Stott expansions, it will share many of the same dihedral angles, so will most likely exhibit the same shearing problem.
quickfur
Pentonian
 
Posts: 2935
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North


Return to CRF Polytopes

Who is online

Users browsing this forum: No registered users and 10 guests