---
title: 'Operational Quasiprobability: Measurement Framework'
url: https://www.emergentmind.com/topics/operational-quasiprobability-oq
type: topic
---

# Operational Quasiprobability: Measurement Framework

Operational quasiprobability (OQ) denotes a class of quasidistributions defined from operationally specified measurement procedures rather than from a state representation alone. In the canonical formulations for qudits and continuous-variable systems, OQ is constructed from selective or sequential measurements and is designed to be **commensurate** with a classical probability description, so that negativity has a direct operational meaning: it signals incompatibility with a hidden-variable or macrorealist account satisfying assumptions such as locality, noninvasive measurability, no-signaling-in-time (NSIT), or joint measurability [1206.6986][1706.03760]. Subsequent work extended this logic to conjunction measurements of incompatible POVMs, weak-sequential protocols, entanglement witnesses, metrological models, quantum thermodynamic work distributions, and network nonclassicality [2311.11785][2406.06713][2203.16125][2510.04253][2302.03263]. In a broader literature, several phase-space quasiprobabilities also acquire operational meaning through POVMs, weak values, Gaussian channels, or resource theory, but those constructions are generally adjacent to OQ rather than identical with it [1101.5314][2312.08216][1906.05579].

## 1. Conceptual basis and commensurability

A defining motivation for OQ is the criticism that standard quasiprobabilities such as the Wigner, Husimi, and Glauber–Sudarshan distributions are often **incommensurate** with classical probabilities: the same formal integral need not refer to the same physical observation in the quantum and classical descriptions. The qudit formulation therefore introduces OQ as a quasiprobability built from the statistics of **selective, consecutive measurements**, so that quantum and hidden-variable models can be compared on the same operational footing [1206.6986]. In this framework, the quasiprobability is not a representation of the state alone; it depends on the state, the chosen observables, and the measurement order.

For discrete systems, the classical benchmark is a hidden-variable model with **locality and noninvasive measurability**. The paper on qudits states that the quasiprobability function becomes positive semidefinite if consecutive measurement results are described by such a model, and becomes negative otherwise [1206.6986]. For continuous variables, the analogous benchmark is expressed through **NSIT** together with the **arrow-of-time (AoT)** condition. In that case the OQ reduces to the sequential joint probability itself and is nonnegative; negative OQ is therefore a sufficient condition for violating NSIT, though not a necessary one [1706.03760].

This commensurability requirement distinguishes OQ from state-based phase-space representations. The latter may still be highly useful, but their negativity is not automatically interpretable as failure of a classical model for the same experimentally specified statistics. OQ was introduced precisely to make that comparison operationally explicit [1206.6986][1706.03760].

## 2. Canonical constructions for qudits and continuous variables

For qudits, the basic construction starts from \(K\) possible observables \(A_k\), each with \(D\) outcomes \(a_k\in\{0,1,\dots,D-1\}\), and from a selection string \(\mathbf n=(n_1,\dots,n_K)\) indicating which measurements are performed. With \(\omega=e^{2\pi i/D}\), the characteristic function is defined by
\[
\chi(\mathbf{n}) = \mbox{Tr} \left[\mathcal{ T}\prod_{k=1}^K \left(\delta_{n_k,0} \mathcal{ I} + (1-\delta_{n_k,0})\sum_{a_k=0}^{D-1} \omega^{n_k a_k} \mathcal{ A}_k(a_k) \right)\hat{\rho}\right],
\]
where \(\mathcal A_k(a_k)(\hat\rho)=\hat A_k(a_k)\hat\rho\hat A_k^\dagger(a_k)\) for general POVM/Kraus measurements, and \(\mathcal T\) denotes chronological ordering. The operational quasiprobability is the discrete Fourier transform
\[
\mathcal{W}(\mathbf{a}) \equiv\frac{1}{D^K} \sum_{\mathbf{n}=0}^{D-1} \omega^{- \mathbf{a} \cdot \mathbf{n}} \chi(\mathbf{n}),
\]
with inverse
\[
\chi(\mathbf{n}) =\sum_{\mathbf{a}=0}^{D-1} \omega^{\mathbf{n} \cdot \mathbf{a}} \mathcal{W}(\mathbf{a}).
\]
The one-variable marginals reproduce the actual single-measurement probabilities, and the full object is real-valued and normalized [1206.6986].

