---
title: Staggered Quantum Walks
url: https://www.emergentmind.com/topics/staggered-quantum-walks
type: topic
---

# Staggered Quantum Walks

Staggered quantum walks (SQWs) are discrete-time quantum walks on graphs in which the local dynamics are defined by a tessellation cover: a collection of partitions of the vertex set into disjoint cliques, called polygons, whose union covers the graph edges. Each tessellation induces an orthogonal reflection, and one walk step is the ordered product of these reflections; in the Hamiltonian variant, the reflections are used as time-independent Hamiltonians through exponentials of the form $e^{i\theta_j H_j}$ [1505.04761][1605.02774]. The model was formalized as a unifying framework containing every instance of Szegedy’s walk and a large class of coined walks, while also admitting genuinely staggered constructions that cannot be cast into Szegedy’s framework [1505.04761][1603.02210].

## 1. Core definition and local operators

Let $\Gamma=(V,E)$ be a finite graph and let the walker live in the Hilbert space
$$
\mathcal H=\mathrm{span}\{|v\rangle: v\in V\}.
$$
A tessellation $\mathcal T_i$ is a partition of $V$ into disjoint cliques. If
$$
\mathcal T_i=\{C^{(i)}_0,C^{(i)}_1,\dots,C^{(i)}_{m_i-1}\},
$$
then each polygon $C^{(i)}_k$ is assigned a normalized vector
$$
|\alpha^{(i)}_k\rangle=\sum_{v\in C^{(i)}_k} a^{(i)}_{k,v}|v\rangle,
\qquad
\sum_v |a^{(i)}_{k,v}|^2=1.
$$
Because polygons in the same tessellation do not overlap, these vectors are mutually orthogonal. The associated local reflection is
$$
R_i=2\sum_{k=0}^{m_i-1}|\alpha^{(i)}_k\rangle\langle \alpha^{(i)}_k|-I,
$$
which is unitary and Hermitian, with $R_i^2=I$. For a tessellation cover with $M$ tessellations, one step of the standard staggered walk is
$$
U=R_M R_{M-1}\cdots R_2 R_1.
$$
In the frequently studied 2-tessellable case, this reduces to $U=U_B U_A$ or $U=U_1U_0$ [1505.04761].

The search version is obtained either by partial tessellation or by an additional reflection on marked vertices. For a marked set $M\subseteq V$, one may insert
$$
R_M=2\sum_{m\in M}|m\rangle\langle m|-I,
$$
so that, for two tessellations, the search evolution can be written as
$$
U_M=R_M R_1 R_M R_0.
$$
The time evolution is $|\psi(t)\rangle=(U_M)^t|\psi(0)\rangle$, and the success probability is the total probability on the marked set [1505.04761].

The Hamiltonian extension keeps the same reflections but replaces them by continuous rotations generated by those reflections:
$$
U=e^{i\theta_1 H_1}e^{i\theta_0 H_0},
$$
where each $H_j$ is itself Hermitian and unitary. When $\theta_0=\pm\pi/2$ and $\theta_1=\mp\pi/2$, the standard SQW step $H_1H_0$ is recovered up to a global phase. The same framework also admits Trotter–Suzuki approximations to evolution under $H_0+H_1$ [1605.02774].

## 2. Tessellations, clique graphs, and graph-theoretic constraints

The graph-theoretic structure of SQWs is unusually explicit. A connected graph $\Gamma$ is 2-tessellable if and only if its clique graph $K(\Gamma)$ is 2-colorable [1603.02210]. More generally, the tessellation number $T(G)$ is the minimum number of tessellations in a tessellation cover. If $\chi(K(G))>2$, then
$$
3\le T(G)\le \chi(K(G)),
$$
where $\chi(K(G))$ is the chromatic number of the clique graph. The upper bound comes from coloring maximal cliques so that intersecting cliques receive different colors, each color class then defining a tessellation [1705.09014].

This graph-theoretic viewpoint separates several classes relevant to model reduction. Graphs that are not line graphs cannot embed into Szegedy or coined models. Line graphs of non-bipartite graphs still cannot become Szegedy walks, while line graphs of bipartite graphs may become Szegedy walks precisely in the 2-tessellable case with no edge in the intersection of the two tessellations. A further subclass admitting a perfect matching partition yields coined walks when uniform polygon states are used [1603.02210].

The minimum tessellation problem is algorithmically nontrivial. For any fixed $k\ge 3$, deciding whether a graph is $k$-tessellable is NP-complete. In triangle-free graphs, every clique has size at most $2$, so each tessellation is exactly a matching; the reduction from $k$-edge-coloring makes the hardness statement particularly transparent [1705.09014].

