A formalism for magnon gravitational wave detectors Asuka Ito and Jiro Soda Eur. Phys. J. C, 80 6 (2020) 545 Published online: 16 June 2020 DOI: 10.1140/epjc/s10052-020-8092-6