arXiv subjects

Michael H. Freedman

Publications and source records attributed to Michael H. Freedman.

At least 37 records · Page 2Linked to original sources

arXiv2019

Robust Majorana magic gates via measurements

$π/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.

cond-mat.mes-hall↗

arXiv2017

Scalable Designs for Quasiparticle-Poisoning-Protected Topological Quantum Computation with Majorana Zero Modes

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.

cond-mat.mes-hall↗

arXiv2016

Double semions in arbitrary dimension

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.

quant-ph↗

arXiv2016

A geometric protocol for a robust Majorana magic gate

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 $α$.

cond-mat.mes-hall↗

arXiv2016

Quantum Max-flow/Min-cut

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.

math.CO↗

arXiv2015

Interferometry versus projective measurement of anyons

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.

quant-ph↗

arXiv2014

Simplifying 3-manifolds in R^4

We show that a smooth embedding of a closed 3-manifold in S^3 x R can be isotoped so that every generic level divides S^3 x t into two handlebodies (i.e., is Heegaard) provided the original embedding has a unique local maximum with respect to the R coordinate. This allows uniqueness of embeddings to be studied via the mapping class group of surfaces and the Schoenflies conjecture is considered in this light. We also give a necessary and sufficient condition that a 3-manifold connected summed with arbitrarily many copies of S^1 x S^2 embeds in R^4.

math.GT↗

arXiv2014

Complexity Classes as Mathematical Axioms II

The second author previously discussed how classical complexity separation conjectures, we call them "axioms", have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial evaluations cannot produce exponential simplifications of link diagrams. In this paper, we continue this theme, exploring now more subtle separation axioms for quantum complexity classes. Surprisingly, we now find that similar strings are unable to effect even linear simplifications of the diagrams.

cs.CC↗

arXiv2011

Kernel(J) warns of false vacua

J.H.C. Whitehead defined a map $J_r:π_r(SO)\rightarrow π_r^s$ from the homotopy of the special orthogonal group to the stable homotopy of spheres. Within a toy model we show how the known computation for kernel$(J)$ leads to nonlinear $σ$-models with spherical source (space) and spherical target which admit false vacua separated from the true vacuum by an energy barrier. In this construction, the dimension of space must be at least 8 and the dimension of the $σ$-model target at least 5.

hep-th↗

arXiv2011

Galois Conjugates of Topological Phases

Galois conjugation relates unitary conformal field theories (CFTs) and topological quantum field theories (TQFTs) to their non-unitary counterparts. Here we investigate Galois conjugates of quantum double models, such as the Levin-Wen model. While these Galois conjugated Hamiltonians are typically non-Hermitian, we find that their ground state wave functions still obey a generalized version of the usual code property (local operators do not act on the ground state manifold) and hence enjoy a generalized topological protection. The key question addressed in this paper is whether such non-unitary topological phases can also appear as the ground states of Hermitian Hamiltonians. Specific attempts at constructing Hermitian Hamiltonians with these ground states lead to a loss of the code property and topological protection of the degenerate ground states. Beyond this we rigorously prove that no local change of basis can transform the ground states of the Galois conjugated doubled Fibonacci theory into the ground states of a topological model whose Hermitian Hamiltonian satisfies Lieb-Robinson bounds. These include all gapped local or quasi-local Hamiltonians. A similar statement holds for many other non-unitary TQFTs. One consequence is that the "Gaffnian" wave function cannot be the ground state of a gapped fractional quantum Hall state.

cond-mat.str-el↗

arXiv2011

Topological Phases: An Expedition off Lattice

Motivated by the goal to give the simplest possible microscopic foundation for a broad class of topological phases, we study quantum mechanical lattice models where the topology of the lattice is one of the dynamical variables. However, a fluctuating geometry can remove the separation between the system size and the range of local interactions, which is important for topological protection and ultimately the stability of a topological phase. In particular, it can open the door to a pathology, which has been studied in the context of quantum gravity and goes by the name of `baby universe', Here we discuss three distinct approaches to suppressing these pathological fluctuations. We complement this discussion by applying Cheeger's theory relating the geometry of manifolds to their vibrational modes to study the spectra of Hamiltonians. In particular, we present a detailed study of the statistical properties of loop gas and string net models on fluctuating lattices, both analytically and numerically.

cond-mat.stat-mech↗

arXiv2010

Group Width

There are many "minimax" complexity functions in mathematics: width of a tree or a link, Heegaard genus of a 3-manifold, the Cheeger constant of a Riemannian manifold. We define such a function w, "width", on countable (or finite) groups and show w(Z^k) = k-1.

math.GT↗

arXiv2008

A Topological Phase in a Quantum Gravity Model

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.

cond-mat.str-el↗

arXiv2006

Interacting anyons in topological quantum liquids: The golden chain

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.

cond-mat.str-el↗

arXiv2006

Large Fourier transforms never exactly realized by braiding conformal blocks

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.

cond-mat.mes-hall↗

arXiv2003

Quantum SU(2) faithfully detects mapping class groups modulo center

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.

math.GT↗

arXiv2002

A magnetic model with a possible Chern-Simons phase

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.

quant-ph↗

arXiv2002

Topological Quantum Computation

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.

quant-ph↗