---
title: Discrete-Time Photonic Quantum Walk
url: https://www.emergentmind.com/topics/discrete-time-photonic-quantum-walk
type: topic
---

# Discrete-Time Photonic Quantum Walk

Discrete-time photonic quantum walks are stroboscopic quantum evolutions in which a photonic “walker” propagates on a discrete lattice under repeated application of a unitary step operator that combines an internal two-level “coin” transformation with a conditional shift in position. In photonic implementations, the walker has been encoded in path modes, time bins, orbital angular momentum, transverse momentum, and other synthetic coordinates, while the coin has commonly been encoded in polarization. This stepwise Floquet structure distinguishes discrete-time quantum walks from continuous-time quantum walks generated by static Hamiltonians, and it underlies their use in quantum transport, multiphoton interference, Floquet band engineering, non-Hermitian scattering, and topological phenomena [1912.09952].

## 1. Formal definition and operator structure

A one-dimensional discrete-time quantum walk acts on a Hilbert space that factorizes as $H = H_{\text{coin}} \otimes H_{\text{pos}}$, with $H_{\text{coin}} = \mathrm{span}\{|0\rangle,|1\rangle\}$ and $H_{\text{pos}} = \mathrm{span}\{|x\rangle\}$ [1106.5713]. In photonic realizations, the identification $|0\rangle \to |H\rangle$ and $|1\rangle \to |V\rangle$ is common, so polarization provides the coin degree of freedom while the walker occupies a discrete set of photonic modes or positions [1912.09952].

The standard single-step unitary is
$$
U = S (C \otimes I),
$$
where $C$ is a local $SU(2)$ coin and $S$ is a conditional translation [1912.09952]. In one common convention,
$$
S = \sum_x \left( |x+1\rangle\langle x| \otimes |0\rangle\langle 0| + |x-1\rangle\langle x| \otimes |1\rangle\langle 1| \right),
$$
while in polarization language this becomes a routing of $|H\rangle$ and $|V\rangle$ into opposite directions [1912.09952]. After $T$ steps the evolution is $U^T$ [1106.5713].

Several photonic implementations use alternative but equivalent operator orderings. In the time-multiplexed topological walk of the supersymmetric polarization-anomaly experiment, the single-step operator is written
$$
U = S \cdot C(\phi_x),
$$
with
$$
C(\phi_x)=\sum_x |x\rangle\langle x| \otimes e^{-i\phi_x \sigma_x},
$$
and
$$
S = \sum_x \left( |x+1\rangle\langle x| \otimes |H\rangle\langle H| + |x-1\rangle\langle x| \otimes |V\rangle\langle V| \right)
$$
[1804.09496]. Split-step walks refine the same principle by decomposing the full translation into two half-shifts,
$$
U_{\mathrm{SS}}(\theta_1,\theta_2)=S_+ R(\theta_2) S_- R(\theta_1),
$$
thereby exposing Floquet topological structure more directly [1912.09952].

Momentum-space analysis is central for translationally invariant walks. The Floquet operator $U(k)$ has eigenvalues $e^{-iE(k)}$, where $E(k)$ is the quasienergy [1912.09952]. In the single-rotation optical walk reviewed there,
$$
\cos E_\theta(k)=\cos k \cos \theta,
$$
whereas in split-step walks
$$
\cos E_{\theta_1,\theta_2}(k)=\cos k \cos \theta_1 \cos \theta_2 - \sin \theta_1 \sin \theta_2
$$
[1912.09952]. This Floquet description permits independent gaps at quasienergies $0$, $\pi$, and, in some symmetry classes, also $\pm \pi/2$ [1804.09496].

## 2. Photonic encodings and experimental architectures

Photonic DTQWs have been realized with bulk optics, integrated photonics, time-multiplexed fiber loops, single-beam orbital-angular-momentum platforms, and synthetic lattices in transverse momentum [1912.09952]. The choice of platform determines how the abstract position basis $\{|x\rangle\}$ is embedded into physical modes and how the coin and shift are implemented.

