A Stationary Composition Law for Schwinger-Keldysh Effective Actions

기술 요약: 슈윙거-켈디시 유효 작용에 대한 정적 구성 법칙 (A Stationary Composition Law for Schwinger-Keldysh Effective Actions)

문제 정의
비평형 양자장론에서 슈윙거-켈디시(Schwinger-Keldysh, SK) 형식론은 열린 양자계를 위한 실시간 프레임워크를 제공한다. 시스템이 환경과 상호작용할 때, 환경의 자유도는 적분되어 영향 작용(influence action)을 생성한다. 연결된 생성 범함수(connected generating functionals, CGFs) 수준에서, 열린 시스템($W_O$), 그에 대응하는 닫힌 시스템($W_C$), 그리고 환경 유도 기여($W_{IF}$) 사이의 관계는 가법적이다:
$$W_O[J] = W_C[J] + W_{IF}[J]$$
여기서 $W_{IF} \equiv W_O - W_C$이다.

자연스러운 질문은 이러한 가법적 구조가 르장드르 변환(Legendre transformation)을 통해 유효 작용($\Gamma$)으로 넘어갈 때도 유지되는가 하는 점이다. 즉, $\Gamma_O[\Phi] = \Gamma_C[\Phi] + \Gamma_{IF}[\Phi]$를 기대할 수 있는가 하는 것이다. 그러나 본 논문은 이 단순한 가법성이 실패함을 보여준다. 이러한 장애물은 르장드르 변환이 각 범함수에 대해 서로 다른 배경장을 정의한다는 사실에서 기인한다: $\Phi_O[J] = \delta W_O/\delta J$, $\Phi_C[J] = \delta W_C/\delta J$, 그리고 $\Phi_{IF}[J] = \delta W_{IF}/\delta J$이다. 여기서 필드들은 고정된 소스 $J$에 대해 $\Phi_O = \Phi_C + \Phi_{IF}$를 만족하지만, 유효 작용은 자연스럽게 각각의 공액 필드(conjugate fields)에서 평가된다. 결과적으로, 단순한 합인 $\Gamma_C[\Phi] + \Gamma_{IF}[\Phi]$는 주어진 공통 배경 $\Phi$에 대해 열린 시스템의 유효 작용 $\Gamma_O[\Phi]$를 산출하지 못한다.

방법론
본 논문은 보조 분할 필드(auxiliary splitting field)를 도입하여 이 불일치를 해결한다. 핵심 방법론은 다음과 같다:

1. 영향 유효 작용의 정의: 저자는 미시적 영향 작용 $S_{IF}$와 구별되는, 연결된 영향 범함수 $W_{IF}$의 르장드르 변환으로서 $\Gamma_{IF}$를 정의한다.
2. 보조 분할 필드: 고정된 총 배경 필드 $\Phi$에 대하여, 제약이 없는 보조 분할 필드 $\Psi$를 도입한다. 보조 범함수를 다음과 같이 구성한다:
   $$F[\Phi, \Psi] = \Gamma_C[\Psi] + \Gamma_{IF}[\Phi - \Psi]$$
   여기서 $\Psi$는 닫힌 시스템의 기여를 나타내며, $\Phi - \Psi$는 환경 유도 기여를 나타낸다.
3. 정적 조건 (Stationarity Condition): 열린 시스템의 유효 작용은 단순한 덧셈이 아니라, $\Psi$에 대한 보조 범함수의 정적점에서 얻어진다:
   $$\Gamma_O[\Phi] = \text{Stat}_{\Psi} \{ \Gamma_C[\Psi] + \Gamma_{IF}[\Phi - \Psi] \}$$
   정적 조건 $\delta F / \delta \Psi = 0$은 "소스 매칭(source-matching)" 조건을 함의한다:
   $$\frac{\delta \Gamma_C}{\delta \Psi} = \frac{\delta \Gamma_{IF}}{\delta (\Phi - \Psi)} \implies J_C[\Psi] = J_{IF}[\Phi - \Psi]$$
   이는 분할된 성분들이 동일한 외부 소스에 대응하도록 보장한다.
4. 대수적 분석: 본 논문은 이 연산을 $\Gamma_O = \Gamma_C \otimes \Gamma_{IF}$로 표기하며, 이 연산의 교환 법칙, 결합 법칙 및 분해 공변성(decomposition covariance)을 조사하고 증명한다.

주요 기여 및 결과