Polygon intersections are structurally important. If the intersection $I=P\cap Q$ of polygons has size $|I|>1$, new eigenvectors supported entirely on that intersection can appear. In the framework of intersection expansion and reduction, replacing a single vertex by a $k$-clique or collapsing a $k$-vertex intersection back to a single vertex preserves the coarse-grained dynamics outside the internal intersection modes. In particular, a $k$-vertex intersection contributes $k-1$ additional eigenvectors with eigenvalue $(−1)^{\ell}$, where $\ell$ is the number of tessellations in which the intersection participates [1810.02387]. This enables equivalences between SQWs on different graphs and can convert an SQW not directly included in Szegedy’s model into one that is equivalent after reduction [1810.02387].

## 3. Relations to Szegedy, coined, partition-based, hypergraph, and continuous-time models

The best-known structural result is that any instance of Szegedy’s model is equivalent to an instance of the staggered model. The construction passes through the line graph of a bipartite graph: the $\alpha$- and $\beta$-tessellations are induced by the Szegedy reflection states, and the staggered evolution $U=R_1R_0$ reproduces the Szegedy walk up to relabeling of basis vectors [1505.04761]. The converse requires a restriction: a two-tessellation SQW is of Szegedy type when each intersection between one polygon from the $\alpha$-tessellation and one polygon from the $\beta$-tessellation consists of exactly one vertex [1505.04761].

The same staggered formalism also mediates the relation between coined and Szegedy walks. For flip-flop coined walks, the coin can be represented as an orthogonal reflection on a clique replacing each original vertex, while the shift becomes a reflection on 2-vertex polygons corresponding to matched edge states. Under this construction, coined search, staggered partial-tessellation search, and Szegedy search with sinks are exactly equivalent under the associated graph transformations [1509.08852].

The Hamiltonian formulation broadens these inclusions. The staggered walk with Hamiltonians contains the standard SQW, Szegedy’s model, and an important subset of the coined model. Any flip-flop coined walk $S\cdot C$ with a coin $C=e^{i\theta_0H_0}$ and a shift $S=2\Pi_S-I$ can be represented on an enlarged graph by
$$
U=e^{i(\pi/2)S}e^{i\theta_0H_0},
$$
which is precisely of staggered-Hamiltonian form [1605.02774].

The unification extends beyond named walk models. The two-partition model, based on two equivalence-class partitions of the computational basis, is unitarily equivalent to the 2-tessellable staggered model, to the square of the coined walk, and to the corresponding bipartite walk. In that setting, changing formalism does not alter the spectrum or dynamics [1707.07127]. At a still higher level of abstraction, every staggered quantum walk is a strong instance of a generalized hyperwalk on the hypergraph $H=(V,\{V\})$, with identity coin and time-dependent shift operators chosen to match the staggered reflections [1809.04521].

A more selective connection links staggered walks with Hamiltonians to continuous-time quantum walks. On certain Cayley graphs, when the tessellation cover is a factorization and the local Hamiltonians commute, the staggered step can be written as
$$
U=e^{-i\phi}\exp(-i\,2\theta A),
$$
so that after $T$ steps one obtains the continuous-time propagator $\exp(-itA)$ sampled at $t=2\theta T$, up to a global phase. In this sense the staggered model acts as a discretization of the continuous-time walk on that class of graphs [1701.03423].

## 4. Spectral theory and eigenstructure

For 2-tessellable SQWs, the spectral problem reduces to a smaller matrix built from tessellation overlaps. If the two reflections are written as
$$
U_A=2AA^*-I,\qquad U_B=2BB^*-I,
$$
with $A$ and $B$ isometries whose columns are polygon states, then
$$
U=U_B U_A=(2BB^*-I)(2AA^*-I).
$$
A determinant formula gives
$$
\det(I-uU)
=(1-u)^{|V|-(m+n)}(1+u)^{n-m}
\det\!\bigl((1+u)^2I_m-4u\,A^*BB^*A\bigr),
$$
and equivalently with the $n\times n$ block $B^*AA^*B$. Hence the nontrivial spectrum is determined by the eigenvalues $\mu_j$ of
$$
T:=A^*BB^*A.
$$
If $\cos^2\theta_j=\mu_j$, then the corresponding eigenvalues of $U$ are $e^{\pm 2i\theta_j}$, together with $+1$ of multiplicity $|V|-(m+n)$ and $-1$ of multiplicity $|n-m|$ [1701.08274].

