[논문 리뷰] Decoherence-Insensitive Quantum Communication by Optimal C^*-Encoding

Bernhard G. Bodmann, David W. Kribs외 1명|ArXiv.org|2006. 05. 29.

Quantum Information and Cryptography참고 문헌 24인용 수 5

한 줄 요약

이 논문은 소음 없는 부분공간이 모든 원하는 양자 상태를 인코딩하기에 너무 작을 경우, 소음에 민감한 구성 요소에 양자 정보를 최적화하여 분산시켜 비퇴화에 강건한 양자 통신을 위한 $C^*$-인코딩 프레임워크를 제안한다. 단순한 질량 비율 투영의 볼록 조합으로 모델링된 위상 감쇠 채널 하에서 최적 인코딩을 위한 기하 조건을 유도하며, 모든 쌍별 투영 $P_i + P_j$ 의 최대 고유값을 최소화할 때 최적 성능을 달성함을 보이며, 이는 두 개의 균일한 프레임에 대해 웰치 경계의 등호를 만족할 때 성립한다.

ABSTRACT

The central issue in this article is to transmit a quantum state in such a way that after some decoherence occurs, most of the information can be restored by a suitable decoding operation. For this purpose, we incorporate redundancy by mapping a given initial quantum state to a messenger state on a larger-dimensional Hilbert space via a $C^*$-algebra embedding. Our noise model for the transmission is a phase damping channel which admits a noiseless or decoherence-free subspace or subsystem. More precisely, the transmission channel is obtained from convex combinations of a set of lowest rank yes/no measurements that leave a component of the messenger state unchanged. The objective of our encoding is to distribute quantum information optimally across the noise-susceptible component of the transmission when the noiseless component is not large enough to contain all the quantum information to be transmitted. We derive simple geometric conditions for optimal encoding and construct examples.

연구 동기 및 목표

• 사용 가능한 소음 없는 부분공간이 모든 원하는 양자 상태를 인코딩하기에 부족할 때, 그로 인한 신뢰성 있는 양자 정보 전송 문제를 해결하기 위해.
• 위상 감쇠 소음 하에서 최악의 재구성 오차를 최소화하면서 시스템의 소음에 민감한 부분에 양자 정보를 분산시키는 프레임워크를 개발하기 위해.
• 최소 오차 모델 $\mathcal{Q}^{(1)}$ 내 모든 채널에 대해 힐버트-스미스 재구성 오차의 상한을 최소화하는 최적의 $C^*$-인코딩 맵에 대한 기하학적 및 대수적 조건을 도출하기 위해.
• 균일한 가중치를 가진 투영과 두 개의 균일한 프레임을 사용하여 최적 인코딩의 명시적 예를 구성하고 이론적 하한 오차에 도달하기 위해.

제안 방법

• 소음을 최소 질량 비율 투영 측정의 볼록 조합으로 모델링하여 위상 감쇠 채널을 표현한다. $\mathcal{Q}^{(1)} = \left\{ \sum_{j=1}^m p_j \mathcal{E}_j(M) \right\}$ 로 표현되며, 여기서 $\mathcal{E}_j(M) = Q_j M Q_j + Q_j^\perp M Q_j^\perp$ 이고 $Q_j = E_{jj} \otimes I$ 이다.
• 양자 상태의 구조를 유지하고 더 큰 힐베르트 공간에서 부가 정보를 포함하기 위해 $C^*$-대수의 통합을 인코딩 맵 $\Phi: B(\mathbb{C}^d) \to B(\mathbb{C}^m \otimes \mathbb{C}^l)$ 로 사용한다.
• 재구성 오차를 $Y = (I - A)WA + AW(I - A)$ 의 힐베르트-스미스 노름으로 정의한다. 여기서 $A$ 는 소음에 민감한 구성 요소에 대한 투영이고, $W$ 는 $A$ 의 고유기저에서의 인코딩된 상태이다.
• 모든 쌍별 투영 $P_i + P_j$ 의 최대 고유값을 최소화함으로써 최악의 경우 오차를 최소화한다. 이는 $\|P_i + P_j\|$ 의 연산자 노름을 최소화하는 것과 동일하다.
• 크기 $m$ 의 $\mathbb{C}^q$ 에서의 $m$ 개의 벡터로 이루어진 파르세발 프레임 $\{f_j\}$ 를 사용하여 최적 인코딩을 구성한다. $\|f_j\| = \sqrt{q/m}$ 이며, $\max_{i \neq j} \|\Pi_i + \Pi_j\| = 1 + \sqrt{\frac{m - q}{q(m - 1)}}$ 이며, 이는 웰치 경계의 등호를 만족한다.
• 힐베르트 공간을 $s$ 차원의 소음 없는 구성 요소 $\mathcal{V}$ 로 확장하여 비퇴화 부분공간을 포함하는 것으로 프레임워크를 일반화한다. 이 경우 오차 경계는 $ml$ 을 $ml + s$ 로 대체함으로써 수정된다.

