Searcharxiv⌕ Search

arXiv subjects

Kevin Walker

Publications and source records attributed to Kevin Walker.

30 records · Page 2Linked to original sources
arXiv2010

Projective Ribbon Permutation Statistics: a Remnant of non-Abelian Braiding in Higher Dimensions

In a recent paper, Teo and Kane proposed a 3D model in which the defects support Majorana fermion zero modes. They argued that exchanging and twisting these defects would implement a set R of unitary transformations on the zero mode Hilbert space which is a 'ghostly' recollection of the action of the braid group on Ising anyons in 2D. In this paper, we find the group T_{2n} which governs the statistics of these defects by analyzing the topology of the space K_{2n} of configurations of 2n defects in a slowly spatially-varying gapped free fermion Hamiltonian: T_{2n}\equiv {π_1}(K_{2n})$. We find that the group T_{2n}= Z \times T^r_{2n}, where the 'ribbon permutation group' T^r_{2n} is a mild enhancement of the permutation group S_{2n}: T^r_{2n} \equiv \Z_2 \times E((Z_2)^{2n}\rtimes S_{2n}). Here, E((Z_2)^{2n}\rtimes S_{2n}) is the 'even part' of (Z_2)^{2n} \rtimes S_{2n}, namely those elements for which the total parity of the element in (Z_2)^{2n} added to the parity of the permutation is even. Surprisingly, R is only a projective representation of T_{2n}, a possibility proposed by Wilczek. Thus, Teo and Kane's defects realize `Projective Ribbon Permutation Statistics', which we show to be consistent with locality. We extend this phenomenon to other dimensions, co-dimensions, and symmetry classes. Since it is an essential input for our calculation, we review the topological classification of gapped free fermion systems and its relation to Bott periodicity.

cond-mat.mes-hall↗
arXiv2009

Man and machine thinking about the smooth 4-dimensional Poincaré conjecture

While topologists have had possession of possible counterexamples to the smooth 4-dimensional Poincaré conjecture (SPC4) for over 30 years, until recently no invariant has existed which could potentially distinguish these examples from the standard 4-sphere. Rasmussen's s-invariant, a slice obstruction within the general framework of Khovanov homology, changes this state of affairs. We studied a class of knots K for which nonzero s(K) would yield a counterexample to SPC4. Computations are extremely costly and we had only completed two tests for those K, with the computations showing that s was 0, when a landmark posting of Akbulut (arXiv:0907.0136) altered the terrain. His posting, appearing only six days after our initial posting, proved that the family of ``Cappell--Shaneson'' homotopy spheres that we had geared up to study were in fact all standard. The method we describe remains viable but will have to be applied to other examples. Akbulut's work makes SPC4 seem more plausible, and in another section of this paper we explain that SPC4 is equivalent to an appropriate generalization of Property R (``in S^3, only an unknot can yield S^1 x S^2 under surgery''). We hope that this observation, and the rich relations between Property R and ideas such as taut foliations, contact geometry, and Heegaard Floer homology, will encourage 3-manifold topologists to look at SPC4.

math.GT↗
arXiv2009

Positivity of the universal pairing in 3 dimensions

Associated to a closed, oriented surface S is the complex vector space with basis the set of all compact, oriented 3-manifolds which it bounds. Gluing along S defines a Hermitian pairing on this space with values in the complex vector space with basis all closed, oriented 3-manifolds. The main result in this paper is that this pairing is positive, i.e. that the result of pairing a nonzero vector with itself is nonzero. This has bearing on the question of what kinds of topological information can be extracted in principle from unitary 2+1 dimensional TQFTs. The proof involves the construction of a suitable complexity function c on all closed 3-manifolds, satisfying a gluing axiom which we call the topological Cauchy-Schwarz inequality, namely that c(AB) <= max(c(AA),c(BB)) for all A,B which bound S, with equality if and only if A=B. The complexity function c involves input from many aspects of 3-manifold topology, and in the process of establishing its key properties we obtain a number of results of independent interest. For example, we show that when two finite volume hyperbolic 3-manifolds are glued along an incompressible acylindrical surface, the resulting hyperbolic 3-manifold has minimal volume only when the gluing can be done along a totally geodesic surface; this generalizes a similar theorem for closed hyperbolic 3-manifolds due to Agol-Storm-Thurston.

