On the characterization of partially entanglement breaking and annihilating channels

기술 요약: 부분적 얽힘 파괴 및 얽힘 소멸 채널의 특성 규명

문제 정의
양자 얽힘은 양자 텔레포테이션, 암호화, 채널 판별과 같은 양자 정보 처리 작업에 있어 근본적인 자원이다. 얽힘의 존재 여부는 흔히 이분법적(분리 가능 여부)으로 다뤄지지만, 슈미트 수(Schmidt number, SN)로 정량화되는 얽힘의 차원성은 고차원 프로토콜에서 매우 중요하다. 높은 슈미트 수를 가진 상태는 채널 판별 및 양자 키 분배와 같은 작업에서 뚜렷한 이점을 제공한다. 그러나 양자 채널(노이즈)은 전송된 상태의 슈미트 수를 감소시킴으로써 이러한 자원을 저하시킬 수 있다.

"얽힘 파괴"(Entanglement Breaking, EB) 채널은 부시스템을 완전히 디텐글링(disentangle)하는 채널로서 잘 규명되어 있으나, 얽힘을 완전히 파괴하지 않으면서 슈미트 수만을 감소시키는 더 넓은 범주의 채널이 존재한다. 이들은 "부분적 얽힘 파괴"(Partially Entanglement Breaking, PEBT) 채널이라 불린다. 또한, 이분할(A|B)에 걸친 얽힘을 감소시키는 채널과 더 큰 복합 시스템 내의 부시스템(B) 내부의 얽힘을 파괴하는 채널 사이에는 구분이 존재한다. 후자는 "얽힘 소멸"(Entanglement Annihilating, EA) 채널로 알려져 있다. 본 논문은 이러한 중간 계층들, 구체적으로 $r$-부분적 얽힘 파괴($r$-PEBT) 및 $r$-부분적 얽힘 소멸($r$-PEAT) 채널을 규명하고, 고차원 얽힘을 보존하는 채널(비자원 파괴 채널)을 식별하는 방법을 개발하는 문제를 다룬다.

방법론
저자들은 $d$차원 힐베르트 공간($C^d$)에서 작용하는 양자 채널을 분석하기 위해 자원 이론적 프레임워크와 연산자 이론적 도구를 결합하여 사용한다.

1. 정의 및 특성 규명:

   • $r$-PEBT: 채널 $S$가 임의의 입력 상태 $\rho$에 대해 $SN[(id_A \otimes S)\rho] \leq r$을 만족하면 $r$-PEBT이다.
   • $r$-PEAT: 부시스템 $B$에 작용하는 채널 $E$가 모든 $\rho_B$에 대해 $SN[E(\rho_B)] \leq r$을 만족하면 $r$-부분적 얽힘 소멸이다. 저자들은 로컬(개별 채널의 텐서 곱) $r$-PEAT 채널과 비로컬 $r$-PEAT 채널을 구분한다.
   • Choi-Jamiołkowski 동형 사상: 저자들은 이 채널들을 규명하기 위해 초이 행렬($C_S$)을 활용한다. 선행 문헌(Chruściński 등)의 핵심 결과가 사용된다: $S \in r\text{-PEBT}$인 것은 $SN(C_S) \leq r$인 것과 동치이다.

2. 위상적 분석:

   • 본 논문은 $r$-PEBT 채널의 집합이 **볼록(convex)**하며 **콤팩트(compact)**함을 입증한다. 이는 $r$-PEBT 채널들의 볼록 결합이 해당 집합 내에 남아 있고, 집합이 모든 극한점을 포함함을 보여줌으로써 증명된다.
   • 비로컬 $r$-PEAT 채널의 집합에 대해서도 유사한 위상적 성질(볼록성 및 콤팩트성)이 확립된다.

3. 검출 기준:

   • 위너 연산자(Witness Operators): $r$-PEBT가 아닌 채널(즉, $SN > r$을 보존하는 채널)을 검출하기 위해, 저자들은$r$-PEBT 채널 집합에 대한 다이아몬드 노름(diamond norm) 거리 기반의 스칼라 범함수를 제안한다.
   • 스펙트럼 조건: $r$-양의(r-positive)이지만 $(r+1)$-양의가 아닌 맵($\Lambda$)을 사용하여 충분 조건을 유도한다. 만약 채널 $S$가 $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$을 만족하면, $S \in r\text{-PEBT}$이다.
   • 절대 슈미트 수: $r$-PEAT를 위해, "절대 슈미트 수 채널"(비로컬 유니터리 하에서도 출력 SN이 $\leq r$로 유지되는 채널) 개념을 도입한다. 공변 채널(covariant channels)에 대해 출력 상태의 고윳값 스펙트럼에 기반한 충분 조건이 제공된다.

