[논문 리뷰] Quantum error correction and generalized numerical ranges

Chi-Kwong Li, Yiu‐Tung Poon|ArXiv.org|2008. 12. 27.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 3

한 줄 요약

이 논문은 양자 채널 연산자의 공동 높은 질서 수치 범위를 분석하여 양자 오류 수정을 위한 기하적 프레임워크를 수립한다. 충분히 큰 힐베르트 공간에서 공동 질서-k 수치 범위는 항상 별형이며 비어 있지 않은 볼록 부분집합을 포함하며, 공동 무한 질서 수치 범위가 공동 본질적 수치 범위와 일치함을 보이며, 무한 차원 설정에서 양자 오류 수정 코드의 존재를 위한 핵심 기준을 제공한다.

ABSTRACT

For a noisy quantum channel, a quantum error correcting code exists if and only if the joint higher rank numerical ranges associated with the error operators of the channel is non-empty. In this paper, geometric properties of the joint higher rank numerical ranges are obtained and their implications to quantum computing are discussed. It is shown that if the dimension of the underlying Hilbert space of the quantum states is sufficiently large, the joint higher rank numerical range of operators is always star-shaped and contains a non-empty convex subset. In case the operators are infinite dimensional, the joint infinite rank numerical range of the operators is a convex set closely related to the joint essential numerical ranges of the operators.

연구 동기 및 목표

• 공동 높은 질서 수치 범위의 기하적 구조를 규명하여 양자 오류 수정에 활용하기 위해.
• 연산자 이론적 도구를 사용하여 양자 오류 수정 코드의 존재 조건을 설정하기 위해.
• 무한 차원 힐베르트 공간에서 공동 무한 질서 수치 범위와 공동 본질적 수치 범위 간의 관계를 탐구하기 위해.
• 공동 높은 질서 수치 범위의 비어 있지 않음 조건을 통해 양자 오류 수정 코드 존재의 기하 기준을 제시하기 위해.

제안 방법

• 공동 질서-k 수치 범위 $\Lambda_k(\mathbf{A})$ 를, 모든 $ j $ 에 대해 $ P A_j P = a_j P $ 를 만족하는 질서-k 프로젝션 $ P $ 가 존재하는 $ (a_1,\dots,a_m) $ 의 집합으로 정의한다.
• 힐베르트 공간 $ \mathbb{C}^n $ 내의 정규직교 가속 $ \{x_1,\dots,x_k\} $ 을 사용하여 내적 $ \langle \mathbf{A} x_i, x_j \rangle = \delta_{ij} \mathbf{a} $ 를 통해 $ \Lambda_k(\mathbf{A}) $ 를 특성화한다.
• 모든 유한 질서 수치 변형 $ \mathbf{F} $ 에 대해 $ W(\mathbf{A} + \mathbf{F}) $ 의 닫힘의 교차로 정의된 공동 본질적 수치 범위 $ W_e(\mathbf{A}) $ 를 도입한다.
• $ \Lambda_\infty(\mathbf{A}) \subseteq \Omega_\infty(\mathbf{A}) = W_e(\mathbf{A}) $ 를 증명하고, 특정 조건 하에서 등식이 성립함을 보인다.
• $ W_e(\mathbf{A}) = \bigcap_{k \geq 1} \overline{\Lambda_k(\mathbf{A})} $ 를 확립하여 본질적 수치 범위를 유한 질서 수치 범위의 닫힘과 연결한다.
• 스펙트럼 상한 $ \lambda_k(\mathbf{c} \cdot \mathbf{A}) $ 를 사용하여 $ \Omega_k(\mathbf{A}) $ 를 정의하고, $ \Lambda_k(\mathbf{A}) \subseteq \Omega_k(\mathbf{A}) $ 를 보여, 주요 특성화로 이어진다.

실험 결과

연구 질문

• RQ1 주어진 양자 채널에 대해 공동 높은 질서 수치 범위의 기하적 조건이 무엇이면 양자 오류 수정 코드가 존재하는가?
• RQ2 힐베르트 공간 차원이 증가함에 따라 $ \Lambda_k(\mathbf{A}) $ 의 구조는 어떻게 변화하는가? 특히 무한 차원의 경우에 대해.
• RQ3 공동 무한 질서 수치 범위 $ \Lambda_\infty(\mathbf{A}) $ 와 공동 본질적 수치 범위 $ W_e(\mathbf{A}) $ 간의 정확한 관계는 무엇인가?
• RQ4 공동 본질적 수치 범위는 유한 질서 수치 범위의 닫힘의 교차로 특성화될 수 있는가?
• RQ5 $ \Lambda_\infty(\mathbf{A}) $ 는 항상 볼록이며, 유한 $ k $ 에 대해 $ \overline{\Lambda_k(\mathbf{A})} $ 의 별 중심과 어떻게 관련되어 있는가?

주요 결과

• 충분히 큰 힐베르트 공간 차원에서 공동 높은 질서 수치 범위 $ \Lambda_k(\mathbf{A}) $ 는 항상 별형이며 비어 있지 않은 볼록 부분집합을 포함한다.
• 공동 무한 질서 수치 범위 $ \Lambda_\infty(\mathbf{A}) $ 는 항상 볼록이며, 각 유한 $ k $ 에 대해 $ \overline{\Lambda_k(\mathbf{A})} $ 의 별 중심의 부분집합이다.
• 공동 본질적 수치 범위는 $ W_e(\mathbf{A}) = \bigcap_{k \geq 1} \overline{\Lambda_k(\mathbf{A})} $ 를 만족하여 위상적 특성화를 제공한다.
• $ \Lambda_\infty(\mathbf{A}) \subseteq \Omega_\infty(\mathbf{A}) = W_e(\mathbf{A}) $ 를 만족하며, 등식 $ \Omega_\infty(\mathbf{A}) = W_e(\mathbf{A}) $ 가 성립함을 입증한다.
• 공동 본질적 수치 범위는 유한 질서 수치 변형에 대해 불변이다: 임의의 유한 질서 $ \mathbf{F}_0 $ 에 대해 $ W_e(\mathbf{A}) = W_e(\mathbf{A} + \mathbf{F}_0) $ 이다.
• 다양한 동치 특성화가 유도되었으며, 예를 들어 $ \bigcap_k \overline{\Lambda_k(\mathbf{A} + \mathbf{F})} $ 와 $ \bigcap_k \overline{\Lambda_k(X^* \mathbf{A} X)} $ (적절한 $ X $ 에 대해) 를 통해 표현된다.