Two-body control of noiseless subsystems with mixed $SU(3)$ representations lifts teleportation above the classical fidelity limit

기술 요약: 혼합 SU(3) 표현을 갖는 무소음 부체계의 2체 제어

문제 정의
모든 부체계에 동일하게 작용하는 집단적 노이즈(collective noise)는 정보를 "무소음 부체계(noiseless subsystems, NS)"에 인코딩함으로써 완화될 수 있다. 이 부체계 내에서 논리적 상태는 불변을 유지하는 반면, 게이지 상태(gauge state)가 노이즈를 흡수한다. 이러한 부체계의 존재가 수동적 오류 교정을 가능하게 하지만, 물리적으로 사용 가능한 대칭 보존 상호작용만을 사용하여 인코딩된 상태에 대해 보편적(또는 준보편적) 논리 연산을 수행하는 방법은 여전히 중요한 과제로 남아 있다.

큐비트의 경우, 2체 교환 상호작용(two-body exchange interactions)이 인코딩된 상태에 대한 보편적 제어를 달성할 수 있는 것으로 알려져 있다. 그러나 큐트리트(qutrits, 3준위 계)의 경우 상황은 더 복잡하다. 모든 큐트리트가 동일한 표현 $U \in SU(3)$를 따를 때, 2체 상호작용은 추가적인 보존 법칙과 위상 제약으로 인해 일반적으로 독립적인 논리 제어를 제공하지 못한다. 기존 연구들은 3체 상호작용이나 보조 큐트리트(ancillary qtrits)의 사용이 준보편성(semi-universality, 논리 부체계에 대한 독립적인 특수 유니터리 게이트 제어)을 달성하기 위해 필요하다고 시사했다. 본 논문은 "혼합" 레지스터, 즉 근본적 큐트리트(fundamental qutrits, $U$를 따름)와 쌍대 큐트리트(dual qutrits, $\bar{U}$를 따름)를 모두 포함하는 경우에만 2체 상호작용을 사용하여 독립적인 논리 제어가 가능한지 여부를 다룬다.

방법론
저자들은 $r$개의 근본적 큐트리트와 $s$개의 쌍대 큐트리트로 구성된 시스템, 즉 전역 힐베르트 공간 $H_{r,s} = V^{\otimes r} \otimes (V^*)^{\otimes s}$를 분석하며, 이때 집단적 노이즈는 $R_{r,s}(U) = U^{\otimes r} \otimes \bar{U}^{\otimes s}$이다.

1. 대수적 프레임워크: 저자들은 월드 브라우어 대수(walled Brauer algebra)의 상(image)과 리 대수(Lie-algebra) 논리를 활용한다. 이들은 물리적으로 사용 가능한 상호작용을 다음과 같이 식별한다:

   • 두 근본적 큐트리트 사이의 교환 상호작용 ($S_{ij}$)
   • 두 쌍대 큐트리트 사이의 교환 상호작용 ($S_{\bar{i}\bar{j}}$)
   • 근본적 큐트리트와 쌍대 큐트리트 사이의 싱글렛 투영 상호작용 ($K_{i\bar{j}}$), 이는 $U \otimes \bar{U}$에 대해 불변인 최대 얽힘 싱글렛 상태로 투영한다.

2. 제어 이론: 저자들은 이러한 2체 상호작용에 의해 생성되는 리 대수가 다중도 공간(multiplicity spaces, 논리 부체계) 상에서 원하는 계열의 특수 유니터리 게이트를 구현하는 임의의 유한 펄스 시퀀스를 구축할 수 있음을 입증한다. 증명은 귀납법을 따른다:

   • 큐트리트를 추가하면 논리 공간이 이전 논리 공간들의 직합(direct sum)으로 확장됨을 보여준다.
   • 가용 상호작용이 확장된 논리 공간 내에서 충분히 결합하여 전체 $SU(m)$ 제어를 생성할 수 있음을 증명한다.
   • $r, s \geq 1$인 경우, 서로 다른 논리 섹터에 대한 게이트를 독립적으로 선택할 수 있음(준보편성)을 확립한다.

3. 수치적 검증: 이론을 설명하기 위해, 저자들은 특정 케이스($r=3, s=1$)에서 하나의 논리 큐트리트에 순환 이동(cyclic shift)을 구현하면서 다른 것들은 변화시키지 않는 24개 펄스의 시퀀스를 수치적으로 최적화하였으며, 약 $2.6 \times 10^{-15}$의 수치적 오차를 달성하였다.

