Cartesian PML truncation for the Helmholtz equation is exponentially accurate at high frequency

For a wide class of Helmholtz scattering problems (namely, those fitting in the black-box framework of Sjöstrand–Zworski) we prove that the error incurred by approximating the radiation condition by a Cartesian perfectly-matched layer (PML) decreases exponentially in the width of the PML, the strength of the PML scaling, and the frequency.