Realization Theory for Quantum Filtering: Classifying Continuously Monitored Bosonic Systems

기술 요약: 양자 필터링을 위한 실현 이론 (Realization Theory for Quantum Filtering)

문제 정의
연속적인 양자 측정은 측정 기록에 조건화된 확률적 궤적을 생성한다. 특정 클래스의 시스템(특히 선형-가우시안 시스템 및 특정 비선형 구조)에 대해서는 정확한 유한 차원 필터가 존재하지만, 그러한 필터를 허용하는 시스템과 그렇지 않은 시스템을 구별할 수 있는 일반적인 기준은 존재하지 않는다. 기존 방법들은 종종 특정 좌표 선택(예: 모멘트 계층 구조)에 의존하며, 이는 닫히지 않을 수 있지만 다른 좌표계에서는 여전히 유한한 실현(finite realization)을 제공할 수도 있다. 근본적인 질문은 다음과 같다: 주어진 모니터링되는 양자 시스템에 대해, 선택된 표현 방식과 무관하게 임의의 유한 차원 인과적 실현(finite-dimensional causal realization)이 존재하는가?

방법론
저자는 양자 필터링 문제를 고전적 입출력 이론으로부터의 **실현 문제(realization problem)**로 재구성한다. 저자는 **선형화된 관측량 한켈 연산자($K_O$)**를 도입하는데, 이는 과거 측정 기록의 섭동을 조건부 관측량 $\langle O \rangle_t$의 미래 궤적 변화로 매핑하는 연산자이다.

1. 연산자 정의: 연산자 $K_O$는 과거의 기록 $u|_{I_-}$에서 미래의 관측량 궤적 $\langle O \rangle_t|_{I_+}$로의 사상(map)에 대한 프레셰 미분(Fréchet derivative)으로 정의된다. 이는 측정 기록을 미분이 가능한 매끄러운 입력 $u(t)$로 취급하여 위그너 함수(Wigner function)의 진화를 통해 구성된다.
2. 계수 기준(Rank Criterion): $K_O$의 계수(rank)는 강건한 $C^1$ 유한 차원 필터가 입출력 사상을 정확하게 재현하기 위해 필요한 최소 내부 변수의 수를 결정한다. 만약 $\text{rank}(K_O) = \infty$라면, 사용된 좌표계와 관계없이 유한한 실현은 존재할 수 없다.
3. 특이값을 통한 근사: $K_O$의 계수가 무한한 경우, 특이값(singular values)은 관측량의 응답을 상대 오차 $\epsilon$ 내에서 정확하게 근사하기 위한 최적의 국소 차원-오차 트레이드오프를 정량화한다. 특이값의 감소율은 상대 오차 $\epsilon$ 내에서 응답을 근사하는 데 필요한 "유효 메모리 차원"($d_\epsilon$)을 정의한다.

주요 기여 및 분류
본 논문은 연속 직교 성분 모니터링 하에서의 **일모드 다항식 보존계(one-mode polynomial bosonic systems)**에 대한 정확한 분류를 제공한다.

• 유한 클래스: 저자는 정확한 유한 차원 필터를 허용하는 두 가지 해밀토니안 가문을 식별하였다:
  1. 가우시안 클래스 ($\mathcal{G}$): 직교 성분에 대해 최대 2차인 해밀토니안.
  2. 조건부 운동량 모멘트 (CMM) 클래스 ($\mathcal{C}_X$): $H = V(X) + aP + b\text{Sym}(XP)$ 형태의 해밀토니안 (여기서 $V(X)$는 다항식). 이 클래스는 측정된 직교 성분에 대한 비선형 의존성을 유지하면서도, 공액 직교 성분의 조건부 모멘트를 통해 유한한 폐쇄성(finite closure)을 유지할 수 있게 한다.
