It can be used to understand everything from bedbugs to traffic jams and helps us take photos and fly planes. Maths professor and author Nick Higham picks five books that show the many wonders of applied maths.
Your book, The Princeton Companion to Applied Mathematics (2015), seems to have got some very high praise: a âtour de force,â âThe treasures [in this book] go on and on.â Is it a unique book, in terms of getting together lots of experts in the field?
Yes, I donât think itâs been done before in applied mathematics. The idea was to produce a book that gives a flavour of what applied mathematics is about, what itâs used for, and what the future might be. In no sense can it be comprehensive, even in about 1000 pages, but we tried to have a selection of topics that we thought were the most interesting and to get the very best authors we could from around the world: people who are both leaders in their field but also good writers. It was a five-year project. We had a brilliant copy editor and production editor who worked on it as well. Iâm very happy with the result in terms of the coverage but also the quality of the articles: from the writing and even down to the figures. A lot of effort went into producing a good selection of figures to enliven the text. So, it is not just prose and equations but illustrations as well.
Do you want to explain, for the layperson, what applied maths actually is?
This is something we had to think about. The fact is that there is no generally agreed definition of what applied mathematicsâor pure mathematicsâis. In the opening section of the book, titled âWhat Is Applied Mathematics?â, I quote some luminaries from the past to give a flavour of their views. My favourite quote is from Lord Rayleigh. He said that applied maths is about using mathematics to solve real world problems âneither seeking nor avoiding mathematical difficulties.â That means youâve got some real world problem in mind and you donât oversimplify it so that you can solve it. Youâll do whatever you have to do to come up with either a solution or an approximation. That is a nice way of giving the flavour of applied mathematics. Weâll search out whatever tools we can, and we may have to make approximations, but in the end weâll come up with something useful. That doesnât mean to say that we donât sometimes solve problems just for the sake of it, like, traditionally, a pure mathematician would. Also, there are pure mathematicians who have solved problems that have gone on to be incredibly important in the real world. In banking now, for example, with public key cryptography, the underlying security algorithms are very much based on number theory. So, it goes both ways.
Are there topics or research fields that sit on the boundary between applied and pure mathematics?
Yes, certainly in the sense that things that at one time were thought to be very pure now have lots of applications. In the world of information, which is becoming increasingly important, a lot of the underlying theory is very pure but can be applied to the real world â to cracking codes, for example. Then there is the whole issue of computation. In the past, before we had computers, people did computations by hand. Now, with digital computers, we can do much more and this often gives insight into problems that were very hard. For example, the famous four colour map theorem was eventually proved with the help of a computer, which was used to check hundreds of thousands of cases.
Are there still debates about the validity of computer proof?
In terms of the ones that generated a lot of publicity, they seem to be accepted now. There is always the question of âWhat do you really mean by a proof?â To what extent can you check a computer program to be sure that it has produced what you thought it was going to? In computer science itself, that is still an area of research: proving programs correct. With things like safety issues in airliners that is a real problem. So, some programming languages have been designed with the aim of making programs easier to verify.
Tell us more about safety in aircraftâŚ
Modern airliners have fly-by-wire systems instead of entirely manual controls. There are miles of wires on the airplane and the pilot might say âdo thisâ to move a flap and a computer algorithm checks that the movement wonât do something to cause the plane to crash. But that algorithm had better be really reliable or it might disallow a plane-saving manoeuvre. There are lots of examples where, due to special conditions in the air, the computer has given the wrong information to the pilot or made the wrong decision. There was the Air France flight that crashed on the way from Brazil to Paris when frozen pitot tubes led to wrong airspeed readings. You can imagine how an algorithm might fail because nobody thought of that particular circumstance.
Letâs go through the books youâve chosen. The first one on your list is X and the City: Modeling Aspects of Urban Life (2012) by John Adam. Tell us what you like about this book.
This book has a nice theme, which is using mathematics to understand the city. Itâs amazing how many different aspects of city life can be investigated using mathematics. There are aspects of driving, congestion, populations, air pollution, light, gardening â thereâs even some description of rainbows.
Taking just one of those as an example, how can maths help solve the problem of congestion?
This is quite tricky. As with many cases in this book, mathematical models are constructed to try to understand the problem. A mathematical model is, in essence, a set of equations that you can use to try to understand a process and to predict whatâs going to happen in the real world. If you take a problem like congestion, you want to understand how things like the speed or the density of the traffic affects it. So you come up with equations, that you play around with, that will model that situation. With your equations, you can vary the speed of the traffic or the density and use that to predict what will happen. Of course, thereâs always the question of whether your model faithfully matches the real world behaviour. How do you check that? How do you choose your parameters? Ultimately, the aim is to gain more understanding. You might, for example, choose speed limits for certain roads in order to try to reduce the congestion. What should those speed limits be? You donât necessarily want to try different speed limits over a period of months and then see what happens. You want to do some computations and say âAh! 25 miles-per-hour looks like the right speed limit for this particular roadâ â thereby saving a lot of time and effort.
Whatâs the difference between a model and a simulation?
In the most general usage, modelling and simulation are sometimes used as synonyms, but a distinction is usually made between developing and analysing the model (modelling) and carrying out computational experiments with the model (simulation).
I like this book because it is inventive â with a lot of great examples of applied mathematical modelling. The âXâ in the title refers to an unknown. I did know of this book before I actually got my hands on it. I had been rather put off by the apparent connection to the TV series, Sex and the City, which I have never watched. But actually thereâs not even the slightest connection. Thereâs no allusion or mention of it even in the chapter entitled âSex and the City.â
Whatâs that chapter about, then?
He is making use of the logistic differential equation to model the populations of bed bugs and rats. This is a very old topic in mathematical modelling â modelling the growth of populations. One of the examples that we often use in undergraduate courses is the âfox and rabbitâ simulation. This is where youâve got a population of foxes and a population of rabbits. The foxes eat the rabbits and the rabbits reproduce, both of which can happen at different rates. Whatâs going to happen? Will all the foxes eat the rabbits and there be no rabbits left? Will there be a steady state? Or will the populations oscillate up and down forever? These so-called predator-prey equations go back about a hundred years. Thereâs a long tradition of mathematical modelling through differential equations to understand how populations vary over time. This is talking about those sorts of ideas.
The book also gives an estimate of the answer to the question, âHow many people have lived in London?â Estimation is well used â for example, to answer âHow many squirrels live in Central Park?â And some practically important questions are also addressed, such as should you walk or run in the rain?
Are the equations in a book like this hard? How much maths do you need to know for the book to be enjoyable?
This is one of the two most mathematical books out of the five I have chosen. There are quite a lot of equations and mathematical derivations. I think having a first course in linear algebra and in differential equations or calculus is probably what you need to make much headway. But quite a lot of the book is readable anyway. It introduces the problems in a nice gentle way, setting the scene before introducing the technicalities.
Letâs go on to book number two on your list, which is William J. Cookâs In Pursuit of the Traveling Salesman (2012).
The title refers to the travelling salesman problem (TSP), which is the problem of working out the shortest route that visits a specified group of cities and then returns to the starting point. The problem gets its name from the travelling salesman who wants to visit all the target cities while minimising the total distance he or she travels. It sounds like a very narrow problem but actually, as the author shows very clearly, there are many instances where it arises and itâs very important to solve it. For example, suppose youâre looking at the night sky with a telescope and you want to visit a certain number of stars. In what order do you move between the stars to minimise the movement of the telescope and its wear and tear? Similarly, when youâre laying out computer chips: how do you move the deviceâthatâs coming down on that chip and plonking things on the circuitâto make the process as fast as possible?
It hasnât been solved yet?
No. First of all, the problem is very hard. Even with the fastest computers and the best algorithms that we have today, we arenât able to solve it yet. We canât find the best route in any reasonable time, except for a small number of cities. More interestingly, from the mathematical point of view, despite the intense efforts of mathematicians and computer scientists, we donât even know how to quantify how hard the problem is, in a technical sense. In maths, weâre always trying to say: hereâs a problem, hereâs some measure of the difficulty of it. We donât really know how difficult this problem is. We donât know where to put it in the hierarchy from easy problems to almost insoluble problems. Is it just that we havenât thought of the best algorithm or is it that there is no efficient algorithm for solving it?
But if you did ask a travelling salesman wouldnât he knowâfrom bitter experienceâwhat the best route is?
Well, in a sense, this is how the problem is solved at the moment, with heuristics. A salesman might think he or she has got a good route but it may still be far from optimal. How would they know? Of course, the more cities there areâweâre talking here about a few hundred citiesâthe harder it becomes to know whether youâve found anything like the best route. Thereâs a long history of development of algorithms, each building on the previous one, from the 1960s onwards.
Is that when this problem was first talked about?
The original statement of the problem goes back to the 18th century, with Euler and Hamilton, but it was really only with the advent of computers that people started to make any headway. The 1950s onwards, I would say, is when it started to become a real area of research.
This book is by one of the leading researchers on the TSP and gives a very readable and wide-ranging treatment of the problem. Before reading it, I hadnât realized just how widespread the TSP problem is. Cook also has a fascinating discussion of various heuristics that have been proposed for TSP over the years. These are illustrated with lots of helpful diagrams. The subtitle is âMathematics at the Limits of Computationâ and it does an excellent job of explaining how large TSPs are tackled, harnessing the best available algorithms with the fastest computers.
Do you get the sense that this problem will be solved through a gradual development of better and better algorithms? Or do you think we need a qualitatively different approach to make significant headway?
First of all, I should say what it means to solve the problem. Weâve been talking about the very best solution. That is whatâs hard. What the algorithms available at the moment will do is offer approximations. They will give upper and lower bounds. So, theyâll say, if you want to do a 1000 city travelling salesman tour of this group of cities, then hereâs a tour that I can guarantee is within 5% of the best. In practical terms, thatâs probably okay, itâs enough. The mathematical difficulty is in saying how hard the problem is, and giving the very best route. Thatâs what people in this research area try to do. Large amounts of computer time are being spent trying to tackle this problem. Thereâs also the possibility that a completely new idea will come along and revolutionise the field. This has happened in other areas of mathematics: a famous conjecture gets solved with a completely new approach. This may be one area where that might happen.
When you were saying that it is not even known how difficult the problem is, is that the âP versus NPâ problem?
Yes, thatâs the framework that I was referring to, the âP versus NPâ problem, which is one of the seven Clay Institute Millennium Problems, for each of which a $1 million prize is available for a solution.
The third book Iâve got on my list is the one by Amy Langville and Carl Meyer â Whoâs #1? The Science of Rating and Ranking (2012). This is absolutely key at the moment isnât it? Everything, these days, seems to rely heavily on ratings and rankings.
Yes. Google searches, all the shopping websites that say âyou liked that, so you may like this,â the ranking of teams (particularly in the US, where there is a lot of interest in ranking sports teams), or movie sites where people rate movies and they use that to predict what movies you might like. These are the sorts of applications the authors have in mind. The same authors wrote an earlier book purely about internet search engines, and Google in particular. Then they were led to think more generally about ranking and hence this book came along. Itâs quite mathematical. There are a number of equations in there. But the mathematics is all elementary undergraduate mathematics. If you are familiar with matrices, vectors and basic probability, you should be able to follow much of the book. Indeed itâs an excellent read for anyone doing a linear algebra course, as it beautifully illustrates the power of linear algebra for solving real-life problems.
Is ranking a fully-fledged area of mathematics now? I was surprised to see it as an undergraduate course book.
I wouldnât call it a field of mathematics, as such. There have been papers on this topic for many years though this might actually be the first book dedicated to ranking. But the sort of questions theyâre asking are pretty fundamental. For instance, if youâve got two different rankings how far apart are they? If you and I both come up with a ranking of the best football teams in the UK and then someone else comes up with a ranking, which pair of us are the closest? How do you compare different rankings? Thatâs one of the questions they address here. Also, if there are ties, how can you break them? If your ranking has two football teams on the same level, what extra information can you put into the equation to decide how to order those? How sensitive are those rankings to the underlying data that youâre working from? Thatâs particularly relevant to internet search engines when people try to spam. They try to create lots of pages purely to generate extra links that can influence a ranking. How much do rankings change when you introduce those sorts of additional nodes or make perturbations to the data? Thatâs another important question that is addressed here.
Is there a method of ranking or rating that you could explain to us, as an example?
The one that Iâm most familiar with is the internet search engine rankings. They are based on representing the whole web as either a graph or matrix. So there are several billion pages on the web now. Any one page may link to any other page, so you have to form a massive array where each row is a webpage. If Iâm the n-th row, the question is which of the other several billion pages I link to. You put a 0 there if I donât link to the page and a 1 if do. So, you end up with a huge matrix of noughts and ones.
So youâre talking about a billion rows and a billion columns?
Yes, with just noughts and ones in there. What Google doesâor what people think they do, and they certainly did in 1998 when they published an algorithmâis use the properties of that matrix to produce an ordering of pages based on importance. Itâs a clever argument based on if I link to an important page â say the New York Times â Iâm linking to a page that clearly has some authority. If they link to me then that gives me authority because theyâre important and theyâre linking to me. So, by using those sorts of ideas, and a little bit of mathematics, they came up with a way of converting this massive matrix into an ordering of essentially all pages on the web. That is an example of a ranking. The maths behind that is relatively elementary. The maths had been known for a long while but it had not been used in quite this way before.
It sounds to me like a much more complex computation than the travelling salesman.
Itâs actually quite a simple computation because all you have to do with that matrix is multiply it into vectors a few times and that can be done quite efficiently. It sounds like itâs harder because of the sheer size of the matrix, but itâs actually much easier. It has not got the combinatorial explosion property that the travelling salesman problem has where there are so many routes you can take that you couldnât possibly check them all. Whereas here, the hidden properties of the matrix are not too hard to pull out with a little bit of relatively well-known mathematics.
So when people talk about how search engines work and what Google is up to, the mystery is more about what Google is choosing to do rather than the complexity of the maths theyâre using to do it?
The thing with Google is that they published an algorithm in 1998. A lot of what theyâve done since then is catering to advertisers and avoiding spamming. They have all sorts of techniques that will juggle the list to achieve their many aims. It will not be a simple algorithm any more, Iâm sure.
I hadnât realised they had actually published it.
Well this was in 1998 when they were just starting up. Brin and Page were PhD students in computer science at Stanford University. They actually never finished their theses because they decided to set up the company. At that point, they didnât know what was going to become of the company so they had no qualms about publishing a paper. That was the only time theyâve ever, as far as Iâm aware, published anything like that.
Because now if they make it public then everybody would be trying to game the system?
Exactly. They cannot reveal their precise methods.
I find Google search quite interesting in that it works well for lots of things but it doesnât work for hotels. When youâre looking for a hotel, all the ads advertising the hotel take priority so itâs hard to find the hotel youâre trying to get to. For most other things, it seems to work.
Maybe hotels donât fit in too well to this idea of linking to other important pages. Theyâre not going to be linking to a lot of things other than local maps and tourist sites.
Do you think anybody setting up a website, like ourselves, should read this book?
For a website, probably their earlier book on page ranking and specifically about search engines would be the first place to look. This certainly would be a good follow-up. Itâs looking at ranking in general, not just webpages.
This book, appropriately, has 50 articles in it. It was edited by a number of people in the IMA. Sam Parc is not a person. It is a pseudonym for the editors, constructed from their first names, which are listed on page six of the preface. Whatâs really nice about this book is the wide range of topics and the fact that the articles are all very short, typically three or four pages. Itâs a fantastic book to just dip into. Thereâs a whole variety of articlesâfrom biographical and autobiographical articles, which I particularly likeâ through to topics like âMotorway Mathematics,â which explains how you can use modelling to understand traffic jams. On the motorway, you slow to a crawl, and then a little later you think, âWhy did I slow down? Thereâs no obvious accident or problem.â Mathematical modelling helps you understand the wave effect of that slow-down through the traffic. Thatâs why weâre getting these smart motorways now. Ultimately, they will be able to adjust the speed limits with the aid ofâhopefullyâmathematical theory to minimise traffic jams.
Thereâs also a good article about how if youâre at a murder scene and look at the blood stains on the floor you can find out what happened by working out where the body was when the blood started spurting out. Just using elementary mathematics, sines and cosinesâitâs almost âAâ Level maths in a wayâto try and work backwards. This is by somebody who has a job doing this kind of thing: Graham Divall, independent consultant forensic scientist with 35 years of bloodstain examination experience. Thereâs also one by Simon Singh on Simpsonâs rule. Of course, Simon Singh has published an entire book on the mathematics behind the TV series The Simpsons. This is just a short article relating to one aspect of that. Iâve never watched The Simpsons so I donât particularly connect with that one. The editors did a really good job of finding interesting articles.
Is the IMA, and hence this book, all about making maths accessible?
The members of the IMA are teachers at schools all the way through to university researchers and people in industry. It caters for all those. It organises conferences, it has journals, and it has a nice magazine that comes out every month.
But is it trying to appeal to the general public? I notice there are no equations in the book.
Yes, the IMA is very strong on outreach, on showing the importance of mathematics to the general public. I think one aim of this book was to do that. So, yes, this is very accessible. It is published by Oxford University Press and theyâve clearly gone to a lot of effort to make it read well and be widely accessible.
When did you get interested in maths? Is it something you were always passionate about?
When I was doing my âOâ Levels, I would have said my best subject was English. But I somehow knew that Iâd be better off going into science so I did maths, physics, and chemistry at âAâ Level. I never really regretted it. In general, scientists are not very good at writing. Itâs not hard to be a better-than-average writer as a scientist, especially as a mathematician. So, if you have an interest in writing and youâre reasonably good at maths thatâs a great position to be in. Thereâs no point in doing great science if you canât explain it to other people. You wonât even get published if you canât explain your work to your peers and write it in a compelling way. So Iâve always been interested in maths but liked writing as well. I actually spend more of my time writing. Probably every scientist would say the same, because you have to write emails, write lecture notes, write papers, write referee reports, and somehow you spend more time doing that than doing the actual science.
Do you wish you had more time for maths?
Well, always, yes. But the act of writing is not something you can hand over to somebody else, because writing is part of understanding. Quite often Iâll write something up and realise that I donât fully understand it. Iâll have to go back and look at the maths again. Itâs an iterative process. Itâs not what many students think is the process when youâre doing a PhD â spending three or four years doing the maths and then, at some point in the last year, saying âIâll write it up and then Iâve got my thesis.â Thatâs certainly not the way I work with my students. I get them writing immediately. If you leave it to the end then (a) youâll run out of time and (b) youâll have forgotten some of the work you did three years ago â you canât understand it anymore and it probably contains flaws. Writing in maths has to be part of the process.
Letâs go on to your fifth and final book: Ian Stewartâs Seventeen Equations that Changed the World (2012).
This is not the first book about equations to be published but what I liked about it is that thereâs lots of applied maths in it. And, of course, being by Ian Stewart, itâs very well written. He is a brilliant writer and one of the most famous people in the world for popularising mathematics. For every equation, he starts off with a page that shows the equation and explains what all the terms are in a diagram. He then talks about the equation, where it came from, applications of it, and gives explanations of it in a very readable way with minimal use of equations (other than the equation itself).
One thing I should say that is a bit of an unusual comment is that I love the index of this book. It has a 12-page index which is the best index of all the books Iâve selected â and yet this is the most popular book, the sort that usually doesnât even have an index. Iâve got a bit of a thing for indexes because they really are a great way into topics. I was flicking through this bookâs index and I saw an entry that said âdigital photography, 157-160.â Thatâs a particular interest of mine. Now, youâd never know from the chapter title, âRipples and blips. Fourier Transform,â that this chapter includes digital photography. But it does â itâs about how images are stored on the computer. The so-called JPEG format.
How are they stored?
Itâs a complicated process but it involves breaking the image into little squares and then doing some maths on each square in such a way that you can throw information away without the human eye seeing that youâve thrown information away. It exploits the fact that the human eye is more sensitive to changes in brightness than changes in colour. You can fiddle about with the colour in a photo more than you can fiddle with the brightness. JPEG exploits that. As Stewart points out, though, although JPEG is used for virtually everythingâall the images on your computer will be stored as JPEGsâthereâs one example, fingerprints, where JPEG is not very good. Fingerprints have got lots of edges and JPEG is very bad at handling edges. So for fingerprints, thereâs a different method called wavelet compression that he explains and, again, it is relevant to the Fourier equation. Back in the 1990s, the FBI realised that this wavelet idea was the right one for storing fingerprints.
And heâs also looking at the history and who Fourier was, presumably?
Yes. Fourier was a French mathematician. In 1807 he submitted his now famous paper to the French Academy of Sciences, based on a new partial differential equation. As usual, it wasnât appreciated at the time. They declined to publish the work. Now, itâs absolutely crucial to many areas of science. Digital photography, as we said, but also mobile phones â there will be Fourier transforms in them. It has all kinds of applications. Sound can be understood by using Fourier analysis. It really is a very important topic.
He says, at some point, that human history has been redirected by an equation âtime and time again.â Is that a credible claim, do you think?
You donât necessarily need the equation to be benefitting from what the equation is telling you. But I think for things like relativity, Einstein couldnât have done it without writing down his equations, analysing them, and making predictions from them. So I guess itâs true, to a large extent.
Stewart has also got the wave equation in there and the NavierâStokes equation, which governs fluid flow. These are important because, say, if youâre designing an airplane you want the wings to minimise drag. Or if youâre designing a boat for the Americaâs Cup â you want a boat that goes through the water in the best way. Waves are incredibly important.
Do you think you can read this as a non-mathematician?
Yes. Of all the books Iâve presented here, this is the one that would be the most readable for someone who has not got a strong mathematics background. Itâs also worth noting that in a recent interview Stewart said this is his favourite out of all the books heâs written.
Can you tell me about the logistic equation, which he also discusses?
This equation is relatively simple. There was a famous paper by the ecologist Robert May in the 1970s that showed that this equation had the property that it could have very unpredictable solutions â this idea of chaos. One aspect of chaos is that you just make a small change in where you start and what happens further on can change dramatically. The weather, for instance, is chaotic. Thereâs the idea of a butterfly flapping its wings in another part of the world and changing the weather here in the UK.
Is that true?
Yes. Some systems are very, very sensitive to changes in the underlying data. The point is that this is a simple equation where this has been shown to be the case. Normally itâs quite complicated equations that are required to produce chaos. So, this is chaotic but it also has applications. In modelling and understanding population growth, this is the sort of equation that has been used. As Stewart says, it models how a population of living creatures changes from one generation to the next.
And would that count as chaotic?
Well, the fact that the equation can be chaotic means that the population might display all sorts of strange oscillations so that you might think, âWhatâs going on here?â â in the population of fish or insects of whatever it might be. That might be what happens because of the underlying mathematics.
There is a famous phrase, âthe unreasonable effectiveness of mathematics.â Does your own book answer the question of why it is so?
When I was working on the book, I dug out some of the papers that discuss this theme. It was Eugene Wigner who wrote the original paper with that title, âThe Unreasonable Effectiveness of Mathematics in the Natural Sciences. â I hope that we give a bit of a feel for that in our book, but I wouldnât want to make any great claims that, even in 1000 pages, we could fully answer that question.
Five Books aims to keep its book recommendations and interviews up to date. If you are the interviewee and would like to update your choice of books (or even just what you say about them) please email us at [email protected]
Five Books interviews are expensive to produce. If you've enjoyed this interview, please support us by donating a small amount.
Nick Higham
Nick Higham is an applied mathematician, with interests ranging from
theory to the development of algorithms and software. He is the Richardson
Professor of Applied Mathematics at the University of Manchester and is
a Fellow of the Royal Society and
a Fellow of the Society for Industrial and Applied Mathematics.
He is the author of four books and the editor of
The Princeton Companion to Applied Mathematics.
Nick blogs at http://nickhigham.wordpress.com.
Nick Higham is an applied mathematician, with interests ranging from
theory to the development of algorithms and software. He is the Richardson
Professor of Applied Mathematics at the University of Manchester and is
a Fellow of the Royal Society and
a Fellow of the Society for Industrial and Applied Mathematics.
He is the author of four books and the editor of
The Princeton Companion to Applied Mathematics.
Nick blogs at http://nickhigham.wordpress.com.