Bounding Kirkwood-Dirac negativity of Gaussian processes

Abstract: The Kirkwood-Dirac quasiprobability provides an operational representation of a quantum state, whose negativity serves as a measure of nonclassicality. Despite its fundamental importance, the extremal values of the Kirkwood-Dirac negativity are still unknown in the general case. We investigate the Kirkwood-Dirac quasiprobability of an arbitrary quantum state under Gaussian processes. In this setting, we derive an upper bound on the negativity for any number of modes and measurements. For a single mode and two measurements, we show that the eigenstates of the quadrature operators saturate this upper bound, while a nontrivial minimum is reached by pure Gaussian states. As a consequence, our results indicate that Gaussian states are sufficient to achieve extreme values of nonclassicality.

• The paper derives a closed-form Gaussian Kirkwood–Dirac distribution and a universal, state-independent negativity bound determined solely by measurement covariances and Gaussian transformations.
• The paper proves logarithmic negativity decreases under Loewner increases of the input covariance, reducing the maximum to pure Gaussian states and showing that infinite squeezing saturates the two-measurement single-mode bound.
• The paper uses Minkowski-space geometry to identify exact maximum and minimum negativity configurations, while extending the distribution formula to finite coherent-state superpositions and highlighting open multimode questions.

The paper "Bounding Kirkwood-Dirac negativity of Gaussian processes" (2607.11854) by Bianchi, Marconi, Cioli, and Sperling develops a systematic analytical framework for the Kirkwood-Dirac (KD) quasiprobability distribution associated with sequences of Gaussian measurements on bosonic systems. The work delivers three main contributions: a universal upper bound on KD negativity for arbitrary multi-mode, multi-measurement Gaussian processes; a closed-form expression for the KD distribution itself in terms of covariance matrices; and an exact characterization of the extrema of the negativity for single-mode two-measurement processes, obtained through a Lorentzian geometric reformulation of the space of covariance matrices.

The Kirkwood-Dirac distribution for Gaussian processes

The KD quasiprobability $Q(r) = \mathrm{Tr}[\hat F(r)\hat\rho]$ generalizes the classical joint probability of incompatible observables to a complex-valued phase-space function. For a process consisting of $N$ Gaussian measurements with covariance matrices $\sigma_i$, interleaved with Gaussian unitaries $\hat U_{G_i}$ acting by symplectic rotations $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$, the authors derive a fully analytical expression via Weyl-operator calculus. Expanding all operators in the Weyl representation, using the automorphism $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$, and exploiting Weyl orthogonality, the trace collapses onto a Dirac delta that fixes one integration variable, leaving

$$Q(r) = 2^{MN}\sqrt{\det[\Lambda]}\,\exp\!\left[-r^T\Lambda^{-1}r\right],$$

with $\Lambda$ a block matrix built from the rotated measurement covariances $$\sigma^{(G_j)} = (\mathrm{G}\mathrm{G}^T)^{-T}_j\sigma_j(\mathrm{G}\mathrm{G}^T)_j$$ plus symplectic-form blocks encoding noncommutativity. A notable structural observation is that $\Lambda$ fails Bochner's positivity condition for genuine characteristic functions because of the antisymmetric off-diagonal phase-space area terms — this failure is precisely the algebraic origin of KD nonclassicality. Convergence of the defining integral requires only that at least one covariance matrix involved has finite squeezing eigenvalues, which the authors verify through positive-definiteness of $N$0.

Universal upper bound on the negativity

The KD negativity, defined as the $N$1 norm $N$2, admits a global bound valid for any input state. Since the KD map is linear and states and Gaussian projectors are convex sets, it suffices to consider pure inputs. Applying Cauchy-Schwarz to the integrand split symmetrically around the Gaussian overlap kernel $N$3 — itself the square root of a Gaussian envelope in the difference of phase-space coordinates — and performing the resulting Gaussian integrals yields, for $N$4,

$N$5

generalizing to $N$6 measurements as

$N$7

Interleaved Gaussian unitaries are accommodated by promoting each $N$8 to its cumulatively rotated version $N$9. The bound depends only on the measurement apparatus, not on the probed state, so it provides a state-independent benchmark against which experimentally observed KD negativity can be certified as genuinely nonclassical.

Loewner monotonicity and reduction to pure states