For staggered search, the same reduction appears in singular-value form. If $A=\mathrm{span}\{|\alpha_k\rangle\}$ and $B=\mathrm{span}\{|\beta'_\ell\rangle\}$ are the polygon subspaces after marking, then the discriminant matrix
$$
D_{k,\ell}=\langle \alpha_k|\beta'_\ell\rangle
$$
has singular values $\cos\theta_j$, and the search operator has eigenvalues $e^{\pm 2i\theta_j}$. The $+1$ and $-1$ sectors are then described by intersections such as $A\cap B$, $A\cap B^\perp$, $A^\perp\cap B$, and $A^\perp\cap B^\perp$ [1505.04761].

A more refined account interprets a 2-tessellable SQW as a quantum Markov chain on the underlying multigraph whose line graph is the original graph. In that language one defines the double discriminant matrix
$$
T=
\begin{pmatrix}
0 & T_{AB}\\
T_{BA} & 0
\end{pmatrix},
\qquad
T_{AB}=A^\dagger B,
$$
and the notion of quantum detailed balance. If quantum detailed balance holds, there is an eigenvector for each fundamental cycle of the underlying multigraph; if it does not hold, two fundamental cycles linked by a path are required to construct the remaining eigenvectors [1811.02116]. On the kagome lattice, this program yields explicit eigenvectors supported on 6-cycles in the $-e^{-2i\theta}$ sector and explains the associated localization behavior [1811.02116].

## 5. Search algorithms and asymptotic performance

The staggered model supports a native search framework. A marked set can be encoded either by omitting polygons from one tessellation or by inserting a marking reflection, and the natural analogue of Szegedy’s quantum hitting time is
$$
H_M=\min\left\{T:\frac{1}{T+1}\sum_{t=0}^{T}\bigl\|\,|\psi(t)\rangle-|\psi(0)\rangle\,\bigr\|^2\ge 1-\frac{|M|}{N}\right\}.
$$
This definition measures the time-averaged departure of the walk from the initial state once the marked set has been detected [1505.04761].

A central result concerns the $2n\times 2n$ toroidal grid with one marked vertex and cyclic boundary conditions. In the staggered-with-Hamiltonians construction, four tessellations $T_{00},T_{01},T_{10},T_{11}$ partition the edges into 2-cliques, each generating a reflection $H_{ab}=2\Pi_{ab}-I$. With $\theta=\pi/4$ one defines local unitaries $U_{ab}=e^{i\theta H_{ab}}$ and the walk step
$$
U=-U_{11}U_{10}U_{01}U_{00}.
$$
Marking $(0,0)$ by
$$
R_0=I-2|0,0\rangle\langle 0,0|,
$$
the search propagator is $\mathcal U_0=UR_0$. Spectral analysis shows that $\mathcal U_0$ acquires two eigenvalues $e^{\pm i\lambda}$ with
$$
\lambda=\Theta\!\left(\frac{1}{\sqrt{N\ln N}}\right).
$$
The first maximum occurs at
$$
t\simeq \frac{\pi}{2\lambda}=\Theta(\sqrt{N\ln N}),
$$
and the peak success probability is $\Theta(1/\ln N)$. Amplitude amplification raises the cost to $O(\sqrt N\ln N)$ for constant success, whereas Tulsi’s extra-qubit trick or Ambainis post-processing gives constant success in $O(\sqrt{N\ln N})$ [1701.01468].

The angle choice is decisive. Numerical results show that the original coinless staggered walk with $\theta=\pi/2$, or perturbations away from $\pi/4$, do not produce the same spectral collapse: both the smallest gap of $U$ and the special search gap of $\mathcal U_0$ tend to the nonzero constant $|4\theta-\pi|$ as $N\to\infty$, and the search remains as slow as a classical random walk, requiring no fewer than $O(N\ln N)$ steps [1701.01468]. This is one of the clearest examples in which the Hamiltonian generalization is not merely formal but algorithmically decisive.

The hexagonal lattice gives a complementary example in which more than two tessellations are essential. Because the edge-chromatic number of the hexagonal lattice is $\chi'(G)=3$, the walk uses three tessellations and a step
$$
U=e^{i\theta H_2}e^{i\theta H_1}e^{i\theta H_0}.
$$
Fourier reduction yields $2\times2$ blocks with eigenvalues $e^{\pm i\phi_{k\ell}}$. The position standard deviation satisfies $\sigma(t)\propto t$, and site amplitudes decay as $O(1/t)$, so there is no localization. For spatial search with one marked node and cyclic boundary conditions, choosing $\theta=\pi/3$ makes the small-$(k,\ell)$ spectral gap close to zero, giving
$$
T_{\mathrm{search}}=\Theta(\sqrt{N\ln N}),
\qquad
P_{\max}=\Theta(1/\ln N),
$$
with Tulsi’s modification boosting the success probability to $O(1)$ without changing the asymptotic runtime [1806.10249].

The staggered framework also yields search constructions outside Szegedy’s class. On a toroidal array of $n\times n$ 8-cliques linked by 4-cliques, marking the central 8-clique gives a success-probability peak
$$
p_{\max}\approx \frac{0.53}{(\ln N)^{0.60}},
$$
an optimal step
$$
T\approx 0.32\,N^{0.57},
$$
and, after amplitude amplification, total cost
$$
O\!\bigl(N^{0.57}(\ln N)^{0.30}\bigr),
$$
which is faster than the classical $O(N)$ random-walk hitting time [1603.02210].

## 6. Hamiltonian realizations, implementations, and later extensions

The Hamiltonian extension was motivated by physical realizability. In many experimental platforms it is easier to alternate fixed, time-independent Hamiltonians than to synthesize arbitrary reflections directly, and the staggered-Hamiltonian step
$$
U=e^{i\theta_1H_1}e^{i\theta_0H_0}
$$
fits naturally with this constraint. The framework was proposed as suitable for implementation with cold atoms, superconducting resonators, and nano-electromechanical arrays, and it supports first-order Trotter and higher-order Suzuki decompositions when the target is an effective Hamiltonian $H_0+H_1$ [1605.02774].

A concrete superconducting implementation uses the single-photon subspace of an array of microwave resonators coupled by SQUIDs. In one dimension, alternating even-link and odd-link couplings realizes two Hamiltonians $H_0$ and $H_1$, with the full step $U=U_1U_0$. Reported parameters include resonator frequency $\omega\approx 600\,\mathrm{MHz}$, tunable coupling $\kappa$ up to $\approx 10\,\mathrm{MHz}$, single-photon lifetime $T_1\approx 100\,\mu\mathrm{s}$, and flux-pulse rise-time $\approx 0.1\,\mu\mathrm{s}$, implying that more than $1000$ steps are feasible [1609.09844]. The same physical setting was later used to study boundary-induced coherence on different topologies. By modifying boundary couplings, the staggered dynamics was defined on the torus, Klein bottle, real projective plane, and sphere; for $d=100$, $\kappa\tau=\pi/3$, and $\omega\tau=2\pi$, the sphere yielded the highest coherence and entropy, while the classical random walk analogue was insensitive to boundary twists [1804.04331].

Rydberg-atom architectures supply a more recent implementation route. In that proposal, each clique in a tessellation is processed by preparing a W-state, applying a native $C^{s-1}Z$ gate, and undoing the preparation, thereby realizing the tessellation reflection
$$
W_\alpha=I-2\sum_k |\alpha_k\rangle\langle \alpha_k|.
$$
A classical preprocessing algorithm assigns colors to edges so that edges of the same color form disjoint cliques; its overall complexity is $O(md^2)$, where $m=|E|$ and $d$ is the average degree. On random geometric graphs, the number of colors scales numerically as $T=O((r/r_c)\log N)$, and the total preprocessing time becomes $O((r/r_c)^6N\log^3N)$. The same work reports numerically that spatial search on such graphs has query complexity $O(\sqrt N)$, with an overall number of Rydberg-gate layers $O(\sqrt N\log N)$ [2507.21011].

Optical networks provide another physical interpretation. A staggered array of 50/50 beam splitters arranged in alternating layers implements a coinless discrete-time walk in which a single beam splitter simultaneously splits amplitude and shifts it to the next layer. In that setting, onefold, twofold, and threefold coincidence functions reveal multiphoton interference effects beyond the single-particle walk, and the staggered geometry leads to exact destructive interference at specific detectors and higher-order correlation zeros [1112.3992].

Later extensions also addressed noise and generalization. Percolation-inspired decoherence in SQWs was modeled by breaking polygons or breaking vertices, producing random time-dependent reflection operators that map directly to edge and coin percolation in the coined walk picture. On the two-dimensional grid of 4-cliques, very small noise rates preserve the quantum speedup, while larger rates degrade it toward classical scaling; enlarging tessellation intersections from $4$ to $4q$ improves robustness, with a heuristic degradation of order $O(p/q)$ [2112.02846]. At the same time, the hypergraph perspective showed that every SQW can be embedded into a generalized hyperwalk, and the lattice literature extended staggered constructions to geometries such as the hexagonal and kagome lattices, where tessellation number, cycle structure, and localization become model-defining features [1809.04521][1806.10249][1811.02116].

Staggered quantum walks therefore occupy a distinct position among discrete-time quantum walks: they are defined directly on graph vertices by tessellation-induced reflections, admit a sharp graph-theoretic characterization, possess a compact spectral theory in the 2-tessellable case, support search algorithms with lattice-dependent asymptotics, and admit multiple physically motivated Hamiltonian realizations [1505.04761][1701.08274][1605.02774].

Source: https://www.emergentmind.com/topics/staggered-quantum-walks