Enumerating all bilocal Clifford distillation protocols through symmetry reduction

기술 요약: 대칭성 감소를 통한 모든 이중 국소(bilocal) Clifford 증류 프로토콜의 열거

문제 정의
얽힘 증류(Entanglement distillation)는 다수의 노이즈가 있는 얽힘 상태를 더 적은 수의 고충실도(high fidelity) 상태로 변환하는 핵심적인 절차로, 비밀 키 생성 및 분산 양자 컴퓨팅과 같은 양자 통신 작업을 위한 기초적인 자원 역할을 한다. 해싱 프로토콜(hashing protocol)과 같은 점근적 프로토콜들이 존재하지만, 이들은 종종 무제한의 통신 라운드를 요구하여 근미래의 구현에는 부적합할 수 있다.

본 논문은 특정 클래스인 **이중 국소 Clifford 프로토콜(bilocal Clifford protocols)**에 초점을 맞춘다. 이 프로토콜은 앨리스(Alice)와 밥(Bob)이 $n$개의 얽힌 쌍을 공유하고, 국소 Clifford 연산을 수행하며(이때 밥은 앨리스의 연산에 대한 복소 공액을 적용함), $n-1$개의 쌍을 계산 기저(computational basis)에서 측정하고, 성공적인 결과에 대해 사후 선택(post-select)하기 위해 결과를 통신하는 과정을 포함한다. 목표는 모든 Clifford 연산의 탐색 공간이 $n$이 증가함에 따라 계산적으로 불가능해지는 문제를 해결하면서, 벨-대각(Bell-diagonal) 입력 상태에 대해 출력 충실도와 성공 확률을 극대화하는 모든 프로토콜을 체계적으로 열거하고 최적화하는 것이다.

방법론
저자들은 모든 이중 국소 Clifford 회로를 유한체 $\mathbb{F}_2$ 위의 심플렉틱 군(symplectic group) $Sp(2n, \mathbb{F}_2)$와 관련된 군론 문제로 매핑하는 수학적 프레임워크를 개발하였다.

1. 심플렉틱 표현: 본 논문은 이중 국소 Clifford 회로와 심플렉틱 군의 원소 사이의 대응 관계를 확립한다. 벨-대각 상태의 확률에 작용하는 Clifford 회로의 작용은 심플렉틱 행렬 $M$으로 표현된다.
2. 코셋(Coset)을 통한 감소:
   • 일반 입력 상태: 일반적인 벨-대각 상태의 경우, 저자들은 서로 다른 증류 통계가 특정 "증류 부분군" $D_n$의 **우코셋(right cosets)**에 대응함을 확인하였다. 부분군 $D_n$은 증류 통계(성공 확률 및 충실도)를 불변하게 만드는 연산들로 구성된다.
   • 워너 상태(Werner States): $n$개의 워너 상태 텐서 곱이라는 특수한 경우, 입력 상태는 추가적인 대칭성(SWAP, Hadamard, Phase 게이트에 대한 불변성)을 갖는다. 이를 통해 탐색 공간을 $D_n \setminus Sp(2n, \mathbb{F}_2) / K_n$ 형태의 **이중 코셋(double cosets)**으로 더욱 축소할 수 있다. 여기서 $K_n$은 워너 상태의 대칭군이다.
3. 부분군 특성화: 본 논문은 $D_n$의 생성원(generators)과 그 차수(order)에 대한 폐쇄형 공식(closed-form formula)을 포함한 엄밀한 특성화를 제공한다. 이를 통해 저자들은 $Sp(2n, \mathbb{F}_2)$ 내에서 $D_n$의 지수(index)를 계산하여 탐색 공간의 감소량을 정량화할 수 있었다.
4. 열거 알고리즘: 이러한 감소 기법을 사용하여, 저자들은 일반 상태에 대해 $n$이 최대 5까지, 워너 상태에 대해 $n$이 최대 8까지 모든 고유한 프로토콜(코셋 대표원)을 열거하는 알고리즘을 구현하였다. 이 열거 작업은 데스크톱 컴퓨터 수준의 일반 컴퓨터에서 수행되었으며, 이는 대칭성 감소를 통해 $n=8$일 때 탐색 공간을 최대 $2 \cdot 10^{34}$배까지 줄였기에 가능했던 성과이다.

주요 기여

