BilQit
Home Page

back

Bilkent Quantum Information and Topology

This is the homepage of Bilkent Quantum Information and Topology Group.


Topological approach to quantum contextuality

Quantum contextuality (Kochen–Specker 67 and Bell 66) is first observed in the Bell–Kochen–Specker “no-go” theorem. Here the word “context” refers to a set A 1,A 2,A_1,A_2,\cdots of pairwise commuting observables, i.e. Hermitian matrices. The no-go result demonstrates the impossibility of associating an outcome (eigenvalue) to each of the observables independent of the context. Simplest proofs are the Mermin square and star constructions (Mermin 93). These constructions can be seen as the first obstruction to the impossibility of reproducing the predictions of quantum theory by hidden variable models. In recent work, we showed that Kochen–Specker type contextuality has a topological characterization (Okay et al). This is initially achieved by introducing a (co)chain complex CC whose second cohomology group contains an obstruction class β\beta that detects contextuality. Another way of producing such no-go results is to rely on symmetry. The corresponding obstruction class Φ\Phi belongs to a bicomplex reminiscent of the first page of a spectral sequence associated to the action of the symmetry group on the chain complex CC. A striking consequence of this approach is the relationship between the two obstruction classes, β\beta and Φ\Phi, hence two different ways of constructing no-go results, that naturally follows from the homological formulation. Moreover, this framework is powerful enough to provide a topological basis for more general types of no-go results, in the form of violation of inequalities, that depend on a fixed quantum state ρ\rho (positive semidefinite matrix of trace 11). For instance, the Clauser–Horne–Shimony–Holt (CHSH) inequality can be represented by the Mermin star construction, thus can be given a cohomological explanation.

Topological realizations

Kochen–Specker type contextuality can be formulated in the form of a linear constraint system. This formulation is better suited to elevate the algebraic discussion of chain complexes to a topological one involving cell (CW) complexes. A linear constraint system (LCS) is specified by a linear equation Mx=bMx=b defined over the ring /d\mathbb{Z}/d of integers mod dd (Cleve–Mittal 14). An operator solution to the LCS is a set of unitary matrices (whose order divides dd) that satisfy certain commutation relations and linear relations imposed by the equation Mx=bMx=b. Solutions in U(1)U(1) are called scalar solutions. In this framework a proof of contextuality, in the sense of Kochen–Specker, is demonstrated by showing that no scalar solutions exist. More conveniently, a LCS can be described by a hypergraph =(V,E)\mathfrak{H}=(V,E) with an incidence weight given by the matrix MM together with a function b:E/db:E\to \mathbb{Z}/d on the edge set. Our topological approach in Okay–Raussendorf 20 associates to the hypergraph a 22-dimensional cell complex X X_{\mathfrak{H}}, called a topological realization, such that the function bb can be regarded as a 22-cocycle, and thus gives a class in H 2(X ,/d)H^2(X_{\mathfrak{H}},\mathbb{Z}/d). Then our main result says that if the topological realization is simply connected then the LCS cannot be contextual, i.e. it is non-contextual. This result generalizes an earlier graph-theoretic characterization of Arkhipov 12, that holds only for particular hypergraphs and for d=2d=2, to arbitrary hypergraphs and any d2d\geq 2.

Classifying space for commutativity

To be able to use the full power of homotopy theory we need to introduce classifying spaces of certain type. Let GG be a topological group, the main example will be the unitary group U(m)U(m). The classifying space BGBG is a topological space constructed using simplicial techniques. More precisely, it is assembled from the space of homomorphisms Hom(F n,G)\text{Hom}(F^n,G) (can be identified with G nG^n) where F nF^n is the free group on nn elements. In fact, {F n} n0\lbrace F^n \rbrace_{n\geq 0} can be given the structure of a cosimplicial group, which induces the simplicial structure on the spaces of homomorphisms. More generally, given an endofunctor τ\tau on the category of groups one can construct (Adem–Cohen–Torres Giese 12) classifying spaces, denoted by B(τ,G)B(\tau,G), assembled from the spaces of homomorphisms Hom(τ(F n),G)\text{Hom}(\tau(F^n),G). Main examples for τ\tau are the abelianization functor, its mod dd-reduction, and the qq-th stage of the descending central series. The resulting spaces are denoted by B(,G)B(\mathbb{Z},G), B(/d,G)B(\mathbb{Z}/d,G), and B(Γ q,G)B(\Gamma_q,G); respectively. The word “classifying space” is justified by the observation that B(τ,G)B(\tau,G) classifies certain types of principal GG-bundles, so-called bundles with τ\tau-structure (generalizing transitionally commutative bundles introduced in Adem–Gomez 15). Therefore understanding the homotopy type of B(τ,G)B(\tau,G) has its own motivation for algebraic topologists. However, the homotopy type of this space is largely unknown, except in some particular cases including low-dimensional Lie groups (Antolin et al), stable classical groups (Gritschacher–Hausmann 19), certain finite groups (Okay 18). For stable classical groups B(Γ q,G)B(\Gamma_q,G) gives rise to nilpotent versions of topological KK-theory.

Applications: classifying space for contextuality

