(Translated by https://www.hiragana.jp/)
[1809.10249] Error detection in a tunable-barrier electron pump