General Heisenberg Limit in Quantum Metrology

• GHL is a generalized precision bound in quantum metrology that redefines traditional Heisenberg scaling by incorporating resource counting, time-dependency, and control constraints.
• It uses quantum Fisher information, query complexity, and prior-averaged strategies to set universal limits on precision under various practical conditions.
• Applications of GHL include experiments with time-dependent generators, noise mitigation, and locality constraints that influence the achievable scaling in metrology.

Searching arXiv for recent and foundational uses of “General Heisenberg Limit” in quantum metrology. In the literature considered here, the expression General Heisenberg Limit (GHL) is used in several non-identical but closely related ways. In each case it extends the standard Heisenberg scaling beyond the simplest noiseless, time-independent, locally unbiased scenario, but the extension depends on what is treated as the relevant resource and which constraints are imposed on the sensing protocol. Across these formulations, the recurrent themes are the quantum Cramér–Rao bound (QCRB), the quantum Fisher information (QFI), the role of the parameter-translation generator, and the fact that locality, control, prior information, time dependence, noise, and global resource accounting can all change the precise form of the ultimate precision law (Zwierz et al., 2012, Dutta et al., 2018, Yin et al., 2023, Tsarev et al., 21 Jul 2025).

1. Multiple meanings of the term

At the baseline level, the QCRB for a parameter $\theta$ encoded in $\rho(\theta)$ and measured $\nu$ times is

$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$

with pure-state QFI

$$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$

For time-independent unitary encoding, this yields the familiar Heisenberg scaling $F_Q \propto T^2$ and $\Delta \omega \propto 1/T$ for a single probe at fixed $\nu$ (Dutta et al., 2018). For $N$ probes interrogated for time $t$, standard presentations distinguish SQL scaling $\rho(\theta)$0 and Heisenberg scaling $\rho(\theta)$1, equivalently $\rho(\theta)$2 versus $\rho(\theta)$3 up to the interrogation-time factor (Yin et al., 2023).

The term GHL appears when this baseline is generalized. In some papers it means a universal resource-counting bound in terms of the expectation value of the generator above its ground state or in terms of query complexity (Zwierz et al., 2012, Zwierz et al., 2010). In others it means a global, prior-averaged, or minimax single-shot bound that corrects naive QFI-based constants (Hall et al., 2011, Górecki, 2023). In still others it denotes the best achievable scaling under time-dependent generators, realistic locality constraints, perturbing interactions, noise, or nonlinear encoding (Dutta et al., 2018, Yin et al., 2023, Peng et al., 2019, Tsarev et al., 21 Jul 2025).

Usage of GHL	Representative formula	Representative papers
Universal resource-counting bound	$\rho(\theta)$4; $\rho(\theta)$5	(Zwierz et al., 2012, Zwierz et al., 2010)
Global single-shot or prior-averaged bound	$\rho(\theta)$6; $\rho(\theta)$7	(Hall et al., 2011, Górecki, 2023)
Time-dependent encoding with control	$\rho(\theta)$8	(Dutta et al., 2018)
Locality- and LOCC-constrained attainability	$\rho(\theta)$9 under local perturbations	(Yin et al., 2023)
Nonlinear and multiparameter scaling	$\nu$0	(Tsarev et al., 21 Jul 2025)
Global resource accounting under losses	$\nu$1	(Guo et al., 6 May 2025)

2. Universal resource counts and global single-shot formulations

A central line of work reformulates the Heisenberg limit by identifying a universal resource count. In the network-based treatment of parameter encoding $\nu$2, the universal resource is

$\nu$3

and for optimal balanced-superposition probe states the resulting universal Heisenberg limit is

$\nu$4

In the same framework, query complexity $\nu$5 unifies linear, $\nu$6-body, exponential, and sequential strategies, so that apparent “super-Heisenberg” scalings in $\nu$7 are re-expressed as ordinary $\nu$8 behavior once the interaction order is counted properly (Zwierz et al., 2012). A related general optimality proof formulates the single-shot bound as

$\nu$9