• 정적 구성 법칙: 주요 결과는 식 (7)과 (69)를 도출하여, 열린 시스템의 유효 작용이 닫힌 시스템과 영향 유효 작용의 정적 구성임을 확립한 것이다. 이는 소스-필드 사상의 명시적 역변환을 정적 조건으로 대체한다.
• 대수적 성질:
  • 교환 법칙: $\Gamma_1 \otimes \Gamma_2 = \Gamma_2 \otimes \Gamma_1$.
  • 결합 법칙: $(\Gamma_1 \otimes \Gamma_2) \otimes \Gamma_3 = \Gamma_1 \otimes (\Gamma_2 \otimes \Gamma_3)$. 이는 여러 환경 기여의 순차적 구성을 가능하게 한다.
  • 분해 공변성: $W_O$를 $W_C$와 $W_{IF}$로 나누는 방식은 유일하지 않음을(항을 서로 간에 이동시킬 수 있음) 보여준다. 그러나 결과적인 유효 작용들의 정적 구성은 이러한 이동에 대해 불변이며, 이는 물리적인 열린 시스템 유효 작용 $\Gamma_O$가 선택된 분해 방식에 관계없이 유일함을 보장한다.
• 선형 실현 (이차 이론): 응답 연산자 $A$(닫힌 계)와 $B$(영향 계)로 특징지어지는 이차 유효 작용의 경우, 정적 구성은 연산자의 병렬 합(parallel sum)으로 축소된다:
  $$A \otimes B = (A^{-1} + B^{-1})^{-1}$$
  이 결과는 국소적(local) 및 비국소적(nonlocal, 적분-미분 커널) 커널 모두에 적용되며, 소산(dissipative) 및 메모리 효과를 포함한다.
• 비선형 실현: 시간 독립적 유효 포텐셜의 경우, 구성은 닫힌 계와 영향 계로부터 오는 일반화된 힘(포텐셜의 미분)의 균형에 의해 정적 분할 $\psi^*$가 결정되는 비선형 대수 체계가 된다.
• 미시적 해석: 본 논문은 $\Gamma_{IF}$의 커널이 이차 이론에서도 미시적 영향 작용 $S_{IF}$의 커널과 일반적으로 다르다는 점을 명확히 한다. 이 관계는 닫힌 시스템 응답 연산자의 역연산을 포함한다.

의의 및 주장
본 논문은 볼록 쌍대성(convex duality)의 인피멀 합성(infimal convolution, 르장드르-펜첼 변환)에 대한 공식적인 SK 대응물을 제공한다고 주장한다. 유클리드 볼록 한계(Euclidean convex limit)에서 정적 구성은 표준적인 인피멀 합성(최소화)으로 환원된다. 일반적인 SK 맥락에서는 작용이 복소수이고 비볼록(non-convex)이므로, 이 연산은 최소화가 아닌 정적 상태(stationarity)를 통해 정의된다.

본 연구의 의의는 다음과 같다:

1. 구조적 명료성: 열린 계에서 생성 범함수의 가법성과 유효 작용의 비가법성 사이의 근본적인 불일치를 해결한다.
2. 모듈형 계산: 구성 법칙은 전체 열린 시스템 생성 범함수에 대한 완전한 르장드르 변환을 수행하지 않고도 열린 시스템 유효 작용을 계산하는 전략을 제시한다. 만약 $W_{IF}$를 미시적 영향 삽입과 알려진 닫힌 시스템 상관 함수(예: 가우시안 환경 또는 약한 결합의 경우)로부터 직접 평가할 수 있다면, $\Gamma_{IF}$를 별도로 구축한 후 정적 구성을 통해 $\Gamma_C$와 결합할 수 있다.
3. 일반적 적용성: 본 형식론은 선형 응답 이론과 비선형 유효 포텐셜을 모두 포함하여, 국소적 및 비국소적 SK 작용 모두에 적용 가능하다.

저자는 정적 구성이 최소화를 의미하는 것은 아니며, 올바른 정적 분기(multiple solutions 중 하나)를 선택하기 위해서는 물리적 입력이 필요하다고 언급한다. 다만, 소스 매칭 조건에 의해 열린 시스템 작용을 재현하는 특정 분기가 보장된다. 논문은 더 높은 차원의 유효 작용(예: 2PI)으로의 확장, 상전이에서의 특이 헤시안(singular Hessians)에 대한 적용, 그리고 우주론 및 유체역학에서의 잠재적 응용 가능성을 설명하며 마무리된다.