[논문 리뷰] A note on the measures of process fidelity for non-unitary quantum operations

Joydip Ghosh|arXiv (Cornell University)|2011. 11. 10.

Quantum Information and Cryptography참고 문헌 1인용 수 7

한 줄 요약

이 논문은 초전도 큐비트에서 계산 부분공간을 벗어나는 유실(leakage)으로 인해 발생하는 게이트 오류와 관련하여 비유니터리 양자 연산에 대한 두 가지 충성도 측정법을 제안하고 분석한다. 특히, 극도로 효율적인 분석 방법을 사용하여 두 번째 충성도 측정법을 계산하는 데 폴라 분해를 활용하며, 수치 시뮬레이션에서 첫 번째 측정법보다 항상 높게 나타나고 고충성도에서 수렴함을 보여준다.

ABSTRACT

Various fidelity measures can be defined between two quantum processes especially when at least one of them is non-unitary. In this paper we consider two such measures of state averaged process fidelity, put forward an efficient procedure to compute them and investigate their mathematical properties as well as their relationship.

연구 동기 및 목표

• 양자 컴퓨팅에서 비유니터리 양자 연산에 대한 강력한 충성도 측정법의 부족을 해결하기 위해.
• 실제 시간 진화가 비유니터리일 때도 적용 가능한 두 가지 상태 평균 처리 충성도 측정법을 정의하고 비교하기 위해.
• 비계산 부분공간에 대한 최대화를 포함하는 더 복잡한 충성도 측정법을 효율적으로 분석적으로 계산하기 위한 방법을 개발하기 위해.
• 실제 양자 시스템에서 두 충성도 측정법 간의 수학적 관계와 정량적 행동을 조사하기 위해.
• 양자 오류 수정에서 최악의 경우(상태 최소화) 처리 충성도에 대한 향후 연구의 기초를 마련하기 위해.

제안 방법

• 계산 부분공간에 전체 시간 진화 연산자를 사영하고 표준 유니터리 충성도 공식을 적용하여 첫 번째 충성도 측정법(F1)을 제안한다.
• 목표 유니터리 연산을 더 큰 유니터리 연산자에 통합하고 비계산 부분공간에 대해 충성도를 최대화함으로써 두 번째 충성도 측정법(F2)을 도입한다.
• 폴라 분해 정리를 적용하여 F2의 최대값을 분석적으로 계산함으로써 고비용의 수치 최적화를 피한다.
• F1과 F2 사이의 폐쇄형 분석적 관계를 유도하며, F2가 F1, 감소된 연산의 트레이스, 그리고 감소된 매핑의 최대 특이값에 의존함을 보여준다.
• 시간에 독립적인 해밀토니안 하에서 리조너에 결합된 초전도 큐비트를 대상으로 수치 시뮬레이션을 수행하여 제어-제로(CZ) 게이트를 모델링한다.
• 4개의 계산 부분공간을 포함하는 9레벨 힐베르트 공간을 사용하여 시간에 따라 F1과 F2를 계산하고 비교한다.

실험 결과

연구 질문

• RQ1 목표 연산이 유니터리일 때 비유니터리 양자 연산에 대해 처리 충성도를 어떻게 의미 있게 정의할 수 있는가?
• RQ2 비유니터리 과정에 대한 두 가지 다른 상태 평균 충성도 측정법 간의 수학적 관계는 무엇인가?
• RQ3 두 번째 충성도 측정법에서 계산 비용이 큰 최대화 문제를 분석적으로 수행할 수 있는가?
• RQ4 두 충성도 측정법은 실질적인 초전도 큐비트 시스템에서 어떻게 정량적으로 행동하는가?
• RQ5 비유니터리 상황에서 F2는 항상 F1보다 크거나 같으며, 이를 증명할 수 있는가?

주요 결과

• 두 번째 충성도 측정법(F2)은 폴라 분해 정리로 인해 분석적으로 계산 가능하여 수치 최대화가 필요 없어진다.
• F1과 F2 사이의 폐쇄형 분석적 관계가 도출되었으며, F2가 F1, 감소된 연산의 트레이스, 감소된 매핑의 최대 특이값에 의존함을 보여준다.
• 리조너에 결합된 단상 큐비트의 수치 시뮬레이션 결과, 저~중간 충성도 범위에서 F2 > F1이며 고충성도에서 수렴함을 확인하였다.
• 저충성도에서 F1과 F2의 차이는 충성도가 낮을 때 다른 충성도 정의가 분리되는 것으로 알려진 행동과 일관된다.
• 시험된 시나리오에서 F2 ≥ F1는 수치적으로 성립하지만, 비유니터리 케이스에 대한 일반적인 분석적 증명은 아직 열려 있는 문제이다.
• 결과는 F2가 유실 오류가 존재하는 상황에서 더 강건하고 보수적인 처리 충성도 추정을 제공함을 시사한다.