with $$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$0 the expectation value of the generator above its ground energy. That proof identifies the Heisenberg limit as an information-theoretic interpretation of the Margolus–Levitin bound rather than of the variance-based uncertainty relation, and treats multimode, nonlinear, adaptive, and multipass networks within the same query-complexity language (Zwierz et al., 2010).

A second line of work argues that QFI-based local bounds are not yet the correct global single-shot statement. For a completely unknown phase with uniform prior, the average phase error obeys the non-asymptotic bound

$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$1

and the conjectured asymptotically optimal constant is

$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$2

This formulation is explicitly constraint-free, non-asymptotic, and prior-averaged, and it applies to multimode probes, multiple passes, nonlinear phase shifts, arbitrary POVMs, and adaptive strategies, provided the phase is a priori completely unknown and the generator has nonnegative integer eigenvalues (Hall et al., 2011).

The Bayesian/minimax formulation sharpens this point further. For noiseless unitary estimation with a strict fixed-$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$3 resource constraint and bounded generator width $$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$4, the asymptotically saturable single-shot bound is

$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$5

up to finite-prior corrections, rather than the naive local-QFI expression $$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$6. When only the average resource is bounded, the universal constant changes to

$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$7

with Airy-shaped optimal amplitudes (Górecki, 2023). Taken together, these papers treat GHL as a global precision law whose exact constant depends on whether the task is local-unbiased, prior-averaged, or minimax.

3. Time-dependent generators and control-based generalizations

A distinct formulation of GHL arises when the parameter is encoded through a time-dependent Hamiltonian. For

$$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$8

the relevant bound is expressed through the instantaneous extremal eigenvalues $$\mathrm{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\rho(\theta))},$$9 and $$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$0 of $$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$1:

$$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$2

In the single-ion experiment based on a laser-cooled $$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$3 ion, the engineered Hamiltonian was

$$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$4

for which the frequency-encoding extremal eigenvalues are

$$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$5

Without control, periodic eigenvalue crossings produce cancellations in the integral and recover only the time-independent-Hamiltonian behavior $$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$6. With optimal level-crossing control,

$$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$7

these cancellations are removed, the ideal QFI scales as $$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$8, and the ideal uncertainty becomes $$F_Q(\theta)=4\big[(\partial_\theta\psi|\partial_\theta\psi)-|\psi|\partial_\theta\psi|^2\big].$$9 (Dutta et al., 2018).

The experimental result was a controlled scaling

$F_Q \propto T^2$0

compared with

$F_Q \propto T^2$1

without control, up to the coherence limit of approximately $F_Q \propto T^2$2. The deviation from the ideal exponent $F_Q \propto T^2$3 was attributed to imperfect equal-superposition preparation and finite control-pulse durations, which consumed about $F_Q \propto T^2$4 of the evolution time. The same framework was proposed as a proof-of-principle route to detecting oscillatory weak couplings from axion-like dark matter, with an inferred bound $F_Q \propto T^2$5 for $F_Q \propto T^2$6 in the single-ion setting (Dutta et al., 2018).

Control also restores Heisenberg scaling for general noncommuting but time-independent dynamics. In the sequential-control scheme for $F_Q \propto T^2$7, the generator

$F_Q \propto T^2$8

can fail to grow linearly with $F_Q \propto T^2$9 when $\Delta \omega \propto 1/T$0. By splitting the evolution into $\Delta \omega \propto 1/T$1 segments and interspersing controls so that $\Delta \omega \propto 1/T$2, one obtains

$\Delta \omega \propto 1/T$3

and therefore $\Delta \omega \propto 1/T$4. For the qubit model

$\Delta \omega \propto 1/T$5

the controlled QFI becomes

$\Delta \omega \propto 1/T$6

approaching $\Delta \omega \propto 1/T$7 as $\Delta \omega \propto 1/T$8. At the sweet spots $\Delta \omega \propto 1/T$9, the optimal controls can be fixed as $\nu$0, yielding the exact Heisenberg scaling $\nu$1 at $\nu$2 without adaptation (Hou et al., 2019).

