
2
speed up element search in large irregular and random
structures.
In this work, we study the propagation of quantum
walks in random lattice geometries through the lens
of condensed matter physics. We consider a family of
DTQWs [36,37] on infinite random lattices generated by
site percolation, as illustrated in Figs. 1a) and b). Mo-
tivated by the fact that topological states of matter are
generically more robust to random perturbations, we im-
plement split-step quantum walks with a tuneable topo-
logical invariant and explore the spreading of topological
and trivial quantum walks. By carrying out large-scale
numerical simulations up to t= 104time steps, we find
that pre-diffusive and transient kinetics dominate at in-
termediate time scales tdecay determined by the degree
of randomness. In the long-time limit, we observe that
the configuration-averaged MSD follows the generalized
diffusion Ansatz ∆2X∝tα, and extract the exponent α.
Our findings are summarized in Fig. 1c), which indicates
that even weak randomness will give rise to the break-
down of the superdiffusive quantum speed-up. With in-
creasing random dilution, the quantum walks will even-
tually halt due to Anderson lozalization at the critical
density pc. Moreover, in the vicinity of pc, the system
becomes subdiffusive. As discussed below, the absence
of superdiffusion implies severe limitations for obtaining
quantum speed-up in quantum-walk-based applications
on random lattices and graphs.
II. QUANTUM WALKS ON RANDOM
LATTICES
A. Topological walks on regular lattice
Before discussing random geometries, we first explore
the properties of the studied topological split-steps walk
on a regular lattice. In general, a DTQW on a square
lattice is defined for a point-like walker with an internal
n-level degree of freedom referred to as a quantum coin.
The quantum state of a walker belongs to a Hilbert space
H=Z2⊗Cnwith a basis |x, yi⊗|si, where |x, yirefers to
the position states and |sito the internal coin states. In
analogy to a random walk, a quantum walk is defined as
a sequence of quantum coin operations and conditional
translations depending on the coin state. A walker is
initially located at the origin, and a single step of a walk
is generated by a unitary ˆ
Uwhich propagates the walker
state as |ψ(t+ 1)i=ˆ
U|ψ(t)i. Hereinafter we will assume
a spin-1
2quantum walk with n= 2. To define the unitary,
one needs a translation operator
ˆ
T(δ) = X
r∈Z2h|↑i h↑| ⊗ |r+δi hr|+|↓i h↓| ⊗ |r−δi hr|i,
which shifts the position of a walker by the vector ±δ
depending on the coin state, and a coin operator
ˆ
R(θ) = e−iθ
2ˆσy.
Following Ref. [36], by introducing the primitive shift
vectors δ1= (1,1), δ2= (0,1) and δ3= (1,0), we define
a split-step unitary as
ˆ
U2D(θ1, θ2) = ˆ
T(δ3)ˆ
R(θ1)ˆ
T(δ2)ˆ
R(θ2)ˆ
T(δ1)ˆ
R(θ1).(1)
This unitary is parameterized by two coin angles, θ1
and θ2, and a single step of the walk consists of three
sequential applications of combined spin flip and shift
operations, as illustrated in Fig. 2a). The unitary (1)
can be represented as ˆ
U2D =e−iˆ
Heff , where the effective
Hamiltonian in the momentum space is defined as
ˆ
Heff =Zπ
−π
dkhE(k)n(k)·ˆσi⊗ |ki hk|.(2)
Here |kidenotes the Fourier transformed position vec-
tor |ri. While the expressions for E(k) and n(k), derived
in Appendix A, are not particularly illuminating, the ef-
fective Hamiltonian can be analyzed with the tools of
topological condensed matter theory to gain further in-
sight on related quantum walks. In particular, the spec-
trum of the effective Hamiltonian is characterized by a
topological index, the Chern number, which can be ob-
tained by
C=1
4πZΩ
n(k)·(∂kxn(k)×∂kyn(k)) dk,(3)
where Ω denotes a torus (kx, ky)∈−π
2,π
2×−π
2,π
2.
In Fig. 2b) we have presented the topological phase di-
agram in terms of the coin parameters. A substantial
fraction of the coin’s parameter space supports non-zero
Chern numbers, a primary motivation to study the walk
protocol (1). As understood during the last four decades
in condensed matter physics, topological states of mat-
ter are extraordinarily robust to disorder and Anderson
localization. Electronic bands in integer quantum Hall
systems, characterized by nonzero Chern numbers, are
particularly striking examples of this. It is well-known
by now that an arbitrarily weak randomness may lead
to Anderson localization in 1d and 2d systems [38]. This
means that with exponential accuracy, all the eigenstates
of a Hamiltonian and the corresponding time-evolution
unitary have a finite spatial support. Correspondingly,
quantum walks defined by a unitary incorporating effects
of disorder similarly give rise to walks that are expo-
nentially confined to their initial position. However, as
long as a system supports a nonzero Chern number, it is
guaranteed to support at least some extended states [38].
What this means for quantum walks is that, while proto-
cols with trivial topology may enable extended walks in
the presence of weak disorder, the topologically nontrivial
protocols are always guaranteed to do so. Qualitatively,
one expects topologically nontrivial systems to tolerate
larger random perturbations before localizing. Since our
main focus in this work is on random systems, it is natu-
ral to focus on topological split-step protocols. The prop-
agation of a topological walk with finite Chern number