If you are aware of an interesting new academic paper (that has been published in a peer-reviewed journal or has appeared on the arXiv), a conference talk (at an official professional scientific meeting), an external blog post (by a professional scientist) or a news item (in the mainstream news media), which you think might make an interesting topic for an FQXi blog post, then please contact us at forums@fqxi.org with a link to the original source and a sentence about why you think that the work is worthy of discussion. Please note that we receive many such suggestions and while we endeavour to respond to them, we may not be able to reply to all suggestions.

Please also note that we do not accept unsolicited posts and we cannot review, or open new threads for, unsolicited articles or papers. Requests to review or post such materials will not be answered. If you have your own novel physics theory or model, which you would like to post for further discussion among then FQXi community, then please add them directly to the "Alternative Models of Reality" thread, or to the "Alternative Models of Cosmology" thread. Thank you.

Please also note that we do not accept unsolicited posts and we cannot review, or open new threads for, unsolicited articles or papers. Requests to review or post such materials will not be answered. If you have your own novel physics theory or model, which you would like to post for further discussion among then FQXi community, then please add them directly to the "Alternative Models of Reality" thread, or to the "Alternative Models of Cosmology" thread. Thank you.

Contests Home

Current Essay Contest

*Contest Partners: Astrid and Bruce McWilliams*

Previous Contests

**Undecidability, Uncomputability, and Unpredictability Essay Contest**

*December 24, 2019 - April 24, 2020*

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

read/discuss

**What Is “Fundamental”**

*October 28, 2017 to January 22, 2018*

*Sponsored by the Fetzer Franklin Fund and The Peter & Patricia Gruber Foundation*

read/discuss • winners

**Wandering Towards a Goal**

How can mindless mathematical laws give rise to aims and intention?

*December 2, 2016 to March 3, 2017*

Contest Partner: The Peter and Patricia Gruber Fund.

read/discuss • winners

**Trick or Truth: The Mysterious Connection Between Physics and Mathematics**

*Contest Partners: Nanotronics Imaging, The Peter and Patricia Gruber Foundation, and The John Templeton Foundation*

Media Partner: Scientific American

read/discuss • winners

**How Should Humanity Steer the Future?**

*January 9, 2014 - August 31, 2014*

*Contest Partners: Jaan Tallinn, The Peter and Patricia Gruber Foundation, The John Templeton Foundation, and Scientific American*

read/discuss • winners

**It From Bit or Bit From It**

*March 25 - June 28, 2013*

*Contest Partners: The Gruber Foundation, J. Templeton Foundation, and Scientific American*

read/discuss • winners

**Questioning the Foundations**

Which of Our Basic Physical Assumptions Are Wrong?

*May 24 - August 31, 2012*

*Contest Partners: The Peter and Patricia Gruber Foundation, SubMeta, and Scientific American*

read/discuss • winners

**Is Reality Digital or Analog?**

*November 2010 - February 2011*

*Contest Partners: The Peter and Patricia Gruber Foundation and Scientific American*

read/discuss • winners

**What's Ultimately Possible in Physics?**

*May - October 2009*

*Contest Partners: Astrid and Bruce McWilliams*

read/discuss • winners

**The Nature of Time**

*August - December 2008*

read/discuss • winners

Current Essay Contest

Previous Contests

Contest Partners: Fetzer Franklin Fund, and The Peter and Patricia Gruber Foundation

read/discuss

read/discuss • winners

How can mindless mathematical laws give rise to aims and intention?

Contest Partner: The Peter and Patricia Gruber Fund.

read/discuss • winners

Media Partner: Scientific American

read/discuss • winners

read/discuss • winners

read/discuss • winners

Which of Our Basic Physical Assumptions Are Wrong?

read/discuss • winners

read/discuss • winners

read/discuss • winners

read/discuss • winners

Forum Home

Introduction

Terms of Use

RSS feed | RSS help

Introduction

Terms of Use

*Posts by the author are highlighted in orange; posts by FQXi Members are highlighted in blue.*

RSS feed | RSS help

RECENT POSTS IN THIS TOPIC

**Lawrence B. Crowell**: *on* 10/23/09 at 18:34pm UTC, wrote I would agree there needs to be some additional physics which selects for...

**Ray Munroe**: *on* 10/10/09 at 13:46pm UTC, wrote Dear Lawrence, Abhijnan's paper does contain more physics than most of the...

**Lawrence B. Crowell**: *on* 10/10/09 at 12:30pm UTC, wrote Ray, This problem is related in some ways to Perleman's proof of the...

**Ray Munroe**: *on* 10/7/09 at 20:45pm UTC, wrote Dear Abhijnan Rej, I finally finished reading your interesting essay. ...

**Ray Munroe**: *on* 10/7/09 at 17:06pm UTC, wrote Dear Abhjnan Rej, I am working my way through your interesting essay, but...

**Lawrence B. Crowell**: *on* 10/4/09 at 11:59am UTC, wrote I was unsuccessful at finding Istrail’s papers. So you might have to...

**Lawrence B. Crowell**: *on* 10/3/09 at 20:01pm UTC, wrote Yes I will look up Sorin Istrail's paper. These issues are of course...

