Parametric Amplification of a Quantum Pulse

기술 요약: 양자 펄스의 파라메트릭 증폭

문제 정의
양자 상태의 준비와 조작은 양자 키 분배, 표준 양자 한계를 넘어서는 센싱, 연속 변수 양자 컴퓨팅을 포함한 신흥 양자 기술의 근간이 된다. 비선형 광학은 본질적으로 다중 모드(multi-mode)이지만, 표준 양자 광학 분석은 종종 단일 모드 근사(예: 공동 모드)에 의존한다. 이러한 근사는 주파수 모드의 연속체가 존재하는 진행파 패킷(traveling wave packets)에서는 불충절하다. 비선형 시스템에서 양자 상태의 변환은 일반적으로 광자 수 상태 함량과 상관관계가 있는 출력 펄스 형상의 인구(population)를 생성하며, 이는 출력 장(field)을 본질적으로 다중 모드로 만든다. 결과적으로, 원하는 정보 처리 작업을 위해 양자 상태의 양자적 특성을 활용하는 것이 어려워질 수 있다. 본 연구에서 다루는 구체적인 과제는 이차 해밀토니안(quadratic Hamiltonians)의 대상이 되는 진행 양자 펄스에 대해 이상적인 단일 모드 파라메트릭 증폭 변환(squeezing)이 어느 정도까지 적용되는지 결정하는 것이다.

방법론
저자들은 생성 및 소멸 연산자에 대해 이차식 형태를 갖는 해밀토니안에 의해 지배되는 양자 펄스의 시간 진화에 대한 일반적인 다중 모드 이론을 제시한다. 이 범주의 해밀토니안은 선형 변환(분산, 빔 분할)과 비선형 과정(파라메트릭 증폭, 하향 변환, 주파수 변환)을 모두 포함한다.

이론적 프레임워크는 다음과 같이 진행된다:

1. 해밀토니안 정식화: 시스템은 $K(\omega, \omega')$ (선형 변환)와 $J(\omega, \omega')$ (쌍 생성 진폭)를 포함하는 일반적인 이차 해밀토니안으로 기술된다.
2. 하이젠베르크 픽처 진화: 운동 방정식을 풀어 커널 함수 $F$와 $G$를 통해 입력 연산자 $a_{in}(\omega)$와 $a^\dagger_{in}(\omega)$를 관계 짓는 블록의 변환(Bogoliubov transformation)을 유도하여 출력 장 연산자 $a_{out}(\omega)$를 도출한다.
3. 모드 분해: 일차 결맞음 함수 $g_1(\omega_1, \omega_2)$를 평가하고 분해한다. 저자들은 스퀴즈드 진공(squeezed vacuum) 성분이 무한한 수의 모드를 점유하는 반면, 입력 양자 펄스는 유한한 수의 출력 모드만을 공급함을 입증한다.
4. 상태 재구성: 출력 장을 특정 시간 모드 함수 $v(\omega)$에 투영함으로써 유효 변환을 도출한다. 이는 출력 소멸 연산자를 입력 모드 $u(\omega)$에 평행한 성분과 직교하는 성분으로 분해하는 과정을 포함한다. 변환은 프로세스를 빔 스플리터 변환과 단일 모드 스퀴징 연산으로 분리하는 블록-메시야 축소(Bloch-Messiah reduction)를 사용하여 분석된다.

주요 기여

