| name | fermionic-bell-sampling-non-gaussianity |
| description | Fermionic non-Gaussianity analysis via Bell sampling — bridge degree monotone, Gaussian conversion no-go theorems, and efficient quantum algorithms for certifying non-Gaussian cost of state preparation. |
| category | quantum |
Fermionic Non-Gaussianity via Bell Sampling
Context
Based on arXiv:2606.05066 (Tarabunga, Jun 2026). Fermionic non-Gaussianity is an essential resource for unlocking the full computational power of fermionic quantum platforms.
Core Methodology
- Define the operator Λ = Σ_{j=1}^{2n} γ_j ⊗ γ_j on two copies of an n-mode fermionic state, accessible via Bell sampling
- Bridge degree: Introduce the bridge degree as the largest eigenvalue sector of Λ populated by two copies of the state — a novel non-Gaussianity monotone
- Prove monotonicity: Show bridge degree is non-increasing under post-selected Gaussian protocols
- Derive no-go theorems: Use monotonicity to prove stronger Gaussian conversion impossibility results than previously known monotones
- Irreversibility: Show the resource theory of fermionic non-Gaussianity is irreversible in the exact-conversion setting
- Efficient witnessing: The bridge degree is efficiently witnessed through Bell sampling with polynomial sample complexity
- Two algorithmic primitives:
- Two-copy Gaussianity test with perfect completeness (optimal among two-copy tests)
- Test for state 2-design property of matchgate-invariant ensembles
Implementation Steps
- Prepare two copies of the target fermionic state
- Perform Bell sampling to access the eigenvalue structure of Λ
- Compute the bridge degree from the Bell sampling outcomes
- Compare against known Gaussian states to certify non-Gaussianity
- Use the approximate variant with efficiently measurable lower bound for experimental certification
Key Results
- Bridge degree is easy to compute and efficiently witnessed through Bell sampling
- Lower-bounds the non-Gaussian gate complexity of state preparation
- Controls the non-Gaussian gate complexity of producing quantum state designs
- Extends naturally to mixed states via Choi–Jamiołkowski isomorphism
- Provides experimentally certifiable lower bound on non-Gaussian cost of approximately preparing any state
Pitfalls
- Post-selected Gaussian protocols only: monotonicity holds under post-selection, not unconditional Gaussian operations
- The bridge degree is defined for even pure states; extension to mixed states requires Choi isomorphism
- Two-copy tests share the perfect completeness property; single-copy tests may have different completeness bounds
Verification
- Verify bridge degree computation against known Gaussian states (should yield zero for Gaussian states)
- Test monotonicity: apply post-selected Gaussian protocol, verify bridge degree does not increase
- Compare with existing non-Gaussianity monotones to confirm stronger no-go theorems
Activation
- fermionic non-gaussianity, bell sampling, bridge degree, gaussian conversion, fermionic quantum computing
- 费米子非高斯性, 贝尔采样, 桥接度, 高斯转换