Archive for the ‘Math’ Category

Will Terrorists Attack Manhattan with a Nuclear Bomb?

Sunday, November 22nd, 2009

Recently, a friend of mine who lives in Manhattan posed to me the question of whether she should be afraid of living there due to the threat of terrorists setting off a nuclear bomb. As I feel this is a question that has plagued many people, I decided to do a little bit of research and compose a brief analysis of the situation. Please keep in mind that I am not an expert in terrorism, and my calculations should be taken with a grain of salt. The situation is very complex, there are many unknowns and potential sources for error, and I ended up having to rely on some guesswork. Nonetheless, I hope that my analysis is helpful to others who are interested in this question, or who find themselves living in constant fear of a nuclear weapon being detonated in their city.

1. Do terrorist groups want to nuke the United States?

It seems that yes, there are groups that would be willing to do this. According to the Report of the Commission on the Prevention of WMD Proliferation and Terrorism, “At the moment, al Qaeda is judged to be the sole terrorist group actively intent on conducting a nuclear attack against the United States.” Of course, it is impossible to rule out the possibility that other groups are also seeking to do this. I’m going to work under the assumption that Al Qaeda and those groups tightly connected to it are the only ones that would have the interest and/or capabilities of actually plotting such an attack at this time.

source 1

2. Where would terrorists get nuclear weapons?

Genuine nukes of great destructive power are quite difficult to build, and cost estimates for building full scale weapons (of the 25-35 kiloton variety) seem to be > $5 Billion. Furthermore, such weapons would likely take longer than a decade to build from scratch (though these numbers are a bit old, so the process may have become cheaper as technology has progressed). Hence, it seems highly likely that if terrorists intended to use such a weapon they would steal them, buy them, or get them through strategic arrangements with governments that already have them. Of course, different types of weapons with different yields would have different costs associated with them, and the amount of time that it would take for construction depends on the scale of the project (with more resources and more scientists it would likely go faster). Some people fear that there may be poorly controlled nuclear weapon materials in Russia (such as bomb-grade uranium). Others fear that nukes could be stolen from Pakistan, in part because of the country’s potential instability, and also because it is possible that Al Qaeda conducting operations there. Iran also could be a potential source of danger, in part because it is run by a religious zealot and it is unclear how far he would be willing to take his anti-American sentiments.

source 1

source 2

source 3

source 4

3. What sort of weapons would terrorists be likely to use?

It would be far, far easier to attack the U.S. with a dirty bomb (a conventional bomb laced with radioactive material such that the material is spread by the blast) than with a full scale nuclear weapon since dirty bombs are so much easier and cheaper to construct or acquire. Such an operation would also seem to have a much greater chance of succeeding than use of a true nuclear bomb since it does not require recruiting high level nuclear scientists, massive payoffs to large nations for supplies, and a laboratory which must be kept secret for a decade or more. The supplies for the construction of dirty bombs are relatively easy to obtain, though these weapons have far less destructive capability than true nukes. There has been at least one known plot (in actuality, probably more like two or three) to detonate a dirty bomb in the United States.

source 1

source 2


4. If terrorists did choose to attack the United States with nuclear weapons, how likely would they be to choose Manhattan as their target?

It seems quite likely that if terrorists attempted a nuclear attack on the United States, it would be carried out in either Manhattan or Washington DC. Manhattan is an obvious choice because the County of New York is the most densely populated county in the country, so damage and chaos could be maximized , and because Manhattan has enormous importance to the U.S. economy. DC is also a natural choice because of the opportunity it might provide terrorists to disrupt government operations. That being said, the united states is a huge place, and it is possible that for logistical reasons terrorists might find New York difficult. If I had to put a probability on it, I would guess that there might be a 3 in 10 chance that Manhattan would be chosen as a target.

source 1


5. If terrorists attacked Manhattan with nukes, how bad would it be?

The worst case scenario pretty much would be the detonation of a nuclear bomb (hidden in a truck or in an ocean shipping container). One source (a report by Ira Helfland, head of emergency medicine at Cooley Dickinson Hospital) estimates that a 12.5 kiloton bomb of this nature “smuggled into the port of New York aboard a shipping container and detonated at ground level” would end up killing approximately 260,000 people (about 52,000 of them would die immediately as a consequence of the blast, 10,000 would die soon after from direct radiation exposure, and the remainder would die from nuclear fallout). The study says that that several hundred thousand more would become sick from radiation sickness. There are about 1.6 million residents in Manhattan, which balloons to about 3 million during the day from people traveling into Manhattan. If we assume that the attack occurred during the day (when population densities are highest), and that in total 600,000 either die or get very sick, and that about 2.5 million people are in Manhattan at that moment (since some commuters will have left before the moment the attack occurred, or not arrived yet), then you would have about a 25% chance of dying or becoming seriously ill.

What about the case of a dirty bomb attack? In this case, its that most likely fewer than 10,000 people would die or become seriously ill, leaving a probability of less than 0.5% of sickness or death.

source 1

source 2

source 3

source 4

source 5

6. What have known terrorists plots on the united states been like?

Since 9/11 muslim extremists have concocted at least fifteen thwarted plots to carry out terrorist attack in U.S. In fact, the true number is probably quite a bit higher than this. The plots that I was able to find by conducting a few quick searches were:

-Shoe bomb in plane.

-Attempted construction of a dirty bomb.

-Blowtorches to collapse brooklyn bridge.

-Attack New York Stock Exchange and construct a dirty bomb.

-Bomb subway station Near Madison Square Garden.

-Assassinate diplomat with grenade launcher.

-Attack national guard facilities, synagogues and other places in Orange County, CA.

-Plot to blow up wyoming natural gas refinery, the transcontinental pipeline, and the NJ Standard Oil Refinery.

-Potential planned attack on the U.S. Capitol and World Bank headquarters.

-Blow up Sears Tower and FBI offices.

-Attack underground transit links connecting to New Jersey.

-Blow up ten commercial airliners.

-Attack U.S. Army base Fort Dix in New Jersey with assault rifles and grenades.

-Blow up jet fuel artery that runs through residential neighborhoods at JFK international airport.

-Attack the Empire State Building and U.S. nuclear power stations.

Note that all of these attacks have been thwarted, either by the incompetence of the perpetrators, or by effective government work. The only “successful” attacks since September 11, 2001 (that might potentially be considered terrorist attacks) that I managed to find in my quick searches were:

-An Egyptian gunman opens fire at an El Al ticket counter in Los Angeles International Airport, killing two Israelis before being killed himself.

-Joel Henry Hinrichs III detonated a bomb near the packed football stadium at the University of Oklahoma in Norman, Oklahoma killing himself in the process.

-Mohammed Reza Taheri-azar, an Iranian-born graduate of the University of North Carolina at Chapel Hill, drives an SUV onto a crowded part of campus, injuring nine.

-An Afghani Muslim hit 19 pedestrians, killing one, with his SUV in the San Francisco Bay area.