4. Locality, perturbing interactions, and preparation complexity

Another influential use of GHL concerns realistic many-body sensing under locality constraints. In the model

$\nu$3

the perturbation $\nu$4 is spatially local on a bounded-degree graph and may be strong, but is assumed known exactly. For GHZ-like input states with an extensive $\nu$5-polarization difference and short-range correlations, the central result is that for short times $\nu$6 one still has

$\nu$7

so that $\nu$8 and

$\nu$9

This is called the GHL in the sense of preserving Heisenberg scaling under locality, perturbing interactions, LOCC measurements, and polynomial-time classical post-processing. The explicit protocol uses adaptive local measurements, a parity observable $N$0, a prior window $N$1, and efficient classical computation via matrix product states in one dimension and cluster expansion in higher dimensions (Yin et al., 2023).

This attainability result is sharply qualified by work that counts state-preparation complexity as part of the metrological cost. For a $N$2-dimensional lattice with $N$3-local Hamiltonian and bounded one-site energy, the growth of metrologically useful entanglement during resource-state preparation is bounded by the Lieb–Robinson light cone:

$N$4

For short-range interactions, $N$5, so preparing an $N$6 state requires at least

$N$7

If total experimental time is fixed and preparation time is counted, the resulting strong precision limit becomes

$N$8

for short-range systems, rather than the usual $N$9 (Chu et al., 2023).

These two lines of work are not contradictory; they encode different resource models. One proves that $t$0 survives known local perturbations for sufficiently short interrogation times with feasible LOCC extraction (Yin et al., 2023). The other shows that if the many-body preparation time itself is treated as a limiting resource, Lieb–Robinson propagation can prevent asymptotic Heisenberg scaling within fixed total time (Chu et al., 2023).

5. Noise, error correction, and attainable Heisenberg scaling

Under Markovian noise, GHL often means the condition under which Heisenberg scaling can be restored by control or error correction. For probes obeying a Lindblad equation with Hamiltonian $t$1, define the Lindblad span

$t$2

and decompose

$t$3

If the Hamiltonian-not-in-Lindblad-span condition holds, $t$4, then full and fast ancilla-free control yields an effective Hamiltonian

$t$5

and the QFI scales as

$t$6

If $t$7, Heisenberg scaling is unattainable even with ancillas (Peng et al., 2019).

A different noisy-sensing mechanism achieves Heisenberg scaling by shifting the target parameter from a coherent phase to a collective noise rate. For the master equation

$t$8

a GHZ probe has coherence

$t$9

The QFI for estimating $\rho(\theta)$00 is

$\rho(\theta)$01

and choosing $\rho(\theta)$02 gives

$\rho(\theta)$03

Product states remain at SQL, so the Heisenberg scaling here is specific to collective-dephasing estimation under independent dephasing (Matsuzaki et al., 2018).

The fault-tolerant extension of this theme treats noisy QEC operations themselves as part of the metrological model. For a Pauli-$\rho(\theta)$04 signal under bit-flip noise with state-preparation and measurement errors in all QEC operations, a repetition-code protocol with repeated syndrome measurements and a fault-tolerant logical readout yields explicit thresholds. The logical-measurement threshold is

$\rho(\theta)$05

the state-preparation threshold found numerically is

$\rho(\theta)$06

and below threshold the classical Fisher information satisfies

$\rho(\theta)$07

Because the overhead grows only polylogarithmically, the protocol retains $\rho(\theta)$08 in the fully fault-tolerant setting (Sahu et al., 9 Jan 2026).

6. Nonlinear, multiparameter, and networked formulations

In nonlinear metrology, the GHL is explicitly generalized from $\rho(\theta)$09 to $\rho(\theta)$10. For a single parameter $\rho(\theta)$11 encoded through a $\rho(\theta)$12-th order nonlinearity, the proposed definition is

$\rho(\theta)$13

For a vector of parameters $\rho(\theta)$14 with balanced multipartite $\rho(\theta)$15 probes, the overall accuracy obeys