math.GT↗
arXiv2008

Fixing the functoriality of Khovanov homology

We describe a modification of Khovanov homology (math.QA/9908171), in the spirit of Bar-Natan (math.GT/0410495), which makes the theory properly functorial with respect to link cobordisms. This requires introducing `disorientations' in the category of smoothings and abstract cobordisms between them used in Bar-Natan's definition. Disorientations have `seams' separating oppositely oriented regions, coming with a preferred normal direction. The seams satisfy certain relations (just as the underlying cobordisms satisfy relations such as the neck cutting relation). We construct explicit chain maps for the various Reidemeister moves, then prove that the compositions of chain maps associated to each side of each of Carter and Saito's movie moves (MR1238875, MR1445361) always agree. These calculations are greatly simplified by following arguments due to Bar-Natan and Khovanov, which ensure that the two compositions must agree, up to a sign. We set up this argument in our context by proving a result about duality in Khovanov homology, generalising previous results about mirror images of knots to a `local' result about tangles. Along the way, we reproduce Jacobsson's sign table (math.GT/0206303) for the original `unoriented theory', with a few disagreements.

math.GT↗
arXiv2007

Noncommuting Flux Sectors in a Tabletop Experiment

We show how one can use superconductors and Josephson junctions to create a laboratory system which can explore the groundstates of the free electromagnetic field in a 3-manifold with torsion in its cohomology.

hep-th↗
arXiv2006

From String Nets to Nonabelions

We discuss Hilbert spaces spanned by the set of string nets, i.e. trivalent graphs, on a lattice. We suggest some routes by which such a Hilbert space could be the low-energy subspace of a model of quantum spins on a lattice with short-ranged interactions. We then explain conditions which a Hamiltonian acting on this string net Hilbert space must satisfy in order for its ground state and low-lying quasiparticle excitations to be in the DFib topological phase. Using the string net wavefunction, we describe the properties of this phase. Our discussion is informed by mappings of string net wavefunctions to the chromatic polynomial and the Potts model.

cond-mat.str-el↗
arXiv2005

Universal manifold pairings and positivity

Gluing two manifolds M_1 and M_2 with a common boundary S yields a closed manifold M. Extending to formal linear combinations x=Sum_i(a_i M_i) yields a sesquilinear pairing p=<,> with values in (formal linear combinations of) closed manifolds. Topological quantum field theory (TQFT) represents this universal pairing p onto a finite dimensional quotient pairing q with values in C which in physically motivated cases is positive definite. To see if such a "unitary" TQFT can potentially detect any nontrivial x, we ask if is non-zero whenever x is non-zero. If this is the case, we call the pairing p positive. The question arises for each dimension d=0,1,2,.... We find p(d) positive for d=0,1, and 2 and not positive for d=4. We conjecture that p(3) is also positive. Similar questions may be phrased for (manifold, submanifold) pairs and manifolds with other additional structure. The results in dimension 4 imply that unitary TQFTs cannot distinguish homotopy equivalent simply connected 4-manifolds, nor can they distinguish smoothly s-cobordant 4-manifolds. This may illuminate the difficulties that have been met by several authors in their attempts to formulate unitary TQFTs for d=3+1. There is a further physical implication of this paper. Whereas 3-dimensional Chern-Simons theory appears to be well-encoded within 2-dimensional quantum physics, eg in the fractional quantum Hall effect, Donaldson-Seiberg-Witten theory cannot be captured by a 3-dimensional quantum system. The positivity of the physical Hilbert spaces means they cannot see null vectors of the universal pairing; such vectors must map to zero.

math.GT↗
arXiv2005

Tilted Interferometry Realizes Universal Quantum Computation in the Ising TQFT without Overpasses

