The Kadison-Singer problem has variants in different branches of the sciences and one of these variants was proved in 2013. Based on the idea of “sparsification” and with its origins in quantum physics, at the sixtieth anniversary of the problem, we revisit the problem in its original formulation and also explore its transition to a result with wide ranging applications. We also describe how the notion of “sparsification” transcended various fields and how this notion led to resolution of the problem.

1. Introduction and History

The Kadison-Singer Problem was one of the major long standing unresolved problems in functional analysis. In order to understand this original problem of “sparsification”, we discuss some preliminaries. We will begin by defining a Hilbert space.

Definition 1. A Hilbert space H is a vector space having an inner product such that every Cauchy sequence in H has a limit in H.

Definition 2. A separable Hilbert space is a Hilbert space H that has a countable dense subset.

A relevant example of a separable Hilbert-space is l 2 = l 2 ( ℕ ) .

Example 1. l 2 = l 2 ( ℕ ) is a separable Hilbert space with the orthonormal basis { e i } i ∈ ( ℕ ) , where l 2 ( ℕ ) = { ( z 1 , z 2 , ⋯ ) : z i ∈ C ; ∑ i = 1 ∞ | z i | 2 < ∞ } . Note that ℕ forms the indexing set. For z = ( z 1 , z 2 , ⋯ ) and z ′ = ( z ′ 1 , z ′ 2 , ⋯ ) in l 2 ( ℕ ) ; the inner product is defined as follows: 〈 z , z ′ 〉 = ∑ i = 1 ∞     z i z ¯ ′ i .

The elements of l 2 = l 2 ( ℕ ) can be expressed as functions from the set of natural numbers N to the set of complex numbers C. We consider the set of all bounded linear operators on l 2 ( ℕ ) i.e. T : l 2 ( ℕ ) → l 2 ( ℕ ) and denote it by B ( l 2 ( ℕ ) ) . Next, we define a C*-algebra. One may refer to  for a detailed introduction to C*-algebras and to ,  and  for relevant examples.

Definition 3. A C*-algebra A is a norm closed self-adjoint subalgebra of the operator algebra B ( H ) , for some Hilbert space H.

In other words, A is:

1) Closed in the norm topology of operators.

2) Closed under the operation of taking adjoints of operators.

Looking at the problem that originated in quantum mechanics, the observables of a quantum mechanical system are represented by B ( H ) .

Next, we will try to understand the notion of pure states on a C*-algebra. We will start by describing a linear functional.

Definition 4. A linear functional on a C*-algebra A is a linear map, say f from A to C.

The space consisting of linear functionals on a C*-algebra A is called the dual space of A and is denoted by A’. We look at an example of linear functional on l 2 ( ℕ ) .

Example 2. Fix z = ( z 1 , z 2 , ⋯ ) ∈ l 2 ( N ) and consider f ( a ) = ∑ i = 1 ∞     z i a i , where a = ( a 1 , a 2 , ⋯ ) ∈ l 2 ( ℕ ) .

An example of a bounded linear operator on the infinite dimensional separable Hilbert space l 2 = l 2 ( ℕ ) will be an infinite dimensional matrix with complex entries but for the sake of simplicity, let us look at the two dimensional version of l 2 = l 2 ( ℕ ) and let us call it l 2 2 . The algebra of bounded operators on

l 2 2 is B ( l 2 2 ) = { A : A = [ a 11 a 12 a 21 a 22 ] ; a i j ∈ C , 1 ≤ i , j ≤ 2 } . A linear functional on B ( l 2 2 ) is then in the form ∑ i = 1 2     α i j a i j , α i j ∈ C , i.e. α 11 a 11 + α 12 a 12 + α 21 a 21 + α 22 a 22 . If we define the matrix K = [ α 11 α 12 α 21 α 22 ] , then this linear functional can be expressed in the form of trace of AK i.e. t r ( A K ) .

Also as mentioned previously, the observables of a quantum mechanical system are represented by B ( H ) and a state of this system is a linear functional on B ( H ) .

Definition 5. A positive linear functional on a C*-algebra is a linear functional f such that f ( x ) ≥ 0 whenever x ≥ 0 . A state is defined to be a positive linear functional of norm 1.

Definition 6. A pure state is a state which is an extreme point of the set of all states of the C*-algebra.

Here is an example of a pure state.

Example 3. For a unit element vector z ∈ l 2 ( ℕ ) , a pure state on B ( l 2 ( ℕ ) ) is in the form f z ( T ) = 〈 T z , z 〉 .

Continuing with the example from above, if A is the identity matrix I, then t r ( I K ) = 1 provided t r ( K ) = 1 . So a state on B ( l 2 2 ) should satisfy

