Introduction {#Sec1}
============

Our ability to deliver new quantum-mechanical improvements to technologies relies on a better understanding of the foundation of quantum theory: When is a phenomenon truly nonclassical? We take noncommutation as our notion of nonclassicality and we quantify this nonclassicality with negativity: Quantum states can be represented by quasiprobability distributions, extensions of classical probability distributions. Whereas probabilities are real and nonnegative, quasiprobabilities can assume negative and nonreal values. Quasiprobabilities' negativity stems from the impossibility of representing quantum states with joint probability distributions^[@CR1]--[@CR3]^. The distribution we use, an extension of the Kirkwood--Dirac distribution^[@CR4]--[@CR6]^, signals nonclassical noncommutation through the presence of negative or nonreal quasiprobabilities.

One field advanced by quantum mechanics is metrology, which concerns the statistical estimation of unknown physical parameters. Quantum metrology relies on quantum phenomena to improve estimations beyond classical bounds^[@CR7]^. A famous example exploits entanglement^[@CR8]--[@CR10]^. Consider using *N* separable and distinguishable probe states to evaluate identical systems in parallel. The best estimator's error will scale as *N*^−1/2^. If the probes are entangled, the error scaling improves to *N*^−1 [@CR11]^. As Bell's theorem rules out classical (local realist) explanations of entanglement, the improvement is genuinely quantum.

A central quantity in parameter estimation is the Fisher information, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\mathcal{I}}(\theta )$$\end{document}$. The Fisher information quantifies the average information learned about an unknown parameter *θ* from an experiment^[@CR12]--[@CR14]^. $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\mathcal{I}}(\theta )$$\end{document}$ lower-bounds the variance of an unbiased estimator *θ*~e~ via the Cramér--Rao inequality: Var$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$({\theta }_{{\rm{e}}})\ge 1/{\mathcal{I}}(\theta )$$\end{document}$^[@CR15],[@CR16]^. A common metrological task concerns optimally estimating a parameter that characterizes a physical process. The experimental input and the final measurement are optimized to maximize the Fisher information and to minimize the estimator's error.

Classical parameter estimation can benefit from postselecting the output data before postprocessing. Postselection can raise the Fisher information per final measurement or postprocessing event. Postselection can also raise the rate of information per final measurement in a quantum setting. But classical postselection is intuitive, whereas an intense discussion surrounds postselected quantum experiments^[@CR17]--[@CR29]^. The ontological nature of postselected quantum states, and the extent to which they exhibit nonclassical behavior, is subject to an ongoing debate. Particular interest has been aimed at pre- and postselected averages of observables. These "weak values" can lie outside an observable's eigenspectrum when measured via a weak coupling to a pointer particle^[@CR17],[@CR30]^. Such values offer metrological advantages in estimations of weak-coupling strengths^[@CR19],[@CR24],[@CR31]--[@CR36]^.

In this article, we go beyond this restrictive setting and ask, can postselection provide a nonclassical advantage in general quantum parameter-estimation experiments? We conclude that it can. We study metrology experiments for estimating an unknown transformation parameter whose final measurement or postprocessing incurs an experimental cost^[@CR37],[@CR38]^. Postselection allows the experiment to incur that cost only when the postselected measurement's result reveals that the final measurement's Fisher information will be sufficiently large. We express the Fisher information in terms of a quasiprobability distribution. Quantum negativity in this distribution enables postselection to increase the Fisher information above the values available from standard input-and-measurement-optimized experiments. Such an anomalous Fisher information can improve the rate of information gain to experimental cost, offering a genuine quantum advantage in metrology. We show that, within a commuting theory, a theory in which observables commute classically, postselection can improve information-cost rates no more than a strategy that uses an optimal input and final measurement can. We thus conclude that experiments that generate anomalous Fisher-information values require noncommutativity.

