Where is mathematics taking me? An exciting ride into the future. Bill Barton Department of Mathematics, The University of Auckland President, ICMI (International Commission on Mathematical Instruction) Hyderabad, India, August, 2010 Is there a future? (#1) Apophis Near Earth Objects Apophis will not hit, but will pass by in 2013 close enough for us to put a tracker on it. In April 13, 2029, another asteroid will pass at the height of satellites (30 000km). In 2036 another will come past with a 1:250 000 chance of hitting the earth. The mathematics involves generating a million imaginary asteroids, tracking each one (a lot of integration), and seeing how many will hit the earth. Is there a future? (#2) Ice Shelf Break-Up In Antartica there are huge ice sheets (as big as Andhra Pradesh). They act like mirrors to reflect the sun’s heat—and this affects the climate all over the world. These sheets break up under the action of the waves. We need to be able to predict how quickly this happens. Ice Shelf Break-Up Mathematically, the problem involves writing down the equations for wave motion in water and ice and the way they interact. These equations include derivatives. Solving these equations simultaneously is very complex. Part of the mathematical task is to transform the equations so they exhibit symmetry—making them easier to solve. Is there a future (#3): Our Hearts Modelling Calcium in the Heart Background: spiral wave of calcium in a real beating heart Foreground: Simulations of a calcium wave model — demonstrating the development of spiral wave instability Calcium transfer This occurs in your heart, throat, gut, or wherever muscles contract. Not to mention in neurons in your brain! Riding into the future (#1) Today’s airlines need to solve enormous and complex problems on a daily basis. One of these is the scheduling problem. How to allocate (and re-allocate) the many aircrews to the hundreds of flights each day ? Air Crew Scheduling Let us say we have nine flights between four airports as follows: Flight From: To: Depart Arrive DEL AI 1 DEL HYD 08:00 09:00 AI 2 DEL HYD 09:00 10:00 AI 3 DEL MAA 10:00 11:30 AI 4 HYD BOM 13:00 13:40 AI 5 HYD MAA 12:00 13:00 AI 6 BOM MAA 17:00 18:00 AI 7 MAA DEL 16:00 17:30 AI 8 MAA DEL 19:00 20:30 AI 9 MAA DEL 20:00 21:30 HYD BOM MAA Air Crew Scheduling Let us draw the diagram differently, with each flight being a different point: Flight From: To: Depart Arrive AI 1 DEL HYD 08:00 09:00 AI 2 DEL HYD 09:00 10:00 AI 3 DEL MAA 10:00 11:30 AI 4 HYD BOM 13:00 13:40 AI 5 HYD MAA 12:00 13:00 AI 6 BOM MAA 17:00 18:00 AI 7 MAA DEL 16:00 17:30 AI 8 MAA DEL 19:00 20:30 AI 9 MAA DEL 20:00 21:30 1 4 2 5 3 6 7 8 9 Air Crew Scheduling Now we draw a connection between any two flights that can have the same crew: Flight From: To: Depart Arrive AI 1 DEL HYD 08:00 09:00 AI 2 DEL HYD 09:00 10:00 AI 3 DEL MAA 10:00 11:30 AI 4 HYD BOM 13:00 13:40 AI 5 HYD MAA 12:00 13:00 AI 6 BOM MAA 17:00 18:00 AI 7 MAA DEL 16:00 17:30 AI 8 MAA DEL 19:00 20:30 AI 9 MAA DEL 20:00 21:30 1 4 2 5 3 6 7 8 9 Air Crew Scheduling Now we create the mathematical model, a MATRIX. A MATRIX is a table of numbers, in this case only 0’s and 1’s. Each row represents a FLIGHT. PATHWAY Each column represents a CREW SCHEDULE. 4 1 AI 1 1 1 1 1 1 0 0 0 0 0 0 0 0 AI 2 0 0 0 0 0 1 1 1 1 1 0 0 0 AI 3 0 0 0 0 0 0 0 0 0 0 1 1 1 2 5 AI 4 1 1 0 0 0 1 1 0 0 0 0 0 0 AI 5 0 0 1 1 1 0 0 1 1 1 0 0 0 AI 6 1 1 0 0 0 1 1 0 0 0 0 0 0 AI 7 0 0 1 0 0 0 0 1 0 0 1 0 0 3 AI 8 1 0 0 1 0 1 0 0 1 0 0 1 0 AI 9 0 1 0 0 1 0 1 0 0 1 0 0 1 6 7 8 9 Air Crew Scheduling 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 Our problem of Air Crew Scheduling now looks like this. But we do not want all possible Crew Assignments—we only want to cover each flight once. So we must choose some columns so that there is only one 1 in each row. Let us choose columns 3, 7, and 12. Air Crew Scheduling We chose columns 3, 7, and 12. 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 But we could have chosen columns 2, 9, and 11 instead. In fact there are many possible combinations. Each combination has a cost. So the mathematical task is to find all possible combinations and then choose the one with the least cost. Air Crew Scheduling Fortunately finding all possible combinations, and then minimising the cost, is possible, even though for real airlines there are millions of possibilities. Doing it for such large matrices does depend on some mathematical theory in linear algebra, still being developed, for which the original theorem was proven only 30 years ago. Air Crew Scheduling This is actually only half the problem solved. We have found possible “Tours of Duty” for a crew—but who is on the crew? Each possible crew member has certain constraints (leave, place of residence, training). So the second problem is to assign crew members to each crew in the most efficient manner. And, in reality, both problems should be solved together. Riding into the future (#2) “The Love Life of Buses” Why do buses pair up? Mathematical models help us explain both why it occurs, and what we can do about it. Passenger behaviour can prevent this happening. The Future (#1): Fish & Robots Biological mathematics is a fast-growing field. For example, we want to know how animals move to help robotics and understand their evolution. Modelling Fish Claire has studied the Amazonian knife fish. It lives in muddy water, and cannot see. It senses its food using magnetic strips on its side. This means that it must move backwards and sideways in a very odd way. The fish’s movement is, in fact, the most efficient possible to reach that position. The future (#2): Google How does Google order all the pages it finds when you ask it to search for something? If I search for “Hyderabad Schools” Google finds over 2 million pages. How does it decide which webpages to show on the first screen? Why does “Oakridge” get shown on the first screen, and the “Hyderabad Parents Association” not appear until screen 41? The Google Search Engine Again, let us draw a diagram of a simple case. Imagine that Google finds five pages: A, B, C, D, and E. Google also knows how pages are linked to each other. In this diagram I have drawn those links as arrows. For example, B links to two other pages, A and C. Now we create a matrix so that each row and column represents one of the pages. A number links the column page to the row page. Can you see why I have used these numbers? It is possible to multiply matrices. If you multiply this matrix by itself, then you get another matrix that tells you whether you can get from one page to another in TWO steps. What do you notice ? 0.50 0.17 0.17 0 0.61 0 0.66 0.44 1 0.11 P 2 0.50 0 0.28 0 0.17 0 0 0.11 0 0 0.17 0 0 0.11 0 Did you notice that all the columns add up to 1? A list of numbers that add up to 1 should make you wonder whether the numbers are probabilities—WHY ? In this case, the figures are the probabilities that, if you start on one page, then you will end up on another after A B C D E two steps. For example, if you start on page C, then the probability that you will end up on page B is 0.44 or 44% 0.50 0.17 0.17 0 0.61A 0.66 0.44 1 0.11B 0 P 2 0.50 0 0.28 0 0.17C D 0 0 0.11 0 0 E 0.17 0 0 0.11 0 P3 gives you the same information for three steps. What happens if I try lots and lots of steps? Amazingly, after I get to P30, anything higher gives me the same result. And…. ALL THE COLUMNS ARE THE SAME ! This happens because of the structure of the matrix. We call it a stochastic matrix. What it means is that the probability of ending up on a particular page after a lot of steps is the same whichever page you start from. So Google just ranks the pages in order from the most likely to the least likely. In this case it would rank them: B, A, C, E, D. What is even more wonderful, is that, starting from just the matrix P, we can get directly to that final column. This is called an EIGENVECTOR of the matrix—you will learn about it in an undergraduate university course in linear algebra. Of course doing this for a matrix with 2 million rows and columns is not a trivial task !! You study how computers do these calculations with minimal round-off errors in the study of numerical analysis. e 0.293 0.390 0.220 0.024 0.073 You have seen how matrices are useful in a variety of contexts. They also can be used to represent systems of equations—and if we use them with Iterative Equations, then we can model change. Environmental scientists use these to investigate populations of endangered species. For example, when forests on the Pacific Coast of North America were being logged people became concerned about the Spotted Owl. We can model the life-cycle of the Spotted Owl in three stages: ji — the number of juvenile owls in time interval i si — the number of sub-adult owls in time interval i ai — the number of adult owls in time interval i Now we write Iterative Equations to show how they progressed, making field observations for the coefficients. jn 1 0.33an sn 1 0.18 j n an 1 0.71sn 0.94an We can model the life-cycle of the Spotted Owl in three stages: ji — the number of juvenile owls in time interval i si — the number of sub-adult owls in time interval i ai — the number of adult owls in time interval i Let us write these equations so that each equation uses each variable (with zero coefficients). jn 1 0 j n sn 1 0.18 j n an 1 0sn 0.33an 0sn 0an 0 jn 0.71sn 0.94an We can model the life-cycle of the Spotted Owl in three stages: ji — the number of juvenile owls in time interval i si — the number of sub-adult owls in time interval i ai — the number of adult owls in time interval i Now let us write these equations in a matrix form, the elements of the matrix are the coefficients. j n 1 0 0 0.33j n 0 0 sn sn 1 0.18 0.71 0.94 an 1 0 an We can use the properties of the matrix to determine what will happen in the long term to the population of the Spotted Owls, and also we can compare this with what happens to other populations (for example, where there is no logging). j n 1 0 0 0.33j n 0 0 sn sn 1 0.18 0.71 0.94 an 1 0 an The future (#3): Knots 5-component link with Jones polynomial (√t + 1/√t)4 The mathematical techniques for distinguishing knotted structures … … are applied to molecular biology (RNA strands and protein folding) and theoretical physics The future (#4): The Shape of the Universe How can we work in more than three dimensions ?? We can see three dimensions—we can look down from above. In four dimensions we can only get inside the space and feel its slopes. Opening Doors on Pleasure and Opportunity Those of us who love mathematics love the opportunities it provides and the pleasure it brings Mathematics opens doors in nearly every walk of life, and every career you choose Mathematicians become addicted to struggling and solving problems Marcus du Sautoy “I love the buzz of discovering some new eternal truth about the mathematical world. The adrenaline rush of creating a strange symmetrical object never seen before, with interesting new properties, is addictive. Of course, it’s wonderful if there is some killer application of your discovery, but that is rarely the motivation for hiking to the extremes of the mathematical landscape.” From his column in The Times, February 10, 2010 Vaughan Jones “My most important result was the index for subfactors. I was on a high for months as the result revealed itself. All I wanted to do was think about the maths and any worldly thing was an intrusion.” “It is an amazing high that is a consequence of having tried and tried with things falling apart all the time. Then eventually you sense, then believe, then know, then are able to prove, that it's actually for real.” Hauke Groot “I remember trying to solve a driveway design problem. It was difficult because there were two intersecting slopes. I struggled trying, and failing, to remember my school trigonometry, looking things up, trying different ideas. Finally I got it. It was such a buzz. Partly because I had spent so much time but finally did it. And then I thought. Oh, there is another way to do this, so I worked on, and came to the same solution but using another method, and then a third one. It was so satisfying. But I realised that I could not charge my client for the last three hours work, because I already had the solution, I had just got carried away with the mathematics.” Mathematics Is Full of Opportunities and Unexpected Pleasures Join us! <b.barton@auckland.ac.nz>