Quantum Stopwatches and QFI Metrology

• Quantum stopwatches are theoretical frameworks that define and quantify phase or parameter sensitivity using quantum Fisher information across various measurement architectures.
• They exploit both global and reduced-state approaches, enabling precise metrological analysis in composite, auxiliary-assisted, and many-body quantum systems.
• Practical implementations include optimizing information transfer, subsystem data compression, and diagnosing quantum criticality through enhanced QFI measures.

“Quantum stopwatches” (Editor’s term) denotes quantum metrological constructions in which elapsed evolution, a phase, or a more general encoded parameter is inferred from the response of a quantum state. In the cited literature, the formal vocabulary is not “stopwatch” but quantum Fisher information (QFI), quantum Fisher information matrix (QFIM), measurement-induced Fisher information, and sub-QFI. Across these works, the common technical theme is that precision is characterized by the QFI or QFIM, while the physically accessible information depends on the measurement architecture, the subsystem retained, the reduced description employed, and whether the state is in equilibrium or driven out of equilibrium (Lu et al., 2012, Benavides-Riveros et al., 2023, Liu, 2024).

1. Parameter sensitivity as the operational core

The central object is the QFI of a parameterized state family. For a one-parameter family $\rho_\theta$, the symmetric logarithmic derivative $L_\theta$ is defined by

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$

and the QFI is

$$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$

For a POVM $M=\{M_i\}$, the induced probability distribution $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$ has classical Fisher information

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$

and the Braunstein–Caves relation states

$F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$

This gives the standard operational meaning: QFI is the maximal measurement-induced Fisher information over all POVMs (Lu et al., 2012).

In the many-body formulation of (Benavides-Riveros et al., 2023), the parameterization is multiparameter and unitary: $$\rho(\bm\phi)=\hat U(\bm\phi)\rho \hat U^\dagger(\bm\phi),\qquad \hat U(\bm\phi)=\exp\!\Big(i\sum_\alpha\sum_{ij}\phi_\alpha^{ij}\hat J_\alpha^{ij}\Big),$$ with one-body generators

$$\hat J^{ij}_\alpha = \tfrac12 (\hat b_i^\dagger, \hat b_j^\dagger)\,\sigma_\alpha\,(\hat b_i,\hat b_j)^T.$$

For pure states, the QFIM reduces to a covariance matrix of the generators: $L_\theta$0 This is the precise many-parameter sensitivity tensor used in the reduced-functional approach (Benavides-Riveros et al., 2023).

A useful clarification is that the cited works do not formulate autonomous quantum clocks or time operators. They analyze parametric sensitivity of quantum states under unitary encoding. This suggests that “quantum stopwatch” is best understood as an umbrella label for QFI-based timing or phase-estimation schemes rather than a distinct formalism.

2. Composite systems and subsystem-accessible timing information

For bipartite systems, (Lu et al., 2012) distinguishes between intrinsic reduced-state QFI and the Fisher information actually accessible under restricted measurement classes. For a bipartite family $L_\theta$1, the reduced states are

$L_\theta$2

Local, product, adaptive, and global measurement classes are introduced: $L_\theta$3 They satisfy the hierarchy

$L_\theta$4

and similarly with $L_\theta$5 and $L_\theta$6 exchanged. The endpoints are especially important: $L_\theta$7 Thus, the reduced-state QFI equals the maximum Fisher information accessible by measurements on that subsystem alone (Lu et al., 2012).

The same paper classifies three extremal distribution types. For product states, QFI is locally owned and additive: $L_\theta$8 For the entangled state

$L_\theta$9

one has

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$0

so the information is locally inaccessible: it resides entirely in correlations. By contrast, for

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$1

the paper states

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$2

which is the fully shared case (Lu et al., 2012).

This hierarchy matters directly for any stopwatch-like interpretation. A global state can contain parameter sensitivity that is absent from every reduced state, or duplicated across them, or movable between these configurations by global unitaries. The CNOT examples in (Lu et al., 2012) show both directions: a unitary can convert locally owned Fisher information into locally inaccessible correlation-based Fisher information, and the inverse unitary can concentrate that information back into one subsystem without changing the total QFI.

