[deleted]
'Allo, monopole!
'Allo, monopole!
Some might say you've got it backward:
"Clearly, a number of important questions remain open. Of these, we mention here two. The first refers to continuous variables. The problem there is that with continuous variables, one has in principle an infinite number of complementary observables. One might tackle this question by generalizing the definition of (3.4) to infinite sets. This, while mathematically possible, leads to conceptually difficult situations. The conceptual problem is in our view related to the fact that we wish to define all notions on operationally verifiable bases or foundations, that is, on foundations which can be verified directly in experiment. In our opinion, it is therefore suggestive that the concept of an infinite number of complementary observables and therefore, indirectly, the assumption of continuous variables, are just mathematical constructions which might not have a place in a final formulation of quantum mechanics.
"This leads to the second question, namely, how to derive the Schrödinger equation. ..."
-- Caslav Brukner and Anton Zeilinger: "Quantum Physics as a Science of Information" (2005)
"It is not entirely clear what to make of the second piece of evidence presented in this essay: our inability to simulate the Standard Model on a computer. It is difficult to draw strong conclusions from a failure to solve a problem and the huge progress made in this area a decade ago suggests that it is probably just a very difficult issue waiting to be solved with fairly conventional techniques. I included it in this essay mostly as a warning shot to those who would insist that it is obvious that Nature is digital. But it may be worth considering the possibility that the difficulty in placing chiral fermions on the lattice is telling us something important: the laws of physics are not, at heart, discrete. We are not living inside a computer simulation."
Why would a discrete universe necessarily imply a computational one? You can't meaningfully say that something's a computation unless you can produce the algorithm. There's a whole domain of problems that are algorithmically intractable (as someone else has already pointed out in other threads, protein folding appears to be one such problem). There exist NP-Complete problems, and not even a quantum computer (as soon as one comes into being, if it does) will be able solve those in polynomial time.
How would that be proof of continua, infinities and infinetesimals?
Dear David,
I enjoyed your essay. I think you're right that unless discrete models can capture all the key symmetries of nature, including the properties of the chiral fermions you mentioned, we can't expect them to be useful.
I build discrete models of physical phenomena and like a good challenge. Replicating chiral fermions sound like a fine one.
Alex
Hi Eckard,
If you put a quantum particle in a compact box then its momentum and energy is necessarily discrete. If you put the same particle in an infinite line, then its momentum can be anything at all.
The same argument works in reverse. If the momentum of a particle is restricted in its range (i.e. a Brillouin zone) then the space it lives on is dicrete (i.e. a lattice).
The maths that underlies this is simply the Fourier transform. Your cosine transform is just the real part of the Fourier transform.
Best, David
Hi Rick,
There may well be distinctions between discreteness and computability but the main point remains:
No one knows how to write down a discrete version of the laws of physics.
No one knows how to simulate the laws of physics on a computer.
Where by "laws of physics" I mean those that have already been established, in particular the Standard Model. I could well imagine that the first problem above is solved but not the second (there is still something called the Fermi sign problem to overcome). I could also imagine that both problems are solved. But, at the present time, both of the above statements are true.
Hi Alex,
Good luck! It's a worthy problem!
Best, David
Hello,
You wrote: "The examples above show that discrete objects undoubtedly appear in Nature".
Undoubtedly is the word. I thought math and specifically algebra and numbers is our tool for modeling nature. I never thought that tool is nature itself.
Do I sense correctly that discrete is equated to integer in this essay? Reality may be discrete but laws may not be. Maybe I am missing something.
Your essay is interesting, though I tend to think the discrete and continuous aspects of physics are a type of complementarity. I don't see one as superior to the other. It is not possible to formulate a theory which conserves Noetherian currents in a discrete setting. However, in what I have done discrete structure (quotients) do have content with charges. These two perspectives are complements.
Cheers LC
David,
You have truly written a masterful essay. Simple enough to be read and enjoyed by all visitors to fqxi and yet insightful enough to teach experts a few things. Thank you for your excellent contribution.
Edwin Eugene Klingman
David,
A fine, well argued essay.
I agree with you on the above, second case, to the extent that current computational technology must necessarily convert the continuous function differential equations of classical physics to difference equations, and settle for approximations.
In the first case, the statement is true as you phrase it. However, writing down the laws is not necessarily equivalent to computing results. We've always known that the theory of quantum mechanics is mathematically incomplete. That does not obviate the possibility of quantum computing accurately modeling a physical quantum process.
All best, and good luck in the contest. I also have an entry ("Can we see reality from here?")
Tom
David
An enjoyable and not too testing essay. I've been testing models using something similar to the laws of Scrabble (and a few decades of research) which seem to have thrown up a possible fundamental solution which is highly falsifiable empirically, and which I nor anyone else so far can find the scientific problem with. I'd be eternally grateful if you'd have a look over my essay and tell me if you can see it.
Very many thanks
Peter
David,
the laws of physics are not, at heart, discrete. We are not living inside a computer simulation.
Nice job, but your ending leaves us hanging. I like analogue though I stick my neck out.
Jim Hoover
Dear David
You have written an extraordinary essay, I enjoyed very much. On my essay I try to explain something similar within other context. What you are exposing is just the fact that the properties we see about reality are strongly related to the tools we use to model and understand it. To put it in a few words what I try to explain on my essay, is that the duality between discrete and continuum is just a consequence of use classical logic for understand our continuum rulers and pointers. In this context the apparent discreteness of quantum reality is strongly related to the measurement, which is the tool that allow to use classical logic in our partial understanding of the quantum world. I also try to explain why we should go beyond this classical logic scheme if we want to understand completely quantum reality. I would like to hear you opinion about it.
Regards,
J. Benavides
Dear David
Although you do not share my discrete religion :), I can say that your essay is very nicely and clearly written.
I had not yet heard for the Kronecker's sentence, but it is very deep.
However, I will still analyse your thoughts.
I do not understand enough, how undiscrete quantum field theory agree with Planckian discretness of space-time? Do you have any hints on this question?
I was too late for this contest. So my discrete theory is here:
http://vixra.org/pdf/1103.0025v1.pdf
Guessed formulae gave me, that measured particle masses are really time average of integer values...
Do you have any comment or counter-arguments.
Regards Janko Kokosar
Dear David,
My theory Quantum statistical automata shows how laws of nature can arise from Integer numbers only. As a matter of fact you cannot design a dynamic universe from a simple fundamental entity(just a number)in any way other than the one shown.In another word, the correct way to look at how the universe works is to design it(or see how its been designed) using fundamental entities which have to be numbers i.e. have no sub-structure.
Humans are right about their astonishment of reality, while it is easy to understand that numbers and some relationship between them do have a reality but that a particular and unique relationship has given rise to our reality is the ultimate astonishment.
httt://www.qsa.netne.net
David,
Just to be pedantic: upthread you probably should've said "fermion" sign problem. Hardly crucial. It's also known more generically as the "numerical sign problem." It's officially NP-Hard. In theory the physics should be computable or simulable on a Turing Machine, but as there might not be enough time left in the universe there's no way of proving that the theory actually equals reality.
So consider the simulation of all related physics as unlikely ever to happen unless it's suddenly proven that P=NP, which isn't generally regarded as likely either.
David,
Intriguing and well argued. I agree with your premise that the integers are emergent. In fact, I described a method in my ICCS 2006 paper by which (with no appeal to Zorn's lemma) well ordering proceeds from inherent properties of the complex plane and Euler's geometric interpretation thereof. This is purely mathematical, of course; I find it awfully interesting that you get the result from a physical construction.
My essay in this competition, which I hope you get a chance to read before tomorrow, takes a non-technical tack, but I think it does expose, as your essay also does, the great subtlety of the continuous vs. discrete question.
Nice job. Thanks.
Tom
LOL. I must be getting essay fatigue. Scanning replies, I noticed that I had already made a remark early on, where I commented on the commentary, rather than on the piece itself -- which surely deserves a careful reading, which I am happy to say that I accomplished, along with awarding a deservedly high score.
Tom
Hey David, good to "see" you here. Just dropping by to say hi and let you know that enjoyed your essay. Hope to run into you soon...
Cheers,
Moshe