| Architecture | Walker encoding | Coin encoding |
|---|---|---|
| Bulk/spatial multiplexing | distinct paths or spatial modes | polarization |
| Time multiplexing | time bins | polarization |
| OAM single-beam walks | orbital angular momentum $\{|l\rangle\}$ | polarization |
| Transverse-momentum synthetic lattice | discrete momentum modes | polarization |

In free-space spatial multiplexing, calcite beam displacers implement the conditional shift and waveplates implement the coin; concatenating such modules yields multiple steps [1912.09952]. Integrated photonic implementations instead use directional couplers or cascaded interferometers. In a four-step 3D integrated circuit, balanced directional couplers realize the Hadamard coin and the conditional routing simultaneously, with a transition rule
$$
|j,D\rangle_T \longrightarrow \frac{1}{\sqrt{2}}\left(|j-1,D\rangle_{T+1} - |j+1,U\rangle_{T+1}\right),
$$
$$
|j,U\rangle_T \longrightarrow \frac{1}{\sqrt{2}}\left(|j+1,U\rangle_{T+1} + |j-1,D\rangle_{T+1}\right)
$$
[1106.5713]. That device used femtosecond-laser-written waveguides, a $62^\circ$ tilt angle in the coupling region to equalize $H$ and $V$ coupling, a waveguide separation of $11\,\mu\mathrm{m}$, interaction length $L \approx 2.1\,\mathrm{mm}$ for balanced splitting, and total chip length $32\,\mathrm{mm}$ [1106.5713].

Time-multiplexed architectures encode position in arrival-time bins. A polarizing beam splitter and differential delays implement the shift, while waveplates or electro-optic modulators implement the coin [1912.09952]. In the topological fiber-loop experiment, a polarizing beam splitter separated $H$ and $V$ components into fibers of different lengths so that $H \to x+1$ and $V \to x-1$, and a Soleil–Babinet compensator together with a fast electro-optic modulator implemented the position-dependent coin $e^{-i\phi_x \sigma_x}$ [1804.09496]. More generally, time multiplexing routinely achieves $n \approx 20$ steps, with coupling per roundtrip exceeding $70\%$, overall per-roundtrip survival $\eta \approx 0.50$, and outcoupling at $\sim 5\%$ per step [1912.09952].

Single-beam realizations replace spatial interferometer networks with structured-light modes. In one implementation, the walker is the orbital angular momentum state $|l\rangle$ and the coin is circular polarization $\{|L\rangle,|R\rangle\}$ [1407.5424]. A $q$-plate with $q=1/2$ implements the conditional OAM shift
$$
\hat S = \sum_{l\in\mathbb{Z}} \left( |l+1\rangle\langle l| \otimes |L\rangle\langle L| + |l-1\rangle\langle l| \otimes |R\rangle\langle R| \right),
$$
after compensation of the spin flip induced by the plate [1407.5424]. A closely related proposal had already described the same SAM–OAM mapping and showed how tuned $q$-plates with $\delta=\pi$ produce $|l,R\rangle \mapsto i|l+1,L\rangle$ and $|l,L\rangle \mapsto i|l-1,R\rangle$, with a compensating half-wave plate restoring the conventional shift operator [1002.0638].

Synthetic lattices in transverse momentum provide another route. In the 2D two-photon DTQW, a site $(m,n)$ was encoded as a Gaussian beam with transverse tilt $(m\Delta k_\perp,n\Delta k_\perp)$, and geometric-phase polarization gratings implemented conditional translations $T_x(\pi)$ and $T_y(\pi)$ [2204.09382]. A plausible implication is that such synthetic-space platforms bridge path-based and mode-based realizations while keeping the walk in a compact optical footprint.

## 3. Symmetries, bands, and topological structure

