Slashdot Mirror
How Computer Scientists Cracked a 50-Year-Old Math Problem (quantamagazine.org)
An anonymous reader writes: Over the decades, the Kadison-Singer problem had wormed its way into a dozen distant areas of mathematics and engineering, but no one seemed to be able to crack it. The question "defied the best efforts of some of the most talented mathematicians of the last 50 years," wrote Peter Casazza and Janet Tremain of the University of Missouri in Columbia, in a 2014 survey article.
As a computer scientist, Daniel Spielman knew little of quantum mechanics or the Kadison-Singer problem's allied mathematical field, called C*-algebras. But when Gil Kalai, whose main institution is the Hebrew University of Jerusalem, described one of the problem's many equivalent formulations, Spielman realized that he himself might be in the perfect position to solve it. "It seemed so natural, so central to the kinds of things I think about," he said. "I thought, 'I've got to be able to prove that.'" He guessed that the problem might take him a few weeks.
Instead, it took him five years. In 2013, working with his postdoc Adam Marcus, now at Princeton University, and his graduate student Nikhil Srivastava, now at the University of California, Berkeley, Spielman finally succeeded. Word spread quickly through the mathematics community that one of the paramount problems in C*-algebras and a host of other fields had been solved by three outsiders — computer scientists who had barely a nodding acquaintance with the disciplines at the heart of the problem.
As a computer scientist, Daniel Spielman knew little of quantum mechanics or the Kadison-Singer problem's allied mathematical field, called C*-algebras. But when Gil Kalai, whose main institution is the Hebrew University of Jerusalem, described one of the problem's many equivalent formulations, Spielman realized that he himself might be in the perfect position to solve it. "It seemed so natural, so central to the kinds of things I think about," he said. "I thought, 'I've got to be able to prove that.'" He guessed that the problem might take him a few weeks.
Instead, it took him five years. In 2013, working with his postdoc Adam Marcus, now at Princeton University, and his graduate student Nikhil Srivastava, now at the University of California, Berkeley, Spielman finally succeeded. Word spread quickly through the mathematics community that one of the paramount problems in C*-algebras and a host of other fields had been solved by three outsiders — computer scientists who had barely a nodding acquaintance with the disciplines at the heart of the problem.
They describe how. Five different, round-about ways of deriving positive intersecting matrices are described. They develop a method of defining boundary equations for the matrices, so as to prove an interesting algorithm that hadn't been able to be solved via an algorithm, just conjectures. They define this interesting boundary equation to box-in the conjectures, so to speak, and by defining the algorithmic domain, offer a proof that it works.
Profit!
I'm not sure how just yet.... but Profit!
If someone else can explain it succinctly, give it a shot.
---- Teach Peace. It's Cheaper Than War.
Indeed. That is why I am interested in different schools of thought in mathematics. For example, the ancient Greeks were builders rather than mathematicians, and therefore solved different problems or similar problems in another way. I would not know how to prove Pythagoras' theorem without the Greek school of thought. On the other hand, the Arabic school of thought brought us abstract thinking. It took aerodynamics to add boundary layer theory to computational mathematics.
The most interesting thing can occur when those schools of thought are mixed. Hodographic transformation as used in aerodynamics is very similar to a Burrows-Wheeler transform in computer science, but the application is totally different. Who knows what other differential equations solving techniques could yield better data compression, for example?
Nae king! Nae laird! Nae yurrupiean pressedent! We willna be fooled again!