**Abhijnan Rej**: *on* 10/3/09 at 14:39pm UTC, wrote Dear LC, Thank you so much for all the publicity :-) I agree with you...

RECENT FORUM POSTS

**H.H.J. Luediger**: "Even darker.... one can not easily downrate a racehorse to a donkey, but..."
*in* Undecidability,...

**Steve Agnew**: "Well thank-you, you are very kind. I have come to appreciate the fact that..."
*in* Quantum Dream Time

**Samuel Parsons**: "O also means a whole new universe in a box can be recreated a miniverse..."
*in* Outside the Box

**Samuel Parsons**: "Is it 127? It's always comes back here. Just saying also I'm trying to..."
*in* Outside the Box

**Zeeya Merali**: "INSPYRE, INternational School on modern PhYsics and REsearch, organized by..."
*in* Welcome to INSPYRE 2020 -...

**David Sloan**: "Dear Alan, For any discussion regarding the essay contest, the contact..."
*in* Undecidability,...

**Jonathan Dickau**: "Thank you Peter... For the kind words of explanation. It is looking like..."
*in* From Cosmic Lighthouses...

**Lawrence Crowell**: "Tejinder, I was intrigued by your FQXi essay. Thanks for this reference to..."
*in* Alternative Models of...

RECENT ARTICLES

*click titles to read articles*

**Building Agency in the Biology Lab**

Physicists are using optogenetics techniques to make a rudimentary agent, from cellular components, which can convert measurements into actions using light.

**Think Quantum to Build Better AI**

Investigating how quantum memory storage could aid machine learning and how quantum interactions with the environment may have played a role in evolution.

**Outside the Box**

A proposed quantum set-up that could predict your game-playing strategy resurrects Newcomb’s classic quiz show paradox.

**The Quantum Agent**

Investigating how the quantum measurement process might be related to the emergence of intelligence, agency and free will.

**First Things First: The Physics of Causality**

Why do we remember the past and not the future? Untangling the connections between cause and effect, choice, and entropy.

RECENT FORUM POSTS

RECENT ARTICLES

Physicists are using optogenetics techniques to make a rudimentary agent, from cellular components, which can convert measurements into actions using light.

Investigating how quantum memory storage could aid machine learning and how quantum interactions with the environment may have played a role in evolution.

A proposed quantum set-up that could predict your game-playing strategy resurrects Newcomb’s classic quiz show paradox.

Investigating how the quantum measurement process might be related to the emergence of intelligence, agency and free will.

Why do we remember the past and not the future? Untangling the connections between cause and effect, choice, and entropy.

FQXi FORUM

May 28, 2020

CATEGORY:
What's Ultimately Possible in Physics? Essay Contest (2009)
[back]

TOPIC: Turing's Landscape: decidability, computability and complexity in string theory by Abhijnan Rej [refresh]

TOPIC: Turing's Landscape: decidability, computability and complexity in string theory by Abhijnan Rej [refresh]

I argue that questions of algorithmic decidability, computability and complexity should play a larger role in deciding the ``ultimate" theoretical description of the Landscape of string vacua. More specifically, I examine the notion of the average rank of the (unification) gauge group in the Landscape, the explicit construction of Ricci-flat metrics on Calabi-Yau manifolds as well as the computability of fundamental periods to show that undecidability questions are far more pervasive than that described in the work of Denef and Douglas.

Abhijnan Rej was educated in the United States with Bachelor's and Master's degrees in mathematics from the University of Connecticut. He has carried out doctoral research in mathematical physics at the Max-Planck-Institute for Mathematics in Bonn, Germany working on algebro-geometric aspects of quantum field theory and is scheduled to defend his thesis later this year. He has been a Marie-Curie Early Stage Research Fellow at Durham University (UK) and a research scholar of the Clay Mathematics Institute.

Your paper looks interesting. I too have a stringy or braney paper down below. Strings are in a sense cellular automata, or processors, and there probably are connections with computational theory.

Cheers LC

report post as inappropriate

Cheers LC

report post as inappropriate

Dear Abhijnan,

Congratulations on an interesting paper. In mathematics people always find links between seemingly unrelated domains, and computability and decidability issues should make no exception. What I do not quite get is what this has to do with what is ultimately possible in physics? Do you want to claim that the landscape will be proven true or false by decidability considerations? According to Susskind, considerations of mathematical beauty or uniqueness should not play any role. Why would decidability be any different? In other words, what relevance would decidability or its lack of it has to do with proving or rejecting the landscape, or with extracting mathematical consequences from it?

report post as inappropriate

Congratulations on an interesting paper. In mathematics people always find links between seemingly unrelated domains, and computability and decidability issues should make no exception. What I do not quite get is what this has to do with what is ultimately possible in physics? Do you want to claim that the landscape will be proven true or false by decidability considerations? According to Susskind, considerations of mathematical beauty or uniqueness should not play any role. Why would decidability be any different? In other words, what relevance would decidability or its lack of it has to do with proving or rejecting the landscape, or with extracting mathematical consequences from it?

report post as inappropriate

LC and FM,

Thanks a lot for your interest and kind words!

LC,

