Quantum complexity, Emergence and Computation by Measurement : On what computers reveal about physical laws, and what physical laws reveal about computers
Any computation is facilitated by some physical process, and the observable quantities of any physical process can be viewed as a computation. These close ties suggest that the study of what universal computers are capable of may lead to additional insight about the physical universe, and vice versa. In his thesis, we explore three lines of research that are linked to this central theme. The first partition shows how notions of non-computability and undecidability eventually led to evidence of emergence, the concept that even if a ‘theory of everything’ governing all microscopic interactions were discovered, the understanding of macroscopic order is likely to require additional insights. The second partition proposes a physically motivated model of computation that relates quantum complexity, quantum optimal control, and Riemannian geometry. Thus insights in any one of these disciplines could also lead to insights in the others. The remainder of this partition explores a simple application of these relations. The final partition proposes a model of quantum computation that generalizes measurement based computation to continuous variables. We outline its optical implementation, whereby any computation can be performed by single mode measurements on a resource state that can be prepared by passing a collection of squeezed states through a beamsplitter network.
Any computation is facilitated by some physical process, and the observable quantities of any physical process can be viewed as a computation. These close ties suggest that the study of what universal computers are capable of may lead to additional insight about the physical universe, and vice versa. In his thesis, we explore three lines of research that are linked to this central theme. The first partition shows how notions of non-computability and undecidability eventually led to evidence of emergence, the concept that even if a ‘theory of everything’ governing all microscopic interactions were discovered, the understanding of macroscopic order is likely to require additional insights. The second partition proposes a physically motivated model of computation that relates quantum complexity, quantum optimal control, and Riemannian geometry. Thus insights in any one of these disciplines could also lead to insights in the others. The remainder of this partition explores a simple application of these relations. The final partition proposes a model of quantum computation that generalizes measurement based computation to continuous variables. We outline its optical implementation, whereby any computation can be performed by single mode measurements on a resource state that can be prepared by passing a collection of squeezed states through a beamsplitter network.
A quantum computer is similar to an ordinary computer, except that instead of bits it uses two-level quantum systems (qubits), and the usual logical operations on bits are replaced with noiseless quantum dynamics in the form of unitary gates or Hamiltonian interactions. Many sets of resources that are universal for quantum computation (that is, capable of implementing any quantum computation) have been found, but general conditions for universality are still only partially understood. Improving our understanding of these conditions contributes to two broad goals. On the one hand, understanding what class of physical systems is suitable for quantum computation allows us choose the systems that are most easily controlled or built in the laboratory. On the other hand, identifying the unifying characteristics of such a class provides insight into the fundamental physics responsible for the much greater computational power of quantum computers. The original results presented in this thesis are a contribution to our understanding of the physical requirements for universal quantum computation. These results lead to the identification of a new, large class of universal dynamics. More specifically, the main problem that is addressed is the following: consider a physical system that is made up of a finite number of qubits that are subject to a natural, fixed interaction described by a two-body Hamiltonian. Suppose we have the ability to control the system only by applying fast one-qubit operations. Under what conditions is this system capable of universal quantum computation? The first original result of the thesis is to prove that universal quantum computation is possible under these conditions given the single extra constraint that the Hamiltonian must entangle, or connect, all of the qubits. In other words, since a two-body Hamiltonian is expressible as a sum of coupling terms each of which acts nontrivially on a pair of qubits, consider the graph whose vertices correspond to qubits and whose edges connect qubits that are coupled by a term in the Hamiltonian. Then this Hamiltonian, together with fast one-qubit unitaries, is universal for quantum computation precisely when the corresponding graph is connected. This result suggests many potential generalizations, three of which are explored in this thesis. The first generalization is to show that the same result holds for a two-body Hamiltonian that acts on D-dimensional quantum systems (qudits), given fast one-qudit unitaries. A second extension is to the case of a many-body Hamiltonian, that is, a Hamiltonian that has coupling terms that act on more than two qubits. Again, we find that under mild restrictions, such Hamiltonians are universal provided they are connected and that arbitrary one-qubit unitaries are available. We also discover and explore some surprising structure in many-body Hamiltonians that is associated with the parity of the couplings. A third related problem that is addressed is the question of what two-qubit unitaries are universal for quantum computation. This problem was originally solved by J.-L. and R. Brylinski [BB02], who gave a technical proof of the universality of any two-qudit gate that is not the swap gate or a product of one-qudit unitaries, given one-qudit unitaries as a free resource. We develop an elementary and constructive proof for the case of qubits, and prove that our construction is very close to optimal in the number of uses of the two-qubit gate. Given a qualitative understanding of what dynamical resources are universal for quantum computation, it is natural to consider developing a quantitative measure of the usefulness of quantum dynamics for quantum information processing. This is done in the final chapter of the thesis, in which the beginnings of a quantitative theory of quantum dynamics are developed.
What are the information processing capabilities of physical systems?As recently as the first half of the 20 th century this question did not even have a definite meaning.What is information, and how would one process it?It took the development of theories of computing (in the 1930s) and information (late in the 1940s) for us to formulate mathematically what it means to compute or communicate.Yet these theories were abstract, based on axiomatic mathematics: what did physical systems have to do with these axioms?Rolf Landauer had the essential insight -"Information is physical" -that information is always encoded in the state of a physical system, whose dynamics on a microscopic level are well-described by quantum physics.This means that we cannot discuss information without discussing how it is represented, and how nature dictates it should behave.Wigner considered the situation from another perspective when he wrote about "the unreasonable effectiveness of mathematics in the natural sciences".Why are the computational techniques of mathematics so astonishingly useful in describing the physical world [1]?One might begin to suspect foul play in the universe's operating principles.Interesting insights into the physics of information accumulated through the 1970s and 1980s -most sensationally in the proposal for a "quantum computer".If we were to mark a particular year in which an explosion of interest took place in information physics, that year would have to be 1994, when Shor showed that a problem of practical interest (factorisation of integers) could be solved easily on a quantum computer.But the applications of information in physics -and vice versa -have been far more widespread than this popular discovery.These applications range from improved experimental technology, more sophisticated measurement techniques, methods for characterising the quantum/classical boundary, tools for quantum chaos, and deeper insight into quantum theory and nature.In this thesis I present a short review of ideas in quantum information theory.The first chapter contains introductory material, sketching the central ideas of probability and information theory.Quantum mechanics is presented at the level of advanced undergraduate knowledge, together with some useful tools for quantum mechanics of open systems.In the second chapter I outline how classical information is represented in quantum systems and what this means for agents trying to extract information from these systems.The final chapter presents a new resource: quantum information.This resource has some bewildering applications which have been discovered in the last ten years, and continually presents us with unexpected insights into quantum theory and the universe.ii This thesis is dedicated to my mother.iii This thesis was begun as an intrepid adventure.It caught
Any computational process is built from a sequence of components. In this context, there are at least two ways in which “component” can be interpreted: physically and logically. The former can be understood as referring to the hardware for the computation, i.e., the physical substrate where the computation “takes place”, while the latter can be understood as referring to the software, i.e., the mathematical mapping of inputs to outputs. These two interpretations are by no means distinct: each logical component is implemented as the evolution of a physical component in some state. Accordingly, the logical requirements of a computation also specify the minimal physical requirements of the computational device. In quantum computational processes, the physical components are constructed from materials whose states and evolutions are described by quantum mechanics. At the logical level, this permits the use of quantum information theory: states are represented by vectors in a Hilbert space and evolutions are specified via unitary dynamics and measurements. In measurement-based quantum computational processes, the latter form of evolution, i.e. that driven by measurements, is most prominent. In this context, certain quantum states taken on the quality of a computational resource. That is to say, it is the combination of state and measurement together that produce the desired evolution for a given logical component. This thesis treats several topics related to the preparation and use of such resource states. In particular, much of the thesis will be concerned with states that support universal quantum computation; that is, for which any quantum computation is possible within the framework of MBQC. The first contribution in this regard consists in establishing a connection between a different framework of universal computation, namely that of parity quantum computing, and MBQC. This connection relates to both preparation and use since the former was developed in the context of quantum optimisation (a use) and utilises a specific type of encoding of quantum states (a preparation). The next sections consider the requirements under which specific sets of logical components suffice for universal quantum computation. These sets commonly arise in quantum information theory, and as state-measurement combinations in MBQC and parity quantum computing in particular. In addition to establishing results on the sizes of such sets, this thesis investigates the consequences for parity quantum computing and MBQC, including, e.g., considerations for the design of physical devices and the compilation of computations. Finally, several limits to the preparation and use of states for MBQC are investigated. In one case, an information-theoretic quantity is considered which can be used to quantify uncertainty regarding some piece of information. In the context of MBQC, the piece of information can pertain to, e.g., the choice of computation to perform on a given state, such as in the context of blind quantum computing. Thereafter, a method is developed capable of witnessing the inability to prepare various states under certain constraints that are relevant in, e.g., the context of quantum networks.
This thesis addresses a number of problems within the emerging field of quantum information science. Quantum information science can be said to encompass the more-established disciplines of quantum computation and quantum information, as well as rather more recent attempts to apply concepts, tools and techniques from these disciplines to gain greater understanding of quantum systems in general. The role of entanglement — non-classical correlation — has been of particular interest to date. Part I contributes to this later goal. In particular, we establish a connection between the energy of a many-body quantum system and the idea of an entanglement witness from the theory of mixed-state entanglement. This connection allows mathematical results about entanglement witnesses to be translated into physical results about many-body quantum systems, specifically energy and temperature thresholds for entanglement. For the case of two qubits we are able to establish fairly detailed results about the behaviour of entanglement with temperature. We also study entanglement in systems of indistinguishable particles, where even the question of which quantum states should be regarded as entangled has been the subject of much controversy. We aim to clarify this issue by applying Wiseman and Vaccaro’s notion of entanglement of particles to a number of wellunderstood model systems. We discuss the advantages of the entanglement of particles approach compared with other methods in common use. Finally, we study the operational meaning of superselection rules in quantum physics, in particular the connection to the existence or not of an appropriate reference frame. We propose an experiment that aims to exhibit a coherent superposition of an atom and a molecule, apparently in violation of the commonly-accepted particle-number superselection rule. This result sheds light on the entanglement of particles approach to entanglement of indistinguishable particles. Part II returns to a fundamental question at the heart of quantum computation and quantum information, namely: how many quantum gates are required to perform a particular quantum computation? In other words, how efficiently can a quantum computer solve a particular computational problem? We establish a connection between this question and the field of Riemannian geometry. Intuitively, optimal quantum circuits correspond to “free-falling” along the shortest path between two points in a curved space. This opens up the possibility of using Riemannian geometry to study quantum computation, a possibility that was previously unknown. We provide explicit calculations of all the basic geometric quantities associated with the space, and give some preliminary results of applying geometric ideas to quantum computing. Finally, we explore more generally the connection between optimal control and quantum circuit complexity, of which the Riemannian metric described above can be viewed as a special case.
ENGLISH ABSTRACT: What are the information processing capabilities of physical systems? As recently as the first half of the 20th century this question did not even have a definite meaning. What is information, and how would one process it? It took the development of theories of computing (in the 1930s) and information (late in the 1940s) for us to formulate mathematically what it means to compute or communicate. Yet these theories were abstract, based on axiomatic mathematics: what did physical systems have to do with these axioms? Rolf Landauer had the essential insight - "Information is physical" - that information is always encoded in the state of a physical system, whose dynamics on a microscopic level are well-described by quantum physics. This means that we cannot discuss information without discussing how it is represented, and how nature dictates it should behave. Wigner considered the situation from another perspective when he wrote about "the unreasonable effectiveness of mathematics in the natural sciences". Why are the computational techniques of mathematics so astonishingly useful in describing the physical world [1]? One might begin to suspect foul play in the universe's operating principles. Interesting insights into the physics of information accumulated through the 1970s and 1980s - most sensationally in the proposal for a "quantum computer". If we were to mark a particular year in which an explosion of interest took place in information physics, that year would have to be 1994, when Shor showed that a problem of practical interest (factorisation of integers) could be solved easily on a quantum computer. But the applications of information in physics - and vice versa - have been far more widespread than this popular discovery. These applications range from improved experimental technology, more sophisticated measurement techniques, methods for characterising the quantum/classical boundary, tools for quantum chaos, and deeper insight into quantum theory and nature. In this thesis I present a short review of ideas in quantum information theory. The first chapter contains introductory material, sketching the central ideas of probability and information theory. Quantum mechanics is presented at the level of advanced undergraduate knowledge, together with some useful tools for quantum mechanics of open systems. In the second chapter I outline how classical information is represented in quantum systems and what this means for agents trying to extract information from these systems. The final chapter presents a new resource: quantum information. This resource has some bewildering applications which have been discovered in the last ten years, and continually presents us with unexpected insights into quantum theory and the universe.