Entanglement alone does not make a quantum sensor robust

The fracture

Entanglement can enlarge the response of a quantum sensor. It does not decide whether that response survives the dominant noise.

A GHZ state gives a phase proportional to the number of probes in an ideal unitary model. The same collective coherence can decay faster than a product-state coherence when each probe is noisy.

Error correction creates a sharper conflict. A code removes an operator direction by making it act identically on all logical states. If the signal occupies that direction, the code removes the signal as well.

The first design question is therefore geometric:

Entanglement becomes useful after that component has been identified and preserved.

1. Sensitivity means accessible information

Let a parameter $\theta$ be encoded in a state ${\rho }_{\theta }$. A chosen measurement with outcomes $x$ produces probabilities $p(x\mid \theta )$ and classical Fisher information

For $\nu$ independent repetitions and a locally unbiased estimator,

$F_{\mathrm{Q}}$ is the quantum Fisher information. It optimizes over measurements, so it is a ceiling on information available in the final quantum state. A laboratory measurement may attain less.

For a pure state evolving as $|{\psi }_{\theta }⟩=e^{-\mathrm{i}\theta tG}|\psi ⟩$,

Entanglement can make $\mathrm{Var}(G)$ scale as $N^2$. Noise can destroy that variance, prevent the optimal measurement, or introduce preparation and correction overhead that the bare QFI does not count.

This distinction prevents a common shortcut:

The standard review by Pezzè et al. develops the relation among entanglement, QFI, measurements, and metrological scaling.

2. The exact Markovian criterion

Consider a finite-dimensional probe with parameter-independent Markovian noise:

Define the Hermitian Lindblad span

Numerical factors do not change the span. Including both Hermitian parts of $L_k^{†}{L}_j$ matters; leaving out the last term can give the wrong operator space.

Under noiseless ancillas and arbitrarily fast, accurate control, the result of Zhou, Zhang, Preskill, and Jiang is

if and only if error-corrected Heisenberg scaling in total sensing time is attainable. In this theorem,

is the Heisenberg scaling, while failure of HNLS restricts the optimized QFI to at most $O(T)$ asymptotically.

This is the Hamiltonian-not-in-Lindblad-span, or HNLS, condition. The original theorem also gives a semidefinite program for optimizing the code.

Scope of the theorem

HNLS is exact for the stated finite-dimensional, time-homogeneous Markovian model with suitable fast control. It is not an unconditional theorem about finite-rate hardware, colored noise, unknown dissipative parameters, or noisy ancillas.

The criterion is attached to the infinitesimal channel, not to a preferred notation for its jump operators. Unitary mixing of jump operators or the usual Lindblad gauge changes do not create a physical signal direction.

3. Why correcting the noise can erase the signal

Let $P$ project onto a two-dimensional sensing code. Correcting the infinitesimal error set requires conditions of the form

Inside the code, every correctable noise direction acts as a scalar. It cannot reveal which logical branch the probe occupies.

Sensing requires the opposite behavior from $G$:

The logical states must acquire different phases. If $G\in \mathcal{S}$, the correction conditions force $PGP$ to be scalar, so no logical phase remains.

This implication explains HNLS without reducing it to a commutator test.

Take a qubit with

Signal and dephasing noise commute. They also lie along the same operator direction. A code that makes $Z$ invisible inside the logical space makes the frequency shift invisible there too.

By contrast, $[G,L]\ne 0$ does not by itself prove that $G$ lies outside $\mathcal{S}$. Products $L_k^{†}{L}_j$ can generate directions absent from the list of individual $L_k$.

Commutation answers whether two operations share a dynamical algebraic relation. HNLS answers whether the signal has any component that the entire infinitesimal noise channel cannot synthesize.

4. The useful signal is a quotient direction

With the Hilbert-Schmidt inner product, decompose

HNLS says $G_{\perp }\ne 0$. The correctable sensor uses this surviving component to generate a logical energy splitting.

The decomposition is a diagnostic. The optimal QFI prefactor also depends on spectral range, code constraints, ancillas, and control resources. A small $G_{\perp }$ can satisfy HNLS while yielding a modest finite-time advantage.

The theorem separates two questions:

1. Scaling: does any signal direction survive the Markovian noise algebra?
2. Performance: how large and experimentally accessible is the logical generator built from that direction?

This is why “more entanglement” and “larger code distance” are incomplete objectives. Neither quantity identifies $G_{\perp }$.

Ye and Zoller argue that programmable AMO platforms should combine entanglement, logical encoding, collective measurement, and networks for fundamental-physics searches.

Their 2024 Essay supplies the program. HNLS supplies one exact design test within that program’s ideal Markovian sector.

5. Spatial filtering is the same geometry in a simpler algebra

Now let $N$ sensors sample a field. Sensor $i$ has a diagonal generator $S_i$, and the field is expanded into one signal profile $\mathbf{s}$ and nuisance profiles ${\mathbf{n}}_a$:

Choose two product eigenstates labelled by opposite sensitivity vectors,

and prepare

The nuisance phases cancel at every time if

The signal survives if

If the columns of $N_{\mathrm{n}\mathrm{o}\mathrm{i}\mathrm{s}\mathrm{e}}$ are the nuisance profiles, the continuous optimum points along

subject to the sensitivity values allowed by the hardware. Here $+$ denotes the Moore-Penrose pseudoinverse.

Thus a protected spatial mode exists only when the signal has a component outside the nuisance-profile span. Discrete atomic levels can make the best allowed $\mathbf{w}$ differ from the continuous projection.

This construction resembles HNLS, but the physical models differ. The spatial scheme cancels commuting phase profiles. General Lindblad noise includes quantum jumps and the product algebra $L_k^{†}{L}_j$.

6. The three-ion realization

Set the dimensionless positions to

and expand

The constant, linear, and quadratic profiles are

The smallest nonzero integer solution of

is

up to scale and sign. It retains $\mathbf{w}\cdot \mathbf{s}=1$.

A 2025 trapped-ion experiment encoded this pattern in different Zeeman sensitivities within the metastable manifold of three ${}^{40}{\mathrm{Ca}}^{+}$ ions.

The entangled branch pair stayed inside a decoherence-free subspace for applied common-mode and gradient noise while sensing an effective quadratic field produced by AC-Stark shifts.

The implemented entangled protocol reduced normalized RMSE by a factor $2.6(1)$ relative to the implemented separable protocol. It also reduced RMSE by a factor $1.49(6)$ relative to the ideal comparator in the paper’s restricted separable class.

These are finite, three-sensor results under a specified comparison. They do not demonstrate asymptotic Heisenberg scaling in network size. See Bate et al..

Why multilevel sensors matter

The label $-2$ is not an eigenvalue of an ordinary Pauli $Z$. The experiment used multilevel ions with selectable magnetic sensitivities. A three-qubit derivation must engineer unequal coupling strengths instead.

7. Where the analogy stops

Spatial cancellation can be exact for arbitrarily strong fluctuating amplitudes ${\xi }_a(t)$ when the spatial profiles stay fixed and all generators commute.

It fails when the nuisance field leaves the assumed profile span, sensor positions drift, local sensitivities are miscalibrated, or the noise couples through noncommuting operators.

HNLS has different failure boundaries. Its necessity-and-sufficiency statement can fail outside a parameter-independent Markovian model because environmental memory carries information not represented by probe-only jump operators.

A 2025 study models memory by enlarging the system to a probe plus an inaccessible hidden Markov environment. It derives generalized correction conditions and several sufficient routes to Heisenberg scaling.

It does not replace the Markovian HNLS theorem with one universal probe-only test. See Mann et al., PRX Quantum 6, 030321.

Finite correction rate creates another gap between theorem and apparatus. An error can act for a nonzero time before correction, leaving residual decoherence and shifting the inferred sensing frequency.

That shift is a systematic estimation bias, not extra statistical variance. Rojkov et al. show how it arises and how calibration can remove it.

8. What the current frontier adds

Autonomous correction

Fast measurement and feedback are not the only route. Engineered dissipation can autonomously return a sensor to its code space.

A 2026 result gives a sufficient construction that approximately restores $T^2$ scaling over a chosen finite interval at a finite ratio $R$ of correction to noise rates.