The Floquet character of DTQWs makes symmetry analysis especially important. In split-step and related walks, chiral symmetry yields winding numbers and bulk–boundary correspondence [1912.09952]. In the supersymmetric polarization-anomaly experiment, the Bloch operator in a symmetry-adapted basis obeys
$$
\Gamma u'(k)\Gamma = u'(k)^\dagger,\qquad \Gamma=\sigma_y,
$$
which protects the gaps at $\lambda=\pm 1$ corresponding to quasienergies $0$ and $\pi$ [1804.09496]. An additional independent symmetry acts on the sublattice degree of freedom,
$$
u'(k) = - \Sigma_z u'(k) \Sigma_z,
$$
producing paired eigenvalues $(\lambda,-\lambda)$ and protecting the gaps at $\lambda=\pm i$ [1804.09496]. The paper identifies this as a “unitary supersymmetry,” and the squared evolution factorizes as
$$
u^2(k)=\mathrm{diag}\big(u_{12}(k)u_{21}(k),\,u_{21}(k)u_{12}(k)\big),
$$
in analogy with supersymmetric Hamiltonians [1804.09496].

For the alternating two-site unit cell of that walk, the quasienergy bands satisfy
$$
\mathrm{Re}[\lambda^2(k)] = \cos\phi_1 \cos\phi_2 \cos k - \sin\phi_1 \sin\phi_2,
$$
with four bands related by
$$
\lambda_1(k)=\lambda_2^*(k)=-\lambda_3(k)=-\lambda_4^*(k)
$$
[1804.09496]. Bulk states with $\lambda \neq \pm i,\pm 1$ obey the symmetry-enforced constraints $\langle \sigma_y\rangle=0$, $\langle \Sigma_z\rangle=0$, and $\langle \Sigma_z \sigma_y\rangle=0$, which confine them to wind on a 3-torus defined by the angles $(\alpha,\beta,\gamma)$ [1804.09496]. Interchanging the order of $\phi_1$ and $\phi_2$ in the unit cell changes that winding, so a domain wall binds midgap states at $\lambda=\pm i$ [1804.09496].

Topological DTQWs also extend naturally beyond one dimension. In a study of 2D Zak-phase landscapes, separable photonic DTQWs preserving spatial inversion symmetry and time-reversal symmetry were shown to have vanishing Berry curvature yet nontrivial Zak-phase structure because the Berry connection remains nonzero [2306.12540]. For the Hadamard walk, non-commuting-rotation walk, and split-step walk, the dispersions are
$$
\cos(E_\theta(k))=\cos(k)\cos(\theta),
$$
$$
\cos(E_{\theta,\phi}(k))=\cos(k)\cos(\theta)\cos(\phi)+\sin(k)\sin(\theta)\sin(\phi),
$$
$$
\cos(E_{\theta_1,\theta_2}(k))=\cos(k)\cos(\theta_1)\cos(\theta_2)-\sin(\theta_1)\sin(\theta_2),
$$
respectively [2306.12540]. The extended 2D Zak phase was written as
$$
Z=\frac{1}{2\pi}\int_{BZ} dk_x\,dk_y\,\mathrm{Tr}[A(k_x,k_y)],
$$
and a protocol was proposed to break time-reversal symmetry while keeping the Berry curvature zero by enforcing $\phi(k_x)=-\phi(k_y)$ [2306.12540].

Higher-order topology has also been formulated in coinless DTQWs. A two-dimensional coinless walk with a four-substep Floquet operator
$$
U_{\mathrm{step}} = e^{-i(\pi/4)H_{2y}} e^{-i(\pi/4)H_{1y}} e^{-i(\pi/4)H_{2x}} e^{-i(\pi/4)H_{1x}}
$$
simulates a second-order topological insulator with zero-dimensional corner states [2003.08637]. The effective Floquet Hamiltonian obeys sublattice symmetry
$$
S U_{\mathrm{step}} S^{-1}=U_{\mathrm{step}}^{-1},
$$
and the quadrupole phase is diagnosed by a $\mathbb{Z}_2$ invariant
$$
\nu = 4 p_y^{v_x^\pm} p_x^{v_y^\pm} \in \{0,1\}
$$
computed from nested Wilson loops [2003.08637]. This suggests that DTQWs support not only conventional edge topology but also higher-order bulk–boundary correspondence.