t r ( K ) = 1 . In addition, for a state on B ( l 2 2 ) , the additional condition on the state is that the matrix K is self-adjoint i.e. the conjugate transpose of the matrix K is itself and all its principal minors are non-negative. For example, this happens in a situation where the matrix K has non-negative real entries. Consider

the subalgebra S = { A : A = [ a 11 0 0 a 22 ] ; a i j ∈ C , 1 ≤ i , j ≤ 2 } of B ( l 2 2 ) and consider the pure state on S given by a 11 . We need to find states on B ( l 2 2 ) that is an extension of this pure state on S. These states will be in the form t r ( A K ) with K = [ 1 a 12 a 21 0 ] ; and satisfying a ¯ 12 = a 21 . For the condition that all principal minors be non-negative, this happens if a 12 a 21 ≥ 0 i.e. a 12 a ¯ 12 ≥ 0 . If a 12 = x + i y , a 12 a ¯ 12 ≥ 0 implies ( x + i y ) ( x − i y ) ≥ 0 i.e. x 2 + y 2 ≥ 0 . So x = y = 0 . In other words K = [ 1 0 0 0 ] ; and t r ( A K ) = a 11 . Thus the state on S given by a 11 has unique extension to all of B ( l 2 2 ) . As seen for this example, the Kadison-Singer problem as resolved is true.

Next, we state the Krein-Milman theorem, see . A general statement of the theorem is given below:

Theorem 1. If C is a compact convex subset of a locally convex topological vector space A, then C is the closed convex hull of its extreme points.

Recall that, a pure state is a state which is an extreme point of the set of all states of the C*-algebra. The existence of pure states is guaranteed by the following observations:

1) The set of states of the C*-algebra A is a convex subset of the dual space of A(A’). It is also compact in the weak*-topology on A’, where the weak*-topology is defined by the semi-norms | f ( x ) | on the dual space A’.

2) By Krein-Milman theorem, the set of states is the closed convex hull of its extreme points.

These extreme points are the pure states.

3. Extension of States

Hahn-Banach theorem is one of the profound theorems in functional analysis which has far reaching applications in the sciences, for example thermodynamics .

Theorem 2. If C is a subspace of the normed linear space A and if f is a bounded linear functional on C then f can be extended to a bounded linear functional F on A such that F | C = f , and ‖ F ‖ = ‖ f ‖ .

Thus, by Hahn-Banach theorem, a state on a C*-subalgebra C of A is extended to A. The above observation in conjunction with the Krein-Milman theorem suggests that a pure state on the diagonal subalgebra of B ( l 2 ( ℕ ) ) extends to at least one pure state of B ( l 2 ( ℕ ) ) . Is this extension unique? Recall that this was the Kadison-Singer conjecture.

4. Identification of the Diagonal Subalgebra of B ( l 2 ( ℕ ) ) (via Stone-Cech Compactification of ℕ : β (ℕ))

The diagonal subalgebra of B ( l 2 ( ℕ ) ) with respect to the natural basis is l ∞ ( ℕ ) , where l ∞ ( ℕ ) is defined as follows:

Definition 7. l ∞ ( ℕ ) is the space of all bounded sequences with respect to the supnorm i.e. ‖ x ‖ ∞ = sup | x n | n ∈ ℕ

We observe below that l ∞ ( ℕ ) can be characterized using β ( ℕ ) via the Stone-Cech compactification . The Stone-Cech compactification of a space X that is not compact is a technique for constructing a compact Hausdorff space β ( X ) which in layman’s terms is very similar to X. In technical terms, we construct a homeomorphism k from X to a subspace of β ( X ) such that k ( X ) is dense in β ( X ) . The set of natural numbers ℕ is not compact. Implementing the above procedure for ℕ , every bounded function from ℕ i.e. elements of l ∞ ( ℕ ) extends to continuous functions on β ( ℕ ) .

Let C ( β ( ℕ ) ) represent the space of continuous functions on β ( ℕ ) .

1) As seen before, we are able to identify l ∞ ( ℕ ) with C ( β ( ℕ ) ) .

2) Pure states on l ∞ ( ℕ ) correspond to homeomorphisms induced by evaluations at points in β ( ℕ ) .

Kadison and Singer have already proved in  that the pure states corresponding to points in ℕ with the canonical basis vectors have unique pure state extensions. So the focus is on the pure states in β ( ℕ ) − ℕ . In other words, do pure states corresponding to β ( ℕ ) − ℕ have unique extensions to pure states on all of B ( l 2 ( ℕ ) ) ? This was proved to be true in the equivalent formulation by Marcus, Spielman and Srivastava. These outstanding researchers were awarded the Polya prize in 2014 for their work.

5. Equivalent Formulations of the Kadison Singer Problem

