Talk:Tesseract
This is the talk page for discussing improvements to the Tesseract article. This is not a forum for general discussion of the article's subject. |
Article policies
|
Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Archives: 1, 2 |
Mathematics B‑class High‑priority | ||||||||||
|
Lost Cube?
During an analysis of the tesseract "folding" .gif, I noticed that only 7 3-Dimensional figures seem to exist in the tesseract seen in the pictures on the page: 6 truncated square pyramids warped from cubes, and one cube in the center. That infers the erroneous "destruction" of one cube, that, at least in my eyes, is impossible and therefore proves the tesseract an invalid 4-dimensional shape.
Could someone clear this up for me? Thanks. - This Is M4dn355 300 (talk) 02:27, 13 March 2012 (UTC)
- I don't know which figure you are referring to. If you click on a picture you will see its name. However from your description it sounds to me that you have not included the outside which is another cube just like the inside one. It may look outside in the 3d projection but is a cube face just like the others in 4d. Hope that's what you're talking about. Dmcq (talk) 11:34, 13 March 2012 (UTC)
- This is the only "folding gif" I know about, comparing folding a tesseract and a cube. Tom Ruen (talk) 22:03, 13 March 2012 (UTC)
- That's the folding .gif I was looking at, however, I've noticed it in every picture I've looked at. Dmcq, does this mean there are two cubes? If so, I think it is necessary to mention in the article, as some users such as myself may be confused. - This Is M4dn355 300 (talk) 00:00, 14 March 2012 (UTC)
- There are eight cubes bounding the tesseract. Each cube touches six other cubes and has an opposite cube. In 3d a cube has six faces and each face touches four other faces and has an opposite face. Dmcq (talk) 00:11, 14 March 2012 (UTC)
- I understand that from looking at the .gif. My question is what happens after folding it. There are 6 truncated square pyramids formed from the 6 cubes immediately surrounding the one at the intersection of the 3 lines formed by the cubes of the 3D representation of a cross (no better name for that :/ ). Since there only seems to be 1 cube in the apparent center of the larger cube, it seems to me that there're only 7 cubes at the end of the process.
- There are eight cubes bounding the tesseract. Each cube touches six other cubes and has an opposite cube. In 3d a cube has six faces and each face touches four other faces and has an opposite face. Dmcq (talk) 00:11, 14 March 2012 (UTC)
- That's the folding .gif I was looking at, however, I've noticed it in every picture I've looked at. Dmcq, does this mean there are two cubes? If so, I think it is necessary to mention in the article, as some users such as myself may be confused. - This Is M4dn355 300 (talk) 00:00, 14 March 2012 (UTC)
- From your explanation, it seems to me that there are two cubes where there seems to be only one, one actually being on the outside. Is this correct, and if not, please explain where the 8th cube (farthest from the "center" on the longest arm) goes.
- I said prior that the article needs to elaborate on this, as many users such as myself won't understand this. Can a better 2D representation of this be created or is the outside cube (if what I'm saying is correct) always facing towards the viewer? - This Is M4dn355 300 (talk) 02:40, 14 March 2012 (UTC)
- I don't know what 'it' in 'I have noticed it in every picture I have looked at' refers to. I don't know what 'this' in your last paragraph refers to.
- You have referred to 'in the centre of the larger cube'. The larger cube on the outside is the eight cube. Can you count the six squares in the 3D picture? If you look at the picture of a cube in 3D you will see that the sixth square is on the outside in that picture. The large cube is the closest in 4D just like the outside square is the closest in 3D. The small cube is the furthest away one in 4D just like the the small square is the back square in the 3D picture. If we had an opaque tesseract we'd only see the big cube, the third picture under perspective projection shows an opaque tesseract projected to 3D and one can only see four cubes in that. Dmcq (talk) 09:02, 14 March 2012 (UTC)
- I'm not referring to what it would look like in 3D. Forget what I've said previously. Where does the bottommost cube (from the .gif) go?
It's circled in this rather crappy image (Imageshack's new registration rule -.-): http://desmond.imageshack.us/Himg24/scaled.php?server=24&filename=2000pxtesseract2svg.png&res=medium
- Aahh... I understand now. Thank you for attempting to help me understand this. - This Is M4dn355 300 (talk) 16:10, 14 March 2012 (UTC)
You may want to see Warner Model under the "Alternative Projections" section. It clearly shows all eight cubes plus how their faces fold to adjoining cubes. As a bonus, it shows the central VOID that other projections obfuscate. It demonstrates that there are no "outer" faces. AWrinkleInTime (talk) 12:13, 12 December 2015 (UTC)
- It depends how you want to think about it but I would say that all points, lines, faces and cubes are on the outside and only the four dimensional volume is in the inside. Dmcq (talk) 11:40, 18 December 2015 (UTC)
Wrinkle In Time
There was a reference to Tesseract in the children's Sci-Fi book "A Wrinkle in Time". Perhaps worth a mention? Thnx! -HK — Preceding unsigned comment added by 24.1.233.206 (talk) 22:24, 26 June 2012 (UTC)
- There's a continual battle on adding and removing "cultural/literary/art" references. It looks like the current battle lines stand at none of them. A while ago I made a copy on the talk page, now at Talk:Tesseract/Archive_2#Tesseracts_in_popular_culture. Tom Ruen (talk) 22:44, 26 June 2012 (UTC)
- The 'tesseract' in a wrinkle in time is not the same as the tesseract described in this article. The only connection is someone decided to use a cool word. Too trivial to include unless some secondary source makes some sort of meaningful linkage. Dmcq (talk) 23:52, 26 June 2012 (UTC)
- Actually I missed seeing it, but it is listed at Tesseract#See_also. Tom Ruen (talk) 00:24, 27 June 2012 (UTC)
Agreed that should be included in the article. I also have three books published in which the tesseract is a core concept. I am holding off on citing them until #4 is published, in which the tesseract concept comes out of the shadows. AWrinkleInTime (talk) 12:15, 12 December 2015 (UTC)
Change arrow to point up
In the diagram showing how to get from dimension 0 to 4, just change the green arrow to point up instead of down. That way, we're always moving in a positive direction. Thanks. — Preceding unsigned comment added by 99.254.2.209 (talk) 02:24, 6 July 2012 (UTC)
Retrieving "Tesseracts"?
At the moment "Tesseracts" redirects to "Tesseract" but there is a series of science fiction anthologies named "Tesseracts". If I were to create a page for it, how would I keep it from redirecting here? Monado (talk) 01:20, 9 April 2013 (UTC)
- If you enter "Tesseracts" in the search page, you will be directed to this page, but you will see a small note at the top that says "(Redirected from Tesseracts)". If you click on the Tesseracts link in that note, you will get the redirect page, which you can then edit. It might be best to title your article something like "Tessaracts (magazine)" and make the Tessaracts article a disambiguation page that points here and to your article. Leave me a note on my talk page if you need more help.--agr (talk) 03:20, 9 April 2013 (UTC)
- Simpler to put a hatnote on this article: Tesseracts redirects here. For the science fiction anthology series, see Tesseracts (magazine). —Tamfang (talk) 20:23, 22 July 2013 (UTC)
About image in Tesseract article
- Re:User_talk:David_Eppstein#About_image_in_Tesseract_article and the comment...
- So may I consider consensus is reached and I may add image again? Rawal of Jaisalmer (talk) 08:40, 4 June 2013 (UTC)
No, we can't so quickly come to that conclusion.
I understand your frustration, as I too have been edited off this island with actual 4D rotation matrix dot product algorithm produced comparative static (and animations) of nD (in this case 4 for the 8-cube Tesseract) to 3D (and 2D as well). I do both perspective and parallel orthographic, normal 3D and stereoscopic 3D projections. I have never seen yours (but will try the Isometric_projection transformation matrix and check it out with my code.
I disagree with your suggestion that the Schlegel projection is more artifical as "2 steps". The way you describe it sounds like you are doing it by hand. If you actually do the math to project nD objects (which I do), it is really all about proper projections from 3 nD basis vectors (for 3D projections), the transformation matrices, and defining of the camera (eye) location.
If this is indeed a true projection (and not simply a hand drawn model - that may be in error), what basis vectors are used on the vertices of the 8 cell in order to project to that image. Do you have the code to do that?
Jgmoxness (talk) 13:58, 5 June 2013 (UTC)
- I also still feel the image shouldn't be here, bevause (1) there are already too many images, and I don't understand what this is supposed to bring thatt the others don't, and (2) despite repeated questions on my talk page, I still did not get a clear explanation of exactly what principle was used to construct this image and what it is supposed to mean. The lack of continued discussion on my talk was me getting frustrated and not continuing to ask the same questions that had already been not answered before, it was not agreement. —David Eppstein (talk) 16:00, 5 June 2013 (UTC)
- The image in question is File:4D completed.svg. I, for one, can't make sense of it. I would also caution the Rawal that two days' silence by one person elsewhere is not by the wildest stretch a sign of consensus here. —Tamfang (talk) 20:41, 22 July 2013 (UTC)
- Count me as opposing that image as well. Wikipedia is not a place for people own ideas, the very least I would require is a citation to some reliable source which describes this. Dmcq (talk) 21:12, 22 July 2013 (UTC)
Add reference to movie "Interstellar" in "See Also / Uses in fiction"
The movie Interstellar (film) has just come out and shows a tesseract used to provide a dimensional barrier separating a time changed earth to that of a space traveler encountering gravity time dilation. Suggest adding this to the article under the section See Also / Uses in fiction. Tony (talk) 04:01, 12 November 2014 (UTC)
- No.
- First, this article is about the concept of a tesseract (a four-dimensional generalization of a cube), not about the word "tesseract" — see WP:NOTDICT. So unless the movie actually has a four-dimensional hypercube in it, not just a "dimensional barrier", it is off-topic. For instance, A Wrinkle in Time is more famous for its use of the word "tesseract", but uses it to mean something else, so is not listed here.
- Second, we need reliable secondary sources to add material like that, that attest to the significance of the topic within that film. If you just want to list everything that mentions tesseracts, regardless of how trivial or unimportant the mention is, Wikipedia is not the place; try TVTropes. (Yes, the two instances already there, the Dali and Heinlein ones, don't actually have sources, but they probably should be sourced and moved into the main text, with a discussion about how Dali uses the fourth dimension as a metaphor for the metaphysical and sources like this one.)
- —David Eppstein (talk) 04:17, 12 November 2014 (UTC)
- For context, here's a list of previous removed cross-links Talk:Tesseract/Archive_2#Tesseracts_in_popular_culture. I don't have a strong opinion on what should be included. Tom Ruen (talk) 04:18, 12 November 2014 (UTC)
- WP:NOTDICT applies to the request. This isn't about all uses of the word 'tesseract' but about 4 dimensional cubes. Users should follow the he line at the top 'For other uses, see Tesseract (disambiguation)." for other notable uses of the word. Dmcq (talk) 14:12, 12 December 2015 (UTC)
Related polytopes section removed
User:David_Eppstein removed a Related polytopes section as too obtrusive, saying " remove typical Tomruen huge image galleries of things that are almost, but not completely, unrelated to the actual topic of the article. A single line of text with a wikilink and NO IMAGES should suffice"
I reduced it to a compact See also section with links to each template of related polytopes.
User:Dmcq objected, saying templates don't belong and removed it, saying "Shouldn't be linking to templates.They're not user content in themselves. "
I cleaned up the template wikilinks, and User:Dmcq reverted again, saying "Please take this to talk per BRD rathert than edit warring." and again a THIRD UNHELPFUL revert saying "Don't stick templates in like that."
I don't understand why he claims I'm edit warring by improving and he's not edit warring by removing. Tom Ruen (talk) 11:24, 18 December 2015 (UTC)
- See WP:BRD about discussing if people give reasoned objections rather than there being some right to stick any stuff one likes in and it being difficult for anyone else to remove it. Dmcq (talk) 11:30, 18 December 2015 (UTC)
- Will you please self-revert then discuss as per WP:BRD. Dmcq (talk) 11:41, 18 December 2015 (UTC)
- How do you discuss something that you seem to want completely removed? Tom Ruen (talk) 11:46, 18 December 2015 (UTC)
- In the discussion below I have said how it could be included. You have to set up a separate article complete with notability reasons and citations and refer to thaat in the see also. Just because a discussion implies that something you wrote should be removed does not mean the discussion is invalid and sticking in the stuff is fine. Now please remove it. Dmcq (talk) 11:55, 18 December 2015 (UTC)
- Your objections are not acceptable to me. Either its a navigation table between articles, or its important enoguh as an article in its own right. You don't believe its worthy as an article, and you don't want to accept it as a navigational template. How do you suggest we show related articles? Tom Ruen (talk) 12:03, 18 December 2015 (UTC)
- A template is not an article. You need to put the stuff into a separate article, most likely by transcluding the templates, and then refer to that article. What is so difficult to understand about that? Dmcq (talk) 12:07, 18 December 2015 (UTC)
Template references put in as article material
WP:SEEALSO says 'Contents: A bulleted list, preferably alphabetized, of internal links to related Wikipedia articles.' Only in very good reason should it be used for other things. If the content is worth pointing at then point to a section within another article that has it in. That ensures the content is covered by the normal Wikipedia policies and guidelines like all user content should. Dmcq (talk) 11:28, 18 December 2015 (UTC)
- That can be easily fixed. And if you don't like "see also" the links could be added back to an original "Related polytopes" section. Tom Ruen (talk) 11:30, 18 December 2015 (UTC)
- A related polytopes section would not fit into the article - they re not directly about tesseracts and too big as a small exception to WP:OR. They should be in another article complete with a lead with discussion and showing notability and citations. Dmcq (talk) 11:33, 18 December 2015 (UTC)
- What's too big? It's 4 sentences. The whole purpose is cross-linking related figures so wikipedia users can navigate related articles. Tom Ruen (talk) 11:43, 18 December 2015 (UTC)
- Templates are not related articles. They are not articles. As WP:Template says 'Templates are pages that are embedded (transcluded) into other pages to allow for the repetition of information.' Referring to them directly is a misuse of them. Using them the way you have would avoid the policies and guidelines that apply to articles if it were standard practice. They are not in article space. Dmcq (talk) 11:45, 18 December 2015 (UTC)
- The too big referred to transcluding the templates inline. Dmcq (talk) 11:50, 18 December 2015 (UTC)
- The contents can move moved into articles if they are deemed too large for repeated inclusion. I expanded them with noinclude tag content to work both ways. Tom Ruen (talk) 11:51, 18 December 2015 (UTC)
- You are referring to a Template. When a person clicks on it they are taken outside of article space. That is what is wrong. Transcluding templates is fine - but then they would be too biug and irrelevant for this place. You need a separate article to put them in before they are referred to here. Dmcq (talk) 12:04, 18 December 2015 (UTC)
- How about templates with a "collapse" option, closed by default? Tom Ruen (talk) 12:07, 18 December 2015 (UTC)
- No. Nothing that means a user could end up on a page with 'Template:' at the top. That is like them ending up at a 'Talk:' page or a 'User:' page or one of those other pages in the system. Dmcq (talk) 12:18, 18 December 2015 (UTC)
- You misunderstood what I was asking, but anyway, I've done as you requested. I relinked into sections of the related uniform polytopes and honeycombs where the template is more relevant. Tom Ruen (talk) 12:23, 18 December 2015 (UTC)
- Thanks, yes that is much better. Dmcq (talk) 12:25, 18 December 2015 (UTC)
Adding New Alternative Image
Ok, maybe here we can discuss the proposed addition to the image gallery.
This view contributes to an understanding of the Schlegel Diagram by revealing detail of the two cubes obfuscated by a hidden lines illusion.
The ellipses show the six paths around the perimeter of the tesseract and how the faces of a given cube align with their adjacent cubes in a different 3-brane.
I would like to address specific questions about this visualization model, so that an understanding of its contribution can be accepted for inclusion in the article.
AWrinkleInTime (talk) 19:11, 23 December 2015 (UTC)
- Your image looks to me like the pile of wires at the back of one of my computers, nothing like a Schlegel diagram, and not particularly helpful in understanding this polytope. I'm not convinced its connectivity is correct (I think the K-red connection at the far left should go into the opposite side of the red cube). Using the same shape to represent the three-dimensional cube faces and the four-dimensional cube volume is just confusing. And what's the red glitch between K and the void? —David Eppstein (talk) 19:20, 23 December 2015 (UTC)
Hi David -
Thanks for the feedback. This image is taken from a file for 3D printing of the model. The red connection you mention was described in the original image posting. It is not showing connectivity! That is what the six blue ellipses do. Rather, the red diagonal tube represents the fact that in the Schlegel Diagram they would be collapsed together into the central region of the projection. They are "exploded" out of the center along a symbolic 4D axis of red which is rotated so we are not looking at it head-on as in the Schlegel. Also, the red tube adds structural support in a physical model, allows for other instrumentation, etc. I would certainly make all this clear in the post. It would not hurt to have two different views of the same model, but from different angles and maybe 50% larger, so people can differentiate the six ellipsoid tubes better. It is hard to see their entrance and exit plus the three tubes that deal with inner/outer faces [the skinny ones] versus the three fat tubes that deal with the lateral/up-down faces could be made easier to differentiate--with two larger images from different viewing angles.
There is another way to interpret your comment: "(I think the K-red connection at the far left should go into the opposite side of the red cube)." Are you saying you think the left face of the upper yellow cube should go to the right face of the left red cube, instead of the left face? Or maybe that the left face of the left red cube should go to the right face of the right red cube? I give an example in Tom's discussion below, but will address that aspect here. We can look at the vertices involved and find out precisely.
For this model I assume that the yellow cubes are in the (x,y,z) 3-brane and the lower yellow cube then is in our physical brane, with (0,0,0,0) then representing its near lower-left corner [yes, in the image all the cubes are offset by 1/2 unit in the x,y,z axes to show symmetry; this does not affect relationships]. That means that the (y,z) plane on the left side of the lower yellow cube would have vertices: [(0,0,0,0), (0,0,1,0), (0,1,1,0), (0,1,0,0)]. These are the same vertices used by the inner face of the left red cube, which occupies the (y,z,k) 3-brane by the way, for x=0. Traveling from right to left along the red cube then means traveling from k=0 to k=1. In other words, at the left face of the red cube you now are in the (y,z) plane...but at k=1. You are now adjoining the upper yellow cube's left face with the vertices: [(0,0,0,1), (0,0,1,1), (0,1,1,1), (0,1,0,1)].
This confuses a lot of people, the fact that we talk about x,y,z axes in an image like this...but they do not correspond to our physical world except in the (x,y,z) 3-brane at k=0. So, traveling from right to left in the left red cube is not moving to the left in the physical world. A 90 degree bend in a fourth dimension has occurred and we are moving up in the K dimension which is perpendicular to our 3-brane. The x-y-z coordinate system is then primarily used for the viz image, and should not imply that the cubes all exist in an (x,y,z) 3-brane, as they do not.
Now, one ramification of all this is again hidden in the Schlegel Diagram: coordinate systems. You will see that in the Warner Model the top face of the top blue cube adjoins the top yellow cube's top face then the bottom face of that yellow cube adjoins the top face of the bottom yellow cube. In other words, passage through the ellipsoid tube goes from the top face of the top blue cube, through the top face of the top yellow cube, out the bottom of the yellow and into the top face of the bottom blue cube. Top face of blue cube is indirectly adjoined to top face of its opposite through the intermediary yellow cube. Likewise with its bottom face indirectly adjoining the bottom face of the bottom blue cube. This relationship is valid for all faces: they adjoin to their equivalent peer through an intermediate cube. If you again look at the vertices involved, you will see this is mathematically accurate.
Yet, in the Schlegel this seemingly is not so! But, it too is accurate as long as you include an assumption! Haha what is going on? The Schlegel can be said to presume that the major cube (the composite cube formed by all the six other perimeter cubes) is the "upper" cube and the minor cube (at the center) is the "lower" cube. You will see that mathematically this is in some ways equivalent to having the "outer" vertices bend back on themselves to connect to a second "inner" cube that brackets a central void. I can elaborate on this if desired, know this is not clear but have no time to elaborate now. Doing this does have a ramification to coordinate systems which I will get to shortly. Basically, the "small" inner cube's mating opposite cube (hidden) is using the outer-most vertices as proxies for its own mating vertices since the outer cube is merely a larger scale of itself and since those vertices do in fact attach with the proper segments to the proper other vertices (thanks to orthogonal projection). These "outer" vertices are something of an illusion though, because of the 180 degree bend that is occurring and the hidden line issue. If you look at a circle edge-on, you see two end vertices as an illusion: tangent points. Same thing.
Nevertheless, this proxy business essentially works. If the top cube of the Schlegel then is our upper blue cube (x,y,k) 3-brane, we see the top face of it as being shared with this major cube (our "top" yellow cube): it is also a de facto proxy for the top face of the top yellow cube. If we then pass through the "top" yellow cube (in (x,y,z) 3-brane at k=1, traveling from z=1 to z=0), we come to its own opposite face--the bottom face of the Schlegel major cube at k=1 and z=0. That bottom face (as visualized) then necessarily is mathematically the TOP face of the lower blue cube [(x,y,k) at k=1 and z fixed at 0]! Not the (visualized) top face as in my model. Again, the lower blue cube goes from k=1 to k=0 with z fixed at 0 and adjoins the mating yellow cube (now we have bent 90 degrees into the (x,y,z) 3-brane again, entering at its bottom face (z=0). Note that in the Schlegel, moving from k=1 to k=0 in the lower blue cube means traveling upwards along the z axis for visualization (downward mathematically), instead of downward as in my model.
When the Schlegel arrives at the center minor cube through the lower blue cube, it then enters the lower face as it does in my model. There is symmetry about the six peripheral cubes in this fashion, with inward-outward being inverted. Bottom line is as far as coordinate systems go, they behave something like mirror images on opposite sides of the planet. (Not literally, but it helps me to imagine a gravitational normal so that "up" is always away from the center in the Schlegel.) Even though we are moving upward in the lower blue cube's visualization, to enter its bottom face...remember that we are moving "down" in the K dimension from k=1 to k=0.
Let's break this down a bit more. What 3-brane do the blue cubes represent? It is the (x,y,k) brane, with z=0 and z=1 as the twin cubes. The vertices of the top face of the top blue cube then are: [(0,0,1,1), (0,1,1,1), (1,1,1,1), (1,0,1,1)]. It joins with the top face of the major cube which has those same vertices. The major cube then traverses downward from k=1 to k=0. At k=0 its face has these vertices: [(0,0,1,0), (0,1,1,0), (1,1,1,0), (1,0,1,0)]. It adjoins to the top face of the lower blue cube (z=1)!
The trick for the Schlegel Diagram is that "inward" becomes "outward" and vice versa in going from one cube to its opposite. To tie this diatribe back to your initial comment David ("Outer face of left red cube should adjoin to outer face of right red cube"), yes that is correct for the Schlegel Diagram as long as you understand the mirror effect that happens to the coordinate systems. ...But to represent the face relationships in the Warner Model the same way would be wrong.
There is no way to discern this Schlegel mirror effect from simply looking at the diagram! You can argue the diagram is wrong or you can argue that this fact is obfuscated. Either way, it does not serve the person who is trying to understand the relationships by looking at the Schlegel alone. I would argue that the Schlegel is the most compact projection, but it best works once a person fully understands the relationships.
The Warner Model is complementary to it. If you want one coordinate system and do not use a "proxy cube", then the Warner Model is the way to go. The Warner Model is correct, and without that implied assumption. It makes sense you would think it had an error since it does not conform to the Schlegel Diagram. It has better potential for introducing novices to the subtle nuances of tesseracts, in my opinion, and is mathematically correct though not without projection distortions and artifacts of its own.
So, this is a subtle but significant yet additional contribution of the Warner Model. It normalizes things so that the same coordinate system is used throughout. It also gets rid of the illusion of the "outer" cube being a composite of all the others and being larger.
The black cube is a *symbol* of the 4D void that is bounded by the 3D cubes. The Schlegel does not demonstrate this void, and rather insinuates that the tesseract is solely the collection of 6+1=8 cubes. It essentially obfuscates the void and so misleads unintentionally in that fashion. As the 2D faces of a 3D cube are not the cube without including the bounded 3D void they contain, so the tesseract is comprised of 8 3D cubes bounding 1 4D void to form a holistic 4D tesseract: 8+1=10 haha.
Again I would assert that the fact that this diagram seems alien is due to the limitations of the Schlegel Diagram. Though mathematically correct, it misleads the eye due to hidden lines.
I do need help in fitting this image into the Wikipedia page. I know a lot about tesseracts but nothing about Wikipedia. It seems that the image needs to go in the alternative image section, and this sort of discussion somewhere else...not sure where/how "somewhere else" would be.
If I can convince you and Tom of the merits of this contribution, I will be asking your help to fit this information into the page properly and to make the mathematical language rigorous and precise. Ideally, if it pleases people, I would suggest both rigorous language plus a version that is more approachable to lay people.
Your larger points seem to be that: 1) You do not see the value added; 2) you are not convinced of the mathematical accuracy. I believe #1 has been addressed herein with comments to you and Tom but certainly can pursue to the degree necessary. As for #2 I am happy to do additional virtual "walk-throughs" to demonstrate that there are only 16 vertices, yet 48 faces and 24 shared faces, etc. A big issue that addresses #2 is the one with coordinate systems, described above, which explains why it is outer-to-outer in Schlegel and outer-to-inner in Warner. They are both right, once you understand the intrinsic Schlegel assumption.
Oh! That is another point that I believe was made in the original post. People need to understand that only one of the 8 cubes would exist in our 3-brane. The other 7 all have a 4D component. For example, (x,y,k), (y,z,k), (x,z,k). There are two (x,y,z) 3-brane cubes. Each dimension has two cubes as opposites, one on either side of the central 4D void. However, the other one can be considered offset from our 3-brane in the k dimension and so it is parallel to our 3-brane.
Once it snaps into place, it all makes perfect sense. My image facilitates that. Schlegel obfuscates it due to hidden lines.
AWrinkleInTime (talk) 18:15, 1 January 2016 (UTC)
- It's a pretty presentation, but not clearly easier to understand than a simple net, which could have folding arrows added. Tom Ruen (talk) 19:21, 23 December 2015 (UTC)
Tom - The simple net also suffers the same perceptual illusion as the Schlegel Diagram. How many 3D cubes are visible? 7. Where is the 8th? In the center? That is incorrect. The 4D void bounded by the 3D cubes is in the center. From that network, it is not obvious that there are six ways to traverse the perimeter of a tesseract. That is what the blue ellipses (aka "pile of wires at back of computer") demonstrate.
Please understand that the very fact that this model is difficult to grasp demonstrates the failings of the Schlegel Diagram. The Schlegel does not show the 4 "rings" each with 4 cubes in them, that traverse or bound the 4D void. (There is cube overlap between rings.) There is no point in repeating what was said in the discussion that went with the original image insert...but here goes. From the Schlegel, the two cubes along the "K" axis are hidden because we are forced to look at that axis head-on. There is an "upper" cube, the central 4D void, and a "lower" cube and they are all lined up and so effectively hidden in the orthographic projection. (Not to be confused with the "upper" and "lower" cubes in the "Z" axis, which our brain understands make up two of the six visible cubes apart from the center.)
The upper and lower cube in the k dimension are all lines up with the minor square at the center of the Schlegel, rather than the major square that forms the perimeter of the Schlegel (and defines the "upper" and "lower" cubes along the z axis).
The Schlegel insinuates that the 6 perimeter cubes plus the central cube taken together form the 8th cube. This is not correct. The 8th cube is the same size as all of the others and is not a composite of the 7. Rather, the composite is the tesseract proper.
Actually, the Schlegel does not insinuate--rather our eyes are misled by hidden lines. It is correct that the "outer" faces in the Schlegel do in fact connect with the 8th cube--what is not seen is the 180 degree bend back to the other hidden cube in the center! Since two dimensions are being represented along the Z axis, we have two 90 degree folds occurring: 180 degrees. The original post went through all this--the fact that there are no "outer" faces in a tesseract.
"Outer" is always in the 4th dimension no matter what 3-brane you are dealing with. If you are talking (x,y,z) then "outer" occurs in the k. If talking (x,y,k) then outer occurs in the z. Always the 4th. Think of a face on a 3D cube. If talking the (x,y) 2-brane, then "outer" is in the z direction. Same concept.
Tom & David (this addresses Point #2 of David's about mathematical accuracy). Consider this walk-through, mapping this image to the Schlegel.
Example: In the Shlegel, The left-most cube has an "outer" face [WRONG], an upper face that adjoins the upper cube in z-axis, a lower face that adjoins the lower cube in z-axis, plus faces that adjoin the near and far cubes in the y-axis. Its "inner" face seemingly adjoins the center of the tesseract: WRONG.
In the Warner Model, consider the left-most cube [red]. It also has an upper face that adjoins the upper cube [blue] in z-axis, a lower face that adjoins the lower cube [blue] in z-axis, plus faces that adjoin the near and far cubes [green] in the y-axis. Note that "rings are formed in two planes: [(x,y),(x,z)]. For instance, one ring goes from the left red cube through the upper blue through the far red through the bottom blue, returning to the left red. These two rings pass through 4 faces of the left red cube. What about the other two faces?
Well the "inner" face does indeed go to the center of the Schlegel, but it is not the center of the tesseract. It is either the top or bottom yellow cube along the k-axis. The "outer" face does indeed go to the 8th cube, which is the other cube along the k-axis, either top or bottom. In the image, the "outer" face goes to the left face of the upper yellow cube and the inner goes to the left face of the lower yellow.
Another ring is formed! A third ring. You can see the red cube passed through the upper yellow then through its opposite red cube then through the lower yellow and then back to the left red cube. All through a ring in the (x,k) plane.
In other words, for this to be represented in the Schlegel, I suggested making the length of the segments on the peripheral cubes 1/2 unit, to symbolize the 180 degree bend in the projection. (There is no 180 degree bend in the actual tesseract.)
Put still another way, the inner face of the Schlegel adjoins the lower yellow cube in the K dimension. The outer vertices bend back along their line segments (since the Schlegel is an orthographic projection) and connect to the upper yellow cube. And there is this beautiful 4D void [black cube] that is actually at the center. It is all there in the Schlegel. Not debating that. However, distortions in the projection and hidden lines trick the eye.
AWrinkleInTime (talk) 18:23, 1 January 2016 (UTC)
- I don't see that the diagram, adds anything useful . Is there an example of a diagram like that in the literature somewhere? Otherwise I don't think it should be included. It looks like own work that does not convey anything in an obvious way and is not obvious otherwise there would not be such a long text here trying to explain it. Dmcq (talk) 01:17, 2 January 2016 (UTC)
Hi Dmcq -
We are talking math here, not opinion. I have yet to field any questions about the math, other than the one that David asked--its answer formed much of my lengthy response. Look, if the issues were obvious and simple, then the Schlegel discussions would have already covered them. These have not been revealed before. This is new discussion revealing complex concepts. The math is right...and it is fascinating isn't it that the Schlegel Diagram has an assumption about a mirroring of coordinate systems from one cube to its opposite? The Warner Model does not.
The length of the explanation actually demonstrates the need for this illustration. I am sorry you cannot understand its contribution; it is complex. I do not know how to explain its benefits any more than what has already been done.
1. Do you understand how the Schlegel misleads due to hidden line illusions? 2. Or that it has mirroring of coordinate systems? 3. Do you understand that the whole composite cube is not one of the eight cubes? 4. Do you understand that a cube in the center is not one of the eight? 5. Or that there is of course a central 4D void that the eight wrap around? 6. Or that there are no out-facing or in-facing faces on the eight cubes? 7. Or that the "central cube" in the Schlegel is actually two cubes on either side of the void, seen head-on? These kinds of questions is what the Warner Model answers by clarifying relationships.
Regarding peer review publication. It appears a lot of the alternate images have been removed thankfully. If there are errors in the peer-reviewed images, what does that mean? At the very least, there are missing details to the Schlegel. These include the enumerated seven for starters. Put another way, in order to unlock the complexities of the Schlegel...the Warner Model is desired. That is its contribution.
If you want to wait for peer-review publishing before adding such clarifications to the Schlegel, so be it. My expectation was that people with the mathematical expertise managed this page in order to authoritatively recognize the current issues, and then assess any such clarifications and enhancements directly (i.e., be able to do so in a rigorous and defensible way). "I don't see it adds anything useful" is not defensible. If you can show me in the article where these issues have already been addressed, then that would be defensible. Can you show me?
AWrinkleInTime (talk) 20:18, 5 January 2016 (UTC)
- It is in fact false that "the "central cube" in the Schlegel is actually two cubes on either side of the void, seen head-on". Also it's "Schlegel diagram", not "Schlegel". The diagram is created as a perspective projection from 4d to 3d (and then depicted by projecting again from 3d to 2d); just as a projected 2d view of a 3d cube does not usually include any separately visible object for the interior of the cube, this is true here. All edges and vertices of the 4d cube are projected to distinct non-overlapping line segments and points in 3d. The square 2-dimensional faces of the 4-cube are also projected to non-overlapping quadrilaterals (not all square) in 3d, and the eight cubical 3d faces of the 4-cube are projected to eight cuboids: the inner cube, the outer cube, and the six frustums connecting a square of the inner cube to the corresponding square of the outer cube. In contrast, your diagram shows more than one copy of each edge, vertex, and square 2-face of the 4-cube. The reversal of orientation of the outer cube is necessary in order for the faces of these eight cubes to be attached to each other in the same way that they are in 4d, and is no different from the fact that when you look at a 2d projection of a 3d cube the back square faces of the cube have a reversed orientation from the front faces. If you don't already understand all of this, you have no business trying to replace the image. —David Eppstein (talk) 21:46, 5 January 2016 (UTC)
- If you look at the perspective illustration of the tesseract with hidden volume elimination - the coloured one with the red point showing the closest point, you'll see the analogue of the usual picture of a cube not showing the hidden sides. The extra points and lines in the usual projective views are the analogue of looking at a transparent cube. One doesn't normally show the contents of even 3D cubes. However one could by having the cube transparent and having some points inside the cube e.g. in an array or as a cloud, that might be interesting as an illustration, it would be an intermediate between that hidden volume one and the one with all the points and lines.
- WP:OR is the relevant Wikipedia policy about putting in our own ideas. Basically we should not. Wikipedia is an encyclopaedia and we hould just be describing what is already written about out there. This isn't the right place to think about new maths. Dmcq (talk) 00:03, 6 January 2016 (UTC)
There is no "new math" here, only clarification. I appreciate your stance, though you did not address the issues I mention. In other words, rather than new math, this corrects misleading perceptions that lead to incorrect understandings and usage of the tesseract. Such clarification is arguably a part of the Wikipedia mandate.
Additionally, the seven issues I enumerated with the existing images can easily be verified mathematically if one merely takes the time. It is not clear to me what are the citations and sources for the existing images, either. Are they from you three commentators in this talk session? Not asserting that, just pointing out the issue without citations. How can one know?
If they are, then surely you have authority to assess other clarifications and images. At the least, I would suggest that the current alternative images must have citations as to their origins and related mathematical proofs. We cannot be expected to take these images in blind faith. Surely this is something we can agree needs done. Now, maybe--such citations are here and I just am not seeing them. I would have expected them to be at least footnoted in the caption to each image. I do see references below, but see no ready way to map them to each image.
In other words, the current article has issues that remain unresolved. However, I humbly defer to the gatekeepers and trust that should new information change your decision, that you will be open to notifying me and allowing these clarifications to be added [with proper credit to me]. Thank you.
AWrinkleInTime (talk) 19:36, 14 January 2016 (UTC)
Add reference to movie "Cube 2: Hyper Cube" in "See Also / Uses in fiction"
The movie "Cube 2: Hyper Cube" (film) shows people within a tesseract which is folding and unfolding. As the tesseract is vitally germane to the plot of the movie, I would suggest adding this to the article under the section See Also / Uses in fiction. Victorsteelballs (talk) 19:09, 6 May 2016 (UTC)