4. 텔레포테이션 적용: 이 프레임워크를 상관된 Weyl 노이즈 하에서의 큐트리트 텔레포테이션에 적용한다. 저자들은 공유된(집단적) Weyl 오류와 독립적인 Weyl 오류로 구성된 채널을 모델링한다. 이들은 인코딩되지 않은 텔레포테이션(단일 물리적 큐트리트)과 인코딩된 텔레포테이션(네 개의 물리적 큐트리트: 세 개의 근본적, 한 개의 쌍대 큐트리트로 인코딩된 논리 큐트리트)의 충실도(fidelity)를 비교한다.

주요 기여 및 결과

• 정리 1 (준보편성): 주요 이론적 결과는 $r, s \geq 1$인 모든 경우에 대해, 2체 상호작용(유형 내 교환 및 유형 간 싱글렛 투영)이 모든 무소음 부체계 상의 독립적인 특수 유니터리 게이트 집단을 생성함을 증명한다. 이는 준보편성을 확립한다. 즉, 각 논리 부체계에 대해 임의의 $SU(d)$ 게이트를 독립적으로 선택할 수 있으나, 섹터 간의 임의의 상대적 위상은 보장되지 않는다.
• 최소 상호작용 집합: 이 결과는 레지스터에 적어도 하나의 근본적 큐트리트와 하나의 쌍대 큐트리트가 포함되어 있다면, 3체 상호작용이나 추가적인 초기화된 보조 큐트리트 없이도 독립적 제어가 가능하다는 것을 보여준다.
• 텔레포테이션 충실도 분석: 저자들은 인코딩된 프로토콜이 비인코딩 프로토콜이 얽힘 파괴(entanglement-breaking) 상태가 되는 노이즈 영역에서 클래식 충실도 경계($1/2$)보다 높은 성능을 보이는 조건을 도출한다.
  • 구체적으로, 만약 인코딩된 프로토лот의 베이스라인 충실도(전송 노이즈가 없는 경우)가 $F^{(0)}_{enc} > \frac{1+\mu}{1+3\mu}$ (여기서 $\mu$는 집단적 노이즈의 비율)를 만족한다면, 인코딩된 채널은 비인코딩 채널이 이미 능력을 상실한 노이즈 강도 $\epsilon$ 범위에서도 얽힘 전송을 보존할 수 있다.
  • 이러한 이점은 노이즈가 부분적으로만 집단적일 때($\mu < 1$)와 인코딩 과정에서 베이스라인 오류가 발생할 때도 지속된다.
• 자원 트레이드오프: 논문은 전송 비용을 정량화한다. 인코딩된 프로토콜은 네 개의 물리적 큐트리트(쌍대 표현을 근본 표현으로부터 합성해야 하는 경우 다섯 개)를 필요로 하지만, 단일 큐트리트 비인코딩 프로토콜이 완전히 실패하는 노이즈 영역에서도 얽힘 전송을 유지한다.

의의 및 주장
본 논문은 무소음 부체계의 유용성을 수동적 저장에서 능동적 논리 연산으로 확장한다고 주장한다. 혼합 표현에서 2체 상호작용만으로 준보편적 제어가 가능하다는 것을 증명함으로써, 복잡한 다체(multi-body) 하드웨어나 보조 큐트리트의 오버헤드 없이 탈결맞음 자유 공간(decoherence-free subsystems)에 대한 논리 게이트 구현의 중대한 장벽을 제거한다.

통신 측면에서, 이 연구는 인코딩이 얽힘 파괴가 일어나는 영역에서도 얽힘 전송 능력을 회복할 수 있음을 보여준다. 저자들은 이 비교가 (공유된 Weyl 오류와 독립적인 Weyl 오류의 혼합물이라는) 특정 채널 구성과 시도 유지(trial retention)에 관한 가정에 의존한다는 점을 강조하지만, 이는 수동적 노이즈 억제의 이점이 인코딩 및 복구 연산의 비용보다 커지는 구체적인 이론적 임계치를 제공한다.

저자들은 정리가 임의의 타겟을 위한 유한 펄스 시퀀스의 존재를 보장하지만, 효율적인 일반 합성 알고리즘을 제공하는 것은 아니라고 언급한다. 또한, 충실도 이점은 노이즈 모델과 베이스라인 연산(준비, 인코딩, 측정 및 복구)의 성능에 따라 달라진다. 이 연구는 필요한 $U$ 및 $\bar{U}$ 변환과 그 상호작용을 구현할 수 있는 시스템을 위한 이론적 토대로서 기능한다.