The additive error scales as $O(\kappa T/R^c)$ for codes of order $c$ under the paper’s conditions. The result narrows the gap between infinitely fast control and hardware, while retaining explicit rate and model assumptions.

See Kwon et al., npj Quantum Information 12, 103 (2026).

Asymmetric codes

Memory codes are rewarded for protecting every local direction. Sensors need a chosen local sum to remain visible.

A 2026 preprint quantifies tradeoffs between code distance and QFI for several symmetric code families. It constructs asymmetric codes that relax protection along the signal direction while retaining growing protection in complementary directions.

This is evidence for a design principle, not yet a general experimental result: code geometry should follow signal geometry. See Chen et al., arXiv:2512.20426v2.

Robustness as a model set

Exact orthogonality to one calibrated noise span can be brittle. A practical design should optimize over uncertainty in jump rates, spatial modes, correction latency, readout, and signal calibration.

The objective may be a worst-case classical FI after a realizable measurement, not the ideal QFI at the nominal model. This turns robust sensing into a minimax control and code-design problem.

The order of work should be explicit:

The deliberately false claim

If the signal Hamiltonian commutes with the noise Hamiltonian, quantum error correction can always remove the noise without reducing signal sensitivity.

The example $G\propto L\propto Z$ defeats it. The two operators commute perfectly and remain physically indistinguishable as generator directions.

The corrected statement is:

Commutation may simplify control. Protection preserves sensitivity only when the code makes the nuisance action trivial while leaving a nontrivial logical signal generator.

Collision: five statements with different strength

1. Ideal-state statement: an entangled state can have $F_{\mathrm{Q}}\propto N^2$ under unitary encoding.
2. Markovian theorem: ideal QEC restores $F_{\mathrm{Q}}\propto T^2$ exactly when HNLS holds under the theorem’s assumptions.
3. Spatial statement: a DFS cancels fixed nuisance profiles when an allowed sensitivity vector lies in their nullspace and overlaps the signal.
4. Experimental statement: three multilevel ions demonstrated a protected finite-system advantage for constant and gradient noise.
5. Engineering statement: finite-rate control, model error, preparation, readout, and estimator bias determine whether the advantage survives end to end.

Moving from one line to the next requires new assumptions or new data.

Do this now

Three multilevel sensors sit at

Their coupling is

Assume $S_i|w_i⟩=w_i|w_i⟩$ and that the local levels needed below exist. Consider

Target A

Find the nonzero integer vector $\mathbf{w}$ with the smallest maximum coefficient magnitude that cancels $b_0$ and $b_1$ while retaining $b_2$.

Target B

Calculate the relative phase after time $t$.

Target C

Calculate the pure-state QFI for estimating $b_2$. State how the answer changes for physical positions $(-d,0,d)$.

Target D

Suppose an unmodelled quadratic nuisance is added. Can any state cancel it while remaining sensitive to $b_2$ through the same generator?

Oral check 1

Why does entanglement fail to help when the signal profile belongs to the nuisance-profile span?

Oral check 2

What information does HNLS contain that $[G,L_k]$ does not?

Hints

• Impose $\mathbf{w}\cdot (1,1,1)=0$ and $\mathbf{w}\cdot (-1,0,1)=0$.
• For $e^{-\mathrm{i}{b}_{2}K}|\psi ⟩$, use $F_{\mathrm{Q}}=4{\mathrm{Var}}_{\psi }K$.
• Two unknown coefficients multiplying the same operator direction cannot be identified from one accumulated phase.

Solution outline

The linear-noise constraint gives

$$-w_1+w_3=0,$$Copy LaTeX

so $w_3=w_1$. The common-mode constraint gives

$$w_1+w_2+w_3=0,$$Copy LaTeX

hence $w_2=-2w_1$. The primitive integer vector is

$$\boxed{{\displaystyle \mathbf{w}=(1,-2,1)}}.$$Copy LaTeX

Its quadratic overlap is

$$\mathbf{w}\cdot (\frac{1}{2},0,\frac{1}{2})=1.$$Copy LaTeX

The branch energies are

$$E_{+}=\gamma b_2,E_{-}=-\gamma b_2.$$Copy LaTeX

