BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael Freedman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This article is not a proof of the Poincaré conjecture but a discussion of the proof, its context, and some of the people who played a prominent role. It is a personal, anecdotal account. There may be omission or transpositions as these recollections are 40 years old and not supported by contemporaneous notes, but memories feel surprisingly fresh. I have not looked up old papers to check details of statements; this article is merely a download from my current mental state.
We explore the emergence of many-body physics from quantum mechanics via spontaneous symmetry breaking. To this end, we study potentials which are functionals on the space of Hamiltonians enjoying an unstable critical point corresponding to a random quantum mechanical system (the Gaussian unitary ensemble), but also less symmetrical local minima corresponding to interacting systems at the level of operators.
In parts I [6] and II [7] we studied how metrics $g_{ij}$ on $\mathfrak{su}(n)$ may spontaneously break symmetry and $\textit{crystallize}$ into a form which is kaq, $\textit{knows about qubits}$. We did this for $n=2^N$ and then away from powers of 2. Here we address the Fermionic version and find kam metrics, these $\textit{know about Majoranas}$. That is, there is a basis of principal axes $\{H_k\}$ of which is of homogeneous Majorana degree. In part I, we searched unsuccessfully for functional minima representing crystallized metrics exhibiting the Brown-Susskind penalty schedule, motivated by their study of black hole scrambling time. Here, by segueing to the Fermionic setting we find, to good approximation, kam metrics adhering to this schedule on both $\mathfrak{su}(4)$ and $\mathfrak{su}(8)$. Thus, with this preliminary finding, our toy model exhibits two of the three features required for the spontaneous emergence of spatial structure: 1. localized degrees of freedom and, 2. a preference for low body-number (or low Majorana number) interactions. The final feature, 3. constraints on who may interact with whom, i.e. a neighborhood structure, must await an effective analytic technique, being entirely beyond what we can approach with classical numerics.
We construct Bing houses in all dimensions $n \geq 3$, obtaining non-separating PL immersions of $\mathbb{S}^n \rightarrow\mathbb{R}^{n+1}$.
A school of thought contends that human decision making exhibits quantum-like logic. While it is not known whether the brain may indeed be driven by actual quantum mechanisms, some researchers suggest that the decision logic is phenomenologically non-classical. This paper develops and implements an empirical framework to explore this view. We emulate binary decision-making using low width, low depth, parameterized quantum circuits. Here, entanglement serves as a resource for pattern analysis in the context of a simple bit-prediction game. We evaluate a hybrid quantum-assisted machine learning strategy where quantum processing is used to detect correlations in the bitstreams while parameter updates and class inference are performed by classical post-processing of measurement results. Simulation results indicate that a family of two-qubit variational circuits is sufficient to achieve the same bit-prediction accuracy as the best traditional classical solution such as neural nets or logistic autoregression. Thus, short of establishing a provable "quantum advantage" in this simple scenario, we give evidence that the classical predictability analysis of a human-generated bitstream can be achieved by small quantum models.
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.
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.
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.
We prove that compact topological 4-manifolds can be effectively presented by a finite amount of data.
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.
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.
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.
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.
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.
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.
We supply a rigorous proof that an open dense set of all possible 2-qubit gates G has the property that if the quantum circuit model is restricted to only permit swap of qubits lines and the application of G to pairs of lines, then the model is still computationally universal.
We develop several algorithms for performing quantum phase estimation based on basic measurements and classical post-processing. We present a pedagogical review of quantum phase estimation and simulate the algorithm to numerically determine its scaling in circuit depth and width. We show that the use of purely random measurements requires a number of measurements that is optimal up to constant factors, albeit at the cost of exponential classical post-processing; the method can also be used to improve classical signal processing. We then develop a quantum algorithm for phase estimation that yields an asymptotic improvement in runtime, coming within a factor of log* of the minimum number of measurements required while still requiring only minimal classical post-processing. The corresponding quantum circuit requires asymptotically lower depth and width (number of qubits) than quantum phase estimation.
Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+ε}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.
We propose and analyze the effect of anyonic interferometers that are designed such that the probe anyons traveling in a given path through the interferometer twist or braid around each other. These "twisted" interferometers are found to provide operational utility that may not be available from anyon braiding operations and standard (untwisted) anyonic interferometry measurements. In particular, it enables Ising anyons to generate "magic states," which can be used to implement pi/8-phase gates. We consider the possible implementations of such twisted interferometers in quantum Hall systems, 2D p_x + i p_y superconductors, and 2D Majorana heterostructures, and discuss obstacles and challenges associated with implementation.
3D non-abelian anyons have been theoretically proposed to exist in heterostructures composed of type II superconductors and topological insulators. We use realistic material parameters for a device derived from Bi$_2$Se$_3$ to quantitatively predict the temperature and magnetic field regimes where an experiment might detect the presence of these exotic states by means of a cooling effect. Within the appropriate parameter regime, an adiabatic increase of the magnetic field will result in a decrease of system temperature when anyons are present. If anyons are not present, the same experiment would result in heating.
This paper initiates the study of topological arbiters, a concept rooted in Poincare-Lefschetz duality. Given an n-dimensional manifold W, a topological arbiter associates a value 0 or 1 to codimension zero submanifolds of W, subject to natural topological and duality axioms. For example, there is a unique arbiter on $RP^2$, which reports the location of the essential 1-cycle. In contrast, we show that there exists an uncountable collection of topological arbiters in dimension 4. Families of arbiters, not induced by homology, are also shown to exist in higher dimensions. The technical ingredients underlying the four dimensional results are secondary obstructions to generalized link-slicing problems. For classical links in the 3-sphere the construction relies on the existence of nilpotent embedding obstructions in dimension 4, reflected in particular by the Milnor group. In higher dimensions novel arbiters are produced using nontrivial squares in stable homotopy theory. The concept of "topological arbiter" derives from percolation and from 4-dimensional surgery. It is not the purpose of this paper to advance either of these subjects, but rather to study the concept for its own sake. However in appendices we give both an application to percolation, and the current understanding of the relationship between arbiters and surgery. An appendix also introduces a more general notion of a multi-arbiter. Properties and applications are discussed, including a construction of non-homological multi-arbiters.
We introduce a Hamiltonian coupling Majorana fermion degrees of freedom to a quantum dimer model. We argue that, in three dimensions, this model has deconfined quasiparticles supporting Majorana zero modes obeying nontrivial statistics. We introduce two effective field theory descriptions of this deconfined phase, in which the excitations have Coulomb interactions. A key feature of this system is the existence of topologically non-trivial fermionic excitations, called "Hopfions" because, in a suitable continuum limit of the dimer model, such excitations correspond to the Hopf map and are related to excitations identified in arXiv:1003.1964. We identify corresponding topological invariants of the quantum dimer model (with or without fermions) which are present even on lattices with trivial topology. The Hopfion energy gap depends upon the phase of the model. We briefly comment on the possibility of a phase with a gapped, deconfined $\mathbb{Z}_2$ gauge field, as may arise on the stacked triangular lattice.
The advancement of information processing into the realm of quantum mechanics promises a transcendence in computational power that will enable problems to be solved which are completely beyond the known abilities of any "classical" computer, including any potential non-quantum technologies the future may bring. However, the fragility of quantum states poses a challenging obstacle for realization of a fault-tolerant quantum computer. The topological approach to quantum computation proposes to surmount this obstacle by using special physical systems -- non-Abelian topologically ordered phases of matter -- that would provide intrinsic fault-tolerance at the hardware level. The so-called "Ising-type" non-Abelian topological order is likely to be physically realized in a number of systems, but it can only provide a universal gate set (a requisite for quantum computation) if one has the ability to perform certain dynamical topology-changing operations on the system. Until now, practical methods of implementing these operations were unknown. Here we show how the necessary operations can be physically implemented for Ising-type systems realized in the recently proposed superconductor-semiconductor and superconductor-topological insulator heterostructures. Furthermore, we specify routines employing these methods to generate a computationally universal gate set. We are consequently able to provide a schematic blueprint for a fully topologically-protected Ising based quantum computer using currently available materials and techniques. This may serve as a starting point for attempts to construct a fault-tolerant quantum computer, which will have applications to cryptanalysis, drug design, efficient simulation of quantum many-body systems, solution of large systems of linear equations, searching large databases, engineering future quantum computers, and -- most importantly -- those applications which no one in our classical era has the prescience to foresee.
In a recent paper, Teo and Kane proposed a 3D model in which the defects support Majorana fermion zero modes. They argued that exchanging and twisting these defects would implement a set R of unitary transformations on the zero mode Hilbert space which is a 'ghostly' recollection of the action of the braid group on Ising anyons in 2D. In this paper, we find the group T_{2n} which governs the statistics of these defects by analyzing the topology of the space K_{2n} of configurations of 2n defects in a slowly spatially-varying gapped free fermion Hamiltonian: T_{2n}\equiv {π_1}(K_{2n})$. We find that the group T_{2n}= Z \times T^r_{2n}, where the 'ribbon permutation group' T^r_{2n} is a mild enhancement of the permutation group S_{2n}: T^r_{2n} \equiv \Z_2 \times E((Z_2)^{2n}\rtimes S_{2n}). Here, E((Z_2)^{2n}\rtimes S_{2n}) is the 'even part' of (Z_2)^{2n} \rtimes S_{2n}, namely those elements for which the total parity of the element in (Z_2)^{2n} added to the parity of the permutation is even. Surprisingly, R is only a projective representation of T_{2n}, a possibility proposed by Wilczek. Thus, Teo and Kane's defects realize `Projective Ribbon Permutation Statistics', which we show to be consistent with locality. We extend this phenomenon to other dimensions, co-dimensions, and symmetry classes. Since it is an essential input for our calculation, we review the topological classification of gapped free fermion systems and its relation to Bott periodicity.
The macroscopic dimensions of space should not be input but rather output of a general model for physics. Here, dimensionality arises from a recently discovered mathematical bifurcation: positive versus indefinite manifold pairings. It is used to build an action on a formal chain of combinatorial space-times of arbitrary dimension. The context for such actions is 2-field theory where Feynman integrals are not over classical, but previously quantized configurations. A topologically enforced singularity of the action terminates the dimension at four and, in fact, the final fourth dimension is Lorentzian due to light-like vectors in the four dimensional manifold pairing. Our starting point is the action of causal dynamical triangulations but in a dimension-agnostic setting. It is encouraging that some hint of extra small dimensions emerges from our action.
While topologists have had possession of possible counterexamples to the smooth 4-dimensional Poincaré conjecture (SPC4) for over 30 years, until recently no invariant has existed which could potentially distinguish these examples from the standard 4-sphere. Rasmussen's s-invariant, a slice obstruction within the general framework of Khovanov homology, changes this state of affairs. We studied a class of knots K for which nonzero s(K) would yield a counterexample to SPC4. Computations are extremely costly and we had only completed two tests for those K, with the computations showing that s was 0, when a landmark posting of Akbulut (arXiv:0907.0136) altered the terrain. His posting, appearing only six days after our initial posting, proved that the family of ``Cappell--Shaneson'' homotopy spheres that we had geared up to study were in fact all standard. The method we describe remains viable but will have to be applied to other examples. Akbulut's work makes SPC4 seem more plausible, and in another section of this paper we explain that SPC4 is equivalent to an appropriate generalization of Property R (``in S^3, only an unknot can yield S^1 x S^2 under surgery''). We hope that this observation, and the rich relations between Property R and ideas such as taut foliations, contact geometry, and Heegaard Floer homology, will encourage 3-manifold topologists to look at SPC4.
We describe a class of parity- and time-reversal-invariant topological states of matter which can arise in correlated electron systems in 2+1-dimensions. These states are characterized by particle-like excitations exhibiting exotic braiding statistics. $P$ and $T$ invariance are maintained by a `doubling' of the low-energy degrees of freedom which occurs naturally without doubling the underlying microscopic degrees of freedom. The simplest examples have been the subject of considerable interest as proposed mechanisms for high-$T_c$ superconductivity. One is the `doubled' version (i.e. two opposite-chirality copies) of the U(1) chiral spin liquid. The second example corresponds to $Z_2$ gauge theory, which describes a scenario for spin-charge separation. Our main concern, with an eye towards applications to quantum computation, are richer models which support non-Abelian statistics. All of these models, richer or poorer, lie in a tightly-organized discrete family. The physical inference is that a material manifesting the $Z_2$ gauge theory or a doubled chiral spin liquid might be easily altered to one capable of universal quantum computation. These phases of matter have a field-theoretic description in terms of gauge theories which, in their infrared limits, are topological field theories. We motivate these gauge theories using a parton model or slave-fermion construction and show how they can be solved exactly. The structure of the resulting Hilbert spaces can be understood in purely combinatorial terms. The highly-constrained nature of this combinatorial construction, phrased in the language of the topology of curves on surfaces, lays the groundwork for a strategy for constructing microscopic lattice models which give rise to these phases.
An incompressible surface $F$ on the boundary of a compact orientable 3-manifold $M$ is arc-extendible if there is an arc $γ$ on $\partial M - $ Int $F$ such that $F \cup N(γ)$ is incompressible, where $N(γ)$ is a regular neighborhood of $γ$ in $\partial M$. Suppose for simplicity that $M$ is irreducible, and $F$ has no disk components. If $M$ is a product $F\times I$, or if $\partial M - F$ is a set of annuli, then clearly $F$ is not arc-extendible. The main theorem of this paper shows that these are the only obstructions for $F$ to be arc-extendible.