• 이차 해밀토니안을 위한 다중 모드 이론: 본 논문은 단일 모드 공동 근사를 넘어, 진행 양자 펄스의 변환을 분석하기 위한 엄격한 다중 모드 프레임워크를 확립한다.
• 모드 계수 정리(Mode Counting Theorem): 핵심적인 발견은 단일 입력 펄스가 이차 해밀토니안의 복잡성에 관계없이 오직 두 개의 구별된 출력 모드만을 공급한다는 것이다. 특정 양자 상태(결맞음 상태 및 슈뢰딩거 고양이 상태)의 경우, 입력은 하나의 출력 모드만을 공급한다. 이는 스퀴즈드 진공 배경에 의해 점유되는 무한한 모드들과 대조적이다.
• 명시적 상태 특성화: 본 이론은 원하는 출력 파동 묶기 모드의 정확한 양자 상태 함량을 계산하는 방법을 제공한다. 특정 모드에서의 출력 상태는 입력 상태가 스퀴즈드 진공 및 직교 모드들로부터 온 진공 성분과 혼합된 스퀴즈드 버전임을 보여준다.
• 블록-메시야 적용: 저자들은 다중 모드 진행 장에 블록-메시야 축소를 적용하여, 복잡한 다중 모드 변환을 관련 입력 및 진공 모드에 작용하는 일련의 선형 빔 스플리터와 단일 모드 스퀴저로 명시적으로 매핑한다.

결과
이 이론은 세 가지 특정 파라메트릭 증폭 구성에 적용되었다: 광학 파라메트릭 발진기(OPO), 공간적으로 확장된 매질을 가진 광학 파라메트릭 증폭기(OPA), 그리고 연속된 OPO 시퀀스로 모델링된 진행파 파라메트릭 증폭기(TWPA).

• 진공 및 결맞음 입력: 진공 또는 결맞음 상태 입력의 경우, 출력은 단일 모드에 의해 지배된다. 짧은 펌프 펄스는 OPO에서 단일 스퀴즈드 모드를 흥분시키지만, 긴 펌프는 많은 모드를 점유한다.
• 포크(Fock) 및 고양이 상태:
  • 결맞음 및 슈뢰딩거 고양이 상태: 이러한 입력들은 $\langle a^\dagger_u a_u \rangle = |\langle a_u a_u \rangle|$ 조건을 만족하여, 단 하나의 출력 모드만을 점유하게 된다.
  • 포크 상태 (예: 단일 광자): 이러한 입력들은 두 개의 구별된 출력 모드를 점유한다.
• 증폭 효율 및 순도:
  • 짧은 펌프 펄스는 일반적으로 가장 높은 이득과 최적의 단일 모드 작동 비율을 나타낸다.
  • 펌프 지속 시간이나 면적을 늘리면 이득은 증가할 수 있으나, 다중 모드 스퀴즈드 진공으로부터의 상당한 오염을 초래하여 출력 상태의 순도를 감소시킨다.
  • 단일 광자 또는 고양이 상태를 스퀴징하는 OPO에 대한 정량적 분석에 따르면, 높은 충실도(순도)의 증폭이 가능하지만 이는 중간 정도의 이득에 국한된다. 높은 이득(예: 진폭 이득 > 3배)의 경우, 두 번째 출력 모드와의 얽힘 및 스퀴즈드 진공에 의한 오염으로 인해 출력 상태의 순도가 1 미만으로 떨어진다. 중간 정도의 이득에서는 85%를 초과하는 충실도가 관찰되었다.

의의
본 논문은 진행하는 빛 펄스의 양자 광학 및 양자 정보 적용을 위한 결정적인 이론적 도구를 제공한다고 주장한다. 단일 입력 펄스가 최대 두 개의 출력 모드만을 공급한다는 것을 입증함으로써, 이 이론은 복잡한 다중 모드 비선형 상호작용의 분석을 단순화한다. 이를 통해 연구자들은 노이즈를 최소화하고 지배적인 단일 모드에서의 변환 충실도를 극대화하기 위한 최적의 파라미터 설정(예: 펌프 지속 시간 및 디튜닝)을 식별할 수 있다. 이 연구는 이상적인 단일 모드 스퀴징 모델과 진행 파동 패킷의 실제 사이의 간극을 메우며, 진행 파동 패킷을 사용하는 연속 변수 양자 컴퓨팅 및 오류 수정 체계(예: GKP 상태 생성)에서 스퀴징 장치의 성능을 평가하는 경로를 제시한다.