We undertake a detailed analysis of ergodicity for homogeneous discrete-time quantum walks on the integer lattice. The most significant result of our paper holds in dimension one, and gives a complete equivalence between the absolutely continuous spectrum of the unitary operator encoding the walk, and the equidistribution of its dynamics in position space, which appears for the first time in the context of large-volume quantum ergodicity. In higher dimensions, we give a criterion for full and partial ergodicity in terms of a finer property of the spectrum which we dub ``No Repeating Graphs'', and we distinguish how strongly the equidistribution is taking place (weak convergence vs total variation). Many examples are included to illustrate the criterion and to distinguish between the types of ergodicity.
We undertake a detailed analysis of ergodicity for homogeneous discrete-time quantum walks on the integer lattice. The most significant result of our paper holds in dimension one, and gives a complete equivalence between the absolutely continuous spectrum of the unitary operator encoding the walk, and the equidistribution of its dynamics in position space, which appears for the first time in the context of large-volume quantum ergodicity. In higher dimensions, we give a criterion for full and partial ergodicity in terms of a finer property of the spectrum which we dub ``No Repeating Graphs'', and we distinguish how strongly the equidistribution is taking place (weak convergence vs total variation). Many examples are included to illustrate the criterion and to distinguish between the types of ergodicity.
We investigate the role of different aperiodic sequences in the dynamics of single quantum particles in discrete space and time. For this we consider three aperiodic sequences, namely, the Fibonacci, Thue-Morse, and Rudin-Shapiro sequences, as examples of tilings the diffraction spectra of which have pure point, singular continuous, and absolutely continuous support, respectively. Our interest is to understand how the order, intrinsically introduced by the deterministic rule used to generate the aperiodic sequences, is reflected in the dynamical properties of the quantum system. For this system we consider a single particle undergoing a discrete-time quantum walk (DTQW), where the aperiodic sequences are used to distribute the coin operations at different lattice positions (inhomogeneous DTQW) or by applying the same coin operation at all lattice sites at a given time but choosing different coin operation at each time step according to the chosen aperiodic sequence (time dependent DTQW). We study the energy spectra and the spreading of an initially localized wave packet for different cases, finding that in the case of Fibonacci and Thue-Morse tilings the system is superdiffusive, whereas in the Rudin-Shapiro case it is strongly subdiffusive. Trying to understand this behavior in terms of the energy spectra, we look at the survival amplitude as a function of time. By means of the echo we present strong evidence that, although the three orderings are very different as evidenced by their diffraction spectra, the energy spectra are all singular continuous except for the inhomogeneous DTQW with the Rudin-Shapiro sequence where it is discrete. This is in agreement with the observed strong localization both in real space and in the Hilbert space. Our paper is particularly interesting because quantum walks can be engineered in laboratories by means of ultracold gases or in optical waveguides, and therefore would be a perfect playground to study singular continuous energy spectra in a completely controlled quantum setup.
This paper establishes a robust link between quantum dynamics and classical ones by deriving probabilistic representation for both continuous time and discrete time quantum walks. We first adapt Molchanov formula, originally employed in the study of Schrodinger operators on multidimensional integer lattice, to characterize the evolution of continuous time quantum walks. Extending this framework, we develop a probabilistic method to represent discrete time quantum walks on an infinite integer line, bypassing the locality constraints that typically inhibit direct application of Molchanov formula. The validity of our representation is empirically confirmed through a benchmark analysis of the Hadamard walk, demonstrating high fidelity with traditional unitary evolution. Our results suggest that this probabilistic lens offer a powerful alternative for learning multidimensional quantum walks and provides new analytical pathways for investigating quantum systems via classical stochastic processes.
Abstract We rigorously examine, in generality, the ergodic properties of quantum lattice models with short range interactions, in the C∗ C ∗ algebra formulation of statistical mechanics. Ergodicity results, in the context of group actions on C∗ C ∗ algebras, assume that the algebra is asymptotically abelian, which is not generically the case for time evolution. The Lieb-Robinson bound tells us that, in a precise sense, the spatial extent of any time-evolved local operator grows linearly with time. This means that the algebra of observables is asymptotically abelian in a space-like region, and implies a form of ergodicity outside the light-cone. But what happens within it? We show that the long-time limit of the n-th moment of a ray-averaged observable, along space-time rays of almost every speed, converges to the n-th power of its expectation in the state (i.e. its ensemble average). Thus ray averages do not fluctuate in the long time limit. This is a statement of ergodicity, and holds in any state that is invariant under space-time translations and that satisfies weak clustering properties in space. The ray averages can be performed in a way that accounts for oscillations, showing that ray-averaged observables cannot sustainably oscillate in the long time limit. We also show that in the GNS representation of the algebra of observables, for any KMS state with the above properties, the long-time limit of the ray average of any observable converges (in the strong operator topology) to the ensemble average times the identity, again along space-time rays of almost every speed. This is a strong version of ergodicity, and indicates that, as operators, observables get “thinner” almost everywhere within the light-cone. A similar statement holds under oscillatory averaging.
In this expository note, we study several families of periodic graphs which satisfy a sufficient condition for the ergodicity of the associated continuous-time quantum walk. For these graphs, we compute the limiting distribution of the walk explicitly. We uncover interesting behavior where in some families, the walk is ergodic in both horizontal and sectional directions, while in others, ergodicity only holds in the horizontal (large N) direction. We compare this to the limiting distribution of classical random walks on the same graphs.
In this work, we study open quantum random walks, as described by S. Attal et al.. These objects are given in terms of completely positive maps acting on trace-class operators, leading to one of the simplest open quantum versions of the recurrence problem for classical, discrete-time random walks. This work focuses on obtaining criteria for site recurrence of nearest-neighbor, homogeneous walks on the integer line, with the description presented here making use of recent results of the theory of open walks, most particularly regarding reducibility properties of the operators involved. This allows us to obtain a complete criterion for site recurrence in the case for which the internal degree of freedom of each site (coin space) is of dimension 2. We also present the analogous result for irreducible walks with an internal degree of arbitrary finite dimension and the absorption problem for walks on the semi-infinite line.
Quantum walks can be defined in two quite distinct ways: discrete-time and continuous-time quantum walks (DTQWs and CTQWs). For classical random walks, there is a natural sense in which continuous-time walks are a limit of discrete-time walks. Quantum mechanically, in the discrete-time case, an additional ``coin space'' must be appended for the walk to have nontrivial time evolution. Continuous-time quantum walks, however, have no such constraints. This means that there is no completely straightforward way to treat a CTQW as a limit of a DTQW, as can be done in the classical case. Various approaches to this problem have been taken in the past. We give a construction for walks on d-regular, d-colorable graphs when the coin flip operator is Hermitian: from a standard DTQW we construct a family of discrete-time walks with a well-defined continuous-time limit on a related graph. One can think of this limit as a ``coined'' continuous-time walk. We show that these CTQWs share some properties with coined DTQWs. In particular, we look at a spatial search by a DTQW over the two-dimensional (2D) torus (a grid with periodic boundary conditions) of size $\sqrt{N}\ifmmode\times\else\texttimes\fi{}\sqrt{N}$, where it was shown that a coined DTQW can search in time O(NlogN), but a standard CTQW takes $\mathrm{\ensuremath{\Omega}}(N)$ time to search for a marked element. The continuous limit of the DTQW search over the 2D torus exhibits the O(NlogN) scaling, like the coined walk it is derived from. We also look at the effects of graph symmetry on the limiting walk, and show that the properties are similar to those of the DTQW as shown in Krovi and Brun, Phys. Rev. A 75, 062332 (2007).