Heralded high-dimensional module-based quantum computation

기술 요약: 예고된 고차원 모듈 기반 양자 컴퓨팅

문제 정의
양자 컴퓨팅은 고전적 대응물에 비해 이점을 제공하지만, 범용 양자 게이트, 특히 제어-NOT(CNOT) 게이트를 구현하는 것은 여전히 큰 과제로 남아 있다. 고차원 양자 시스템(qudit, $d > 2$)을 위한 기존 아키텍처는 종종 사후 선택(post-selection)에 의존하여 효율성을 제한하거나, 복잡한 다중 큐비트 얽힘 상태를 요구한다. 고차원 시스템은 채널 용량 증가 및 노이즈 탄력성 등의 이점을 제공하지만, 고차원 범용 게이트를 위한 확장 가능하고 결정론적인 아키텍처에 대한 이론적 및 실험적 연구는 2차원(큐비트) 시스템에 비해 뒤처져 왔다. 따라서 계산용 큐디트를 소비하지 않으며 기저의 차원에 민감하지 않은 결정론적이고 예고된(heralded) 방식이 필요하다.

방법론
저자들은 일반화된 패리티 모듈을 기본 구성 요소로 사용하여 결정론적인 고차원 일반화 CNOT 게이트를 구축하는 방략을 제안한다. 방법론은 다음 세 가지 주요 단계로 진행된다:

1. 일반화된 패리티 모듈의 개발: 저자들은 두 개의 입력 큐디트 $|i\rangle$와 $|j\rangle$, 그리고 보조 큐디트 $|0\rangle$를 받아 출력으로 $|ij\rangle|(j \ominus i) \mod d\rangle$를 내놓는 일반화된 패리티 모듈을 정의한다. 저자들은 $(d-1)!$개의 가능한 일반화된 패리티 "정렬기(sorter)"(두 번째 인덱스의 치환) 중에서, 양자 컴퓨팅에 범용적인 두 가지 특정 형태, 즉 뺄셈 기반 모듈 $P = (j \ominus i) \mod d$와 덧셈 기반 모듈 $P = (j \oplus i) \mod d$만을 식별하였다.
2. 일반화된 CNOT 게이트의 구축: 이러한 패리티 모듈을 활용하여, 저자들은 두 큐디트 일반화 CNOT 게이트를 구현하기 위한 회로(그림 1에 예시됨)를 설계한다. 절차는 다음과 같다:
   • 제어 큐디트와 대상 큐디트를 균형 잡힌 중첩 상태로 준비된 보조 큐디트와 함께 첫 번째 패리티 모듈($P_1$)에 주입한다.
   • 단일 큐디트 푸리에 변환($F_d$)과 두 번째 패리티 모듈($P_2$)을 보조 큐디트 및 대상 큐디트에 적용한다.
   • 보조 큐디트를 계산 기저(computational basis)에서 측정한다.
   • $P_1$, $P_2$ 및 보조 큐디트의 측정 결과에 따라 제어 및 대상 큐디트에 대한 고전적 피드포워드(feed-forward) 연산을 수행한다. 이 연산은 위상 및 치환 오류를 교정하여 원하는 CNOT 출력인 $|x\rangle_c |(x \oplus y) \mod d\rangle_t$를 생성한다.
3. 광학적 구현: 저자들은 단일 광자의 궤도 각운동량(OAM) 자유도를 사용하여 일반화된 패리티 모듈을 구현하기 위한 구체적인 광학 아키텍처를 제안한다. 이 설정은 다음을 사용한다:
   • "경로 동일성에 의한 얽힘(Entanglement by Path Identity)"을 통해 준비된 6-광자 보조 상태.
   • OAM 패리티에 따라 광자를 라우팅하는 도브 프리즘(Dove prism)을 포함하는 마하-젠더 간섭계 기반의 1차($PS_1$) 및 2차($PS_2$) 패리티 정렬기.
   • 광자 수 분해 검출기(photon-number-resolving detectors) 및 단일 광자 검출기를 사용하여 연산의 성공을 예고(herald)함.

주요 결과

• 결정론적 및 예고된 동작: 제안된 방식은 원리적으로 결정론적이며(계산용 큐디트가 소비되지 않음), 예고된다. 특정 검출기($D_1$ 및 $D_2$)에서의 클릭 부재(absence of clicks)를 통해 성공이 신호되며, 이는 계산 상태의 사후 선택을 제거한다.
• 차원 독립성: 프로토콜은 계산 기저의 차원 $d$에 무관하다. 저자들은 큐트릿($d=3$)에 대한 구축을 입증하였으며, $d \geq 4$인 임의의 $d$에 대한 일반화를 제공하였다.
• 범용 정렬기의 식별: 논문은 $(d-1)!$개의 가능한 패리티 정렬기 중에서 오직 $P = (j \ominus i) \mod d$와 $P = (j \oplus i) \mod d$만이 양자 컴퓨팅을 위한 범용 구성 요소로 기능함을 확립하였다. 다른 치환들은 얽힌 상태 생성과 같은 특정 작업에는 유용할 수 있으나, 범용 컴퓨팅에는 충분하지 않다.
• 타당성 분석: 광학적 구현은 프로그래블 선형 광학 플랫폼, 도브 프리즘 기반 패리티 정렬기, 고충실도 단일 큐디트 게이트를 포함한 기존 기술에 의존한다. 저자들은 공간-시간 불일치, 정렬기의 기술적 결함, 검출기 암전류(dark counts)와 같은 실제적인 한계를 인정하면서도, 본 프로토콜이 실험적으로 실현 가능하다는 점을 유지한다.

의의 및 주장
본 논문은 이전 방식들의 확장성 및 효율성 문제를 해결하는 다각적인 고차원 양자 컴퓨팅 프레임워크를 제공한다고 주장한다. 일반화된 패리티 모듈을 활용함으로써, 이 방식은 다음을 달행한다:

• 자원 효율성: 하나의 추가적인 보조 큐디트만을 필요로 하며, 대규모 얽힘 상태를 필요로 하지 않는다.
• 비파괴적 측정: 패리티 모듈은 양자 비파괴 측정(quantum nondemolition measurements)을 통해 구현되어 입력 상태를 후속 처리를 위해 보존한다.
• 모듈성: 패리티 모듈은 양자 컴퓨팅뿐만 아니라 양자 통신 작업을 위한 구성 요소로도 쓰일 수 있다.

저자들은 자신들의 연구를 확장 가능한 고차원 양자 아키텍처를 향한 단계로 위치시키며, 확률적이고 사후 선택적인 방식에 대한 결정론적인 대안을 제공한다. 그들은 광학적 구현이 OAM 인코딩된 광자에 대해 상세히 기술되었으나, 근저에 깔린 개념은 다른 물리적 플랫폼에도 일반화될 수 있음을 강조한다.