Metaculus Help: Spread the word
If you like Metaculus, tell your friends! Share this question via Facebook, Twitter, or Reddit.
Resolution of the Density Conjecture for Newton's N-body problem
Suggested by Richard Montgomery, UCSC
The motion of the point masses in a gravitational N-body system is "bounded" if all the inter-body distances remain less than some fixed constant for all time. For example, periodic solutions, such as these engaging trajectories, are bounded. A solution is unbounded if some inter-body distance tends to infinity, meaning that some body or cluster of bodies "escapes to infinity''.
Density Conjecture: In arbitrarily close proximity to the initial conditions for any bounded solution, lies an initial condition whose solution is unbounded.
In section 7 of his 1998 invited lecture at the International Congress of Mathematicians, Michael Herman brought wide attention to the Density conjecture, and called it "The Oldest Open Problem in Dynamical Systems". He asserted that Newton "certainly believed" the conjecture, having invoked God as the source of control for the instabilities of the N-body problem. For further detail on the problem see section 14.2 of this reference
Like many simply stated problems in mathematics, the Proximity Conjecture has proved maddeningly difficult to assess. In Christian Marchal's influential book on the three-body problem, he assumes fairly explicitly, but without proof, that the answer is true, essentially appealing to the idea that given sufficient time, "everything that can happen, will happen". The KAM theorem moreover, asserts that for every "good periodic" solution, there is a set of positive measure of solutions which stay close to that solution for all time, and hence are bounded. These solutions form the KAM torii. There exist, however, lots of "holes" in the torii. Arnol'd diffusion is a class of mechanisms, exploiting resonances, by which one can "wander" from hole to hole and thereby eventually escape to infinity. So far, the main approach to proving the Density Conjecture has involved efforts to show that Arnol'd diffusion is ubiquitous.
Will the Density Conjecture be proved true for the planar 3-body problem in the next 10 years?
Resolution is positive if a proof of a theorem to which the above description applies with reasonable accuracy is published by Sept. 1, 2027. Additionally, if the conjecture is proved for the planar three body problem with particular (all nonzero) mass ratios, resolution will also be positive. Finally, the question resolves negative if a negative proof or counterexample is found prior to the resolution date, or if no proof is published at all.
Metaculus help: Predicting
Predictions are the heart of Metaculus. Predicting is how you contribute to the wisdom of the crowd, and how you earn points and build up your personal Metaculus track record.
The basics of predicting are very simple: move the slider to best match the likelihood of the outcome, and click predict. You can predict as often as you want, and you're encouraged to change your mind when new information becomes available. With tachyons you'll even be able to go back in time and backdate your prediction to maximize your points.
The displayed score is split into current points and total points. Current points show how much your prediction is worth now, whereas total points show the combined worth of all of your predictions over the lifetime of the question. The scoring details are available on the FAQ.
Note: this question resolved before its original close time. All of your predictions came after the resolution, so you did not gain (or lose) any points for it.
Note: this question resolved before its original close time. You earned points up until the question resolution, but not afterwards.
This question is not yet open for predictions.
Metaculus help: Community Stats
Use the community stats to get a better sense of the community consensus (or lack thereof) for this question. Sometimes people have wildly different ideas about the likely outcomes, and sometimes people are in close agreement. There are even times when the community seems very certain of uncertainty, like when everyone agrees that event is only 50% likely to happen.
When you make a prediction, check the community stats to see where you land. If your prediction is an outlier, might there be something you're overlooking that others have seen? Or do you have special insight that others are lacking? Either way, it might be a good idea to join the discussion in the comments.