Certainly cellular automata and computation theory are intimately related- certain CAs do give rise to NP-complete problems. What is not obvious to me is how we can rigorously convert questions about the string vacua into CA problems. (Actually most attempts to do actual "messy" physics on CAs turn out to be much more harder than anticipated, cf. Scott Aaranson's nice review of Wolfram's book.)

FM,

In my paper, I have tried to convey a belief that deciding the "right" point in the configuration of string vacua (whatever your notion of "right" may be, e.g. a point with a certain product of gauge groups arising from "exotic" D-brane configurations) may actually be a NP-complete decision problem. Denef and Douglas were the first to hint at this possibility and I have tried to add "mathematical firepower" to this argument.

Thanks a lot for your interest and kind words!

LC,

Certainly cellular automata and computation theory are intimately related- certain CAs do give rise to NP-complete problems. What is not obvious to me is how we can rigorously convert questions about the string vacua into CA problems. (Actually most attempts to do actual "messy" physics on CAs turn out to be much more harder than anticipated, cf. Scott Aaranson's nice review of Wolfram's book.)

FM,

In my paper, I have tried to convey a belief that deciding the "right" point in the configuration of string vacua (whatever your notion of "right" may be, e.g. a point with a certain product of gauge groups arising from "exotic" D-brane configurations) may actually be a NP-complete decision problem. Denef and Douglas were the first to hint at this possibility and I have tried to add "mathematical firepower" to this argument.

AR,

So now we should also add "NP complete" to "jury rigged" and "Rube Goldberg contraptions".

report post as inappropriate

So now we should also add "NP complete" to "jury rigged" and "Rube Goldberg contraptions".

report post as inappropriate

I have this program of looking at quantum information theory based on sphere packing. The 24-cell is the minimal sphere packing configuration in 4-dim space, which does predict the 26-dimensional bosonic string without the 2 tachyon vacuum modes. There is then further the Gosset polytope and E_8 on up to the Leech lattice. Each fundamental cell unit, say the Gossett polytope with 248 elements holds that many fundamental "letters" or units, and is then an elementary computational unit.

I don't particularly have an idea of searching for CA as the basis of string theory, but looking at quantum error correction codes as an underlying basis. This might lead to CA type of theory underneath things.

More later, I have been rather ill these last few days

Cheers LC

report post as inappropriate

I don't particularly have an idea of searching for CA as the basis of string theory, but looking at quantum error correction codes as an underlying basis. This might lead to CA type of theory underneath things.

More later, I have been rather ill these last few days

Cheers LC

report post as inappropriate

Dear Abhijnan,

Congratulations on your essay!

I have the following two non-technical questions.

The concluding two sentences of you essay are:

“Nevertheless, it is my belief that computation theory will play a larger role in any description of the Landscape in the years to come. If this is the case, it will certainly validate a [sic] often-repeated claim (cf. [23]) of the role of algorithmic decidablity [sic] in an ‘ultimate’ theory of the material universe.”

First, can you indicate, please, the specific place(es) in [23] in which the ‘claim of the role of algorithmic decidability in an ‘ultimate’ theory of the material universe’ is made?

Second, you have not made the following point clear. Before the string theory ‘mess’, computability didn’t play any role in physics, since the emphasis has always been, as it should be, on the structure of a physical model. As one might see from my essay and two of my papers mentioned there (ref. [11, 19]), I happened to believe that even in information processing the computability got foothold only temporarily due to the historically dominant role of logic in computer science and before the ‘conventional’ scientific considerations will enter the ‘true’ ;─) *science* of information processing , with the dominance of models for information processes *in nature*. So, the current state of string theory aside, do you really believe in the critical “role of algorithmic decidability in an ‘ultimate’ theory of the material universe”?

report post as inappropriate

Congratulations on your essay!

I have the following two non-technical questions.

The concluding two sentences of you essay are:

“Nevertheless, it is my belief that computation theory will play a larger role in any description of the Landscape in the years to come. If this is the case, it will certainly validate a [sic] often-repeated claim (cf. [23]) of the role of algorithmic decidablity [sic] in an ‘ultimate’ theory of the material universe.”

First, can you indicate, please, the specific place(es) in [23] in which the ‘claim of the role of algorithmic decidability in an ‘ultimate’ theory of the material universe’ is made?

Second, you have not made the following point clear. Before the string theory ‘mess’, computability didn’t play any role in physics, since the emphasis has always been, as it should be, on the structure of a physical model. As one might see from my essay and two of my papers mentioned there (ref. [11, 19]), I happened to believe that even in information processing the computability got foothold only temporarily due to the historically dominant role of logic in computer science and before the ‘conventional’ scientific considerations will enter the ‘true’ ;─) *science* of information processing , with the dominance of models for information processes *in nature*. So, the current state of string theory aside, do you really believe in the critical “role of algorithmic decidability in an ‘ultimate’ theory of the material universe”?

report post as inappropriate

Dear Abhijnan Rej, I have been working my way through your essay. This requires some background review and examination to understand. I will say I suspect you might be right with the fractal geometry statement: "I will claim that the moduli space of metrics on a Calabi-Yau manifold has a fractal structure and argue, following the work of Nabutovsky and Weinberger, that there are several computability issues associated to the explicit construction of a Ricci-flat metric on a Calabi-Yau manifold." I tend to think along similar lines. As there is AdS_{d+1} ~ CFT, and that for d = 2 or 3 the AdS may be tessellated by octahedra or 120-cell or the dual 600-cell. These cells act as the generator of great arcs similar to the 2-dim case with Poincare disks. The recursive nature of these arcs has a chaotic dynamics to it.