• 체계적 열거: 본 논문은 "seesaw" 방식이나 유전 알고리즘과 같은 휴리스틱 방법을 넘어, 모든 이중 국소 Clifford 프로토콜을 찾는 체계적인 절차를 도입하였다.
• 군론적 감소: 증류 프로토콜과 이중 코셋 사이의 대응 관계를 확립하여 최적화 문제의 크기를 줄이는 엄밀한 방법을 제시하였다.
• 부분군 특성화: $D_n$을 생성원의 관점에서 특성화하고 그 차수에 대한 공식을 도출하여, 확인해야 할 서로 다른 프로토콜의 정확한 수를 계산할 수 있게 하였다.
• 명시적 회로 구성: 발견된 최적 프로토콜들에 대해, 가장 높은 충실도를 달um하는 명시적인 양자 회로(Clifford 게이트 관점)를 제공한다.

결과

• 일반 상태 ($n \leq 5$): 저자들은 일반적인 벨-대각 상태에 대해 최대 5개의 복사본까지의 모든 프로토콜을 열거하였다. $n=2$ 및 $n=3$에서 동일한 입력 상태를 사용할 때, 최적의 프로토콜이 기존에 알려진 방식(DEJMPS 및 double-selection)과 일치함을 확인하였다.
• 워너 상태 ($n \leq 8$):
  • $n=2$ 및 $n=3$의 경우, 최적의 프로토콜은 기존 문헌과 일치한다.
  • $n=4$에서 $n=8$ 사이에서, 저자들은 연결된(concatenated) DEJMPS 프로토콜을 포함하여 기존에 고려되었던 방식보다 더 높은 충실도를 달성하는 프로토콜들을 발견하였다.
  • 특히, $n=5$의 경우 최적의 프로토콜은 높은 입력 충실도에서 불충실도($1-F$)에 대해 **3차 스케일링(cubic scaling)**을 보이는 반면, 기존 프로토콜(연결된 DEJMPS 포함)은 2차 스케일링에 머물렀다.
  • $n=4$에서 $8$까지의 최적 회로는 37의 완만한 깊이(depth)와 413개의 적은 2-큐비트 게이트 수를 가지며, 이는 기존 프로토콜과 비슷하거나 더 우수한 수준이다.
• 성능 지표:
  • 충실도: 새로운 프로토콜은 특히 $n \geq 4$에서 연결된 DEJMPS 프로토콜보다 뛰어난 성능을 보인다.
  • 전송률(Rate): 해싱 프로토콜과 결합했을 때, 최적화된 이중 국소 Clifford 프로토콜은 $n > 3$이고 입력 충실도가 $\lesssim 0.76$인 경우, 연결된 DEJMPS보다 최대 3배 높은 전송률을 달성한다.
  • 장치 독립적 QKD: 최적화된 프로토콜은 더 낮은 입력 충실도에서도 장치 독립적 양자 키 분배에 필요한 임계 충실도($F_{tar} \approx 0.93$)에 도달하기 위한 얽힘 증류율을 높여준다.
  • 성공 확률 vs 얽힘: 최적화된 프로토콜이 때때로 더 낮은 성공 확률을 가질 수 있지만, $n > 3$인 경우(특히 높은 충실도에서) 성공 확률과 얽힘의 상대적 엔트로피의 곱은 전체 최적화를 통해 극대화된다.

의의
본 논문의 주요 의의는 이중 국소 Clifford 프로토콜에 대한 완전하고 체계적인 열거를 제공함으로써, 휴리스틱에 의존하는 대신 전역 최적(globally optimal) 프로토콜을 식별할 수 있게 했다는 점에 있다. 대칭성을 활용함으로써 저자들은 이전에는 접근 불가능했던 규모인 $n=8$ 워너 상태에 대한 전수 조사를 가능하게 하였다.

결과는 표준적인 연결 프로토콜을 넘어, 적은 회로 자원(낮은 깊이 및 게이트 수)을 사용하여 더 높은 충실도의 증류가 가능하다는 것을 보여준다. 저자들은 만약 이러한 성능 향상이 노이즈가 있는 연산 하에서도 유지된다면, 이는 근미래 양자 네트워크 및 분산 양자 컴퓨팅의 성능 예측을 개선하는 데 기여할 수 있다고 언급하였다. 또한 본 연구는 주어진 입력 상태 세트에 대해 특정 목적 함수를 극대화하는 프로토콜을 선택할 수 있는 소프트웨어 도구를 제공한다. 논문은 현재의 방법으로는 $n \gtrsim 11$에서 완전한 열거가 어려워진다는 점을 들어 겸허히 결론을 맺지만, 이 프레임워크가 $n$-to-$m$ 증류 또는 고차원 상태로의 확장을 위한 토대를 제공한다고 밝혔다.