1. Introduction and History
The word “sparsification” has great relevance in modern society. In data mining, data scientists constantly strive to construct synopsis of data such that relevant features of the data are retained. In another sense, the endeavor is to “sparsify” data without losing its most important characteristics. In networking and graph theory, mathematicians and computer scientists strive to “sparsify” complex networks while trying to retain essential properties of the original network. In other words, the endeavor is to remove suitable vertices and edges to construct a subgraph which can “decently” approximate the original network. The words synopsis and approximation used in each of the above categories are synonyms but to be more mathematically relevant it is important to mention that the idea of approximation is based on comparing the spectrum of the graph/network and see if they are the same. It is clear that, this idea of “sparsification” will have implications in multitude of applied problems including networks involving the Traveling salesman problem. It might be interesting to note that the idea of “sparsification” was of great interest decades back and one of the greatest mathematical conjectures “The Kadison-Singer Problem” was an outcome of this idea. This problem was resolved by Marcus, Spielman and Srivastava in 2013 [1]. The resolution provided scientists with tools necessary to implement the idea of “sparsification” in various applied fields. We talk a bit about the history of this problem and how the problem by itself had different formulations in applied fields of mathematics. Finally, we study and understand the problem in its most original formulation. We also discuss completion of the proof from the original paper after resolution of the conjecture. The history and the mathematics of this problem including its transition from a problem from physics to one in the engineering sciences and computer science is very interesting and has implications for other longstanding problems in these fields like the asymmetrical traveling salesman problem [2]. Next, we talk a bit about the history of the problem. The problem was posed by Kadison and Singer in 1959 in [3] and was motivated by Dirac’s work in quantum mechanics and the intent was to provide a mathematical framework for characterizing quantum systems and study if states of compatible observables have unique extensions to all observables in the quantum system. The problem is a query: Does every pure state on the diagonal subalgebra of the C*-algebra of all bounded linear operators on
i.e.
extend uniquely to a pure state on all of
? Kadison and Singer were of the opinion that the conjecture was possibly negative. In other words, their belief was that there are pure states
on
such that
but
on the diagonal subalgebra D of
. In 1970’s, Joel Anderson sparked interest in this problem through his equivalent formulation in Frame theory. Frame theory has applications in engineering, particularly in signal processing and so this equivalent formulation generated lot of interest. In the year 2004, Nick Weaver reformulated the problem as a discrepancy problem involving vectors in
. These equivalent formulations with relevant proofs can be found in [4] and [5]. Using Nick Weaver’s combinatorial formulation of the Kadison-Singer problem, Marcus, Spielman and Srivastava eventually proved the theorem in 2013. Interestingly, their research in graph theory and computer science led them to the Kadison-Singer problem and it was not the other way around. It is also worth mentioning that their original study involved researching conditions to “sparsify” networks with appropriate edge and vertex removals without changing fundamental properties of the original network. The most surprising aspect of their resolution was that, contrary to the belief of Kadison and Singer and many other researchers, the conjecture was proved to be true. Recently, methods of this proof have been implemented in algorithmic complexities involving the Traveling Salesman problem and also in computational complexity theory [2] [6]. The Kadison-Singer problem whose journey originated from Quantum Mechanics and whose resolution has implications involving computational complexities of the Traveling Salesman problem has been fascinating. In this spirit, it might be worthy to revisit and understand the problem in its original formulation.
2. Understanding the Kadison-Singer Problem
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
.
Example 1.
is a separable Hilbert space with the orthonormal basis
, where
. Note that
forms the indexing set. For
and
in
; the inner product is defined as follows:
.
The elements of
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
i.e.
and denote it by
. Next, we define a C*-algebra. One may refer to [7] for a detailed introduction to C*-algebras and to [4], [8] and [9] for relevant examples.
Definition 3. A C*-algebra A is a norm closed self-adjoint subalgebra of the operator algebra
, 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
.
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
.
Example 2. Fix
and consider
, where
.
An example of a bounded linear operator on the infinite dimensional separable Hilbert space
will be an infinite dimensional matrix with complex entries but for the sake of simplicity, let us look at the two dimensional version of
and let us call it
. The algebra of bounded operators on
is
. A linear functional on
is then in the form
,
, i.e.
. If we define the matrix
, then this linear functional can be expressed in the form of trace of AK i.e.
.
Also as mentioned previously, the observables of a quantum mechanical system are represented by
and a state of this system is a linear functional on
.
Definition 5. A positive linear functional on a C*-algebra is a linear functional f such that
whenever
. 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
, a pure state on
is in the form
.
Continuing with the example from above, if A is the identity matrix I, then
provided
. So a state on
should satisfy
. In addition, for a state on
, 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
of
and consider the pure state on S given by
. We need to find states on
that is an extension of this pure state on S. These states will be in the form
with
; and satisfying
. For the condition that all principal minors be non-negative, this happens if
i.e.
. If
,
implies
i.e.
. So
. In other words
; and
. Thus the state on S given by
has unique extension to all of
. As seen for this example, the Kadison-Singer problem as resolved is true.
Next, we state the Krein-Milman theorem, see [10]. 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
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 [11].
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
, and
.
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
extends to at least one pure state of
. Is this extension unique? Recall that this was the Kadison-Singer conjecture.
4. Identification of the Diagonal Subalgebra of
(via Stone-Cech Compactification of
:
The diagonal subalgebra of
with respect to the natural basis is
, where
is defined as follows:
Definition 7.
is the space of all bounded sequences with respect to the supnorm i.e.
We observe below that
can be characterized using
via the Stone-Cech compactification [12]. The Stone-Cech compactification of a space X that is not compact is a technique for constructing a compact Hausdorff space
which in layman’s terms is very similar to X. In technical terms, we construct a homeomorphism k from X to a subspace of
such that
is dense in
. The set of natural numbers
is not compact. Implementing the above procedure for
, every bounded function from
i.e. elements of
extends to continuous functions on
.
Let
represent the space of continuous functions on
.
1) As seen before, we are able to identify
with
.
2) Pure states on
correspond to homeomorphisms induced by evaluations at points in
.
Kadison and Singer have already proved in [3] 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
? 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 [13]. Also, a sequence of vectors
in a Hilbert space H is called a Reisz sequence if there exists constants
such that
for all sequences
.
The equivalent formulations with relevant proofs can be found in [4] but is outlined below for the reader’s benefit.
1) Paving Conjecture: For
, there is a natural number r so that for every natural number n and for every linear operator T on
whose matrix has zero diagonal, we can find a partition (i.e. a paving)
of
, so that
for all
.
2) Bourgain-Tzafriri Conjecture: There is a universal constant
so that for every
there is a natural number
satisfying: For every natural number n if
is a linear operator with
and
for all
, then there is a partition
of
so that for
all
. And for all choices of scalars all
we have
.
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 [2] and [6] 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.