To this end we factor out a beam splitter from the convolution unitary and exploit its properties

VanishingN C implies a Gaussian state Here we prove the nontrivial part of the faithfulness statement, namely that a state satisfyingN C(ρ) = 0 is Gaussian