The NP-complete nature of the Bousso-Polchinsky F_4 flux on D7-brane to compute the cosmological constant I find interesting. My paper below discusses how the comsological constant is due to a quantum critical point. I am intending to include a more comprehensive paper on this, where the FQXI paper is more of a survey of calculations. In what I work with I utilize K-theory and the wrapping of D-branes. I am not sure if this has a strong or weak intersection with what you have written up here.

I have a bit of a question about the Gromov-Hausdorff metric. This appears to be a measure in the moduli space. For general relativity the moduli space is non-Hausdorff and I am wondering how one works up convergence conditions (page 7 of your paper) in general. Of course your paper primarily works with Calabi-yau spaces, which have elliptical moduli. So if you could comment some on this it might be helpful.

Cheers,

Lawrence B. Crowell

report post as inappropriate

The NP-complete nature of the Bousso-Polchinsky F_4 flux on D7-brane to compute the cosmological constant I find interesting. My paper below discusses how the comsological constant is due to a quantum critical point. I am intending to include a more comprehensive paper on this, where the FQXI paper is more of a survey of calculations. In what I work with I utilize K-theory and the wrapping of D-branes. I am not sure if this has a strong or weak intersection with what you have written up here.

I have a bit of a question about the Gromov-Hausdorff metric. This appears to be a measure in the moduli space. For general relativity the moduli space is non-Hausdorff and I am wondering how one works up convergence conditions (page 7 of your paper) in general. Of course your paper primarily works with Calabi-yau spaces, which have elliptical moduli. So if you could comment some on this it might be helpful.

Cheers,

Lawrence B. Crowell

report post as inappropriate

LG,

In Max Tegmark's paper, Goedelian incompleteness is brought up impilicitly in discussion type IV "reality", in his terminology. Now it is a fact that over the years both responsible scientists and those could be, admittedly uncharitably, called "crackpots" have time and again brought up the issue of undecidability in physical theory. What I attempted to do (admittedly following up on the work of Fredrik Denef and Michael Douglas) is to say that with the string Landscape, because of its _combinatorial nature_, we finally have a testing ground for such ideas in the contest of a relevant and interesting physical question.

LC,

The convergence conditions in the work of Nabutovsky and Weinberger is rather subtle. They work with $\latex Al(M)$ and impose path metrics on it. In fact if you see the paper by Acharya and Douglas on the finiteness of the Landscape, you see a discussion of the GH metric. In my work I have conjectured the existence of an analog of $latex Al(M)$ in terms of the ample cone; recently purely mathematical results show that there is indeed a convergence in the Gromov-Hausdorff topology for CY metrics.

In Max Tegmark's paper, Goedelian incompleteness is brought up impilicitly in discussion type IV "reality", in his terminology. Now it is a fact that over the years both responsible scientists and those could be, admittedly uncharitably, called "crackpots" have time and again brought up the issue of undecidability in physical theory. What I attempted to do (admittedly following up on the work of Fredrik Denef and Michael Douglas) is to say that with the string Landscape, because of its _combinatorial nature_, we finally have a testing ground for such ideas in the contest of a relevant and interesting physical question.

LC,

The convergence conditions in the work of Nabutovsky and Weinberger is rather subtle. They work with $\latex Al(M)$ and impose path metrics on it. In fact if you see the paper by Acharya and Douglas on the finiteness of the Landscape, you see a discussion of the GH metric. In my work I have conjectured the existence of an analog of $latex Al(M)$ in terms of the ample cone; recently purely mathematical results show that there is indeed a convergence in the Gromov-Hausdorff topology for CY metrics.

I looked into the prospect of incompleteness in physics some years back. To be honest the more I looked into it, even wrote a short paper on this back almost 20 years ago, the less attractive the idea became. It seems to me that Godelian incompleteness of physics might represent the end of physics. This might ultimately be the state of affairs at the Planck scale, or in some reciprocal sense the totality of the universe (multiverse etc) that Godel’s theorem applies. However, I would like to think we could work physics properly before reaching that sort of wall.

In my paper I work on how the Bousso-Polchinski approach to the cosmological constant is best considered according to a quantum critical point. My FQXI paper gives a survey of the ideas involved. This is physics similar to the breakdown of the Landau-Fermi electron fluid near the divergence of a quasi-particle mass. Ultiamtely what underlies this is statistical mechanics or stat-quantum mechanics. The combinatorics of many states near a Fermi surface is not explicitly computable, but there are K-theoretic topological numbers involved.

I am looking at the Denef & Douglas paper and Acharya and Douglas paper, so I will try to figure out what is happening there. As near as I can see the Gromov metric is really a sequence of metrics which converge to some infimum.

Cheers LC

report post as inappropriate

In my paper I work on how the Bousso-Polchinski approach to the cosmological constant is best considered according to a quantum critical point. My FQXI paper gives a survey of the ideas involved. This is physics similar to the breakdown of the Landau-Fermi electron fluid near the divergence of a quasi-particle mass. Ultiamtely what underlies this is statistical mechanics or stat-quantum mechanics. The combinatorics of many states near a Fermi surface is not explicitly computable, but there are K-theoretic topological numbers involved.

I am looking at the Denef & Douglas paper and Acharya and Douglas paper, so I will try to figure out what is happening there. As near as I can see the Gromov metric is really a sequence of metrics which converge to some infimum.

Cheers LC

report post as inappropriate

I feel Lev Goldfarb had a very good point, which remains unanswered. Math can be a wonderful tool for description, and even exploration, but certainly not the only tool. We sometimes get too carried away in wonderment of it's supposed 'powers'.

The motion and interaction of the solar systems planets and moons is beautiful and logical. Does it make any difference to them if math can describe and predict them or not? Our most powerful computers are of course nowhere near being able to do so for even only 3 objects in motion, and an undiscovered comet or large asteroid could throw it all out anyway. Is math central to their action and future? Of course not. Can math describe how any person will react, how a butterfly wing flapping will change the weather? what a spaceman will do in any circumstance. No, and never. It will always remain incomplete.

This is not to criticise or degrade math but to remind us we have other very important tools, mainly in the infinite quantum potential of our minds. We are in danger of forgetting this by focussing purely on counting all our eggs into one spacially defined basket.

The road through strings and branes has been very interesting to explore, but there are always times we should take stock, step way back to get an overview of ALL aspects of our existence, learn the lessons, and only then move on, in whatever new ways we will perceive.

report post as inappropriate

The motion and interaction of the solar systems planets and moons is beautiful and logical. Does it make any difference to them if math can describe and predict them or not? Our most powerful computers are of course nowhere near being able to do so for even only 3 objects in motion, and an undiscovered comet or large asteroid could throw it all out anyway. Is math central to their action and future? Of course not. Can math describe how any person will react, how a butterfly wing flapping will change the weather? what a spaceman will do in any circumstance. No, and never. It will always remain incomplete.

This is not to criticise or degrade math but to remind us we have other very important tools, mainly in the infinite quantum potential of our minds. We are in danger of forgetting this by focussing purely on counting all our eggs into one spacially defined basket.

The road through strings and branes has been very interesting to explore, but there are always times we should take stock, step way back to get an overview of ALL aspects of our existence, learn the lessons, and only then move on, in whatever new ways we will perceive.

report post as inappropriate

We have to remember that with physics we ultimately measure things, and these involve numbers. That is why we have mathematics. The same holds for even the most advanced of physics, where the idea of using Riemannian geometry or topology is to compute coupling strenths, orbits, scattering ampitudes, probabilities and so forth.

Cheers LC

report post as inappropriate

Cheers LC

report post as inappropriate

Dear Abhijnan Rej,

I think the turing algorithm on string theory landscape differ in Lambda-CDM and Coherent-cyclic universe models with some variations due to the inconsistency of space-time, plank time and nondeterministic polynomial time. Hence the decidability on the formulation of logics varies in both models as the Coherent-cyclic universe model has the hierarchy of heterogeneous-matters in trifurcated tree structure, whereas in Lambda-CDM universe model all formalisms are for a homogeneous universe and thereby their computability also differ.

Though the unification gauge group is applicable for both models, the Coherent-cyclic universe model does not require any average unification gauge group as this model does not explain any multiverse. The minimal supersymmetric standard model has much adaptability for Coherent-cyclic universe model and we may need variant in supersymmetric string theory as the decidability of string vacua in supersymmetric string theory have some inconsistency for this model. Altogether this article provides a good explanation on the complexity of decidability for the computability of universe in both models. So interesting is in it…!

With best wishes,

Jayakar

report post as inappropriate

I think the turing algorithm on string theory landscape differ in Lambda-CDM and Coherent-cyclic universe models with some variations due to the inconsistency of space-time, plank time and nondeterministic polynomial time. Hence the decidability on the formulation of logics varies in both models as the Coherent-cyclic universe model has the hierarchy of heterogeneous-matters in trifurcated tree structure, whereas in Lambda-CDM universe model all formalisms are for a homogeneous universe and thereby their computability also differ.

Though the unification gauge group is applicable for both models, the Coherent-cyclic universe model does not require any average unification gauge group as this model does not explain any multiverse. The minimal supersymmetric standard model has much adaptability for Coherent-cyclic universe model and we may need variant in supersymmetric string theory as the decidability of string vacua in supersymmetric string theory have some inconsistency for this model. Altogether this article provides a good explanation on the complexity of decidability for the computability of universe in both models. So interesting is in it…!

With best wishes,

Jayakar

report post as inappropriate

Hello dear Mr Abhijnan Rej,

A very instructive paper for me who doesn't know well the computational and strings languages ,if I can say .

Yes ideed in this optic ,the complexity which is already important in the physicality ,becomes still more complex with these computations .

The mathematical method nevertheless is very interesting ,like the ones of Lawrence ,Florin and Ray and others I forgot of course some people ,perhaps you could write a paper in team ,I am persuaded you are going to ponder interesting new computational methods because of course the complemenatrity is essential to optimize systems even a human creation if I can say .

Good luck too for the contest .

Best Regards

Steve

report post as inappropriate

