Search

We consider the quantum dynamics of a particle on a lattice for large times. Assuming translation invariance, and either discrete or continuous time parameter, the distribution of the ballistically scaled position $Q(t)/t$ converges weakly to a distribution that is compactly supported in velocity space, essentially the distribution of group velocity in the initial state. We show that the total probability of velocities strictly outside the support of the asymptotic measure goes to zero exponentially with $t$, and we provide a simple method to estimate the exponential rate uniformly in the initial state. Near the boundary of the allowed region the rate function goes to zero like the power 3/2 of the distance to the boundary. The method is illustrated in several examples., Comment: 20 pages, 6 figures

We give a criterion based on reflection symmetries in the spirit of Jitomirskaya--Simon to show absence of point spectrum for (split-step) quantum walks and Cantero--Moral--Vel\'azquez (CMV) matrices. To accomplish this, we use some ideas from a recent paper by the authors and their collaborators to implement suitable reflection symmetries for such operators. We give several applications. For instance, we deduce arithmetic delocalization in the phase for the unitary almost-Mathieu operator and singular continuous spectrum for generic CMV matrices generated by the Thue--Morse subshift., Comment: 16 pages

We investigate the symmetries of so-called generalized extended CMV matrices. It is well-documented that problems involving reflection symmetries of standard extended CMV matrices can be subtle. We show how to deal with this in an elegant fashion by passing to the class of generalized extended CMV matrices via explicit diagonal unitaries in the spirit of Cantero-Gr\"unbaum-Moral-Vel\'azquez. As an application of these ideas, we construct an explicit family of almost-periodic CMV matrices, which we call the mosaic unitary almost-Mathieu operator, and prove the occurrence of exact mobility edges. That is, we show the existence of energies that separate spectral regions with absolutely continuous and pure point spectrum and exactly calculate them., Comment: 35 pages, 3 figures

We construct a real-time lattice-gauge-theory-type action for a spin-1/2 matter field of a single particle on a (1+1)-dimensional spacetime lattice. The framework is based on a discrete-time quantum walk, and is hence inherently unitary and strictly local, i.e., transition amplitudes exactly vanish outside of a lightcone on the lattice. We then provide a lattice Noether's theorem for internal symmetries of this action. We further couple this action to an electromagnetic field by a minimal substitution on the lattice. Finally, we suggest a real-time lattice-gauge-theory-type action for the electromagnetic field in arbitrary spacetime dimensions, and derive its classical equations of motion, which are lattice versions of Maxwell's equations.

We develop a method to synthesize a class of entangling multi-qubit gates for a quantum computing platform with fixed Ising-type interaction with all-to-all connectivity. The only requirement on the flexibility of the interaction is that it can be switched on and off for individual qubits. Our method yields a time-optimal implementation of the multi-qubit gates. We numerically demonstrate that the total multi-qubit gate time scales approximately linear in the number of qubits. Using this gate synthesis as a subroutine, we provide compilation strategies for important use cases: (i) we show that any Clifford circuit on $n$ qubits can be implemented using at most $2n$ multi-qubit gates without requiring ancilla qubits, (ii) we decompose the quantum Fourier transform in a similar fashion, (iii) we compile a simulation of molecular dynamics, and (iv) we propose a method for the compilation of diagonal unitaries with time-optimal multi-qubit gates, as a step towards general unitaries. As motivation, we provide a detailed discussion on a microwave controlled ion trap architecture with magnetic gradient induced coupling (MAGIC) for the generation of the Ising-type interactions., Comment: 35 pages, 7 figures, v2: improved section 3.2.3 + new example

We show that non-trivial two-dimensional topological insulators protected by an odd time-reversal symmetry have absolutely continuous edge spectrum. The proof employs a time-reversal symmetric version of the Wold decomposition that singles out ballistic edge modes of the topological insulator., Comment: 10 pages

We introduce a unitary almost-Mathieu operator, which is obtained from a two-dimensional quantum walk in a uniform magnetic field. We exhibit a version of Aubry--Andr\'{e} duality for this model, which partitions the parameter space into three regions: a supercritical region and a subcritical region that are dual to one another, and a critical regime that is self-dual. In each parameter region, we characterize the cocycle dynamics of the transfer matrix cocycle generated by the associated generalized eigenvalue equation. In particular, we show that supercritical, critical, and subcritical behavior all occur in this model. Using Avila's global theory of one-frequency cocycles, we exactly compute the Lyapunov exponent on the spectrum in terms of the given parameters. We also characterize the spectral type for each value of the coupling constant, almost every frequency, and almost every phase. Namely, we show that for almost every frequency and every phase the spectral type is purely absolutely continuous in the subcritical region, pure point in the supercritical region, and purely singular continuous in the critical region. In some parameter regions, we refine the almost-sure results. In the critical case for instance, we show that the spectrum is a Cantor set of zero Lebesgue measure for arbitrary irrational frequency and that the spectrum is purely singular continuous for all but countably many phases., Comment: 41 pages, 5 figures, to appear in Commun. Math. Phys

We extend the circuit model of quantum computation so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipulated and put into superpositions. This aims at capturing indefinite causal orders and making their geometrical layout explicit: we express the quantum switch and the polarizing beam-splitter within the model. In this context, our main contribution is a full characterization of the anonymity constraints. Indeed, the names used as addresses should not matter beyond the wiring they describe, i.e. quantum evolutions should commute with "renamings". We show that these quantum evolutions can still act non-trivially upon the names. We specify the structure of "nameblind" matrices., Comment: 40 pages, 16 figures, published version

We study topological phenomena of quantum walks by implementing a novel protocol that extends the range of accessible properties to the eigenvalues of the walk operator. To this end, we experimentally realise for the first time a split-step quantum walk with decoupling, which allows for investigating the effect of a bulk-boundary while realising only a single bulk configuration. We approximate the symmetry protected edge states with high similarities and read out the phase relative to a reference for all modes. In this way we observe eigenvalues which are distinguished by the presence or absence of sign flips between steps. Furthermore, the results show that investigating a bulk-boundary with a single bulk is experimentally feasible when decoupling the walk beforehand., Comment: 15 pages, 8 figures

Quantum walks subject to decoherence generically suffer the loss of their genuine quantum feature, a quadratically faster spreading compared to classical random walks. This intuitive statement has been verified analytically for certain models and is also supported by numerical studies of a variety of examples. In this paper we analyze the long-time behavior of a particular class of decoherent quantum walks, which, to the best of our knowledge, was only studied at the level of numerical simulations before. We consider a local coin operation which is randomly and independently chosen for each time step and each lattice site and prove that, under rather mild conditions, this leads to classical behavior: With the same scaling as needed for a classical diffusion the position distribution converges to a Gaussian, which is independent of the initial state. Our method is based on non-degenerate perturbation theory and yields an explicit expression for the covariance matrix of the asymptotic Gaussian in terms of the randomness parameters.