-
Occupation time for classical and quantum walks
Authors:
F. A. Grunbaum,
L. Velazquez,
J. Wilkening
Abstract:
This is a personal tribute to Lance Littlejohn on the occasion of his 70th birthday. It is meant as a present to him for many years of friendship. It is not written in the "Satz-Beweis" style of Edmund Landau or even in the format of a standard mathematics paper. It is rather an invitation to a fairly new, largely unexplored, topic in the hope that Lance will read it some afternoon and enjoy it. I…
▽ More
This is a personal tribute to Lance Littlejohn on the occasion of his 70th birthday. It is meant as a present to him for many years of friendship. It is not written in the "Satz-Beweis" style of Edmund Landau or even in the format of a standard mathematics paper. It is rather an invitation to a fairly new, largely unexplored, topic in the hope that Lance will read it some afternoon and enjoy it. If he cares about complete proofs he will have to wait a bit longer; we almost have them but not in time for this volume. We hope that the figures will convince him and other readers that the phenomena displayed here are interesting enough.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Quantum Markov chains: recurrence, Schur functions and splitting rules
Authors:
F. A. Grünbaum,
C. F. Lardizabal,
L. Velázquez
Abstract:
In this work we study the recurrence problem for quantum Markov chains, which are quantum versions of classical Markov chains introduced by S. Gudder and described in terms of completely positive maps. A notion of monitored recurrence for quantum Markov chains is examined in association with Schur functions, which codify information on the first return to some given state or subspace. Such objects…
▽ More
In this work we study the recurrence problem for quantum Markov chains, which are quantum versions of classical Markov chains introduced by S. Gudder and described in terms of completely positive maps. A notion of monitored recurrence for quantum Markov chains is examined in association with Schur functions, which codify information on the first return to some given state or subspace. Such objects possess important factorization and decomposition properties which allow us to obtain probabilistic results based solely on those parts of the graph where the dynamics takes place, the so-called splitting rules. These rules also yield an alternative to the folding trick to transform a doubly infinite system into a semi-infinite one which doubles the number of internal degrees of freedom. The generalization of Schur functions --so-called FR-functions-- to the general context of closed operators in Banach spaces is the key for the present applications to open quantum systems. An important class of examples included in this setting are the open quantum random walks, as described by S. Attal et al., but we will state results in terms of general completely positive trace preserving maps. We also take the opportunity to discuss basic results on recurrence of finite dimensional iterated quantum channels and quantum versions of Kac's Lemma, in close association with recent results on the subject.
△ Less
Submitted 14 November, 2019; v1 submitted 2 July, 2019;
originally announced July 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.
-
Some limit laws for quantum walks with applications to a version of the Parrondo paradox
Authors:
Takuya Machida,
F. Alberto Grunbaum
Abstract:
A quantum walker moves on the integers with four extra degrees of freedom, performing a coin-shift operation to alter its internal state and position at discrete units of time. The time evolution is described by a unitary process. We focus on finding the limit probability law for the position of the walker and study it by means of Fourier analysis. The quantum walker exhibits both localization and…
▽ More
A quantum walker moves on the integers with four extra degrees of freedom, performing a coin-shift operation to alter its internal state and position at discrete units of time. The time evolution is described by a unitary process. We focus on finding the limit probability law for the position of the walker and study it by means of Fourier analysis. The quantum walker exhibits both localization and a ballistic behavior. Our two results are given as limit theorems for a 2-period time-dependent walk and they describe the location of the walker after it has repeated the unitary process a large number of times. The theorems give an analytical tool to study some of the Parrondo type behavior in a quantum game which was studied by J. Rajendran and C. Benjamin by means of very nice numerical simulations [1]. With our analytical tools at hand we can easily explore the "phase space" of parameters of one of the games, similar to the winning game in their papers. We include numerical evidence that our two games, similar to theirs, exhibit a Parrondo type paradox.
△ Less
Submitted 15 August, 2018; v1 submitted 12 March, 2018;
originally announced March 2018.
-
A generalization of Schur functions: applications to Nevanlinna functions, orthogonal polynomials, random walks and unitary and open quantum walks
Authors:
F. Alberto Grünbaum,
Luis Velázquez
Abstract:
Recent work on recurrence in quantum walks has provided a representation of Schur functions in terms of unitary operators. We propose a generalization of Schur functions by extending this operator representation to arbitrary operators on Banach spaces. Such generalized Schur functions meet the formal structure of first return generating functions, thus we call them FR-functions. We derive general…
▽ More
Recent work on recurrence in quantum walks has provided a representation of Schur functions in terms of unitary operators. We propose a generalization of Schur functions by extending this operator representation to arbitrary operators on Banach spaces. Such generalized Schur functions meet the formal structure of first return generating functions, thus we call them FR-functions. We derive general properties of FR-functions, among them a generalization of the renewal equation already known for random and quantum walks, as well as splitting properties which extend useful factorizations of Schur functions.
When specialized to self-adjoint operators, FR-functions become Nevanlinna functions. This leads to new results on Nevanlinna functions: decomposition rules which are the analogue of useful factorizations of Schur functions, a simple Nevanlinna version of the Schur algorithm and new operator and integral representations of Nevanlinna functions which, in contrast to standard ones, are exact analogues of those already known for Schur functions, giving similarly a one-to-one correspondence between Nevanlinna functions and measures on the real line.
The paper is completed with several applications of FR-functions to orthogonal polynomials and random and quantum walks which illustrate their wide interest: an analogue for orthogonal polynomials on the real line of the Khrushchev formula for orthogonal polynomials on the unit circle, and the use of FR-functions to study recurrence in random walks, quantum walks and open quantum walks. These applications provide numerous explicit examples of FR-functions and their splittings and show that these new tools, despite being extensions of very classical ones, play an important role in the study of physical problems of a highly topical nature.
△ Less
Submitted 21 February, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
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.
-
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 limit theorem for a 3-period time-dependent quantum walk
Authors:
F. Alberto Grünbaum,
Takuya Machida
Abstract:
We consider a discrete-time 2-state quantum walk on the line. The state of the quantum walker evolves according to a rule which is determined by a coin-flip operator and a position-shift operator. In this paper we take a 3-periodic time evolution as the rule. For such a quantum walk, we get a limit distribution which expresses the asymptotic behavior of the walker after a long time. The limit dist…
▽ More
We consider a discrete-time 2-state quantum walk on the line. The state of the quantum walker evolves according to a rule which is determined by a coin-flip operator and a position-shift operator. In this paper we take a 3-periodic time evolution as the rule. For such a quantum walk, we get a limit distribution which expresses the asymptotic behavior of the walker after a long time. The limit distribution is different from that of a time-independent quantum walk or a 2-period time-dependent quantum walk. We give some analytical results and then consider a number of variants of our model and indicate the result of simulations for these ones.
△ Less
Submitted 2 June, 2015; v1 submitted 5 April, 2014;
originally announced April 2014.
-
Quantum recurrence of a subspace and operator-valued Schur functions
Authors:
J. Bourgain,
F. A. Grünbaum,
L. Velázquez,
J. Wilkening
Abstract:
A notion of monitored recurrence for discrete-time quantum processes was recently introduced in [Commun. Math. Phys., DOI 10.1007/s00220-012-1645-2] (see also arXiv:1202.3903) taking the initial state as an absorbing one. We extend this notion of monitored recurrence to absorbing subspaces of arbitrary finite dimension.
The generating function approach leads to a connection with the well-known t…
▽ More
A notion of monitored recurrence for discrete-time quantum processes was recently introduced in [Commun. Math. Phys., DOI 10.1007/s00220-012-1645-2] (see also arXiv:1202.3903) taking the initial state as an absorbing one. We extend this notion of monitored recurrence to absorbing subspaces of arbitrary finite dimension.
The generating function approach leads to a connection with the well-known theory of operator-valued Schur functions. This is the cornerstone of a spectral characterization of subspace recurrence that generalizes some of the main results in the above mentioned paper. The spectral decomposition of the unitary step operator driving the evolution yields a spectral measure, which we project onto the subspace to obtain a new spectral measure that is purely singular iff the subspace is recurrent, and consists of a pure point spectrum with a finite number of masses precisely when all states in the subspace have a finite expected return time.
This notion of subspace recurrence also links the concept of expected return time to an Aharonov-Anandan phase that, in contrast to the case of state recurrence, can be non-integer. Even more surprising is the fact that averaging such geometrical phases over the absorbing subspace yields an integer with a topological meaning, so that the averaged expected return time is always a rational number. Moreover, state recurrence can occasionally give higher return probabilities than subspace recurrence, a fact that reveals once more the counterintuitive behavior of quantum systems.
All these phenomena are illustrated with explicit examples, including as a natural application the analysis of site recurrence for coined walks.
△ Less
Submitted 28 February, 2013;
originally announced February 2013.
-
Recurrence for discrete time unitary evolutions
Authors:
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We consider quantum dynamical systems specified by a unitary operator U and an initial state vector φ. In each step the unitary is followed by a projective measurement checking whether the system has returned to the initial state. We call the system recurrent if this eventually happens with probability one. We show that recurrence is equivalent to the absence of an absolutely continuous part from…
▽ More
We consider quantum dynamical systems specified by a unitary operator U and an initial state vector φ. In each step the unitary is followed by a projective measurement checking whether the system has returned to the initial state. We call the system recurrent if this eventually happens with probability one. We show that recurrence is equivalent to the absence of an absolutely continuous part from the spectral measure of U with respect to φ. We also show that in the recurrent case the expected first return time is an integer or infinite, for which we give a topological interpretation. A key role in our theory is played by the first arrival amplitudes, which turn out to be the (complex conjugated) Taylor coefficients of the Schur function of the spectral measure. On the one hand, this provides a direct dynamical interpretation of these coefficients; on the other hand it links our definition of first return times to a large body of mathematical literature.
△ Less
Submitted 29 June, 2012; v1 submitted 17 February, 2012;
originally announced February 2012.
-
The Quantum Walk of F. Riesz
Authors:
F. A. Grunbaum,
L. Velazquez
Abstract:
We exhibit a way to associate a quantum walk (QW) on the non-negative integers to any probability measure on the unit circle. This forces us to consider one step transitions that are not traditionally allowed. We illustrate this in the case of a very interesting measure, originally proposed by F. Riesz for a different purpose.
We exhibit a way to associate a quantum walk (QW) on the non-negative integers to any probability measure on the unit circle. This forces us to consider one step transitions that are not traditionally allowed. We illustrate this in the case of a very interesting measure, originally proposed by F. Riesz for a different purpose.
△ Less
Submitted 28 November, 2011;
originally announced November 2011.
-
One-dimensional quantum walks with one defect
Authors:
M. J. Cantero,
F. A. Grunbaum,
L. Moral,
L. Velazquez
Abstract:
The CGMV method allows for the general discussion of localization properties for the states of a one-dimensional quantum walk, both in the case of the integers and in the case of the non negative integers. Using this method we classify, according to such localization properties, all the quantum walks with one defect at the origin, providing explicit expressions for the asymptotic return probabilit…
▽ More
The CGMV method allows for the general discussion of localization properties for the states of a one-dimensional quantum walk, both in the case of the integers and in the case of the non negative integers. Using this method we classify, according to such localization properties, all the quantum walks with one defect at the origin, providing explicit expressions for the asymptotic return probabilities at the origin.
△ Less
Submitted 27 October, 2010;
originally announced October 2010.
-
Matrix valued Szego polynomials and quantum random walks
Authors:
M. J. Cantero,
F. A. Grünbaum,
L. Moral,
L. Velazquez
Abstract:
We consider quantum random walks (QRW) on the integers, a subject that has been considered in the last few years in the framework of quantum computation. We show how the theory of CMV matrices gives a natural tool to study these processes and to give results that are analogous to those that Karlin and McGregor developed to study (classical) birth-and-death processes using orthogonal polynomials…
▽ More
We consider quantum random walks (QRW) on the integers, a subject that has been considered in the last few years in the framework of quantum computation. We show how the theory of CMV matrices gives a natural tool to study these processes and to give results that are analogous to those that Karlin and McGregor developed to study (classical) birth-and-death processes using orthogonal polynomials on the real line. In perfect analogy with the classical case the study of QRWs on the set of non-negative integers can be handled using scalar valued (Laurent) polynomials and a scalar valued measure on the circle. In the case of classical or quantum random walks on the integers one needs to allow for matrix valued versions of these notions. We show how our tools yield results in the well known case of the Hadamard walk, but we go beyond this translation invariant model to analyze examples that are hard to analyze using other methods. More precisely we consider QRWs on the set of non- negative integers. The analysis of these cases leads to phenomena that are absent in the case of QRWs on the integers even if one restricts oneself to a constant coin. This is illustrated here by studying recurrence properties of the walk, but the same method can be used for other purposes. The presentation here aims at being selfcontained, but we re- frain from trying to give an introduction to quantum random walks, a subject well surveyed in the literature we quote. For two excellent reviews, see [1, 18]. See also the recent notes [19].
△ Less
Submitted 15 January, 2009;
originally announced January 2009.
