Non-Gaussian states via pump-depleted SPDC

We develop a model for non-Gaussian state generation via spontaneous parametric down-conversion (SPDC) in InGaP microring resonators. The nonlinear Hamiltonian is written in terms of the asymptotic fields for the system, which includes a phantom channel to handle scattering loss. The full ket for the system is written as a Gaussian unitary acting on a residual non-Gaussian ket, which is vacuum initially and evolves according to a non-Gaussian Hamiltonian. We show that for realistic parameters we can access the pump depletion regime, where the Wigner function for the residual non-Gaussian ket has negativity. But we find that the non-Gaussian features for the full ket could be unobservable due to the large amount of squeezing required to lead to pump depletion. We show that a potential solution in the low-loss regime is to implement an inverse Gaussian unitary on the accessible modes to remove most of the squeezing and reveal the non-Gaussian features. This work provides a foundation for modeling pump-depleted SPDC in integrated lossy microring resonators, opening a path toward a scalable on-chip non-Gaussian source.