Live data from Hacker News

Scientists find an effective solution for the three-body problem

phys.technion.ac.il

221–230 of 264 posts

Re: Scientists find an effective solution for the three-body problem

#221

Earlier quoted context omitted.

>What "special case" is being considered by the term paper I linked above. Not referring to that. Referring to the Wikipedia version which immediately stated it's a special case. Anyway you're not focusing on that you're talking about the paper and the paragraph at section 2.1. Your paper assumes the the theorems apply. They don't apply. Why? Because the equations are not Lipschitz continuous when bodies are really r…

"Your paper assumes the the theorems apply. They don't apply. Why? Because the equations are not Lipschitz continuous when bodies are really really close to each other. They only apply when the bodies are far away from each other which is not always the case for the 3 body scenario. This completely destroys the one solution property and as a result determinism." Take any initial condition with distinct positions for…

I cannot agree or disagree with that paper. Unfortunately I don't have time to read the whole thing. BUT, I do have time to read the section you referenced. So I should be more clear with my words: The paragraph on the first part of section 2.1 does not apply for all cases.

>If they collide, there exists a unique solution up until the time of collision.

If you believe your own words, than it disproves determinism of this mathematical model. Your statement implies there is no unique solution past the point of collision. So you actually agree that that the problem is not deterministic.

We've already both arrived at a conclusion here.

Re: Scientists find an effective solution for the three-body problem

#222

Earlier quoted context omitted.

After some research I've come to the conclusion that my statement is in fact definitively wrong. What I said was this: We do not know if classical mechanics is deterministic. I am wrong. The correct statement is: We do know that classical mechanics is not deterministic. So essentially I'm wrong but so is everyone else so I'm paying nobody. Source: https://sites.pitt.edu/~jdnorton/Goodies/Dome/ Essentially this is pro…

This felt somewhat wrong to me (as I’m sure it did many people that have take a Physics class) and ended up finding a Reddit discussion about this[1]. Seems like it’s not totally correct because the function for the ball becomes discontinuous [1] https://www.reddit.com/r/Physics/comments/mn11r/the_dome_a_s...

Reddit proves it. Case closed. Just kidding. No seriously that thread is long and there's no singular point, it's a debate.

Take a look at this (not the same link above I target a single comment):

https://www.reddit.com/r/Physics/comments/mn11r/the_dome_a_s...

I'll have you know you're debating with higher powers here. Some people here are not your typical people who just took a physics class.

Either way intuition without the math is enough to break your brain.

Imagine the opposite scenario you flick a ball up the dome with just the right amount of force that it comes to rest right at the apex. One property of Newtonian mechanics is that motion is time reversible. Meaning that the opposite motion here should be valid. And the opposite motion of the scenario I described is indeed what occurs. The particle is at rest on the dome and arbitrarily just rolls off randomly.

Note that this is caveated on the site with the fact that this intuition doesn't work with hemispheres. Apparently with a hemisphere you can flick the ball with a certain amount of force and it takes infinite time to reach the apex of the dome. So if you time reverse that it means any ball resting on a hemispherical dome can roll off of the apex arbitrarily but it takes an infinite amount of time. The un-determinism only works for the special dome here called "Nortons Dome."

Re: Scientists find an effective solution for the three-body problem

#223

Earlier quoted context omitted.

>We know that exactly the same initial conditions will lead to the exact same trajectory. Do we have a proof of this? Or is it that we just assume this?

Yes we have a proof (in the classical case). It is called the Picard–Lindelöf theorem. The "dome" in your example is called an unstable equilibrium: the ball starts rolling because of an unpredictable perturbation. Small motions are amplified according to the Lyapunov exponent, which in the unstable case is large. Hirsch and Smale and Devaney's book on differential equations and dynamical systems is a good place to l…

No read the dome example again. You are wrong. Nortons dome is literally demonstrating there is proof for the non deterministic case.

I've discussed this in other places but the theorem you reference only applies to functions that are Lipschitz continuous. Not all functions have this property globally and the dome and also the three body problem are two examples of things that are not Lipschitz continuous.

Read it carefully. Nortons Dome is saying that the mathematical model described by newtons laws of classical mechanics is in itself non-deterministic.

> Is there a deeper, so-called superdeterministic reality underneath quantum mechanics? Some people think yes, and it has not been disproved, but it is pretty far out of the mainstream from what I can tell.

