Searcharxiv⌕ Search

arXiv subjects

Michael H. Freedman

Publications and source records attributed to Michael H. Freedman.

43 records · Page 3Linked to original sources

Quantum Computation and the localization of Modular Functors

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.

quant-ph↗

Poly-locality in quantum computing

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.

quant-ph↗

Simulation of topological field theories by quantum computers

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.

quant-ph↗

Z_2-systolic-freedom

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.

math.GT↗

Projective plane and planar quantum codes

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.

quant-ph↗

Möbius invariance of knot energy

A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under Möbius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.

math.GT↗