-
Quantum Detection of Recurrent Dynamics
Authors:
Michael H. Freedman
Abstract:
Quantum dynamics that explore an unexpectedly small fraction of Hilbert space is inherently interesting. Integrable systems, quantum scars, MBL, hidden tensor structures, and systems with gauge symmetries are examples. Beyond dimension and volume, spectral features such as an $O(1)$-density of periodic eigenvalues, or other spectral features, can also imply observable recurrence. Low volume dynami…
▽ More
Quantum dynamics that explore an unexpectedly small fraction of Hilbert space is inherently interesting. Integrable systems, quantum scars, MBL, hidden tensor structures, and systems with gauge symmetries are examples. Beyond dimension and volume, spectral features such as an $O(1)$-density of periodic eigenvalues, or other spectral features, can also imply observable recurrence. Low volume dynamics will recur near its initial state $| ψ_0\rangle$ more rapidly, i.e. $\lVert\mathrm{U}^k | ψ_0\rangle - | ψ_0\rangle \rVert < ε$, is more likely to occur for modest values of $k$, when the (forward) orbit $\operatorname{closure}(\{\mathrm{U}^k\}_{k=1,2,\dots})$ is of relatively low dimension $d$ and relatively small $d$-volume. We describe simple quantum algorithms to detect such approximate recurrence. Applications include detection of certain cases of hidden tensor factorizations $\mathrm{U} \cong V^\dagger(\mathrm{U}_1\otimes \cdots \otimes \mathrm{U}_n)V$. "Hidden" refers to an unknown conjugation, e.g. $\mathrm{U}_1 \otimes \cdots \otimes \mathrm{U}_v \rightarrow V^\dagger(\mathrm{U}_1 \otimes \cdots \otimes \mathrm{U}_n)V$, which will obscure the low-volume nature of the dynamics. Hidden tensor structures have been observed to emerge both in a high energy context of operator-level spontaneous symmetry breaking [FSZ21a, FSZ21b, FSZ21c, SZBF23], and at the opposite end of the intellectual world in linguistics [Smo09, MLDS19]. We collect some observations on the computational difficulty of locating these structures and detecting related spectral information. A technical result, Appendix A, is that the language describing unitary circuits with no spectral gap (NUSG) around 1 is QMA-complete. Appendix B connects the Kolmogorov-Arnold representation theorem to hidden tensor structures.
△ Less
Submitted 22 December, 2024; v1 submitted 22 July, 2024;
originally announced July 2024.
-
Entanglement of Sections, Examples Looking for a Theory
Authors:
M. H. Freedman,
M. B. Hastings
Abstract:
Quantum information is about the entanglement of states. To this starting point we add parameters whereby a single state becomes a non-vanishing section of a bundle. We consider through examples the possible entanglement patterns of sections.
Quantum information is about the entanglement of states. To this starting point we add parameters whereby a single state becomes a non-vanishing section of a bundle. We consider through examples the possible entanglement patterns of sections.
△ Less
Submitted 21 November, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Universality in long-distance geometry and quantum complexity
Authors:
Adam R. Brown,
Michael H. Freedman,
Henry W. Lin,
Leonard Susskind
Abstract:
In physics, two systems that radically differ at short scales can exhibit strikingly similar macroscopic behaviour: they are part of the same long-distance universality class. Here we apply this viewpoint to geometry and initiate a program of classifying homogeneous metrics on group manifolds by their long-distance properties. We show that many metrics on low-dimensional Lie groups have markedly d…
▽ More
In physics, two systems that radically differ at short scales can exhibit strikingly similar macroscopic behaviour: they are part of the same long-distance universality class. Here we apply this viewpoint to geometry and initiate a program of classifying homogeneous metrics on group manifolds by their long-distance properties. We show that many metrics on low-dimensional Lie groups have markedly different short-distance properties but nearly identical distance functions at long distances, and provide evidence that this phenomenon is even more robust in high dimensions. An application of these ideas of particular interest to physics and computer science is complexity geometry--the study of quantum computational complexity using Riemannian geometry. We argue for the existence of a large universality class of definitions of quantum complexity, each linearly related to the other, a much finer-grained equivalence than typically considered. We conjecture that a new effective metric emerges at larger complexities that describes a broad class of complexity geometries, insensitive to various choices of microscopic penalty factors. We discuss the implications for recent conjectures in quantum gravity.
△ Less
Submitted 20 November, 2023; v1 submitted 24 November, 2021;
originally announced November 2021.
-
Symmetry Protected Quantum Computation
Authors:
Michael H. Freedman,
Matthew B. Hastings,
Modjtaba Shokrian Zini
Abstract:
We consider a model of quantum computation using qubits where it is possible to measure whether a given pair are in a singlet (total spin $0$) or triplet (total spin $1$) state. The physical motivation is that we can do these measurements in a way that is protected against revealing other information so long as all terms in the Hamiltonian are $SU(2)$-invariant. We conjecture that this model is eq…
▽ More
We consider a model of quantum computation using qubits where it is possible to measure whether a given pair are in a singlet (total spin $0$) or triplet (total spin $1$) state. The physical motivation is that we can do these measurements in a way that is protected against revealing other information so long as all terms in the Hamiltonian are $SU(2)$-invariant. We conjecture that this model is equivalent to BQP. Towards this goal, we show: (1) this model is capable of universal quantum computation with polylogarithmic overhead if it is supplemented by single qubit $X$ and $Z$ gates. (2) Without any additional gates, it is at least as powerful as the weak model of "permutational quantum computation" of Jordan [14, 18]. (3) With postselection, the model is equivalent to PostBQP.
△ Less
Submitted 26 September, 2021; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Robust Majorana magic gates via measurements
Authors:
Torsten Karzig,
Yuval Oreg,
Gil Refael,
Michael H. Freedman
Abstract:
$π/8$ phase gates (magic gates or T-gates) are crucial to augment topological systems based on Majorana zero modes to full quantum universality. We present a scheme based on a combination of projective measurements and non-adiabatic evolution that effectively cancels smooth control errors when implementing phase gates in Majorana-based systems. Previous schemes based on adiabatic evolution are sus…
▽ More
$π/8$ phase gates (magic gates or T-gates) are crucial to augment topological systems based on Majorana zero modes to full quantum universality. We present a scheme based on a combination of projective measurements and non-adiabatic evolution that effectively cancels smooth control errors when implementing phase gates in Majorana-based systems. Previous schemes based on adiabatic evolution are susceptible to problems arising from small but finite dynamical phases that are generically present in topologically unprotected gates. A measurement-only approach eliminates dynamical phases. For non-protected gates, however, forced-measurement schemes are no longer effective which leads to low success probabilities of obtaining the right succession of measurement outcomes in a measurement-only implementation. We show how to obtain a viable measurement-based scheme which dramatically increases the success probabilities by evolving the system non-adiabatically with respect to the degenerate subspace in between measurements. We outline practical applications of our scheme in recently proposed quantum computing designs based on Majorana tetrons and hexons.
△ Less
Submitted 12 April, 2019; v1 submitted 26 December, 2018;
originally announced December 2018.
-
Scalable Designs for Quasiparticle-Poisoning-Protected Topological Quantum Computation with Majorana Zero Modes
Authors:
Torsten Karzig,
Christina Knapp,
Roman M. Lutchyn,
Parsa Bonderson,
Matthew B. Hastings,
Chetan Nayak,
Jason Alicea,
Karsten Flensberg,
Stephan Plugge,
Yuval Oreg,
Charles M. Marcus,
Michael H. Freedman
Abstract:
We present designs for scalable quantum computers composed of qubits encoded in aggregates of four or more Majorana zero modes, realized at the ends of topological superconducting wire segments that are assembled into superconducting islands with significant charging energy. Quantum information can be manipulated according to a measurement-only protocol, which is facilitated by tunable couplings b…
▽ More
We present designs for scalable quantum computers composed of qubits encoded in aggregates of four or more Majorana zero modes, realized at the ends of topological superconducting wire segments that are assembled into superconducting islands with significant charging energy. Quantum information can be manipulated according to a measurement-only protocol, which is facilitated by tunable couplings between Majorana zero modes and nearby semiconductor quantum dots. Our proposed architecture designs have the following principal virtues: (1) the magnetic field can be aligned in the direction of all of the topological superconducting wires since they are all parallel; (2) topological $T$-junctions are not used, obviating possible difficulties in their fabrication and utilization; (3) quasiparticle poisoning is abated by the charging energy; (4) Clifford operations are executed by a relatively standard measurement: detection of corrections to quantum dot energy, charge, or differential capacitance induced by quantum fluctuations; (5) it is compatible with strategies for producing good approximate magic states.
△ Less
Submitted 21 June, 2017; v1 submitted 17 October, 2016;
originally announced October 2016.
-
A geometric protocol for a robust Majorana magic gate
Authors:
Torsten Karzig,
Yuval Oreg,
Gil Refael,
Michael H. Freedman
Abstract:
A universal quantum computer requires a full set of basic quantum gates. With Majorana bound states one can form all necessary quantum gates in a topologically protected way, bar one. In this manuscript we present a protocol that achieves the missing, so called, $π/8$ 'magic' phase gate. The protocol is based on the manipulation of geometric phases in a universal manner, and does not require fine…
▽ More
A universal quantum computer requires a full set of basic quantum gates. With Majorana bound states one can form all necessary quantum gates in a topologically protected way, bar one. In this manuscript we present a protocol that achieves the missing, so called, $π/8$ 'magic' phase gate. The protocol is based on the manipulation of geometric phases in a universal manner, and does not require fine tuning for distinct physical realizations. The protocol converges exponentially with the number of steps in the geometric path. Furthermore, the magic gate protocol relies on the most basic hardware previously suggested for topologically protected gates, and can be extended to any-phase-gate, where $π/8$ is substituted by any $α$.
△ Less
Submitted 25 July, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Quantum Max-flow/Min-cut
Authors:
Shawn X. Cui,
Michael H. Freedman,
Or Sattath,
Richard Stong,
Greg Minton
Abstract:
The classical max-flow min-cut theorem describes transport through certain idealized classical networks. We consider the quantum analog for tensor networks. By associating an integral capacity to each edge and a tensor to each vertex in a flow network, we can also interpret it as a tensor network, and more specifically, as a linear map from the input space to the output space. The quantum max flow…
▽ More
The classical max-flow min-cut theorem describes transport through certain idealized classical networks. We consider the quantum analog for tensor networks. By associating an integral capacity to each edge and a tensor to each vertex in a flow network, we can also interpret it as a tensor network, and more specifically, as a linear map from the input space to the output space. The quantum max flow is defined to be the maximal rank of this linear map over all choices of tensors. The quantum min cut is defined to be the minimum product of the capacities of edges over all cuts of the tensor network. We show that unlike the classical case, the quantum max-flow=min-cut conjecture is not true in general. Under certain conditions, e.g., when the capacity on each edge is some power of a fixed integer, the quantum max-flow is proved to equal the quantum min-cut. However, concrete examples are also provided where the equality does not hold.
We also found connections of quantum max-flow/min-cut with entropy of entanglement and the quantum satisfiability problem. We speculate that the phenomena revealed may be of interest both in spin systems in condensed matter and in quantum gravity.
△ Less
Submitted 30 June, 2016; v1 submitted 19 August, 2015;
originally announced August 2015.
-
Double semions in arbitrary dimension
Authors:
Michael H. Freedman,
Matthew B. Hastings
Abstract:
We present a generalization of the double semion topological quantum field theory to higher dimensions, as a theory of $d-1$ dimensional surfaces in a $d$ dimensional ambient space. We construct a local Hamiltonian which is a sum of commuting projectors and analyze the excitations and the ground state degeneracy. Defining a consistent set of local rules requires the sign structure of the ground st…
▽ More
We present a generalization of the double semion topological quantum field theory to higher dimensions, as a theory of $d-1$ dimensional surfaces in a $d$ dimensional ambient space. We construct a local Hamiltonian which is a sum of commuting projectors and analyze the excitations and the ground state degeneracy. Defining a consistent set of local rules requires the sign structure of the ground state wavefunction to depend not just on the number of disconnected surfaces, but also upon their higher Betti numbers through the semicharacteristic. For odd $d$ the theory is related to the toric code by a local unitary transformation, but for even $d$ the dimension of the space of zero energy ground states is in general different from the toric code and for even $d>2$ it is also in general different from that of the twisted $Z_2$ Dijkgraaf-Witten model.
△ Less
Submitted 10 December, 2016; v1 submitted 20 July, 2015;
originally announced July 2015.
-
Interferometry versus projective measurement of anyons
Authors:
Michael H. Freedman,
Claire I. Levaillant
Abstract:
The distinct methods for measuring topological charge in a non-abelian anyonic system have been discussed in the literature: projective measurement of a single point-like quasiparticle and interferometric measurement of the total topological charge of a group of quasiparticles. Projective measurement by definition is only applied near a point and will project to a topological charge sector near th…
▽ More
The distinct methods for measuring topological charge in a non-abelian anyonic system have been discussed in the literature: projective measurement of a single point-like quasiparticle and interferometric measurement of the total topological charge of a group of quasiparticles. Projective measurement by definition is only applied near a point and will project to a topological charge sector near that point. Thus, if it is to be applied to a \emph{group} of anyons to project to a \emph{total} charge, then the anyons must first be fused one by one to obtain a single anyon carrying the collective charge. We show that interferometric measurement is strictly stronger: Any protocol involving projective measurement can be simulated at low overhead by another protocol involving only interferometric measurement.
△ Less
Submitted 6 January, 2015;
originally announced January 2015.
-
Obstructions To Classically Simulating The Quantum Adiabatic Algorithm
Authors:
M. B. Hastings,
M. H. Freedman
Abstract:
We consider the adiabatic quantum algorithm for systems with "no sign problem", such as the transverse field Ising mode, and analyze the equilibration time for quantum Monte Carlo (QMC) on these systems. We ask: if the spectral gap is only inverse polynomially small, will equilibration methods based on slowly changing the Hamiltonian parameters in the QMC simulation succeed in a polynomial time? W…
▽ More
We consider the adiabatic quantum algorithm for systems with "no sign problem", such as the transverse field Ising mode, and analyze the equilibration time for quantum Monte Carlo (QMC) on these systems. We ask: if the spectral gap is only inverse polynomially small, will equilibration methods based on slowly changing the Hamiltonian parameters in the QMC simulation succeed in a polynomial time? We show that this is not true, by constructing counter-examples. Some examples are Hamiltonians where the space of configurations where the wavefunction has non-negligible amplitude has a nontrivial fundamental group, causing the space of trajectories in imaginary time to break into disconnected components, with only negligible probability outside these components. For the simplest example we give with an abelian fundamental group, QMC does not equilibrate but still solves the optimization problem. More severe effects leading to failure to solve the optimization can occur when the fundamental group is a free group on two generators. Other examples where QMC fails have a trivial fundamental group, but still use ideas from topology relating group presentations to simplicial complexes. We define gadgets to realize these Hamiltonians as the effective low-energy dynamics of a transverse field Ising model. We present some analytic results on equilibration times which may be of some independent interest in the theory of equilibration of Markov chains. Conversely, we show that a small spectral gap implies slow equilibration at low temperature for some initial conditions and for a natural choice of local QMC updates.
△ Less
Submitted 26 February, 2013; v1 submitted 22 February, 2013;
originally announced February 2013.
-
Quantum Systems on Non-$k$-Hyperfinite Complexes: A Generalization of Classical Statistical Mechanics on Expander Graphs
Authors:
M. H. Freedman,
M. B. Hastings
Abstract:
We construct families of cell complexes that generalize expander graphs. These families are called non-$k$-hyperfinite, generalizing the idea of a non-hyperfinite (NH) family of graphs. Roughly speaking, such a complex has the property that one cannot remove a small fraction of points and be left with an object that looks $k-1$-dimensional at large scales. We then consider certain quantum systems…
▽ More
We construct families of cell complexes that generalize expander graphs. These families are called non-$k$-hyperfinite, generalizing the idea of a non-hyperfinite (NH) family of graphs. Roughly speaking, such a complex has the property that one cannot remove a small fraction of points and be left with an object that looks $k-1$-dimensional at large scales. We then consider certain quantum systems on these complexes. A future goal is to construct a family of Hamiltonians such that every low energy state has topological order as part of an attempt to prove the quantum PCP conjecture. This goal is approached by constructing a toric code Hamiltonian with the property that every low energy state without vertex defects has topological order, a property that would not hold for any local system in any lattice $Z^d$ or indeed on any 1-hyperfinite complex. Further, such NH complexes find application in quantum coding theory. The hypergraph product codes[1] of Tillich and Zémor are generalized using NH complexes.
△ Less
Submitted 26 July, 2013; v1 submitted 7 January, 2013;
originally announced January 2013.
-
A Topological Phase in a Quantum Gravity Model
Authors:
Michael H. Freedman
Abstract:
I would claim that we do not have a suitably general definition of what a topological phase is, or more importantly, any robust understanding of how to enter one even in the world of mathematical models. The latter is, of course, the more important issue and the main subject of this note. But a good definition can sharpen our thinking and a poor definition can misdirect us. I will not attempt a…
▽ More
I would claim that we do not have a suitably general definition of what a topological phase is, or more importantly, any robust understanding of how to enter one even in the world of mathematical models. The latter is, of course, the more important issue and the main subject of this note. But a good definition can sharpen our thinking and a poor definition can misdirect us. I will not attempt a final answer here but merely comment on the strengths and weaknesses of possible definitions and argue for some flexibility. In particular, I describe a rather simple class of ``quantum gravity'' models which are neither lattice nor field theoretic but appear to contain strong candidates for topological phases.
△ Less
Submitted 11 December, 2008;
originally announced December 2008.
-
Interacting anyons in topological quantum liquids: The golden chain
Authors:
Adrian Feiguin,
Simon Trebst,
Andreas W. W. Ludwig,
Matthias Troyer,
Alexei Kitaev,
Zhenghan Wang,
Michael H. Freedman
Abstract:
We discuss generalizations of quantum spin Hamiltonians using anyonic degrees of freedom. The simplest model for interacting anyons energetically favors neighboring anyons to fuse into the trivial (`identity') channel, similar to the quantum Heisenberg model favoring neighboring spins to form spin singlets. Numerical simulations of a chain of Fibonacci anyons show that the model is critical with…
▽ More
We discuss generalizations of quantum spin Hamiltonians using anyonic degrees of freedom. The simplest model for interacting anyons energetically favors neighboring anyons to fuse into the trivial (`identity') channel, similar to the quantum Heisenberg model favoring neighboring spins to form spin singlets. Numerical simulations of a chain of Fibonacci anyons show that the model is critical with a dynamical critical exponent z=1, and described by a two-dimensional conformal field theory with central charge c=7/10. An exact mapping of the anyonic chain onto the two-dimensional tricritical Ising model is given using the restricted-solid-on-solid (RSOS) representation of the Temperley-Lieb algebra. The gaplessness of the chain is shown to have topological origin.
△ Less
Submitted 13 December, 2006;
originally announced December 2006.
-
Large Fourier transforms never exactly realized by braiding conformal blocks
Authors:
Michael H. Freedman,
Zhenghan Wang
Abstract:
Fourier transform is an essential ingredient in Shor's factoring algorithm. In the standard quantum circuit model with the gate set $\{\U(2), \textrm{CNOT}\}$, the discrete Fourier transforms $F_N=(ω^{ij})_{N\times N},i,j=0,1,..., N-1, ω=e^{\frac{2πi}{N}}$, can be realized exactly by quantum circuits of size $O(n^2), n=\textrm{log}N$, and so can the discrete sine/cosine transforms. In topologica…
▽ More
Fourier transform is an essential ingredient in Shor's factoring algorithm. In the standard quantum circuit model with the gate set $\{\U(2), \textrm{CNOT}\}$, the discrete Fourier transforms $F_N=(ω^{ij})_{N\times N},i,j=0,1,..., N-1, ω=e^{\frac{2πi}{N}}$, can be realized exactly by quantum circuits of size $O(n^2), n=\textrm{log}N$, and so can the discrete sine/cosine transforms. In topological quantum computing, the simplest universal topological quantum computer is based on the Fibonacci (2+1)-topological quantum field theory (TQFT), where the standard quantum circuits are replaced by unitary transformations realized by braiding conformal blocks. We report here that the large Fourier transforms $F_N$ and the discrete sine/cosine transforms can never be realized exactly by braiding conformal blocks for a fixed TQFT. It follows that approximation is unavoidable to implement the Fourier transforms by braiding conformal blocks.
△ Less
Submitted 1 October, 2006; v1 submitted 18 September, 2006;
originally announced September 2006.
-
Topological Quantum Computing with Only One Mobile Quasiparticle
Authors:
S. H. Simon,
N. E. Bonesteel,
M. H. Freedman,
N. Petrovic,
L. Hormozi
Abstract:
In a topological quantum computer, universal quantum computation is performed by dragging quasiparticle excitations of certain two dimensional systems around each other to form braids of their world lines in 2+1 dimensional space-time. In this paper we show that any such quantum computation that can be done by braiding $n$ identical quasiparticles can also be done by moving a single quasiparticl…
▽ More
In a topological quantum computer, universal quantum computation is performed by dragging quasiparticle excitations of certain two dimensional systems around each other to form braids of their world lines in 2+1 dimensional space-time. In this paper we show that any such quantum computation that can be done by braiding $n$ identical quasiparticles can also be done by moving a single quasiparticle around n-1 other identical quasiparticles whose positions remain fixed.
△ Less
Submitted 7 March, 2006; v1 submitted 23 September, 2005;
originally announced September 2005.
-
Quantum SU(2) faithfully detects mapping class groups modulo center
Authors:
Michael H. Freedman,
Kevin Walker,
Zhenghan Wang
Abstract:
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 (a…
▽ More
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.
△ Less
Submitted 17 July, 2003; v1 submitted 12 September, 2002;
originally announced September 2002.
-
A magnetic model with a possible Chern-Simons phase
Authors:
Michael H. Freedman
Abstract:
An elementary family of local Hamiltonians $H_{\c ,\ell}, \ell = 1,2,3, ldots$, is described for a $2-$dimensional quantum mechanical system of spin $={1/2}$ particles. On the torus, the ground state space $G_{\circ,\ell}$ is $(\log)$ extensively degenerate but should collapse under $ł$perturbation" to an anyonic system with a complete mathematical description: the quantum double of the…
▽ More
An elementary family of local Hamiltonians $H_{\c ,\ell}, \ell = 1,2,3, ldots$, is described for a $2-$dimensional quantum mechanical system of spin $={1/2}$ particles. On the torus, the ground state space $G_{\circ,\ell}$ is $(\log)$ extensively degenerate but should collapse under $ł$perturbation" to an anyonic system with a complete mathematical description: the quantum double of the $SO(3)-$Chern-Simons modular functor at $q= e^{2 πi/\ell +2}$ which we call $DE \ell$. The Hamiltonian $H_{\circ,\ell}$ defines a \underline{quantum} \underline{loop}\underline{gas}. We argue that for $\ell = 1$ and 2, $G_{\circ,\ell}$ is unstable and the collapse to $G_{ε, \ell} \cong DE\ell$ can occur truly by perturbation. For $\ell \geq 3$, $G_{\circ,\ell}$ is stable and in this case finding $G_{ε,\ell} \cong DE \ell$ must require either $ε> ε_\ell > 0$, help from finite system size, surface roughening (see section 3), or some other trick, hence the initial use of quotes $ł\quad$". A hypothetical phase diagram is included in the introduction.
△ Less
Submitted 9 December, 2002; v1 submitted 9 October, 2001;
originally announced October 2001.
-
Topological Quantum Computation
Authors:
Michael H. Freedman,
Alexei Kitaev,
Michael J. Larsen,
Zhenghan Wang
Abstract:
The theory of quantum computation can be constructed from the abstract study of anyonic systems. In mathematical terms, these are unitary topological modular functors. They underlie the Jones polynomial and arise in Witten-Chern-Simons theory. The braiding and fusion of anyonic excitations in quantum Hall electron liquids and 2D-magnets are modeled by modular functors, opening a new possibility…
▽ More
The theory of quantum computation can be constructed from the abstract study of anyonic systems. In mathematical terms, these are unitary topological modular functors. They underlie the Jones polynomial and arise in Witten-Chern-Simons theory. The braiding and fusion of anyonic excitations in quantum Hall electron liquids and 2D-magnets are modeled by modular functors, opening a new possibility for the realization of quantum computers. The chief advantage of anyonic computation would be physical error correction: An error rate scaling like $e^{-\ał}$, where $ł$ is a length scale, and $α$ is some positive constant. In contrast, the $\q$presumptive" qubit-model of quantum computation, which repairs errors combinatorically, requires a fantastically low initial error rate (about $10^{-4}$) before computation can be stabilized.
△ Less
Submitted 20 September, 2002; v1 submitted 4 January, 2001;
originally announced January 2001.
-
Quantum Computation and the localization of Modular Functors
Authors:
Michael H. Freedman
Abstract:
The mathematical problem of localizing modular functors to neighborhoods of points is shown to be closely related to the physical problem of engineering a local Hamiltonian for a computationally universal quantum medium. For genus $=0$ surfaces, such a local Hamiltonian is mathematically defined. Braiding defects of this medium implements a representation associated to the Jones polynomial and t…
▽ More
The mathematical problem of localizing modular functors to neighborhoods of points is shown to be closely related to the physical problem of engineering a local Hamiltonian for a computationally universal quantum medium. For genus $=0$ surfaces, such a local Hamiltonian is mathematically defined. Braiding defects of this medium implements a representation associated to the Jones polynomial and this representation is known to be universal for quantum computation.
△ Less
Submitted 1 December, 2000; v1 submitted 28 March, 2000;
originally announced March 2000.
-
Z_2-systolic-freedom
Authors:
Michael H. Freedman
Abstract:
We give the first example of systolic freedom over torsion coefficients. The phenomenon is a bit unexpected (contrary to a conjecture of Gromov's) and more delicate than systolic freedom over the integers.
We give the first example of systolic freedom over torsion coefficients. The phenomenon is a bit unexpected (contrary to a conjecture of Gromov's) and more delicate than systolic freedom over the integers.
△ Less
Submitted 16 November, 1999; v1 submitted 16 November, 1999;
originally announced February 2000.
-
Poly-locality in quantum computing
Authors:
Michael H. Freedman
Abstract:
A polynomial depth quantum circuit effects, by definition a poly-local unitary transformation of tensor product state space. It is a physically reasonable belief [Fy][L][FKW] that these are precisely the transformations which will be available from physics to help us solve computational problems. The poly-locality of discrete Fourier transform on cyclic groups is at the heart of Shor's factoring…
▽ More
A polynomial depth quantum circuit effects, by definition a poly-local unitary transformation of tensor product state space. It is a physically reasonable belief [Fy][L][FKW] that these are precisely the transformations which will be available from physics to help us solve computational problems. The poly-locality of discrete Fourier transform on cyclic groups is at the heart of Shor's factoring algorithm. We describe a class of poly-local transformations, including all the discrete orthogonal wavelet transforms in the hope that these may be helpful in constructing new quantum algorithms. We also observe that even a rather mild violation of poly-locality leads to a model without one-way functions, giving further evidence that poly-locality is an essential concept.
△ Less
Submitted 17 March, 2000; v1 submitted 20 January, 2000;
originally announced January 2000.
-
Simulation of topological field theories by quantum computers
Authors:
Michael H. Freedman,
Alexei Kitaev,
Zhenghan Wang
Abstract:
Quantum computers will work by evolving a high tensor power of a small (e.g. two) dimensional Hilbert space by local gates, which can be implemented by applying a local Hamiltonian H for a time t. In contrast to this quantum engineering, the most abstract reaches of theoretical physics has spawned topological models having a finite dimensional internal state space with no natural tensor product…
▽ More
Quantum computers will work by evolving a high tensor power of a small (e.g. two) dimensional Hilbert space by local gates, which can be implemented by applying a local Hamiltonian H for a time t. In contrast to this quantum engineering, the most abstract reaches of theoretical physics has spawned topological models having a finite dimensional internal state space with no natural tensor product structure and in which the evolution of the state is discrete, H = 0. These are called topological quantum filed theories (TQFTs). These exotic physical systems are proved to be efficiently simulated on a quantum computer. The conclusion is two-fold: 1. TQFTs cannot be used to define a model of computation stronger than the usual quantum model BQP. 2. TQFTs provide a radically different way of looking at quantum computation. The rich mathematical structure of TQFTs might suggest a new quantum algorithm.
△ Less
Submitted 17 March, 2000; v1 submitted 19 January, 2000;
originally announced January 2000.
-
Projective plane and planar quantum codes
Authors:
Michael H. Freedman,
David A. Meyer
Abstract:
Cellulations of the projective plane RP^2 define single qubit topological quantum error correcting codes since there is a unique essential cycle in H_1(RP^2;Z_2). We construct three of the smallest such codes, show they are inequivalent, and identify one of them as Shor's original 9 qubit repetition code. We observe that Shor's code can be constructed in a planar domain and generalize to planar…
▽ More
Cellulations of the projective plane RP^2 define single qubit topological quantum error correcting codes since there is a unique essential cycle in H_1(RP^2;Z_2). We construct three of the smallest such codes, show they are inequivalent, and identify one of them as Shor's original 9 qubit repetition code. We observe that Shor's code can be constructed in a planar domain and generalize to planar constructions of higher genus codes for multiple qubits.
△ Less
Submitted 18 October, 1998;
originally announced October 1998.
