Applied Mathematical Research
Saturday, April 28, 2012
The need for a god
Saturday, September 24, 2011
Sub-particle traveling faster than the speed of light
Today I awoke to the shocking news that CERN scientists have measured, although they are treading carefully, neutrinos to be traveling faster than the speed of light.
For those who do this type of work will know that a neutrino "little neutral one" in Italian was first postulated by Wolfgang Pauli in order to preserve the conservation of energy, conservation of momentum, and conservation of angular momentum in the decay of an atomic nucleus into a proton, an electron and an antineutrino.
Pauli theorised that an undetected particle was carrying away the observed difference between the energy, momentum, and angular momentum of the initial and final particles. A neutrino as theorized is an electrically neutral, weakly interacting elementary subatomic particle with a small but non-zero mass.
Now, it has always been assumed that neutrinos travel at the speed of light. Relativity required mass-less particles to travel at the speed of light. But for a particle to travel faster than the speed of light undermines Einstein's 1905 special theory of relativity, one of the most important pillars in modern physics. And, of course the expansion of the fabric of space-time doesn’t count here, nor “apparent" or "effective" faster than light theories in unusually distorted regions of space-time.
The early comment by most scientists has been disbelief. For example, University of Maryland physics department chairman Drew Baden called it "a flying carpet," something that was too fantastic to be believable. Indeed, CERN are asking others to independently verify the measurements before claiming an actual discovery. They are inviting the broader physics community to look at what they've done and really scrutinize it in great detail, and ideally for someone elsewhere in the world to repeat the measurements.
You see Fermilab (the other Accelerator Laboratory in Chicago) had announced similar faster-than-light results in 2007, but those came with a margin of error that undercut its scientific significance. However, Fermilab would be capable of running the tests according to Stavros Katsanevas, the deputy director of France's National Institute for Nuclear and Particle Physics Research. The institute collaborated with Italy's Gran Sasso National Laboratory for the experiment at CERN.
My immediate thought after reading the CERN press release this morning was special relativity. The second, EPR and entanglement, what Einstein called spooky action at a distance. Along with hidden variables and all. Looking at it, whilst entanglement implies instantaneous communication - there is no actual information transmitted when the entangled particles affect each other. entanglement doesn’t imply faster than light communication. We can’t affect the state the particle goes into, even though it doesn't 'decide' on its state until it is observed.
Monday, September 5, 2011
The Remarkable Theorem
Abbott‘s in his 1884 satirical novella wrote pseudonymously as "A Square", in the fictional two-dimensional world of Flatland to offer pointed observations on the social hierarchy of Victorian culture. A 3-dimensional being, of course, is could see everything in their world, and all at once.
In the same way, a 4-dmensional being looking back at us could look inside our stomach, and remove, if they want to the lunch we just had without cutting through our skin, just like we can remove a dot inside a circle (flatland) by moving it up into the third dimension perpendicular to the circle, without breaking the circle.
Then years later, I learned about Carl Friedrich Gauss and his Theorema Egregium (the remarkable theorem in Latin). How for example, can an Ant (say a 2-dimensional being) stuck on the surface of our curved world, and can’t stand back to see the curvature of our planet ever realize that the surface is curved.
The theorem says that the curvature of a surface can be determined entirely by measuring distances along paths on the surface. That is, curvature does not depend on how the surface might be embedded in 3-dimensional space. An absolutely amazing insight! This however only applies to curved surfaces which are 2-dimensional.
It would take a brilliant student of Gauss, Bernhard Riemann at the age of just 26 to develop and extend Gauss's theory to higher dimensional spaces called manifolds in a way that also allows distances and angles to be measured and the notion of curvature to be defined, again in a way that was intrinsic to the manifold and not dependent upon its embedding in higher-dimensional spaces. That is generalizing Gauss’ work to describe the curvature of space in any dimension. Again, how do we, non-mathematicians, visualize a curved 3-dimensional space. What encapsulates it? The genius of Riemann was to show that we don’t need to step into the fourth dimension to tell if space is curved. We can do it form the inside.
Albert Einstein, as we know, came along and used the theory of Riemannian manifolds to develop his General Theory of Relativity. In particular, his equations for gravitation are restrictions on the curvature of space. He took the mathematics of Gauss and Riemannian and used it to develop a revolutionary picture of our physical world showing that we live in the curved worlds of Gauss and Riemannian.
So we get to finally that gravity is not a pull downwards but rather an object falls following the simplest path through bend space. Of course, Einstein didn’t stop there and showed that the presence of mass that bends space.
Friday, August 19, 2011
2001: A Space Odyssey & An Explanation Of What Happens In A Vacuum
I first watched Stanley Kubrick's 2001: A Space Odyssey in the mid 90’s and I remember being struck by the power of its visual imagery. In the enduring years I probably saw the film another 2 or 3 times. Yesterday evening I watched again, this time thinking about how and why this film appealed so much to of one of the greatest mathematicians of the twentieth century, Paul Adrien Maurice Dirac.
Paul Adrien Maurice Dirac, held the Lucasian Chair of Mathematics at the University of Cambridge, and shared the Nobel Prize in physics for 1933 with Erwin Schrödinger, "for the discovery of new productive forms of atomic theory."
As I read about Dirac, one learns that he hardly spoke unnecessarily. In fact people who knew Dirac well coined the word “a Dirac” meaning, amusingly the smallest number of words spoken in an hour and still be involved in a conversation. Interestingly, it takes almost 25 minutes before a word is spoken in 2001.
In the late 1920s Dirac unified special relativity and plank’s quantum effects, unravel the vacuum and explained what is really taking place in empty space. This is regarded by many, as one of the greatest achievements in mathematics and physics in the 20th century leading to a new picture of [nothing].
2001’s appeal for Dirac helps give us an insight how he managed this achievement. As Kubrick himself said 2001 is a demonstration that a really good film script can be made without many words but with the power of visual imagery. Dirac had a very strong sense of what his equations were telling him visually.
Wednesday, August 10, 2011
When Black Holes Waltz
What’s interesting is that almost anywhere we look we find supper massive black holes waltzing at the centre of their respective galaxies. As these block holes orbit around each other, they distort the very fabric of Spacetime and send ripples cross the universe. This wobble might be heard here on Earth even when we can’t see them.
The orbits of paired black holes look nothing like the typical elliptical paths we see in our local neighbourhood of the universe. Instead supper massive paired-blacks holes follow a path that resembles more a 3-leaf clover.
The shocking thing here is that how some of the heaviest objects in the universe orbit around each other resembles exactly how the lightest objects in the universe orbit around each other, ie protons and electrons.
The smallest objects in the universe behave the same way as the largest.
Thursday, June 30, 2011
Shattering Naive Expectations Of Humans
Reading it again I was reminded of Gödel’s extraordinary theorems. Accepted by mathematicians, they have not only modernised mathematics, showing that mathematical truth is more than logic and computation but also how we might interpret the universe itself. One once said “Does Godel's work imply that someone or something transcends the universe?”.
The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" is capable of proving all facts about the natural numbers. For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem shows that if such a system is also capable of proving certain basic facts about the natural numbers, then one particular arithmetic truth the system cannot prove is the consistency of the system itself.
For over 2000 years Euclidean geometry past the test of time. Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other theorems from these. An example is the idea that you can add one to any number and get a bigger number. If Euclid's work had a weak link, it was his fifth axiom, the axiom about parallel lines. Euclid said that if you were given a straight line, you could draw only one other straight line parallel to it through a set point somewhere outside it.
However, in the 19th century Riemann and others created new geometries by saying that there could be two parallel lines through the outside point or no parallel lines. It turned out that Riemann's geometry is better at describing the curvature of space than Euclid's and Einstein in the early 1900s incorporated Riemann's ideas into relativity theory.
Now not only had Riemann created a system of geometry which stood commonsense notions on its head, but the philosopher-mathematician Bertrand Russell had bumped into a serious paradox for set theory. Russell did not feel that this paradox was insurmountable and felt he could create a single self-consistent, self-contained mathematical system. He and Whitehead produced the 3-volume Principia Mathematica. However, even before it was complete, Russell's expectations were dashed.
Godel’s paper "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." In it he showed that a statement in a system could be made to refer to itself in such a way that it said about itself that it was unproveable and shattered naive expectations that human thinking could be reduced to algorithms or that our thoughts can be a mechanical process.
Christians, for example, see man as a spiritual being with understanding that springs not just from the physical organ of the mind but also from soul and spirit.
Tuesday, June 28, 2011
$6 Million still on offer...
In order to celebrate mathematics in the new millennium, The Clay Mathematics Institute of Cambridge, Massachusetts established seven Prize Problems. As of June 2011, six of the problems remain unsolved. A correct solution to any of the problems results in a US$1,000,000 prize being awarded by the institute. Grigori Perelman solved the Poincaré conjecture and was awarded the first Clay Millennium Prize in 2010 – he turned down the prize. The seven Millennium Prize Problems are:
1. Birch & Swinnerton - Dyer Conjecture
This conjecture relates the number of points on an elliptic curve mod p to the rank of the group of rational points. Elliptic curves, defined by cubic equations in two variables, are fundamental mathematical objects that arise in many areas.
2. Hodge Conjecture
Over the years mathematicians discovered powerful ways to investigate the shapes of complicated objects. The idea is to ask to what extent can we approximate the shape of a given object by gluing together simple geometric building blocks of increasing dimension. The Hodge conjecture asserts that for particularly nice types of spaces called projective algebraic varieties, the pieces called Hodge cycles are actually (rational linear) combinations of geometric pieces called algebraic cycles.
3. Navier-Stokes Equation
Mathematicians have long believed that an explanation for the way turbulent air and water currents follow moving planes and boats can be found through an understanding of solutions to the Navier-Stokes equations. The challenge here is to make substantial progress toward a mathematical theory which will unlock the secrets hidden in the Navier-Stokes equations.
4. P vs NP Problem
One of my interest areas - Suppose that you are organizing housing accommodations for a group of four hundred university students. Space is limited and only one hundred of the students will receive places in the dormitory. To complicate matters, the Dean has provided you with a list of pairs of incompatible students, and requested that no pair from this list appear in your final choice.
This is an example of what computer scientists call an NP-problem, since it is easy to check if a given choice of one hundred students proposed by a co-worker is satisfactory, however the task of generating such a list from scratch seems to be so hard as to be completely impractical. Indeed, the total number of ways of choosing one hundred students from the four hundred applicants is greater than the number of atoms in the known universe.
Thus no future civilization could ever hope to build a supercomputer capable of solving the problem by brute force; that is, by checking every possible combination of 100 students. However, this apparent difficulty may only reflect the lack of ingenuity of your programmer. In fact, one of the outstanding problems in computer science is determining whether questions exist whose answer can be quickly checked, but which require an impossibly long time to solve by any direct procedure.
5. Poincaré Conjecture (Solved)
If we stretch a rubber band around the surface of an apple, then we can shrink it down to a point by moving it slowly, without tearing it and without allowing it to leave the surface. On the other hand, if we imagine that the same rubber band has somehow been stretched in the appropriate direction around a doughnut, then there is no way of shrinking it to a point without breaking either the rubber band or the doughnut. We say the surface of the apple is "simply connected," but that the surface of the doughnut is not. Poincaré, almost a hundred years ago, knew that a two dimensional sphere is essentially characterized by this property of simple connectivity, and asked the corresponding question for the three dimensional sphere (the set of points in four dimensional space at unit distance from the origin).
6. Riemann Hypothesis
Some numbers have the special property that they cannot be expressed as the product of two smaller numbers, e.g., 2, 3, 5, 7, etc. Such numbers are called prime numbers, and they play an important role, both in pure mathematics and its applications. The distribution of such prime numbers among all natural numbers does not follow any regular pattern, however the German mathematician G.F.B. Riemann observed that the frequency of prime numbers is very closely related to the behavior of an elaborate function:
ζ(s) = 1 + 1/2s + 1/3s + 1/4s + ...
called the Riemann Zeta function. The Riemann hypothesis asserts that all interesting solutions of the equation
ζ(s) = 0
lie on a certain vertical straight line. This has been checked for the first 1,500,000,000 solutions. A proof that it is true for every interesting solution would shed light on many of the mysteries surrounding the distribution of prime numbers.
7. Yang-Mills and Mass Gap
The laws of quantum physics stand to the world of elementary particles in the way that Newton's laws of classical mechanics stand to the macroscopic world. Almost half a century ago, Yang and Mills introduced a remarkable new framework to describe elementary particles using structures that also occur in geometry.
Quantum Yang-Mills theory is now the foundation of most of elementary particle theory, and its predictions have been tested at many experimental laboratories, but its mathematical foundation is still unclear. The successful use of Yang-Mills theory to describe the strong interactions of elementary particles depends on a subtle quantum mechanical property called the "mass gap:" the quantum particles have positive masses, even though the classical waves travel at the speed of light.
This property has been discovered by physicists from experiment and confirmed by computer simulations, but it still has not been understood from a theoretical point of view. Progress in establishing the existence of the Yang-Mills theory and a mass gap and will require the introduction of fundamental new ideas both in physics and in mathematics.