-A man attacks Fort Hood with guns, shooting 44 people.

Something to notice here is that most of these attacks on the U.S. since 9/11 have failed or were foiled, and most of the ones that haven’t failed were relatively small scale. What’s more, all of the attacks listed are much, much less complex and difficult and expensive to pull off than building/acquiring, transporting and detonating a full scale nuclear bomb.

source 1

source 2

7. What is a rough estimate of the probability that a person living in Manhattan will die or become seriously injured/sick by a nuclear weapon attack within the next ten years?

This estimate will of course be very crude and inaccurate, but here goes. First lets consider the case of a full nuclear bomb attack. If such an attack occurred in the U.S. and went according to plan, there might be something like a 3 in 10 chance that it would target Manhattan. The chance of death or serious injury depends a lot on the strength of the bomb, but if we assume a large bomb of about 12.5 kilotons this might give a person in Manhattan a 1 in 4 chance of avoiding serious physical harm. What would the probability be that such a plan would be foiled by the government or botched by the perpetrators? The odds seem very good of this happening, as a great number of much simpler attacks that would involve many fewer people have failed. In fact, only about 1 in 5 of the attacks I managed to find information about succeeded, and the ones that DID succeed were some of the very simplest to organize. I would guess that the odds of the success of a full scale nuclear bomb attack are something like 1 in 100. If this seems low, keep in mind that this figure has to take into account the odds that the terrorists fail to acquire or build the bomb despite their attempts, that they run out of funding, that their facilities are discovered and raided, that their bomb is discovered during transportation, that their bomb fails to detonate, that members of their team lose their nerve, that they can’t get the bomb into the U.S., etc.

The next thing to estimate are the odds that SOME terrorist group is actually attempting to plan an attack like this. The plot would be very difficult and expensive to pull off, but on the flip side, would be massively effective at injuring the U.S. (through death, illness, property damage, and widespread panic), so the difficulty might be balanced to some degree in the terrorists minds by the potential damage caused. The enormous potential cost of this project and the expertise required may well be prohibitive though, so I’ll place the odds that Al Qaeda or a closely linked group would pursue completing this project within the next ten years rather arbitrarily at 1 in 10. Here I am assuming that only Al Qaeda terrorist group would even be willing to attempt such a project. All in all, this very crude estimate indicates that the likelihood that terrorists attempt to attack the U.S. with a full scale nuclear bomb, actually succeed in this plan, carry out this attack in Manhattan, and kill any one particular Manhattan resident (chosen at random) is about 1 in 13,300 (over a ten year estimated period). To put this in perspective, the chance that you eventually die of a car accident (rather than other potential causes of death) is about 1 in 6,800.

On the other hand, dirty bomb scenarios are far more likely to be carried out successfully, and far more likely to be attempted (in fact, they already have been) but are unlikely to actually kill or seriously harm a randomly selected person in Manhattan. We can estimate that, once again, there might be a 3 in 10 chance that such an attack (if it occurred) would occur in Manhattan, that if it did happen in Manhattan each individual would have less than a 1 in 200 chance of incurring serious harm (let’s say for the sake of argument that the most likely number is something like 1 in 400), that such an attack might be planned twice in the next 10 years, and that the chance of success for such an attack might be 1 in 10. These give us odds that a single, predetermined person in Manhattan would suffer serious physical harm from a dirty bomb at about 1 in 6,600. This number is also on the order of the chance of eventually dying from a car accident.

source 1

8. How much should we fear nuclear terrorist attacks if we live in Manhattan?

From the simplistic analysis carried out above, the answer seems to be that Manhattan residents shouldn’t fear nuclear terrorism all that much more than a randomly selected American should fear car accidents. One thing that may be worth pointing out is that even if a nuclear weapon did kill us, there is some chance (dependent on the characteristics of that weapon) that it would do so fairly instantaneously, meaning that we would be dead before having much opportunity to suffer or even notice, which seems a lot less horrible than a slow death by radiation poisoning. On the flip side though, if a nuclear weapon was detonated and did not kill or injure us, the psychological effects of such a disaster could still be great, potentially causing the death and injury of those people we know, and likely inducing panic.

While nothing is known for certain and this analysis is certainly flawed in a handful of ways, the chance of a nuclear terrorist threat does not seem high enough to warrant moving out of Manhattan if you derive significant value from living there. Moreover, if you have already decided that you are going to live in Manhattan, what is the use of worrying about death from nuclear weapons at all? It isn’t as though worrying is likely to make you safer in a significant way. There are many things that have the potential to kill us each day, and we tend to simply not think about them, so why should this be different? Sure, it seems scarier in some ways than car accidents, which feel more familiar, but car accidents (and tumors and strokes) can be just as horrible as death by nuclear bombs or dirty bombs. Living in fear will almost certainly reduce your quality of life without making you substantially safer, so the best thing is probably to learn to be okay with the fact that we will never be totally safe (from nukes or cars or the huge number of other things that might hurt us), and this is just a part of life.

If thoughts about nuclear weapons are something that you find you are upsetting yourself with frequently, you might try writing down answers to the following questions:

a) If I don’t worry about hundreds of other potential sources of death, then why should I worry about this one source, especially since it is quite unlikely to occur?

b) What advantages and disadvantages are there to my worrying about nuclear bombs (especially taking into account the fact that there is nothing I can do to prevent such an attack)?

c) Since death is inevitable, and often painful and unpleasant, is dying from nukes really such an especially horrible way to go?

d) What is a more productive use of our time, worrying about nuclear bombs or researching and implementing ways to mitigate preventable sources of death? (keeping in mind that most of us could eat healthier, exercise more, wear our seat belts more scrupulously, get more regular checkups, and do many other things that would likely extend our lives).

Ordinary Least Squares Linear Regression: Flaws, Problems and Pitfalls

Thursday, June 18th, 2009

LEAST squares linear regression (also known as “least squared errors regression”, “ordinary least squares”, “OLS”, or often just “least squares”), is one of the most basic and most commonly used prediction techniques known to humankind, with applications in fields as diverse as statistics, finance, medicine, economics, and psychology. Unfortunately, the technique is frequently misused and misunderstood. Part of the difficulty lies in the fact that a great number of people using least squares have just enough training to be able to apply it, but not enough to training to see why it often shouldn’t be applied. What’s more, for some reason it is not very easy to find websites that provide a critique or detailed criticism of least squares and explain what can go wrong when you attempt to use it.

In this article I will give a brief introduction to linear regression and least squares regression, followed by a discussion of why least squares is so popular, and finish with an analysis of many of the difficulties and pitfalls that arise when attempting to apply least squares regression in practice, including some techniques for circumventing these problems.

A Brief Introduction to Regression