Never made this claim. Not even Einstein made this claim. Simply put, it felt wrong to Einstein simply because probability is a sort of bayesian outlook on the world. It's an admission that we lack knowledge about a system. Such is the case for much of science but not quantum mechanics?

Hence the quote by Einstein: "God does not play dice with the universe." Either way not saying that quantum mechanics is crap and wrong but this is a possibility the mainstream definitely considers in a very speculative philosophical fashion. The quantum model works extraordinarily well but at the same time it's inconsistent with relativity and you gotta admit something is a bit off here when considered from the Bayesian angle.

Re: Scientists find an effective solution for the three-body problem

#224
post #198
post #188

Earlier quoted context omitted.

I'm not sure. Measurement devices are designed to be very sensitive to some things and very insensitive to others; for example, you want a clock to be sensitive to how much time has passed but not what the temperature or air pressure are; you want a thermometer to be sensitive to the temperature but not how much time has passed or the air pressure; and you want a barometer to be sensitive to the air pressure but not…

> very sensitive to some things and very insensitive to others Wow, phrased like that it sure sounds obvious, and yet somehow I never thought about it.

It's not the only possible way to do things, and sometimes it's infeasible, but it definitely makes things simpler. In theory if you have N quantities, and N measurements that all depend on all N of those quantities in known but different ways, you can usually compute the N quantities precisely from the N measurements.

For example, the standard way to make an electronic thermometer is by, more or less, measuring the current across a semiconductor diode at a given voltage. This current is an exponential function of the ratio between the voltage and a "threshold voltage" or "thermal voltage" Vt multiplied by an "ideality factor" n: I = Is (exp(V/(nVt)) - 1).

The threshold voltage Vt varies linearly with temperature (it's kT/q, depending only on Boltzmann's constant and the charge of the electron, about 25 mV at room temperature), so in a sense the current at a given voltage is a measurement of the temperature. But the ideality factor n depends on the purity of the semiconductor material (generally in the range 1.0 to 2.0), and the saturation current Is depends on the physical size of the diode junction. Moreover, the ideality factor can change over time as the diode ages. So we're in the position of simultaneously measuring the temperature, the size of the diode, and the quality of its aged semiconductor material.

The solution usually taken, as I understand it, is to measure the current through the same diode at two given voltages, one after the other, and to use a standard value for n which is good enough. Then the ratio of the two voltages tells you nVt (as long as the "- 1" is too small to matter) and from that you can calculate the temperature. In theory, by taking three or more measurements at different points in the I-V curve, you could correct for unknown n as well, but I haven't read of anyone doing this; instead, for high-precision thermometry, they use an RTD.

(Actually, you measure the voltage at two given currents, because that way you don't burn up your temperature sensing diode if the temperature is a little higher than you expected; the power dissipated then varies logarithmically with temperature rather than exponentially. But it comes to the same thing in the calculations.)

It's actually even worse than it sounds, because in fact when you measure a voltage, you're always measuring it with respect to some reference voltage, so your actual measurement is a function of the temperature, the saturation current Is, the ideality factor n, and your reference voltage Vref, which is typically subject to an error of around 2%. But you will note that the ratiometric approach described above cancels out any errors due to Vref, because the ratio of the two voltages will be unaffected by a wrong reference voltage, as long as it's the same wrong reference voltage. So you stick a big capacitor on it and take the measurements in quick succession.

All of this is, from a certain point of view, in the service of making the number you finally produce very sensitive to the temperature of the diode and very insensitive to other factors, like the battery voltage, the temperature of the rest of the thermometer circuit, the age of the components, the humidity in the air, and so on. But all of the actual physical quantities being measured on the diode are the complex mix of factors described above.

MIMO antennas or phased-array receiver antennas or microphones are another example: the signal at each antenna/microphone is a linear superposition of all the differently-phase-shifted source signals, and you process that data to get independent measurements of all the original source signals.

I wouldn't be surprised if chaotic metrology offered new ways to measure very tiny differences, but I suspect it will take a lot of time to figure out the math to make that work.

Re: Scientists find an effective solution for the three-body problem

#225

Earlier quoted context omitted.

Here’s my reading of it: when speaking about dynamical systems with several interdependent moving parts, humans are fond of asking “why” questions and looking for simple narratives in such systems where satisfying answers may not exist. For example, imagine a three-body planetary system which exists in a pseudo-stable configuration for millions of years, until suddenly one of the planets gets slung off on a wild orbi…

I like that! The way I interpreted it when hearing it at the conference he was saying that we were all here at the conference because he had organized it, but he was there because we were all there to talk about our research. But the great thing about a good parable is that there are endless interpretations. :)

