Recently, it has been shown that protocols utilizing infinitely fast controls, such as quantum error correction, can in principle restore Heisenberg-limited frequency estimation in the presence of a broad class of non-Markovian noise models arising from coupling to finite-dimensional environments. However, these controls differ substantially from those used to address Markovian noise, and their underlying physical mechanism remains unclear. In this work, we establish a direct connection between these protocols and the quantum Zeno effect, and extend the framework to infinite-dimensional environments. We delineate three types of constructions: (a) protocols that rely solely on measurements, (b) protocols using an active recovery after measurements and (c) protocols using dynamical decoupling and rigorously analyze the performance of each when controls can be applied at only a finite rate. While protocols relying purely on measurements can be engineered for noise models where active recoveries are fundamentally impossible, they result in the quantum Fisher information exhibiting a quadratically worse dependence on the control frequency. Surprisingly, while dynamical decoupling protocols are possible whenever protocols relying only on measurements can be engineered, the quantum Fisher information has the same dependence on control frequency as the active recovery protocols. Numerical simulations suggest that the improvement offered by dynamical decoupling may work in regimes beyond the perturbative setting where our rigorous theorems apply.
Recently, it has been shown that protocols utilizing infinitely fast controls, such as quantum error correction, can in principle restore Heisenberg-limited frequency estimation in the presence of a broad class of non-Markovian noise models arising from coupling to finite-dimensional environments. However, these controls differ substantially from those used to address Markovian noise, and their underlying physical mechanism remains unclear. In this work, we establish a direct connection between these protocols and the quantum Zeno effect, and extend the framework to infinite-dimensional environments. We delineate three types of constructions: (a) protocols that rely solely on measurements, (b) protocols using an active recovery after measurements and (c) protocols using dynamical decoupling and rigorously analyze the performance of each when controls can be applied at only a finite rate. While protocols relying purely on measurements can be engineered for noise models where active recoveries are fundamentally impossible, they result in the quantum Fisher information exhibiting a quadratically worse dependence on the control frequency. Surprisingly, while dynamical decoupling protocols are possible whenever protocols relying only on measurements can be engineered, the quantum Fisher information has the same dependence on control frequency as the active recovery protocols. Numerical simulations suggest that the improvement offered by dynamical decoupling may work in regimes beyond the perturbative setting where our rigorous theorems apply.
Non-classical resources enable measurements to achieve a precision that exceeds the limits predicted by the central limit theorem. However, environmental noise arising from system-environment interactions severely limits the performance of such resources through decoherence. While significant progress has been made in mitigating Markovian noise, the extent to which non-Markovian noise can be mitigated remains poorly understood. We demonstrate that Heisenberg Scaling, the ultimate quantum limit on measurement precision, can be recovered in quantum metrology under non-Markovian noise by leveraging carefully designed Dynamical Decoupling Techniques. Importantly, our approach does not rely on assumptions of Markovian dynamics. By imposing appropriate conditions on the control Hamiltonian, we show that HS can be achieved irrespective of whether the noise is Markovian or non-Markovian. We also prove necessary and sufficient conditions for the existence of such control Hamiltonians. As an illustrative example, we apply our framework to the damped Jaynes-Cummings model, successfully mitigating memory effects and maintaining measurement precision in complex, non-Markovian environments. These findings highlight the power of quantum control to overcome decoherence challenges and enhance metrological performance in realistic, noisy quantum systems.
Quantum error correction has been successfully applied to enhance the precision of parameter estimation in the presence of noise. Nonetheless, existing methods require a number of noiseless, controllable ancillae and lack efficient encoding and decoding procedures. In this Letter, we demonstrate that subsystem error correction provides a new direction that can substantially simplify the metrological protocol. We derive general conditions under which subsystem stabilizer codes achieve the Heisenberg limit and show that, for broad classes of noise, this can be realized by syndrome-free protocols using at most a single ancilla qubit. Furthermore, we extend this framework to dynamical error correction and show that Floquet codes can protect time-dependent metrological signals in reaching the Heisenberg limit.
Quantum metrology aims to maximize measurement precision on quantum systems, with a wide range of applications in quantum sensing. Achieving the Heisenberg limit (HL)—the fundamental precision bound set by quantum mechanics—is often hindered by noise-induced decoherence, which typically reduces achievable precision to the standard quantum limit (SQL). While quantum error correction (QEC) can recover the HL under Markovian noise, its applicability to non-Markovian noise remains less explored. In this work, we analyze a hidden Markov model (HMM) in which a quantum probe, coupled to an inaccessible environment, undergoes joint evolution described by Lindbladian dynamics, with the inaccessible degrees of freedom serving as a memory. We derive generalized Knill-Laflamme conditions for the HMM and establish three types of sufficient conditions for achieving the HL under non-Markovian noise using QEC. Additionally, we demonstrate the attainability of the SQL when these sufficient conditions are violated, by analytical solutions for special cases and numerical methods for general scenarios. Our results not only extend prior QEC frameworks for metrology but also provide new insights into precision limits under realistic noise conditions.
We derive ultimate precision bounds for estimating parameters encoded in \emph{time-dependent} Hamiltonians in the presence of general Markovian noise, allowing for arbitrary adaptive protocols with fast controls and noiseless ancillas. Extending the minimization-over-purifications framework to time-varying continuous channels, we obtain a differential upper bound on the achievable quantum Fisher information (QFI) that can be evaluated at all times via semidefinite programming. For parameter-independent noise, we prove a universal long-time scaling law: if the coherent (noiseless) dynamics yields Qcoh(T)∼T2k, then under Markovian noise the QFI scales at most as Q(T)∼T2k in the DHNLS regime, whereas in the DHLS regime it is fundamentally limited to Q(T)∼T2k−1. We illustrate these behaviors on paradigmatic driven-qubit sensors, exhibiting T4 and T3 scalings under dephasing and spontaneous emission, respectively. Finally, we provide explicit continuous exact and approximate quantum error correction constructions -- supplemented by spin-squeezed probes -- that asymptotically saturate the bounds, establishing their tightness.
Quantum resources can, in principle, enable Heisenberg-limited (HL) sensing, yet no-go theorems imply that HL scaling is generically unattainable in realistic noisy devices. While quantum error correction (QEC) can suppress noise, its use in quantum sensing is constrained by stringent requirements, including prior noise characterization, restrictive signal-noise compatibility conditions, and measurement-based syndrome extraction with global control. Here we introduce an ICO-based QEC protocol, providing the first application of indefinite causal order (ICO) to QEC. By coherently placing auxiliary controls and noisy evolution in an indefinite causal order, the resulting noncommutative interference enables an auxiliary system to herald and correct errors in real time, thereby circumventing the limitations of conventional QEC and restoring HL scaling. We rigorously establish the protocol for single- and multi-noise scenarios and demonstrate its performance in single-qubit, many-body, and continuous-variable platforms. We further identify regimes in which error correction can be implemented entirely by unitary control, without measurements. Our results reveal ICO as a powerful resource for metrological QEC and provide a broadly applicable framework for noise-resilient quantum information processing.
A central feature of quantum metrology is the possibility of Heisenberg scaling, a quadratic improvement over the limits of classical statistics. This scaling, however, is notoriously fragile to noise. While for some noise types it can be restored through error correction, for other important types, such as dephasing, the Heisenberg scaling appears to be irremediably lost. Here we show that this limitation can sometimes be lifted if the experimenter has the ability to probe physical processes in a coherent superposition of alternative configurations. As a concrete example, we consider the problem of phase estimation in the presence of a random phase kick, which in normal conditions is known to prevent the Heisenberg scaling. We provide a parallel protocol that achieves Heisenberg scaling with respect to the probes' energy, as well as a sequential protocol that achieves Heisenberg scaling with respect to the total probing time. In addition, we show that Heisenberg scaling can also be achieved for frequency estimation in the presence of continuous-time dephasing noise, by combining the superposition of paths with fast control operations.