(Translated by https://www.hiragana.jp/)
[1912.03324] Carving out OPE space and precise $O(2)$ model critical exponents