A very instructive paper for me who doesn't know well the computational and strings languages ,if I can say .

Yes ideed in this optic ,the complexity which is already important in the physicality ,becomes still more complex with these computations .

The mathematical method nevertheless is very interesting ,like the ones of Lawrence ,Florin and Ray and others I forgot of course some people ,perhaps you could write a paper in team ,I am persuaded you are going to ponder interesting new computational methods because of course the complemenatrity is essential to optimize systems even a human creation if I can say .

Good luck too for the contest .

Best Regards

Steve

report post as inappropriate

Abhijnan Rej,

There are a number of articles here which brush on the issue which you present here with computation. I have steered a number of these authors, who I think are competent in physics, to your well written essay. My essay presents problems of quantum information and phase transitions with respect to this. It would be interesting to get a number of people dialoguing on these matters.

Cheers LC

report post as inappropriate

There are a number of articles here which brush on the issue which you present here with computation. I have steered a number of these authors, who I think are competent in physics, to your well written essay. My essay presents problems of quantum information and phase transitions with respect to this. It would be interesting to get a number of people dialoguing on these matters.

Cheers LC

report post as inappropriate

Dear LC,

Thank you so much for all the publicity :-)

I agree with you that some of us should seriously discuss issues related to computation and $latex \Lambda$/multiverse but probably once the "noise" of the competition dies out a bit.

I think one result you might find useful is the NP-completeness of solving the general 3d Ising model (due to Sorin Istrail). Perhaps this has something useful for you?

Best,

AR

report post as inappropriate

Thank you so much for all the publicity :-)

I agree with you that some of us should seriously discuss issues related to computation and $latex \Lambda$/multiverse but probably once the "noise" of the competition dies out a bit.

I think one result you might find useful is the NP-completeness of solving the general 3d Ising model (due to Sorin Istrail). Perhaps this has something useful for you?

Best,

AR

report post as inappropriate

Yes I will look up Sorin Istrail's paper. These issues are of course related to Ising problems, or lattice gauge problems, and I think in general with the physics of quantum matter. There quantum fluctuations domeinate the ordering of the system and determine the phase it exists within. This will be determined by quantum cricial points with interesting scaling principles.

I think that computational principles enter into the graph structure (nearest neighbor interactions etc) in discrete structures, whether this be spins in an Ising system, atoms and electrons with Skymrion physics, or four fluxes on D7-branes.

There is another essay which you might find ingeresting, It is Christian Corda's essay on gravity waves:

http://www.fqxi.org/community/forum/topic/477

I am a bit disheartened to see it fall below the 4.0 mark, as I think this is too a superior paper.

Cheers LC

report post as inappropriate

I think that computational principles enter into the graph structure (nearest neighbor interactions etc) in discrete structures, whether this be spins in an Ising system, atoms and electrons with Skymrion physics, or four fluxes on D7-branes.

There is another essay which you might find ingeresting, It is Christian Corda's essay on gravity waves:

http://www.fqxi.org/community/forum/topic/477

I am a bit disheartened to see it fall below the 4.0 mark, as I think this is too a superior paper.

Cheers LC

report post as inappropriate

I was unsuccessful at finding Istrail’s papers. So you might have to steer me in the right direction or send these to me.

I don’t know if you have considered in these analyses networks, such as Erdos or non-Erdos networks. For cluster analysis of phase transitions, where I think the cosmological constant is maybe fixed by a quantum critical point or transition, these matters might be very important.

Cheers LC

report post as inappropriate

I don’t know if you have considered in these analyses networks, such as Erdos or non-Erdos networks. For cluster analysis of phase transitions, where I think the cosmological constant is maybe fixed by a quantum critical point or transition, these matters might be very important.

Cheers LC

report post as inappropriate

Dear Abhjnan Rej,

I am working my way through your interesting essay, but wondered if you had accidentally made a circular argument that will affect your conclusions.

Specifically, on page 3, you determine the average rank of a D3-brane as 16/5 ~ 3 or 16/4 = 4.

In my own models, I equate rank with dimensionality. Thus, our 3 + 1 dimensional spacetime has revealed the Standard Model with rank 2 + 1 + 1, but has not revealed the rank 4 Georgi-Glashow SU(5) GUT (because an unbroken 4-D Spacetime allows more phenomena than a broken 3-D Space + 1-D Time).

My Yang-Mills models led me to consider a rank-4 SU(5) Georgi-Glashow, a rank-6 SU(7), a rank-10 SU(11) (Georgi also considered an SU(11))and a rank-12 SU(13). IF these Yang-Mills models are a proper way to consider gauge/ tensor unification, AND IF these gauge/ tensor ranks correspond to dimensions, then my model is 12 dimensional. (On a side note, if Emile Grgin and Florin Moldoveanu are correct about the relevance of quantions, then it seems unnatural to develop an odd-dimensioned 11-D M-theory out of even-dimensioned 2-D quantions. Now a 12 dimensional theory doesn’t sound so radical.)

True, the D3-brane is relevant to our 3 + 1 dimensional spacetime, but I don’t consider your extrapolations (based on your Ref [14]) into multiple dimensions to be any more foundational than my own (which are based on naturally-occurring crystalline symmetries).

I haven’t finished reading your paper. I may have more observations or questions later.

