Interview with a Mathematical Physicist: John Baez Part 1 - Comments

In summary, John Baez is planning to return to the Centre for Quantum Technologies in Singapore at the end of June, but this will be his last summer working there as he and his wife are ready to try something new. They may go to Europe next summer. John is not familiar with Helmer Aslaksan, but he has introduced an E8 projection to Wikipedia which was later used in the current article. He credits Tom Ruen for using his idea of projecting higher dimensional objects to lower dimensional symmetries. Tom Ruen has put his work into the public domain, thus freeing it up for worldwide use without attribution. However, some of his images do require attribution, so it is important to double check each image.
  • #1
john baez
Science Advisor
Insights Author
Gold Member
286
266
john baez submitted a new PF Insights post

Interview with a Mathematical Physicist: [URL='https://www.physicsforums.com/insights/author/john-baez/']John Baez Part 1[/url]

johnbaezp1-80x80.png


Continue reading the Original PF Insights Post.
 
Mathematics news on Phys.org
  • #2
Brilliant Insight into your life John! Are you planning to returning to the "Centre of Quantum Technologies" this year? Also I must imagine you have the most interesting dinner discussions with your wife. Philosophy and Physics :)
 
  • #3
Greg Bernhardt said:
Brilliant Insight into your life John! Are you planning to returning to the "Centre of Quantum Technologies" this year? Also I must imagine you have the most interesting dinner discussions with your wife. Philosophy and Physics :)
Thanks for giving me the chance to think about where I've been and where I'm going!

I'll go back to the Centre for Quantum Technologies again at the end of June. My wife has been working at the Philosophy Department at NUS while I've been working there. We think this will be our last summer working in Singapore: we've had a good run of it, but we're ready to try something new. Frankly I'd be happy to stay home and tend to our garden---I always get nervous about the plants when I'm gone during the hot summers in Riverside! But I suspect we'll probably go to Europe next summer.
 
  • Like
Likes Greg Bernhardt
  • #4
john baez said:
Thanks for giving me the chance to think about where I've been and where I'm going!

I'll go back to the Centre for Quantum Technologies again at the end of June. My wife has been working at the Philosophy Department at NUS while I've been working there. We think this will be our last summer working in Singapore: we've had a good run of it, but we're ready to try something new. Frankly I'd be happy to stay home and tend to our garden---I always get nervous about the plants when I'm gone during the hot summers in Riverside! But I suspect we'll probably go to Europe next summer.

Do you by any chance know Helmer Aslaksan? I would think so.
 
  • #5
This article uses an E8 projection which I introduced to Wikipedia in Feb of 2010 here. Technically, it is E8 projected to the E6 Coxeter plane.

The projection uses X Y basis vectors of:
X = {-Sqrt[3] + 1, 0, 1, 1, 0, 0, 0, 0};
Y = {0, Sqrt[3] - 1, -1, 1, 0, 0, 0, 0};

Resulting in vertex overlaps of:
24 Red with 1 overlap
24 Orange each with 8 overlaps (192 vertices)
1 Yellow with 24 overlaps (24 vertices)

This was subsequently recreated in the current article and 4_21 E8 WP page by Tom Ruen, source for the article.

After doing this for a few example symmetries, Tom took my idea of projecting higher dimensional objects to the 2D (and 3D) symmetries of lower dimensional subgroups - and ran with it in 2D - producing a ton of visualizations across WP. :-)

http://theoryofeverything.org/theToE/2016/03/16/e8-in-e6-petrie-projection/
 
Last edited by a moderator:
  • #6
Hornbein said:
Do you by any chance know Helmer Aslaksan? I would think so.

No, I don't know him. He seems like a cool guy, but I haven't been hanging out in the math department at NUS.
 
  • #7
J Gregory Moxness said:
This article uses an E8 projection which I introduced to Wikipedia in Feb of 2010 here.

Cool! Maybe you mean E6 projection? I deliberately chose an image that was in the public domain so I wouldn't have to give attributions, but thanks for helping come up with it!
 
  • Like
