Inspired by recent breakthroughs with topological quantum materials, which pave the way to novel, high-efficiency, low-energy magnetoelectric devices [
1-
3] and fault-tolerant quantum information processing [
4], inter alia, topological quantum walks have emerged as an exciting topic in its own right, especially due to the theoretical and experimental simplifications this approach offers [
5-
14]. Motivated by impressive progress in topological quantum walks, we provide a perspective on theoretical studies and experimental investigations of topological quantum walks focusing on current explorations of topological properties arising for single-walker quantum walks.
Quantum walk history traces back to 1993 [
15] when Y. Aharonov, Davidovich, and Zagury proposed the notion of the “quantum random walk” with this nomenclature indicating a quantum version of the ubiquitous random walk in classical physics [
16]. Eight years later, computer scientist D. Aharonov, who coincidentally is Y. Aharonov’s niece, and her colleagues Ambainis, Kempe, and Vazirani, introduced a quantum walk on a general regular graph
[
17]. At the same conference, quantum walks on one-dimensional lattices with Hadamard coin operators (coherently flipping a coin to a superposition of “head” and “tails”) was introduced to compare with the case of the symmetric random walk [
18]. One year later, one-dimensional quantum walks were generalised to two- and higher-dimensional quantum walks [
19].
Quantum walks have become germane to quantum computation [
20-
25] and quantum simulation [
26-
29] and single-walker versions are amenable to experimental implementations including ion traps [
30,
31], superconducting systems [
32,
33], nuclear magnetic resonance [
34,
35], optical lattice [
36,
37], and both free-space linear optics [
38,
39] and on photonic chips [
40,
41]. Quantum walks are typically classified into discrete- and continuous-time quantum walks with the main difference being whether free evolution is interrupted by quantum coin “flips” followed by coin-dependent translations or whether evolution is continuous involving entangling between the walker and internal, or coin, degrees of freedom [
42]. For a discrete-time quantum walk on
of degree
m, the Hilbert-space dimension of the coin is
m [
17,
18]. As coin and translation operators act repeatedly on the walker space, the the discrete-time quantum-walk Hamiltonian is periodic in the time domain, which indicates that the discrete-time quantum walk is a Floquet system. Continuous-time quantum evolution on
is governed by a static Hamiltonian, which is the adjacency matrix for
[
43]. Any Hamiltonian describing a lattice model can equivalently be used to drive a continuous-time quantum walk on corresponding
such as the Su–Schrieffer–Heeger model [
44] or spin-orbit coupling Hamiltonian [
13]. Discrete- and continuous-time quantum walks are approximately equivalent under a Trotter approximation in the continuous-time limit [
45].
Now we connect the quantum walk to topology, which concerns global properties that are invariant under continuous deformation such as the geometric phase [
46] and quantum Hall effect [
47]. In quantum walks, topology is characterised by the integer-labelled homotopy group corresponding to the mapping from the Brillouin zone to the space of unitary evolution operators or their Hamiltonian generators [
6]. The homotopy group label is the homotopic, or topological, invariant, and examples of such labels include the winding number [
6], Chern number [
48] and Chern–Simons number [
49]. Topological properties can be investigated in bulk dynamics for a homogeneous quantum walk with fixed topological invariants [
10,
13,
50-
52]. Alternatively, topological properties can be studied for boundary effects such as edge states between two bulk regions for an inhomogeneous quantum walk [
7,
53,
54], which could have different Hamiltonian parameters for differing bulk regions but the same winding number [
6,
7].
Topological properties of quantum walks were first studied for the discrete-time quantum walks, called split-step quantum walks, which split the evolution into alternating coin-dependent shifts and coherent coin flips [
5]. Experimental investigations of topological split-step quantum walks are photonic in nature [
7,
11,
12,
50,
51,
55]. In photonic systems, the walker’s position can be encoded into path [
7], time-bin [
12,
55] or orbital-angular momentum [
50,
51] degrees of freedom. This position can be converted to the Brillouin zone via a Fourier transformation, which is convenient for studying topological properties in the bulk case. The coin is encoded into an internal photonic degree of freedom, such as polarisation or spin-angular momentum [
50,
51].
The first observation of topological phenomena was achieved with a seven-step photonic one-dimensional split-step quantum walk with the walker’s position and coin encoded into diffraction-based path and polarisation degrees of freedom, respectively, for heralded single photons generated by spontaneous parametric down conversion [
7]. By fixing one coin-rotation parameter and making the other coin-rotation parameter position-dependent, a topological boundary is created such that the topology characterised by winding numbers at the left and right sides of the boundary differ. Initialising the walker at the lattice boundary ensures prominent localisation of the walker as an edge state. The empirical signature of walker localisation is realised by repeatedly sampling the time-dependent position marginal distribution at each time with the coin degree of freedom traced out. To measure the sample at each time step, the state needs to be re-initialised at the boundary and evolve coherently until measuring position at the specified time. This procedure can be repeated for each desired evolution time.
Equivalence between a single step of a one-dimensional split-step quantum walk and a concatenating two steps of an ordinary one-dimensional quantum walk, with different coin operators at each of the pair of steps, ushered in experimental studies of topological quantum walks [
55,
56]. The topology of concatenated ordinary quantum walks is enabled by choosing different coin-operator parameters for each ordinary quantum walk operator in a single step. Inhomogeneity arising by choosing different coin-operator parameters at different lattice sites enables the creation of topological boundaries. Topological signatures are evident through measurements that yield eigenvalues and the approximate eigenstates for concatenated ordinary quantum walks realised through the well established time-multiplexing architecture [
55].
If the discrete-time quantum-walk Hamiltonian has chiral [
7] or sublattice symmetry [
8] (which could be equivalent [
57]), each eigenstate with energy
E has a counterpart with opposite energy
except for
. Between two bulk regions with the same winding number but different Hamiltonian parameters, a pair of edge states, localised to this boundary, appear and thereby opens the door to exploring topological Floquet systems. Anti-commutation between the time-dependent Hamiltonian of a discrete-time quantum walk and the chiral or sublattice symmetry operator guarantees topological band structures, which are evidenced by the topological edge states around zero and
π energy in the spectrum [
8,
57]. In photonic experiments, these two edge states appear as period-two oscillations of the walker’s localised position at the boundary [
7].
Existence of pair edge states indicates that a single winding number is insufficient for topological classification of one-dimensional discrete-time quantum walks with chiral (sublattice) symmetry. A pair of topological invariants extracted from eigenvalues of the chiral (sublattice) symmetry operator [
7], which can also be directly measured from the scattering matrix in the view of scattering theory of quantum walks [
58,
59], or a pair of winding numbers with extra topological information of time-shifted unitary evolution operators [
60-
62], have been used for topological classification. More generally, the topology of quantum walks on an infinite one-dimensional lattice can be completely classified with respect to the tenfold discrete symmetry groups constructed from all combinations of chiral, time-reversal and particle-hole symmetries [
63-
65]. The Schur approach, which transcends the standard Fourier transformation, is utilised for the complete classification of non-translation invariant phases [
66].
The Chern number does not suffice for studying topology of two-dimensional discrete-time quantum walks, whereas the Rudner–Lindner–Berg–Levin (RLBL) invariant can serve as the homotopy invariant, which distinguishes between static and driven two-dimensional systems [
9]. By considering both time and momentum domains, the RLBL invariant provides additional information for the existence of the “anomalous” spectra that arise in driven systems. The RLBL invariant is able to identify phenomena that cannot be characterised by the Chern number, such as the appearance of robust chiral edge states in two-dimensional driven systems even though the Chern numbers of all the bulk Floquet bands are zero [
67]. By constructing an Abelian gauge field — the analogue of a magnetic flux threading a two-dimensional electron gas, the two-dimensional discrete-time magnetic quantum walk is proposed to be able to simulate anomalous Floquet Chern topological insulators, where the RLBL invariant is also necessary to fully characterise the corresponding anomalous Floquet topological phases and to compute the number of topologically protected edge modes [
14].
Bulk-edge correspondence manifests as robust unidirectional walker motion at the edge between two bulk regions with different RLBL invariants in two-dimensional discrete-time quantum walks [
67]. Two photonic experiments first manifested such robust chiral edge states in two-dimensional split-step quantum walks [
12,
68]. One evolves up to 4 steps in the angular-orbital momentum space with the polarisation as a coin [
68]. The other evolves up to 25 steps with time-bin and polarisation degrees of freedom as the walker’s position and coin state, respectively [
12]. The walker’s evolution in the time-bin space is implemented by two polarising beam-splitter loops, one large and one small. The large loop splits and delays each pulse into two pulses, which corresponds to the walker moving forward vs. backwards over one distance unit of one coordinate axis in the synthetic walker’s position space. The small loop drives the walker’s evolution along another coordinate axis in the two-dimensional walker’s synthetic position space.
An alternative to studying topological properties of inhomogeneous discrete-time quantum walks by initialising at an edge is instead to study topological properties for edge-less homogeneous discrete-time quantum walks initialised anywhere. For this case, we can directly measure topological invariants by the reconstruction of eigenstates in the discrete-time quantum walks [
69] or by the interference of the walker with the accumulated Berry phase in the Bloch oscillating quantum walks [
32,
70], or study signatures of topological effects in the walker’s dynamics, with these signatures revealing effects such as a transition, between topological invariants achieved via adjusting a unitary-evolution parameter. A topological transition can be revealed through the walker’s spreading rate as a function of Hamiltonian parameters and evolution time [
50]. Another signature is the separation of the mean position for the walker with a coin in one eigenstate of the chiral operator vs. the mean position for the walker with the other eigenstate of the chiral operator, known as mean chiral displacement, for a quantum walk with chiral symmetry [
51]. The experiments to study these two topological transition signals were conducted for photonic systems with orbital-angular momentum as the walker’s synthetic position space and spin-angular momentum as the coin space.
Analogous to topological studies of discrete-time quantum walks, edge-state [
71] and topological-transition [
10,
52] signatures manifest for continuous-time topological quantum walks as well. Such continuous-time topological quantum walks have been explored experimentally in silicon waveguides [
71] and in photonic chips [
52]. The band-inversion ring is another topological pattern that can be directly extracted from measuring the continuous-time walker’s momentum [
72], with the walker being a cold
87Rb atom in an optical lattice. The quantum walk is initiated by a quench, meaning a sudden change of a Hamiltonian parameter [
13]. The topological signature is revealed in the walker’s momentum-space spin-polarisation distribution experiments.
In the optical-lattice cold-atom experiments, synthetic spin is simulated by two magnetic sub-levels that are coupled together via two orthogonal Raman laser beams, and the walker’s position is encoded in true position space [
13]. An atom cloud initially prepared in the topologically trivial state evolves under a topologically non-trivial Hamiltonian after the quench. Appearance of a ring pattern in momentum space during evolution signals a non-trivial topology of the post-quench Hamiltonian, and momentum-component oscillations reveal band structure. Existence of a “kink” for the walker’s expansion rate in lattice space reveals a topological transition of the system [
10].
Thus far, we have considered standard quantum mechanics, but topological quantum walks can be studied in the alternative parity–time-symmetric (PT-symmetric) quantum mechanics, which is an alternative form of quantum mechanics based on modifying the inner product according to the principle that the Hamiltonian can be non-Hermitian provided that its spectrum is real [
73]. Topologically protected edge states exist as well in PT-symmetric topological quantum walks, shown by driving a PT-symmetric nonunitary walker evolution [
11]. Parity–time symmetry is enforced in experimental one-dimensional discrete-time parity–time-symmetric photonic quantum walks by introducing alternating lossy steps that are interpreted as alternating balanced noiseless loss and gain, through modifying the norm by postselection [
11,
74]. A topological quantum walk has been demonstrated for this system up to six steps. This six-step quantum walk reveals topological edge states at the boundary between two bulks with distinct winding number pairs in the inhomogeneous case [
11] and the topologically protected skyrmion in the time-momentum space for the homogeneous case with quench [
75].
Quantum walks are a powerful concept and tool for studying topological effects arising from profound considerations that arise in studies of quantum materials and their experimental realisations. In the future, more general topological quantum walks, involving for example high-dimensional coins and multiple interacting walkers will teach much about more exotic topological effects. Another exciting direction concerns the use of machine learning to identify topological phases [
76] and topological phase transitions [
77] in quantum walks.
Higher Education Press and Springer-Verlag GmbH Germany, part of Springer Nature 2019