[논문 리뷰] The entanglement fidelity and quantum error correction

Michael A. Nielsen|ArXiv.org|1996. 06. 13.

Quantum Computing Algorithms and Architecture인용 수 24

한 줄 요약

이 논문은 양자 오류 수정에서 양자 얽힘을 얼마나 잘 유지하는지 측정하는 엔트로피 편의도가 표준 상태 편의도보다 더 적절한 성과 지표임을 입증한다. 양자 연산 중에 얽힘을 얼마나 잘 유지하는지를 측정하는 엔트로피 편의도에 대해 두 가지 새로운 표현식을 유도하고, 이가 모든 가능한 상태 확장에 대한 최소 편의도와 동일함을 증명함으로써, 엔트로피 편의도를 최대화하면 양자 정보 프로토콜에서 상태와 얽힘 모두를 보존할 수 있음을 보여준다.

ABSTRACT

Two new expressions for the entanglement fidelity recently introduced by Schumacher (LANL e-print quant-ph/9604023, to appear in Phys. Rev. A) are derived. These expressions show that it is the entanglement fidelity which must be maximized when performing error correction on qubits for quantum computers, not the fidelity, which is the most-often used generalization of the probability for storing a qubit correctly.

연구 동기 및 목표

• 표준 편의도가 얽힘을 유지하지 못할 수 있음에도 불구하고, 양자 오류 수정에서 엔트로피 편의도의 역할을 명확히 하기 위해.
• 상태 편의도와 엔트로피 편의도를 구분함으로써 양자 연산 성능 평가의 모호함을 해결하기 위해.
• 양자 텔레포르레이션, 암호화 및 코드화와 같이 얽힘에 의존하는 프로토콜에 대해 엔트로피 편의도가 적절한 측정 지표임을 보여주기 위해.
• 다양한 양자 연산과 시스템 확장에서 통합된 해석을 가능하게 하는 엔트로피 편의도에 대한 엄밀한 수학적 표현식과 증명을 제공하기 위해.

제안 방법

• 양자 연산의 연산자 합 표현식과 상태 확장 개념을 사용하여 엔트로피 편의도에 대한 두 가지 새로운 표현식을 유도한다.
• 연산자 합 표현식 $\mathcal{E}(\rho) = \sum_i A_i \rho A_i^\dagger$ 를 사용하여 엔트로피 편의도를 $F_e(\rho, \mathcal{E}) = \sum_i \mathrm{tr}(A_i \rho) \mathrm{tr}(A_i^\dagger \rho)$ 로 표현한다.
• 엔트로피 편의도가 상태 $\rho$ 를 더 큰 시스템으로 확장한 모든 경우에 대한 최소 편의도와 동일함을 증명함으로써, 그 운영적 의미를 확립한다.
• 편의도가 양자 연산에 대해 증가하는 성질을 적용하여 $F(\mathcal{E}(\rho_1), \mathcal{E}(\rho_2)) \geq F(\rho_1, \rho_2)$ 를 증명함으로써, 엔트로피 편의도가 진화 과정에서 강건함을 보여준다.
• 순수 상태 확장을 위한 순수화 및 부분 추적 기법을 사용하여 순수 상태 확장의 편의도와 축소된 상태의 엔트로피 편의도 간의 관계를 규명한다.
• 세 가지 형태의 엔트로피 편의도, 즉 $F_e = F_1 = F_2$ 가 동치임을 보여주어 서로 다른 수학적 표현 방식 간의 일관성을 입증한다.

실험 결과

연구 질문

• RQ1 왜 얽힘이 자원으로 기능할 때 표준 편의도는 양자 오류 수정 평가에 부적절한가?
• RQ2 노이즈가 있는 양자 연산 중에 양자 상태와 얽힘을 모두 보존하기 위해 최대화해야 할 올바른 측정 지표는 무엇인가?
• RQ3 순수 상태와 혼합 상태에 대해 엔트로피 편의도는 표준 편의도와 어떻게 관련이 있는가?
• RQ4 실제 양자 오류 수정 기법에 적용 가능한 계산에 유용한 형태로 엔트로피 편의도를 표현할 수 있는가?
• RQ5 모든 입력 상태에 대해 높은 표준 편의도가 높은 엔트로피 편의도를 암시하는 조건은 무엇인가?

주요 결과

• 엔트로피 편의도 $F_e(\rho, \mathcal{E})$ 는 $\rho$ 의 모든 가능한 확장에 대한 최소 편의도와 동일하며, 이는 엔트로피 보존에 있어 가장 보수적이고 의미 있는 측정 지표임을 입증한다.
• 순수 상태의 경우 엔트로피 편의도는 표준 편의도로 줄어든다: $F_e(|\psi\rangle\langle\psi|, \mathcal{E}) = \langle\psi|\mathcal{E}(|\psi\rangle\langle\psi|)|\psi\rangle$, 이는 순수 상태 근처에서의 일致성을 확인한다.
• 엔트로피 편의도는 연산자 합 표현식을 통해 명시적으로 계산 가능하며, $F_e(\rho, \mathcal{E}) = \sum_i \mathrm{tr}(A_i \rho) \mathrm{tr}(A_i^\dagger \rho)$ 로 표현되어 실용적 환경에서 직접 계산이 가능하다.
• 만약 모든 순수 상태에 대해 표준 편의도가 $1 - \epsilon$ 이상이라면, 모든 상태에 대해 엔트로피 편의도는 $1 - \frac{3\epsilon}{2}$ 이상이 되며, 이는 전역 조건 하에서 높은 표준 편의도가 높은 엔트로피 편의도를 암시함을 보여준다.
• 상태 편의도는 유지되지만 엔트로피 편의도가 $\frac{1}{4}$ 로 떨어지는 예시를 제시함으로써, 상태 보존이 얽힘 보존을 의미하지는 않음을 입증한다.
• 논문은 $F_e(\rho, \mathcal{E}) \leq F(\rho, \mathcal{E}(\rho))$ 를 증명하여, 양자 상태 자체보다 엔트로피가 더 잘 보존될 수 없음을 보여주며, 이는 기본적인 물리적 한계이다.