## 4. Polarization, tomography, and anomalies

Because many photonic DTQWs encode the coin in polarization, polarization-resolved detection gives direct access to internal-state dynamics that are often inaccessible in other quantum-walk platforms. In the supersymmetric anomaly experiment, the polarization Pauli operators $\sigma_x,\sigma_y,\sigma_z$ were mapped onto Stokes-like observables, with circular polarization corresponding to finite $\langle \sigma_y\rangle$ in the symmetry-adapted basis $\{|H'\rangle,|V'\rangle\}$ [1804.09496].

Bulk and midgap states have sharply different polarization signatures in that walk. For bulk bands with $\lambda \neq \pm i$, the constraints enforce $\langle \sigma_y\rangle = \langle \Sigma_z \sigma_y\rangle = 0$, so bulk states are linearly polarized in the $H'/V'$ basis [1804.09496]. For the interface states at $\lambda=\pm i$, the constraint is lifted because $\lambda+\lambda^{-1}=0$, allowing
$$
\langle \psi_{\mathrm{midgap}}|\Sigma_z \sigma_y|\psi_{\mathrm{midgap}}\rangle = -1
$$
[1804.09496]. This fixes an alternating circular polarization pattern: even sites are right-handed with $\langle \sigma_y\rangle \approx +1$, and odd sites are left-handed with $\langle \sigma_y\rangle \approx -1$ [1804.09496].

The corresponding experiment used a bulk configuration with $\phi_1=1.29\,\mathrm{rad}$ and $\phi_2=0.17\,\mathrm{rad}$, and an interface configuration obtained by swapping the coin order at $x=1$ [1804.09496]. Trapping at $x=0$ after 13 steps varied strongly with the input polarization in the interface case, from approximately $0.3$ to $0.82$ as a quarter-wave-plate angle $\alpha$ was scanned, while varying only weakly in the bulk configuration [1804.09496]. Full tomography of the trapped state at step 17 and $x=0$ yielded
$$
|\psi\rangle \approx (0.70 \pm 0.03)|H'\rangle + (0.71 \pm 0.02)e^{i(0.47\pm 0.02)\pi}|V'\rangle,
$$
consistent with $\sqrt{1/2}(|H'\rangle+i|V'\rangle)$; on odd sites the observed state was $\sqrt{1/2}(|H'\rangle-i|V'\rangle)$ [1804.09496]. The central point is that the anomalous circular polarization is detected directly, without an external symmetry-breaking probe.

The same platform logic reappears in other photonic DTQWs. Time-multiplexed reviews emphasize that arrival-time histograms reconstruct position distributions while polarization analysis reconstructs the coin state [1912.09952]. In OAM-based single-beam walks, polarization analysis is combined with OAM projective measurements by waveplates, polarizers, and spatial-light-modulator holograms [1407.5424]. A plausible implication is that photonic DTQWs are unusual among Floquet simulators in permitting simultaneous access to walker and coin observables at the single-step level.

## 5. Multiphoton walks, exchange statistics, and interactions

Photonic DTQWs are not limited to single-particle transport. In a 3D integrated photonic circuit, two-photon polarization entanglement was used to emulate bosonic, fermionic, and anyonic exchange statistics in a four-step DTQW [1106.5713]. The key mechanism was polarization-independent spatial evolution: if the linear optical network acts identically on $H$ and $V$, then the symmetry of the polarization state controls the exchange symmetry of the spatial amplitudes [1106.5713]. The Bell states
$$
|\Psi^\pm\rangle = \frac{1}{\sqrt{2}}\left(|H\rangle_A|V\rangle_B \pm |V\rangle_A|H\rangle_B\right)
$$
generated effective bosonic-like and fermionic-like behavior, while
$$
|\Psi^\phi\rangle = \frac{1}{\sqrt{2}}\left(|H\rangle_A|V\rangle_B + e^{i\phi}|V\rangle_A|H\rangle_B\right)
$$
interpolated continuously between them [1106.5713].

