Indian researcher helps prove math conjecture from the 1950s

July 17, 2013 by Rob Knies

On June 18, Adam Marcus and Daniel A. Spielman of Yale University, along with Nikhil Srivastava of Microsoft Research India, announced a proof of the Kadison-Singer conjecture, a question about the mathematical foundations of quantum mechanics. Ten days later, they posted, on Cornell University's arXiv open-access e-prints site, a manuscript titled Interlacing Families II: Mixed Characteristic Polynomials and The Kadison-Singer Problem.

Thousands of academic papers are published every year, and this one's title wouldn't necessarily earn it much attention beyond a niche audience … except for the fact that the text divulged a proof of a mathematical conjecture more than half a century old—and the ramifications could be broad and significant.

The Kadison-Singer conjecture was first offered in 1959 by mathematicians Richard Kadison and Isadore Singer. In a summary of the achievement, the website Soul Physics says, "… this conjecture is equivalent to a remarkable number of open problems in other fields … [and] has important consequences for the foundations of physics!"

That description will get no argument from Ravi Kannan, principal researcher in the Algorithms Research Group at Microsoft Research India.

"Nikhil Srivastava and his co-authors have settled an important, 54-year-old problem in mathematics," Kannan says. "They gave an elegant proof of a conjecture that has implications for many areas of mathematics, computer science, and quantum physics."

Srivastava offers a layman's explanation of what he, Marcus, and Spielman have achieved.

"We proved a very fundamental and general statement about quadratic polynomials that was conjectured by [mathematician] Nik Weaver and that, he showed, implies Kadison-Singer. The proof is based on a new technique we developed, which we call the 'method of interlacing families of polynomials.'"

The proof—for a more technical, extended discussion, see Srivastava's post on the Windows on Theory blog—elicited the most basic of emotions from Srivastava when he got a chance to contemplate what he and his colleagues had wrought.

"My main reaction was awe at how beautiful the final proof was," he recalls. "I actually started laughing when I realized that it worked. It fit together so beautifully and sensibly you knew it was the 'right' proof and not something ad hoc. It combined bits of ideas that we had generated from all over the five years we spent working on this."

The Soul Physics site goes on to state, "Settling this conjecture shows an important way in which our experiments are enough to provide a complete description of a quantum system."

Srivastava is in complete agreement.

"It has clear implications for the foundations of ," he says. "This is something [theoretical physicist] Paul Dirac mistakenly thought was obvious, and Kadison and Singer and many other experts thought this was probably false.

"It implies that it is possible to 'approximate' a broad class of networks by networks with very few edges, which should have impact in combinatorics and algorithms. Finally, it is equivalent to several conjectures in signal processing and applied mathematics that seem to have practical use."

Explore further: A solution that counts: Long-standing mathematical conjecture finally proved

More information:

Related Stories

Experimental mathematics: Computing power leads to insights

October 13, 2011

In his 1989 book "The Emperor's New Mind", Roger Penrose commented on the limitations on human knowledge with a striking example: He conjectured that we would most likely never know whether a string of 10 consecutive 7s appears ...

Mathematician announces that he's proved the ABC conjecture

September 12, 2012

(—In all of history there are very few names that stand out in the field of mathematics, at least among those not in the field: Euclid, Newton, Pythagoras, etc. This is likely due to several reasons, chief among ...

Recommended for you

Who you gonna trust? How power affects our faith in others

October 6, 2015

One of the ongoing themes of the current presidential campaign is that Americans are becoming increasingly distrustful of those who walk the corridors of power – Exhibit A being the Republican presidential primary, in which ...

Ancient genome from Africa sequenced for the first time

October 8, 2015

The first ancient human genome from Africa to be sequenced has revealed that a wave of migration back into Africa from Western Eurasia around 3,000 years ago was up to twice as significant as previously thought, and affected ...

The hand and foot of Homo naledi

October 6, 2015

The second set of papers related to the remarkable discovery of Homo naledi, a new species of human relative, have been published in scientific journal, Nature Communications, on Tuesday, 6 October 2015.

Mexican site yields new details of sacrifice of Spaniards

October 9, 2015

It was one of the worst defeats in one of history's most dramatic conquests: Only a year after Hernan Cortes landed in Mexico, hundreds of people in a Spanish-led convey were captured, sacrificed and apparently eaten.


Adjust slider to filter visible comments by rank

Display comments: newest first

3 / 5 (4) Jul 17, 2013
Almost completely content free.

not rated yet Jul 19, 2013
Almost completely content free.

15 votes which rate this article at 4.5 disagree and i disagree aswell, this article describes what this maths means to physics and that is all we really need to know, if you'd like to read up on the actual maths then follow the link provided at the bottom of the article
not rated yet Jul 23, 2013
once again written by a seventh grader ... I understand that many authors may not be very fimilar with a subject but to not include basic things like:

1) what are the implications of the proof
-- answer ) things like quantum Physics which measures independant properties which are mutually exclusive ( momentum vs position ), spin, if you measure all the properties that are possible at one time you can learn everything there is about the particle.

Please sign in to add a comment. Registration is free, and takes less than a minute. Read more

Click here to reset your password.
Sign in to get notified via email when new comments are made.