3. Subnormalized, truncated, and auxiliary-assisted architectures

A second line of work treats cases where only a restricted sector, postselected branch, or small auxiliary system is experimentally available. In (Sone et al., 2020), the generalized fidelity for subnormalized states is

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$3

and the truncated QFI is defined by

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$4

where $$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$5 is obtained by projecting onto the $$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$6 largest eigenvalues of $$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$7. The construction yields a lower bound

$$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$8

with equality at full rank $$\partial_\theta \rho_\theta = \frac12(L_\theta \rho_\theta + \rho_\theta L_\theta),$$9, and it is monotone under completely positive trace-non-increasing maps: $$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$0 This does not explicitly constitute a subsystem-QFI theory, but it is mathematically aligned with reduced or postselected states, since partial trace and heralded operations are CPTNI maps (Sone et al., 2020).

A complementary strategy is developed in (Liu, 2024). A high-dimensional parameterized state $$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$1 is coupled to a parameter-independent auxiliary state $$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$2, and a controlled unitary

$$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$3

is applied. After tracing out the original system,

$$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$4

with

$$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$5

The key inequality chain is

$$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$6

so the measurable sub-QFI of the auxiliary subsystem lower-bounds the QFI of the original large system (Liu, 2024).

The same paper shows that maximal transfer is achieved when the auxiliary state is pure and the branch states are mutually orthogonal. In that case, the maximal auxiliary QFI is the classical Fisher information of the distribution $$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$7: $$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$8 It also gives a criterion for dimensional reduction by coarse-graining projectors. If projectors are grouped into blocks and, within each group,

$$F(\rho_\theta) := \mathrm{tr}(\rho_\theta L_\theta^2).$$9

then the coarse-grained measurement preserves the classical Fisher information and therefore the maximal QFI transferable to the auxiliary system (Liu, 2024).

The Bell-state example is exact. For

$M=\{M_i\}$0

the QFI is

$M=\{M_i\}$1

After mapping to a single auxiliary qubit, the reduced auxiliary state becomes

$M=\{M_i\}$2

and, because sub-QFI equals QFI for a single qubit, one obtains

$M=\{M_i\}$3

This is an explicit small-system stopwatch architecture in the sense of parameter readout from a reduced subsystem (Liu, 2024).

4. Many-body compression through one-body reduced data

The most direct many-body compression result is the 1-RDM functional framework of (Benavides-Riveros et al., 2023). For a ground state of

$M=\{M_i\}$4

with interaction

$M=\{M_i\}$5

the one-body reduced density matrix is encoded as

$M=\{M_i\}$6

The universal constrained-search functional is

$M=\{M_i\}$7

Because 1-RDMFT provides a minimizer $M=\{M_i\}$8, the QFIM becomes a functional of the 1-RDM: $M=\{M_i\}$9

The central derivative relation is

$p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$0

with $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$1. Equivalently,

$p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$2

Hence the universal functional $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$3 is a generating functional for QFI: all QFIM entries with respect to the one-body generator basis are obtained from derivatives with respect to the couplings $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$4 (Benavides-Riveros et al., 2023).

This route does not treat QFI of a spatial subregion’s reduced density operator. The reduced object is instead the one-body sector. That distinction is explicit in (Benavides-Riveros et al., 2023): the framework computes the global many-body QFIM for one-body generators from one-body reduced data, not the QFI of a proper subsystem in the spatial-partition sense.

The two-site Bose–Hubbard model provides the concrete bosonic example. With

$p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$5

one has

$p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$6

For $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$7, exact universal QFIM functionals are given analytically over the Bloch disk in terms of $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$8, including the repulsive and attractive cases (Benavides-Riveros et al., 2023). This suggests a compressed stopwatch-like description in which many-body sensitivity to one-body generators is reconstructed without explicitly handling exponentially large wave functions.

5. Criticality, squeezing, and reduced-state stopwatches

