We develop a general framework to investigate fluctuations of non-commuting observables. To this end, we consider the Keldysh quasi-probability distribution (KQPD). This distribution provides a measurement-independent description of the observables of interest and their time-evolution. Nevertheless, positive probability distributions for measurement outcomes can be obtained from the KQPD by taking into account the effect of measurement back-action and imprecision. Negativity in the KQPD can be linked to an interference effect and acts as an indicator for non-classical behavior. Notable examples of the KQPD are the Wigner function and the full counting statistics, both of which have been used extensively to describe systems in the absence as well as in the presence of a measurement apparatus. Here we discuss the KQPD and its moments in detail and connect it to various time-dependent problems including weak values, fluctuating work, and Leggett-Garg inequalities. Our results are illustrated using the simple example of two subsequent, non-commuting spin measurements.
We develop a general framework to investigate fluctuations of non-commuting observables. To this end, we consider the Keldysh quasi-probability distribution (KQPD). This distribution provides a measurement-independent description of the observables of interest and their time-evolution. Nevertheless, positive probability distributions for measurement outcomes can be obtained from the KQPD by taking into account the effect of measurement back-action and imprecision. Negativity in the KQPD can be linked to an interference effect and acts as an indicator for non-classical behavior. Notable examples of the KQPD are the Wigner function and the full counting statistics, both of which have been used extensively to describe systems in the absence as well as in the presence of a measurement apparatus. Here we discuss the KQPD and its moments in detail and connect it to various time-dependent problems including weak values, fluctuating work, and Leggett-Garg inequalities. Our results are illustrated using the simple example of two subsequent, non-commuting spin measurements.
We introduce an experimental test for ruling out classical explanations for the statistics obtained when measuring arbitrary observables at arbitrary times using individual detectors. This test requires some trust in the measurements, represented by a few natural assumptions on the detectors. In quantum theory, the considered scenarios are well captured by von Neumann measurements. These can be described naturally in terms of the Keldysh quasiprobability distribution (KQPD), and the imprecision and backaction exerted by the measurement apparatus. We find that classical descriptions can be ruled out from measured data if and only if the KQPD exhibits negative values. We provide examples based on simulated data, considering the influence of a finite amount of statistics. In addition to providing an experimental tool for certifying nonclassicality, our results bestow an operational meaning upon the nonclassical nature of negative quasiprobability distributions such as the Wigner function and the full counting statistics.
Abstract There are several mathematical formulations of quantum mechanics. The Schrödinger picture expresses quantum states in terms of wavefunctions over, e.g. position or momentum. Alternatively, phase-space formulations represent states with quasi-probability distributions over, e.g. position and momentum. A quasi-probability distribution resembles a probability distribution but may have negative and non-real entries. The most famous quasi-probability distribution, the Wigner function, has played a pivotal role in the development of a continuous-variable quantum theory that has clear analogues of position and momentum. However, the Wigner function is ill-suited for much modern quantum-information research, which is focused on finite-dimensional systems and general observables. Instead, recent years have seen the Kirkwood–Dirac (KD) distribution come to the forefront as a powerful quasi-probability distribution for analysing quantum mechanics. The KD distribution allows tools from statistics and probability theory to be applied to problems in quantum-information processing. A notable difference to the Wigner function is that the KD distribution can represent a quantum state in terms of arbitrary observables. This paper reviews the KD distribution, in three parts. First, we present definitions and basic properties of the KD distribution and its generalisations. Second, we summarise the KD distribution’s extensive usage in the study or development of measurement disturbance; quantum metrology; weak values; direct measurements of quantum states; quantum thermodynamics; quantum scrambling and out-of-time-ordered correlators; and the foundations of quantum mechanics, including Leggett–Garg inequalities, the consistent-histories interpretation and contextuality. We emphasise connections between operational quantum advantages and negative or non-real KD quasi-probabilities. Third, we delve into the KD distribution’s mathematical structure. We summarise the current knowledge regarding the geometry of KD-positive states (the states for which the KD distribution is a classical probability distribution), describe how to witness and quantify KD non-positivity, and outline relationships between KD non-positivity, coherence and observables’ incompatibility.
The Keldysh-ordered full counting statistics is a quasiprobability distribution describing the fluctuations of a time-integrated quantum observable. While it is well known that this distribution can fail to be positive, the interpretation and origin of this negativity has been somewhat unclear. Here, we show how the full counting statistics can be tied to trajectories through Hilbert space, and how this directly connects negative quasiprobabilities to an unusual interference effect. Our findings are illustrated with the example of energy fluctuations in a driven bosonic resonator; we discuss how negative quasiprobability here could be detected experimentally using superconducting microwave circuits.
We show that the standard Keldysh formulation of full counting statistics breaks down, when trying to interpret it directly in terms of a probability for time-dependent currents, since it leads to negative probability density. We propose a positive operator valued measure, which effectively accounts for some detector dynamics, but reproduces the Keldysh result in the low-frequency limit. However, the detector dynamics adds a large white Gaussian detection noise, which should be visible in experiment. The original negative probability can be measured indirectly by two independent detectors.
A continuous projective measurement of a quantum system often leads to a suppression of the dynamics, known as the Zeno effect. Alternatively, generalized nonprojective, so-called 'weak' measurements can be carried out. Such a measurement is parameterized by its strength parameter that can interpolate continuously between the ideal strong measurement with no dynamics—the strict Zeno effect, and a weak measurement characterized by almost free dynamics but blurry observations. Here we analyze the stochastic properties of this uncertainty component in the resulting observation trajectory. The observation uncertainty results from intrinsic quantum uncertainty, the effect of measurement on the system (backaction) and detector noise. It is convenient to separate the latter, system-independent contribution from the system-dependent uncertainty, and this paper shows how to accomplish this separation. The system-dependent uncertainty is found in terms of a quasi-probability, which, despite its weaker properties, is shown to satisfy a weak positivity condition. We discuss the basic properties of this quasi-probability with special emphasis on its time correlation functions as well as their relationship to the full correlation functions along the observation trajectory, and illustrate our general results with simple examples. We demonstrate a violation of classical macrorealism using the fourth-order time correlation functions with respect to the quasi-probability in the two-level system.
We show that the joint behavior of an arbitrary pair of (generally noncommuting) quantum observables can be described by quasi-probabilities, which are an extended version of the standard probabilities used for describing the outcome of measurement for a single observable. The physical situations that require these quasi-probabilities arise when one considers quantum measurement of an observable conditioned by some other variable, with the notable example being the weak measurement employed to obtain Aharonov’s weak value. Specifically, we present a general prescription for the construction of quasi-joint probability (QJP) distributions associated with a given combination of observables. These QJP distributions are introduced in two complementary approaches: one from a bottom-up, strictly operational construction realized by examining the mathematical framework of the conditioned measurement scheme, and the other from a top-down viewpoint realized by applying the results of the spectral theorem for normal operators and their Fourier transforms. It is then revealed that, for a pair of simultaneously measurable observables, the QJP distribution reduces to the unique standard joint probability distribution of the pair, whereas for a noncommuting pair there exists an inherent indefiniteness in the choice of such QJP distributions, admitting a multitude of candidates that may equally be used for describing the joint behavior of the pair. In the course of our argument, we find that the QJP distributions furnish the space of operators in the underlying Hilbert space with their characteristic geometric structures such that the orthogonal projections and inner products of observables can be given statistical interpretations as, respectively, “conditionings” and “correlations”. The weak value Aw for an observable A is then given a geometric/statistical interpretation as either the orthogonal projection of A onto the subspace generated by another observable B, or equivalently, as the conditioning of A given B with respect to the QJP distribution under consideration.