4. 사례 연구:

   • 저자들은 큐트릿(qutrit) 디폴러라이징(depolarizing) 및 디페이징(dephasing) 채널에 이 기준들을 적용하여, 이들이 2-PEBT 또는 2-로컬 $r$-PEAT가 되지 못하는 정확한 파라미터 영역을 결정한다.

주요 기여 및 결과

1. $r$-PEBT의 특성 규명:

   • $r$-PEBT 채널 집합이 볼록하고 콤팩트함을 증명하여, 검출을 위한 위너 연산자 사용을 가능하게 했다.
   • 두 $r$-PEBT 채널의 직렬 연결(series concatenation)이 여전히 $r$-PEBT임을 입증했다.
   • $r > 1$인 경우, 집합이 텐서 곱에 대해 닫혀 있지 않음을 보여주었다. 구체적으로, $S_1, S_2 \in r\text{-PEBT}$일 때, $S_1 \otimes S_2$는 $r\text{-PEBT}$가 아닐 수 있다 (단, $r^2\text{-PEBT}$에는 속한다).

2. $r$-PEAT의 도입:

   • 비로컬 $r$-PEAT 채널을 정의하고 규명했다.
   • 비로컬 $r$-PEAT 채널들의 직렬 연결이 여전히 비로컬 $r$-PEAT임을 증명했다.
   • 연결 순서가 중요함을 입증했다: 만약 $E$가 비로컬 $r$-PEAT이고 $F_B$가 임의의 채널이라면, $E \circ F_B$는 비로컬 $r$-PEAT이지만, $F_B \circ E$는 그렇지 않을 수 있다 ($F_B$가 슈미트 수를 증가시킬 수 있기 때문).

3. 비자원 파괴 채널의 검출:

   • 큐트릿 디폴러라이징 및 디페이징 채널이 비부분적 얽힘 파괴(즉, $SN=3$을 보존)로 작용하는 명시적인 파라미터 범위를 제공했다.
   • 큐트릿 디폴러라이징 채널 $S_3(\rho) = p\rho + \frac{1-p}{3}I$의 경우, $0 \leq p \leq 5/8$이면 2-PEBT이며, $5/8 < p \leq 1$이면 non-2-PEBT(즉, $SN=3$을 보존)이다.
   • 큐트릿 디페이징 채널의 경우, $0 \leq v \leq 1/2$이면 2-PEBT이며, $1/2 < v \leq 1$이면 non-2-PEBT이다.

4. 집합 관계:

   • 다음과 같은 계층 구조를 확립했다: $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • $r\text{-PEBT} \subset 2\text{-local } r\text{-PEAT}$임을 보였다 (모든 $r$-PEBT 채널은 2-로컬 $r$-PEAT 채널이다).
   • 역은 성립하지 않음을 입증했다: $2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • $r\text{-PEBT}$와 비로컬 $r$-PEAT는 공집합이 아닌 교집합을 가지지만, 어느 한 쪽이 다른 쪽의 부분집합은 아니다.

의의 및 주장
본 논문은 얽힘 파괴의 이분법적 관점을 넘어, 양자 채널이 얽힘의 차원성을 어떻게 저하시키는지 이해하기 위한 포괄적인 이론적 프레임워크를 제공한다고 주장한다. 채널 집합의 위상적 성질(볼록성 및 콤팩트성)을 규명함으로써, 저자들은 고차원 얽힘 자원을 보존하는 채널을 식별하기 위한 효율적인 검출 방법(위너) 개발을 가능하게 한다.

"부분적 얽힘 소멸 채널"의 도입은 시스템 전체가 아닌 부시스템 내부에서 얽힘이 파괴되는 시나리오로 자원 이론을 확장한다. 저자들은 "비자원 파괴" 채널을 식별하는 것이 신뢰할 수 있는 양자 정보 처리를 위해 필수적임을 강조한다. 본 연구는 유도된 충분 조건과 표준 노이즈 모델에 대한 파라미터 범위를 통해 이러한 채널을 식별하는 지침을 제시한다.

저자들은 위상적 특성을 규명했으나, $r$-PEAT 채널에 대한 Choi-Kraus 형태의 표현을 얻는 것은 여전히 미해결 과제로 남아 있다고 겸허히 언급하며 결론을 맺는다. 또한, $r > 1$인 $r$-PEBT의 텐서 곱에 대한 불폐쇄성이 $r$-PEAT에 대해서도 유사한 성질이 성립하는지에 대한 추가 연구의 필요성을 시사한다. 본 논문은 새로운 실험 설계를 제안하기보다는, 고차원 시스템에서 채널 용량 및 자원 보존을 분석하는 데 필요한 이론적 도구를 제공하는 데 목적이 있다.