Turning back to the topological study of quantum contextuality we describe a refinement of the homotopical approach using classifying spaces. The main observation is the topological interpretation of operator solutions for LCSs over /d\mathbb{Z}/d. Let μ d\mu_d denote the subgroup of U(1)U(1) consisting of elements whose order divides dd. The classifying space for contextuality, denoted by B cx(d,m)B_\cx(d,m), is a quotient space of B(/d,U(m))B(\mathbb{Z}/d,U(m)) obtained by identifying, at the level of nn-simplices, (A 1,,A n)(A 1,,A n)(A_1,\cdots,A_n)\sim (A_1',\cdots,A_n') whenever A i=α iA iA_i = \alpha_i A_i' for some α iμ d\alpha_i\in \mu_d. Given a LCS described by (,b)(\mathfrak{H},b) consider an operator solution, more specifically, a function T:VU(m)T:V\to U(m) satisfying

  1. T(v) d=I mT(v)^d=I_m for each vVv\in V,

  2. T(v)T(v)=T(v)T(v)T(v)T(v')=T(v')T(v) whenever v,vv,v' belong to the same edge eEe\in E,

  3. a linear constraint specified by the equation Mx=bMx=b.

The key observation in Okay 20 is that TT can be used to construct a map of spaces

f T:X B cx(d,m),f_T:X_\mathfrak{H} \to B_{\text{cx}}(d,m),

defined up to homotopy, for a given topological realization X X_{\mathfrak{H}}. Then we can introduce an equivalence relation on the collection of operator solutions using the notion of homotopy: TTT\sim T' whenever f Tf Tf_T \simeq f_{T'}. This gives rise to a homotopical classification of operator solutions. The equivalence classes are given by the set [X,B cx(d,m)][X,B_{\text{cx}}(d,m)] of (pointed) homotopy classes of maps. Since XX is 22-dimensional, the computation of this set turns out to be completely algebraic. It boils down to understanding the π 1\pi_1-module structure of π 2\pi_2 where π i=π i(B cx(d,m))\pi_i=\pi_i(B_{\text{cx}}(d,m)). Currently, these low dimensional homotopy groups are unknown. The stabilization process that replaces the unitary group U(m)U(m) with the stable unitary group UU gives a way to overcome this difficulty at the cost of obtaining a coarser classification. It turns out that B(/d,U)B(\mathbb{Z}/d,U) represents a generalized cohomology theory denoted by kμ dk\mu_d, called the dd-torsion commutative KK-theory. On the other hand, using methods from stable homotopy theory the quotient space B cx(d,m)B_{\text{cx}}(d,m) can also be stabilized to give a new generalized cohomology theory, the C(d,m)C(d,m)-cohomology. The elements of C(d,m)(X )C(d,m)(X_\mathfrak{H}) are “stable” classes of operator solutions for the associated LCS. There is a surprising connection to the classification (Kitaev 13) of symmetry-protected topological (SPT) phases via stable homotopy theory. This can be best demonstrated in the real case, i.e. using O(m)O(m) instead of U(m)U(m). The corresponding cohomology theory is denoted by C (2,m)C_{\mathbb{R}}(2,m) (d=2d=2 in the real case). This cohomology theory contains information both on quantum contextuality and SPT phases.

Classical simulation algorithms

Next, we describe the resource-theoretic value of quantum contextuality and how the topological framework can facilitate this study. Contextuality has been established as a computational resource in two prominent schemes of quantum computation:

  1. Measurement-based quantum computation (MBQC) (Robert 13)

  2. Quantum computation with magic states (QCM) (Howard et al).

In the first scheme a computation is implemented by a sequence of measurements on an initial quantum state ρ\rho for nn-qubits—a quantum system whose Hilbert space is ( 2) n(\mathbb{C}^2)^{\otimes n}. This scheme can compute a nonlinear Boolean function with a high success probability if contextuality is present. The basic example is obtained from a version of the Mermin star LCS and choosing the Greenberger–Horne–Zeilinger (GHZ) state as the initial state ρ\rho. The computational power is a consequence of the non-classical correlations created by ρ\rho. In the second scheme the computational power is again achieved by a quantum state, usually called a magic state, and the computation is implemented by a sequence of Pauli measurements (Clifford gates can be ignored). Each measurement is described by a projector associated to the common eigenspace of a context given by an abelian subgroup of the Pauli group P nP_n—a certain finite subgroup of U(p n)U(p^n) isomorphic to an extraspecial pp-group. The cases p=2p=2 and p>2p\gt 2 behave differently. When p>2p\gt 2 contextuality can be characterized using Wigner functions, a quasi-probability representation of quantum states. This representation can be used to construct an efficient classical simulation algorithm for the quantum computation if and only if ρ\rho is non-contextual. Therefore contextuality is both necessary and sufficient for computational speedup. But, when p=2p=2 this nice relationship does not hold anymore. We recently introduced in Zurel–Okay–Raussendorf a classical simulation algorithm based on a new hidden variable model for qubits (p=2p=2). In this model any quantum state can be described as a probability distribution on a finite state space consisting of the vertices of a polytope Λ n\Lambda_n. This hidden variable model does not allow for deterministic outcomes, therefore cannot be studied in the Kochen–Specker paradigm. In this case the operation-theoretic approach of Spekkens (Spekkens 05) provides a suitable framework.

References