Coin-State Metrology in Quantum Walks

• Coin-state metrology is a quantum parameter estimation paradigm that encodes unknown parameters in the coin degree of freedom of a discrete-time quantum walk.
• It exploits coin dimensionality and entanglement to achieve quadratic scaling in quantum Fisher information, mapping physical properties like mass and charge to coin settings.
• Adaptive protocols and joint walker–coin measurements enable simultaneous estimation of multiple parameters, paving the way for advanced quantum sensors.

Coin-state metrology is a quantum parameter estimation paradigm in which the unknown parameter is encoded in the internal “coin” degree of freedom of a quantum walker undergoing a discrete-time quantum walk (DTQW). The walker’s state evolution, dictated by coin-dependent unitary operators, facilitates the extraction of metrological information via projective or adaptive measurements. Coin-state metrology leverages quantum resources such as entanglement and coin dimensionality, enabling precision enhancements that surpass classical bounds and offering robust multi-parameter estimation protocols, including those where physical Hamiltonian parameters (e.g., mass, charge) are mapped to coin parameters.

1. Coin-State Encoding in Discrete-Time Quantum Walks

In DTQWs, the Hilbert space is decomposed as a tensor product $\mathcal{H} = \mathcal{H}_p \otimes \mathcal{H}_c$, with $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$ and $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$, where the coin space may be $D$-dimensional. The single-step walk is governed by a propagator $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$, where $\mathcal{C}(\theta)$ is a coin operator parametrized by the target unknown parameter $\theta$, and $\mathcal{S}$ is a conditional shift in position based on the coin outcome. For spin-$s$ coins, $\mathcal{C}(\theta)$ typically implements rotations around a fixed axis $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$0: $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$1, where $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$2 are SU(2) generators (Cavazzoni et al., 2023).

The coin parameters can realize physical quantities, e.g., mixing angles and relative phases corresponding to Dirac mass and charge (via Trotterization) in the DTQW (Annabestani et al., 2021).

2. Quantum Fisher Information and Precision Scaling

The metrological power of a quantum protocol is quantified by the quantum Fisher information (QFI). For a pure state $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$3 after $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$4 steps:

$\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$5

For rotation encoding about $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$6, the QFI is:

$\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$7

where $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$8 are the coin state population amplitudes (Cavazzoni et al., 2023). The maximal QFI is attained for $\mathcal{H}_p = \mathrm{span}\{\ket{x}_p\}$9, yielding $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$0, exhibiting quadratic scaling in both coin dimension $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$1 and step number $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$2.

In multi-parameter metrology with the general 2$\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$32 coin operator $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$4, only the mixing angle ($\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$5) and relative phase ($\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$6) parameters can be accessed (rank-2 QFI), with Fisher matrix components given in closed form:

• $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$7
• $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$8 and $\mathcal{H}_c = \mathrm{span}\{\ket{j}_c\}$9 at the optimum (Annabestani et al., 2021).

Grover-like coin encodings can result in divergent QFI as the parameter approaches its boundary (e.g., $D$0 in $D$1), with optimal probes depending on coin structure (Cavazzoni et al., 2023).

3. Optimal Probe States and Measurement Strategies

The optimal initial state for maximal QFI in rotation encoding is $D$2, with $D$3 for $D$4-axis rotation, generalizing to higher-dimensional coins.

For the accessible two-parameter subspace of a general coin, a suitably entangled walker-coin state or a localized position state with optimal Bloch vector achieves classical error scaling ($D$5). The projective measurement in the eigenbasis of commuting SLDs $D$6 saturates the quantum Cramér–Rao bound; these measurements can be implemented via joint walker-coin projections or coin-only interferometry after Fourier-sampled $D$7-space readout (Annabestani et al., 2021).

Position-only measurement is optimal for $D$8/$D$9 coin rotations only near $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$0, with classical Fisher information $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$1 in that regime, but becomes suboptimal for larger angles or for $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$2-rotations where $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$3 (Cavazzoni et al., 2023).

4. Multi-Parameter Estimation and Asymptotic Classicality

