[논문 리뷰] Chernoff Bound for Quantum Operations is Faithful

Nengkun Yu, Li Zhou|arXiv (Cornell University)|2017. 05. 03.

Quantum Computing Algorithms and Architecture참고 문헌 26인용 수 7

한 줄 요약

이 논문은 양자 연산에 대한 체르노프 경계의 정당성을 확립하며, 두 양자 연산이 완전히 구별될 수 없을 때에만 유한하다는 것을 증명한다. 상한을 도출하고 다수의 연산으로 일반화함으로써, 임의의 사전 확률을 가진 상황에서 양자 연산 구별 시 오류를 최소화하는 엄밀한 渐近적 프레임워크를 제공한다.

ABSTRACT

We consider the problem of testing two quantum hypotheses of quantum operations in the setting of many uses where an arbitrary prior distribution is given. The concept of the Chernoff bound for quantum operations is investigated to track the minimal average probability of error of discriminating two quantum operations asymptotically. We show that the Chernoff bound is faithful in the sense that it is finite if and only if the two quantum operations can not be distinguished perfectly. More precisely, upper bounds of the Chernoff bound for quantum operations are provided. We then generalize these results to multiple Chernoff bound for quantum operations.

연구 동기 및 목표

• 다중 사용을 통해 두 양자 연산을 구별할 때의 渐近적 최소 평균 오류 확률을 조사하기 위해.
• 임의의 사전 분포가 존재하는 상황에서 양자 연산에 대한 체르노프 경계를 정의하고 분석하기 위해.
• 체르노프 경계가 유한해지는 조건을 확립하여, 양자 연산의 구별 가능성과 연결하기 위해.
• 체르노프 경계를 두 개 이상의 양자 연산으로 일반화하여 적용 범위를 넓히기 위해.

제안 방법

• 저자들은 다중 사용된 연산에 대한 양자 연산 구별 문제를 가설 검정 문제로 모델링한다.
• 체르노프 경계를 양자 연산에 대해 정의하며, 이는 渐近적 극한에서 최소 평균 오류 확률의 지수 감쇠율로 정의된다.
• 양자 정보 이론과 연산자 이론의 기법을 사용하여 체르노프 경계의 상한을 유도한다.
• 분석 과정에서 두 연산에 대한 임의의 사전 분포를 통합함으로써 설정의 일반성을 확보한다.
• 이 프레임워크는 다수의 양자 연산으로 확장되며, 다중 체르노프 경계의 개념을 도입한다.

실험 결과

연구 질문

• RQ1 양자 연산에 대한 체르노프 경계가 유한해지는 조건은 무엇인가?
• RQ2 체르노프 경계는 양자 연산의 완전한 구별 가능성과 어떻게 관련이 있는가?
• RQ3 다중 사용 시나리오에서 체르노프 경계에 대해 유도할 수 있는 상한은 무엇인가?
• RQ4 체르노프 경계는 두 개 이상의 양자 연산으로 어떻게 일반화될 수 있는가?

주요 결과

• 양자 연산에 대한 체르노프 경계는 두 연산이 완전히 구별될 수 없을 때에만 유한하다.
• 체르노프 경계의 상한이 도출되었으며, 이는 渐近적 구별에서 최소 오류 확률에 대한 정량적 한계를 제공한다.
• 경계는 양자 연산의 본질적 구별 가능성 반영한다는 의미에서 정당하다.
• 결과는 다수의 양자 연산으로 일반화되었으며, 더 넓은 구별 작업을 위한 다중 체르노프 경계가 도입되었다.