The basic framework for regression (also known as multivariate regression, when we have multiple independent variables involved) is the following. We have some dependent variable y (sometimes called the output variable, label, value, or explained variable) that we would like to predict or understand. This variable could represent, for example, people’s height in inches. We also have some independent variables x1, x2, …, xn (sometimes called features, input variables, predictors, or explanatory variables) that we are going to be using to make prediction for y. If we have just two of these variables x1 and x2, they might represent, for example, people’s age (in years), and weight (in pounds). We sometimes say that n, the number of independent variables we are working with, is the dimension of our “feature space”, because we can think of a particular set of values for x1, x2, …, xn as being a point in n dimensional space (with each axis of the space formed by one independent variable).Regression is the general task of attempting to predict values of the dependent variable y from the independent variables x1, x2, …, xn, which in our example would be the task of predicting people’s heights using only their ages and weights. The way that this procedure is carried out is by analyzing a set of “training” data, which consists of samples of values of the independent variables together with corresponding values for the dependent variables. So in our example, our training set may consist of the weight, age, and height for a handful of people. The regression algorithm would “learn” from this data, so that when given a “testing” set of the weight and age for people the algorithm had never had access to before, it could predict their heights. What distinguishes regression from other machine learning problems such as classification or ranking, is that in regression problems the dependent variable that we are attempting to predict is a real number (as oppose to, say, an integer or label). What’s more, in regression, when you produce a prediction that is close to the actual true value it is considered a better answer than a prediction that is far from the true value. Hence, if we were attempting to predict people’s heights using their weights and ages, that would be a regression task (since height is a real number, and since in such a scenario misestimating someone’s height by a small amount is generally better than doing so by a large amount). On the other hand, if we were attempting to categorize each person into three groups, “short”, “medium”, or “tall” by using only their weight and age, that would be a classification task. Finally, if we were attempting to rank people in height order, based on their weights and ages that would be a ranking task.

Linear Regression

Linear regression methods attempt to solve the regression problem by making the assumption that the dependent variable is (at least to some approximation) a linear function of the independent variables, which is the same as saying that we can estimate y using the formula:

y = c0 + c1 x1 + c2 x2 + c3 x3 + … + cn xn

where c0, c1, c2, …, cn. are some constants (i.e. fixed numbers, also known as coefficients, that must be determined by the regression algorithm). The goal of linear regression methods is to find the “best” choices of values for the constants c0, c1, c2, …, cn to make the formula as “accurate” as possible (the discussion of what we mean by “best” and “accurate”, will be deferred until later). The reason that we say this is a “linear” model is because when, for fixed constants c0 and c1, we plot the function y(x1) (by which we mean y, thought of as a function of the independent variable x1) which is given by

y(x1) = c0 + c1 x1

it forms a line, as in the example of the plot of y(x1) = 2 + 3 x1 below.

linePlot.png

Likewise, if we plot the function of two variables, y(x1,x2) given by

y(x1,x2) = c0 + c1 x1 + c2 x2

it forms a plane, which is a generalization of a line. This can be seen in the plot of the example y(x1,x2) = 2 + 3 x1 – 2 x2 below.

planePlot.png

As we go from two independent variables to three or more, linear functions will go from forming planes to forming hyperplanes, which are further generalizations of lines to higher dimensional feature spaces. These hyperplanes cannot be plotted for us to see since n-dimensional planes are displayed by embedding them in n+1 dimensional space, and our eyes and brains cannot grapple with the four dimensional images that would be needed to draw 3 dimension hyperplanes. However, like ordinary planes, hyperplanes can still be thought of as infinite sheets that extend forever, and which rise (or fall) at a steady rate as we travel along them in any fixed direction.

Now, we recall that the goal of linear regression is to find choices for the constants c0, c1, c2, …, cn that make the model y = c0 + c1 x1 + c2 x2 + c3 x3 + …. + cn xn as accurate as possible. Values for the constants are chosen by examining past example values of the independent variables x1, x2, x3, …, xn and the corresponding values for the dependent variable y. To return to our height prediction example, we assume that our training data set consists of information about a handful of people, including their weights (in pounds), ages (in years), and heights (in inches). The idea is that perhaps we can use this training data to figure out reasonable choices for c0, c1, c2, …, cn such that later on, when we know someone’s weight, and age but don’t know their height, we can predict it using the (approximate) formula:

height = c0 + c1*weight + c2*age.

Least Squares Regression

As we have said, it is desirable to choose the constants c0, c1, c2, …, cn so that our linear formula is as accurate a predictor of height as possible. But what do we mean by “accurate”? By far the most common form of linear regression used is least squares regression (the main topic of this essay), which provides us with a specific way of measuring “accuracy” and hence gives a rule for how precisely to choose our “best” constants c0, c1, c2, …, cn once we are given a set of training data (which is, in fact, the data that we will measure our accuracy on). The Least squares method says that we are to choose these constants so that for every example point in our training data we minimize the sum of the squared differences between the actual dependent variable and our predicted value for the dependent variable. In other words, we want to select c0, c1, c2, …, cn to minimize the sum of the values (actual y – predicted y)^2 for each training point, which is the same as minimizing the sum of the values

(y – (c1 x1 + c2 x2 + c3 x3 + … + cn xn))^2

for each training point of the form (x1, x2, x3, …, y). To make this process clearer, let us return to the example where we are predicting heights and let us apply least squares to a specific data set. Suppose that our training data consists of (weight, age, height) data for 7 people (which, in practice, is a very small amount of data). For example, we might have:

Person 1: (160 pounds, 19 years old, 66 inches)

Person 2: (172 pounds, 26 years old, 69 inches)

Person 3: (178 pounds, 23 years old, 72 inches)

Person 4: (170 pounds, 70 years old, 69 inches)

Person 5: (140 pounds, 15 years old, 68 inches)

Person 6: (169 pounds, 60 years old, 67 inches)

Person 7: (210 pounds, 41 years old, 73 inches)

This training data can be visualized, as in the image below, by plotting each training point in a three dimensional space, where one axis corresponds to height, another to weight, and the third to age:

points3d.png

As we have said, the least squares method attempts to minimize the sum of the squared error between the values of the dependent variables in our training set, and our model’s predictions for these values. Hence, in this case it is looking for the constants c0, c1 and c2 to minimize:

Sum of Squared Errors

= (66 – (c0 + c1*160 + c2*19))^2 + (69 – (c0 + c1*172 + c2*26))^2 + (72 – (c0 + c1*178 + c2*23))^2 + (69 – (c0 + c1*170 + c2*70))^2 + (68 – (c0 + c1*140 + c2*15))^2 + (67 – (c0 + c1*169 + c2*60))^2 + (73 – (c0 + c1*210 + c2*41))^2

The solution to this minimization problem happens to be given by

c0 = 52.8233 (inches)

c1 = 0.101546 (inches per pound)

c2 = -0.0295932 (inches per year)

Sum of Squared Errors = 14.1469

which means then that we can attempt to estimate a person’s height from their age and weight using the following formula:

height = 52.8233 – 0.0295932 age + 0.101546 weight.