Results {#Sec2}
=======

Postselected quantum Fisher information {#Sec3}
---------------------------------------

As aforementioned, postselection can raise the Fisher information per final measurement. Figure [1](#Fig1){ref-type="fig"} outlines a classical experiment with such an information enhancement. Below, we show how postselection affects the Fisher information in a quantum setting.Fig. 1Classical experiment with postselection.A nonoptimal input device initializes a particle in one of two states, with probabilities *p* and 1 − *p*, respectively. The particle undergoes a transformation *Γ*~*θ*~ set by an unknown parameter *θ*. Only the part of the transformation that acts on particles in the lower path depends on *θ*. If the final measurement is expensive, the particles in the upper path should be discarded: they possess no information about *θ*.

Consider an experiment with outcomes *i* and associated probabilities *p*~*i*~(*θ*), which depend on some unknown parameter *θ*. The Fisher information about *θ* is^[@CR14]^$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\mathcal{I}}(\theta )=\sum _{i}{p}_{i}(\theta ){[{\partial }_{\theta }{\mathrm{ln}}\,({p}_{i}(\theta ))]}^{2}=\sum _{i}\frac{1}{{p}_{i}(\theta )}{[{\partial }_{\theta }{p}_{i}(\theta )]}^{2}.$$\end{document}$$Repeating the experiment *N* ≫ 1 times provides, on average, an amount $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$N{\mathcal{I}}(\theta )$$\end{document}$ of information about *θ*. The estimator's variance is bounded by Var$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$({\theta }_{{\rm{e}}})\ge 1/[N{\mathcal{I}}(\theta )]$$\end{document}$.

Below, we define and compare two types of metrological procedures. In both scenarios, we wish to estimate an unknown parameter *θ* that governs a physical transformation.

Optimized prepare-measure experiment: An input system undergoes the partially unknown transformation, after which the system is measured. Both the input system and the measurement are chosen to provide the largest possible Fisher information.

Postselected prepare-measure experiment: An input system undergoes, first, the partially unknown transformation and, second, a postselection measurement. Conditioned on the postselection's yielding the desired outcome, the system undergoes an information-optimized final measurement.

In quantum parameter estimation, a quantum state is measured to reveal information about an unknown parameter encoded in the state. We now compare, in this quantum setting, the Fisher-information values generated from the two metrological procedures described above. Consider a quantum experiment that outputs a state $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }=\hat{U}(\theta ){\hat{\rho }}_{0}{\hat{U}}^{\dagger }(\theta )$$\end{document}$, where $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{0}$$\end{document}$ is the input state and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{U}(\theta )$$\end{document}$ represents a unitary evolution set by *θ*. The quantum Fisher information is defined as the Fisher information maximized over all possible generalized measurements^[@CR7],[@CR13],[@CR39],[@CR40]^:$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })={\rm{Tr}}\left[{\hat{\rho }}_{\theta }{\hat{\Lambda }}_{{\hat{\rho }}_{\theta }}^{2}\right].$$\end{document}$$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\Lambda }}_{{\hat{\rho }}_{\theta }}$$\end{document}$ is the symmetric logarithmic derivative, implicitly defined by $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\partial }_{\theta }{\hat{\rho }}_{\theta }=\frac{1}{2}({\hat{\Lambda }}_{{\hat{\rho }}_{\theta }}{\hat{\rho }}_{\theta }+{\hat{\rho }}_{\theta }{\hat{\Lambda }}_{{\hat{\rho }}_{\theta }})$$\end{document}$^[@CR12]^.

If $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }$$\end{document}$ is pure, such that $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }=\left|{\Psi }_{\theta }\right\rangle \left\langle {\Psi }_{\theta }\right|$$\end{document}$, the quantum Fisher information can be written as^[@CR32],[@CR41]^$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })=4\langle {\dot{\Psi }}_{\theta }| {\dot{\Psi }}_{\theta }\rangle -4| \langle {\dot{\Psi }}_{\theta }| {\Psi }_{\theta }\rangle {| }^{2},$$\end{document}$$where $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|{\dot{\Psi }}_{\theta }\right\rangle \equiv {\partial }_{\theta }\left|{\Psi }_{\theta }\right\rangle$$\end{document}$.

We assume that the evolution can be represented in accordance with Stone's theorem^[@CR42]^, by $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{U}(\theta )\equiv {e}^{-i\hat{A}\theta }$$\end{document}$, where $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ is a Hermitian operator. We assume that $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ is not totally degenerate: If all the $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ eigenvalues were identical, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{U}(\theta )$$\end{document}$ would not imprint *θ* onto the state in a relative phase. For a pure state, the quantum Fisher information equals $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })$$\end{document}$ = 4Var$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${(\hat{A})}_{{\hat{\rho }}_{0}}$$\end{document}$^[@CR7]^. Maximizing Eq. ([1](#Equ1){ref-type=""}) over all measurements gives $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })$$\end{document}$. Similarly, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })$$\end{document}$ can be maximized over all input states. For a given unitary $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{U}(\theta )={e}^{-i\hat{A}\theta }$$\end{document}$, the maximum quantum Fisher information is$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\max }_{{\hat{\rho }}_{0}}\left\{{{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })\right\}=4{\max }_{{\hat{\rho }}_{0}}\left\{\,\text{Var}\,{(\hat{A})}_{{\hat{\rho }}_{0}}\right\}={(\Delta a)}^{2},$$\end{document}$$where Δ*a* is the difference between the maximum and minimum eigenvalues of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$^[@CR7]^. (The information-optimal input state is a pure state in an equal superposition of one eigenvector associated with the smallest eigenvalue and one associated with the largest.) To summarize, in an optimized quantum prepare-measure experiment, the quantum Fisher information is (Δ*a*)^2^.