For complementary qudit observables defined by mutually unbiased bases, the construction simplifies to a generalized Bloch form,
\[
\mathcal{W}(\mathbf{a}) = \frac{1}{d^K} \left(1 + \sum_{k=1}^K  \vec{\alpha}_k(a_k) \cdot \vec{\rho}\right),
\]
where \(\vec\rho\) is the generalized Bloch vector of the state and \(\vec\alpha_k(a_k)\) encodes the selected basis elements [1206.6986]. This formula makes explicit that negativity depends jointly on the state and on the measured observables.

For continuous variables, the construction is formulated for two sequential measurements \(M_1\) at time \(t_1\) and \(M_2\) at time \(t_2\), with four experimental configurations: no measurement, only \(M_1\), only \(M_2\), and the sequential measurement \(M_1\) then \(M_2\). Because the outcomes are unbounded, the probability densities are expanded in Hermite polynomials, and the resulting OQ for continuous variables is
\[
\mathcal W(x_1,x_2) = P(x_1,x_2|M_1,M_2) + \frac{1}{\sqrt{2\pi}}e^{-\frac12 x_2^2} \Big[P(x_1|M_1)-P(x_1|M_1,M_2)\Big] + \frac{1}{\sqrt{2\pi}}e^{-\frac12 x_1^2} \Big[P(x_2|M_2)-P(x_2|M_1,M_2)\Big].
\]
Its marginals are the single-measurement distributions,
\[
\int dx_1\,\mathcal W(x_1,x_2)=P(x_2|M_2), \qquad \int dx_2\,\mathcal W(x_1,x_2)=P(x_1|M_1),
\]
and its negative volume is quantified by
\[
\mathcal N=\frac12\iint dx_1dx_2\big(|\mathcal W|-\mathcal W\big).
\]
In the optical realization of the paper, the measurements are coherent-state POVMs, so the relevant examples are quadrature variables of light [1706.03760].

## 3. Sequential, weak, and incompatibility-based variants

A major later strand of OQ generalizes the original sequential-measurement logic to **incompatible POVMs**. For two \(d\)-outcome measurements \(A=\{\hat A_a\}\) and \(B=\{\hat B_b\}\), together with a conjunction measurement \(C=\{\hat C_{ab}\}\), the operational quasiprobability is defined directly from measured probabilities by
\[
{\cal W}(a,b)=p(a,b|C)+\frac{p(a|A)-\sum_b p(a,b|C)}{d} +\frac{p(b|B)-\sum_a p(a,b|C)}{d}.
\]
Equivalently, in operator form,
\[
{\cal W}(a,b|\hat{\varrho}_\theta,W)=\operatorname{Tr}(\hat{\varrho}_\theta \hat W_{ab}),
\]
with
\[
\hat W_{ab} = \hat C_{ab} +\frac{1}{d}\left(\hat A_a-\sum_{b=0}^{d-1}\hat C_{ab}\right) +\frac{1}{d}\left(\hat B_b-\sum_{a=0}^{d-1}\hat C_{ab}\right).
\]
The associated HOVM satisfies the marginality relations
\[
\sum_{b=0}^{d-1}\hat W_{ab}=\hat A_a,\qquad \sum_{a=0}^{d-1}\hat W_{ab}=\hat B_b,
\]
so OQ functions as a joint-like model for incompatible measurements [2311.11785].

A weak-sequential variant appears in the two-time qudit protocol in which the first measurement is a finite-strength POVM and the second remains projective. There the experimentally accessible weak sequential statistics satisfy
\[
p_{\rm weak}(a,b) = \omega_0^2 p(a,b) + \frac{\omega_1^2}{d} p_{\rm fin}(b) + \frac{2\omega_0\omega_1}{\sqrt d} q_{\rm MH}(a,b),
\]
linking the observed distribution to the strong TPM distribution \(p(a,b)\), the final marginal \(p_{\rm fin}(b)\), and the Margenau–Hill quasiprobability \(q_{\rm MH}(a,b)\). The corresponding weak commensurate quasiprobability is
\[
\tilde q_{\rm C}(a,b) = \omega_0^2 q_{\rm C}(a,b) + \frac{\omega_1^2}{d}p_{\rm fin}(b) + \frac{2\omega_0\omega_1}{\sqrt d}q_{\rm MH}(a,b),
\]
showing explicitly that weak-sequential OQ interpolates between disturbance-based and incompatibility-based descriptions [2406.06713].