In practice however, this formula will do quite a bad job of predicting heights, and in fact illustrates some of the problems with the way that least squares regression is often applied in practice (as will be discussed in detail later on in this essay).

This solution for c0, c1, and c2 (which can be thought of as the plane 52.8233 – 0.0295932 x1 + 0.101546 x2) can be visualized as:

points3DwPlane.png

That means that for a given weight and age we can attempt to estimate a person’s height by simply looking at the “height” of the plane for their weight and age.

Why Is Least Squares So Popular?

We’ve now seen that least squared regression provides us with a method for measuring “accuracy” (i.e. the sum of squared errors) and that is what makes it different from other forms of linear regression. However, least squares is such an extraordinarily popular technique that often when people use the phrase “linear regression” they are in fact referring to “least squares regression”. But why should people think that least squares regression is the “right” kind of linear regression? And more generally, why do people believe that linear regression (as opposed to non-linear regression) is the best choice of regression to begin with? Unfortunately, the popularity of least squares regression is, in large part, driven by a series of factors that have little to do with the question of what technique actually makes the most useful predictions in practice. Much of the use of least squares can be attributed to the following factors:

(a) It was invented by Carl Friedrich Gauss (one of the world’s most famous mathematicians) in about 1795, and then rediscovered by Adrien-Marie Legendre (another famous mathematician) in 1805, making it one of the earliest general prediction methods known to humankind.

(b) It is easy to implement on a computer using commonly available tools from linear algebra.

(c) Its implementation on modern computers is very efficient, so it can be applied to very large problems that have many features and tons of training data.

(d) It is easier to analyze mathematically than many other regression techniques.

(e) It is not too difficult for non-mathematicians to develop a basic understanding of.

(f) It produces solutions that are easily interpretable (i.e. we can interpret the constants that least squares regression solves for).

(g) It is the optimal technique in a certain sense in certain very special cases (e.g. if the system being studied truly is linear and the errors made by the model predictions are normally distributed then the constants solved for by least squares are in fact the most likely coefficients to have been used to generate the data).

While some of these justifications for using least squares are compelling under certain circumstances, our ultimate goal should be to find the model that does the best job at making predictions given our problem’s formulation and constraints (such as limited processing time, prediction time, computer memory, and training points).

Problems and Pitfalls of Applying Least Squares Regression

Unfortunately, as has been mentioned above, the pitfalls of applying least squares are not sufficiently well understood by many of the people who attempt to apply it. What follows is a list of some of the biggest problems with using least squares regression in practice, along with some brief comments about how these problems may be mitigated or avoided:

1. Outliers

Least squares regression can perform very badly when some points in the training data have excessively large or small values for the dependent variable compared to the rest of the training data. The reason for this is that since the least squares method is concerned with minimizing the sum of the squared error, any training point that has a dependent value that differs a lot from the rest of the data will have a disproportionately large effect on the resulting constants that are being solved for. To further illuminate this concept, lets go back again to our example of predicting height. Due to the squaring effect of least squares, a person in our training set whose height is mispredicted by four inches will contribute sixteen times more error to the summed of squared errors that is being minimized than someone whose height is mispredicted by one inch. That means that the more abnormal a training point’s dependent value is, the more it will alter the least squares solution. Hence a single very bad outlier can wreak havoc on prediction accuracy by dramatically shifting the solution. If the outlier is sufficiently bad, the value of all the points besides the outlier will be almost completely ignored merely so that the outlier’s value can be predicted accurately. In the images below you can see the effect of adding a single outlier (a 10 foot tall 40 year old who weights 200 pounds) to our old training set from earlier on.

Here we see a plot of our old training data set (in purple) together with our new outlier point (in green):

pointPlotWithOutlier.png

Below we have a plot of the old least squares solution (in blue) prior to adding the outlier point to our training set, and the new least squares solution (in green) which is attained after the outlier is added:

planePlotWithOutlier.png

As you can see in the image above, the outlier we added dramatically distorts the least squares solution and hence will lead to much less accurate predictions.

The problem of outliers does not just haunt least squares regression, but also many other types of regression (both linear and non-linear) as well. One partial solution to this problem is to measure accuracy in a way that does not square errors. For example, the least absolute errors method (a.k.a. least absolute deviations, which can be implemented, for example, using linear programming or the iteratively weighted least squares technique) will emphasize outliers far less than least squares does, and therefore can lead to much more robust predictions when extreme outliers are present. An even more outlier robust linear regression technique is least median of squares, which is only concerned with the median error made on the training data, not each and every error. Unfortunately, this technique is generally less time efficient than least squares and even than least absolute deviations.

Another solution to mitigate these problems is to preprocess the data with an outlier detection algorithm that attempts either to remove outliers altogether or de-emphasize them by giving them less weight than other points when constructing the linear regression model. Though sometimes very useful, these outlier detection algorithms unfortunately have the potential to bias the resulting model if they accidently remove or de-emphasize the wrong points. Regression methods that attempt to model data on a local level (like local linear regression) rather than on a global one (like ordinary least squares, where every point in the training data effects every point in the resulting shape of the solution curve) can often be more robust to outliers in the sense that the outliers will only distrupt the model in a small region rather than disrupting the entire model. It should be noted that bad outliers can sometimes lead to excessively large regression constants, and hence techniques like ridge regression and lasso regression (which dampen the size of these constants) may perform better than least squares when outliers are present.

One thing to note about outliers is that although we have limited our discussion here to abnormal values in the dependent variable, unusual values in the features of a point can also cause severe problems for some regression methods, especially linear ones such as least squares. The trouble is that if a point lies very far from the other points in feature space, then a linear model (which by nature attributes a constant amount of change in the dependent variable for each movement of one unit in any direction) may need to be very flat (have constant coefficients close to zero) in order to avoid overshooting the far away point by an enormous amount. Hence, points that are outliers in the independent variables can have a dramatic effect on the final solution, at the expense of achieving a lot of accuracy for most of the other points.

2. Non-Linearities

All linear regression methods (including, of course, least squares regression), suffer from the major drawback that in reality most systems are not linear. As we have discussed, linear models attempt to fit a line through one dimensional data sets, a plane through two dimensional data sets, and a generalization of a plane (i.e. a hyperplane) through higher dimensional data sets. In practice though, real world relationships tend to be more complicated than simple lines or planes, meaning that even with an infinite number of training points (and hence perfect information about what the optimal choice of plane is) linear methods will often fail to do a good job at making predictions. For example, trying to fit the curve y = 1-x^2 by training a linear regression model on x and y samples taken from this function will lead to disastrous results, as is shown in the image below. The line depicted is the least squares solution line, and the points are values of 1-x^2 for random choices of x taken from the interval [-1,1].

fitOfOneMinusXSquared.png

