Topological classification of symmetric quantum walks. Discrete symmetry types and chiral symmetric protocols

In this thesis, we study the topological classification of symmetric quantum walks. These describe the discrete time evolution of single quantum particles on the lattice with additional locally acting symmetries. The thesis consists of three parts: In the first part, we discuss discrete symmetry types for self-adjoint and unitary operators from an abstract point of view, i.e. without assuming an underlying physical model. We reduce any abstract finite group of involutive symmetries and their projective representations to a smaller set of symmetry types, eliminating elements that are redundant for topological classifications. This reduction process leads to the well-known tenfold way for self-adjoint operators, and for unitary operators, we identify 38 non-redundant symmetry types. For these, we define a symmetry index, which labels equivalence classes of finite-dimensional representations up to trivial direct summands. We show that these equivalence classes naturally carry a group structure and finish the discussion by explicitly computing the corresponding index groups for all non-trivial symmetry types. Second, we develop a topological classification for symmetric quantum walks based on the symmetry index derived in the first part. We begin without a locality condition on the unitary time evolution operator but only assume an underlying discrete spatial structure. Unlike continuous-time systems, quantum walks exhibit non-gentle perturbations, i.e. local or compact perturbations that cannot be undone continuously. Using the symmetry index, we provide a complete topological classification of such perturbations of unitary operators on any lattice or graph. We add a locality condition on the one-dimensional lattice and detail the implications of such assumption on the classification. The spatial structure of the one-dimensional lattice allows us to define the left- and right symmetry index, which characterise a walks topological properties on the two half-chains. The sum of these two indices equals the overall symmetry index, which provides a lower bound on the number of symmetry protected eigenstates of the walk. For the symmetry types of the tenfold way, a subset of three different symmetry indices is complete with respect to norm-continuous deformations and compact perturbations. In the third part, we consider quantum walk protocols instead of single time-step unitaries. We show that any unitary operator with finite jump length on a one-dimensional lattice can be factorised into a sequence of shift and coin operations. We then provide a complete topological classification of such protocols under the influence of chiral symmetry. The classification is in terms of the half-step operator, i.e. the time evolution operator at half of the driving period, which is singled out by the chiral symmetry. We also show that a half-step operator can be constructed for every chiral symmetric single time-step unitary without a pre-defined underlying protocol. This renders the classification via the half-step operator valid for periodically driven continuous-time (Floquet systems), discretely driven protocols, and single time-step quantum walks

Levels of discontinuity, limit-computability, and jump operators

We develop a general theory of jump operators, which is intended to provide an abstraction of the notion of "limit-computability" on represented spaces. Jump operators also provide a framework with a strong categorical flavor for investigating degrees of discontinuity of functions and hierarchies of sets on represented spaces. We will provide a thorough investigation within this framework of a hierarchy of $\Delta^0_2$-measurable functions between arbitrary countably based $T_0$-spaces, which captures the notion of computing with ordinal mind-change bounds. Our abstract approach not only raises new questions but also sheds new light on previous results. For example, we introduce a notion of "higher order" descriptive set theoretical objects, we generalize a recent characterization of the computability theoretic notion of "lowness" in terms of adjoint functors, and we show that our framework encompasses ordinal quantifications of the non-constructiveness of Hilbert's finite basis theorem