Pure-Gaussian Metrology Insights

Updated 30 June 2026

Pure-Gaussian metrology is a framework using pure Gaussian states and operations to optimize quantum parameter estimation via the quantum Fisher information.
It utilizes nonclassical probe preparation, including single-mode and two-mode squeezing, to achieve Heisenberg scaling and enhanced resource allocation.
The method integrates optimal measurement strategies such as homodyne detection and mode-selective squeezing to counter decoherence and boost multiparameter estimation.

Pure-Gaussian metrology is the study and application of quantum estimation theory within the continuous-variable (CV) domain, where both probe states and measurement strategies are restricted to pure Gaussian states and Gaussian operations. This framework is central to quantum optics, quantum sensing, and precision measurement protocols employing states such as coherent, squeezed, or multimode vacuum states. The field has yielded compact, closed-form expressions for ultimate precision bounds set by the quantum Fisher information (QFI), and explicit design rules for optimal probe states and measurement strategies under diverse constraints and physical scenarios.

1. Formalism and Quantum Fisher Information for Pure-Gaussian States

In the CV setting, a pure $n$ -mode Gaussian state is completely specified by its mean displacement vector $d\in\mathbb{R}^{2n}$ and real $2n\times 2n$ covariance matrix $V$ fulfilling $V\Omega V = \Omega$ , with symplectic form $\Omega$ . For any parameter $\theta$ , the QFI controls the lower bound on estimation error via the quantum Cramér–Rao inequality. For families of pure Gaussian states $\rho(\theta)$ , the QFI is given by

$F_Q(\theta) = \frac{1}{4}\mathrm{Tr}[\partial_\theta V\,\partial_\theta V] + \partial_\theta d^{T}V^{-1}\partial_\theta d$

where the first term quantifies parameter dependence in the noise (squeezing and correlations) and the second term captures sensitivity through displacements (Šafránek et al., 2015, Šafránek, 2016, Chatterjee et al., 10 Jan 2026).

For multimode settings and multiparameter estimation, the QFI generalizes to the QFI matrix (QFIM)

$F_{ij} = \frac12\mathrm{Tr}[(\partial_{i}V)\,\Omega\,(\partial_{j}V)\,\Omega] + 2\,(\partial_{i}d)^{T}V^{-1}(\partial_{j}d)$

with $d\in\mathbb{R}^{2n}$ 0, capturing the ultimate precision for simultaneous estimation of vector parameters $d\in\mathbb{R}^{2n}$ 1 (Nichols et al., 2017).

2. Heisenberg Scaling and Resource Theory

Pure-Gaussian metrology enables estimation precision that saturates the Heisenberg scaling, $d\in\mathbb{R}^{2n}$ 2, where $d\in\mathbb{R}^{2n}$ 3 is the mean photon number of the probe. This is achieved only by nonclassical (non-coherent) Gaussian states—specifically, for single-mode squeezing,

$d\in\mathbb{R}^{2n}$ 4

and for two-mode squeezing,

$d\in\mathbb{R}^{2n}$ 5

where $d\in\mathbb{R}^{2n}$ 6 is the mean photon number for squeezing parameter $d\in\mathbb{R}^{2n}$ 7 (Friis et al., 2015, Šafránek, 2016, Matsubara et al., 2018, Šafránek et al., 2015). Coherent states ( $d\in\mathbb{R}^{2n}$ 8) only yield shot-noise scaling, i.e., $d\in\mathbb{R}^{2n}$ 9.

Any nonzero squeezing ( $2n\times 2n$ 0) is both necessary and sufficient for strictly positive metrological advantage in phase estimation, as shown by the operational resource monotone $2n\times 2n$ 1, which vanishes for all coherent (or thermal) probes and is strictly positive for any amount of squeezing (Garbe et al., 2018). Passive linear optics (beam-splitters, phase shifters) serve as free operations, and squeezing is the nonclassical resource.

3. Optimal Probe Preparation and Measurement Strategies

The optimal pure-Gaussian probe for a fixed energy and a general passive multimode linear circuit is a single-mode squeezed vacuum, with all squeezing aligned to the maximal-eigenvalue mode of the generator. When $2n\times 2n$ 2 identical circuits can be used with passive interleaving, all squeezing is concentrated in one mode across all $2n\times 2n$ 3 uses and the resulting QFI is

$2n\times 2n$ 4

with optimal sensitivity achieved by homodyne detection on the maximally-squeezed mode (after undoing the unknown unitary rotation) (Matsubara et al., 2018).

For estimation tasks where the information is encoded purely in first or second moments (displacement or covariance), optimal measurement strategies remain local and Gaussian, e.g., homodyne detection for displacement and suitable squeezed-quadrature detection for squeezing (Navarro et al., 23 Dec 2025, Oh et al., 2018). However, when the encoding is in both displacement and covariance, joint (global) Gaussian measurements attain super-additivity, and local (product) measurements are strictly suboptimal unless the number of copies becomes large.

In phase estimation of single-mode squeezed (or coherent) probes, homodyne detection attains the QFI bound in pure-state (displaced vacuum or squeezed vacuum) regimes. More generally, for mixed (displaced-squeezed thermal) states, the ultimate QFI is only achievable by non-Gaussian measurement in the eigenbasis of the symmetrized product $2n\times 2n$ 5 (Oh et al., 2018).

