Title: Gravitational Positivity for Phenomenologists

Abstract: I will present concrete recipes for deriving "gravitational positivity bounds'' on low-energy EFTs. We discuss constraints on massive dark gauge bosons as an example. The resulting bound, though tentative, is very powerful and potentially "excludes" most of the parameter regions to be explored by future experiments. This talk is based on arXiv:2305.10058 [hep-ph], coauthored with Katsuki Aoki, Toshifumi Noumi, Ryo Saito, Sota Sato, Satoshi Shirai, and Junsei Tokuda.