Slashdot Mirror
Another Millenium Problem May Have Been Solved
S3D writes "After recent verification of the proof of the Poincaré conjecture, another of the Clay Institute's Millenium Problems may have been solved. This new solution is for Navier-Stokes equations under physically reasonable conditions. Navier-Stocks equations describe the motion of fluid substances such as liquids and gases. Penny Smith has posted an Arxiv paper entitled 'Immortal Smooth Solution of the Three Space Dimensional Navier-Stokes System' which may prove the existence of such solutions."
I have no idea what any of that means, but rest assured that by the time this thread ends I will have developed ironclad opinions on the subject.
LOUD ones.
As a mechanical engineer, I have some idea of what this means.. Fluid dynamics is a fairly pervasive subject which goes into the design of airplanes, irrigation canals, industrial machinery, turbines and a lot of other places. The solution of the navier stokes' equation in three dimensions is quite fabulous, since without such a mathematical tool it's not possible to estimate how a fluid will flow in three dimensions.. Till now, we typically use either special conditions (ex. along a turbine blade, constant pressure) or fractional element methods (think of fluid as lots of tiny balls) or physical modelling for such problems. To put some perspective, it's about as cool as being able to determine the movement of n planets simultaneously attracting each other gravitationally.. quite tough!
Man, I haven't had a date in like 4 years, and even *I'm* not nerdy enough to know why this matters...
Saving the World: One Drink at a Time
As a previous commenter stated, this is a mathematical proof that such a solution exists. You cannot explicitly solve the Navier Stokes equations as written. If you could, my job would be much easier (I model thunderstorms at very high resolution on massively parallel supercomputers). The Navier Stokes equations, along with some other conservation laws, and some physical parameterizations, can be "closed" such that you can approximate a solution using numerical tehcniques, given an initial state and boundary conditions. It is not easy. From a practical standpoint, dealing with massively parallel computers is not much fun. I've spent the past couple of months debugging my own stupid coding errors, competing with hundreds of other scientists running their models, and finding ways to manage the terabytes of data these models produce when they do run succesfully.
Back to the paper... While I am not a mathematician, the paper appears kind of rough to me - lots of punctuation errors, commas in the wrong place, unclosed parehtneses... I suspect this paper has not been fully through the peer review process. I don't know how the mathematicians do it, but I would say this paper is a draft (not discrediting the work - I am not quallfied to judge it - but it looks rough).
A squid eating dough in a polyethylene bag is fast and bulbous, got me?
Not necessarily -- it is conceivable that there exists a poly-time algorithm for an NP-complete problem, but there is no proof (within ZFC, say) that it is correct. The physical truth is certain -- but what we can know about the physical truth is limited.
Now, I'm with you in believing that that's extraordinarily improbable, but math doesn't always respect what we consider to be likely.
In my opinion (as a complexity theory grad student), the "maybe P=NP is independent" speculation is bunk. There are genuine, interesting results talking about the limits of how we can resolve P vs. NP, but none of them come anywhere near logical independence, and giving up on a field-defining problem after 30-odd years is just very odd considering how long the really major open problems often take to solve. I believe the solution exists, and I hope it is found soon, but I will be unsurprised if it takes another 100 years or so while we get a better handle on what computation really means.
I am the man with no sig!
A millennium is mille + annus: a thousand years.
A millenium is mille + anus: a thousand assholes.
If you get it wrong, you're anal; if you get it right, you're annual.
Well, I guess peer review has already taken its toll. The paper has been withdrawn from the arXiv due to "serious flaws."