Bounding Kirkwood-Dirac negativity of Gaussian processes

Technical Summary: Bounding Kirkwood-Dirac Negativity of Gaussian Processes

Problem Statement
The Kirkwood-Dirac (KD) quasiprobability distribution provides an operational representation of quantum states, where its negativity serves as a rigorous measure of nonclassicality, linked to phenomena such as contextuality, coherence, and entanglement. While the KD distribution has been extensively studied in discrete-variable systems and specific continuous-variable (CV) contexts, a complete characterization of its extremal values (bounds) for general Gaussian processes remains unknown. Specifically, it is unclear which states maximize or minimize KD negativity within the Gaussian regime and whether non-Gaussian resources are strictly necessary to achieve these extremes.

Methodology
The authors investigate the KD quasiprobability of an arbitrary quantum state undergoing a sequence of $N$ measurements within an $M$-mode Gaussian process. The dynamics are governed by quadratic Hamiltonians (Gaussian unitaries), and measurements are modeled as positive operator-valued measures (POVMs) with Gaussian characteristics.

The methodology proceeds through the following steps:

1. Formalism: The KD distribution $Q(r)$ is defined via a frame operator $\hat{F}(r)$ constructed from sequential measurements and unitary evolutions. The total negativity $\mathcal{N}$ is quantified as the integral of the absolute value of $Q(r)$ over the phase space.
2. Gaussian Representation: Using the Weyl representation, the authors map operators to phase-space functions. For Gaussian processes, the characteristic functions are Gaussian, allowing the KD distribution to be expressed in terms of covariance matrices ($\sigma$) and symplectic transformations ($G$).
3. Analytical Derivation:
   • Upper Bound: The authors derive a global upper bound for the negativity for arbitrary $M$ and $N$ using the Cauchy-Schwarz inequality applied to the integrand of the negativity definition.
   • Optimization: For the specific case of a single mode ($M=1$) and two measurements ($N=2$), the problem is reduced to optimizing over the covariance matrix of the input state. The authors exploit the correspondence between single-mode covariance matrices and events in a $(2+1)$-dimensional Minkowski spacetime. This geometric mapping allows the optimization problem to be treated as the kinematics of a particle in a center-of-mass frame.
   • Monotonicity: The authors prove that the KD negativity is a Loewner non-increasing monotone with respect to the covariance matrix of the input Gaussian state. This result restricts the search for global extrema to the set of pure Gaussian states (where the determinant of the covariance matrix is unity).
4. Non-Gaussian Verification: To test the sufficiency of Gaussian states, the authors compute the KD negativity for specific non-Gaussian states: squeezed Fock states and superpositions of coherent states (even and odd cat states).

Key Contributions and Results

• General Upper Bound (Theorem 1): The paper establishes a closed-form upper bound for the KD negativity of any quantum state undergoing an $M$-mode Gaussian process with $N$ measurements. The bound depends solely on the covariance matrices of the measurement pairs and the symplectic unitaries driving the evolution:
  $$\mathcal{N} \leq \frac{(2\pi)^{MN}}{4} \sqrt{\prod_{i=1}^{N-1} \det[\sigma(G_i) + \sigma(G_{i+1})]}$$
  where $\sigma(G_j)$ represents the transformed covariance matrix of the $j$-th measurement.

• Extremal Values for Single-Mode, Two-Measurement Processes (Theorem 2):

  • Maximum: The global maximum of the KD negativity is saturated by Gaussian states in the limit of infinite squeezing (corresponding to quadrature eigenstates).
  • Minimum: For pure Gaussian input states, a nontrivial global minimum exists. Its magnitude is governed by the determinant of the sum of the measurement covariances.
  • Sufficiency of Gaussian States: The analysis demonstrates that the maximum possible negativity is achievable using only Gaussian states.

• Non-Gaussian State Analysis: The authors calculate the negativity for squeezed Fock states and cat states. The results show that while these non-Gaussian states exhibit significant negativity, they do not exceed the upper bound derived for Gaussian processes. Specifically, as the Fock number $n$ or the cat state amplitude $\alpha$ increases, the negativity approaches the average of the extremal values rather than the maximum, suggesting that maximal nonclassicality in this context is located in the intermediate parameter regime accessible by Gaussian states.

Significance and Claims
The paper claims to fill a critical gap in the characterization of KD distributions for Gaussian processes. The primary significance lies in the finding that Gaussian states are sufficient to achieve the extreme values of KD negativity.

Contrary to the intuition that highly non-Gaussian resources (like Fock states or cat states) might be required to maximize nonclassicality measures, the authors demonstrate that the theoretical upper bound is saturated by properly tailored Gaussian states (specifically, quadrature eigenstates in the infinite squeezing limit). This implies that for applications relying on maximal KD negativity—such as quantum thermodynamics (work extraction), metrology (parameter estimation variance bounds), and the certification of quantum resources—complex non-Gaussian state preparation may not be necessary. The results suggest that Gaussian resources alone can provide the quantum advantage associated with maximal KD negativity in sequential measurement scenarios.