A Personal History of the Hastings-Michalakis Proof of Hall Conductance Quantization
This is a personal history of the Hastings-Michalakis proof of quantum Hall conductance quantization.
Researcher profile
M. B. Hastings
M. B. Hastings contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
9topics
2close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
12 published item(s)
preprint2020arXiv
Classical and Quantum Algorithms for Tensor Principal Component Analysis
We present classical and quantum algorithms based on spectral methods for a problem in tensor principal component analysis. The quantum algorithm achieves a quartic speedup while using exponentially smaller space than the fastest classical spectral algorithm, and a super-polynomial speedup over classical algorithms that use only polynomial space. The classical algorithms that we present are related to, but slightly different from those presented recently in Ref. 1. In particular, we have an improved threshold for recovery and the algorithms we present work for both even and odd order tensors. These results suggest that large-scale inference problems are a promising future application for quantum computers.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
How Quantum Are Non-Negative Wavefunctions?
We consider wavefunctions which are non-negative in some tensor product basis. We study what possible teleportation can occur in such wavefunctions, giving a complete answer in some cases (when one system is a qubit) and partial answers elsewhere. We use this to show that a one-dimensional wavefunction which is non-negative and has zero correlation length can be written in a "coherent Gibbs state" form, as explained later. We conjecture that such holds in higher dimensions. Additionally, some results are provided on possible teleportation in general wavefunctions, explaining how Schmidt coefficients before measurement limit the possible Schmidt coefficients after measurement, and on the absence of a "generalized area law"\cite{genarealaw} even for Hamiltonians with no sign problem. One of the motivations for this work is an attempt to prove a conjecture about ground state wavefunctions which have an "intrinsic" sign problem that cannot be removed by any quantum circuit. We show a weaker version of this, showing that the sign problem is intrinsic for commuting Hamiltonians in the same phase as the double semion model under the technical assumption that TQO-2 holds\cite{tqo2}.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Solving Gapped Hamiltonians Locally
We show that any short-range Hamiltonian with a gap between the ground and excited states can be written as a sum of local operators, such that the ground state is an approximate eigenvector of each operator separately. We then show that the ground state of any such Hamiltonian is close to a generalized matrix product state. The range of the given operators needed to obtain a good approximation to the ground state is proportional to the square of the logarithm of the system size times a characteristic "factorization length". Applications to many-body quantum simulation are discussed. We also consider density matrices of systems at non-zero temperature.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Trivial Low Energy States for Commuting Hamiltonians, and the Quantum PCP Conjecture
We consider whether or not Hamiltonians which are sums of commuting projectors have "trivial" ground states which can be constructed by a local quantum circuit of bounded depth and range acting on a product state. While the toric code only has nontrivial ground states, commuting projector Hamiltonians which are sums of two-body interactions have trivial ground states. We define an "interaction complex" for a Hamiltonian, generalizing the interaction graph, and we show that if this complex can be continuously mapped to a 1-complex using a map with bounded diameter of pre-images then the Hamiltonian has a trivial ground state assuming one technical condition on the Hamiltonian (this condition holds for all stabilizer Hamiltonians, and we also prove the result for all Hamiltonians under an assumption on the 1-complex). While this includes cases considered by Ref., it also includes other Hamiltonians whose interaction complexes cannot be coarse-grained into the case of Ref. One motivation for this is the quantum PCP conjecture. Many commonly studied interaction complexes can be mapped to a 1-complex after removing a small fraction of sites. For commuting projector Hamiltonians on such complexes, a trivial ground state for the Hamiltonian with those sites removed is a low energy trivial state for the original Hamiltonian. Such states can act as a classical witness to the existence of a low energy state. While this result applies only to commuting Hamiltonians, it suggests that to prove a quantum PCP conjecture one should consider interaction complexes which cannot be mapped to 1-complexes after removing a small fraction of cells. We define this more precisely below; in a sense this generalizes the idea of an expander graph. Surprisingly, such complexes do exist as will be shown elsewhere, and have useful properties in quantum coding theory.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Topological Order at Non-zero Temperature
We propose a definition for topological order at nonzero temperature in analogy to the usual zero temperature definition that a state is topologically ordered, or "nontrivial", if it cannot be transformed into a product state (or a state close to a product state) using a local (or approximately local) quantum circuit. We prove that any two dimensional Hamiltonian which is a sum of commuting local terms is not topologically ordered at $T>0$. We show that such trivial states cannot be used to store quantum information using certain stringlike operators. This definition is not too restrictive, however, as the four dimensional toric code does have a nontrivial phase at nonzero temperature.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Entanglement vs. gap for one-dimensional spin systems
We study the relationship between entanglement and spectral gap for local Hamiltonians in one dimension. The area law for a one-dimensional system states that for the ground state, the entanglement of any interval is upper-bounded by a constant independent of the size of the interval. However, the possible dependence of the upper bound on the spectral gap Delta is not known, as the best known general upper bound is asymptotically much larger than the largest possible entropy of any model system previously constructed for small Delta. To help resolve this asymptotic behavior, we construct a family of one-dimensional local systems for which some intervals have entanglement entropy which is polynomial in 1/Delta, whereas previously studied systems, such as free fermion systems or systems described by conformal field theory, had the entropy of all intervals bounded by a constant times log(1/Delta).
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Locality in Quantum Systems
These lecture notes focus on the application of ideas of locality, in particular Lieb-Robinson bounds, to quantum many-body systems. We consider applications including correlation decay, topological order, a higher dimensional Lieb-Schultz-Mattis theorem, and a nonrelativistic Goldstone theorem. The emphasis is on trying to show the ideas behind the calculations. As a result, the proofs are only sketched with an emphasis on the intuitive ideas behind them, and in some cases we use techniques that give very slightly weaker bounds for simplicity. This is a preliminary version of the lecture notes, with the goal of getting the notes out close to the end of the school. Comments welcome.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Quasi-adiabatic Continuation for Disordered Systems: Applications to Correlations, Lieb-Schultz-Mattis, and Hall Conductance
We present a possible definition of a mobility gap for a many-body quantum system, in analogy to definitions of dynamical localization for single particle systems. Using this definition, we construct "corrected" quasi-adiabatic continuation operators. Under an appropriate definition of a unique ground state, we show how to introduce virtual fluxes. Armed with these results, we can directly carry over previous results in the case of a spectral gap. We present a proof of decay of correlation functions and we present a proof of Hall conductance quantization under very mild density-of-states assumptions defined later. We also generalize these definitions to the case of a "bulk mobility gap", in the case of a system with boundaries, and present a proof of Hall conductance quantization on an annulus under appropriate assumptions. Further, we present a new "optimized" quasi-adiabatic continuation operator which simplifies previous estimates and tightens bounds in certain cases. This is presented in an appendix which can be read independently of the rest of the paper as it also improves estimates in the case of systems with a spectral gap. This filter function used decays in time at least as fast as ${\cal O}(\exp(-t^α))$ for all $α<1$, a class of decay called subexponential (a tighter description of what is possible is below). Using this function it is possible to tighten recent estimates of the Hall conductance quantization for gapped systems\cite{hall} to a decay which is subexponential in system size.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Topological Insulators and C^*-Algebras: Theory and Numerical Practice
We apply ideas from $C^*$-algebra to the study of disordered topological insulators. We extract certain almost commuting matrices from the free Fermi Hamiltonian, describing band projected coordinate matrices. By considering topological obstructions to approximating these matrices by exactly commuting matrices, we are able to compute invariants quantifying different topological phases. We generalize previous two dimensional results to higher dimensions; we give a general expression for the topological invariants for arbitrary dimension and several symmetry classes, including chiral symmetry classes, and we present a detailed $K$-theory treatment of this expression for time reversal invariant three dimensional systems. We can use these results to show non-existence of localized Wannier functions for these systems. We use this approach to calculate the index for time-reversal invariant systems with spin-orbit scattering in three dimensions, on sizes up to $12^3$, averaging over a large number of samples. The results show an interesting separation between the localization transition and the point at which the average index (which can be viewed as an "order parameter" for the topological insulator) begins to fluctuate from sample too sample, implying the existence of an unsuspected quantum phase transition separating two different delocalized phases in this system. One of the particular advantages of the $C^*$-algebraic technique that we present is that it is significantly faster in practice than other methods of computing the index, allowing the study of larger systems. In this paper, we present a detailed discussion of numerical implementation of our method.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
Quantum Adiabatic Computation With a Constant Gap is Not Useful in One Dimension
We show that it is possible to use a classical computer to efficiently simulate the adiabatic evolution of a quantum system in one dimension with a constant spectral gap, starting the adiabatic evolution from a known initial product state. The proof relies on a recently proven area law for such systems, implying the existence of a good matrix product representation of the ground state, combined with an appropriate algorithm to update the matrix product state as the Hamiltonian is changed. This implies that adiabatic evolution with such Hamiltonians is not useful for universal quantum computation. Therefore, adiabatic algorithms which are useful for universal quantum computation either require a spectral gap tending to zero or need to be implemented in more than one dimension (we leave open the question of the computational power of adiabatic simulation with a constant gap in more than one dimension).
0 citations0 reviewsNo code linkedOpen access
preprint2000arXiv
Dirac, Anderson, and Goldstone on the Kagome
We show that there exists a long-range RVB state for the kagome lattice spin-1/2 Heisenberg antiferromagnet for which the spinons have a massless Dirac spectrum. By considering various perturbations of the RVB state which give mass to the fermions by breaking a symmetry, we are able to describe a wide-ranging class of known states on the kagome lattice, including spin-Peierls solid and chiral spin liquid states. Using an RG treatment of fluctuations about the RVB state, we propose yet a different symmetry breaking pattern and show how collective excitations about this state account for the gapless singlet modes seen experimentally and numerically. We make further comparison with numerics for Chern numbers, dimer-dimer correlation functions, the triplet gap, and other quantities. To accomplish these calculations, we propose a variant of the SU(N) theory which enables us to include many of the effects of Gutzwiller projection at the mean-field level.
0 citations0 reviewsNo code linkedOpen access