4. Geometric and Graph-Based Structure of Pure-Gaussian Sensitivity

The geometry of pure-Gaussian states is governed by the Siegel upper half-space of symmetric complex matrices. Any centered pure state can be parametrized as $2n\times 2n$ 6, and the QFI reduces to the Riemannian metric

$2n\times 2n$ 7

which allows rapid calculation and optimization by maximizing the $2n\times 2n$ 8-weighted Frobenius norm of the parameter derivative $2n\times 2n$ 9 (Chatterjee et al., 10 Jan 2026). This framework reveals that only active (squeezing-type) transformations generate QFI in pure-Gaussian metrology; passive operations yield zero sensitivity for pure probes.

A canonical even–odd decomposition separates QFI related to spectral changes (even sector, vanishing for pure states) from that due to parameter-induced correlations (odd sector, the entirety of pure-state QFI). This structure delivers direct operational geometric rules for sensor design, indicating that squeezing is the central metrological resource in the pure-Gaussian regime.

5. Multiparameter and Mode-Encoded Pure-Gaussian Estimation

For joint estimation of multiple parameters (e.g., phase and correlated loss/noise parameters), the simultaneous quantum Cramér–Rao bound is saturable when the measurement-compatibility condition (average commutation of the SLDs) is obeyed. In two-mode squeezed-displaced probes with optimal resource allocation, measurement compatibility holds in the high-energy limit, and simultaneous estimation is strictly advantageous compared to separate runs (Nichols et al., 2017).

Pure-Gaussian metrology also generalizes to mode-encoded parameters: for instance, estimation of beam displacements and temporal separations in multimode optical fields. Squeezing injected into the appropriate derivative modes enhances sensitivity as

$V$ 0

for total photon number $V$ 1 and squeezing $V$ 2, yielding Heisenberg-like quadratic scaling in optimized resource-allocation scenarios (Sorelli et al., 2022). This mode-selective squeezing prescription underlies advanced imaging and temporal sensing protocols.

6. Decoherence, Mixed-State Extensions, and Measurement Constraints

Decoherence degrades the metrological scaling unless it is possible to engineer non-Markovian, bound-state–supporting environments, in which case the long-encoding-time scaling $V$ 3 is restored even for noisy probes (Wu et al., 2021). In the finite-temperature setting, the metrological advantage is defined relative to the best (reference) precision achievable by a displaced thermal state at the same symplectic eigenvalue, with squeezing remaining a necessary and sufficient resource for advantage (Garbe et al., 2018).

When both input states and measurements are restricted to Gaussian protocols, identical-copy additivity of Fisher information holds only if parameter encoding is purely in displacement or covariance. Otherwise, super-additivity arises and passive linear networks followed by local detection can asymptotically achieve the global quantum bound (Navarro et al., 23 Dec 2025).

7. Foundational Aspects: Uncertainty Relations, Bayesian Perspective, and Coherence

Joint measurement of conjugate observables is optimally realized via the Gaussian phase-space POVM (Husimi–Q function), which interpolates between position and momentum measurements. For pure initial Gaussian states, the refined Lee error uncertainty relation is saturated ( $V$ 4), establishing the fundamental Heisenberg error–error surface for Gaussian metrology (Oda et al., 2024).

Bayesian parameter estimation with pure Gaussian probes and measurements admits closed-form updates and mean-square-error expressions. Homodyne detection with appropriate squeezing is optimal for displacement and squeezing estimation, while coherent probes optimize phase estimation. The Bayesian Cramér–Rao bound (Van Trees) is saturated in each scenario by the prescribed pure-Gaussian strategies, smoothly connecting the small-sample and asymptotic regimes (Morelli et al., 2020).

Recent developments show that initial position–momentum correlations, coherence generated via Gaussian noncommutative preparation measurements, and purity-loss rates can all serve as metrological resources, enhancing sensitivity beyond the classical benchmark even in the presence of thermal noise (Porto et al., 2024, Hall et al., 17 Nov 2025).

Table: Fundamental QFI Scaling in Pure-Gaussian Metrology

Probe configuration	QFI scaling ( $V$ 5)	Optimality condition
Coherent state	$V$ 6	Shot-noise limit
Single-mode squeezed vacuum	$V$ 7	Heisenberg scaling
Two-mode squeezed vacuum	$V$ 8	Heisenberg scaling
Mode-encoded, allocated sqz	$V$ 9	Mode-selective squeezing

Here $V\Omega V = \Omega$ 0 is mean photon number, $V\Omega V = \Omega$ 1, and $V\Omega V = \Omega$ 2 is a protocol-dependent constant (Šafránek et al., 2015, Friis et al., 2015, Sorelli et al., 2022, 2610.06513).

In summary, pure-Gaussian metrology is grounded in the symplectic geometry of Gaussian states, with Heisenberg-limited sensitivity achieved only through nonclassical probe preparation (squeezing), precise mode matching, and, where necessary, global measurement strategies. Its closed-form theory provides a practical guide for quantum-enhanced protocols in optical phase, displacement, squeezing, and multiparameter estimation, and remains the standard homodyne-dominated regime where the fundamental trade-offs between resource allocation, measurement constraint, and decoherence are analytically tractable.