The accumulated relative phase has magnitude

$$\boxed{{\displaystyle \mathrm{\Delta }\varphi =2\gamma b_{2}t}}.$$Copy LaTeX

Its sign depends on which branch is used as the phase reference.

Write

$$K=\frac{\gamma t}{2}\sum _i{x}_i^2{S}_i.$$Copy LaTeX

The two branches have $K$ eigenvalues $+\gamma t$ and $-\gamma t$. Therefore

$${\mathrm{Var}}_{\psi }K=(\gamma t{)}^2$$Copy LaTeX

and

$$\boxed{{\displaystyle F_{\mathrm{Q}}(b_2)=4{\gamma }^2{t}^2}}.$$Copy LaTeX

For $x=(-d,0,d)$, the eigenvalues are $\pm \gamma t{d}^2$, so

$$F_{\mathrm{Q}}(b_2)=4{\gamma }^2{t}^2{d}^4.$$Copy LaTeX

If an unknown nuisance multiplies the same quadratic profile and the same $S_i$, it is statistically indistinguishable from $b_2$. Cancelling that direction also cancels the target.

One must add another channel that changes their response, such as time modulation, a second species, a different transition, or independent prior information.

Exit ticket

$G$ has a large norm but lies inside the Lindblad span. A weaker $G^{\prime }$ has a nonzero component outside it.

Which generator is the candidate for error-corrected $T^2$ scaling, and what must still be calculated before claiming a practical advantage?

A strong answer should mention the surviving logical spectral gap, control rate, total-cycle overhead, attainable measurement FI, and robustness to errors in the noise model.

Research checks worth doing next

1. Noise-span tomography. Infer operator or spatial nuisance modes with uncertainty bars instead of assuming a diagonal noise model.
2. Projection stability. Track how $G_{\perp }$ changes under calibration drift and omitted weak channels.
3. Finite-cycle simulation. Include correction latency, faulty ancillas, leakage, and control noise.
4. Measurement audit. Compare QFI with classical FI for the readout that the platform can implement.
5. Bias audit. Simulate the estimator mean as well as its variance after finite-rate correction.
6. Non-Markovian test. Vary cycle time and look for memory-dependent performance that a time-local model cannot fit.
7. Network scaling. Increase sensor number while holding state-preparation fidelity, nuisance rank, and total experimental time under explicit control.

Further reading

• Achieving the Heisenberg limit in quantum metrology using quantum error correction presents the HNLS theorem and code optimization.
• Quantum Sensing with Atomic, Molecular, and Optical Platforms for Fundamental Physics frames the AMO program of entanglement, networks, and logical sensing.
• Experimental distributed quantum sensing in a noisy environment reports the three-ion spatially protected protocol and its comparison class.
• Practical limits of error correction for quantum metrology analyzes finite repetition rates and realistic resource limits.
• Bias in error-corrected quantum sensing separates residual noise from systematic frequency bias.
• Quantum Error Corrected Non-Markovian Metrology gives generalized conditions in a hidden Markov environment model.
• Restoring Heisenberg scaling in time via autonomous quantum error correction studies finite-rate autonomous protection.
• Bypassing the protection-sensitivity incompatibility via asymmetric codes is a 2026 preprint on scalable, direction-dependent protection.

What to retain

• QFI is an optimized information bound; the implemented measurement supplies classical FI.
• Entanglement amplifies a preserved generator. It does not identify which generator survives noise.
• HNLS uses the full Lindblad span, including $L_k^{†}{L}_j$ products.
• Correctable noise must act trivially in the code, while the signal must act nontrivially.
• Spatial DFS sensing is a nullspace problem with hardware constraints on allowed sensitivities.
• The three-ion $(1,-2,1)$ state relies on multilevel atomic structure.
• HNLS is exact inside an ideal Markovian control model.
• Finite-rate correction can leave decoherence and estimator bias.
• Non-Markovian memory requires an enlarged dynamical description.
• Asymmetric protection is a promising design direction, currently supported by theory rather than a general experiment.

Next: derive HNLS from the short-time Kraus expansion and show why the products $L_k^{†}{L}_j$ enter the channel tangent space.