Searchers are feeling overwhelmed by the task of locating the wreckage of missing Malaysian Airlines Flight 370.
"We're not searching for a needle in a haystack we're still trying to define where the haystack is," Australian Air Marshal Mark Binskin said Tuesday. The current search zone stretches across many thousands of square miles of the Indian Ocean off the coast of Australia.
But a 250-year-old mathematical theorem developed by an English minister might be able to do what a small armada of satellites, planes and ships cannot provide a location (or at least a guess) of where the missing plane might be.
The theorem in question was developed by Thomas Bayes, a Presbyterian minister who was a big fan of Isaac Newton and other scientists of the day. Bayes thought very carefully about probability and developed a theorem for combining different probabilities.
It's not the easiest to put it into words, but Arnold Barnett, a statistician at MIT's Sloan School Of Management, explains it this way: Suppose someone in another room throws a die and you're asked the odds he rolled a 5? "You'd say 1 in 6," he says.
"But now suppose [someone comes out of the next room] and says, 'an odd number came up, but I don't remember which,' " he says. There are only three odd numbers on the die (1, 3, and 5), so the odds of a 5 have gone up to 1 in 3.
Bayes' theorem is a formal way of revising that original 1-in-6 estimate based on this new information about an odd number.
The theorem is used to analyze scientific results, and also to look for things. Metron Corp. has used Bayes' theorem to hunt for everything from sunken submarines to gold bullion.
Colleen Keller, a senior analyst with Metron, was called in to hunt for Air France Flight 447, which disappeared somewhere over the Atlantic Ocean in 2009. A sonar search for "pinger" beacons on the plane's two black boxes had turned up no sign of the wreckage. "[They] were kind of throwing up their hands," she says. "They brought us onboard to start collating the data and keep them organized."
Keller went to work developing a Bayesian model to look for the plane. She started with data on the flight's last known position, along with details of currents and weather, and stats from previous crashes. She calculated the odds of various scenarios and combined them into a huge probabilistic framework. The mathematical model calculated the odds of the plane being at any one point in a nearly 50-mile radius of the last point of contact. Keller updated those odds after searchers passed over a section of ocean.
But initially, the Bayesian search turned up nothing.
The reason provides a cautionary note about the power of such searches. In her initial guess of where to look, Keller eliminated huge swaths of ocean floor because nobody heard a signal from the plane's black boxes. "We actually looked at historical data of a bunch of air crashes," she says. "Ninety percent of the time one of them did work."
But the Air France flight was that 1-in-10 case where both boxes were damaged. Two years later, she revised her probability map. This time, searchers started at a red bull's-eye in the center of the search field. "It was literally within four or five days, and they were right on it," she says.
Barnett says that the tale shows the strength, and weaknesses, of Bayes' theorem. "Bayes' theorem is calm, it doesn't have emotions and it may actually tell us things we might not have realized otherwise," he says.
But the theorem is only as good as the facts it includes. In the case of Air France, the failure of both black boxes against the odds kept the theorem from initially succeeding.
For the missing Malaysian Airlines flight, the problem may be the sea itself. The southern Indian Ocean is vast, deep and prone to bad weather and powerful currents. Search planes can miss things; boats can pass over wreckage and not even realize it.
"If the search itself is imperfect, then the revisions under Bayes' theorem will still leave a great deal of uncertainty," warns Barnett. "You might not be that far away from where you started."
Still, Keller says, Bayes' theorem probably does have something to offer. Even if the search area it predicts proves vast, "it's going to be better than searching the whole Indian Ocean."