Conditional non-Gaussian quantum state preparation

TL;DR

This paper introduces a formalism using Wigner functions to analyze conditional operations on Gaussian states in quantum optics, demonstrating its utility through examples and establishing EPR steering as essential for remote Wigner-negative state preparation.

Contribution

It presents a novel analytical framework for simulating conditional quantum operations on Gaussian states and proves the necessity of EPR steering for Wigner negativity.

Findings

Formalism effectively models conditional operations on Gaussian states

EPR steering is necessary for remote Wigner-negative state preparation

Demonstrated the formalism with multiple quantum optics examples

Abstract

We develop a general formalism, based on the Wigner function representation of continuous-variable quantum states, to describe the action of an arbitrary conditional operation on a multimode Gaussian state. We apply this formalism to several examples, thus showing its potential as an elegant analytical tool for simulating quantum optics experiments. Furthermore, we also use it to prove that EPR steering is a necessary requirement to remotely prepare a Wigner-negative state.