Good luck in the contest!

Ray Munroe

report post as inappropriate

I am working my way through your interesting essay, but wondered if you had accidentally made a circular argument that will affect your conclusions.

Specifically, on page 3, you determine the average rank of a D3-brane as 16/5 ~ 3 or 16/4 = 4.

In my own models, I equate rank with dimensionality. Thus, our 3 + 1 dimensional spacetime has revealed the Standard Model with rank 2 + 1 + 1, but has not revealed the rank 4 Georgi-Glashow SU(5) GUT (because an unbroken 4-D Spacetime allows more phenomena than a broken 3-D Space + 1-D Time).

My Yang-Mills models led me to consider a rank-4 SU(5) Georgi-Glashow, a rank-6 SU(7), a rank-10 SU(11) (Georgi also considered an SU(11))and a rank-12 SU(13). IF these Yang-Mills models are a proper way to consider gauge/ tensor unification, AND IF these gauge/ tensor ranks correspond to dimensions, then my model is 12 dimensional. (On a side note, if Emile Grgin and Florin Moldoveanu are correct about the relevance of quantions, then it seems unnatural to develop an odd-dimensioned 11-D M-theory out of even-dimensioned 2-D quantions. Now a 12 dimensional theory doesn’t sound so radical.)

True, the D3-brane is relevant to our 3 + 1 dimensional spacetime, but I don’t consider your extrapolations (based on your Ref [14]) into multiple dimensions to be any more foundational than my own (which are based on naturally-occurring crystalline symmetries).

I haven’t finished reading your paper. I may have more observations or questions later.

Good luck in the contest!

Ray Munroe

report post as inappropriate

Dear Abhijnan Rej,

I finally finished reading your interesting essay.

Regarding "computational complexity", Information Theory predicts complexity to scale as

N ln(N). If N~10^{500}, then this is a huge amount of complexity that will overwhelm any computer network with "busy beaver function".

Conjecture 3.1 is interesting to me because it implies that spacetime may fundamentally be discrete rather than continuous. This connects with ideas by other essay authors: Hans-Thomas Elze, Constantin Zaharia Leshan, and me.

Regarding your periods, they may be related to my lattice symmetries, and seemingly offer the only hope of simplifying this to a practical computation. Without some way to greatly simplify the problem at hand, this computation is doomed to your "fairly grim picture of what we can know about the Landscape".

Good Luck in the contest and with your thesis!

Ray Munroe

report post as inappropriate

I finally finished reading your interesting essay.

Regarding "computational complexity", Information Theory predicts complexity to scale as

N ln(N). If N~10

Conjecture 3.1 is interesting to me because it implies that spacetime may fundamentally be discrete rather than continuous. This connects with ideas by other essay authors: Hans-Thomas Elze, Constantin Zaharia Leshan, and me.

Regarding your periods, they may be related to my lattice symmetries, and seemingly offer the only hope of simplifying this to a practical computation. Without some way to greatly simplify the problem at hand, this computation is doomed to your "fairly grim picture of what we can know about the Landscape".

Good Luck in the contest and with your thesis!

Ray Munroe

report post as inappropriate

Ray,

This problem is related in some ways to Perleman's proof of the homotopy equivlanece of homology spheres. I have been doing some background reading on this problem and am in many ways suspect this has some very deep mathematics to it. If you take a toy balloon and twist it up into various shapes it will smapp back into a spherical shape. I assume the surface is perfectly frictionless so that tying it up does not clamp it into shape. This Hamilton flow is such that it is always guaranteed to bring the space back to its minimal configuration. If you look at Perelman's paper you will see how he assigns entropy functionals to this! So a three sphere is guaranteed to evolved by the Ricc flow

dg_{ab}/dt = -2R_{ab} + ...

This idea is carried over to higher dimensional spaces, and this evolution is conidered according to Turing machine logic. Look at the Novikov theorem quoted in Abhijnan's paper. So the logic is whether one can compute the minimal configuration of a space by Turing machine logic and assertain whether it is the same space as a known space in its minimal configuration. This is important for understanding all these strange Calabi-Yau spaces and whether one can compute them distinctly from each other.

The one thing which needs to be done is to carry this from homological theory to K-theory. K-theory is a much more powerful approach to topology, and it has connections to noncommutative geometry. So this is a vast domain which has many areas left unexplored. I am still patiently trying learn the foundations which Abhijnan quotes in this summary paper.

It is too bad this is not receiving a higher score than what it has garnered so far. This is one of the better papers in the whole lot submitted here.

Cheers LC

report post as inappropriate

This problem is related in some ways to Perleman's proof of the homotopy equivlanece of homology spheres. I have been doing some background reading on this problem and am in many ways suspect this has some very deep mathematics to it. If you take a toy balloon and twist it up into various shapes it will smapp back into a spherical shape. I assume the surface is perfectly frictionless so that tying it up does not clamp it into shape. This Hamilton flow is such that it is always guaranteed to bring the space back to its minimal configuration. If you look at Perelman's paper you will see how he assigns entropy functionals to this! So a three sphere is guaranteed to evolved by the Ricc flow

dg_{ab}/dt = -2R_{ab} + ...