Notice that the least squares solution line does a terrible job of modeling the training points. In this problem, when a very large numbers of training data points are given, a least squares regression model (and almost any other linear model as well) will end up predicting that y is always approximately zero. Sometimes 1-x^2 is above zero, and sometimes it is below zero, but on average there is no tendency for 1-x^2 to increase or decrease as x increases, which is what linear models capture. Examples like this one should remind us of the saying, “attempting to divide the world into linear and non-linear problems is like trying to dividing organisms into chickens and non-chickens”.

When you have a strong understanding of the system you are attempting to study, occasionally the problem of non-linearity can be circumvented by first transforming your data in such away that it becomes linear (for example, by applying logarithms or some other function to the appropriate independent or dependent variables). In practice though, knowledge of what transformations to apply in order to make a system linear is typically not available. Furthermore, while transformations of independent variables is usually okay, transformations of the dependent variable will cause distortions in the manner that the regression model measures errors, hence producing what are often undesirable results.

Another possibility, if you precisely know the (non-linear) model that describes your data but aren’t sure about the values of some parameters of this model, is to attempt to directly solve for the optimal choice of these parameters that minimizes some notion of prediction error (or, equivalently, maximizes some measure of accuracy). This is sometimes known as parametric modeling, as opposed to the non-parametric modeling which will be discussed below. To give an example, if we somehow knew that y = 2^(c0*x) + c1 x + c2 log(x) was a good model for our system, then we could try to calculate a good choice for the constants c0, c1 and c2 using our training data (essentially by finding the constants for which the model produces the least error on the training data points). There are a variety of ways to do this, for example using a maximal likelihood method or using the stochastic gradient descent method. Much of the time though, you won’t have a good sense of what form a model describing the data might take, so this technique will not be applicable.

Another method for avoiding the linearity problem is to apply a non-parametric regression method such as local linear regression (a.k.a. local least squares or locally weighted scatterplot smoothing, which can work very well when you have lots of training data and only relatively small amounts of noise in your data) or a kernel regression technique (like the Nadaraya-Watson method). Both of these approaches can model very complicated systems, requiring only that some weak assumptions are met (such as that the system under consideration can be accurately modeled by a smooth function). These non-parametric algorithms usually involve setting a model parameter (such as a smoothing constant for local linear regression or a bandwidth constant for kernel regression) which can be estimated using a technique like cross validation. A troublesome aspect of these two approaches is that they require being able to quickly identify all of the training data points that are “close to” any given data point (with respect to some notion of distance between points), which becomes very time consuming in high dimensional feature spaces (i.e. when there are a large number of independent variables). Even worse, when we have many independent variables in our model, the performance of these methods can rapidly erode.

Yet another possible solution to the problem of non-linearities is to apply transformations to the independent variables of the data (prior to fitting a linear model) that map these variables into a higher dimension space. If the transformation is chosen properly, then even if the original data is not well modeled by a linear function, the transformed data will be. A very simple and naive use of this procedure applied to the height prediction problem (discussed previously) would be to take our two independent variables (weight and age) and transform them into a set of five independent variables (weight, age, weight*age, weight^2 and age^2), which brings us from a two dimensional feature space to a five dimensional one. Our model would then take the form:

height = c0 + c1*weight + c2*age + c3*weight*age + c4*weight^2 + c5*age^2

This new model is linear in the new (transformed) feature space (weight, age, weight*age, weight^2 and age^2), but is non-linear in the original feature space (weight, age). The procedure used in this example is very ad hoc however and does not represent how one should generally select these feature transformations in practice (unless a priori knowledge tells us that this transformed set of features would be an adequate choice). To automate such a procedure, the Kernel Principle Component Analysis technique and other so called Nonlinear Dimensionality Reduction techniques can automatically transform the input data (non-linearly) into a new feature space that is chosen to capture important characteristics of the data. When a linear model is applied to the new independent variables produced by these methods, it leads to a non-linear model in the space of the original independent variables.

A related (and often very, very good) solution to the non-linearity problem is to directly apply a so-called “kernel method” like support vector regression or kernelized ridge regression (a.k.a. kernelized Tikhonov regularization) with an appropriate choice of a non-linear kernel function. These methods automatically apply linear regression in a non-linearly transformed version of your feature space (with the actual transformation used determined by the choice of kernel function) which produces non-linear models in the original feature space. Certain choices of kernel function, like the Gaussian kernel (sometimes called a radial basis function kernel or RBF kernel), will lead to models that are consistent, meaning that they can fit virtually any system to arbitrarily good accuracy, so long as a sufficiently large amount of training data points are available. All regular linear regression algorithms conspicuously lack this very desirable property.

It should be noted that when the number of input variables is very large, the restriction of using a linear model may not be such a bad one (because the set of planes in a very large dimensional space may actually be quite a flexible model). Furthermore, when we are dealing with very noisy data sets and a small numbers of training points, sometimes a non-linear model is too much to ask for in a sense because we don’t have enough data to justify a model of large complexity (and if only very simple models are possible to use, a linear model is often a reasonable choice). That being said (as shall be discussed below) least squares regression generally performs very badly when there are too few training points compared to the number of independent variables, so even scenarios with small amounts of training data often do not justify the use of least squares regression. These scenarios may, however, justify other forms of linear regression. An important idea to be aware of is that it is typically better to apply a method that will automatically determine how much complexity can be afforded when fitting a set of training data than to apply an overly simplistic linear model that always uses the same level of complexity (which may, in some cases be too much, and overfit the data, and in other cases be too little, and underfit it). When the support vector regression technique and ridge regression technique use linear kernel functions (and hence are performing a type of linear regression) they generally avoid overfitting by automatically tuning their own levels of complexity, but even so cannot generally avoid underfitting (since linear models just aren’t complex enough to model some systems accurately when given a fixed set of features). The kernelized (i.e. non-linear) versions of these techniques, however, can avoid both overfitting and underfitting since they are not restricted to a simplistic linear model.

3. Too Many Variables

While intuitively it seems as though the more information we have about a system the easier it is to make predictions about it, with many (if not most) commonly used algorithms the opposite will occasionally turn out to be the case. While it never hurts to have a large amount of training data, having too many features (i.e. independent variables) can cause serious difficulties. Least squares regression is particularly prone to this problem, for as soon as the number of features used exceeds the number of training data points, the least squares solution will not be unique, and hence the least squares algorithm will fail. In practice, as we add a large number of independent variables to our least squares model, the performance of the method will typically erode well before this critical point (where the number of features equals the number of training points) is reached. This implies that rather than just throwing every independent variable we have access to into our regression model, we should be careful to only include those features that are likely to be good predictors of our output variable. What’s more, we should avoid including redundant information in our features because they are unlikely to help, and (since they increase the total number of features) may impair the regression algorithm’s ability to make accurate predictions. It is important to be aware that some regression methods (like least squares) are much more prone to this problem than others.

