Exact certification of a positive-order Rényi additivity violation for an explicit channel pair
이 논문은 작은 유리수 증거 행렬과 기초적인 구간 논증에 기반한 완전한 증명을 통해, Cubitt 등이 원래 제안했던 명시적인 양자 채널 쌍에 대하여 인 모든 차수에 대해 엄격한 양의 차수 레니니(Rényi) 가법성 위반이 성립함을 입증함으로써, 최초의 엄밀하고 컴퓨터로 검증 가능한 인증을 제공한다.