Celebratio Mathematica

article M. H. Freedman, A. Kitaev, and Z. Wang: “Simulation of topological field theories by quantum computers,” Comm. Math. Phys. 227 : 3 (2002), pp. 587–603. MR 1910832 Zbl 1014.81006 ArXiv quant-ph/0001071

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 \equiv 0 \). These are called topological quantum field theories (TQFTs). These exotic physical systems are proved to be efficiently simulated on a quantum computer. The conclusion is two-fold:

TQFTs cannot be used to define a model of computation stronger than the usual quantum model “BQP”.
TQFTs provide a radically different way of looking at quantum computation. The rich mathematical structure of TQFTs might suggest a new quantum algorithm.

Zhenghan Wang	Related
Alexei Kitaev	Related

article M. H. Freedman, A. Kitaev, M. J. Larsen, and Z. Wang: “Topological quantum computation,” Bull. Amer. Math. Soc. (N.S.) 40 : 1 (2003), pp. 31–38. MR 1943131 Zbl 1019.81008 ArXiv quant-ph/0101025

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^{-\alpha l} \), where \( l \) is a length scale, and \( \alpha \) is some positive constant. In contrast, the “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.

Zhenghan Wang	Related
Michael J. Larsen	Related
Alexei Kitaev	Related

article M. H. Freedman, A. Kitaev, and J. Lurie: “Diameters of homogeneous spaces,” Math. Res. Lett. 10 : 1 (2003), pp. 11–20. MR 1960119 Zbl 1029.22031 ArXiv quant-ph/0209113

Jacob Lurie	Related
Alexei Kitaev	Related

article M. H. Freedman, A. Kitaev, C. Nayak, J. K. Slingerland, K. Walker, and Z. Wang: “Universal manifold pairings and positivity,” Geom. Topol. 9 (2005), pp. 2303–2317. MR 2209373 Zbl 1129.57035 ArXiv math/0503054

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 a_iM_i \) yields a sesquilinear pairing \( p = \langle\,\cdot\,,\cdot\,\rangle \) 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 \( \mathbb{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 \( \langle x,x\rangle\neq 0 \) whenever \( x\neq 0 \). If this is the case, we call the pairing \( p \) positive. The question arises for each dimension \( d = 0,1,2,\dots\, \) 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, e.g. 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.

Zhenghan Wang	Related
Johannes K. Slingerland	Related
Kevin Walker	Related
Chetan Nayak	Related
Alexei Kitaev	Related

article M. Freedman, A. Feiguin, S. Trebst, A. Ludwig, M. Troyer, A. Kitaev, and Z. Wang: “Interacting anyons in topological quantum liquids: The golden chain,” Phys. Rev. Lett. 98 (2007), pp. 160409. ArXiv cond-mat/0612341

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 (\( 2D \)) conformal field theory with central charge \( c=7/10 \). An exact mapping of the anyonic chain onto the \( 2D \) tricritical Ising model is given using the restricted-solid-on-solid representation of the Temperley–Lieb algebra. The gaplessness of the chain is shown to have topological origin.

Zhenghan Wang	Related
Adrian Esteban Feiguin	Related
A. Ludwig	Related
Simon Trebst	Related
Matthias Troyer	Related
Alexei Kitaev	Related

year	title	people

			clear

Michael H. Freedman

Complete Bibliography

Works connected to Alexei Kitaev

Filter the Bibliography List