We show how a universal gate set for topological quantum computation in the Ising TQFT, the non-Abelian sector of the putative effective field theory of the $ν=5/2$ fractional quantum Hall state, can be implemented. This implementation does not require overpasses or surgery, unlike the construction of Bravyi and Kitaev, which we take as a starting point. However, it requires measurements of the topological charge around time-like loops encircling moving quasiaparticles, which require the ability to perform `tilted' interferometry measurements.

cond-mat.mes-hall↗
arXiv2005

Towards Universal Topological Quantum Computation in the $ν=5/2$ Fractional Quantum Hall State

The Pfaffian state, which may describe the quantized Hall plateau observed at Landau level filling fraction $ν= 5/2$, can support topologically-protected qubits with extremely low error rates. Braiding operations also allow perfect implementation of certain unitary transformations of these qubits. However, in the case of the Pfaffian state, this set of unitary operations is not quite sufficient for universal quantum computation (i.e. is not dense in the unitary group). If some topologically unprotected operations are also used, then the Pfaffian state supports universal quantum computation, albeit with some operations which require error correction. On the other hand, if certain topology-changing operations can be implemented, then fully topologically-protected universal quantum computation is possible. In order to accomplish this, it is necessary to measure the interference between quasiparticle trajectories which encircle other moving trajectories in a time-dependent Hall droplet geometry.

cond-mat.mes-hall↗
arXiv2003

A Class of $P,T$-Invariant Topological Phases of Interacting Electrons

We describe a class of parity- and time-reversal-invariant topological states of matter which can arise in correlated electron systems in 2+1-dimensions. These states are characterized by particle-like excitations exhibiting exotic braiding statistics. $P$ and $T$ invariance are maintained by a `doubling' of the low-energy degrees of freedom which occurs naturally without doubling the underlying microscopic degrees of freedom. The simplest examples have been the subject of considerable interest as proposed mechanisms for high-$T_c$ superconductivity. One is the `doubled' version (i.e. two opposite-chirality copies) of the U(1) chiral spin liquid. The second example corresponds to $Z_2$ gauge theory, which describes a scenario for spin-charge separation. Our main concern, with an eye towards applications to quantum computation, are richer models which support non-Abelian statistics. All of these models, richer or poorer, lie in a tightly-organized discrete family. The physical inference is that a material manifesting the $Z_2$ gauge theory or a doubled chiral spin liquid might be easily altered to one capable of universal quantum computation. These phases of matter have a field-theoretic description in terms of gauge theories which, in their infrared limits, are topological field theories. We motivate these gauge theories using a parton model or slave-fermion construction and show how they can be solved exactly. The structure of the resulting Hilbert spaces can be understood in purely combinatorial terms. The highly-constrained nature of this combinatorial construction, phrased in the language of the topology of curves on surfaces, lays the groundwork for a strategy for constructing microscopic lattice models which give rise to these phases.

cond-mat.str-el↗
arXiv2003

Quantum SU(2) faithfully detects mapping class groups modulo center

The Jones-Witten theory gives rise to representations of the (extended) mapping class group of any closed surface Y indexed by a semi-simple Lie group G and a level k. In the case G=SU(2) these representations (denoted V_A(Y)) have a particularly simple description in terms of the Kauffman skein modules with parameter A a primitive 4r-th root of unity (r=k+2). In each of these representations (as well as the general G case), Dehn twists act as transformations of finite order, so none represents the mapping class group M(Y) faithfully. However, taken together, the quantum SU(2) representations are faithful on non-central elements of M(Y). (Note that M(Y) has non-trivial center only if Y is a sphere with 0, 1, or 2 punctures, a torus with 0, 1, or 2 punctures, or the closed surface of genus = 2.) Specifically, for a non-central h in M(Y) there is an r_0(h) such that if r>= r_0(h) and A is a primitive 4r-th root of unity then h acts projectively nontrivially on V_A(Y). Jones' [J] original representation rho_n of the braid groups B_n, sometimes called the generic q-analog-SU(2)-representation, is not known to be faithful. However, we show that any braid h not= id in B_n admits a cabling c = c_1,...,c_n so that rho_N (c(h)) not= id, N=c_1 + ... + c_n.

math.GT↗