As the number of independent variables in a regression model increases, its R^2 (which measures what fraction of the variability (variance) in the training data that the prediction method is able to account for) will always go up. This increase in R^2 may lead some inexperienced practitioners to think that the model has gotten better. When applying least squares regression, however, it is not the R^2 on the training data that is significant, but rather the R^2 that the model will achieve on the data that we are interested in making prediction for (i.e. we care about error on the test set, not the training set). When too many variables are used with the least squares method the model begins finding ways to fit itself to not only the underlying structure of the training set, but to the noise in the training set as well, which is one way to explain why too many features leads to bad prediction results.

One way to help solve the problem of too many independent variables is to scrutinize all of the possible independent variables, and discard all but a few (keeping a subset of those that are very useful in predicting the dependent variable, but aren’t too similar to each other). For least squares regression, the number of independent variables chosen should be much smaller than the size of the training set. This approach can be carried out systematically by applying a feature selection or dimensionality reduction algorithm (such as subset selection, principal component analysis, kernel principal component analysis, or independent component analysis) to preprocess the data and automatically boil down a large number of input variables into a much smaller number. Some of these methods automatically remove many of the features, whereas others combine features together into a smaller number of new features. These algorithms can be very useful in practice, but occasionally will eliminate or reduce the importance of features that are very important, leading to bad predictions. It is crtitical that, before certain of these feature selection methods are applied, the independent variables are normalized so that they have comparable units (which is often done by setting the mean of each feature to zero, and the standard deviation of each feature to one, by use of subtraction and then division).

Another approach to solving the problem of having a large number of possible variables is to use lasso linear regression which does a good job of automatically eliminating the effect of some independent variables. Other regression techniques that can perform very well when there are very large numbers of features (including cases where the number of independent variables exceeds the number of training points) are support vector regression, ridge regression, and partial least squares regression.

4. Dependence Among Variables

The least squares method can sometimes lead to poor predictions when a subset of the independent variables fed to it are significantly correlated to each other. The problem in these circumstances is that there are a variety of different solutions to the regression problem that the model considers to be almost equally good (as far as the training data is concerned), but unfortunately many of these “nearly equal” solutions will lead to very bad predictions (i.e. poor performance on the testing set). To illustrate this point, lets take the extreme example where we use the same independent variable twice with different names (and hence have two input variables that are perfectly correlated to each other). If these perfectly correlated independent variables are called w1 and w2, then we note that our least squares regression algorithm doesn’t distinguish between the two solutions

y = .5*w1 + .5*w2

and

y = 1000*w1 – 999*w2

since

.5*w1 + .5*w2 = .5*w1 + .5*w1 = w1

and

1000*w1 – 999*w2 = 1000*w1 – 999*w1 = w1.

In both cases the models tell us that y tends to go up on average about one unit when w1 goes up one unit (since we can simply think of w2 as being replaced with w1 in these equations, as was done above). Intuitively though, the second model is likely much worse than the first, because if w2 ever begins to deviate even slightly from w1 the predictions of the second model will change dramatically. For example, if for a single prediction point w2 were equal to .95 w1 rather than the precisely one w1 that we expected, then we would find that the first model would give the prediction

y = .5*w1 + .5*w2 = .5*w1 + .5*0.95*w1 = 0.975 w1

which is very close to the prediction of simply one w1 that we get without this change in w2. On the other hand, in these circumstances the second model would give the prediction

y = 1000*w1 – 999*w2 = 1000*w1 – 999*0.95*w1 = 50.95 w1

which isn’t even close to our old prediction of just one w1. Hence we see that dependencies in our independent variables can lead to very large constant coefficients in least squares regression, which produce predictions that swing wildly and insanely if the relationships that held in the training set (perhaps, only by chance) do not hold precisely for the points that we are attempting to make predictions on.

A common solution to this problem is to apply ridge regression or lasso regression rather than least squares regression. Both of these methods have the helpful advantage that they try to avoid producing models that have large constant coefficients, and hence often perform much better when strong dependencies are present.

5. Wrong Choice of Error Function

As we have said before, least squares regression attempts to minimize the sum of the squared differences between the values predicted by the model and the values actually observed in the training data. More formally, least squares regression is trying to find the constant coefficients c1, c2, c3, …, cn to minimize the quantity

(y – (c1 x1 + c2 x2+ c3 x3 + … + cn xn))^2

when it is summed over each of the different training points (i.e. different know values for y, x1, x2, x3, …, xn).

But why is it the sum of the squared errors that we are interested in? Is mispredicting one person’s height by two inches really as equally “bad” as mispredicting four people’s height by 1 inch each, as least squares regression implicitly assumes? Should mispredicting one person’s height by 4 inches really be precisely sixteen times “worse” than mispredicting one person’s height by 1 inch? This (not necessarily desirable) result is a consequence of the method for measuring error that least squares employs. In general we would rather have a small sum of squared errors rather than a large one (all else being equal), but that does not mean that the sum of squared errors is the best measure of error for us to try and minimize. The simple conclusion is that the way that least squares regression measures error is often not justified.

Lets use a simplistic and artificial example to illustrate this point. Suppose that we are in the insurance business and have to predict when it is that people will die so that we can appropriately value their insurance policies. Furthermore, suppose that when we incorrectly identify the year when a person will die, our company will be exposed to losing an amount of money that is proportional to the absolute value of the error in our prediction. In other words, if we predict that someone will die in 1993, but they actually die in 1994, we will lose half as much money as if they died in 1995, since in the latter case our estimate was off by twice as many years as in the former case. What’s more, in this scenario, missing someone’s year of death by two years is precisely as bad to us as mispredicting two people’s years of death by one year each (since the same number of dollars will be lost by us in both cases). If we are concerned with losing as little money as possible, then it is is clear that the right notion of error to minimize in our model is the sum of the absolute value of the errors in our predictions (since this quantity will be proportional to the total money lost), not the sum of the squared errors in predictions that least squares uses.

In some many cases we won’t know exactly what measure of error is best to minimize, but we may be able to determine that some choices are better than others. The point is, if you are interested in doing a good job to solve the problem that you have at hand, you shouldn’t just blindly apply least squares, but rather should see if you can find a better way of measuring error (than the sum of squared errors) that is more appropriate to your problem. Sum of squared error minimization is very popular because the equations involved tend to work out nice mathematically (often as matrix equations) leading to algorithms that are easy to analyze and implement on computers. But frequently this does not provide the best way of measuring errors for a given problem.

It should be noted that there are certain special cases when minimizing the sum of squared errors is justified due to theoretical considerations. One such justification comes from the relationship between the sum of squares and the arithmetic mean (usually just called “the mean”). Suppose that we have samples from a function that we are attempting to fit, where noise has been added to the values of the dependent variable, and the distribution of noise added at each point may depend on the location of that point in feature space. In that case, if we have a (parametric) model that we know encompasses the true function from which the samples were drawn, then solving for the model coefficients by minimizing the sum of squared errors will lead to an estimate of the true function’s mean value at each point. On the other hand, if we instead minimize the sum of the absolute value of the errors, this will produce estimates of the median of the true function at each point. Hence, in cases such as this one, our choice of error function will ultimately determine the quantity we are estimating (function(x) + mean(noise(x)), function(x) + median(noise(x)), or what have you). Since the mean has some desirable properties and, in particular, since the noise term is sometimes known to have a mean of zero, exceptional situations like this one can occasionally justify the minimization of the sum of squared errors rather than of other error functions.