A different weak-value-based line constructs quasiprobabilities from Aharonov weak values of projection operators,
\[
p(a|\psi,\phi) = \frac{\langle \phi|E^A(a)|\psi\rangle}{\langle \phi|\psi\rangle},
\]
and from the more general \(\alpha\)-parameterized family
\[
p^\alpha(a|\psi,\phi) := \alpha \, \frac{\langle \phi|E^A(a)|\psi\rangle}{\langle \phi|\psi\rangle} + (1-\alpha)\, \frac{\langle \psi|E^A(a)|\phi\rangle}{\langle \psi|\phi\rangle}.
\]
This framework is strongly adjacent to OQ because it is operationally tied to weak measurement and postselection, although it is not the canonical commensurate OQ construction of the qudit and continuous-variable papers [1602.08872].

## 4. Negativity, positivity, and classical benchmarks

In OQ, negativity is not merely a representational feature; it is a statement about the impossibility of a specified classical account. For qudits, positivity follows if the sequential statistics admit a hidden-variable model with locality and noninvasive measurability, while negativity rules that out [1206.6986]. For continuous variables, NSIT and AoT imply
\[
\mathcal W(x_1,x_2)=P(x_1,x_2|M_1,M_2)\ge 0,
\]
so \(\mathcal W(x_1,x_2)<0\) is a sufficient witness of NSIT violation [1706.03760].

In the incompatibility-based metrological construction, positivity is state-dependent: even when the HOVM is not a POVM, there may be states for which all scalar OQ values are nonnegative. In that regime the paper defines the Fisher information of OQ,
\[
{\cal I}_{\text{OQ}} := \sum_{a,b=0}^{d-1} {\cal W}(a,b|\hat{\varrho}_\theta,W) \left[ \partial_\theta \log {\cal W}(a,b|\hat{\varrho}_\theta,W) \right]^2,
\]
and proves that if there exists a state for which \({\cal I}_{\text{OQ}}>{\cal I}_{\text Q}\), then incompatibility of the underlying measurements is necessary [2311.11785]. In other words, incompatibility is the resource, and OQ is the statistical model that makes that resource visible.

A closely related criterion appears in the thermodynamic OQ of work for two-level systems. There the paper proves that the real part of the Kirkwood–Dirac quasiprobability and the OQ are equivalent in two dimensions, and that for binary unbiased measurements they are nonnegative **if and only if** the measurements are jointly measurable [2510.04253]. This identifies OQ negativity with non-joint measurability in that qubit setting.

These results show that OQ negativity can witness several distinct failures of classicality: noninvasive hidden-variable models, NSIT, joint measurability, or positive joint models for incompatible measurements. The precise benchmark depends on the operational construction.

## 5. Applications

One application is **entanglement witnessing**. For two qudits, the marginal quasiprobability
\[
\mathcal{W}_{m}(\mathbf{c})=\sum_{\mathbf{a},\mathbf{b}} \left(\prod_{j=1}^{d+1}\delta(c_j-a_j+b_j) \right)\mathcal{W}(\mathbf{a},\mathbf{b})
\]
is nonnegative for all separable states, so its negativity is a sufficient entanglement witness [1206.6986]. A later silicon double quantum dot study used a marginal OQ as an entanglement indicator for two spin qubits under charge noise, calling
\[
\mathcal{N}_m = \frac{1}{2} \sum_{\bf c} \left( \left|\mathcal{W}_m({\bf c})\right| - \mathcal{W}_m({\bf c}) \right)
\]
the entanglement strength. In that work, the OQ approach required 4 measurement configurations, versus 16 for the negativity/tomographic route, and the pattern in the OQ-driven entanglement strength remained comparatively invariant under exchange-fluctuation noise \(J\to J(1+\delta J)\) [2203.16125].

A second application is **quantum scrambling**. The quasiprobability behind an out-of-time-ordered correlator can be reconstructed operationally from ancilla-assisted circuits with three and four sequential measurements. For qubit observables \(A\) and \(B(t)\), the extended Kirkwood–Dirac quasiprobability \(\tilde p_t(b',a',b,a)\) underlies the OTOC decomposition, and its total nonclassicality
\[
N(t):=\sum |\tilde p_t| -1
\]
serves as a scrambling witness [1907.10778]. This is not labeled OQ in that paper, but it is structurally an operational quasiprobability reconstructed from sequential measurement statistics.

