선형 양자 시스템의 특이 섭동 근사와 물리적 구현 가능성

초록

본 논문은 선형 양자 광학 시스템에 특이 섭동(singular perturbation) 기법을 적용하여 차원 축소 모델을 얻는 방법을 제시한다. 시스템이 모든 섭동 파라미터 ε>0에 대해 물리적으로 구현 가능(physically realizable)하면, ε→0으로 얻어지는 저차 근사 시스템은 고유값이 좌반평면에 위치하고 전달함수가 전주파수에서 유니터리임을 보인다. 또한, 해밀토니안의 특수한 섭동 형태에서는 근사 시스템이 항상 물리적으로 구현 가능함을 증명한다.

상세 분석

이 논문은 양자 광학 분야에서 널리 사용되는 선형 양자 시스템을 수학적으로 모델링하고, 그 모델을 차원 축소하기 위한 특이 섭동 기법을 체계적으로 분석한다. 먼저, 시스템을 annihilation 연산자 형태의 QSDE(Quantum Stochastic Differential Equation)로 표현하고, 물리적 구현 가능성(physical realizability)을 정의한다. 구현 가능성은 양자 시스템이 실제 물리 법칙—특히 보존된 에너지와 커플링 구조—을 만족하는지를 판단하는 조건이며, 이는 행렬 Θ, Λ, M, S 로 구성된 파라미터 집합을 통해 명시된다.

핵심 정리는 두 가지이다.

1. Theorem 3: 원 시스템이 모든 ε>0에 대해 구현 가능하고, 빠른 서브시스템을 나타내는 행렬 F₂₂가 비특이(non‑singular)일 경우, ε→0으로 얻는 저차 시스템의 상태 행렬 F₀은 고유값이 폐쇄된 좌반평면에 놓이며, 전달함수 Φ₀(iω)는 모든 실주파수 ω에 대해 유니터리(Φ₀†Φ₀=I)이다. 이는 전통적인 선형 시스템 이론에서의 ‘lossless bounded real’ 성질과 일치한다. 그러나 이 정리는 최소성(minimality)과 Hurwitz 조건을 완전히 보장하지는 않는다. 실제로, 논문은 F₀가 Hurwitz가 아니고 최소성이 결여된 병리적 예시를 제시한다. 이는 특이 섭동 근사가 언제든지 물리적 구현 가능성을 완전히 유지하지 못할 수 있음을 경고한다.

2. Theorem 4: 특수한 섭동 형태—즉, 시스템 해밀토니안과 커플링 연산자가 ε에 따라 스케일링되는 경우—에서는 ε→0 근사 시스템이 반드시 물리적으로 구현 가능함을 증명한다. 여기서는 Θ=I 로 고정하고, Λ와 M을 ε에 따라 적절히 분해함으로써, 빠른 서브시스템을 제거한 뒤에도 남는 느린 서브시스템이 원래 시스템과 동일한 물리적 구조를 유지한다는 점을 보인다. 이 결과는 비선형 양자 시스템에 대한 기존 연구(예: