---
title: Quantum Non-Gaussianity Witness
url: https://www.emergentmind.com/topics/quantum-non-gaussianity-witness
type: topic
---

# Quantum Non-Gaussianity Witness

Quantum non-Gaussianity Witness

Quantum non-Gaussianity witnesses provide experimentally feasible and mathematically rigorous criteria for certifying that a quantum state cannot be represented as any convex mixture of Gaussian states. Gaussian states, fully described by first and second moments (mean values and covariances), include coherent, squeezed, and thermal states. Non-Gaussianity is essential for a variety of quantum information protocols and is strictly stronger than both nonclassicality (incompatibility with mixtures of coherent states) and Wigner function negativity, offering a direct link to higher-order quantum features, enhanced metrological power, and robust forms of quantum entanglement inaccessible to purely Gaussian dynamics.

## 1. Conceptual Basis and Definition

Quantum non-Gaussianity is defined as the property of a quantum state $\rho$ such that no convex combination of Gaussian states $G$ can reproduce $\rho$, i.e., $\rho\notin \mathcal{G}$, where $\mathcal{G}$ is the set of all Gaussian states. This property is more restrictive than nonclassicality since all mixtures of coherent states are Gaussian but not all Gaussian states are classical (for example, squeezed states are nonclassical but Gaussian). Non-Gaussianity is not always indicated by negativity of the Wigner function; states with a positive Wigner function can still be quantum non-Gaussian if their photon statistics cannot be reproduced by any mixture of Gaussian states [1107.4305], [1206.7057].

In practical terms, a quantum non-Gaussianity witness is a criterion or functional $W$ acting on measurement data (typically certain moments or photon number probabilities) that, when exceeding (or violating) a bound attainable by any Gaussian mixture, certifies genuine quantum non-Gaussianity.

## 2. Operational Witness Criteria

Two major classes of operational witness criteria are widely adopted:

**a. Photon-number-based Witnesses**

This approach exploits key photon number probabilities—primarily the vacuum ($p_0$) and single-photon ($p_1$) components. The witness is constructed as a linear combination:
\[
W(a) = a \, p_0 + p_1
\]
with $a$ a tunable parameter. The maximum attainable $W(a)$ by Gaussian mixtures, $W_G(a)$, is computed analytically by optimizing over all pure Gaussian states:
\[
p_0 = \frac{e^{-d^2[1 - \tanh r]}}{\cosh r}, \quad
p_1 = \frac{d^2 e^{-d^2[1 - \tanh r]}}{\cosh^3 r}
\]
where $d^2 = (e^{4r} - 1)/4$ and $r$ is the squeezing parameter. If $W(a) > W_G(a)$ for some $a$, the non-Gaussianity of the state is unambiguously certified, even if the Wigner function is positive [1107.4305].

This method can be extended by including higher photon number probabilities, error events in click statistics from multi-channel detectors ($R_n, R_{n+1}$), or by exploiting autocorrelation measurement data to implement robust, loss-tolerant criteria [1611.07737], [2408.11590].

**b. Phase-space and Quasiprobability Witnesses**

Here, the witness is defined using phase-space quasiprobabilities such as the Wigner ($s = 0$), Husimi Q ($s = -1$), or more generally, $s$-parametrized distributions:
\[
Q_s[\rho](0) < B_s(n)
\]
where $B_s(n)$ is the minimum value any Gaussian state with mean photon number $\leq n$ can achieve at the point of interest (e.g., the origin). Experimental measurement of $Q_s[\rho](0)$ below this threshold certifies quantum non-Gaussianity [1403.6264]. The Husimi Q-function based witnesses are especially robust against loss since Q-function remains positive, but the threshold boundary shifts less with loss, maintaining sensitivity to underlying non-Gaussian structure even as Wigner negativity disappears.

## 3. Experimental Realizations

Quantum non-Gaussianity witnesses are designed for direct applicability in experiments with minimal assumptions or correction:

- **Heralded single-photon sources:** Using parametric down-conversion, photon anti-correlation measurements at a beamsplitter, and detection of singles/coincidences enable estimation of $p_0$ and $p_1$. Witness values are constructed from these rates and compared to analytically derived thresholds. Loss, imperfect detection, and noise are incorporated in the statistical estimators to guarantee a valid certification even under non-ideal conditions [1107.4305].

- **Photon Subtraction from Squeezed Vacuum:** Conditioned on a heralding click, subtraction-induced non-Gaussian states (often with positive Wigner functions due to noise) are characterized by reconstructing photon number distributions via homodyne detection and applying numerically optimized witnesses, including "anti-squeezing" post-processing to exploit the underlying non-Gaussian features [1206.7057].

- **Multi-channel Detection for Emitter Ensembles:** Measurement of simultaneous click probabilities at arrays of time- or spatially-multiplexed APDs allows for witnessing higher-order non-Gaussianity from large ensembles of emitters or multiplexed heralded single-photon sources, with criteria resilient to significant optical loss [1611.07737], [2206.02247].

- **Homodyne and Double Homodyne Detection:** Witnesses built from quadrature statistics, the Husimi Q-function, or more generally, sampled phase-space distributions through double homodyne detection can be applied to both single-mode and multimode systems with robust sample complexity and immunity to noise. These measurements can be processed to construct witnesses for stellar rank or for Wigner negativity [2011.04320], [2507.23005].