We now find an expression for the quantum Fisher information in a postselected prepare-measure experiment. A projective postselection occurs after $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{U}(\theta )$$\end{document}$ but before the final measurement. Figure [2](#Fig2){ref-type="fig"} shows such a quantum circuit. The renormalized quantum state that passes the postselection is $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|{\Psi }_{\theta }^{{\rm{ps}}}\right\rangle \equiv \left|{\psi }_{\theta }^{{\rm{ps}}}\right\rangle /\sqrt{{p}_{\theta }^{{\rm{ps}}}}$$\end{document}$, where we have defined an unnormalized state $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|{\psi }_{\theta }^{{\rm{ps}}}\right\rangle \equiv \hat{F}\left|{\Psi }_{\theta }\right\rangle$$\end{document}$ and the postselection probability $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${p}_{\theta }^{{\rm{ps}}}\equiv {\rm{Tr}}(\hat{F}{\hat{\rho }}_{\theta })$$\end{document}$. As before, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }=\hat{U}(\theta ){\hat{\rho }}_{0}{\hat{U}}^{\dagger }(\theta )$$\end{document}$. $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}={\sum }_{f\in {{\mathcal{F}}}^{{\rm{ps}}}}\left|f\right\rangle \left\langle f\right|$$\end{document}$ is the postselecting projection operator, and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{F}}}^{{\rm{ps}}}$$\end{document}$ is a set of orthonormal basis states allowed by the postselection. Finally, the postselected state undergoes an information-optimal measurement.Fig. 2Preparation of postselected quantum state.First, an input quantum state $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{0}$$\end{document}$ undergoes a unitary transformation $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{U}(\theta )={e}^{-i\theta \hat{A}}$$\end{document}$: $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{0}\to {\hat{\rho }}_{\theta }$$\end{document}$. Second, the quantum state is subject to a projective postselective measurement $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\hat{F},\hat{1}-\hat{F}\}$$\end{document}$. The postselection is such that if the outcome related to the operator $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$ happens, then the quantum state is not destroyed. The experiment outputs renormalized states $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }^{{\rm{ps}}}=\hat{F}{\hat{\rho }}_{\theta }\hat{F}/{\rm{Tr}}(\hat{F}{\hat{\rho }}_{\theta })$$\end{document}$.

When $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|{\Psi }_{\theta }^{{\rm{ps}}}\right\rangle \equiv \left|{\psi }_{\theta }^{{\rm{ps}}}\right\rangle /\sqrt{{p}_{\theta }^{{\rm{ps}}}}$$\end{document}$ is substituted into Eq. ([3](#Equ3){ref-type=""}), the derivatives of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${p}_{\theta }^{{\rm{ps}}}$$\end{document}$ cancel, such that$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})=4\langle {\dot{\psi }}_{\theta }^{{\rm{ps}}}| {\dot{\psi }}_{\theta }^{{\rm{ps}}}\rangle \frac{1}{{p}_{\theta }^{{\rm{ps}}}}-4| \langle {\dot{\psi }}_{\theta }^{{\rm{ps}}}| {\psi }_{\theta }^{{\rm{ps}}}\rangle {| }^{2}\frac{1}{{({p}_{\theta }^{{\rm{ps}}})}^{2}}.$$\end{document}$$Equation ([5](#Equ5){ref-type=""}) gives the quantum Fisher information available from a quantum state after its postselection. Unsurprisingly, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ can exceed $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })$$\end{document}$, since $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${p}_{\theta }^{{\rm{ps}}}\le 1$$\end{document}$. Also classical systems can achieve such postselected information amplification (see Fig. [1](#Fig1){ref-type="fig"}). Unlike in the classical case, however, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ can also exceed the Fisher information of an optimized prepare-measure experiment, (Δ*a*)^2^. We show how below.

Quasiprobability representation {#Sec4}
-------------------------------

In classical mechanics, our knowledge of a point particle can be described by a probability distribution for the particle's position, ***x***, and momentum, ***k***: *p*(***x***, ***k***). In quantum mechanics, position and momentum do not commute, and a state cannot generally be represented by a joint probability distribution over observables' eigenvalues. A quantum state can, however, be represented by a quasiprobability distribution. Many classes of quasiprobability distributions exist. The most famous is the Wigner function^[@CR43]^. Such a distribution satisfies some, but not all, of Kolmogorov's axioms for probability distributions^[@CR44]^: the entries sum to unity, and marginalizing over the eigenvalues of every observable except one yields a probability distribution over the remaining observable's eigenvalues. A quasiprobability distribution can, however, have negative or nonreal values. Such values signal nonclassical physics in, for example, quantum computing and quantum chaos^[@CR2],[@CR6],[@CR45]--[@CR53]^.

A cousin of the Wigner function is the Kirkwood--Dirac quasiprobability distribution^[@CR4]--[@CR6]^. This distribution, which has been referred to by several names across the literature, resembles the Wigner function for continuous systems. Unlike the Wigner functions, however, the Kirkwood--Dirac distribution is well-defined for discrete systems, even qubits. The Kirkwood--Dirac distribution has been used in the study of weak-value amplification^[@CR6],[@CR48],[@CR54]--[@CR57]^, information scrambling^[@CR6],[@CR52],[@CR53],[@CR58]^, and direct measurements of quantum wavefunctions^[@CR59]--[@CR61]^. Moreover, negative and nonreal values of the distribution have been linked to nonclassical phenomena^[@CR6],[@CR48],[@CR52],[@CR53]^. We cast the quantum Fisher information for a postselected prepare-measure experiment in terms of a doubly extended Kirkwood--Dirac quasiprobability distribution^[@CR6]^. (The modifier "doubly extended" comes from the experiment in which one would measure the distribution: One would prepare $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{\rho }$$\end{document}$, sequentially measure two observables weakly, and measure one observable strongly. The number of weak measurements equals the degree of the extension^[@CR6]^.) We employ this distribution due to its usefulness as a mathematical tool: This distribution enables the proof that, in the presence of noncommuting observables, postselection can give a metrological protocol a nonclassical advantage.

Our distribution is defined in terms of eigenbases of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$. Other quasiprobability distributions are defined in terms of bases independent of the experiment. For example, the Wigner function is often defined in the bases of the quadrature of the electric field or the position and momentum bases. However, basis-independent distributions can be problematic in the hunt for nonclassicality^[@CR2],[@CR49]^. Careful application, here, of the extended Kirkwood--Dirac distribution ties its nonclassical values to the operational specifics of the experiment.

To begin, we define the quasiprobability distribution of an arbitrary quantum state $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{\rho }$$\end{document}$:$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{\hat{\rho }}\equiv \langle f| a\rangle \left\langle a\right|\hat{\rho }\left|{a}^{\prime}\right\rangle \langle {a}^{\prime}| f\rangle .$$\end{document}$$Here, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\left|f\right\rangle \}$$\end{document}$, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\left|a\right\rangle \}$$\end{document}$, and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\left|{a}^{\prime}\right\rangle \}$$\end{document}$ are bases for the Hilbert space on which $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{\rho }$$\end{document}$ is defined. We can expand $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{\rho }$$\end{document}$^[@CR59],[@CR60]^ as$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{\rho }=\sum _{a,{a}^{\prime},f}\frac{\left|a\right\rangle \left\langle f\right|}{\langle f| a\rangle }{q}_{a,{a}^{\prime},f}^{\hat{\rho }}.$$\end{document}$$If any $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\langle f| a\rangle$$\end{document}$ = 0, we perturb one of the bases infinitesimally while preserving its orthonormality.

Let $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\left|a\right\rangle \}=\{\left|{a}^{\prime}\right\rangle \}$$\end{document}$ denote an eigenbasis of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$, and let $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\left|f\right\rangle \}$$\end{document}$ denote an eigenbasis of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$. The reason for introducing a doubly extended distribution, instead of the standard Kirkwood--Dirac distribution $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,f}^{\hat{\rho }}\equiv \langle f| a\rangle \left\langle a\right|\hat{\rho }\left|f\right\rangle$$\end{document}$, is that $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ can be expressed most concisely, naturally, and physically meaningfully in terms of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}$$\end{document}$. Later, we shall see how the nonclassical entries in $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{\hat{\rho }}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,f}^{\hat{\rho }}$$\end{document}$ are related. We now express the postselected quantum Fisher information (Eq. ([5](#Equ5){ref-type=""})) in terms of the quasiprobability values $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}$$\end{document}$ (see Supplementary Note 1).$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})=4\sum _{\begin{array}{c}a,{a}^{\prime},\end{array}f\in {{\mathcal{F}}}^{{\rm{ps}}}}\frac{{q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}}{{p}_{\theta }^{{\rm{ps}}}}a{a}^{\prime}-4{\left|\sum _{\begin{array}{c}a,{a}^{\prime},\end{array}f\in {{\mathcal{F}}}^{{\rm{ps}}}}\frac{{q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}}{{p}_{\theta }^{{\rm{ps}}}}a\right|}^{2},$$\end{document}$$where *a* and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${a}^{\prime}$$\end{document}$ denote the eigenvalues associated with $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|a\right\rangle$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|{a}^{\prime}\right\rangle$$\end{document}$, respectively. (We have suppressed degeneracy parameters *γ* in our notation for the states, e.g., $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|a,\gamma \right\rangle \equiv \left|a\right\rangle$$\end{document}$.) Equation ([8](#Equ8){ref-type=""}) contains a conditional quasiprobability distribution, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}/{p}_{\theta }^{{\rm{ps}}}$$\end{document}$. If $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ commutes with $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$, as they do classically, then they share an eigenbasis for which $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}/{p}_{\theta }^{{\rm{ps}}}\in [0,\ 1]$$\end{document}$, and the postselected quantum Fisher information is bounded as $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})\le {(\Delta a)}^{2}$$\end{document}$:

**Theorem 1** In a classically commuting theory, no postselected prepare-measure experiment can generate more Fisher information than the optimized prepare-measure experiment.

Proof: We upper-bound the right-hand side of Eq. ([8](#Equ8){ref-type=""}). First, if $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\left|a\right\rangle \}=\{\left|{a}^{\prime}\right\rangle \}=\{\left|f\right\rangle \}$$\end{document}$ is a eigenbasis shared by $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$, Eq. ([6](#Equ6){ref-type=""}) simplifies to a probability distribution:$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}=\left\langle a\right|{\hat{\rho }}_{\theta }\left|{a}^{\prime}\right\rangle [\left|f\right\rangle =\left|a\right\rangle ][\left|{a}^{\prime}\right\rangle =\left|f\right\rangle ]\in [0,\ 1],$$\end{document}$$where \[*X*\] is the Iverson bracket, which equals 1 if *X* is true and equals 0 otherwise. Second, summing $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}/{p}_{\theta }^{{\rm{ps}}}$$\end{document}$ over $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$f\in {{\mathcal{F}}}^{{\rm{ps}}}$$\end{document}$, we find$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\sum _{f\in {{\mathcal{F}}}^{{\rm{ps}}}}{q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}/{p}_{\theta }^{{\rm{ps}}}=\left\langle a\right|{\hat{\rho }}_{\theta }\left|{a}^{\prime}\right\rangle \left\langle {a}^{\prime}\right|\hat{F}\left|a\right\rangle /{p}_{\theta }^{{\rm{ps}}}.$$\end{document}$$By the eigenbasis shared by $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$, the sum simplifies to $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left\langle a\right|{\hat{\rho }}_{\theta }\hat{F}\left|{a}^{\prime}\right\rangle [\left|{a}^{\prime}\right\rangle =\left|a\right\rangle ]/{p}_{\theta }^{{\rm{ps}}}$$\end{document}$. We can thus rewrite Eq. ([8](#Equ8){ref-type=""}):$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})=\, 4\sum _{a,{a}^{\prime}}\frac{\left\langle a\right|{\hat{\rho }}_{\theta }\hat{F}\left|{a}^{\prime}\right\rangle [\left|{a}^{\prime}\right\rangle =\left|a\right\rangle ]}{{p}_{\theta }^{{\rm{ps}}}}a{a}^{\prime}\\ -{\,}4{\left|\sum _{a,{a}^{\prime}}\frac{\left\langle a\right|{\hat{\rho }}_{\theta }\hat{F}\left|{a}^{\prime}\right\rangle [\left|{a}^{\prime}\right\rangle = \left|a\right\rangle ]}{{p}_{\theta }^{{\rm{ps}}}}a\right|}^{2}\\ =4\sum _{a}{q}_{a}{a}^{2}-4{\left(\sum _{a}{q}_{a}a\right)}^{2},$$\end{document}$$where we have defined the probabilities $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a}\equiv \left\langle a\right|{\hat{\rho }}_{\theta }\hat{F}\left|a\right\rangle /{p}_{\theta }^{{\rm{ps}}}={\sum }_{f\in {{\mathcal{F}}}^{{\rm{ps}}}}\left\langle a\right|{\hat{\rho }}_{\theta }\left|a\right\rangle [\left|f\right\rangle =\left|a\right\rangle ]/{p}_{\theta }^{{\rm{ps}}}$$\end{document}$.

Apart from the multiplicative factor of 4, Eq. ([11](#Equ11){ref-type=""}) is in the form of a variance with respect to the observable's eigenvalues *a*. Thus, Eq. ([11](#Equ11){ref-type=""}) is maximized when $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{{a}_{\min }}={q}_{{a}_{\max }}=\frac{1}{2}$$\end{document}$:$$\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\mathop{\max }\limits_{\{{q}_{a}\}}\{{{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})\}={(\Delta a)}^{2}.$$\end{document}$$This Fisher-information bound must be independent of our choice of eigenbases of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$. In summary, if $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ commutes with $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$, then all $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}/{p}_{\theta }^{{\rm{ps}}}$$\end{document}$ can be expressed as real and nonnegative, and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})\le {(\Delta a)}^{2}$$\end{document}$.

In contrast, if the quasiprobability distribution contains negative values, the postselected quantum Fisher information can violate the bound: $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}}){\,} > {\,}{(\Delta a)}^{2}$$\end{document}$.

**Theorem 2** An anomalous postselected Fisher information implies that the quantum Fisher information cannot be expressed in terms of a nonnegative doubly extended Kirkwood--Dirac quasiprobability distribution.

Proof: See Supplementary Note 2 for a proof.

(The theorem's converse is not generally true.) This inability to express implies that $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ fails to commute with $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$. However, pairwise noncommutation of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }$$\end{document}$, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$, and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{F}$$\end{document}$ is insufficient to enable anomalous values of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$. For example, noncommutation could lead to a nonreal Kirkwood--Dirac distribution without any negative real components. Such a distribution cannot improve $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ beyond classical values. Furthermore, the presence or absence of commutation is a binary measure. In contrast, how much postselection improves $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ depends on how much negativity $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{{\hat{\rho }}_{\theta }}/{p}_{\theta }^{{\rm{ps}}}$$\end{document}$ has. We build on this observation, and propose two experiments that yield anomalous Fisher-information values, in Supplementary Notes 3 and 4. (It remains an open question to investigate the relationship between Kirkwood--Dirac negativity in other metrology protocols with noncommuting operators, e.g., ref. ^[@CR62]^.)

As promised, we now address the relation between nonclassical entries in $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{\hat{\rho }}$$\end{document}$ and nonclassical entries in $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,f}^{\hat{\rho }}$$\end{document}$. For pure states $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{\rho }=\left|\Psi \right\rangle \left\langle \Psi \right|$$\end{document}$, the doubly extended quasiprobability distribution can be expressed time symmetrically in terms of the standard Kirkwood--Dirac distribution^[@CR4]--[@CR6],[@CR51]--[@CR53]^: $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{\hat{\rho }}=\frac{1}{{p}_{f}}{q}_{a,f}^{\hat{\rho }}{({q}_{{a}^{\prime},f}^{\hat{\rho }})}^{* }$$\end{document}$, where $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,f}^{\hat{\rho }}=\langle f| a\rangle \left\langle a\right|\hat{\rho }\left|f\right\rangle$$\end{document}$ and *p*~*f*~ ≡ ∣〈*f* ∣Ψ〉∣^2^. (See refs. ^[@CR20],[@CR63]^ for discussions about time-symmetric interpretations of quantum mechanics.) Therefore, a negative $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{\hat{\rho }}$$\end{document}$ implies negative or nonreal values of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,f}^{\hat{\rho }}$$\end{document}$. Similarly, a negative $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${q}_{a,{a}^{\prime},f}^{\hat{\rho }}$$\end{document}$ implies a negative or nonreal weak value 〈*f* ∣*a*〉〈*a*∣Ψ〉/〈*f* ∣Ψ〉^[@CR17]^, which possesses interesting ontological features (see below). Thus, an anomalous Fisher information is closely related to a negative or nonreal weak value. Had we weakly measured the observable $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|a\right\rangle \left\langle a\right|$$\end{document}$ of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }$$\end{document}$ with a qubit or Gaussian pointer particle before the postselection, and had we used a fine-grained postselection $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\{\hat{1}-\hat{F},\ \left|f\right\rangle \left\langle f\right|\ :\ f\in {{\mathcal{F}}}^{{\rm{ps}}}\}$$\end{document}$, the weak measurement would have yielded a weak value outside the eigenspectrum of $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|a\right\rangle \left\langle a\right|$$\end{document}$. It has been shown that such an anomalous weak value proves that quantum mechanics, unlike classical mechanics, is contextual: quantum outcome probabilities can depend on more than a unique set of underlying physical states^[@CR24],[@CR35],[@CR64]^. If $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${\hat{\rho }}_{\theta }$$\end{document}$ had undergone the aforementioned weak measurement, instead of the postselected prepare-measure experiment, the weak measurement's result would have signaled quantum contextuality. Consequently, a counterfactual connects an anomalous Fisher information and quantum contextuality. While counterfactuals create no problems in classical physics, they can lead to logical paradoxes in quantum mechanics^[@CR64]--[@CR67]^. Hence our counterfactual's implication for the ontological relation between an anomalous Fisher information and contextuality offers an opportunity for future investigation.

Improved metrology via postselection {#Sec5}
------------------------------------

In every real experiment, the preparation and final measurement have costs, which we denote $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{P}}}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{M}}}$$\end{document}$, respectively. For example, a particle-number detector's dead time, the time needed to reset after a detection, associates a temporal cost with measurements^[@CR68]^. Reference^[@CR37]^ concerns a two-level atom in a noisy environment. Liuzzo et al. detail the tradeoff between frequency estimation's time and energy costs. Standard quantum-metrology techniques, they show, do not necessarily improve metrology, if the experiment's energy is capped. Also, the cost of postprocessing can be incorporated into $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{M}}}$$\end{document}$. (In an experiment, these costs can be multivariate functions that reflect the resources and constraints. Such a function could combine a detector's dead time with the monetary cost of liquid helium and a graduate student's salary. However, presenting the costs in a general form benefits this platform-independent work.) We define the information-cost rate as $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$R(\theta ):=N{\mathcal{I}}(\theta )/(N{{\mathcal{C}}}_{{\rm{P}}}+N{{\mathcal{C}}}_{{\rm{M}}})={\mathcal{I}}(\theta )/({{\mathcal{C}}}_{{\rm{P}}}+{{\mathcal{C}}}_{{\rm{M}}})$$\end{document}$. If our experiment conditions the execution of the final measurement on successful postselection of a fraction $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${p}_{\theta }^{{\rm{ps}}}$$\end{document}$ of the states, we include a cost of postselection, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{ps}}}$$\end{document}$. We define the postselected experiment's information-cost rate as $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${R}^{{\rm{ps}}}(\theta ):=N{p}_{\theta }^{{\rm{ps}}}{{\mathcal{I}}}^{{\rm{ps}}}(\theta )/(N{{\mathcal{C}}}_{{\rm{P}}}+N{{\mathcal{C}}}_{{\rm{ps}}}{\,}+N{p}_{\theta }^{{\rm{ps}}}{{\mathcal{C}}}_{{\rm{M}}})={p}_{\theta }^{{\rm{ps}}}{{\mathcal{I}}}^{{\rm{ps}}}(\theta )/({{\mathcal{C}}}_{{\rm{P}}}+{{\mathcal{C}}}_{{\rm{ps}}}+{p}_{\theta }^{{\rm{ps}}}{{\mathcal{C}}}_{{\rm{M}}})$$\end{document}$, where $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}^{{\rm{ps}}}(\theta )$$\end{document}$ is the Fisher information conditioned on successful postselection. Generalizing the following arguments to preparation and measurement costs that differ between the postselected and nonpostselected experiments is straightforward.