실험 결과

연구 질문

• RQ1 소음 없는 부분공간이 제한되어 있을 때, 위상 감쇠 소음 하에서 최악의 재구성 오차를 최소화하기 위해 양자 정보를 어떻게 최적화하여 인코딩할 수 있는가?
• RQ2 최소 오차 모델 $\mathcal{Q}^{(1)}$ 내 모든 채널에 대해 최소 최악의 오차를 보장하기 위한 인코딩 맵에 대한 기하 조건은 무엇인가?
• RQ3 최적 인코딩은 명시적으로 구성될 수 있는가? 그리고 오차의 이론적 하한에 도달하는 조건은 무엇인가?
• RQ4 비퇴화 부분공간의 포함이 오차 경계와 최적 인코딩의 구조에 어떤 영향을 미치는가?
• RQ5 두 개의 균일한 프레임은 최적 인코딩 성능을 달성하는 데 어떤 역할을 하는가? 그리고 웰치 경계의 등호는 언제 달성 가능한가?

주요 결과

• 최적의 $C^*$-인코딩은 $\mathcal{Q}^{(1)}$ 내 모든 채널에 대해 힐베르트-스미스 재구성 오차의 상한을 최소화하며, 이는 $i \neq j$ 에 대해 모든 쌍별 투영 $P_i + P_j$ 의 최대 고유값을 최소화할 때 달성된다.
• 최악의 경우 오차는 $A$ 의 고유값을 포함하는 표현식으로 아래에서 유계이며, 모든 $P_i + P_j$ 의 노름이 동일할 때 이 경계는 날카롭게 유지된다.
• $\mathbb{C}^m \otimes \mathbb{C}^l$ 에 $d$ 차원 입력 공간을 인코딩할 때, $\mathbb{C}^q$ 에서의 투영 $\{\Pi_j\}$ 이 두 개의 균일한 프레임을 이루면 최적 성능을 달성한다. 이 경우 모든 $i \neq j$ 에 대해 $|\langle f_i, f_j \rangle| = \sqrt{q(m - q)/(m^2(m - 1))}$ 를 만족하며, 이는 $\max_{i \neq j} \|\Pi_i + \Pi_j\|$ 를 최소화한다.
• 최소 최악의 오차는 $\|Y\|_{HS}^2 = 2 \sum_{r,s} \left( (1 - \alpha_r)\alpha_r(1 - \alpha_s)\alpha_s + (1 - \alpha_r)^2\alpha_s^2 \right) |W_{r,s}|^2$ 로 주어지며, 이는 고유값 $\alpha_r$ 가 $\|P_i + P_j\|$ 의 최대값을 최소화하도록 선택될 때 최소화된다.
• 만약 $s$ 차원의 비퇴화 부분공간 $\mathcal{V}$ 가 포함되면, 부등식에서 $ml$ 을 $ml + s$ 로 대체함으로써 오차 경계가 수정되지만, 일반 조건 하에서 최적 인코딩의 존재성은 $s$ 가 $l$ 을 나누지 않는 한 명확하지 않다.
• 균일한 가중치를 가진 랭크-1 투영 $\Pi_j$ 를 $\mathbb{C}^q$ 에 적용하여 명시적인 최적 예를 구성한다. 이 경우 프레임 $\{f_j\}$ 는 웰치 경계의 등호를 만족하며, 결과적으로 인코딩은 이론적 최소 오차에 도달한다.