클래식 제어로는 가우시안 양자 얽힘 생성 불가

초록

본 논문은 선형 시간불변(또는 시간변화) 클래식 컨트롤러가 초기 가우시안 상태인 두 개의 양자 조화진동기로 구성된 바이파티트 시스템에 대해 정적이든 동적이든 얽힘을 만들 수 없음을 시스템 이론적 방법으로 증명한다. Lyapunov 방정식과 가우시안 상태의 공분산 행렬에 대한 LMI 조건을 이용해, 로컬 연산과 클래식 통신(LOCC)의 물리적 원리와 동일한 ‘얽힘 생성 불가능’ 결과를 도출한다.

상세 분석

논문은 먼저 선형 양자 확률 시스템을 Heisenberg picture에서의 QSDE 형태로 기술하고, 이를 실수 행렬 A, B, C, D 로 표현한 뒤, 시스템이 안정(Hurwitz)하면 공분산 행렬 P 가 Lyapunov 방정식 AP+PAᵀ+BS_wBᵀ=0 을 만족함을 보인다. 동시에 보존되는 교환 관계로부터 AΘ+ΘAᵀ−iBT_wBᵀ=0 이 도출되고, 이를 복합 행렬 ˜P=P+iΘ 로 결합하면 복소 Lyapunov 방정식 A˜P+˜PAᵀ+BF_wBᵀ=0 이 된다. 여기서 F_w≥0 이므로 ˜P≥0, 즉 Heisenberg 불확정성 원리를 만족한다.
바이파티트 가우시안 시스템의 얽힘 여부는 Lemma 2에 의해 P+i diag(J,−J)≥0 인지 여부로 판단된다. 논문은 두 개의 양자 시스템 G₁, G₂ 를 클래식 피드백 회로(동일한 측정·제어 신호를 이용한 homodyne 검출 및 전기광 변조)와 연결한 구조를 고려한다. 이때 전체 시스템 행렬 A는 블록 대각 형태이며, 클래식 컨트롤러는 추가적인 상태 ξ와 입력‑출력 관계 (A_c, B_c, C_c, D_c) 로 모델링된다. 전체 폐루프 시스템 역시 선형이며 A 전체가 Hurwitz이면 안정적인 정상 상태가 존재한다.
핵심 증명은 전체 시스템의 공분산 행렬 ˜P가 양의 준정부호임을 보인 뒤, 블록 구조와 대각화된 J 행렬을 이용해 ˜P의 하위 블록이 반드시 P+i diag(J,−J)≥0 를 만족함을 보여준다. 따라서 어떤 클래식 LTI 혹은 LTV 컨트롤러를 적용하더라도 정적 평형 상태에서 바이파티트 시스템은 절대 분리 상태(separable)로 남는다. 또한, 시간에 따라 변하는 P(t) 에 대해서도 동일한 LMI 조건이 유지되므로, 유한 시간 구간에서도 얽힘이 생성되지 않는다.
이 결과는 물리학에서 알려진 LOCC 원리—국소 연산과 클래식 통신만으로는 초기 분리 상태를 얽힌 상태로 만들 수 없다는 정리—와 완전히 일치한다. 논문은 시스템 이론적 관점(행렬 불안정성, Lyapunov 해, LMI)과 양자 정보 이론적 원리 사이의 깊은 연결을 제시함으로써, 양자 제어 설계 시 클래식 피드백만으로는 얽힘을 조작할 수 없음을 명확히 한다.