Kadison–Singer problem
Unique extension of pure states in Hilbert spaces / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Kadison–Singer problem?
Summarize this article for a 10 year old
In mathematics, the Kadison–Singer problem, posed in 1959, was a problem in functional analysis about whether certain extensions of certain linear functionals on certain C*-algebras were unique. The uniqueness was proved in 2013.
The statement arose from work on the foundations of quantum mechanics done by Paul Dirac in the 1940s and was formalized in 1959 by Richard Kadison and Isadore Singer.[1] The problem was subsequently shown to be equivalent to numerous open problems in pure mathematics, applied mathematics, engineering and computer science.[2][3] Kadison, Singer, and most later authors believed the statement to be false,[2][3] but, in 2013, it was proven true by Adam Marcus, Daniel Spielman and Nikhil Srivastava,[4] who received the 2014 Pólya Prize for the achievement.
The solution was made possible by a reformulation provided by Joel Anderson, who showed in 1979 that his "paving conjecture", which only involves operators on finite-dimensional Hilbert spaces, is equivalent to the Kadison–Singer problem. Nik Weaver provided another reformulation in a finite-dimensional setting, and this version was proved true using random polynomials.[5]