4 days later

Hello Lawrence Crowell,

First off, I'd like to say I like your style, and the way that you seem to put issues in their proper perspective! It brings a calming sense of reason to an area of question that retains so much hype that it no doubt triggers numerous thoughts every time one hears Q.M. and locality are mentioned. Secondly, I don't think determinism should dictate the development of a new theory. It, as your historical view has made clearer to me, is an idea used to adapt old world views into current problems.

About the idea that the computer, either a real one or the universe as one idea, being faulty because it doesn't model the entire set of events, could it be that this is not against saying that there is a separateness between real entities in space which unaccounted for doesn't describe all events in the universe? Or, does a clock here have to do with one spatially separated over there? Not being mathematically trained enough to see clearly the math in or around the black holes, I will leave this comment with one question only. As an aside, I'm glad to hear someone say "bottom-up" once in a while.

Best,

W. Amos Carine

    The relationship between events in the universe and causality was noted by David Hume to not have a strict logical relationship. As I indicate in a footnote Godel's second theorem according to modal operations is a form of Hume's argument about causality =/= logic.

    I sort of have to make this a bit brief due to other things I have to attend to now. I will say that the issue of clocks with a spatial separation and synchronization is a subject of considerable interest. This involves Cauchy data on spatial surfaces and how to integrate the Einstein field equations.

    Cheers LC

    The self computation of the universe probably leads to this Turing-Godel limit with Lambda calculus. There is clearly a computational aspect to the universe, which is a causal structure.

    I will take a look at your essay soon. The Planck constant is in naturalized units just "one," and does probably reflect a unit of of natural numbers that sum up to give the total action. I notice yours seems to be in the latest introduction of new essays.

    Cheers LC

    4 days later

    Lawrence,

    When reading; "A model of the physical universe encoded by algorithmic means will not compute reality" I suspected I may enjoy reading your essay. I was right.

    You present a very level and balanced view, and more readable by the target audience than previous years. I do suggest something rather radical regarding that above sentence myself!

    I also found other resonances with mine; "It is entirely possible this could be used to argue for a 'top-down' physics with the emergence of higher level properties." which I identify in terms of higher 'sample spaces' and subsets and test against the EPR paradox.

    I also agree your analysis; "GR is a geometric theory of spacetime, which means that quantum gravity is quantization of spacetime itself. It is not entirely clear what this means. A number of questions have to be answered, and currently there are obstacles in our current theories which do not permit us to address these issues well."

    But are the apparent 'obstacles' it not only 'assumptions'? so testing other assumptions may be fruitful (without the feared ether), i.e. that quantized atomic scattering to c maintains the SR postulates locally, (the LT then emerges naturally as a know optical effect).?? (You may recall from my last years effort how modal logic applies to that case).

    I hope you can read mine and look forward to your and comments. I'm sure you'll stay in a more elevated position this year.

    best of luck.

    Peter

      Hi Peter,

      I am true to my usual trend falling behind in reading papers on this list. I just did a scan of your paper. You do reference Godel's paper on prepositional logic. The main point of my work is that any Lambda-calculus or Turing machine approach to the structure of a causal system is bound to be incomplete. I do get a sense in reading the first couple of pages of your essay that you are leading into something similar.

      I probably will not get to reading papers much until this weekend. I'll post my observations when I do. As I said I am falling behind, and I notice another lot of papers showed up on the list today.

      Cheers LC

      Hi Lawrence,

      I've just had a complete read and I really enjoyed your essay. The quantum nature of information does seem to point towards us concluding that neither it nor bit are more fundamental. I reached a similar conclusion in my essay. I particularly like the idea that this may have applications in consciousness.

      Regards

      Antony

        Hi Torsten,

        I remember reading an article back in the 1990s about how the classification of exotic R^4s was not enumerable, which had connections to Godel's theorem.

        The exotic R4 structure has its origin in the Casson handles as pointed out by Freeman. A thickened disk D^2 --- > D^2xR^2 can produce various structures, which by the self duality of four dimensions leads to these strange conclusions. In scanning your paper I see you invoke Casson handles. The number of such structures by h-cobordism turns out to be infinite, which as I say above, I remember this to be nonenumerable. This result was proven by one of the big mavens in this area, Atiyah, Freeman, Taubes, ... ?

        The one element of this is that the e8 Cartan matrix as the eigenvalued system for an E8 manifold, an exotic R4. It has been a while since I have studied these matters, but as I remember this tells us how to tie 3-manifolds in 7 dimensions in the Hopf fibration S^3 --- > S^7 --- > S^4. The dual to this structure are 4-manifolds. The 7 manifold this knotting is performed is in the heterotic S^7 --- > S^{15} ---- > S^8, and the e8 Cartan matrix gives the eigenvalues for the 7-space.

        The interesting thing about the E8 is that the 8-dimensional space is equivalent to the group in a lattice construction; the root-weight space is ~ the space itself. The E8 manifolds of Freeman are I think embedded in the set of possible 8-spaces. This suggests a duality between the smooth manifold in 4-dim and a discrete or noncommutative manifold in a quantum sense.

        Physically this seems evident from data obtained so far. Measurements of the dispersion of light from extremely distant sources invalidate a discrete structure to spacetime. This tells us that a measurement of spacetime structure by measurement of photons that traverse a large distance give no signature of grainy structure. Yet a lattice perspective of spacetime with the Grosset polytope and the 120-polytope of quaternions in 4-dim would suggest a noncommutative geometry. However, if the lattice is equivalent to the space, then this smooth structure is dual to a grainy picture of spacetime. This structure should emerge in an extremely high energy experiment that probes small regions, rather than testing across vast distances.

        Cheers LC

        The icosian or 120-cell has two quaternions with length (1/2)(1 +/- sqrt{5}) where the plus one has length 1.618..., which is the golden mean. In fact these quaternions define something called the golden field in a Galois ring. This is related to the Fibonacci sequence.

        Cheers LC

        8 days later

        Dear Lawrence,

        Your essay is very stimulating and certainly enrich the 'it from bit' discussion. It contains several deep relationships between quite sophisticated branches of maths and foundational questions in physics.

        First I like that you put the information paradigm in a historical perspective as was the 'clockwise universe'. Then I learned about modal logic from you. I wonder if it cannot be related to the current Abramski's work relating logic and contextuality as in http://xxx.lanl.gov/abs/1203.1352

        An important statement of yours is 'this nonlocality is an undecidable proposition of the above modal theory of causality'. For me, it means that the modal approach is not the right one for approaching the subject, as is the von Neumann interpretation of quantum mechanics. My view (to my understanding, Bohr would agree) is that the quantum universe is unknowable, this is even worse that undecidable, because we can only know what is compatible with the questions we ask (through observables), i.e. quantum reality is contextual.

        I agree with you that non-associativity, in addition to non-commutativity, may be very relevant for discussing these issues, as is the 'octonionic' Fano plane or further generalizations, see http://arxiv.org/abs/0712.1647.

        With my colleagues we just found that the number of automorphisms of the G2(2) geometry (it is related to the octonions as explained in John Baez http://xxx.lanl.gov/abs/math/0105155) is the number of three-qubit pentagrams as well. Thus several of your ideas fit mines.

          You state that the quantum universe is unknowable. I would say there is some limit to how much we can know about it. This limit is due to the cut-off in measurable physics at the Planck or string scale. As one considers scales beneath the string length and then beyond the Planck scale spacetime folds up onto itself in such ways that quantum fluctuations result in closed timelike curves and things that are "paradoxical." This is probably a domain that is fundamentally unobservable.

          A rather simple argument can illustrate how this cut-off on the extremely small scale manifests itself on a larger and I think potentially a cosmological scale. The amplitude computed in a path integral is a summation over 3-metrics g

          Z = ∫D[g]e^{iS(g)},

          where a standard method is to Wick rotate the phase e^{iS(g)} --- > e^{S(g)}. This is a way to get attenuation of high frequency modes, and it is a "bit of a cheat," though at the end one must recover the i = sqrt{-1} and "undo the damage" for the most part. This phase then becomes e^{-GM^2}, which illustrates how the action and entropy are interchangeable. The integral measure is the size of the phase space of the system ~ exp(S). The amplitude is then on the order

          Z ~ e^{S}e^{-S} = 1.

          This holds universally no matter how large the black hole is. A black hole is a sort of theoretical laboratory for the universe at large, where the universe has a cosmological horizon at r = sqrt{3/Λ}. The implication is there is a limit to what we can possibly observe about the foundations of the universe, which probably touch on the amount of quantum information available with respect to quantum gravity/cosmology.

          We have of course two different quantities. The volume of the phase space is equal to the exponential of the entanglement entropy of the system, while the e^{-S} is exponential of the thermal entropy. The amount of information is S_{th} - S_{ent}, so this amplitude is not going to be exactly one. There is some "kernel" to the black hole which corresponds to an elementary unit of information. This means that quantum information is ultimately conserved, and that the number of degrees of freedom for a black hole in spacetime is a constant, regardless of the size of the black hole. It also means that the universe as a whole (here thinking of a toy universe with just a black hole) has a finite limit to its domain of observability.

          The application of modal logic is a sort of "boilerplate" to examine causality and locality. Further, my considerations are quantum field theory instead of quantum mechanics. QFT involves operators which act on a Fock space to describe quantum states or QM. So this is an underlying physics. Your work seems to illustrate the "traces" of this sort of underlying QFT in matters of CHSH nonlocality.

          The paper by Dzhunushaliev looks interesting. Your work with G2(2), which I am presuming is a split form of G2, focuses on the automorphism of the E8 or octonions. The F4 is a stabilizer of E8 (constant under G2 action). The automorphism on E8 defines an invariant interval on C^4 as a twistor space. This in higher forms, say on the magic square can construct generalizations on H^2 and then O, within the CxO, HxO and OxO hierarchy of the magic square. Generalizing the H^2 twistor space to octonions gives O^2, and scattering amplitudes are functions on copies of OP^1, subject to SL(2,O) = Spin(9,1) transformations. Embedding O^2 in O^3, gives OP^1 as a line in OP^2 and SL(2,O)=Spin(9,1) becomes the subgroup of SL(3,O) = E6(-26), consisting of transformations (collineations) that fix a point in OP^2.

          The J^3(O) or O^3 has connections to SO(2,1) and I think this rather erudite stuff connects to anyons on a 2-space plus time constructions. All of this I think is some sort of superselection rule on this sort of theory. The question might then be whether your idea about [0, 1, ∞] as the dessin d'enfant is some sort of category theory on the superselection rules according to curves on Ricci flat spaces, such as (K_3)^2 for E_6 twistor theory.

          Cheers LC

          Michel,

          I reread your paper again this last Sunday. The desin d'enfant leads at the end to Mermin's pentagons. These are of course an aspect of the Kochen-Specker theorem. This is of course the main theorem on contextuality in QM. In my paper I discuss the quantum homotopies of associators at various dimensions, which are pentagonal systems. I copy this post on my essay blog page, so you can respond to this there as well.

          I notice you have considerable interest in the G_2 group, which is the automorphism of the E8 group. The F_4 group is a centralizer in E8, whereby G_2 action keep it fixed; the elements of F_4 and G_2 commute.

          The Kochen-Specker theorem is connected with the F_4 group, or the 24 cell. The 117 projectors with the original KS theorem in 3-dim Hilbert space is simplified by considering a four dimensional Hilbert space, or a system of 4 qubits. This involves only 18 projector operators. The space 24-cells is a system of root vectors for the F_4 group. Each root vector is paired with its negative to define a line through the origin in 4d space. These 24 lines are the 24 rays of Peres. The root vectors are

          1 (2,0,0,0) 2 (0,2,0,0) 3 (0,0,2,0) 4 (0,0,0,2)

          5 (1,1,1,1) 6 (1,1,-1,-1) 7 (1,-1,1,-1) 8 (1,-1,-1,1)

          9 (-1,1,1,1) 10 (1,-1,1,1) 11 (1,1,-1,1) 12 (1,1,1,-1)

          13 (1,1,0,0) 14 (1,-1,0,0) 15 (0,0,1,1) 16 (0,0,1,-1)

          17 (0,1,0,1) 18 (0,1,0,-1) 19 (1,0,1,0) 20 (1,0,-1,0)

          21 (1,0,0,-1) 22 (1,0,0,1) 23 (0,1,-1,0) 24 (0,1,1,0)

          (I hope this table works out here) Consider these as 24 quantum states |ψ_i>, properly normalized, in a 4 dimensionl Hilbert Space e.g. it might be a system of two qubits. For each state we can define a projection operator

          P_i = |ψ_i)(ψ_i| --- I have to use parentheses because carrot signs fail in this blog.

          P_i are are Hermitian operators with three eigenvlaues of 0 and one of 1. They can be considered as observables and we could set up an experimental system where we prepare states and measure these observables to check that they comply with the rules of quantum mechanics. There are sets of 4 operators which commute because the 4 rays they are based on are mutually orthogonal. An example would be the four operators P_1, P_2, P_3, P4.

          Quantum mechanics tells us if we measure these commuting observables in any order we will end up with a state which is a common eigenvector i.e. one of the first four rays. The values of the observables will always be given by 1,0,0,0 in some order. This can be checked experimentally. There exist 36 sets of 4 different rays that are mutually orthogonal, but we just need 9 of them as follows:

          {P2, P4, P19, P20}

          {P10, P11, P21, P24}

          {P7, P8, P13, P15}

          {P2, P3, P21, P22}

          {P6, P8, P17, P19}

          {P11, P12, P14, P15}

          {P6, P7, P22, P24}

          {P3, P4, P13, P14}

          {P10, P12, P17, P20}

          At this point you need to check two things, firstly that each of these sets of 4 observables are mutually commuting because the rays are othogonal, secondly that there are 18 observables each of which appears in exactly two sets.

          Now assume there is some hidden variable theory which explains this system and which reproduces all the predictions of quantum mechanics. At any given moment the system is in a definite state, and values for each of the 18 operators are determined. The values must be 0 or 1. with the rules they are equal to 1 for exactly one observable in each of the 9 sets, the other three values in each set will be 0. Consequently, there must be nine values set to one overall. This leads to a contradiction, for each observable appears twice so which ever observables have the value of 1 there will always be an even number of ones in total, and 9 is not even.

          To add another ingredient into this mix I reference , which illustrates how the Kochen-Specker result is an aspect of the 24-cell. The 24-cell has a number of representations. The full representation is the F_4 group with 1154 Hurwitz quaternions. The other is the B_4, which is the 16 cell Plus an 8-cell, and the other is D_4 which is three 8-cells. The more general automorphism is then F_4. The quotient between the 52 dimensional F_4 and the 36 dimensional so(9) ~ B_4 defines the short exact sequence

          F_4/B_4:1 --> spin(9) --> F_{52\16} --> {\cal O}P^2 --> 1,

          where F_{52\16} means F_4 restricted to 36 dimensions, which are the kernel of the map to the 16 dimensional Moufang or Cayley plane OP^2. The occurrence of 36 and 9 is no accident, and this is equivalent to the structure used to prove the KS theorem.

          F_4 is the isometry group of the projective plane over the octonions. There are extensions to this where the bi-ocotonions CxO have the isometry group E_6, HxO has E_7 and OxO has E_8. This forms the basis of the "magic square." F_4 plays a prominent role in the bi-octonions, which is J^3(O) or the Jordan algebra as the automorphism which preserves the determinant of the Jordan matrix

          The exceptional group G_2 is the automorphism on O, or equivalently that F_4xG_2 defines a centralizer on E_8. The fibration G_2 --> S^7 is completed with SO(8), where the three O's satisfy the triality condition in SO(8). The G_2 fixes a vector basis in S^7 according to the triality condition on vectors V \in J^3(O) and spinors θ in O, t:Vxθ_1xθ_2 --> R. The triality group is spin(8) and a subgroup spin(7) will fix a vector in V and a spinor in θ_1. To fix a vector in spin(7) the transitive action of spin(7) on the 7-sphere with spin(7)/G_2 = S^7 with dimensions

          dim(G_2) = dim(spin(7)) - dim(S^7) = 21 - 7 = 14.

          The G_2 group in a sense fixes a frame on the octonions, and has features similar to a gauge group. The double covering so(O) ~= so(8) and the inclusion g_2 \subset spin(8) determines the homomorphism g_2 hook--> spin(8) --> so(O). The 1-1 inclusion of g_2 in so(O) maps a 14 dimensional group into a 28 dimensional group. This construction is remarkably similar to the moduli space construction of Duff et al. .

          Cheers LC

            Dear Lawrence,

            Thank you for these scholarly remarks.

            About the 18-9 proof and the 24-cell, there is the interesting work of Waegell and Aravind http://xxx.lanl.gov/abs/1103.6058. I like to see the 9 bases and 18 rays as the vertices and edges of the Mermin square, as explained in equation (6) of http://xxx.lanl.gov/abs/1204.4275. Now there is the dessin d'enfant of Fig. 3 of my essay that adds the algebraic curve/Riemmann surface view to this building block of two-qubit contextuality.

            As you emphasize well, the next step is about the building blocks of three-qubit contextuality, they are related to G2 and E8. I already met the Weyl group of E8 for three qubits and see it as just one step of a higher order hierachy leadind to the Leech lattice, as in http://xxx.lanl.gov/abs/1002.4287.

            For sure you would also have something to say about this.

            All the best,

            Michel

            Michel,

            I don't have as much time this morning to expand on this, so I will just make this rather brief for now. I will try to expand on this later today or tomorrow.

            The three-qubit entanglement corresponds to a BPS black hole. The four qubit entanglement is the case of an extremal black hole. I think there is an underlying relationship between functions of the form (ψ|ψ) = F(ψψψ), an elliptic curve with the cubic form corresponding to the 3-qubit, and the "bounding" Jacobian curve that defines a quartic for G(ψψψψ). This I think is some sort of cohomology.

            The G2 I think defines a frame bundle on the E8 which defines the F4 condition for 18 rays in the spacetime version of Kochen-Specker.

            As I said I should have more time later to discuss this in greater depth.

            Cheers LC

            5 days later