In this thesis, I will discuss how information-theoretic arguments can be used to produce sharp bounds in the studies of quantum many-body systems. The main advantage of this approach, as opposed to the conventional field-theoretic argument, is that it depends very little on the precise form of the Hamiltonian. The main idea behind this thesis lies on a number of results concerning the structure of quantum states that are conditionally independent. Depending on the application, some of these statements are generalized to quantum states that are approximately conditionally independent. These structures can be readily used in the studies of gapped quantum many-body systems, especially for the ones in two spatial dimensions. A number of rigorous results are derived, including (i) a universal upper bound for a maximal number of topologically protected states that is expressed in terms of the topological entanglement entropy, (ii) a first-order perturbation bound for the topological entanglement entropy that decays superpolynomially with the size of the subsystem, and (iii) a correlation bound between an arbitrary local operator and a topological operator constructed from a set of local reduced density matrices. I also introduce exactly solvable models supported on a three-dimensional lattice that can be used as a reliable quantum memory.
In this thesis, I will discuss how information-theoretic arguments can be used to produce sharp bounds in the studies of quantum many-body systems. The main advantage of this approach, as opposed to the conventional field-theoretic argument, is that it depends very little on the precise form of the Hamiltonian. The main idea behind this thesis lies on a number of results concerning the structure of quantum states that are conditionally independent. Depending on the application, some of these statements are generalized to quantum states that are approximately conditionally independent. These structures can be readily used in the studies of gapped quantum many-body systems, especially for the ones in two spatial dimensions. A number of rigorous results are derived, including (i) a universal upper bound for a maximal number of topologically protected states that is expressed in terms of the topological entanglement entropy, (ii) a first-order perturbation bound for the topological entanglement entropy that decays superpolynomially with the size of the subsystem, and (iii) a correlation bound between an arbitrary local operator and a topological operator constructed from a set of local reduced density matrices. I also introduce exactly solvable models supported on a three-dimensional lattice that can be used as a reliable quantum memory.
We use the structure of conditionally independent states to analyze the stability of topological entanglement entropy. For the ground state of the quantum double or Levin-Wen model, we obtain a bound on the first-order perturbation of topological entanglement entropy in terms of its energy gap and subsystem size. The bound decreases superpolynomially with the size of the subsystem, provided the energy gap is nonzero. We also study the finite-temperature stability of stabilizer models, for which we prove a stronger statement than the strong subadditivity of entropy. Using this statement and assuming (i) finite correlation length and (ii) small conditional mutual information of certain configurations, first-order perturbation effect for arbitrary local perturbation can be bounded. We discuss the technical obstacles in generalizing these results.
Quantum many body physics is an exciting research area, involving novel phases of matter with fundamentally new properties, but is also notoriously hard due to complexity of interacting quantum systems. Some popular approaches involve approximation techniques and numerical simulations, which are known to fail in several important cases. In contrast, rigorous mathematical tools, such as exact solutions and operator inequalities, have a narrower range of applicability, but provide guaranteed results and insights into the underlying physical mechanisms. This research aims to develop new techniques in this direction and use them to explore novel phases of matter. My first direction is to construct toy models where exact solutions are possible. Such models are important as they prove that certain physical phenomena are theoretically possible in nature, and often lead to the discovery of new phases. Such insights are provided by three exactly solvable models I have discovered: (1) a family of 1D quantum spin models hosting free parastatistical quasiparticles (an exotic type of identical particles beyond fermions, bosons, and anyons), proving for the first time that parastatistics is theoretically possible as an emergent phenomenon; (2) a 3D classical Ising model whose phases are characterized by topological features of certain loop observables, suggesting existence of previously unknown classical phases and phase transitions with topological order parameters; and (3) a family of models with exact p-wave superconducting ground states demonstrating the existence of Majorana quasiparticles and non-Abelian statistics in particle number-conserving systems. My second direction is to derive rigorous bounds and exact constraints on physical observables, which are applicable to large families of quantum many-body systems. I present three directions of progress: (1) a method that dramatically improves the upper bounds on the speed of information propagation in locally-interacting systems, which significantly extends the scope of these bounds and enables new applications; (2) bounds on finite-size errors in numerical simulations of lattice systems, including quench dynamics and gapped ground states; and (3) a locality bound on gapped ground states of power-law interacting systems, which leads to a generalization of the aforementioned error bounds to such systems. These error bounds have important theoretical implications such as proving the existence of the thermodynamic limit and stability of phases, and are practically useful in determining the validity of finite-size numerical simulations.
This dissertation investigates the possibilities and limitations of time-dependent many-body perturbation theory by studying small Hubbard clusters for which the exact solution is available. The first part of the thesis is comprised of a short introduction to the concepts and methodologies used. The second part consists of an review of the main findings of the thesis and a short summary of four original papers. In paper I we study the dynamics of short Hubbard chains within many-body perturbation theory and compare to the exact solution. The main outcomes are that the T-matrix approximation works well in the low filling regime and that all approximation which involve correlation effects develop an unphysical steady state. In paper II we present the methodology used in paper I. We find that the correlation-induced damping appears even in the presence of leads and that there are multiple steady and quasi steady states. In paper III we make a review of the status of time dependent density functional theory for lattice models. In particular we find that a non-perturbative adiabatic local density approximation describes strong correlations well while many-body perturbation theory accounts better for non-adiabatic effects. In paper IV we propose a method to obtain the double occupancy from the Kadanoff-Baym equations. We show that the positiveness condition may be violated in the GW or the second Born approximation but fulfiled in the T-matrix approximation. We apply this method to obtain the local entanglement entropy.
Subsystems of composite quantum systems are described by reduced density matrices, or quantum marginals. Important physical properties often do not depend on the whole wave function but rather only on the marginals. Not every collection of reduced density matrices can arise as the marginals of a quantum state. Instead, there are profound compatibility conditions -- such as Pauli's exclusion principle or the monogamy of quantum entanglement -- which fundamentally influence the physics of many-body quantum systems and the structure of quantum information. The aim of this thesis is a systematic and rigorous study of the general relation between multipartite quantum states, i.e., states of quantum systems that are composed of several subsystems, and their marginals. In the first part, we focus on the one-body marginals of multipartite quantum states; in the second part, we study general quantum marginals from the perspective of entropy.
In this thesis we present two results relating to the intersection between quantum information theory and quantum many-body physics. The first pertains to quantum algorithms, where few computational problems are believed to exhibit exponential separation between quantum and classical performance. For those that are, natural generalizations remain elusive. One speedup that has especially resisted generalization is the use of quantum walks to traverse the welded tree graph, due to Childs, Cleve, Deotto, Farhi, Gutmann, and Spielman. We show how to generalize this to a large class of hierarchical graphs in which the vertices are grouped into “supervertices” that are arranged according to a d-dimensional lattice. Supervertices can have different sizes, and edges between supervertices correspond to random connections between their constituent vertices. The traversal time of quantum walks on these graphs are related to (a) the existence of small subspaces within which the quantum walk evolves and (b) the localization properties of the quantum walk within these subspaces. We find examples of hierarchical graphs that yield provable speedups over classical algorithms ranging from superpolynomial to exponential, depending on the underlying dimension and the random graph model. We also discuss how to relax criterion (a) to the existence of a small and approximate subspace by using techniques from graph sparsification. The second result pertains to fault-tolerant quantum memories. Storing a qubit in a noisy environment is crucial for developing full-scale quantum computers. While constructions of fault-tolerant quantum memories exist, they often assume that quantum operations are not local and assisting classical computation operates instantaneously and noislessly. In particular, constructing a topological quantum memory below four dimensions with local quantum and classical operations that is fault-tolerant under both quantum and classical noise is an open problem. We construct a local quantum memory for the 2D toric code using ideas from the classical cellular automata of Tsirelson and Gács. Our memory preserves a logical state for exponential time in the presence of both classical and quantum noise below a constant noise rate. While our 2D quantum memory is built from operations that depend on space and time, we construct a fault-tolerant quantum memory in 3D using stacks of 2D toric codes that can be built with time-independent operations.
Quantum information theory is an exciting, inter-disciplinary field, combining elements of condensed matter theory, quantum mechanics and information theory. In this thesis, I shall make a modest contribution to this field by examining entanglement in many-body systems with more than two levels. In the first section, I consider the dynamics of a system of qutrits three-level quantum systems which are coupled through an SU(3)-invariant permutation Hamiltonian. Each term in this Hamil- tonian is a nearest-neighbour permutation operator, and thus this Hamiltonian may be considered a generalisation of the standard SU (2)-invariant Heisenberg Hamiltonian, in which every term (up to the addition of the identity operator) is a nearest-neighbour permutation operator for two-level system. The system considered has the topology of a cross, and thus may be considered (to a limited extent) analogous to a beam-splitter. The aim of the study is to establish a Bell singlet state between two distant parties. Building on this work, I shall go on to consider the ground state of a system made up of many-level systems coupled by the same Hamiltonian I shall show that this state is a generalisation of the two-level singlet to many levels and many systems. It thus has a high degree of symmetry. I will consider its application in entanglement distribution through measurements (localisable entanglement), and discuss how it may be physically implemented in systems of ultracold atoms, through the Hubbard model. I shall also show that in the famous valence bond solid (the ground state of the Affleck-Kennedy- Lieb-Tasaki spin chain), all the entanglement present in the state may be extracted from a single copy of the chain this is in contrast to gapless, critical chains, in which only half the total entanglement is extractable from a single copy.