Although the purpose of this paper is to provide a gentle introduction to the notion of sparsification with Kadison-Singer problem as foundational, it is important to state equivalent formulations of the problem for the benefit of the reader. This problem has equivalent formulations in Frame theory. In linear algebra, a frame of an inner product space is a generalization of a basis of a vector space to sets that may be linearly dependent . Also, a sequence of vectors ( x n ) in a Hilbert space H is called a Reisz sequence if there exists constants 0 < c ≤ C < ∞

such that c ( ∑ n | a n | 2 ) ≤ ‖ ∑ n     a n x n ‖ 2 ≤ C ( ∑ n | a n | 2 ) for all sequences ( a n ) ∈ l 2 ( N ) .

The equivalent formulations with relevant proofs can be found in  but is outlined below for the reader’s benefit.

1) Paving Conjecture: For ε > 0 , there is a natural number r so that for every natural number n and for every linear operator T on l 2 n whose matrix has zero diagonal, we can find a partition (i.e. a paving) { A j } j = 1 r of { 1,2, ⋯ , n } , so that ‖ Q A j T Q A j ‖ ≤ ε ‖ T ‖ for all j = 1 , 2 , ⋯ , r .

2) Bourgain-Tzafriri Conjecture: There is a universal constant A > 0 so that for every B > 1 there is a natural number r = r ( B ) satisfying: For every natural number n if T : l 2 n → l 2 n is a linear operator with ‖ T ‖ ≤ B and ‖ T e i ‖ = 1

for all i = 1 , 2 , ⋯ , n , then there is a partition { A j } j = 1 r of { 1,2, ⋯ , n } so that for

all j = 1 , 2 , ⋯ , r . And for all choices of scalars all { a i } i ∈ A j we have

‖ ∑ i ∈ A j   a i T e i ‖ 2 ≤ A ∑ i ∈ A j | a i | 2 .

3) Feichtinger conjecture: Every bounded frame can be written as a finite union of Riesz basic sequences.

More recently, the resolution of Kadison-Singer Problem has generated lot of interest in computational complexity. Please refer to  and  for more information.

6. Conclusion

The notion of sparsification has been of great relevance in history and in modern society. The Kadison-Singer problem based on this notion is one of those unique problems that transcends various scientific disciplines, bridges the gap between pure and applied, instills in us the beauty of the nature of mathematics and its wholesomeness.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Krishnan, S. (2020) Sparsification: In Theory and Practice. Journal of Applied Mathematics and Physics, 8, 100-106. https://doi.org/10.4236/jamp.2020.81008

ReferencesMarcus, A., Spielman, D.A. and Srivastava, N. (2015) Interlacing Families II: Mixed Characteristic Polynomials and the Kadison-Singer Problem. Annals of Mathematics, 182, 327-350. https://doi.org/10.4007/annals.2015.182.1.8Anari, N. and Gharan, S.O. (2015) The Kadison-Singer Problem for Strongly Rayleigh Measures and Applications to Asymmetric TSP.Kadison, R. and Singer, I. (1959) Extensions of Pure States. American Journal of Mathematics, 81, 383-400. https://doi.org/10.2307/2372748Casazza, P.G. and Tremain, J.C. (2006) The Kadison-Singer Problem in Mathematics and Engineering. Proceedings of National Academy of Sciences of the USA, 103, 2032-2039. https://doi.org/10.1073/pnas.0507888103Weaver, N. (2004) The Kadison-Singer Problem in Discrepancy Theory. Discrete Mathematics, 278, 227-239. https://doi.org/10.1016/S0012-365X(03)00253-XWigderson, A. (2017) Interactions of Computational Complexity Theory and Mathematics.Davidson, K.R. (1996) C*-Algebras by Example. Vol. 6, Fields Institute Monographs, American Mathematical Society, Providence. https://doi.org/10.1090/fim/006Casazza, P.G. and Weber, E. (2008) The Kadison-Singer Theorem and the Uncertainity Principle. Proceedings of the American Mathematical Society, 136, 4235-4243. https://doi.org/10.1090/S0002-9939-08-09564-6Akemann, C.A., Tanbay, B. and Ulger, A. (2010) A Note on the Kadison-Singer Problem. Journal of Operator Theory, 62, 363-374.Krein, M. and Milman, D. (1940) On Extreme Points of Regular Convex Sets. Studia Mathematica, 9, 133-138. https://doi.org/10.4064/sm-9-1-133-138Feinberg, M. and Lavine, R. (1983) Thermodynamics Based on the Hahn-Banach Theorem: The Clausius Inequality. Archive for Rational Mechanics and Analysis, 82, 203-293. https://doi.org/10.1007/BF00261935Akemann, C. and Paulsen, V. State-Extensions and the Kadison-Singer Problem. AIM Preprint. https://aimath.org/WWN/kadisonsinger/ARCC-ap.pdfKova&#269;evi&#263;, J. and Chebira, A. (2008) An Introduction to Frames. Foundations and Trends in Signal Processing, 2, 1-94. https://doi.org/10.1561/2000000006