The Dome: A simple violation of determinism in Newtonian mechanics (2005)
sites.pitt.edu
sites.pitt.edu
What this does not tell us is how it somehow violates any kind of determinism.
> Then there are many solutions of Newton’s law F = ma. In one the ball remains at rest on top of the dome. But in others, it starts to roll down the dome in some arbitrary direction! Moreover it can start rolling at any time.
That is just not going to happen in (classical) reality, though. Because once you properly set the initial state of the ball (force=velocity=0, or any other values), then the solution becomes unique and that’s it, there is one possible trajectory. The ball starting to move without anything acting on it would violate other principles of classical mechanics. It’s not going to happen regardless of whether that trajectory is consistent with Newton’s second law.
> That is just not going to happen in (classical) reality, though. Because once you properly set the initial state of the ball (force=velocity=0, or any other values), then the solution becomes unique
If you set velocity = velocity = 0, then the ball staying at the top is a valid solution, AND the ball rolling down the hill (in any direction) is also a valid solution.
If this sounds confusing (it did for me), look at the example at the end, it's possible to do the reverse - send the ball rolling up the hill with perfect velocity, such that it stops at the very top after time T. And if that is possible, the opposite is also possible because NM is time reversible.
Yes, that is exactly right. Not only in any direction, but beginning at any time.
The easiest way to see this is described at the end: imagine the ball is initially in motion and the initial conditions are precisely those that bring it precisely to rest at the apex of the dome at some time T. (Making this possible is the reason the dome has to be a specific shape. Not all shapes allow this.) The time-reversal of this motion is the ball beginning to move in some arbitrary direction at some arbitrary time.
The "ball rolling to the top of the sphere" requires infinite time. "Some arbitrary time" is an expression of a finite time.
You cannot simple mix ideas of finite and infinite and have the result make sense, as anyone who has stayed at the Hilbert Hotel knows. https://en.wikipedia.org/wiki/Hilbert's_paradox_of_the_Grand...
The next step would be to verify that the paths always stay on the surface. The mathematics shown says the point always follows the surface, but I don't see a demonstration that that's true.
I no longer have the skills to easily do this calculation.
EDIT: Oh man, I used to be a lot better at this. I remember the mgh = 1/2 m v^2 and the slope calculation, but can't figure out how tell when the falling point mass detaches from the slope. If it detaches at h=0 then there's no physically viable reversed path on the surface.
No it doesn't, because it's not a sphere. The dome is specifically designed so that it takes finite time. There's zero involvement of infinity, or mixing infinity, here.
Can you explain why?
The skit at https://www.youtube.com/watch?v=xPzR_D9qKeo gives some examples. The one at https://youtu.be/xPzR_D9qKeo?t=165 is pretty close to this example "if it's in physics, it's invertable."
That doesn't mean that if it's invertable it's in physics.
Are the inverse dynamics of this system still in Newtonian physics? For example, is is the inverse path actually on the described surface or does it detach? How does a moving mass have an instantaneous jerk with no change in velocity?
This is a red herring. It sounds plausible, but there is no trajectory that does this. This is the weakest paragraph in the original post, and I am not sure whether this is intentional (because the demonstration sounds truthy if you don’t go too deep in the details) or whether it was not entirely thought out. There is some discussion about the time-reversal thing here: https://blog.gruffdavies.com/2017/12/24/newtonian-physics-is... . There isn’t much to discuss however, because ultimately it is just a distraction.
>To remain Newtonian and preserve determinism, we can exclude the singular point by constraining the higher orders to zero whenever the net force is zero. We lose time symmetry for this special case if we do this. If we wish to keep that, then we have to accept that Newtonian mechanics is incomplete and consider higher order differentials.
And from Dr. Norton's article:
>The solutions (3) are fully in accord with Newtonian mechanics in that they satisfy Newton's requirement that the net applied force equals mass x acceleration at all times.
>An important feature of Newtonian mechanics is that it is time reversible, or at least that the dynamics of gravitational systems invoked here are time reversible.
Dr. Davies is saying that there's three options: a) relaxing time-reversal symmetry (at singularities) from Newtonian mechanics, by interpreting Newton's First Law to apply to higher derivatives; b) considering Newtonian mechanics to be incomplete, and make (unspecified) choices about what trajectories of higher-order derivatives are acceptable; or c) accept non-determinism.
Dr. Norton is defining "Newtonian mechanics" as necessarily having time-reversal symmetry, which prevents the first solution. He is also defining it as specifying acceleration only (which I think is quite reasonable), preventing the second solution. Therefore he's concluded the third solution: This mathematical stating of Newtonian mechanics is non-deterministic.
What this does not change, however, is that the dome does not demonstrate non-determinism. The apparent demonstration hinges on logical errors that remain errors regardless of the framework used, be it classical or quantum mechanics, or relativity.
You are right, I was missing some conditions. The higher order derivatives need to be zero as well.
> If you set velocity = velocity = 0, then the ball staying at the top is a valid solution, AND the ball rolling down the hill (in any direction) is also a valid solution.
It is a valid solution to the f=ma equation. It is not a valid trajectory in Newtonian physics because it violates other principles. It is a “gotcha” only if you think that Newton’s second law is the entirety of classical mechanics.
> If this sounds confusing (it did for me), look at the example at the end, it's possible to do the reverse - send the ball rolling up the hill with perfect velocity, such that it stops at the very top after time T.
This paragraph is confusing. And does not demonstrate much of anything, instead asserting facts that we are supposed to believe.
In the time-reversal “experiment”, where the particle comes from the rim towards the apex, it ends up at the apex with a non-zero fourth derivative, because of the pathological shape of the dome. It cannot stay on the apex for any length of time, even with a velocity of 0. It is completely different from a particle starting at rest on the apex.
> And if that is possible, the opposite is also possible because NM is time reversible.
It is not.
Could you please elaborate which Newtonian principles it does violate?
This is related to another formulation of Newton’s first law: if there is a force that pushes the ball at some time T, it implies that there is another body that felt the opposite force.
Another one is a bit more involved, but basically a mechanical system cannot change its symmetry by itself. In this case, the initial state with a ball at rest has a radial symmetry with a centre on the apex of the dome. This is not true anymore if the ball moves in one direction. This is related to the conservation of momentum.
There are a couple of points that can be solved easily, but are clearly defects in the original formulation of the problem. for example, the height according to the equations is not a length, which is not a problem itself (we can just multiply by an arbitrary factor with the right dimensions) but an indication of sloppy thinking and hand waving. Similarly, the force is not bounded in the original formulation. Again, this can be fixed by restricting the valid range for r, but is rather messy.
I think this example just illustrates a case where the Newtonian model of reality simply does not describe reality itself
The thing about symmetry breaking also doesn't make much sense. I guess you're trying to appeal to Noether's theorem, but Noether's theorem in classical mechanics is a consequence of f = ma. You derive the Lagrangian formulation of mechanics from f=ma and Noether's theorem from that. However the weird solution when then ball suddenly randomly falls down the dome after staying put for an arbitrary time is completely consistent with f=ma, so that can't help you here.
In any case the radial symmetry you're looking for (the system is invariant under rotations around the peak of the dome) implies conservation of angular momentum about this point, and not about any other point (since the setup is manifestly not symmetric under rotations about any other point). However (one can easily check) that for both the static solution and the randomly starts moving solution, the angler momentum about the axis through the peak of the dome is always zero.
The argument is basically assuming that the particle moves, showing that it moves in a way that respects the second law, then restating the first law to be a special case of the second to avoid the causal language it contains and to make it completely redundant.
Even then I'm not sure that would save you in general, since it should be possible to cook up examples where the motion is some non-analytic thing like a portion of a "bump function".
Edit: by the way, a more modern formulation of the first law is essentially that there are no privileged inertial frames. All inertial frames are equally valid. This is straight-up false in this setup since obviously the rest frame of the dome is privileged (since the dome is given infinite inertial mass).
I agree! But at the same time, there is no moment at which a net force compels the particle to leave a state of rest. The criteria you are putting forwards with that sentence isn't that of the first law, it's just a consequence of the second law. The first law makes a statement that force is required to cause a body to leave a state of rest, but that's not what we have here.
We just postulate that it must stop being at rest immediately after T, and then we find a force as a result of it not being at rest anymore. This inverts the causality that NFL requires, and because it doesn't have give a cause for the particle to leave the state of rest, which the 1st law requires, it's not a valid physical solution in Newtonian mechanics.
Here is Wikipedia's translation of the first law, which is as good as any:
> Every body continues in its state of rest, or of uniform motion in a straight line, unless it is compelled to change that state by forces impressed upon it.
In our trajectory, the body is not compelled to change its state by a force impressed on it. It's in a stable state, then we arbitrarily decide that it will change it's state immediately after T, and then we show that this leads to a trajectory which satisfies the second law. But since it changes state without being compelled by a force, it's no longer a trajectory which satisfies the first law.
> The argument you'd have to make would be to change Newtonian mechanics so the first law is no longer a special case of the second law
I'm not changing Newtonian mechanics - Newton's first law is not a special case of the second law. It makes a statement about cause and effect. The second law doesn't - it's just a differential equation, which does not have such a content. The article redefines the first law to strip it of its causal content and instead make it a trivial statement, but that's not what the first law plainly states. In Newtonian physics, force is necessary to cause a change in velocity, it's not simply that force and acceleration co-occur.
> but actually says something nontrivial about all of the time-derivatives of position rather than just the first two
No, this isn't necessary. If you want, you can instead understand it as something about the nth derivative of position, and that way you can recover perfect reversibility, but you don't have to. You can just keep Newtonian mechanics as is, and recognize that they describe a causal system, and not just a system of differential equations (which make no statements about causation in and of themselves), but then you lose perfect reversibility for some pathological trajectories like this one.
> Even then I'm not sure that would save you in general, since it should be possible to cook up examples where the motion is some non-analytic thing like a portion of a "bump function".
I'm not arguing for the infinite derivative modification either, but I don't see how that's the case - if you have a non-analytic function then some derivatives don't exist, and if they don't exist then they wouldn't be able to satisfy the infinite derivative formulation. Seems to me that such a law would directly eliminate all non-analytic trajectories.
(Note that the article goes on at length separating Newtonian mechanics from the "real world" or whatever)
No, you've missed the point entirely. There are circumstances under which the solution is not unique, and the article describes such a circumstance.
The original tumblr post linked to this wikipedia article: https://en.wikipedia.org/wiki/Picard%E2%80%93Lindel%C3%B6f_t... The initial conditions here are _not_ sufficient to pin to a unique solution.
> anything acting on it would violate other principles of classical mechanics
What other principles of classical mechanics does it violate though? I think that's the point of the exercise. To reflect on part of our mathematical modeling would prevent this.
As the linked article points out, that is not true. Even for force = velocity = 0, there are solutions for which the ball starts rolling. Additionally, even adding the first law does not help, since the body has F = v = a = 0 at any time before T, and it has a > 0 only for times where it also has F > 0. So the body spontaneously starting to move is perfectly consistent with classical mechanics.
A better attack on the example is that the shape of the dome may not be possible to construct from actual matter. The math only works with a shape that has a certain type of infinite smoothness with a single bump, which is probably not possible even in principle to construct from real matter.
Not true, and the trick is very simple, you just contrive a force field that admits x''(0) = 0 but some non-zero higher derivative. Indeed, if you look at the proposed solution r = 1/144 (t - T)^4 for t > T, you'll see that:
r(T) = 0
r'(T) = 0
r''(T) = 0
r'''(T) = 0
r''''(T) is ill-defined (but Newtonian mechanics AFAIK says nothing to forbid this)
r(t) = 0 ; t <= T
r(t) = (1/144)(t-T)^4 ; t >= T
Interestingly, the spherical dome he mentioned (which doesn't yield to this non-determinism) forces all derivatives of r(t) to be continuous ...
In the Wikipedia article on Newton's laws of motion, the first law is stated as "A body remains at rest, or in motion at a constant speed in a straight line, unless acted upon by a force.". Here it would seem that we leave the state of rest not due to a force, but due to some other cause, which the first law would forbid. So I think that the particular interpretation of Newtonian mechanics used by the author is a bit of a strawman.
There are multiple ways to resolve this dissonance. We could demand that the higher derivatives are also zero. We could derive some elaborate rule excluding non-zero x''(t) in the neighborhood of t=0. Or something else altogether. The issue IMO with these resolutions is that they're quite complicated and Newton almost certainly did not have any of them in mind.
It's much simpler to just content ourselves that NFL is a special case of F=ma (where F=0). I'm not sure why we should contort ourselves to preserve determinism since we know that gets thrown out the window with QM anyway.
NFL isn't quite redundant since many people understand it to define an inertial frame. So if you observe F = 0 but x'' != 0 then you know you're not in an inertial frame.
No one - I'm saying that it's the opposite. It is acausal, and that is why its nondeterministic.
> t literally every moment that it has a non-zero acceleration, it has a non-zero net force due to gravity (and the normal force). There is no instant at all where we can say Newton's laws were violated. At t=T the particle has zero net force and is at rest. For every e greater than 0, at t=T+e the particle has net force and is accelerating.
Yes, and you only find this because you assume a trajectory first, and then find force as a result of the trajectory. The force isn't causing the movement, you first assume on your trajectory that the ball stops being at rest immediately after T. Newton's first law is literally that an object stays at rest in its inertial reference frame unless a force causes it to leave its state of rest, yet you have to assume that immediately after T it leaves rest without any valid physical reason.
> NFL isn't quite redundant since many people understand it to define an inertial frame. So if you observe F = 0 but x'' != 0 then you know you're not in an inertial frame.
The existence of inertial reference frames is a consequence of the first law saying that force is necessary to exit the state of rest. It's not equivalent to the definition of inertial reference frames.
Here is Wikipedia's translation of the first law: > Every body continues in its state of rest, or of uniform motion in a straight line, unless it is compelled to change that state by forces impressed upon it.
This obviously does imply the definition of inertial reference frames, but it doesn't just do that, it also clearly requires force to cause a body to leave uniform motion. In the trajectories suggested by the article, the body leaves the state of rest, but that isn't because a force compels it, it's just by assertion that it must do so after T, and the force is then a result of it no longer being in the same position. I don't see how that is in accordance with the first law. It's clearly leaving rest immediately after the moment T by pure assertion, which makes it an unphysical trajectory. Then the article gets around this by providing a new NFL which has no causative language and is simply a statement about the second derivative of position, and that isn't what it is.
Sure, the choice of solution is arbitrary. No one (not even the author) argues otherwise. In fact it's the whole point.
> The force isn't causing the movement, you first assume on your trajectory that the ball stops being at rest immediately after T.
If the gravity were not there, this could not be a valid solution. The net force from gravity causes the acceleration. It is only a necessary condition and not sufficient, but the fact remains that gravity acts on the particle whenever it sets in motion.
> Here is Wikipedia's translation of the first law: > Every body continues in its state of rest, or of uniform motion in a straight line, unless it is compelled to change that state by forces impressed upon it.
So there are naturally multiple translations of Principia, but I just cracked open the first free one I could find on Google[1] and it doesn't mention anything about compelling, merely endeavoring. Even if we generously accept that it is "compel," we must then reckon with the fact that in the solution where it sets in motion, the net force has in fact compelled it to do so. I wouldn't hang my hat on the exact wording implying anything about determinism.
> Newton's first law is literally that an object stays at rest in its inertial reference frame unless a force causes it to leave its state of rest, yet you have to assume that immediately after T it leaves rest without any valid physical reason.
It leaves rest for the perfectly valid physical reason that there's a net force. You are trying to pick apart the timeline to find a moment where the particle was impelled to move with no net force, but no such time exists. This argument absolutely conflates nondeterminism (the particle could leave at any time) with acausality (nothing caused the particle to move).
[1] https://redlightrobber.com/red/links_pdf/Isaac-Newton-Princi... The vis insita, or innate force of matter, is a power of resisting, by which every body, as much as in it lies, endeavours to persevere in its present state, whether it be of rest, or of moving uniformly forward in a right line. This force is ever proportional to the body whose force it is ; and differs nothing from the inactivity of the mass, but in our manner of conceiving it. A body, from the inactivity of matter, is not without difficulty put out of its state of rest or motion. Upon which account, this vis insita, may, by a most significant name, be called vis inertia, or force of inactivity. But a body exerts this force only, when another force, impressed upon it, endeavours to change its condition ; and the exercise of this force may be considered both as resistance and impulse ; it is resistance, in so far as the body, for maintaining its present state, withstands the force impressed; it is impulse, in so far as the body, by not easily giving way to the impressed force of another, endeavours to change the state of that other. Resistance is usually ascribed to bodies at rest, and impulse to those in motion; but motion and rest, as commonly conceived, are only relatively distinguished ; nor are those bodies always truly at rest, which commonly are taken to be so.
And the math does check out. There really are many solutions to this system, i.e. it is nondeterministic under the theory.
Isn't gravity acting on the ball? Ideally a ball balanced a the tip of a bowl has 0 net force, but only because it has the force of gravity pulling it into the bowl and an equal force from the bowl pushing back. This would require assuming a reality where there is no smallest particle, no atoms making up the bowl or ball as they are both perfect mathematical objects comprised of infinite points no matter what resolution you look at them at.
The issue is that such a system, if it can be created by rolling the ball up the bowl with perfect precision from any direction, indicates that it is unstable and may reverse at any point, but without any obvious reason causing it to do so. So either the system has some non-deterministic factor which allows for the perfect stability to break at an arbitrary time in an arbitrary direction or it isn't time reversible as the ability to roll the ball up the bowl cannot be reversed.
Looking at it another way, can you tell the difference between a ball I perfectly rolled to the top of the bowl 10 years ago and one I did 10 seconds ago?
I do wonder if we've added so many assumptions, with mathematically perfect objects and infinite precision forces that we have created some sort of paradox. We have hit levels of perfectly spherical cows that cause even the perfectly spherical cows to complain about unrealistic standards.
Mathematically, it’s possible to have a differential equation with an initial condition, and still have multiple different solutions. That’s what the author creates as well.
I don’t think this article is about continuous vs discrete physics, as some commenters suggest - nor about reality at all (not directly). Rather, this is pointing out a surprising property of the model of Newtonian mechanics.
The only reasonable reading of Newton's laws (and descriptions of e.g. physically-constructed curves like this dome) is that they are true up to some small epsilon length scale. No matter how small the epsilon, as long as it is not literally zero, this doesn't work.
(for instance if things aren't perfectly smooth then there is some small force proportional to the discrepancy ~O(e^2) or O(sin e) or whatever, which moves the ball off the dome)
If I was teaching physics from sceatch, I would state on day one: physics is the practice of building models whose low-order approximations give correct predictions about reality. There is no such thing as a perfect model to infinite decimal places.
(That one 9 decimal place calculation from QFT doesn't invalidate this: given a model, the calculations may be perfectly accurate! But the model is still fuzzy because of fuzzy inputs. In that case, it has been possible to make it very very not fuzzy.)
At the end, the author notes (as you do) that if you consider a finite difference equation with small time steps, there are no pathological solutions. He also mentions that Newton takes this difference equation approach when solving problems in his Principia.
See also "The Norton Dome and the Nineteenth Century Foundations of Determinism" by van Strien:
>> Abstract. The recent discovery of an indeterministic system in classical mechanics, the Norton dome, has shown that answering the question whether classical mechanics is deterministic can be a complicated matter. In this paper I show that indeterministic systems similar to the Norton dome were already known in the nineteenth century: I discuss four nineteenth century authors who wrote about such systems, namely Poisson, Duhamel, Boussinesq and Bertrand. However, I argue that their discussion of such systems was very different from the contemporary discussion about the Norton dome, because physicists in the nineteenth century conceived of determinism in essentially different ways: whereas in the contemporary literature on determinism in classical physics, determinism is usually taken to be a property of the equations of physics, in the nineteenth century determinism was primarily taken to be a presupposition of theories in physics, and as such it was not necessarily affected by the possible existence of systems such as the Norton dome.
Given that it is common to make certain claims about the model of NM (e.g. determinism and reversibility) a mathematical trick that demonstrates this is not true is a valid refutation of claims about the model.
You can use NM to model other physically impossible systems (such as objects with arbitrarily high rigidity or arbitrarily low friction), but they are not internal contradictions within the NM model, so are less valid for criticism of NM.
I don't think anybody is losing sleep over the non-determinacy of a double-pendulum. It's just understood as evidence that your model is only as deterministic as your ability to say that something happens at t=0 or x=0 instead of |t| < epsilon or |x| < epsilon.
This is wildly different from chaotic systems in that it cannot be time reversed even with infinite precision.
For cryptography, compare to a one-time-pad. There are plenty of practical attacks on one-time-pads, but they are theoretically unbreakable. If someone were to show an actual weakness in OTP in theory it would be a big deal, even if (in practice) OTPs are seldom used due to practical considerations.
Just saying. Doesn't really affect anything, though.
What they’re really saying is that they have an initial value problem in classical mechanics that does not have a unique solution.
Fortunately, the theory of such things is very well established.
From the article, the dome results in motion like this:
> d2r/dt2 = sqrt(r) [reformatted as text]
This function is interesting at r=0 — it’s not differentiable, and it’s not even locally Lipschitz. So one would not generally expect solutions to the initial value problem to be unique, and math and classical mechanism still work.
You can read more about the theory here:
https://en.m.wikipedia.org/wiki/Initial_value_problem
(The differential equation in question is second order and is in two spatial dimensions. The standard transformation to an ordinary vector differential equation applies, and you end up with four variables (x, v_x, y, v_y or however you like to name them) plus time, and the time derivatives of v_x and v_y as functions of everything else are not Lipschitz in any open set containing the origin.)
And, intuitively, what’s going on is that the acceleration of the mass is exquisitely sensitive to position around the top of the dome (it varies infinitely quickly with a small displacement), which is precisely what breaks the uniqueness of the initial value problem.
Of course, this situation can never actually be observed because even if you could somehow construct it (and good luck with that), you couldn't actually look at it because merely shining a light on the object would give it a nudge.
so you're saying you would change the outcome by measuring the system?
Only if the fourth derivative spontaneously changes from zero to nonzero. It doesn't seem any more surprising than the conditions f(0)=f'(0)=f''(0)=0 not uniquely determining f(x) for all x.
I'm not sure what the fourth derivative has to do with this argument.
That's the surprising part.
I think the only reason this example surprises people is that everyone just assumes that bringing a particle to rest is possible/easy without really thinking through what this would actually require in the Platonic ideal. It's actually very challenging to stop things from moving without friction.
Further, you have changed your stance from one of "of course it moves from some noise in the environment" to one more closely resembling the article's main points.
You basically aren't making sense. Your initial abuse of "platonic ideals" is the sort of thing that gives philosophical arguments a bad reputation.
No. Generally speaking in the "Platonic ideal", we assume that if we reversed time, the particle would move from rest in a deterministic way, that there's only one solution for its movement. The surprising part here is that there are multiple valid solutions. Which takes a very-specially designed "dome" to demonstrate -- which is very surprising indeed.
> It's actually very challenging to stop things from moving without friction.
No it's not. All it takes is a billiard ball in motion hitting another billiard ball at rest. The first billiard ball will now have stopped moving. Which is kind of the canonical example of how we expect things to be deterministically reversible.
We already know that classical mechanics is non-physical. This result (and others) show that it is not even internally consistent— that is, you shouldn’t need any empirical evidence to know that there’s something else going on.
That’s interesting to philosophers and historians, but since you and I already know empirically that it’s non-physical, it shouldn’t come as much of a surprise.
Anyway, if you enjoyed learning about the dome, you may also look up the lesser-known “space invaders”, in which arbitrary objects can appear at infinity, with infinite velocity, and then be brought to rest at any time T. But again, don’t look for reasons that doesn’t actually happen— it means the theory is wrong.
I don’t think this is a right approach. We already know that no theory is complete and perfect, so we can say the same thing about any theory. Even worse than that, we can make the philosophical point that any theory, being conceived within our limited brains, physically cannot be anything other than models and approximations. The logical conclusion of this argument is then that we should throw our hands in the air and stop discussing anything.
It’s also wrong in this case specifically because there is absolutely no reason why this thought experiment cannot be proven or disproven within Newtonian mechanics.
You’re welcome not to think so! I’m just pointing out the relevant context. This isn’t an argument in a vacuum, there’s an academic discipline that has thoroughly engaged with it.
Part of that is a vast body of literature that in turns agrees and disagrees with your observations— to take a side, I’d start clicking links from “theory-ladenness”.
But the dome is rather boring. P1, this math describes a deterministic system; P2, here is a non-deterministic result; QED, P1 is false.
Since we know that P1 doesn’t describe the universe, it should be hard to have a strong opinion unless you’re invested in a philosophical position about pre-modern scientific practice.
(I’m not invested, so I don’t have an opinion other than that it isn’t trivially refutable as stated.)
It isn’t, though. The argument is not “lol Newtonian physics are dumb” and you’ll see nothing of the sort in the Norton argument. The argument is instead “Newtonian physics can be non-deterministic”, which is something we can demonstrate regardless of the validity range of Newtonian physics.
> This isn’t an argument in a vacuum, there’s an academic discipline that has thoroughly engaged with it.
Sure. How is that linked to your point?
> But the dome is rather boring. P1, this math describes a deterministic system; P2, here is a non-deterministic result; QED, P1 is false.
Indeed.
> Since we know that P1 doesn’t describe the universe, it should be hard to have a strong opinion unless you’re invested in a philosophical position about pre-modern scientific practice.
That’s a strange position to take from a philosophical point of view. Why things are wrong matters more than whether they are because, again, everything is wrong to some extent. So, of course in some abstract epistemological sense anything that can be formulated within Newtonian mechanics is wrong. But then nothing is right, so who cares?
The initial question is much more interesting from a philosophical point of view: does the old Newtonian mechanics, which is still the closest to our daily experience, contains seeds of non-determinism? But then the logic is flawed: the issue is not that Newtonian mechanics are wrong, it is that, in your formalism, P2 does not follow from P1 and is actually wrong.
Not for nothing, even historians and philosophers of physics broadly don’t care if the dome holds. Some do, of course, but unless you're thinking of a specific paper it’ll probably be less frustrating for everyone to leave it there— with no hard feelings!
If you mean this as an appeal to Gödel’s incompleteness results, the things those show can’t happen aren’t the same kinds of things that a “fully complete theory of physics” would have to satisfy.
That’s not to say that I expect that we will ever (in this world) have a complete description of the physics of this world,
But I’m quite confident that Gödel’s incompleteness theorems do not pose a fundamental barrier to the laws of physics of a world being perfectly known by entities in that world.
Did I sound preachy? I really don’t mean to! I’m not an educator, and it’s hard to communicate a discipline’s “common knowledge” without coming off a bit patronizing.
It’s just, every time the dome comes up people want to talk about the physics of it— but the author isn’t a physicist, the journal isn’t for physicists, it’s not making any claims in physics…
It’s a (famous) philosophy paper, specifically philosophy of science, specifically philosophy of physics. If you aren’t a philosopher, physics is annoyingly irrelevant here.
There’s so much more to say— space invaders! It’s way weirder than this! The math still checks out! Philosophy is cool actually! Sorry to take up your time!
Can you provide a pointer/link? I'm googling with various other keywords and can't find anything that isn't the video game.
Sorry, I should have remembered that’s not actually an easy google :)
It is interesting that all of the ones listed in that section involve either infinities or infinitesimally small points -- except for Norton's dome. Which really makes it a great example for that reason.
The dome is analogous to a loophole-free Bell test— most people already accept the conclusion, so it’s not a surprising result, but having it in one simple argument closes the door to a lot of nitpicking.
Yes. Although it has consequences. It's a demonstration that some physical variables have to be quantized or probabilistic to avoid divide by zero errors in reality.
This becomes clear when you do idealized Newtonian physics with impulses. An impulse is an infinite force applied over zero time with finite energy transfer. That's not something that can exist in the physical universe. It's just asking for divide by zero problems. It's also why impulse-constraint physics engines for games have some rather strange semantics.
Modern philosophers are (obviously?) most interested in how this historical fact should affect our handling of, say, our current best model for QG. That’s a fascinating thing for lay people to ponder, which is one reason I wish the context weren’t so opaque to HN.
(I should caveat that I’m less familiar with the “history of philosophy of science” side of this— there may be a live debate as to whether this would obtain with the logic Newton himself had access to, for example.)
If you make up funny physics problems that don't look like the real world, then the math works out funny. What about heat, light, the motion of the larger entire system? There are a lot of forces they are just hand waving away. I think it's disingenuous to hand wave away much of the complexity of the real world and still expect your algebra problem to not be overly simplistic.
I take issue with the interpretation of Newton's first law. What's happening here is some sleight of hand that allows the author to interpret Newton's first law in such a way that it becomes completely empty - it simply becomes a restatement of the second law. Indeed, we look at it in its instantaneous form, which means that what we actually confirm is that dv/dt=k(t)*F(t), where F(t) is force at any time T and k(T) is a nonzero function - this is the functional equivalent of the statement that "In the absence of a net external force, a body is unaccelerated.". This is of course just a more general statement for F=ma where k(T) = 1/m. So that leads me to conclude that either this instantaneous version of the law isn't sufficient, or that it's a misinterpretation of the law, or that Newton is an idiot and didn't realize that his first law is redundant.
Personally I just think that this is a misreading of the first law - I read it as saying that force is causative to changes in velocity, and not the reverse, and hence that the logic in this argument suddenly stops making sense, and only perpetual rest is a correct solution, since we cannot resolve the trajectory from the forces anymore, we have to presuppose the trajectory before finding implied forces, thus breaking the causative relationship implied by the first law. I don't think that when Newton wrote that rest in the inertial frame is something that must be broken by action, he meant something that is straightforwardly implied by the second law, as of course he knew the elementary calculus necessary to see that a weaker statement is redundant.
This is just one example of non-uniqueness condition in ordinary differential equations. Picard–Lindelöf theorem tells when there are unique solutios
(There's also the question of whether r(t) in (3) is differentiable at t=T, right?)
The article demonstrates that newtonian mechanics is not deterministic, which is surprising at least to me.
I don't see how "no cause" problem is fully true either. The system has potential energy due to the marble being places at the top of the dome, so that was the cause.
This discussion is only happening because he did not get around to doing that. It's not important.
The Dome: A Simple Violation of Determinism in Newtonian Mechanics - https://news.ycombinator.com/item?id=26507118 - March 2021 (2 comments)
Edit: Looks like the post has been updated to point here. Just for completeness, it used to point to https://johncarlosbaez.wordpress.com/2023/08/05/nortons-dome...
The idea is that the Newton's Laws an be rewritten and get equivalent equations that look very different. One of the rewrites is "Lagrangian Mechanics". Instead of a differential equation, you have a calculus of variations. In this new formulation it's more clear that the solution is not unique, and you get the particle that rest on top of the dome, the one that falls down, and even some solutions where the particle waits a little and then "decides" to fall down without an eternal trigger. For this formulation, two of the man concepts are virtual work and virtual displacement. More details in: https://en.wikipedia.org/wiki/Lagrangian_mechanics#D'Alember...
People usually talk about planck length as some quantized length but it's just a scale where quantum effects are significant.
Even if continuous, I would still argue against this article. In a continuous universe non-determinism, randomness, is not needed. In the provided example I would expect no action to take place, or acknowledge that a continuous universe infers an infinite resolution of information for physical systems.
> This makes the assumption that the universe is continuous instead of discrete. Quantum physics is all about discreteness.
This is irrelevant. The discussion is within the framework of classical Newtonian dynamics. The discrete-ness of the universe has no effect whatsoever, because the moment we say we’re using classical mechanics, we assume a flat Euclidean continuous spacetime. The argument is made in these terms, and in can be proven or disproven in this framework.
> Newton himself suspected light was discrete, what he named "corpuscles".
This has absolutely nothing to do with whether spacetime itself is quantised or not. You can have a concept of point particles in a continuous space, that’s not a problem.
> In a continuous universe non-determinism, randomness, is not needed. In the provided example I would expect no action to take place
That is a good intuition.
> or acknowledge that a continuous universe infers an infinite resolution of information for physical systems.
However, this is not. Even in a continuous universe (and, until proven otherwise, our understanding is that ours is), infinite “information” is not really a thing.
That's the point. That's why a continuous universe is absurd from an informational perspective.
This is why Beckenstein was so brilliant, he was among the first to understand physical systems must fit into information theory. If they don't, physics has far worse and profound issues.
Any description of the universe is informational. We should hope that the universe is informational so that humanity can have a complete description of the cosmos. If the universe is not informational, since description by nature is informational, there would be no way to describe the universe completely.