Likes J Gregory Moxness
  • #8
The 72 vertex and 720 edge E6 (as a subgroup of E8) in the E6 Coxeter plane (a Petrie projection) produces vertex overlaps of:
24 Yellow with 1 overlap
24 Orange each with 2 overlaps (48 vertices)
with none at the origin.

(which I have now included here:
http://theoryofeverything.org/theToE/2016/03/16/e8-in-e6-petrie-projection/)

See this work by Stembridge on this as well: http://www.math.lsa.umich.edu/~jrs/coxplane.html

Taking all 240 of E8 vertices and 6720 edges produces a similar result but different (as you used in the article).

BTW - great article!

oh, and a minor point... it is my understanding that citation (author name and link if online) is still required to WP WikiMedia commons content. (of course, in this case the work was Tom Ruen's - he simply took my basis vectors and produced the image using his own source code (rather than using the Mathematica tool I use and offer in the public domain).
 
Last edited:
  • #9
oh, and a minor point... it is my understanding that citation (author name and link if online) is still required to WP WikiMedia commons content.

I believe someone puts something in the public domain, that means anyone can do anything they want with it. If you read the page on which this image appears on Wikicommons you'll see it says:

I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:

I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

One reason I like Tom Ruen's work so much is that he puts it into the public domain, thus freeing it up for worldwide use without any need for attribution. It's a gift to the universe.

But of course, if Mr. X tries to put Mr. Y's copyrighted work into the public domain, Mr. Y can argue with that.
 
  • Like
Likes Greg Bernhardt
  • #10
I stand corrected - it seems Tom does (at least for some images) change the default file upload CC Share-Alike Commons to "Public Domain".

In checking though, he does have others that have the default (as, AFAIK, mine do) which does require attribution. So I guess, we need to double check each image.

Don't get me wrong, I am ok w/putting my stuff in public domain w/o attribution requirements. In using the defaults I assumed proper etiquette was to cite WP sources as a matter of course.

e.g. https://commons.wikimedia.org/wiki/File:Flower_of_life_triangular_11547-arccircle.svg

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
90px-CC_some_rights_reserved.svg.png

24px-Cc-by_new_white.svg.png
24px-Cc-sa_white.svg.png
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.

You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
  • share alike – If you alter, transform, or build upon this work, you may distribute the resulting work only under the same or similar license to this one.
 
  • #11
By the way, thanks for explaining how many vertices overlap in this 2d projection of the E8 root polytope!
 
  • Like
Likes J Gregory Moxness
  • #12
Such number systems only exist in 1, 2, 4, and 8 dimensions

I remember reading somewhere that this is somehow because of the fact that "every cow must have at least one cowlick", but there wasn't much explanation! Can anybody give a clue?

Also, interesting interview, thanks!
 
  • Like
Likes J Gregory Moxness
  • #13
Shyan said:
I remember reading somewhere that this is somehow because of the fact that "every cow must have at least one cowlick", but there wasn't much explanation! Can anybody give a clue?

Also, interesting interview, thanks!

It has nothing to do with it. The "cow" theorem is about poles in odd dimensional spaces.
 
  • #14
Hornbein said:
Shyan said:
I remember reading somewhere that this is somehow because of the fact that "every cow must have at least one cowlick", but there wasn't much explanation! Can anybody give a clue?

Also, interesting interview, thanks!

It has nothing to do with it. The "cow" theorem is about poles in odd dimensional spaces.
I'm not sure, but I think Shyan's question was an attempt at humor (I laughed anyway).

Yet, if he was asking a serious question, the reason is that John was describing the conditions for "normed division algebras".

The 1,2,4 and 8 dimensions are due to the 2^n nature of the Cayley-Dickson construction of the algebras.

Add to this, given the reference to "division" algebra, it ends at dimension 8 with octonions because the next level up (n=4), the 16 dimensional sedenions, contain "zero divisors" which prevents division in those cases. For my list of those zeros (and a cool animation), see:
https://en.wikipedia.org/wiki/Sedenion
 
Last edited:
  • Like
Likes ShayanJ
  • #15
Hmm, biochemistry. How about neurobiology? There seem to be networks there too.
 
  • #16
Shyan said:
I remember reading somewhere that this is somehow because of the fact that "every cow must have at least one cowlick", but there wasn't much explanation! Can anybody give a clue?

Here's the relation. A sphere in n-dimensional space can have least one continuous nowhere vanishing vector field if and only if n = 2,4,6,8,... A sphere in n-dimensional space can have (n-1) linearly independent continuous vector fields if n = 1, 2, 4, or 8.

People know, for a sphere of any dimension, the maximum number of linearly independent continuous vector fields on it. See:
These results subsume everything I just said, and more.

Also, interesting interview, thanks!

You're welcome!
 
  • Like
Likes ShayanJ
  • #17
atyy said:
Hmm, biochemistry. How about neurobiology? There seem to be networks there too.

My concept of biology is so broad that it includes biochemistry, neurobiology, ecology and more. The network formalisms I'm developing are so general that they should have some relevance to all of these topics... though of course it'd take expertise to develop anyone particular application to the point of doing something useful!
 
  • #18
I hope I'm not beating a dead cow here, but...

john baez said:
The octonions are a number system where you can add, subtract, multiply and divide. Such number systems only exist in 1, 2, 4, and 8 dimensions
and
Shyan said:
...that this is somehow because of the fact that "every cow must have at least one cowlick"...
and
john baez said:
Here's the relation. ... A sphere in n-dimensional space can have (n-1) linearly independent continuous vector fields if n = 1, 2, 4, or 8.
The "relation" is as John pointed out in the WP reference, yet the "cause and effect" seem to be reversed in Shyan's comment. That is: the 1,2,4 and 8 limit on the dimensionality of numbers systems where you can add, subtract, multiply and divide is not "because of" the number of linearly independent continuous vector fields (or their number of hairy ball cowlicks).

It is the octonion limit on the number of dimensions (n=8) for normed division algebras (due to sedenions having zero divisors and the Cayley-Dickson construction) that constrains n<9. The number of linearly independent continuous vector fields within the modulo 8 periodicity of Clifford Algebras are related yet dependent rather than being a cause of any lack of "normed division" capability.
 
Last edited:
  • #19
I think it's awesome that we have some prominent scientists and mathematicians here on PF.
 

1. What is mathematical physics?

Mathematical physics is a field that uses mathematical methods to study and explain physical phenomena. It involves applying mathematical concepts and equations to understand and model the behavior of physical systems.

2. Who is John Baez?

John Baez is a mathematical physicist and a professor at the University of California, Riverside. He is known for his work in the fields of quantum gravity, n-categories, and mathematical physics.

3. What is the role of mathematics in physics?

Mathematics plays a crucial role in physics as it provides the language, tools, and concepts needed to describe and understand the natural world. It allows physicists to make precise predictions and test their theories through mathematical calculations and models.

4. What is the relationship between mathematics and physics?

The relationship between mathematics and physics is symbiotic. Physics provides the real-world problems and phenomena for mathematics to solve, while mathematics provides the language and tools for physicists to understand and explain the physical world.

5. What is the importance of interdisciplinary research in mathematical physics?

Interdisciplinary research in mathematical physics is crucial as it allows for the collaboration and integration of ideas from different fields, leading to new insights and discoveries. It also helps bridge the gap between theoretical and experimental physics, allowing for a better understanding of complex phenomena.

Similar threads

Replies
10
Views
2K
  • General Math
Replies
2
Views
2K
Replies
7
Views
2K
Replies
38
Views
6K
  • Beyond the Standard Models
Replies
14
Views
4K
Replies
28
Views
4K
  • General Math
Replies
27
Views
3K
  • Quantum Physics
Replies
15
Views
4K
  • General Discussion
Replies
5
Views
2K
  • General Discussion
Replies
6
Views
2K
Back
Top