For the two-measurement case, the authors prove that the logarithmic negativity $\sigma_i$0 is a Loewner-monotonically non-increasing function of the input covariance matrix $\sigma_i$1. The proof rewrites the negativity as a log-determinant involving the combination $\sigma_i$2 over $\sigma_i$3, where $\sigma_i$4 depends only on the measurements and $\sigma_i$5 with $\sigma_i$6. Evaluating the directional derivative along any $\sigma_i$7 shows it is negative, using the spectral decomposition of a congruence-transformed $\sigma_i$8 whose eigenvalues $\sigma_i$9 suppress the real part of the inverse below $\hat U_{G_i}$0.

This monotonicity has a direct consequence: the global maximum of the negativity lies on the boundary of the physically allowed covariance matrices, i.e., among pure states satisfying $\hat U_{G_i}$1. The maximization over all Gaussian inputs therefore reduces to a two-parameter problem per mode. The authors note explicitly that the same ordering argument does not apply to the global minimum, since arbitrarily large thermal noise $\hat U_{G_i}$2 can be added without changing the ordering direction.

Extrema via Minkowski geometry

The central technical achievement is the exact solution of the extremization for single-mode, two-measurement processes. Parametrizing a pure single-mode covariance as $\hat U_{G_i}$3 with $\hat U_{G_i}$4, the authors identify the space of covariance matrices with the future light cone of a $\hat U_{G_i}$5-dimensional Minkowski spacetime: squeezing plays the role of boosts, rotations of spatial rotations, and the symplectic eigenvalue $\hat U_{G_i}$6 of a mass, with infinite squeezing corresponding to lightlike trajectories. Determinants of sums of covariance matrices become Minkowski inner products, making the negativity a manifestly Lorentz-invariant scalar:

$\hat U_{G_i}$7

where $\hat U_{G_i}$8 and $\hat U_{G_i}$9 are Lorentz scalars built from the "four-momenta" $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$0 of the two measurements and the input state.

Lorentz invariance permits evaluating everything in the center-of-mass frame of the two measurements, constructed from the orthonormal triad generated by $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$1, $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$2, and their wedge product, with rapidity fixed by $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$3, $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$4. In this frame the angular dependence decouples: the maximum occurs at $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$5 and is approached asymptotically as $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$6 (infinite squeezing), giving

$G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$7

which coincides exactly with the universal bound of the first theorem specialized to $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$8, $G_i \in \mathrm{Sp}_{2M}(\mathbb{R})$9 — confirming that the Cauchy-Schwarz bound is tight and saturable by infinitely squeezed inputs. The minimum occurs at $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$0, $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$1 (vacuum-like input along a specific phase-space direction), yielding the nontrivial closed form

$$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$2

attained only along the pure-state hyperboloid. Boosting back to the lab frame gives explicit expressions for the optimal squeezing parameter and rotation angle of the input state in terms of the Bloch-Messiah parameters of the two measurements, providing directly implementable preparation instructions.

Superpositions of coherent states

To move beyond strictly Gaussian inputs, the authors compute the KD distribution for arbitrary finite superpositions of coherent states, $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$3. Using displacement-algebra identities, the characteristic function decomposes into diagonal terms weighted by $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$4 and cross terms carrying phases $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$5; substituting into the general KD formula produces a sum of displaced complex Gaussians governed by a measurement-only matrix $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$6. Since coherent states span the Hilbert space, this family approximates arbitrary states, furnishing a computable expansion for non-Gaussian KD distributions — though the negativity of such superpositions is not analytically optimized here.

Limitations and open questions

Several restrictions qualify the results. The tightness proof of the upper bound, and the entire extremal analysis, is confined to single-mode, two-measurement processes; whether the $$\hat U_G^\dagger \hat D_r \hat U_G = \hat D_{G^{-1}r}$$7-measurement bound remains saturable, and how the Loewner-monotonicity argument extends to multimode or sequential settings, is not established. The minimum of the negativity is guaranteed only along the pure-state hyperboloid, since mixed states with unbounded thermal noise fall outside the monotone ordering — the true global infimum over all Gaussian states is therefore not determined. Finally, the coherent-state superposition analysis provides the distribution but no closed-form negativity bounds for non-Gaussian inputs.

Conclusion

The paper establishes a complete analytical control of KD quasiprobabilities for Gaussian measurement processes: a state-independent, apparatus-only upper bound on the negativity, proven tight for the two-measurement single-mode case; a monotonicity theorem reducing extremization to pure states; and an exact, Lorentz-geometric solution locating both optima together with the required input-state preparations. The identification of covariance-matrix space with Minkowski spacetime, with squeezing as boosts, emerges as a productive computational device rather than mere analogy, and the framework extends naturally to coherent-state superpositions as a route toward non-Gaussian KD analysis.