• 경계 정리 (The Boundary Theorem): 합집합 $\mathcal{F}_X = \mathcal{G} \cup \mathcal{C}_X$ 외부의 임의의 다항식 해밀토니안에 대해, 거의 모든 가우시안 초기 준비 상태에서 관측량 한켈 연산자는 무한 계수를 갖는다. 이러한 장애는 측정된 직교 성분과 공액 직교 성분 사이의 비선형 혼합(예: 커(Kerr) 또는 더핑(Duffing) 진동자의 운동-위치 결합)에서 발생하며, 이는 독립적인 응답 방향의 무한한 수열을 생성한다.
• 강건성: 무한 계수 장애는 검출 비효율성, 열 잡음, 그리고 유한한 다모드 네트워크 내에 모드를 일반적인 다항식 결합으로 삽입하는 상황에 대해서도 강건하다.

결과 및 수치 실험
이론적 경계는 커(Kerr) 및 더핑(Duffing) 진동자에 대한 수치 실험을 통해 검증 및 확장되었다:

1. 정확한 계수 vs. 유효 계수: 커 및 더핑 시스템은 무한한 정확 계수를 갖지만, 특이값 스펙트럼이 빠르게 감소한다. 이는 정확한 유한 필터는 불가능하더라도, 정확한 근사 필터는 적은 수의 차원으로 구축될 수 있음을 나타낸다. (예: 특정 파라미터에서 $d_{10^{-3}} \approx 6$)
2. 유한 진폭 예측: 저자는 선형 한켈 연산자에 의해 선택된 좌표가 유한한(비-미소) 섭동에 대해서도 유용한지 테스트한다. 주요 특이 방향으로의 응답에 이차 및 삼차 항을 피팅함으로써, 선형 분석에 의해 선택된 국소 차원이 관측량의 유한한 변화를 예측하는 데 유효한 컷오프임을 입증한다.
3. 포아송-샤를리에(Poisson–Charlier) 근사: 광자 수 분포에 적응된 포아송-샤를리에 다항식을 사용하여 커 진동자를 위한 구성 가능한 유한 차원 필터를 개발하였다.
   • 비교: 상대 응답 오차 $10^{-3}$에서, 최적의 국소 한켈 경계는 단 4개의 실수 좌표만을 필요로 하는 반면, 전역 샤를리에 필터는 동일한 목표 정확도에 도달하기 위해 20개의 실수 변수를 필요로 한다.
   • 효율성: 이론적 하한보다 더 많은 변수를 필요함에도 불구하고, 샤를리에 필터는 높은 광자 수에서 직접적인 포크 공간(Fock-space) 적분과 비교했을 때 상당한 계산 속도 향상(변수 수는 최대 $9.9$배 적고, 온라인 실행 시간은$2.19$배 빠름)을 제공한다.

의의
본 논문은 **관측량 특이적 메모리(observable-specific memory)**를 축소된 양자 필터링의 엄격한 기초로 확립한다. 주요 의의는 다음과 같다:

• 정확한 경계 정의: 일반적인 비선형 보존계에 대해 유한한 정확 필터링이 불가능함을 좌표 독립적인 증명을 통해 제시하며, 이를 가해지는 가우시안 및 CMM 클래스와 구별한다.
• 근사 정량화: 특이값의 감소를 통해 "유한 대 무한"이라는 이분법적 구분을 넘어 근사의 비용을 정량화한다. 이는 무한한 정확 계수를 가진 시스템이라 할지라도 고정밀 추정에 적합한 저차원 구조를 가질 수 있음을 보여준다.
• 구성적 간극 (Constructive Gap): 본 연구는 이론적 하한(국소 관측량 계수)과 전역적으로 전파되는 필터(예: 샤를리에 필터)를 구축하는 비용 사이의 간극을 식별한다. 저자는 이 간극을 메우는 것, 즉 국소 한켈 경계를 전역적으로 달성하는 안정적인 비선형 필터를 찾는 것이 향후 비선형 양자 필터링 연구의 핵심 과제라고 제언한다.

이 프레임워크는 특정 상태 표현을 찾는 것에서 벗어나 시스템의 본질적인 입출력 복잡성을 분석하는 것으로 초점을 전환하며, 이는 모든 축소된 필터가 평가받을 수 있는 벤치마크를 제공한다.