Operator-language Feynman rules for driven-dissipative quantum systems: from mean field to non-Gaussian photon correlations

문제 정의
Lindblad 마스터 방정식으로 기술되는 개방 양자계는 양자 광학에서 흔히 사용되는 연산자 언어의 표준적이고 재사용 가능한 도식적 정식화(diagrammatic formulation)가 결여되어 있다. 기존의 섭동 접근법들은 일반적으로 밀도 행렬을 절단하거나(이는 모드 수에 따라 지수적인 비용을 초발생시킨다), 평균장 해 주변에서 선형화한다(이는 가우시안 변동만을 유지하며 비가우시안 보정을 위한 체계적인 계층 구조가 결여된다). Keldysh 장론이 도식적 규칙을 제공하기는 하지만, 이는 연산자 언어와는 구별되는 기능 적분 언어에서 작동한다. 초연산자(Superoperator) 섭 perturbation 이론은 존재하지만, 종종 각 특정 문제마다 국소 생성자의 수치적 대각화를 요구하므로, 폐쇄형 전파자(closed-form propagators)나 고정된 규칙 세트를 사용하는 것을 방해한다. 따라서 운동학적 규칙과 동역학적 입력을 분리하여, 다항식 비용으로 체계적인 비가우시안 보정을 가능하게 하는 연산자 언어 기반의 도식적 전개가 필요하다.

방법론
저자들은 Lindblad 마스터 방정식을 직접 연산자 언어로 구성하는 Feynman 규칙을 구축한다. 이 방법은 생성자 $\mathcal{L}$을 정확하게 풀 수 있는 가우시안 부분 $\mathcal{L}_0$와 더 약한 상호작용 $\mathcal{L}_{int}$로 나누는 것에 기초한다.

1. 운동학적 부분 (고정된 대수): 전개는 Wick 정렬된 고유 연산자 기저 $O_{mn} = :(c^\dagger)^m c^n:$ 위에서 작용하는 기초 연산자 이동(elementary operator moves)의 고정된 대수를 바탕으로 구축된다. 이러한 이동은 모드 대수와 정상 상태 수축(moments $N$ 및 $M$)으로부터 유도된다. 네 가지 기초 이동은 라인을 생성하거나, 결정론적 가중치(정상 상태 공분산에 의해 결정됨)를 가진 기존 라인(생성 또는 소멸 방향)을 흡수하는 것이다. 이 운동학적 구조는 특정 상호작용과는 독립적이며, 상호작용 해밀토니안이나 소산자에 이 이동들을 적용함으로써 버텍스 테이블(vertex table)이 기계적으로 조립된다.
2. 동역학적 부분 (Resolvent): 동역학은 오직 비섭동 생성자의 레졸번트(resolvent) $(s - \mathcal{L}_0)^{-1}$를 통해서만 들어온다. $\mathcal{L}_0$가 가우시안인 경우, 고유 연산자는 Wick 정렬된 단항식이며, 레졸번트는 대각 행렬이다. 결정적으로, 안정적이고 대각화 가능한 가우시안 생성자의 경우, 고유값은 라인 함량(라인당 비율의 합)에 대해 가산적(additive)이므로, 행렬 역행렬 계산 없이도 전파자를 도식 라인에서 직접 읽을 수 있다. 이는 열적, 압축(squeezed), 상관 관계가 있는 저장조(reservoir) 및 구동되는 2준위 방출체(여기서는 "드레스된(dressed)" 고유 연산자가 사용됨)에 모두 적용된다.
3. 도식적 규칙:
   • 도식은 섭동 차수 $N$이 표시된 단일 버텍스로 구성된다.
   • 라인은 생성($a^\dagger$) 또는 소멸($a$) 연산자의 인자를 나타내며, 화살표는 방향과 비율($z$ 또는 $z^*$)을 나타낸다.
   • 전개는 루프 개수 파라미터 $L$에 의해 조직되며, 루프가 없는 도식은 평균장 이론에 해당한다.
   • 물리적 관측량은 측정 연산자를 고유 연산자 기저로 전개하고 결과 도식들을 합산함으로써 회복된다.

핵심 기여 및 결과

