Detecting nonclassicality beyond mixtures of Gaussian states under constraints J Park (Texas A&M University at Qatar) We provide a general formalism to witness genuine quantum non-Gaussianity under energy constraint. Our formulation yields a variety of non-Gaussianity criteria that can be useful to address single-mode and two-mode quantum systems. It can also be an important tool to compare Gaussian and non -Gaussian resources for quantum communication. We particularly show that Gaussian states are nonoptimal resource under an energy constraint, e.g. for quantum teleportation, which sheds light on the necessity of quantum non-Gaussian resources more rigorously.