Experimentally, the integrated device exhibited polarization-insensitive single-photon behavior with similarity $S_{1\mathrm{ph}}=0.992\pm0.002$, and two-photon distributions with $S_{\mathrm{bos}}=0.982\pm0.002$ for $|\Psi^+\rangle$, $S_{\mathrm{fer}}=0.973\pm0.002$ for $|\Psi^-\rangle$, and anyonic-state similarities up to $0.988\pm0.001$ [1106.5713]. Bosonic-like inputs enhanced diagonal and near-diagonal correlations, while fermionic-like inputs suppressed same-mode coincidences [1106.5713].

The extension to two-dimensional discrete-time dynamics was demonstrated in a synthetic transverse-momentum lattice for two correlated photons [2204.09382]. There the one-step unitary was
$$
U = T_y(\pi) C(\pi/4) T_x(\pi) C(\pi/4),
$$
with polarization as the coin and transverse momentum indices $(m,n)$ as the walker coordinates [2204.09382]. The experiment reached up to three DTQW steps, for which the number of accessible sites grew as $2$, $6$, and $12$ after steps $1$, $2$, and $3$ [2204.09382]. Indistinguishability was calibrated by Hong–Ou–Mandel interference with $v=0.95\pm0.02$, and the observed distributions had similarity $S_{1\mathrm{p}}^{(3)}=0.9773\pm0.0002$ for a single photon and $S_{2\mathrm{p}}^{(3)}=0.914\pm0.002$ for two photons [2204.09382]. A nonclassical correlation witness was violated by up to $96$ standard deviations at step 1 [2204.09382].

Most photonic DTQWs remain linear-optical. A distinct theoretical direction introduces strong interactions by replacing passive beam splitters with single-atom beam splitters [2201.11301]. In that construction, the one-photon scattering amplitudes are
$$
t_k = \frac{k-\Omega}{i\gamma + (k-\Omega)},\qquad
r_k = \frac{-i\gamma}{i\gamma + (k-\Omega)},
$$
while the two-photon $S$ matrix acquires a nonlinear term $B(k_1,k_2,p_1,p_2)$ that produces correlated transport and two-photon bound states [2201.11301]. For the example $\gamma=\delta=1$, $\kappa=0.002$, and $N=9$, the statistical pattern was boson-like at $\tau=0$, fermion-like at $\tau=0.7$, and linear for $\tau=5.0 \gg 1/\gamma$ [2201.11301]. Since this is a proposal rather than a completed experiment, it is best read as an interacting extension of the photonic DTQW framework.

## 6. Computation, non-Hermitian dynamics, and broader roles

Photonic DTQWs occupy an intermediate position between interferometric linear optics and programmable Floquet simulation. On the computational side, arbitrary graph walks can be described in second-quantized form by creation operators that transform linearly under the walk unitary, while multiphoton coincidence patterns reveal exchange interference [1006.5556]. For general graphs, the step is again $U=SC$, with local coins $A^{(x)}$ acting on the neighborhood of each vertex and a shift that permutes source and destination labels [1006.5556]. This framework is directly aligned with layered photonic interferometers built from beamsplitters, phase shifters, and deterministic mode routing [1006.5556].