• 운동학과 동역학의 분리: 본 논문은 버텍스 규칙이 연산자 대수와 정상 상태 모멘트에 의해 고정되고, 동역학은 스칼라 전파자에 의해 캡슐화되는 재사용 가능한 어휘를 확립한다. 이를 통해 특정 문제를 위해 매번 시리즈를 다시 유도할 필요 없이 고정된 규칙에 의해 도식을 평가할 수 있다.
• 준고전적 전개 및 루프 개수 세기: 드라이븐 Kerr 공동(Kerr cavity)에서, 루프 전개는 준고전적 전개임이 확인되었다. 루프가 없는 도식은 모든 차수에서 평균장 이론으로 수렴하며, 각 루프는 결맞음 광자 수의 역수 승(inverse power)을 추가로 가진다. 섭동 급수는 점근적(asymptotic)이며, 최적의 절단 차수는 비선형성이 증가함에 따라 감소함을 보여준다.
• 드레스된 라인을 통한 재합산(Resummation): 강하게 구동되는 2준위 원자에 대해, 저자들은 구동되는 원자를 $\mathcal{L}_0$로 선택함으로써(드레스된 기저), 유한한 수렴 반경(포화에 의해 제한됨)을 가진 바레(bare) 전개를 빠르게 수렴하는 급수로 대체함을 보여준다. 드레스된 전개는 Mollow triplet과 광자 수를 포화 깊숙한 곳까지 정확하게 재현하며, 하나의 드레스된 라인은 각각의 Mollow 성분에 대응한다.
• 다체 시스템에 대한 다항식 비용: 구동되는 소산적 Kerr 링 및 체인에 적용했을 때, 이 방법은 정확한 대각화가 지수적으로 스케일링되는 것과 달리, 고정된 섭동 차수에서 격자 수에 대해 다항식으로 스케일링된다.
  • 3-사이트 링에서, 도식법은 2차 가우시안 공분산 폐쇄를 체계적으로 개선하여, 가우시안 폐쇄가 구조적으로 0으로 설정하는 3-광자 상관관계($g^{(3)}$)의 비가우시안 부분을 회복한다.
  • 10차 전개에서, 도식법은 $U \leq 0.25\kappa$인 경우 공분산 폐쇄보다 낮은 계산 비용으로 4차 폐쇄보다 더 작은 $g^{(3)}$ 오차를 나타낸다.
• 계수 통계(Counting Statistics): 규칙은 광자 계수 쿰ul런트(cumulant)를 계산하기 위해 계수 필드가 기울어진(tilted) 생성자로 확장된다. 무질서한 8-사이트 체인에 적용했을 때, 6차 도식 결과는 표준 오차 범위 내에서 양자 점프 궤적(quantum-jump trajectories)과 일치하며, 가우시안 이론이 실패하는 3차 쿰ul런트의 비가우시안 부분을 정확히 해결한다.

의의 및 주장
본 논문은 폐쇄형 전파자와 고정된 버텍스 조립 과정을 사용하는, Lindblad 시스템을 위한 최초의 재사용 가능한 연산자 언어 Feynman 규칙을 제공한다고 주장한다. 그 의의는 가우시안 변동을 넘어 서는, 구동되는 소산 격자를 위한 체계적인 다항식 비용 근사법을 제공한다는 데 있다.

저자들은 이 방법이 다음의 경우에 가장 효과적임을 강조한다:

1. 생성자가 가우시안 부분과 약한 비선형성으로 나뉠 때.
2. 많은 모드가 포함되어 있어 정확한 대각화가 불가능할 때.
3. 관심 대상이 가우시안 폐쇄가 구조적으로 틀린 고차 상관관계일 때.
4. 결합이 충분히 약하여 점근 급수가 계산된 차수에서 여전히 개선되고 있을 때.

본 논문은 중간 정도의 결합을 가진 작은 링의 경우, 높은 차수의 쿰ul런트 폐쇄가 동일한 비용의 4차 도식보다 더 정확할 수 있으며, 급수는 점근적(asymptotic)이므로 절단 차수의 신중한 선택이 필요하다고 겸허히 언급한다. 이 방법은 강한 비선형성 영역(블로케이드 수치 해석이 적절한 영역)을 해결한다고 주장하지 않으며, 대신 평균장 이론과 정확한 비가우시안 물리학 사이의 투명한 도식적 가교를 제공한다.