arXiv subjects
Publications and source records attributed to Michael Freedman.
We supply a rigorous proof that an open dense set of all possible 2-qubit gates G has the property that if the quantum circuit model is restricted to only permit swap of qubits lines and the application of G to pairs of lines, then the model is still computationally universal.
Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+ε}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.
We propose and analyze the effect of anyonic interferometers that are designed such that the probe anyons traveling in a given path through the interferometer twist or braid around each other. These "twisted" interferometers are found to provide operational utility that may not be available from anyon braiding operations and standard (untwisted) anyonic interferometry measurements. In particular, it enables Ising anyons to generate "magic states," which can be used to implement pi/8-phase gates. We consider the possible implementations of such twisted interferometers in quantum Hall systems, 2D p_x + i p_y superconductors, and 2D Majorana heterostructures, and discuss obstacles and challenges associated with implementation.
We develop several algorithms for performing quantum phase estimation based on basic measurements and classical post-processing. We present a pedagogical review of quantum phase estimation and simulate the algorithm to numerically determine its scaling in circuit depth and width. We show that the use of purely random measurements requires a number of measurements that is optimal up to constant factors, albeit at the cost of exponential classical post-processing; the method can also be used to improve classical signal processing. We then develop a quantum algorithm for phase estimation that yields an asymptotic improvement in runtime, coming within a factor of log* of the minimum number of measurements required while still requiring only minimal classical post-processing. The corresponding quantum circuit requires asymptotically lower depth and width (number of qubits) than quantum phase estimation.
3D non-abelian anyons have been theoretically proposed to exist in heterostructures composed of type II superconductors and topological insulators. We use realistic material parameters for a device derived from Bi$_2$Se$_3$ to quantitatively predict the temperature and magnetic field regimes where an experiment might detect the presence of these exotic states by means of a cooling effect. Within the appropriate parameter regime, an adiabatic increase of the magnetic field will result in a decrease of system temperature when anyons are present. If anyons are not present, the same experiment would result in heating.
We introduce a Hamiltonian coupling Majorana fermion degrees of freedom to a quantum dimer model. We argue that, in three dimensions, this model has deconfined quasiparticles supporting Majorana zero modes obeying nontrivial statistics. We introduce two effective field theory descriptions of this deconfined phase, in which the excitations have Coulomb interactions. A key feature of this system is the existence of topologically non-trivial fermionic excitations, called "Hopfions" because, in a suitable continuum limit of the dimer model, such excitations correspond to the Hopf map and are related to excitations identified in arXiv:1003.1964. We identify corresponding topological invariants of the quantum dimer model (with or without fermions) which are present even on lattices with trivial topology. The Hopfion energy gap depends upon the phase of the model. We briefly comment on the possibility of a phase with a gapped, deconfined $\mathbb{Z}_2$ gauge field, as may arise on the stacked triangular lattice.
This paper initiates the study of topological arbiters, a concept rooted in Poincare-Lefschetz duality. Given an n-dimensional manifold W, a topological arbiter associates a value 0 or 1 to codimension zero submanifolds of W, subject to natural topological and duality axioms. For example, there is a unique arbiter on $RP^2$, which reports the location of the essential 1-cycle. In contrast, we show that there exists an uncountable collection of topological arbiters in dimension 4. Families of arbiters, not induced by homology, are also shown to exist in higher dimensions. The technical ingredients underlying the four dimensional results are secondary obstructions to generalized link-slicing problems. For classical links in the 3-sphere the construction relies on the existence of nilpotent embedding obstructions in dimension 4, reflected in particular by the Milnor group. In higher dimensions novel arbiters are produced using nontrivial squares in stable homotopy theory. The concept of "topological arbiter" derives from percolation and from 4-dimensional surgery. It is not the purpose of this paper to advance either of these subjects, but rather to study the concept for its own sake. However in appendices we give both an application to percolation, and the current understanding of the relationship between arbiters and surgery. An appendix also introduces a more general notion of a multi-arbiter. Properties and applications are discussed, including a construction of non-homological multi-arbiters.
The macroscopic dimensions of space should not be input but rather output of a general model for physics. Here, dimensionality arises from a recently discovered mathematical bifurcation: positive versus indefinite manifold pairings. It is used to build an action on a formal chain of combinatorial space-times of arbitrary dimension. The context for such actions is 2-field theory where Feynman integrals are not over classical, but previously quantized configurations. A topologically enforced singularity of the action terminates the dimension at four and, in fact, the final fourth dimension is Lorentzian due to light-like vectors in the four dimensional manifold pairing. Our starting point is the action of causal dynamical triangulations but in a dimension-agnostic setting. It is encouraging that some hint of extra small dimensions emerges from our action.
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.
The advancement of information processing into the realm of quantum mechanics promises a transcendence in computational power that will enable problems to be solved which are completely beyond the known abilities of any "classical" computer, including any potential non-quantum technologies the future may bring. However, the fragility of quantum states poses a challenging obstacle for realization of a fault-tolerant quantum computer. The topological approach to quantum computation proposes to surmount this obstacle by using special physical systems -- non-Abelian topologically ordered phases of matter -- that would provide intrinsic fault-tolerance at the hardware level. The so-called "Ising-type" non-Abelian topological order is likely to be physically realized in a number of systems, but it can only provide a universal gate set (a requisite for quantum computation) if one has the ability to perform certain dynamical topology-changing operations on the system. Until now, practical methods of implementing these operations were unknown. Here we show how the necessary operations can be physically implemented for Ising-type systems realized in the recently proposed superconductor-semiconductor and superconductor-topological insulator heterostructures. Furthermore, we specify routines employing these methods to generate a computationally universal gate set. We are consequently able to provide a schematic blueprint for a fully topologically-protected Ising based quantum computer using currently available materials and techniques. This may serve as a starting point for attempts to construct a fault-tolerant quantum computer, which will have applications to cryptanalysis, drug design, efficient simulation of quantum many-body systems, solution of large systems of linear equations, searching large databases, engineering future quantum computers, and -- most importantly -- those applications which no one in our classical era has the prescience to foresee.
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.
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.
We describe measurement-only topological quantum computation using both projective and interferometrical measurement of topological charge. We demonstrate how anyonic teleportation can be achieved using "forced measurement" protocols for both types of measurement. Using this, it is shown how topological charge measurements can be used to generate the braiding transformations used in topological quantum computation, and hence that the physical transportation of computational anyons is unnecessary. We give a detailed discussion of the anyonics for implementation of topological quantum computation (particularly, using the measurement-only approach) in fractional quantum Hall systems.
In this paper we address the question of the existence of a spectral gap in a class of local Hamiltonians. These Hamiltonians have the following properties: their ground states are known exactly; all equal-time correlation functions of local operators are short-ranged; and correlation functions of certain non-local operators are critical. A variational argument shows gaplessness with $ω\propto k^2$ at critical points defined by the absence of certain terms in the Hamiltonian, which is remarkable because equal-time correlation functions of local operators remain short-ranged. We call such critical points, in which spatial and temporal scaling are radically different, quasi-topological. When these terms are present in the Hamiltonian, the models are in gapped topological phases which are of special interest in the context of topological quantum computation.
We remove the need to physically transport computational anyons around each other from the implementation of computational gates in topological quantum computing. By using an anyonic analog of quantum state teleportation, we show how the braiding transformations used to generate computational gates may be produced through a series of topological charge measurements.
Topological quantum computation has recently emerged as one of the most exciting approaches to constructing a fault-tolerant quantum computer. The proposal relies on the existence of topological states of matter whose quasiparticle excitations are neither bosons nor fermions, but are particles known as {\it Non-Abelian anyons}, meaning that they obey {\it non-Abelian braiding statistics}. Quantum information is stored in states with multiple quasiparticles, which have a topological degeneracy. The unitary gate operations which are necessary for quantum computation are carried out by braiding quasiparticles, and then measuring the multi-quasiparticle states. The fault-tolerance of a topological quantum computer arises from the non-local encoding of the states of the quasiparticles, which makes them immune to errors caused by local perturbations. To date, the only such topological states thought to have been found in nature are fractional quantum Hall states, most prominently the ν=5/2 state, although several other prospective candidates have been proposed in systems as disparate as ultra-cold atoms in optical lattices and thin film superconductors. In this review article, we describe current research in this field, focusing on the general theoretical concepts of non-Abelian statistics as it relates to topological quantum computation, on understanding non-Abelian quantum Hall states, on proposed experiments to detect non-Abelian anyons, and on proposed architectures for a topological quantum computer. We address both the mathematical underpinnings of topological quantum computation and the physics of the subject using the ν=5/2 fractional quantum Hall state as the archetype of a non-Abelian topological state enabling fault-tolerant quantum computation.
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.
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.