Discrete time quantum lattice systems recently have come into the focus of quantum computation because they provide a versatile tool for many different applications and they are potentially implementable in current experimental realizations. In this thesis we study the fundamental structures of such quantum lattice systems as well as consequences of experimental imperfections. Essentially, there are two models of discrete time quantum lattice systems, namely quantum cellular automata and quantum walks, which are quantum versions of their classical counterparts, i.e., cellular automata and random walks. In both cases, the dynamics acts locally on the lattice and is usually also translationally invariant. The main difference between these structures is that quantum cellular automata can describe the dynamics of many interacting particles, where quantum walks describe the evolution of a single particle. The first part of this thesis is devoted to quantum cellular automata. We characterize one-dimensional quantum cellular automata in terms of an index theory up to local deformations. Further, we characterize in detail a subclass of quantum cellular automata by requiring that Pauli operators are mapped to Pauli operators. This structure can be understood in terms of certain classical cellular automata. The second part of this thesis is concerned with quantum walks. We identify a quantum walk with the one-particle sector of a quantum cellular automaton. We also establish an index theory for quantum walks and we discuss decoherent quantum walks, i.e., the behavior of quantum walks with experimental imperfections.
Discrete time quantum lattice systems recently have come into the focus of quantum computation because they provide a versatile tool for many different applications and they are potentially implementable in current experimental realizations. In this thesis we study the fundamental structures of such quantum lattice systems as well as consequences of experimental imperfections. Essentially, there are two models of discrete time quantum lattice systems, namely quantum cellular automata and quantum walks, which are quantum versions of their classical counterparts, i.e., cellular automata and random walks. In both cases, the dynamics acts locally on the lattice and is usually also translationally invariant. The main difference between these structures is that quantum cellular automata can describe the dynamics of many interacting particles, where quantum walks describe the evolution of a single particle. The first part of this thesis is devoted to quantum cellular automata. We characterize one-dimensional quantum cellular automata in terms of an index theory up to local deformations. Further, we characterize in detail a subclass of quantum cellular automata by requiring that Pauli operators are mapped to Pauli operators. This structure can be understood in terms of certain classical cellular automata. The second part of this thesis is concerned with quantum walks. We identify a quantum walk with the one-particle sector of a quantum cellular automaton. We also establish an index theory for quantum walks and we discuss decoherent quantum walks, i.e., the behavior of quantum walks with experimental imperfections.
We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitary operations in a generalized Margolus partitioning scheme. This implies that, in contrast to the classical case, the inverse of a nearest neighbor quantum cellular automaton is again a nearest neighbor automaton. We present several construction methods for quantum cellular automata, based on unitaries commuting with their translates, on the quantization of (arbitrary) reversible classical cellular automata, on quantum circuits, and on Clifford transformations with respect to a description of the single cells by finite Weyl systems. Moreover, we indicate how quantum random walks can be considered as special cases of cellular automata, namely by restricting a quantum lattice gas automaton with local particle number conservation to the single particle sector.
In this thesis we study the propagation behavior of quantum particles which perform discrete-time quantum walks on spatial lattices.By definition, quantum walks are discrete-time evolutions such that a single time step couples only neighboring lattice sites.Additionally, we assume in this thesis that the dynamical law commutes with all translations of the spatial lattice, that is we consider translationally invariant quantum walks.The results presented in the following are separated into two parts: The first part is devoted to the study of single-particle quantum walks, and in the second part we investigate quantum walks of several particles.Single-particle quantum walks: Our aim is to study the asymptotic behavior of particles undergoing general translationally invariant quantum walks.Employing perturbation theory, we establish a direct method for computing the asymptotic distribution of the particle's position rescaled by an appropriate time-dependent factor.If the time evolution is implemented by a unitary operator commuting with all lattice translations and with empty pure point spectrum, we find linear scaling of the asymptotic position distribution.In this case, the asymptotic distribution of position divided by time is determined by the analog of the group velocity.If, on the other hand, the quantum walk is subject to decoherence, we expect that it behaves like a classical random walk.We provide explicit criteria under which this intuitive statement is true, that is, the asymptotic scaling of the particle's position distribution is that of a diffusion process.We find that the asymptotic distribution of position divided by the square root of time is a mixture of Gaussians in this case.However, we also provide examples of decoherent quantum walks which violate these criteria, and exhibit linear scaling of the asymptotic position distribution. Many-particle quantum walks:We investigate unitary quantum walks of two particles with collisional interactions.That is, the particles perform independent single-particle quantum walks if they are at distinct lattice sites, and an interaction takes place if both particles occupy the same lattice site.We prove that such quantum walks generically exhibit a molecular binding effect between the particles.More precisely, for a measurement of the particles' positions we have a bound on the probability to obtain a certain result which decays exponentially with the particles' distance.As a preparatory step for this analysis, we consider single-particle quantum walks with point defects, and provide a method to compute their eigenvalues in the spectral gap of the quantum walk without defect.We further generalize our model to arbitrary numbers of particles and study the behavior of local excitations in many-particle quantum walks.
This thesis is split into two parts, which are united in the sense that they involve applying ideas from quantum information to fundamental physics. The first part is focused on examining discrete-time models in quantum computation (discrete-time quantum walks and quantum cellular automata) as discretized models of relativistic systems. One of the results here is a theorem demonstrating that a large class of discrete-time quantum walks have relativistic dynamics in the continuum limit. Additionally, the problem of fermion doubling for these models is investigated, and it is seen that the problem can be circumvented in two dimensional space. This was already known for one dimensional systems. Another result involves taking the limits of causal free field theories in discrete spacetime to recover continuum field theories, something that is not straightforward because of the nontrivial nature of the vacuum in quantum field theory. Additionally, it is shown that general systems of fermions evolving causally in discrete spacetime can be represented by quantum cellular automata, which makes them efficiently simulable by quantum computers. A related result is that quantum cellular automata composed of fermions are equivalent to regular quantum cellular automata. In the second part of this thesis, the focus is on the foundations of statistical physics. The main result of this part is a general bound on the time it takes a quantum system to effectively reach equilibrium. The discussion also includes a practical definition of equilibration that takes our measurement capabilities into account. Finally, the nature of the equilibrium state is also discussed, with a focus on initial state independence, which relates to the important question of when the equilibrium state is a Gibbs state.
This thesis presents a model of Quantum Cellular Automata (QCA). The presented formalism is a natural quantization of the classical Cellular Automata (CA). It is based on a lattice of qudits, and an update rule consisting of local unitary operators that commute with their own lattice translations. One purpose of this model is to act as a theoretical model of quantum computation, similar to the quantum circuit model. The main advantage that QCA have over quantum circuits is that QCA make considerably fewer demands on the underlying hardware. In particular, as opposed to direct implementations of quantum circuits, the global evolution of the lattice in the QCA model does not assume independent control over individual \emph{qudits}. Rather, all qudits are to be addressed collectively in parallel. The QCA model is also shown to be an appropriate abstraction for space-homogeneous quantum phenomena, such as quantum lattice gases, spin chains and others. Some results that show the benefits of basing the model on local unitary operators are shown: computational universality, strong connections to the circuit model, simple implementation on quantum hardware, and a series of applications. A detailed discussion will be given on one particular application of QCA that lies outside either computation or simulation: single-spin measurement. This algorithm uses the techniques developed in this thesis to achieve a result normally considered hard in physics. It serves well as an example of why QCA are interesting in their own right.
In the thesis, models of quantum systems characterized by discrete time dynamics are presented and applied to different problems. More specifically, aspects of excitation transport, quantum state transfer and thermalization are investigated mainly within the framework of quantum cellular automata (QCA), which are discrete time evolution quantum systems defined on a regular lattice of, in this case, qubits. The peculiarities of QCA, together with the restriction to the first excitation sector of the Hilbert space, make it possible to define a transport dynamics on a one dimensional lattice that encompasses all classical Markov chains, as well as maps where quantum coherence between sites can build up over time. This allows for the possibility to make a direct comparison between a fully classical dynamics and a dynamics affected by quantum effects, which is of relevance both in the field of quantum biology, especially regarding the transport of electronic excitations in photosynthetic systems, and in quantum computing when dealing with the transport of an unknown quantum state. In a quantum thermodynamics context, instead, QCA can serve the purpose to validate arguments of tipicality that have been brought forward in recent years in order to demonstrate the thermalization of closed quantum systems (i.e. the tendency of any small subsystems to evolve towards the maximally mixed state). Numerical results concerning this issue are presented. Finally, a modelization of scattering-like processes, where the scattering consists of random unitary interactions between an environment and part of a quantum bipartite system is discussed. Relevant properties of the resulting state such as its mean purity and the correlations between the interacting and the “sheltered” part of the system can be analitically evaluated, and their fluctuations bounded.
Quantum cellular automata consist in arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G. Moreover the global evolution G is required to be causal (it propagates information at a bounded speed) and translation-invariant (it acts everywhere the same). Quantum cellular automata provide a model/architecture for distributed quantum computation. More generally, they encompass most of discrete-space discrete-time quantum theory. We give an overview of their theory, with particular focus on structure results; computability and universality results; and quantum simulation results.