The Machine In The Ghost
Written by Mike James   
Monday, 23 June 2014

OK, the title really should be "the machine in the differential equation" but... A recent paper reveals that the clue to one of the seven most important problems in mathematics and what is more the approach suggests that computers might be hidden within physical phenomena.

The Navier-Stokes equation models 3D fluid flow and hence it is important in a wide range of physical situations. However what isn't currently known is whether or not the solutions to this equation are "well behaved" in the sense of not blowing up by for example concentrating infinite energy at a single point in finite time. In other words is the flow described by the equation always going to be smooth?

This is one of the Clay Millennium Problems along with PvNP and the Riemann Hypothesis - so you can see it is not only important but thought to be a tough nut to crack. 

The latest approach by Terence Tao, winner of the Fields Medal and recent recipient of the $3 million Breakthough Prize, doesn't solve the problem because it works with a simpler version of the Navier-Stokes equation which replaces it by an averaged version. In this case it seems that it is possible for the solution to blow up at a point. 

The way that this has been proved is interesting for the general theory of computation and perhaps even for Wolframs New Science theories. 

What Tao did was to construct "gadgets" within the rules of the equation that pushed more an more energy into a smaller space. The gadgets started out as logic gates within the fluid that could be assembled into increasing complex machines. With just five gates it proved possible to build a self replicating machine. Notice that this isn't a fluidic computer where the flows are contained within pipes but bundles of fluid withing the total bulk of the fluid.

 

 

naviermachine

One of the machines that in this case creates a delayed, but abrupt, transition of energy.

 

The flow is the computer.

As Tao writes:

"Somewhat analogously to how a quantum computer can be constructed from the laws of quantum mechanics, or a Turing machine can be constructed from cellular automata such as Conway’s “Game of Life”, one could hope to design logic gates entirely out of ideal fluid (perhaps by using suitably shaped vortex sheets to simulate the various types of physical materials one would use in a mechanical
computer). If these gates were sufficiently “Turing complete”, and also “noise-tolerant”, one could then hope to combine enough of these gates together to “program” a von Neumann machine consisting of ideal fluid that, when it runs, behaves qualitatively like the blowup solution used to establish Theorem 1.4. Note that such replicators, as
well as the related concept of a universal constructor, have been built within cellular automata such as the Game of Life"

As well as having bearing on the future solution of the stability problem for the full Navier Stokes equations it might be relevant to Wolfram's idea of universal computation. This says something like - as long as a system is complex enough it is Turing complete and most natural phenomena are complex enough. In other words Turing complete computational systems are all around us. From this point of view it isn't particularly surprising to find a computer lurking in the complexities of a nonlinear differential equation. 

 

 

Banner


Go Rejects The Syntactic Sugar Of Try
26/07/2019

Languages are a matter of fashion and style - and I'm not being rude, well perhaps about the fashion part. The point is there are features that fit with a language's style and ethos and there are feat [ ... ]



SIGGRAPH 2019 Kicks Off
28/07/2019

Siggraph 2019 started today and runs to August 1st. No doubt there will be some interesting things to look at. Here is a preview of what is on offer.


More News

 

appC

 



 

Comments




or email your comment to: comments@i-programmer.info

 

Last Updated ( Monday, 23 June 2014 )