Q-operators for the Ruijsenaars model

We prove that the Ruijsenaars model admits a one-parameter commuting family of Q-operators. The commutativity is equivalent to an elliptic hypergeometric integral transformation that was conjectured by Gadde et al., and has an alternative interpretation in terms of S-duality for quiver gauge theories. We present two proofs of this conjecture, one using the elliptic Macdonald polynomials of Langmann et al., and one using known results on elliptic hypergeometric integrals. We also explain how the Noumi-Sano operators appear as degenerations of Q-operators.