Hello Lawrence,

As a layperson I am not going to pretend to understand these new approaches and the maths being utilised but in your conclusions you state interestingly,

"Chaitan has advanced ideas that mathematics is not something that exists in any sort of coherent whole-

ness. It is more a sort of archipelago of logically consistent systems that sit in an ocean of chaos [21].

This chaos is a set of statements that are purely self-referential and have truth or falsehood by no logical

reason.

Possibly the quantum vacuum is similar. It may be a tangle of self-referential quantum bits, where

some sets of these exist in logical coherent forms. These zones of logical coherence might form a type of

universe. These logical coherent forms are then accidents similar to Chaitan0 s philosophy of mathematics.

It is very dicult to understand how this could be scienti cally demonstratedャ yet maybe regularities inシッpセシpセphysics described by mathematics exist for no reason at allョ「シッpセシpセツasicallyャ the mystery of the quantum vacuum is really expressed as the ァhierarchy problemァョ ノ think if you stare at the so called hierarchal gap then that is where the state of physics is at todayョ ノ like the idea of entanglement defining geometry somehow and this may be inherent in the blank space ィvoidゥ where the particle desert existsョヤhe ツig ヌap ィor whatever you may call itゥ maybe the potential pool from which the multiverses are generaed or at least some indication that the multiverse do indeed existsョ ヘaybe ヌユヤ convergences are different for different ユniversesョ チlsoャ maybe it is a matter of physics becoming more aligned with mathematics toward the quantum gravity realmョ ノn that we live in a エト world our physics ィニrom ヌreek physikaゥ is generally found to work ィempiricallyゥ from the platform of the sensory ィsensationゥ because of the physical nature of things at our low energyョ モensory as apart from intelligenceョ チt some point the physics may blur into the mathematics and the senseュdata ィempiricalゥ will be left behindョ ヤhis implies that intelligence will discover things by ァexplanatory powerァ and that the empirical apparatus ィmachinesゥ no longer yield anything useful in upward and onward explorationsョ ヘaybe エト is unique in that it implies a physical world in which physics is a workable contextョ ノf so then there might be an 「 end of the machineィsゥァ such as the フネテ where it just cannot yield the pure mathematical result as a physical ィsensationュobservationゥョ ヤhen we are at the 「end of physics「 in a different sense and a brave new world of mathematics ィexplaining thinsゥ is awaitingョ ィヘaybe the meaning of life is not エイ but エト サュゥ ゥ ノf you look at the hierarchal gap as a ァzen koanァ then there is more there than meets the eyeョシッpセシpセmark

    Mark,

    There are some indications that this might be happening. With high energy physics the LHC and tests of the standard model, supersymmetry and maybe some hints of exotic physics are probably the last of the sort of direct tests physics has enjoyed or wanted. The future may see theories tested in increasingly oblique or indirect ways. I hope that progress can be had this way through the 21st century.

    I see the prospect that physics becomes purely a mental game a bit disturbing. If we end up in the future where we are unable to make any test, no matter how indirect, of our physical theories we will be in a problem. In some ways it will be the end of physics as a science. Science does depend upon experimentation.

    Theoretically the heirarchy problem is solved with supersymmetry. It is just an open question of whether the LHC with 13TeV beam can find evidence of supersymmetry.

    Cheers LC

    Dear Lawrence,

    Now I had time to read yiour essay. I agree with a comment above: it is one of your best. Here are my own comments:

    1. You spoke about Bott periodicity but SU(N) has a 2-periodicity. It is the SO(N) group which admits an eight-fold periodicity (with integer coefficients, it is 4-periodic like the symplectic group for rational coefficients).

    2. Your double slit experiment is very interesting. You view it from the topological point of view. Maybe one should remark that this approach wa already done by Berry and others using geometric phases.

    3. you discussed it that HOTT will overcome the continuum approach. But homotopy needs a continuous family of maps (the deformation). It is central point in the approach and many results using implicitely the continuum (like Cerf theory, Whiteheads theorem etc.)

    4. I also don't understand why you want to change from continuum to discrete. I showed in a previous essay that a smooth manifold contains only finitely many information (from topology). Furthermore, the dynamics in quantm mechanics (or field theory) is smooth (and continuous). Only the spectrum of the operators is discrete.

    5. HOTT is a good approach but this proposal don't change the logic. Therefore Gödel works. Fro your approach, you need model theory (including forcing) to go over it. I remembered on a approach of Landsman to quantum mechanics using this approach. But my friend (and co-worker) Jerzy is the real expert.

    I like your part explaining the Turing machine (and the relation to the Entscheidungsproblem)

    Very good work

    Torsten

      In the end there is a bit of a duality here, or a dialectic of sorts. I think that what is measured in physics is discrete. We measure certain observables that have finite values, and quantum physics in particular bears this out pretty seriously. The continuum aspects to physics is pretty much a mathematical issue. Experimental data does not have any reference to infinitesimals or infinities. The calculus is based on the limit where the difference between two points becomes infinitesimally small. Physical experiments have not direct bearing on this.

      It is the case that homotopy does involve curves that are smoothly deformed into each other, but this is used to get the value of the homotopy group that is usually Z_2 or Z, where Z could be interpreted as just unbounded and infinity is avoided. The homotopies are then more directly related to the actual measured aspects of physics.

      Spacetime is a bit odd with regards to this. The Planck scale does indicate that one can't isolate a qubit in a region smaller than sqrt{G徴/c^3}. The Heisenberg microscope argument indicates that if one tries to isolate the Planck unit of area a quantum state is contained that it will scatter violently. This illustrates that using a large value of momentum to isolate particle demonstrates that spacetime has a discrete structure. This has an interpretation in the generalized uncertainty in string theory. On the other hand the FERMI and Integral spacecraft measurements of distant burstars found no dispersion of photons predicted by loop quantum gravity. This is a discrete form of quantum gravity, and it appears to be in trouble. In this experiment a very large ruler (measurements out to a billion light years) found that spacetime appears very continuous. This suggests a more general form of the uncertainty principle, where at one limit spacetime is continuous, and on the other limit discrete.

      The problem is that physics is not completely discrete or continuous. One of these FQXI essay contests went into this. The main thrust of my essay though is that the physical observables we measure, and physics is an experimental science, are discrete. Mathematics has what I might call a "body" and a "soul." The body is what is computed, and can be computed on a computer. The soul is all of the continuum stuff, calculus, infinitesimals etc, which have a weaker connection to experiments. I am not committed to any metaphysics about whether the soul exists or not. That is to say I have no belief or lack thereof with respect to what some might call Platonism.

      LC

      Lawrence,

      Ok I see the point. Of course the outcome of experiments is not a real number but as you also point out, one has problems to confirm the discrete structure of spacetime.

      I see one reason in the underlying topological nature of physics. You also discussed it in your essay. I will illustrate it in a an example:

      If two curves intersect then we measure the number of intersections (a discrete number, gauge or diffeomorphism invariant) but in most cases we are not interested in the coordinates of the intersection. Even sometimes we have problem to determine the coordinate system.

      I see the measurement values in physics in this fashion. But then one has a dichotomy between discrete (number of intersections) and continuous. The measured values are in principle discrete but you need the continuum to express the probabilites of quantum mechanics.

      I don't see any contradiction in this picture. Of course you will never measure that spacetime has a continuum structure but you can measure a discrete structure. And as you correctly point out: every experiment failed up to now.

      In principle I agree with you very much. In particular I like your body-and-soul picture

      Best

      Torsten

      In the subject of gauge theory a central aspect is the interaction form. These types of continuous homotopy or homotopy-like constructions involve curves that can be adjusted in certain ways so that an index is invariant or constant.

      I am back home, but of course I have a lot of things to attend to here. I will try to expand on things in the future. The whole subject involves orbit spaces, or quotents of groups or spaces. The subject of four-manifolds is centered around the moduli, a 5-dim space that in a hyperbolic setting can be the AdS_5. Of course the hyperbolic setting is not Hausdorff and there are other problems. However, this is a form of orbit space that is mapped to the quantum SLOCC types of theory.

      Cheers LC

      Dear Lawrence,

      You start with Goedel "no mathematical system can ever prove all possible atements as theorems about itself" and you propose HOTT (homotopy and type theory together) which of course fits the great categorization process at work in mathematics. I found a very recent preprint of Yuri Manin pointing the same direction http://xxx.lanl.gov/pdf/1501.00897.pdf

      "Information is physical" and you seem to suggest that "mathematics is physical", and both are quantum (in your conclusion). I like your approach and thank you for a very original and readable text with non-trivial concepts.

      This year, I am exploring the most discrete and anomalous/sporadic object ever found. I hope you can comment on it.

      Best.

      Michel

        This is in line with motives, categories and fundamental quantities as discrete elements from homotopy or varieties. This is as you say in line with category theory. In fact I think that ultimately the fundamental observables in the universe are topological categories, similar to Etale or Grothendieke theory.

        I see there being in a sense what I call the "body" of mathematics, which are those aspects of mathematics that can be, at least in principle, solved on a computer, and the "soul," which is the continuum mathematics of infinitesimals and infinities. My essay concentrates on the body, and not so much on the soul. I think for physical science the body is more directly associated with what is observed in the universe.

        The "body-soul" duality I tend to advocate is something one can "wear" as needed. I might by virtue of some argument want to invoke a mathematical objectivity of sets, continuous spaces and even to the point of Platonism. At other times I may put this entirely aside. In my essay I largely put this aside.

        Garrison Keillor has a feature on his show "Prairie Home Companion" called Guy Noir with the opening line, "On a dark night in a city that knows how to keep its secrets, one man seeks answers to life's persistent questions; Guy Noir, Private Eye." That is about my sense of the question about the relationship between physics and mathematics. We may never know for sure. Further, the universe may have a kernel of structure, symmetry and order to it that appears in a fractal-like form at different scales, but where nature also has this inherently chaotic or disordered nature to it as well, which I think is distilled down to the stochastic nature of quantum measurement.

        I will try to get to your essay in the near future. I just got back from some travelling.

        Cheers LC

        Dear Lawrence,

        Every scientist has his own way and velocity in going through the wonderful secrets of nature. At FQXi you already wrote many excellent essays like "Discrete time and Kleinian structures in Duality Between Spacetime and Particle Physics". I wonder if you already looked seriously at the concept of an orbifold? I see that it plays a role in the VOA associated to some sporadic groups. I also found http://arxiv.org/abs/math/0505431 for your topic of this year.

        I appreciate much the impetus you gave to my essay. After my first participation I learned how it works and don't take care to much of the lazzy inappropriate votes. You received from me the best endorsement. The goal is a continuing friendly discussion about the topics of mutual interest.

        Best.

        Michel

        Dear Michel,

        Of course I am aware of orbifolds with respect to superstring theory. The vertex operator algebra with partition function p(q) =tr q^N = Π_{N}1/(1 - q^n) is related to the Dedekind eta function. The trace results in the power [p(q)]^{24} In this there is a module or subalgebra of SL(2,Z), eg S(Z) ⊂SL(2,C), that forms a set of operators S(z)∂_z. This module or subgroup is then over certain primes, such as either Heegner primes or maybe primes in the sequence for the monster group. This is of course related to the Kleinian groups and the compactification of the AdS_5.

        The AdS_5 compactification issue is something I started to return to. I gave up on this after the FQXi contest over this because it did not seem to gather much traction. The AdS_5 = SO(4,2)/SO(4,1) is a moduli space. The Euclidean form of this S^5 =~ SO(6)/SO(5) is the moduli space for the complex SU(2) or quaterion valued bundle in four dimensions. The AdS_5 is then a moduli space, and the conformal completion of this spacetime is dual to the structure of conformal fields on the boundary Einstein spacetime. This moduli is an orbit space, and this is the geometry of quantum entanglements.

        If this is the case then it seems we should be able to work out the geometry of 3 and 4 qubits according to cobordism or Morse theory. My idea is that the Kostant-Sekiguchi theorem has a Morse index interpretation. The nilpotent orbits N on an algebra g = h + k, according to Cartan's decomposition with [h,h] вЉ‚ h, [h,k] вЉ‚ k, [k,k] вЉ‚ h

        N∩G/g = N∩K/k.

        For map Ој:P(H) --- > k on P(H) the projective Hilbert space. The differential dОј = = П‰(V, V') is a symplectic form. The variation of ||Ој||^2 is given by a Hessian that is topologically a Morse index. The maximal entanglement corresponds to the ind(Ој).

        In general orbit spaces are group or algebraic quotients. Given C = G valued connections and A = automorphism of G the moduli or orbit space is B = C/A. The moduli space is the collection of self or anti-self dual orbits M = {∇ \in B: self (anti-self) dual}. The moduli space for gauge theory or a quaternion bundle in 4-dimensions is SO(5)/SO(4), or for the hyperbolic case SO(4,2)/SO(4,1) = AdS_5. The Uhlenbeck-Donaldson result for the hyperbolic case is essentially a form of the Maldacena duality between gravity and gauge field.

        With your presentation of the П€-problem and the connection between the Bell theorem and Grothendieck's construction, you push this into moonshine group О"^+_0(2). This leads to the conclusion or conjecture, I am not entirely clear which, that the moonshine for the baby monster group is coincident with the the Bell theorem. The connection to the modular discriminant is interesting. This then gets extended to О"^+_0(5). Your statement on page 7 that g(q) = П†(q)^24 is much the same with what I wrote above. There is a bit here that I do not entirely follow, but the ideas are intriguing. I would be interested in knowing if the hyperbolic tilings of О"^+_0(5) have a bearing on the discrete group structure of AdS_5.

        You may be familiar with Arkani-Hamed and Trka's amplitudhedron. The permutations arguments that you make give me some suspicion that this is related to that subject as well. This would be particularly the case is the О"^+_0(5) is related to the tiling and permutation of links on AdS_5 given that the isometry group of AdS_5 is SO(4,2) ~ SU(2,2) which can be called the twistor group. This is connected with Witten's so called "Twistor-string revolution."

        Thanks for the paper reference. That looks pretty challenging to read. I am not quite at the level of a serious mathematician, though I am fairly good at math and well versed in a number of areas.

        Cheers LC

          Dear Lawrence,

          I am really impressed by your knowkedge of so many things related to string theory. I propose that we start a collaboration because we have so many things to share and we are also quite complementary. I was very enthousiastic in writing the essay because new relations between several parts of maths and physics was taking place as by magic and also thanks to the computer. This is unreasonable in some sense!

          My best wishes,

          Michel

          Dear Michel,

          That might be interesting. I have been pondering how it might be that ホ"^+_0(5) is related to the tiling and permutation of links on AdS_5. The quotient SO(4,2)/SO(4,1) = AdS_5 is not an entanglement group, at least not as I know, but this might have some relationship to entanglement. This might be through the ホ"^+_0(5). Particularly if this is related to Langlands in some way.

          Cheers LC

          I want to give your paper some time Lawrence..

          But I want you to know that your essay is on my radar of important papers to read for detail (and I have skimmed it), while the contest is still underway. I see that you mention Bott-periodicity, which is a topic I would have touched on in my essay - had I allowed myself adequate time. My entry this year is briefer than I intended, because I did not.

          I was happy to see that you mentioned the HOTT program, which I also find to be interesting and relevant. I especially like that their pursuit of univalent foundations is geometrically constructive, but it is tied to a rigorous analytic proof checking engine. I find this usage of constructivist Math as program code particularly elegant.

          More later,

          Jonathan

            In your Bio you wrote: "I think it is likely there is some subtle, and in some ways simple, physical principle that is not understood, or some current principle that is an obstruction."

            Einstein's constant-speed-of-light postulate is an obstruction. In a paper published in Science Miles Padgett showed that the speed of light (in a vacuum) is not a constant:

            "The speed of light is a limit, not a constant - that's what researchers in Glasgow, Scotland, say. A group of them just proved that light can be slowed down, permanently."

            Pentcho Valev

              Jonathan,

              I am working my way through reading these essays. I will try to get to yours before too long.

              The HOTT program does put mathematical foundations closer to algorithmic structures. It might be a way to address what I call the "body" of mathematics, which is that part of mathematics that is reduced to a computation. This can be computed in some way on a computer. The part of mathematics that involves infinitesimals and set theoretic infinities are what might be called the "soul." I don't deny the existence of this per se, but I don't think it has a direct connection to physics.

              I am working right now to find out how Bott periodicity applies with exceptional groups. The intention is to find a way that nilpotent sets can be mapped to max compact subsets as with the Kostant-Sekiguchi theorem.

              Cheers LC

              Pentcho,

              You spend a lot of time thumping this theme. Sadly, mostly this is just a demonstration that you don't know what you are talking about. I have no intention of getting into an argument over this, any more than I intend to argue for evolution to a committed creationist or global warming to a climate denialist.

              The speed of light is different in media, and some exotic media have been developed that can trap light. This does not falsify relativity.

              LC

              "The speed of light is different in media, and some exotic media have been developed that can trap light. This does not falsify relativity."

              They slowed down light IN A VACUUM:

              "Physicists manage to slow down light inside vacuum (...) ...even now the light is no longer in the mask, it's just the propagating in free space - the speed is still slow. (...) "This finding shows unambiguously that the propagation of light can be slowed below the commonly accepted figure of 299,792,458 metres per second, even when travelling in air or vacuum," co-author Romero explains in the University of Glasgow press release."

              Pentcho Valev

              This does not have a bearing on relativity, but is a quantum effect. One might say that the action of this mask that slows down photons can persist with a photon in much the same way as with the Wheeler Delayed Choice Experiment.

              LC

              Hi LC--

              I loved your essay. You covered an immense amount of ground--and did so in a cogent yet concise manner. Congratulations!

              I now turn to discuss some comments that you made in response to my essay. You raised the issues of super-Turing machines and the physics of super-tasking. I am not an expert on either. However, I have looked at several examples of physical super-tasking (e.g., carrying out an infinite number of physical operations within a finite time period). I did so because super-tasking appeared to be one place where physics might really need the concept of "physical infinity". As you know from my essay, I call into question the necessity and desirability of relying upon physical infinity.

              In fact, for me, super-tasking was the "tipping point" against physical infinity. In every example I looked at, I found that either: (a) the super-tasking scenario was unphysical and could not work realistically (e.g., because of friction, chaos, cannot propagate a signal faster than c, etc.); or (b) the underlying physics was so murky that I couldn't tell whether the scenario was physically realistic or not. I place super-tasking via Malament-Hogarth spacetimes in the latter category. Regarding super-tasking via M-H spacetimes, I strongly recommend Earman's book, "Bangs, Crunches, Whimpers, and Shrieks: Singularities and Acausalities in Relativistic Spacetimes". His Chapter 4 includes an excellent review of M-H super-tasking.

              Best regards,

              Bill.

                • [deleted]

                I am glad you liked my essay. I threw in the subject the MH spacetimes and supertasking because that seems to be something that needs to be considered for a number of reasons. I think that non-eternal black holes can't be supertasking machines. The black hole decays by Hawking radiation and disappears before i^в€ћ, so there is no continuous stream of infinite amount of information that can approach an observer as they approach r^-. However, this probably means that NP-complete problems can be quickly solved for the internal observer and the exponential time is replaced with ~ r - r_- near r_-. This may mean that the NP-complete problem of compactifying all CY manifolds is computed by black holes. I do agree that it may be unlikely that superTuring computing is possible in a way that the output can be read by an exterior observer.

                It is possible still that black holes are MH machines, even if they are finite in duration. This might be the case if black hole singularities are all the same thing. It could well be that black holes are all connected in a single quantum state that defines the singularity, and in a multiverse setting it could be that this is a great MH machine. The universe might then has underlying it a supertasking computer that is the ultimate quantum error correction code. I can go into this in detail if you want, though I will avoid that for now. Supertasking process in this setting is then associated with what were called shadow states. Shadow states are an old idea going back to the 1970s with S-matrix bootstrap physics. These are states which have T-matrix realizations, but they have no Born interpretation as associated with observables. The output of the MH spacetime machine can't be read!

                Cheers LC