In the Dicke-model study (Wang et al., 2013), the total ground state is pure but entangled, and the field and atomic subsystems are mixed: $p_\theta(i)=\mathrm{tr}(\rho_\theta M_i)$9 The chosen generators are

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$0

The mixed-state QFI is written as

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$1

The paper compares subsystem QFI to classical limits $$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$2 for a coherent field state and $$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$3 for a coherent spin state (Wang et al., 2013).

Near the superradiant critical coupling, both subsystems can surpass their classical limits. For finite and large enough atom number, the paper reports that near the critical atom-field coupling the QFIs of the atomic and field subsystems can surpass the classical limits because of nonclassical squeezed states. Far beyond the critical point, the two reduced states become highly mixed, which degrades the QFI and therefore the ultimate phase sensitivity (Wang et al., 2013).

In the thermodynamic limit, the atomic subsystem obeys

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$4

which implies the exact relation

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$5

At resonance and at the critical point, the paper gives

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$6

For the field subsystem, the phase-quadrature variance satisfies

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$7

and in the superradiant phase

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$8

At the critical point on resonance,

$$F(\rho_\theta\mid M) := \sum_i p_\theta(i)\left(\partial_\theta \ln p_\theta(i)\right)^2,$$9

These formulas make the link between squeezing and reduced-state QFI explicit (Wang et al., 2013).

The singular behavior is equally important. In the thermodynamic limit, the derivatives of the scaled subsystem QFIs diverge at the critical point: $F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$0 Accordingly, subsystem QFI is not merely a metrological witness; it is also a sharp diagnostic of quantum criticality (Wang et al., 2013).

6. Nonequilibrium amplification and limits

The out-of-equilibrium analysis of (Ferro et al., 27 Mar 2025) is formulated entirely in terms of subsystems. For an infinite spin chain and a contiguous block $F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$1, the observable is the restricted extensive order parameter

$F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$2

with the transverse-field Ising example

$F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$3

For pure states, the QFI reduces to variance,

$F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$4

but for mixed reduced states the paper emphasizes the normalized quantity

$F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$5

If $F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$6 remains finite at large $F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$7, then $F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$8, which the paper interprets as macroscopic quantum behavior within the subsystem (Ferro et al., 27 Mar 2025).

The equilibrium statement is restrictive: in equilibrium local quantum many-body systems, subsystem QFI with respect to an extensive observable is typically proportional to subsystem volume, and the QFI per unit volume squared becomes negligible. The nonequilibrium result is the contrast case. At zero or sufficiently low temperatures in a spin chain with an ordered phase, a transient localized perturbation enhances the subsystem QFI so that it scales quadratically with subsystem length. More general localized kicking protocols can control this enhancement (Ferro et al., 27 Mar 2025).

The same work revisits global quenches. After a global quench in the thermodynamic limit, the density of localized multipartite entanglement approaches zero at late times, but there is an optimal time frame proportional to the subsystem length in which subsystems fall into macroscopic quantum states. This means the stopwatch-like sensitivity of compact subsystems can become superextensive, but only within a specific nonequilibrium window (Ferro et al., 27 Mar 2025).

A central technical contribution is the identity

$F(\rho_\theta)=\sup_M F(\rho_\theta\mid M).$9

which expresses QFI in terms of rotated Wigner–Yanase–Dyson skew information. Together with Gaussian free-fermion methods, this permits direct computation of subsystem QFI in noninteracting spin chains (Ferro et al., 27 Mar 2025).

Taken together, these results delimit the scope of “quantum stopwatches” in the present corpus. They are not theories of time observables or autonomous clockwork. They are theories of parameter sensitivity: how timing or phase information is quantified by QFI, how much of it survives in reduced states, how it can be compressed into auxiliary systems or one-body reduced descriptions, and how equilibrium, criticality, and nonequilibrium dynamics respectively suppress, sharpen, or transiently amplify that sensitivity (Lu et al., 2012, Sone et al., 2020, Benavides-Riveros et al., 2023, Liu, 2024, Wang et al., 2013, Ferro et al., 27 Mar 2025).