In classical experiments, postselection can improve the information-cost rate. See Fig. [1](#Fig1){ref-type="fig"} for an example. But can postselection improve the information-cost rate in a classical experiment with information-optimized inputs? Theorem 1 answered this question in the negative. $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}^{{\rm{ps}}}(\theta )\le \max \{{\mathcal{I}}(\theta )\}$$\end{document}$ in every classical experiment. The maximization is over all physically accessible inputs and final measurements. A direct implication is that $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${R}^{{\rm{ps}}}(\theta )\le \max \{R(\theta )\}$$\end{document}$.

In quantum mechanics, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ can exceed $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\mathop{\max }\nolimits_{{\hat{\rho }}_{0}}\{{{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\hat{\rho }}_{\theta })\}={(\Delta a)}^{2}$$\end{document}$. This result would be impossible classically. Anomalous Fisher-information values require quantum negativity in the doubly extended Kirkwood--Dirac distribution. Consequently, even compared to quantum experiments with optimized input states, postselection can raise information-cost rates beyond classically possible rates: $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${R}^{{\rm{ps}}}(\theta )> \max \{R(\theta )\}$$\end{document}$. This result generalizes the metrological advantages observed in the measurements of weak couplings, which also require noncommuting operators. References^[@CR69]--[@CR77]^ concern metrology that involves weak measurements of the following form. The primary system S and the pointer P begin in a pure product state $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\left|{\Psi }_{{\rm{S}}}\right\rangle \otimes \left|{\Psi }_{{\rm{P}}}\right\rangle$$\end{document}$; the coupling Hamiltonian is a product $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{H}={\hat{A}}_{{\rm{S}}}\otimes {\hat{A}}_{{\rm{P}}}$$\end{document}$; the unknown coupling strength *θ* is small; and just the system is postselected. Our results govern arbitrary input states, arbitrary Hamiltonians (that satisfy Stone's theorem), arbitrarily large coupling strengths *θ*, and arbitrary projective postselections. Our result shows that postselection can improve quantum parameter estimation in experiments where the final measurement's cost outweighs the combined costs of state preparation and postselection: $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{M}}}\gg {{\mathcal{C}}}_{{\rm{P}}}+{{\mathcal{C}}}_{{\rm{ps}}}$$\end{document}$. Earlier works identified that the Fisher information from nonrenormalized trials that succeed in the postselection cannot exceed the Fisher information averaged over all trials, including the trials in which the postselection fails^[@CR78],[@CR79]^. (Reference ^[@CR41]^ considered squeezed coherent states as metrological probes in specific weak-measurement experiments. It is shown that postselection can improve the signal-to-noise ratio, irrespectively of whether the analysis includes the failed trials. However, this work concerned nonpostselected experiments in which only the probe state was measured. Had it been possible to successfully measure also the target system, the advantage would have disappeared.) In accordance with practical metrology, not only the Fisher information, but also measurements' experimental costs, underlie our results.