- **Loss-mitigated Certification:** Known loss and detector inefficiency are incorporated directly into the witness bounds. The measured statistics are compared with loss-dependent thresholds, avoiding unreliable statistical correction and making the certification robust and directly operational for unheralded states, photon pairs, and large-scale systems [2408.11590].

## 4. Mathematical Properties and Resource Quantification

A number of mathematically rigorous measures of quantum non-Gaussianity have been formulated:

- **Fidelity- and Distance-based Measures:** Quantifying how far a state $\rho$ is from the nearest Gaussian state $\rho_G$ having the same first and second moments, using metrics like quantum fidelity ($\delta_F[\rho] = 1 - \sqrt{\mathcal{F}(\rho, \rho_G)}$), Hilbert-Schmidt distance, or relative entropy. These measures are invariant under Gaussian unitaries and serve as resource monotones for non-Gaussianity [1210.1929], [1809.02999].

- **Convex-roof Constructions:** The convex-roof extension of such distance measures ensures vanishing value for all mixtures of Gaussian states and strictly positive value only for genuinely quantum non-Gaussian resources, establishing them as proper monotones under Gaussian channels and conditional operations [1809.02999].

- **Stellar Rank:** Non-Gaussianity (and its degree) is linked to the number of zeros of the stellar function associated with the state's wavefunction. The detection of zeros in single quadrature statistics provides both an experimentally minimal and mathematically rigorous witness for stellar rank, which quantifies the "degree" of non-Gaussianity relevant for quantum computational advantage [2507.23005].

- **Nonclassicality Quasiprobabilities:** Witnesses based on non-Gaussian-filtered phase-space distributions provide both lower and upper bounds for the degree of nonclassicality, enabling the certification of non-Gaussianity and the quantification of resource strength in experimental scenarios [1803.03133].

## 5. Impact and Applications in Quantum Technologies

Quantum non-Gaussianity witnesses have immediate significance in quantum optics, information, and sensing:

- **Quantum Computing and Error Correction:** Non-Gaussianity is a strict requirement for universal continuous-variable quantum computation, entanglement distillation, and robust error correction codes (e.g., in GKP-type grid-state generation). The ability to efficiently witness non-Gaussianity allows for practical benchmarking of such resource states in scalable devices [1107.4305], [2506.17437].

- **Quantum Communication and Security:** In discrete-variable quantum key distribution (DV QKD), non-Gaussianity of the received light is a sufficient indicator of secure operation under general collective attacks—more stringent than nonclassicality, and directly testable with autocorrelation or multi-channel detection [1603.06620].

- **Quantum Metrology:** Witnesses linked to metrological quantities, such as the quantum Fisher information, connect non-Gaussianity to enhanced phase sensitivity and precision beyond classical and Gaussian limits. Measurement protocols exploiting these criteria can directly link resource quantification with measurement performance [2407.18095], [2301.03909].

- **Loss- and Noise-robust Verification:** The robustness to loss and detector inefficiency, achieved by incorporating these factors into witness construction, is critical for practical deployment in optical fiber networks, on-chip photonic devices, and systems with imperfect detection [1611.07737], [2408.11590].

- **Multimode, Multiphonon, and Complex State Certification:** Witnesses generalize to multimode photonic and phononic states, with hierarchical criteria for genuine $n$-photon or $n$-phonon non-Gaussianity, spectrally multimode quantum networks, and joint detection of mode-intrinsic entanglement [2206.02247], [2407.18095].

## 6. Extensions, Limitations, and Future Directions

While substantial progress has been made, several directions drive ongoing research:

- **Generalization to Arbitrary Degrees of Non-Gaussianity:** Criteria linked to higher stellar ranks, multiphoton coincidences, and advanced phase-space functionals are under active development to provide fine-grained resource quantification relevant to advanced protocols [2507.23005].

- **Scalability and Efficient Implementation:** Witnesses using moment-based criteria (mean and variance), single quadrature distributions, or minimal measurement settings are being tailored to enable certification in large-scale experimental systems and mesoscopic regimes [2509.20492], [2507.23005].

- **Integration with Quantum Gravity and Foundational Tests:** The distinction between Gaussian and non-Gaussianity witnesses is being explored as a tool for fundamental tests (e.g., in quantum gravity scenarios) where a classical channel cannot induce genuine quantum non-Gaussianity, offering a route to probe the quantum-classical boundary [2004.01189].

- **Resource Theory and Metrological Advantages:** The development of axiomatic resource theories for non-Gaussianity, the study of monotonicity properties under physical operations, and the connection with metrological power, continue to inform the best practices for resource certification and conversion.

In summary, quantum non-Gaussianity witnesses comprise a family of experimentally accessible, mathematically rigorous criteria that enable the operational certification of a fundamental quantum resource, essential for advanced technologies in quantum computing, communication, sensing, and foundational physics. Their continued development and broad applicability underpin much of the progress in modern quantum information science.

Source: https://www.emergentmind.com/topics/quantum-non-gaussianity-witness