Ha, I suppose in context your interpretation makes more sense :)

Re: Scientists find an effective solution for the three-body problem

#226

Earlier quoted context omitted.

> Americanism ( which also spreads to non-Americans working inside American companies ) views on the world suggest if you work hard you will get it. America is a big place. I'm seventh generation American, with a patriotic family. I wasn't raised to believe that if you work hard you WILL get it. No, it's that if you DON'T work hard, you WON'T get it. You see, success is hard work + luck. You can have luck without har…

> I wasn't raised to believe that if you work hard you WILL get it. No, it's that if you DON'T work hard, you WON'T get it. Well said. I think the common misconception comes from reducing these wisdoms into aphorisms that are short, but easily misunderstood. Any adult who has lived more than a few years in the real world quickly understands that hard work doesn’t guarantee success, but that success isn’t going to fal…

> I think this is why we see the oft-repeated trope (on HN especially) that people who post happy photos on social media must actually be secretly sad and miserable behind the scenes

This is not about success, but about being realistic about what you can expect from your life. Everyone is going to be unhappy from time to time and everyone will have downs ; this is just not what you usually see on social media. So when people say this, it's to reduce people's feeling of being inadequate, not to take away success.

If you think about it, it's actually two sides of the same coin: People only see humongous companies and insane salaries, but not the years of hard work that went into getting there. Similarly, they only see happy faces on social media, but not the bad sides that everyone has.

Re: Scientists find an effective solution for the three-body problem

#227

Earlier quoted context omitted.

"Your paper assumes the the theorems apply. They don't apply. Why? Because the equations are not Lipschitz continuous when bodies are really really close to each other. They only apply when the bodies are far away from each other which is not always the case for the 3 body scenario. This completely destroys the one solution property and as a result determinism." Take any initial condition with distinct positions for…

I cannot agree or disagree with that paper. Unfortunately I don't have time to read the whole thing. BUT, I do have time to read the section you referenced. So I should be more clear with my words: The paragraph on the first part of section 2.1 does not apply for all cases. >If they collide, there exists a unique solution up until the time of collision. If you believe your own words, than it disproves determinism of…

It's not that there is no unique solution past the time of collision, it's that there is no solution at all. The model ceases to be well-defined because there is a singularity. (As I noted above, this is a residue of the idealization of the problem and could be removed by modeling with hard spheres instead of point masses.)

This phenomenon is distinct from the example you gave of the dome with multiple solutions. There, a single initial condition leads to multiple valid solutions, and could reasonably be called non-deterministic. For the three body problem to be non-deterministic, one initial condition would have to lead to multiple valid trajectories, which is never the case.

The conclusion you have arrived at is wrong, and I urge you to reconsider.

You write: "The paragraph on the first part of section 2.1 does not apply for all cases."

What there does not apply to all initial conditions with distinct mass positions?

Re: Scientists find an effective solution for the three-body problem

#228

Earlier quoted context omitted.

I cannot agree or disagree with that paper. Unfortunately I don't have time to read the whole thing. BUT, I do have time to read the section you referenced. So I should be more clear with my words: The paragraph on the first part of section 2.1 does not apply for all cases. >If they collide, there exists a unique solution up until the time of collision. If you believe your own words, than it disproves determinism of…

It's not that there is no unique solution past the time of collision, it's that there is no solution at all. The model ceases to be well-defined because there is a singularity. (As I noted above, this is a residue of the idealization of the problem and could be removed by modeling with hard spheres instead of point masses.) This phenomenon is distinct from the example you gave of the dome with multiple solutions. The…

> It's not that there is no unique solution past the time of collision, it's that there is no solution at all. The model ceases to be well-defined because there is a singularity.

What you meant to say is there is no solution at the singularity. I never said that you didn't say this. I said that your statement implies that past the singularity the solution is nondeterministic.

>For the three body problem to be non-deterministic, one initial condition would have to lead to multiple valid trajectories, which is never the case.

I never concluded this. I concluded that we don't know if this is never the case for the 3 body problem. For classical mechanics in general I concluded that non-determinism is the case.

However let's reiterate what came from your initial post: "You think Newtonian physics is non-deterministic?"

I have proven this statement to not be something that I think, but something that is completely true and thus I have validated what you "thought" was my initial point. That should provide some partial conclusions to your initial points and you have admitted that you agree.

