-
Twenty dry Martinis for the Unitary Almost Mathieu Operator
Authors:
Christopher Cedzich,
Long Li
Abstract:
We solve the Dry Ten Martini Problem for the unitary almost Mathieu operator with Diophantine frequencies in the non-critical regime.
We solve the Dry Ten Martini Problem for the unitary almost Mathieu operator with Diophantine frequencies in the non-critical regime.
△ Less
Submitted 9 March, 2025;
originally announced March 2025.
-
Exponential tail estimates for quantum lattice dynamics
Authors:
Christopher Cedzich,
Alain Joye,
Albert H. Werner,
Reinhard F. Werner
Abstract:
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 pro…
▽ More
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.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
Absence of Bound States for Quantum Walks and CMV Matrices via Reflections
Authors:
Christopher Cedzich,
Jake Fillman
Abstract:
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ázquez (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 instan…
▽ More
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ázquez (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.
△ Less
Submitted 22 October, 2024; v1 submitted 16 February, 2024;
originally announced February 2024.
-
Exact mobility edges for almost-periodic CMV matrices via gauge symmetries
Authors:
Christopher Cedzich,
Jake Fillman,
Long Li,
Darren Ong,
Qi Zhou
Abstract:
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ünbaum-Moral-Velázquez. As an app…
▽ More
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ünbaum-Moral-Velázquez. 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.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Absolutely continuous edge spectrum of topological insulators with an odd time-reversal symmetry
Authors:
Alex Bols,
Christopher Cedzich
Abstract:
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.
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.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Almost Everything About the Unitary Almost Mathieu Operator
Authors:
Christopher Cedzich,
Jake Fillman,
Darren C. Ong
Abstract:
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é 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 cha…
▽ More
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é 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.
△ Less
Submitted 21 July, 2023; v1 submitted 6 December, 2021;
originally announced December 2021.
-
Chiral Floquet systems and quantum walks at half period
Authors:
C. Cedzich,
T. Geib,
A. H. Werner,
R. F. Werner
Abstract:
We classify chiral symmetric periodically driven quantum systems on a one-dimensional lattice. The driving process is local, can be continuous or discrete in time, and we assume a gap condition for the corresponding Floquet operator. The analysis is in terms of the unitary operator at a half-period, the half-step operator. We give a complete classification of the connected classes of half-step ope…
▽ More
We classify chiral symmetric periodically driven quantum systems on a one-dimensional lattice. The driving process is local, can be continuous or discrete in time, and we assume a gap condition for the corresponding Floquet operator. The analysis is in terms of the unitary operator at a half-period, the half-step operator. We give a complete classification of the connected classes of half-step operators in terms of five integer indices. On the basis of these indices it can be decided whether the half-step operator can be obtained from a continuous Hamiltonian driving, or not. The half-step operator determines two Floquet operators, obtained by starting the driving at zero or at half period, respectively. These are called timeframes and are chiral symmetric quantum walks. Conversely, we show under which conditions two chiral symmetric walks determine a common half-step operator. Moreover, we clarify the connection between the classification of half-step operators and the corresponding quantum walks. Within this theory we prove bulk-edge correspondence and show that a second timeframe allows to distinguish between symmetry protected edge states at $+1$ and $-1$ which is not possible for a single timeframe.
△ Less
Submitted 29 September, 2022; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Singular continuous Cantor spectrum for magnetic quantum walks
Authors:
C. Cedzich,
J. Fillman,
T. Geib,
A. H. Werner
Abstract:
In this note, we consider a physical system given by a two-dimensional quantum walk in an external magnetic field. In this setup, we show that both the topological structure as well as its type depend sensitively on the value of the magnetic flux $Φ$: while for $Φ/(2π)$ rational the spectrum is known to consist of bands, we show that for $Φ/(2π)$ irrational the spectrum is a zero-measure Cantor se…
▽ More
In this note, we consider a physical system given by a two-dimensional quantum walk in an external magnetic field. In this setup, we show that both the topological structure as well as its type depend sensitively on the value of the magnetic flux $Φ$: while for $Φ/(2π)$ rational the spectrum is known to consist of bands, we show that for $Φ/(2π)$ irrational the spectrum is a zero-measure Cantor set and the spectral measures have no pure point part.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Anderson localization for electric quantum walks and skew-shift CMV matrices
Authors:
C. Cedzich,
A. H. Werner
Abstract:
We consider the spectral and dynamical properties of one-dimensional quantum walks placed into homogenous electric fields according to a discrete version of the minimal coupling principle. We show that for all irrational fields the absolutely continuous spectrum of these systems is empty, and prove Anderson localization for almost all (irrational) fields. This result closes a gap which was left op…
▽ More
We consider the spectral and dynamical properties of one-dimensional quantum walks placed into homogenous electric fields according to a discrete version of the minimal coupling principle. We show that for all irrational fields the absolutely continuous spectrum of these systems is empty, and prove Anderson localization for almost all (irrational) fields. This result closes a gap which was left open in the original study of electric quantum walks: a spectral and dynamical characterization of these systems for typical fields. Additionally, we derive an analytic and explicit expression for the Lyapunov exponent of this model. Making use of a connection between quantum walks and CMV matrices our result implies Anderson localization for CMV matrices with a particular choice of skew-shift Verblunsky coefficients as well as for quasi-periodic unitary band matrices.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Quantum walks: Schur functions meet symmetry protected topological phases
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantu…
▽ More
This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantum walks are encoded by matrix Schur functions built out of the walk. This main result of the paper reduces the calculation of these topological indices to a linear algebra problem: calculating symmetry indices of finite-dimensional unitaries obtained by evaluating such matrix Schur functions at the symmetry protected points $\pm1$. The Schur representation fully covers the complete set of symmetry indices for 1D quantum walks with a group of symmetries realizing any of the symmetry types of the tenfold way. The main advantage of the Schur approach is its validity in the absence of translation invariance, which allows us to go beyond standard Fourier methods, leading to the complete classification of non-translation invariant phases for typical examples.
△ Less
Submitted 16 April, 2021; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Quantum walks in external gauge fields
Authors:
C. Cedzich,
T. Geib,
A. H. Werner,
R. F. Werner
Abstract:
Describing a particle in an external electromagnetic field is a basic task of quantum mechanics. The standard scheme for this is known as "minimal coupling", and consists of replacing the momentum operators in the Hamiltonian by modified ones with an added vector potential. In lattice systems it is not so clear how to do this, because there is no continuous translation symmetry, and hence there ar…
▽ More
Describing a particle in an external electromagnetic field is a basic task of quantum mechanics. The standard scheme for this is known as "minimal coupling", and consists of replacing the momentum operators in the Hamiltonian by modified ones with an added vector potential. In lattice systems it is not so clear how to do this, because there is no continuous translation symmetry, and hence there are no momenta. Moreover, when time is also discrete, as in quantum walk systems, there is no Hamiltonian, only a unitary step operator. We present a unified framework of gauge theory for such discrete systems, keeping a close analogy to the continuum case. In particular, we show how to implement minimal coupling in a way that automatically guarantees unitary dynamics. The scheme works in any lattice dimension, for any number of internal degree of freedom, for walks that allow jumps to a finite neighborhood rather than to nearest neighbours, is naturally gauge invariant, and prepares possible extensions to non-abelian gauge groups.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
Complete homotopy invariants for translation invariant symmetric quantum walks on a chain
Authors:
C. Cedzich,
T. Geib,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We provide a classification of translation invariant one-dimensional quantum walks with respect to continuous deformations preserving unitarity, locality, translation invariance, a gap condition, and some symmetry of the tenfold way. The classification largely matches the one recently obtained (arXiv:1611.04439) for a similar setting leaving out translation invariance. However, the translation inv…
▽ More
We provide a classification of translation invariant one-dimensional quantum walks with respect to continuous deformations preserving unitarity, locality, translation invariance, a gap condition, and some symmetry of the tenfold way. The classification largely matches the one recently obtained (arXiv:1611.04439) for a similar setting leaving out translation invariance. However, the translation invariant case has some finer distinctions, because some walks may be connected only by breaking translation invariance along the way, retaining only invariance by an even number of sites. Similarly, if walks are considered equivalent when they differ only by adding a trivial walk, i.e., one that allows no jumps between cells, then the classification collapses also to the general one. The indices of the general classification can be computed in practice only for walks closely related to some translation invariant ones. We prove a completed collection of simple formulas in terms of winding numbers of band structures covering all symmetry types. Furthermore, we determine the strength of the locality conditions, and show that the continuity of the band structure, which is a minimal requirement for topological classifications in terms of winding numbers to make sense, implies the compactness of the commutator of the walk with a half-space projection, a condition which was also the basis of the general theory. In order to apply the theory to the joining of large but finite bulk pieces, one needs to determine the asymptotic behaviour of a stationary Schrödinger equation. We show exponential behaviour, and give a practical method for computing the decay constants.
△ Less
Submitted 21 September, 2018; v1 submitted 12 April, 2018;
originally announced April 2018.
-
The topological classification of one-dimensional symmetric quantum walks
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We give a topological classification of quantum walks on an infinite 1D lattice, which obey one of the discrete symmetry groups of the tenfold way, have a gap around some eigenvalues at symmetry protected points, and satisfy a mild locality condition. No translation invariance is assumed. The classification is parameterized by three indices, taking values in a group, which is either trivial, the g…
▽ More
We give a topological classification of quantum walks on an infinite 1D lattice, which obey one of the discrete symmetry groups of the tenfold way, have a gap around some eigenvalues at symmetry protected points, and satisfy a mild locality condition. No translation invariance is assumed. The classification is parameterized by three indices, taking values in a group, which is either trivial, the group of integers, or the group of integers modulo 2, depending on the type of symmetry. The classification is complete in the sense that two walks have the same indices if and only if they can be connected by a norm continuous path along which all the mentioned properties remain valid. Of the three indices, two are related to the asymptotic behaviour far to the right and far to the left, respectively. These are also stable under compact perturbations. The third index is sensitive to those compact perturbations which cannot be contracted to a trivial one. The results apply to the Hamiltonian case as well. In this case all compact perturbations can be contracted, so the third index is not defined. Our classification extends the one known in the translation invariant case, where the asymptotic right and left indices add up to zero, and the third one vanishes, leaving effectively only one independent index. When two translationally invariant bulks with distinct indices are joined, the left and right asymptotic indices of the joined walk are thereby fixed, and there must be eigenvalues at $1$ or $-1$ (bulk-boundary correspondence). Their location is governed by the third index. We also discuss how the theory applies to finite lattices, with suitable homogeneity assumptions.
△ Less
Submitted 7 September, 2018; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Revivals in Quantum Walks with quasi-periodically time-dependent coin
Authors:
C. Cedzich,
R. F. Werner
Abstract:
We provide an explanation of recent experimental results of Xue et al., where full revivals in a time-dependent quantum walk model with a periodically changing coin are found. Using methods originally developed for "electric" walks with a space-dependent, rather than a time-dependent coin, we provide a full explanation of the observations of Xue et al. We extend the analysis from periodic time-dep…
▽ More
We provide an explanation of recent experimental results of Xue et al., where full revivals in a time-dependent quantum walk model with a periodically changing coin are found. Using methods originally developed for "electric" walks with a space-dependent, rather than a time-dependent coin, we provide a full explanation of the observations of Xue et al. We extend the analysis from periodic time-dependence to quasi-periodic behaviour with periods incommensurate to the step size. Spectral analysis, one of the principal tools for the study of electric walks, fails for time-dependent systems, but we find qualitative propagation behaviour of the time-dependent system in close analogy to the electric case.
△ Less
Submitted 7 April, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Bulk-edge correspondence of one-dimensional quantum walks
Authors:
C. Cedzich,
F. A. Grünbaum,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We outline a theory of symmetry protected topological phases of one-dimensional quantum walks. We assume spectral gaps around the symmetry-distinguished points +1 and -1, in which only discrete eigenvalues are allowed. The phase classification by integer or binary indices extends the classification known for translation invariant systems in terms of their band structure. However, our theory requir…
▽ More
We outline a theory of symmetry protected topological phases of one-dimensional quantum walks. We assume spectral gaps around the symmetry-distinguished points +1 and -1, in which only discrete eigenvalues are allowed. The phase classification by integer or binary indices extends the classification known for translation invariant systems in terms of their band structure. However, our theory requires no translation invariance whatsoever, and the indices we define in this general setting are invariant under arbitrary symmetric local perturbations, even those that cannot be continuously contracted to the identity. More precisely we define two indices for every walk, characterizing the behavior far to the right and far to the left, respectively. Their sum is a lower bound on the number of eigenstates at +1 and -1. For a translation invariant system the indices add up to zero, so one of them already characterizes the phase. By joining two bulk phases with different indices we get a walk in which the right and left indices no longer cancel, so the theory predicts bound states at +1 or -1. This is a rigorous statement of bulk-edge correspondence. The results also apply to the Hamiltonian case with a single gap at zero.
△ Less
Submitted 10 February, 2016; v1 submitted 9 February, 2015;
originally announced February 2015.
-
A quantum dynamical approach to matrix Khrushchev's formulas
Authors:
C. Cedzich,
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
Khrushchev's formula is the cornerstone of the so called Khrushchev theory, a body of results which has revolutionized the theory of orthogonal polynomials on the unit circle. This formula can be understood as a factorization of the Schur function for an orthogonal polynomial modification of a measure on the unit circle. No such formula is known in the case of matrix-valued measures. This constitu…
▽ More
Khrushchev's formula is the cornerstone of the so called Khrushchev theory, a body of results which has revolutionized the theory of orthogonal polynomials on the unit circle. This formula can be understood as a factorization of the Schur function for an orthogonal polynomial modification of a measure on the unit circle. No such formula is known in the case of matrix-valued measures. This constitutes the main obstacle to generalize Khrushchev theory to the matrix-valued setting which we overcome in this paper.
It was recently discovered that orthogonal polynomials on the unit circle and their matrix-valued versions play a significant role in the study of quantum walks, the quantum mechanical analogue of random walks. In particular, Schur functions turn out to be the mathematical tool which best codify the return properties of a discrete time quantum system, a topic in which Khrushchev's formula has profound and surprising implications. We will show that this connection between Schur functions and quantum walks is behind a simple proof of Khrushchev's formula via `quantum' diagrammatic techniques for CMV matrices. This does not merely give a quantum meaning to a known mathematical result, since the diagrammatic proof also works for matrix-valued measures. Actually, this path counting approach is so fruitful that it provides different matrix generalizations of Khrushchev's formula, some of them new even in the case of scalar measures.
Furthermore, the path counting approach allows us to identify the properties of CMV matrices which are responsible for Khrushchev's formula. On the one hand, this helps to formalize and unify the diagrammatic proofs using simple operator theory tools. On the other hand, this is the origin of our main result which extends Khrushchev's formula beyond the CMV case, as a factorization rule for Schur functions related to general unitary operators.
△ Less
Submitted 28 October, 2016; v1 submitted 5 May, 2014;
originally announced May 2014.
-
Propagation and spectral properties of quantum walks in electric fields
Authors:
C. Cedzich,
T. Rybár,
A. H. Werner,
A. Alberti,
M. Genske,
R. F. Werner
Abstract:
We study one-dimensional quantum walks in a homogeneous electric field. The field is given by a phase which depends linearly on position and is applied after each step. The long time propagation properties of this system, such as revivals, ballistic expansion and Anderson localization, depend very sensitively on the value of the electric field $Φ$, e.g., on whether $Φ/(2π)$ is rational or irration…
▽ More
We study one-dimensional quantum walks in a homogeneous electric field. The field is given by a phase which depends linearly on position and is applied after each step. The long time propagation properties of this system, such as revivals, ballistic expansion and Anderson localization, depend very sensitively on the value of the electric field $Φ$, e.g., on whether $Φ/(2π)$ is rational or irrational. We relate these properties to the continued fraction expansion of the field. When the field is given only with finite accuracy, the beginning of the expansion allows analogous conclusions about the behavior on finite time scales.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Asymptotic behavior of quantum walks with spatio-temporal coin fluctuations
Authors:
Andre Ahlbrecht,
Christopher Cedzich,
Robert Matjeschk,
Volkher B. Scholz,
Albert H. Werner,
Reinhard F. Werner
Abstract:
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 quan…
▽ More
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.
△ Less
Submitted 23 January, 2012;
originally announced January 2012.