$\rho(\theta)$16

The relevant phase encoding is

$\rho(\theta)$17

so that $\rho(\theta)$18 and $\rho(\theta)$19. In the bright-soliton setting, $\rho(\theta)$20 corresponds to linear metrology and $\rho(\theta)$21 to the cubic phase accumulation associated with soliton interactions. The three-mode soliton Josephson junction is proposed as an architecture whose phase transition near $\rho(\theta)$22 produces tripartite $\rho(\theta)$23-like ground states and near-GHL performance even under weak losses (Tsarev et al., 21 Jul 2025).

A further nonlinear reformulation uses the parameter-space canonical momentum

$\rho(\theta)$24

together with the uncertainty relation

$\rho(\theta)$25

In the standard scheme with $\rho(\theta)$26 sequential uses,

$\rho(\theta)$27

For an indefinite-time-direction generating process implemented by a quantum switch, the bound becomes

$\rho(\theta)$28

which asymptotically gives a nonlinear improvement $\rho(\theta)$29 when the quadratic term dominates. This construction treats noncommutativity and superposition of time directions as additional resources contributing to the canonical momentum dispersion (Xia et al., 10 Oct 2025).

Networked and global-accounting formulations push the terminology in a different direction. In the quantum-switch experiment on conjugate displacement processes, the fair global resource count is

$\rho(\theta)$30

and the global Heisenberg benchmark is

$\rho(\theta)$31

For the indefinite-causal-order protocol, the control-qubit probabilities are

$\rho(\theta)$32

with Fisher information

$\rho(\theta)$33

and precision

$\rho(\theta)$34

The experiment reports unconditional violation of the global benchmark once losses, visibility, and multi-pair emission are fully included (Guo et al., 6 May 2025).

7. Conceptual tensions and interpretive boundaries

The surveyed literature indicates that GHL is not a single universally fixed theorem. In one family of papers it is a universal lower bound derived from resource counting, query complexity, prior averaging, or minimax single-shot analysis (Zwierz et al., 2012, Zwierz et al., 2010, Hall et al., 2011, Górecki, 2023). In another it is an attainability statement showing that $\rho(\theta)$35 or faster time scaling can still be reached under time-dependent encoding, locality, perturbing interactions, or structured noise, provided suitable control, prior estimates, or QEC conditions are available (Dutta et al., 2018, Yin et al., 2023, Peng et al., 2019, Sahu et al., 9 Jan 2026). In yet another it is a generalized scaling law for nonlinear generators or globally accounted network resources, such as $\rho(\theta)$36 or $\rho(\theta)$37 (Tsarev et al., 21 Jul 2025, Guo et al., 6 May 2025).

Several recurring misunderstandings are therefore addressed directly by the literature. First, “surpassing the Heisenberg limit” usually means surpassing a narrower benchmark, such as the time-independent $\rho(\theta)$38 law, the fixed-order $\rho(\theta)$39 law, or a detected-photon-only benchmark, not violating a fully accounted universal bound (Dutta et al., 2018, Guo et al., 6 May 2025). Second, QFI-based local bounds need not coincide with single-shot global performance; the explicit $\rho(\theta)$40 factor in minimax bounds and the prior-averaged constants $\rho(\theta)$41 and $\rho(\theta)$42 were introduced precisely to correct that mismatch (Górecki, 2023, Hall et al., 2011). Third, Heisenberg scaling under noise is not generic: it depends on structural conditions such as $\rho(\theta)$43, on estimating the correct parameter such as a collective dephasing rate, or on operating below explicit fault-tolerance thresholds (Peng et al., 2019, Matsuzaki et al., 2018, Sahu et al., 9 Jan 2026).

A plausible implication is that the expression “General Heisenberg Limit” functions as a family of precision statements parameterized by resource accounting, dynamical model, prior structure, and control assumptions, rather than as a single formula valid in all metrological settings. What remains common across these uses is the attempt to state the best achievable precision only after the relevant resources and constraints have been specified with sufficient generality.