>What there does not apply to all initial conditions with distinct mass positions?

The theory does not apply at the singularities. You stated this yourself, no solution exists.

>The conclusion you have arrived at is wrong, and I urge you to reconsider.

I am in the process of reconsidering by simply speaking to you. That is the purpose of this entire endeavor.

Can you prove to me that past the point of collision the solution is deterministic? Obviously classical mechanics is still highly applicable outside of the the singularity. So after the given initial conditions and up to the point of collision the solution is deterministic.

During the collision the model fails to describe anything.

After the collision there are multiple outcomes that can occur depending on factors you assume and make up in your regularization scheme. All of these possible paths are governed by classical mechanical laws as they are outside of the singularity but we have several possibilities here. Or maybe not. Who knows. My claim is nobody knows. But we do know the system is still ruled by physical laws so the space of possible solutions is bounded. Basically I'm asking you to prove to me that within this space there is one deterministic unique solution.

>As I noted above, this is a residue of the idealization of the problem and could be removed by modeling with hard spheres instead of point masses.

Sure. But that's not the point. If you want to talk about non ideal cases things become weird even when you get really close to the singularity.

Re: Scientists find an effective solution for the three-body problem

#229

Earlier quoted context omitted.

It is a chaotic system. Arbitrary small deviations in the initial conditions will result in completely different outcomes. So your simulation will eventually diverge from reality as you cannot measure the initial conditions exactly.

Nitpick + a little more thought: Isn't it more correct to say, that initially slightly different conditions might (instead of "will") result in a very much different outcome? Does chaotic mean, that two states which only differ a little must result in vastly different outcomes? I wonder whether there could be states, which are very similar and some condition drives them to converge again. Or is such a thing impossibl…

Yes, though frequently the solutions are very similar to each other. For example, if you plot the future of an asteroid in 10,000 different simulations, you’ll probably find that in most of them the asteroid remains in the asteroid belt where it started from, but perhaps in 10% of them it is perturbed enough by Jupiter that its orbit becomes a Trojan, or some other variety. If you look at the details of the 90% where it stays in the asteroid belt, you find that while they are all in different orbits from each other, the differences are not very significant. Just 9,000 rather similar orbits inside the asteroid belt.

“Chaotic” usually means that the difference between two similar starting conditions grows without bound the longer you run the simulations forward. But orbits are closed loops; everything about an orbit is periodic. If two orbiting objects start near each other but have different orbital periods, then soon enough they will be far apart from each other. However, if you keep running time forward then they will end up right next to each other again. The distance between them is itself periodic, bounding the total error in a practical sense.

Combine that with the overall stability of our solar system, and you find that most objects tend to stay in particular orbital families for quite some time. Most objects are near the bottoms of deep potential wells, and the forces that can push them out of those wells are quite small. It is only once they are pushed near the boundaries of those wells that rapid changes can begin to happen.

Of course if it were any other way, then there would be nothing left in the asteroid belt by now. Compare that with Saturn’s rings, which simulations suggest will only last another 100k years, give or take a bit. They must be a relatively recent phenomena.

Re: Scientists find an effective solution for the three-body problem

#230

Earlier quoted context omitted.

We can have these problems simply with classical mechanics’ equations of motion (Newton, Lagrange, Hamilton, whatever). These equations are deterministic, there is no doubt about this. We just don’t have an analytical form. We know that exactly the same initial conditions will lead to the exact same trajectory. What we also know is that the tiniest error will make the trajectories diverge exponentially. It is still d…

After some research I've come to the conclusion that my statement is in fact definitively wrong. What I said was this: We do not know if classical mechanics is deterministic. I am wrong. The correct statement is: We do know that classical mechanics is not deterministic. So essentially I'm wrong but so is everyone else so I'm paying nobody. Source: https://sites.pitt.edu/~jdnorton/Goodies/Dome/ Essentially this is pro…

The dome is not a proof. It has several flaws and the reasoning is invalid. A mass perfectly on the top of it will just stay there. It would need a force being applied to it to move at the time T.

It can happen with a time-dependent force, i.e. not Newtonian dynamics.

Or if a particle can change its velocity without a force being applied to it, i.e. not Newtonian mechanics.

It is more straightforward to see using Lagrangian or Hamiltonian mechanics, which are better suited to this kind of constrained problem, if one is so inclined.

Post reply on HN