Coin-state metrology supports the simultaneous estimation of multiple parameters, notably when coin parameterization relates directly to physical quantities (e.g., mass and charge in the Dirac model). The accessible subspace leads to a rank-2 quantum Fisher information matrix, with the remaining parameter (global phase $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$4) uncoupled from the metrological protocol: $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$5 and $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$6 for all $\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$7 (Annabestani et al., 2021).

The two-parameter coin model exhibits vanishing Uhlmann curvature, rendering the asymptotic estimation problem classical; the SLDs commute and the protocol admits a common projective measurement basis, ensuring saturation of both matrix and scalar Cramér–Rao bounds.

For Dirac-walker mass ($\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$8) and charge ($\mathcal{U}(\theta) = \mathcal{S}[\openone_p \otimes \mathcal{C}(\theta)]$9), the coin parameters are linearly mapped: $\mathcal{C}(\theta)$0, $\mathcal{C}(\theta)$1 ($\mathcal{C}(\theta)$2 is a time step), and the estimation variance $\mathcal{C}(\theta)$3 (Annabestani et al., 2021).

5. Coin Dimensionality as a Metrological Resource

Increasing the coin dimension $\mathcal{C}(\theta)$4 in DTQW-based metrology provides a systematic enhancement of attainable precision. For rotation encoding about $\mathcal{C}(\theta)$5, the quantum Fisher information scales as $\mathcal{C}(\theta)$6, with higher $\mathcal{C}(\theta)$7 directly amplifying sensitivity (Cavazzoni et al., 2023). For $\mathcal{C}(\theta)$8/$\mathcal{C}(\theta)$9 rotations, similar but weaker $\theta$0-dependence is observed, with asymptotic prefactors (e.g., $\theta$1, $\theta$2, $\theta$3 for $\theta$4 respectively).

Grover-like coin operators also exhibit QFI enhancement with increasing $\theta$5 and parameter-dependent singularities, contingent on the probe state's structure.

Experimental realizations of high-dimensional coins utilize multi-port interferometers (path-encoded qudits, orbital angular momentum modes), higher-spin physical systems (atoms, ions), and photonic lattices. Challenges include precise implementation of coin rotations, maintenance of coherence, and operational complexity of joint walker–coin measurements.

6. Adaptive Coin-Bias Estimation in Quantum Walks

Adaptive quantum-enhanced metrology (AQEM) leverages real-time feedback to iteratively refine parameter estimates in multipartite quantum walks. For coin-bias estimation, a decision-tree framework is implemented, where successive measurement outcomes modulate the coin parameter for each walker, forming a single-shot estimator $\theta$6 of the bias $\theta$7.

To circumvent exponential memory requirements, outcome coarse-graining is used (partitioning into four positional bins), combined with a logarithmic-search parametrization, reducing memory to $\theta$8 for $\theta$9 walkers (Lovett et al., 2013). Policy optimization is performed via differential evolution (DE) over candidate feedback laws, yielding estimation error scaling $\mathcal{S}$0, beating the standard quantum limit ($\mathcal{S}$1) and outperforming particle swarm optimization (PSO), which becomes intractable for $\mathcal{S}$2. DE policies remain robust up to $\mathcal{S}$3 walkers.

An optical implementation utilizes photonic polarization for coin states, half-wave plates for controllable bias, and fiber loops for multi-step walks. Real-time feedback and measurement update are realized with MHz-rate electronics. Numerical benchmarks demonstrate $\mathcal{S}$4 speed-up and extended scaling regimes compared to PSO (Lovett et al., 2013).

7. Practical Impact and Experimental Considerations

Coin-state metrology via DTQW protocols establishes a versatile framework for quantum parameter estimation, supporting scalable error scaling, multi-parameter access, and adaptability to diverse physical systems. While joint walker–coin measurements are generally required to saturate the theoretical quantum bounds, realistic protocols may exploit high-dimensional coins and temporal feedback to optimize performance under experimental constraints.

Robust adaptive protocols and enhanced quantum Fisher information via coin-state engineering open avenues for quantum sensors, Hamiltonian diagnostics, and fundamental studies in quantum information processing, provided coherence and unitarity of coin operations can be maintained throughout the metrological sequence.