A functional Breuer-Major theorem with Poisson noise

We extend the functional Breuer-Major theorem for Gaussians to the Poisson case, where the stationary sequence arises from a Poisson point process. We use the $L^p$ spectral gap inequality of Poisson point process as a tool to prove tightness.