So far, we have shown that $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ can exceed (Δ*a*)^2^. But how large can $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ grow? In Supplementary Note 3, we show that, if the generator $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ has *M* ≥ 3 not-all-identical eigenvalues, there is no upper bound on $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$. If $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{P}}}$$\end{document}$ and $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{ps}}}$$\end{document}$ are negligible compared with $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{M}}}$$\end{document}$, then there is no theoretical cap on how large *R*^ps^(*θ*) can grow. In general, when $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})\to \infty$$\end{document}$, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${p}_{\theta }^{{\rm{ps}}}\times {{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}}){\,} < {\,}{(\Delta a)}^{2}$$\end{document}$, such that information is lost in the events discarded by postselection. But if $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\hat{A}$$\end{document}$ has doubly degenerate minimum and maximum eigenvalues, $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${p}_{\theta }^{{\rm{ps}}}\times {{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ can approach (Δ*a*)^2^ while $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{I}}}_{{\rm{Q}}}(\theta | {\Psi }_{\theta }^{{\rm{ps}}})$$\end{document}$ approaches infinity (see Supplementary Note 4). In such a scenario, postselection can improve information-cost rates, as long as $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{ps}}}{\,}< {\,}(1-{p}_{\theta }^{{\rm{ps}}}){{\mathcal{C}}}_{{\rm{M}}}$$\end{document}$---a significantly weaker requirement than $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$${{\mathcal{C}}}_{{\rm{M}}}\gg {{\mathcal{C}}}_{{\rm{P}}}+{{\mathcal{C}}}_{{\rm{ps}}}$$\end{document}$.