A third application is **quantum thermodynamics**. In a recent thermodynamic formulation, OQ is used directly as a work distribution. For initial and final energy measurements \(A=\{\hat A_i\}\) and \(B=\{\hat B_f\}\), reconstructed from end-point measurement and TPM data, the OQ is
\[
q_{if}^{\mathrm{OQ}} = p_{if}^{\mathrm{TPM}} +\frac{1}{d}\left(p_f^{\mathrm{EPM}}-\sum_{i=0}^{d-1}p_{if}^{\mathrm{TPM}}\right).
\]
This work distribution preserves both marginals, reproduces TPM for incoherent initial states, reproduces Jarzynski equality for Gibbs initial states, and yields the average work consistent with the classical difference of average energies. In the same framework, non-joint measurability can increase the amount of extractable work beyond the classical bound imposed by jointly measurable measurements [2510.04253].

Finally, the OQ logic has been extended to **network nonclassicality**. In an operational treatment of bilocality, one replaces hidden-variable models by joint probability distributions over all outcomes, and, when positivity fails, by joint quasi-probability distributions and quasi-stochastic processes. Within that framework, violations of bilocality require negativity somewhere in the operational decomposition [2302.03263].

## 6. Relation to phase-space quasiprobabilities and adjacent operational formalisms

The term “operational quasiprobability” is sometimes used more broadly than the strict sequential-measurement sense. A coherent-state-based operational meaning of the Husimi distribution arises when a generalized coherent-state family defines a POVM
\[
M(A):=\int_{x\in A} d\mu(x)\,|x\rangle\langle x|,
\]
so that \(F^{(1)}_{\rho}(Q;P)=(Q;P|\rho|Q;P)\) is the probability distribution of an approximately simultaneous measurement. This is highly relevant background for OQ, but it is not the same as the commensurate sequential OQ of the qudit and continuous-variable frameworks [1101.5314].

A related phase-space line shows that the Cahill–Glauber chain \(P\to W\to Q\) can be realized operationally by a concrete Gaussian channel
\[
\mathcal{C} \coloneqq \mathcal{E}_{1/2}\circ \mathcal{A}_{2},
\]
for which
\[
W_{\hat X}(\alpha)=P_{\mathcal{C}(\hat X)}(\alpha), \qquad Q_{\hat X}(\alpha)=W_{\mathcal{C}(\hat X)}(\alpha).
\]
This gives an operational bridge among standard quasiprobability representations, but again it does not define OQ from sequential measurement statistics [2312.08216].

The resource-theoretic paper on phase-space negativity is also adjacent rather than identical to OQ. There the negativity of the Glauber–Sudarshan \(P\)-function is defined consistently even for singular distributions and shown to equal the robustness of nonclassicality,
\[
\mathcal N(\rho)=\mathcal R(\rho),
\]
so negativity acquires an operational meaning through noise robustness rather than through an OQ construction [1906.05579]. Likewise, noise-adaptive Bell-type tests based on Cahill–Glauber quasiprobabilities remain phase-space ordering frameworks, even though they are tied to explicit measurements and to a noise-dependent order parameter [2002.05840].

This broader landscape suggests two distinct but overlapping uses of “operational.” In the strict OQ literature, quasiprobability is reconstructed from experimentally specified measurement contexts—typically sequential or conjunction measurements—and negativity is interpreted against explicit classical constraints such as noninvasiveness or joint measurability [1206.6986][1706.03760][2311.11785]. In adjacent phase-space and weak-value literatures, “operational” more often means that a quasidistribution is linked to a POVM, a conditioned measurement protocol, a Gaussian channel, or a resource-theoretic task [1101.5314][2312.08216][1906.05579]. Both senses are important, but they address different questions.

Operational quasiprobability therefore occupies a specific place within the larger theory of quasidistributions. It is the branch in which quasiprobability is defined from measurement procedures themselves, with marginals tied to observed statistics and with negativity interpreted as failure of a designated classical operational model. That feature makes OQ especially useful wherever incompatible measurements, sequential disturbance, or nonclassical conditional statistics are themselves the central objects of study.

Source: https://www.emergentmind.com/topics/operational-quasiprobability-oq