(Translated by https://www.hiragana.jp/)
[1804.05116] Unconditional separation of finite and infinite-dimensional quantum correlations