Searcharxiv⌕ Search

arXiv subjects

Michael Freedman

Publications and source records attributed to Michael Freedman.

At least 37 records · Page 2Linked to original sources
arXiv2019

The Group Structure of Quantum Cellular Automata

We consider the group structure of quantum cellular automata (QCA) modulo circuits and show that it is abelian even without assuming the presence of ancillas, at least for most reasonable choices of control space; this is a corollary of a general method of ancilla removal. Further, we show how to define a group of QCA that is well-defined without needing to use families, by showing how to construct a coherent family containing an arbitrary finite QCA; the coherent family consists of QCA on progressively finer systems of qudits where any two members are related by a shallow quantum circuit. This construction applied to translation invariant QCA shows that all translation invariant QCA in three dimensions and all translation invariant Clifford QCA in any dimension are coherent.

quant-ph↗
arXiv2019

Quantum computing with Octonions

There are two schools of "measurement-only quantum computation". The first ([11]) using prepared entanglement (cluster states) and the second ([4]) using collections of anyons, which according to how they were produced, also have an entanglement pattern. We abstract the common principle behind both approaches and find the notion of a graph or even continuous family of equiangular projections. This notion is the leading character in the paper. The largest continuous family, in a sense made precise in Corollary 4.2, is associated with the octonions and this example leads to a universal computational scheme. Adiabatic quantum computation also fits into this rubric as a limiting case: nearby projections are nearly equiangular, so as a gapped ground state space is slowly varied the corrections to unitarity are small.

quant-ph↗
arXiv2019

The 2-width of embedded 3-manifolds