A more recent time-multiplexed hybrid architecture translates arbitrary linear transformations into DTQW coin and step operators and maps them to experimental parameters of a fiber-loop platform [2509.22521]. In that work the per-step unitary is written
$$
U(n)=C(n)S,
$$
with coin states encoded in polarization, position in time bins, and an unbalanced Mach–Zehnder implementing the shift [2509.22521]. The compiler reduces the target transformation to nearest-neighbor couplers arranged in staggered layers, with worst-case depth $T \le K$ for a $K$-mode target and total programmed couplers on the order of $K(K-1)/2$ [2509.22521]. The same paper states that the architecture is “highly resilient against experimental imperfections” and that, in the local-network model analyzed there, similarity remains $1.0$ under random phase noise while fidelity is independent of average loss in the reported simulations [2509.22521].

Algorithmic use with a single walker has also been made explicit. A single-particle DTQW using polarization and path degrees of freedom was proposed for the Deutsch–Jozsa and Bernstein–Vazirani algorithms, retaining the one-query structure of both algorithms while reducing spatial-mode requirements by using polarization for one qubit and paths for the remaining qubits [2508.14659]. The implementation uses HWP-based Hadamard and Pauli-$X$ coins, $50{:}50$ beam splitters for path Hadamards, PBS-based conditional shifts, and phase shifters for oracle phases [2508.14659]. This suggests that DTQW-based photonic information processing can interpolate between algorithm-specific interferometers and more general universal processors.

Non-Hermitian DTQWs form another major branch. In coupled fiber loops with short- and long-loop amplitudes $(u_n^{(m)},v_n^{(m)})^T$, the one-step update in the presence of a complex potential $V_{n,m}$ is
$$
u^{(m+1)}_n = \left[\cos\beta\, u^{(m)}_{n+1} + i\sin\beta\, v^{(m)}_{n+1}\right] e^{-iV_{n,m+1}},
$$
$$
v^{(m+1)}_n = \left[\cos\beta\, v^{(m)}_{n-1} + i\sin\beta\, u^{(m)}_{n-1}\right]
$$
[2207.11423]. For drifting Kramers–Kronig potentials $V_{n,m}=\varphi(n+mv)$, invisibility is achieved when $\varphi(x)$ is analytic in one half-plane, decays faster than $1/|x|$, and the drift satisfies $v>\cos\beta$ in the slowly drifting regime [2207.11423]. Under those conditions the walk supports
$$
r(k)=0,\qquad t(k)=1
$$
for arbitrary incident wave packets [2207.11423].

A separate free-space platform realizes non-unitary DTQWs in transverse momentum using dichroic liquid-crystal metasurfaces [2503.05072]. There the non-unitary shift is
$$
T_{\delta,\eta}= e^{-\eta'/2}
\begin{pmatrix}
\cos\frac{\delta+i\eta}{2} & i\sin\frac{\delta+i\eta}{2}\,\hat t \\
i\sin\frac{\delta+i\eta}{2}\,\hat t^\dagger & \cos\frac{\delta+i\eta}{2}
\end{pmatrix},
$$
and the step operator is $U=T_{\delta,\eta}W$ with a uniform quarter-wave-plate coin $W$ [2503.05072]. Experiments reached five steps at six dichroism settings $\bar\eta=(0.57,0.48,0.40,0.31,0.23,0.13)$ with complex quasienergies
$$
E(q)=\arccos\!\left(\frac{\cos(\zeta/2)-\cos q\,\sin(\zeta/2)}{\sqrt{2}}\right),\qquad \zeta=\delta+i\eta
$$
[2503.05072]. Ballistic spreading persisted despite loss, indicating coherent non-unitary evolution rather than decoherence [2503.05072].

Across these directions, a recurring pattern is that discrete-time photonic quantum walks are valued not simply as optical analogues of random walks, but as programmable Floquet systems in which coin, shift, symmetry class, dimensionality, particle number, and even non-unitarity can be engineered directly in the optical hardware. The specific implementations differ substantially, but the operator language $U=SC$ and its variants remain the common framework linking topology, tomography, multiphoton interference, and photonic information processing [1912.09952].

Source: https://www.emergentmind.com/topics/discrete-time-photonic-quantum-walk