Discussion {#Sec6}
==========

From a practical perspective, our results highlight an important quantum asset for parameter-estimation experiments with expensive final measurements. In some scenarios, the postselection's costs exceed the final measurement's costs, as an unsuccessful postselection might require fast feedforward to block the final measurement. But in single-particle experiments, the postselection can be virtually free and, indeed, unavoidable: an unsuccessful postselection can destroy the particle, precluding the triggering of the final measurement's detection apparatus^[@CR80]^. Thus, current single-particle metrology could benefit from postselected improvements of the Fisher information. A photonic experimental test of our results is currently under investigation.

From a fundamental perspective, our results highlight the strangeness of quantum mechanics as a noncommuting theory. Classically, an increase of the Fisher information via postselection can be understood as the a posteriori selection of a better input distribution. But it is nonintuitive that quantum-mechanical postselection can enable a quantum state to carry more Fisher information than the best possible input state could. Furthermore, it is surprising that noncommutation can be proved to underlie the metrological advantage: Other nonclassical phenomena, such as entanglement and discord, could be expected to underlie a given nonclassical advantage; noncommutation does not guarantee a metrological advantage; and the proof turns out to involve considerable mathematical footwork. The optimized Cramér--Rao bound, obtained from Eq. ([4](#Equ4){ref-type=""}), can be written in the form of an uncertainty relation: $\documentclass[12pt]{minimal}
                \usepackage{amsmath}
                \usepackage{wasysym} 
                \usepackage{amsfonts} 
                \usepackage{amssymb} 
                \usepackage{amsbsy}
                \usepackage{mathrsfs}
                \usepackage{upgreek}
                \setlength{\oddsidemargin}{-69pt}
                \begin{document}$$\sqrt{{\rm{V}}{\rm{ar}}({\theta }_{{\rm{e}}})}(\Delta a)\ge 1$$\end{document}$^[@CR7]^. Our results highlight the probabilistic possibility of violating this bound. More generally, the information-cost rate's ability to violate a classical bound leverages negativity, a nonclassical resource in quantum foundations, for metrological advantage.

Supplementary information
=========================

 {#Sec7}

Supplementary Information

**Peer review information** *Nature Communications* thanks Rafal Demkowicz-Dobrzanski and the other anonymous reviewer(s) for their contribution to the peer review of this work.

**Publisher's note** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary information
=========================

**Supplementary information** is available for this paper at 10.1038/s41467-020-17559-w.

The authors would like to thank Justin Dressel, Nicolas Delfosse, Matthew Pusey, Noah Lupu-Gladstein, Aharon Brodutch and Jan-Åke Larsson for useful discussions. D.R.M.A.-S. acknowledges support from the EPSRC, the Sweden-America Foundation, Hitachi Ltd, Lars Hierta's Memorial Foundation and Girton College. N.Y.H. was supported by an NSF grant for the Institute for Theoretical Atomic, Molecular, and Optical Physics at Harvard University and the Smithsonian Astrophysical Observatory. H.V.L. received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 642688. A.A.L. acknowledges support from the EPSRC and Hitachi Ltd. S.L. was supported by NSF, AFOSR, and by ARO under the Blue Sky Initiative.

D.R.M.A.-S., N.Y.H., H.V.L., A.A.L., C.H.W.B., and S.L. contributed extensively to the paper and to the writing of the manuscript.

The authors declare that all data supporting the findings of this study are available within the paper and its supplementary information files.

The authors declare no competing interests.