This idea is carried over to higher dimensional spaces, and this evolution is conidered according to Turing machine logic. Look at the Novikov theorem quoted in Abhijnan's paper. So the logic is whether one can compute the minimal configuration of a space by Turing machine logic and assertain whether it is the same space as a known space in its minimal configuration. This is important for understanding all these strange Calabi-Yau spaces and whether one can compute them distinctly from each other.

The one thing which needs to be done is to carry this from homological theory to K-theory. K-theory is a much more powerful approach to topology, and it has connections to noncommutative geometry. So this is a vast domain which has many areas left unexplored. I am still patiently trying learn the foundations which Abhijnan quotes in this summary paper.

It is too bad this is not receiving a higher score than what it has garnered so far. This is one of the better papers in the whole lot submitted here.

Cheers LC

report post as inappropriate

Dear Lawrence,

Abhijnan's paper does contain more physics than most of the papers in this competition. In my opinion, too many of these papers contain more philosophy than physics. Philosophy is certainly important to physics ("natural philosophy"), but we are past the days of Aristotle - we do have real knowledge and data to work with as well. I am tired of reading modern "hand-waving" arguments about how TOE's do or don't exist that rely exclusively on previously existent theorems such Godel's Incompleteness Theorem or the Turing Machine. I prefer the Nike slogan "Just Do It!".

Although Abhijnan's paper does contain a lot of physics, his goal of computing the string ground state is absolutely impossible with modern computers in the absence of a real breakthrough in our understanding of strings or TOE's. He indicates the possibility that patterns might simplify the computation. Perhaps my lattices ARE the patterns he needs! My alliance with Mohamed El Naschie last year led me to think that the difference between the finite K12' minimal roots and the nearly infinite Universe can be represented with a fractal approximation. My papers emphasized the minimal roots of K12', which are our nearest-neighbor lattice points, but this lattice could also have next-nearest-neighbors (similar to the long roots of K12, and also similar to the hyperflavor leptons and quarks in my book), next-next-nearest-neighbors, and so on to infinity. This is the physical reason why a fractal approximation may be appropriate.

I have been rereading your Jordan paper. You combine some interesting mathematical structures in your paper. Your 27 dimensional Jordan transformation is the natural extension to Dray and Manogue's 10 dimensional transformation. I think your physical interpretation is different from mine, but I'm not certain of myself either - I'm still considering the problem, and how it might tie into Supersymmetry or Feynman diagrams.

Have Fun!

Ray Munroe

report post as inappropriate

Abhijnan's paper does contain more physics than most of the papers in this competition. In my opinion, too many of these papers contain more philosophy than physics. Philosophy is certainly important to physics ("natural philosophy"), but we are past the days of Aristotle - we do have real knowledge and data to work with as well. I am tired of reading modern "hand-waving" arguments about how TOE's do or don't exist that rely exclusively on previously existent theorems such Godel's Incompleteness Theorem or the Turing Machine. I prefer the Nike slogan "Just Do It!".

Although Abhijnan's paper does contain a lot of physics, his goal of computing the string ground state is absolutely impossible with modern computers in the absence of a real breakthrough in our understanding of strings or TOE's. He indicates the possibility that patterns might simplify the computation. Perhaps my lattices ARE the patterns he needs! My alliance with Mohamed El Naschie last year led me to think that the difference between the finite K12' minimal roots and the nearly infinite Universe can be represented with a fractal approximation. My papers emphasized the minimal roots of K12', which are our nearest-neighbor lattice points, but this lattice could also have next-nearest-neighbors (similar to the long roots of K12, and also similar to the hyperflavor leptons and quarks in my book), next-next-nearest-neighbors, and so on to infinity. This is the physical reason why a fractal approximation may be appropriate.

I have been rereading your Jordan paper. You combine some interesting mathematical structures in your paper. Your 27 dimensional Jordan transformation is the natural extension to Dray and Manogue's 10 dimensional transformation. I think your physical interpretation is different from mine, but I'm not certain of myself either - I'm still considering the problem, and how it might tie into Supersymmetry or Feynman diagrams.

Have Fun!

Ray Munroe

report post as inappropriate

I would agree there needs to be some additional physics which selects for an outcome on the so called landscape. That is why I think this is in part determined by a quantum phase transition. The part in my current paper with G_2 basis elements determined by a Dirac field are a part of the physics for this quantum critical point.

So far the outcome on the landscape is similar to finding a microstate on a microcanonical distribution. Some additional physics is required to give a distribution which has low entropy determined by a phase. With standard phase transitions as temperature decreases the decrease in entropy is associated with an increased ordering in the lattice configuration of molecules or atoms in a solid state. Similarly a quantum phase transition should indicate how the "needle" was able to land on a unique low entropy configuration for the early universe.

Cheers LC

report post as inappropriate

So far the outcome on the landscape is similar to finding a microstate on a microcanonical distribution. Some additional physics is required to give a distribution which has low entropy determined by a phase. With standard phase transitions as temperature decreases the decrease in entropy is associated with an increased ordering in the lattice configuration of molecules or atoms in a solid state. Similarly a quantum phase transition should indicate how the "needle" was able to land on a unique low entropy configuration for the early universe.

Cheers LC

report post as inappropriate

Login or create account to post reply or comment.