We discuss a possible definition for "$k$-width" of both a closed $d$-manifold $M^d$, and on embedding $M^d \overset{e}{\hookrightarrow} \mathbb{R}^n$, $n > d \ge k$, generalizing the classical notion of width of a knot. We show that for every 3-manifold 2-width$(M^3) \le 2$ but that there are embeddings $e_i: T^3 \hookrightarrow \mathbb{R}^4$ with 2-width$(e_i) \to \infty$. We explain how the divergence of 2-width of embeddings offer a tool to which might prove the Goeritz groups $G_g$ infinitely generated for $g \geq 4$. Finally we construct a homeomorphism $θ_g: G_g \to \mathrm{MCG}(\underset{g}{\#} S^2 \times S^2)$, suggesting a potential application of 2-width to 4D mapping class groups.

math.GT↗
arXiv2019

Width of codimension two knots

We extend the classical definition of {\it width} to higher dimensional, smooth codimension 2 knots and show in each dimension there are knots of arbitrarily large width.

math.GT↗
arXiv2019

Universal Surgery Problems with Trivial Lagrangian

We study the effect of Nielsen moves and their geometric counterparts, handle slides, on good boundary links. A collection of links, universal for 4-dimensional surgery, is shown to admit Seifert surfaces with trivial Lagrangian. They are good boundary links, with Seifert matrices of a more general form than in known constructions of slice links. We show that a certain more restrictive condition on Seifert matrices is sufficient for proving the links are slice. We also give a correction of a Kirby calculus identity in \cite{FK2}, useful for constructing surgery kernels associated to link-slice problems.

math.GT↗
arXiv2018

Powell moves and the Goeritz group

In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$, extending work of Goeritz on genus $2$ splittings. Here we prove that Powell's conjecture was correct for splittings of genus $3$ as well, and discuss a framework for deciding the truth of the conjecture for higher genus splittings.

math.GT↗
arXiv2017

Dehn's Lemma for Immersed Loops

Suppose $δ$ is a generic immersed closed curve in the boundary of a 3-manifold M and $δ$ is null-homotopic in M. Then $δ$ can be displaced by a height function in a collar of the boundary so that the resulting simple closed curve in the collar bounds a disk in M.

math.GT↗
arXiv2017

Engel groups and universal surgery models

We introduce a collection of 1/2-$π_1$-null 4-dimensional surgery problems. This is an intermediate notion between the classically studied universal surgery models and the $π_1$-null kernels which are known to admit a solution in the topological category. Using geometric applications of the group-theoretic 2-Engel relation, we show that the 1/2-$π_1$-null surgery problems are universal, in the sense that solving them is equivalent to establishing 4-dimensional topological surgery for all fundamental groups. As another application of these methods, we formulate a weaker version of the $π_1$-null disk lemma and show that it is sufficient for proofs of topological surgery and s-cobordism theorems for good groups.

math.GT↗
arXiv2017

Bit threads and holographic entanglement

The Ryu-Takayanagi (RT) formula relates the entanglement entropy of a region in a holographic theory to the area of a corresponding bulk minimal surface. Using the max flow-min cut principle, a theorem from network theory, we rewrite the RT formula in a way that does not make reference to the minimal surface. Instead, we invoke the notion of a "flow", defined as a divergenceless norm-bounded vector field, or equivalently a set of Planck-thickness "bit threads". The entanglement entropy of a boundary region is given by the maximum flux out of it of any flow, or equivalently the maximum number of bit threads that can emanate from it. The threads thus represent entanglement between points on the boundary, and naturally implement the holographic principle. As we explain, this new picture clarifies several conceptual puzzles surrounding the RT formula. We give flow-based proofs of strong subadditivity and related properties; unlike the ones based on minimal surfaces, these proofs correspond in a transparent manner to the properties' information-theoretic meanings. We also briefly discuss certain technical advantages that the flows offer over minimal surfaces. In a mathematical appendix, we review the max flow-min cut theorem on networks and on Riemannian manifolds, and prove in the network case that the set of max flows varies Lipshitz continuously in the network parameters.

hep-th↗
arXiv2017

Modular transformations through sequences of topological charge projections

The ground state subspace of a topological phase of matter forms a representation of the mapping class group of the space on which the state is defined. We show that elements of the mapping class group of a surface of genus $g$ can be obtained through a sequence of topological charge projections along at least three mutually intersecting non-contractible cycles. We demonstrate this both through the algebraic theory of anyons and also through an analysis of the topology of the space-time manifold. We combine this result with two observations: (i) that surfaces of genus $g$ can be effectively simulated in planar geometries by using bilayer, or doubled, versions of the topological phase of interest, and inducing the appropriate types of gapped boundaries; and (ii) that the required topological charge projections can be implemented as adiabatic unitary transformations by locally tuning microscopic parameters of the system, such as the energy gap. These observations suggest a possible path towards effectively implementing modular transformations in physical systems. In particular, they also show how the $\text{Ising} \otimes \overline{\text{Ising}}$ state, in the presence of disconnected gapped boundaries, can support universal topological quantum computation.

cond-mat.str-el↗
arXiv2016

A homotopy+ solution to the A-B slice problem

The A-B slice problem, a reformulation of the 4-dimensional topological surgery conjecture for free groups, is shown to admit a link-homotopy+ solution. The proof relies on geometric applications of the group-theoretic 2-Engel relation. Implications for the surgery conjecture are discussed.

math.GT↗
arXiv2016

Twisted Interferometry: the topological perspective

Three manifold topology is used to analyze the effect of anyonic interferometers in which the probe anyons' path along an arm crosses itself, leading to a "twisted" or braided space-time trajectory for the probe anyons. In the case of Ising non-Abelian anyons, twisted interferometry is shown to be able to generate a topologically protected $π/8$-phase gate, which cannot be generated from quasiparticle braiding.

quant-ph↗
arXiv2016

Engel relations in 4-manifold topology

We give two applications of the 2-Engel relation, classically studied in finite and Lie groups, to the 4-dimensional topological surgery conjecture. The A-B slice problem, a reformulation of the surgery conjecture for free groups, is shown to admit a homotopy solution. We also exhibit a new collection of universal surgery problems, defined using ramifications of homotopically trivial links. More generally we show how n-Engel relations arise from higher order double points of surfaces in 4-space.

math.GT↗
arXiv2015

Universal Gates via Fusion and Measurement Operations on SU$(2)_4$ Anyons

We examine a class of operations for topological quantum computation based on fusing and measuring topological charges for systems with SU$(2)_4$ or $k=4$ Jones-Kauffman anyons. We show that such operations augment the braiding operations, which, by themselves, are not computationally universal. This augmentation results in a computationally universal gate set through the generation of an exact, topologically protected irrational phase gate and an approximate, topologically protected controlled-$Z$ gate.

quant-ph↗
arXiv2015

Majorana Zero Modes and Topological Quantum Computation

We provide a current perspective on the rapidly developing field of Majorana zero modes in solid state systems. We emphasize the theoretical prediction, experimental realization, and potential use of Majorana zero modes in future information processing devices through braiding-based topological quantum computation. Well-separated Majorana zero modes should manifest non-Abelian braiding statistics suitable for unitary gate operations for topological quantum computation. Recent experimental work, following earlier theoretical predictions, has shown specific signatures consistent with the existence of Majorana modes localized at the ends of semiconductor nanowires in the presence of superconducting proximity effect. We discuss the experimental findings and their theoretical analyses, and provide a perspective on the extent to which the observations indicate the existence of anyonic Majorana zero modes in solid state systems. We also discuss fractional quantum Hall systems (the 5/2 state) in this context. We describe proposed schemes for carrying out braiding with Majorana zero modes as well as the necessary steps for implementing topological quantum computation.

cond-mat.str-el↗
arXiv2015

Amenable groups and smooth topology of 4-manifolds

A smooth five-dimensional s-cobordism becomes a smooth product if stabilized by a finite number n of $S^2xS^2x[0,1]$'s. We show that for amenable fundamental groups, the minimal n is subextensive in covers, i.e., n(cover)/index(cover) has limit 0. We focus on the notion of sweepout width, which is a bridge between 4-dimensional topology and coarse geometry.

math.GT↗
arXiv2015

Pumping conductance, the intrinsic anomalous Hall effect, and statistics of topological invariants

The pumping conductance of a disordered two-dimensional Chern insulator scales with increasing size and fixed disorder strength to sharp plateau transitions at well-defined energies between ordinary and quantum Hall insulators. When the disorder strength is scaled to zero as system size increases, the "metallic" regime of fluctuating Chern numbers can extend over the whole band. A simple argument leads to a sort of weighted equipartition of Chern number over minibands in a finite system with periodic boundary conditions: even though there must be strong fluctuations between disorder realizations, the mean Chern number at a given energy is determined by the {\it clean} Berry curvature distribution expected from the intrinsic anomalous Hall effect formula for metals. This estimate is compared to numerical results using recently developed operator algebra methods, and indeed the dominant variation of average Chern number is explained by the intrinsic anomalous Hall effect. A mathematical appendix provides more precise definitions and a model for the full distribution of Chern numbers.

cond-mat.mes-hall↗