6. Unequal Training Point Variances (Heteroskedasticity)

Interestingly enough, even if the underlying system that we are attempting to model truly is linear, and even if (for the task at hand) the best way of measuring error truly is the sum of squared errors, and even if we have plenty of training data compared to the number of independent variables in our model, and even if our training data does not have significant outliers or dependence between independent variables, it is STILL not necessarily the case that least squares (in its usual form) is the optimal model to use. The difficulty is that the level of noise in our data may be dependent on what region of our feature space we are in. For example, going back to our height prediction scenario, there may be more variation in the heights of people who are ten years old than in those who are fifty years old, or there more be more variation in the heights of people who weight 100 pounds than in those who weight 200 pounds. The upshot of this is that some points in our training data are more likely to be effected by noise than some other such points, which means that some points in our training set are more reliable than others. We don’t want to ignore the less reliable points completely (since that would be wasting valuable information) but they should count less in our computation of the optimal constants c0, c1, c2, …, cn than points that come from regions of space with less noise. To do this one can use the technique known as weighted least squares which puts more “weight” on more reliable points. In practice though, since the amount of noise at each point in feature space is typically not known, approximate methods (such as feasible generalized least squares) which attempt to estimate the optimal weight for each training point are used.

7. Wrong Choice of Features

The problem of selecting the wrong independent variables (i.e. features) for a prediction problem is one that plagues all regression methods, not just least squares regression. To illustrate this problem in its simplest form, suppose that our goal is to predict people’s IQ scores, and the features that we are using to make our predictions are the average number of hours that each person sleeps at night and the number of children that each person has. Clearly, using these features the prediction problem is essentially impossible because their is so little relationship (if any at all) between the independent variables and the dependent variable. No model or learning algorithm no matter how good is going to rectify this situation. What’s worse, if we have very limited amounts of training data to build our model from, then our regression algorithm may even discover spurious relationships between the independent variables and dependent variable that only happen to be there due to chance (i.e. random fluctuation). Even if many of our features are in fact good ones, the genuine relations between the independent variables the dependent variable may well be overwhelmed by the effect of many poorly selected features that add noise to the learning process. When carrying out any form of regression, it is extremely important to carefully select the features that will be used by the regression algorithm, including those features that are likely to have a strong effect on the dependent variable, and excluding those that are unlikely to have much effect.

8. Noise in the Independent Variables

While least squares regression is designed to handle noise in the dependent variable, the same is not the case with noise (errors) in the independent variables. Noise in the features can arise for a variety of reasons depending on the context, including measurement error, transcription error (if data was entered by hand or scanned into a computer), rounding error, or inherent uncertainty in the system being studied. Models that specifically attempt to handle cases such as these are sometimes known as errors in variables models. When a substantial amount of noise in the independent variables is present, the total least squares technique (which measures error using the distance between training points and the prediction plane, rather than the difference between the training point dependent variables and the predicted values for these variables) may be more appropriate than ordinary least squares. Another option is to employ least products regression.

Conclusion

Although least squares regression is undoubtedly a useful and important technique, it has many defects, and is often not the best method to apply in real world situations. A great deal of subtlety is involved in finding the best solution to a given prediction problem, and it is important to be aware of all the things that can go wrong.


Does Beauty Equal Truth in Physics and Math?

Wednesday, March 11th, 2009

It is not uncommon to hear physicists or mathematicians talk about the “beauty”, “simplicity” or “elegance” of equations or theorems, and even claim that they are sometimes led to a correct formula (or away from an incorrect one) by considering what is “simple” or “elegant”. Consider, for example, the words of the Nobel prize winning physicist Murray Gell-Mann:

“Three or four of us in 1957 put forward a partially complete theory of the weak [nuclear] force, in disagreement with the results of seven experiments. It was beautiful and so we dared to publish it, believing that all those experiments must be wrong. In fact, they were all wrong.”

and Albert Einstein’s remark:

“I have deep faith that the principle of the universe will be beautiful and simple.”
Could there be something to these remarkable claims? Is beauty in physics evidence for some kind of “intelligent” universe, or are there more mundane explanations? Is elegance in mathematics evidence for an underlying structure to reality? Or can this be explained away by psychological or practical considerations?
To begin answering these questions, an important thing to notice about the aesthetics of equations is that what appears to be simple or elegant may only be so because of the way that symbols are defined. For example, consider the remarkable and rather minimalist “heat equation”

Δf = f ‘

which, when solved for the function f with a given condition on its boundary, will describe how heat would actually flow over time on any specified surface in any number of dimensions. Is it not astounding that we can describe such a powerful physical law with just these 5 characters? Even if you don’t understand the mathematics or physics, bear with me because you will still be able to understand my point.

A deeper look at this equation shows us that the apparent simplicity here is in large part an illusion. First of all, the Δ, which is known in this context as the Laplace operator, can be thought of as simply a short hand notation. If we replace Δf with its definition, we are left with the markedly less simple equation:

d2/dx2 f + d2/dy2 f + d2/dz2 f = f ‘

where d2/dx2, d2/dy2, and d2/dz2 are second derivatives with respect to the x,y and z dimensions of space. The right hand side of the equation can now be replaced with its definition, where the tick (‘) applied to f is understood to mean that we are taking one derivative with respect to time. This gives us:

d2/dx2 f + d2/dy2 f + d2/dz2 f = d/dt f.

Even without knowing what this equation means, you can see that things are starting to get fairly complicated and are looking quite a bit less elegant. Derivative operations (which are taken a total of seven times in the above equation) are not themselves trivial operations, and are (typically) defined via a limiting procedure. If we apply the definition of the derivative to the d/dt on the right hand side, we get:

d2/dx2 f + d2/dy2 f + d2/dz2 f = lim h→0 (f(x,t+h) – f(x,t))/h.

Now, if we are crazy enough to replace the remaining six derivative operations with the definition of the derivative, we are left with an equation which is just plain long and ugly, even after performing some simplification:

lim h→0 (1/h2) * (3 f(x,y,z,t) + f(x+2h,y,z,t) – 2 f(x+h,y,z,t) + f(x,y+2h,z,t) – 2 f(x,y+h,z,t) +f(x,y,z+2h,t) – 2 f(x,y,z+h,t) ) )

= lim h→0 (f(x,t+h) – f(x,t))/h.

The point to realize here is that mathematicians and physicists make very careful choices when selecting their notation to vastly compress very complicated ideas. Typically, they define symbols in such a way as to make important formulas easy to write down and work with. However, if they chose to, they could always pick notations which would make even the “simplest” formula look nasty. For example, whenever we find ‘1′ in an equation, we could (if we were completely crazy) replace it using the following formula:

1 = ∑ k≥0 (-1)k (π/2) 2k+1/(2k+1)!.

Doing so would not change any of our results, but it sure would confuse a lot of people and make the formulas much harder to work with.

All of this being said, notation is not the end of the story. Another important point to consider is that in many cases a single physical law can cause a multitude of different effects which may not, at first, appear to be related. To give some classic examples, before Newton’s era it was not at all obvious that the force that causes us to fall to the ground when we jump is the same force that keeps planets in orbit in our solar system. Likewise, before the 1800’s it was not known that electric fields, magnetic fields and light are in fact manifestations of a single phenomena now known as electromagnetism. Similarly, before the era of Einstein it was not understood that conservation of energy and conservation of momentum could be thought of as effectively being part of a single conservation law.

There are a number of cases in physics where simpler and more elegant theories have won out over more complex theories because they correctly identify seemingly unrelated phenomena as having a single cause. Theories which treat inherently connected ideas as being wholly different are destined to be replaced since their lack of unification creates redundancy and therefore unnecessary complexity in the theory. This is one important reason why ugly, complicated theories can often be outdone by what seem to be more beautiful ones. We find it more beautiful to have one explanation for two results that two have two distinct explanations, and if the results really are just caused by one phenomenon, the single explanation will typically be easier to express and work with mathematically than both of the other two.

Another, related reason why we might expect simplicity to win out over complexity comes from a rule of thumb known as Occam’s Razor. This idea, which is often bandied about as if it were obviously and unquestionably true, states that when given many possible explanations for something that are otherwise equally plausible, we should prefer the one that is the simplest (or that makes the fewest assumptions). While Occam’s Razor certainly makes some intuitive sense, we can place the idea on a slightly more rigorous footing by considering results from the now blossoming field of machine learning, which concerns itself (in large part) with getting computers to make intelligent predictions by learning from past examples.

When computer scientists attempt to estimate how good a particular learning algorithm is at making predictions, typically what they find is that the expected future error of the algorithm is dependent on what might be called an “Occam term”, which punishes models based on their complexity. The more complex a model is, the more of this kind of penalty it will incur, and so the less accurate the algorithm will tend to be when making predictions. Here, depending on the mathematical analysis carried out, “complexity” can be measured in a variety of different ways, including the number of free parameters in the model, the number of bits of information required to specify the model, or the maximum number of points the model will always be able to categorize without making an error. The idea is that while very complex models are good at explaining past data (i.e. data that is used to train the models), they tend to (all else being equal) make more errors than simple models on future data (i.e. data that is not available at the time when the models are trained).

Now, since Physicists are in the business of trying to guess (or predict) the rules of the universe from experiments (which are just like the “past examples” in the machine learning setting), it is intuitive to think that an “Occam term” will apply to them as well. Hence, while this is not by any means an air tight argument, we have some reason to think that in the scientific method, just as in the machine learning setting, simpler theories due truly tend to be more useful than complex ones, so long as both explain all of the currently available experimental evidence.

A good example of Occam’s Razor which came up in practice is the Ptolemaic explanation of the motion of the planets, which apparently was the “accepted theory” in some places for “over 13 centuries”. The basic idea of this theory was that planetary motion consists of “epicycles” around the fixed planet earth. This means that planets were thought to make circular orbits around earth, but that during these circular orbits the planets orbited in smaller circles along the orbits, and along those smaller circular orbits they orbited in still smaller circles, etc. This model was intrinsically very complex because by adjusting the epicycles so that there were a sufficient number of circular orbits within circular orbits at appropriate speeds one could have described pretty much any shape of orbit whatsoever, real or imagined. In other words, the model had a large number of free variables which gave it enormous flexibility and therefore complexity. Copernicus eventually laid the Ptolemaic model to waste by replacing it with a far simpler model with far fewer free parameters, which he accomplished merely by shifting the center of the circular planetary orbits to be the sun rather than the earth. However, the basic form of his new theory still did not agree perfectly with observation, and so required some adhoc refinements that introduced extra complexity. This final complexity was eventually removed by Kepler who refined the model yet again by allowing for elliptical rather than circular orbits, which now is known to be an excellent explanation for the orbits that are observed. The key difference in these explanations for orbits is that the theory of epicycles is complex enough to explain almost any conceivable orbit you could ever think of, whereas Kepler’s idea of elliptical orbits with the sun at one focus of the ellipses was just complex enough to explain what was actually observed but without being complex enough to explain the universe had we observed substantively different orbits than actually exist. In other words, Kepler’s theory is precisely as complicated as it needs to be to explain reality.

There are a few more points about the relationship between beauty and truth in physics and math that I feel are worth mentioning. To begin with, as physicist Murray Gell-Mann (quoted above) mentions in his TED talk on beauty and truth in physics, symmetry plays a key role in simplicity. For example, since all of the known laws of physics treat the three dimensions of space equally, we can often greatly simplify equations by writing things such as

∇ f = some expression

rather than having to write an equivalent but much more cumbersome set of equations where we treat each dimension of space separately, as in:

df/dx = some expression

df/dy = some expression

df/dz = some expression.

The point here is that symmetry makes it easy to simplify equations. Of course, this argument goes beyond just the symmetry of the three dimensions of space, and applies also to symmetry in time, rotation, etc.

Another idea that should be mentioned is that typically mathematical expressions have a number of different equivalent forms. For example, we could define the exponential function ex using any of the following equivalent definitions:

f(x) = lim h→∞ (1+(x/h))h
f(x) = f ‘(x) & f(0) = 1

f(x) = ∑ k≥0 xk/k!

f(ln(x)) = x

f(x+y) = f(x) f(y) & f(1) = e.

f(x) = Cosh(x) + Sinh(x)

None of these definitions for ex is intrinsically better than any other. Mathematicians have the choice to use whichever definition is more useful for any given purpose, and often times it is precisely the simpler or more “elegant” definitions that are used most commonly because they are easier to understand and manipulate.

As a final point, it is worth noting that much of the most theoretical mathematical work is driven more by the aesthetic and psychological appeal of the theorems produced than by the importance of those theorems in solving practical problems that arise in the real world. One prime example of this phenomenon is the field of number theory, which while popular and very elegant, found almost no practical applications before it was (unexpectedly) linked to the field of cryptography and secure online banking. It also should be notated that it is likely easier to publish results that strike the reviewers as elegant rather than clumsy and awkward. Keeping these ideas in mind, it is no surprise to find that some of the most researched areas of math even today have great beauty but few real world applications.

In conclusion, the relationship between beauty and truth in physics and math is a complicated one, which relates to practical considerations such as choices for notation and definitions, psychological phenomenon such as the personal preferences and aesthetic sensibilities of the practitioners, and deeper physical or mathematical ideas such as symmetry, the unification of seemingly unrelated results, and Occam’s razor. In the end, it is clear that beauty is an important, if not fundamental part of math and science.