Adiabatic definitions of scattering matrix and inclusive scattering matrix

기술 요약: 산란 행렬 및 포함적 산란 행렬의 단열적 정의

문제 제기
본 논문은 L-범함수(L-functionals) 형식론 내에서 산란 행렬(S-matrix)과 포함적 산란 행렬(inclusive scattering matrix)의 엄밀한 정의를 다룬다. 기하학적 양자론에 뿌리를 둔 이 형식론은 상태를 정준 교환 관계(CCR) 또는 반교환 관계(CAR)의 모든 기약 표현에 대응하는 바일 대수(Weyl algebra) 또는 클리포드 대수(Clifford algebra) 상의 비선형 범함수(L-범함수)로 표현한다. 주요 과제는 단열적 S-행렬(서서히 변화하는 해밀토니안 가족을 통해 유도됨)과 재규격화된 산란 행렬 사이의 관계를, 특히 포함적 단면적(inclusive cross-sections)의 맥락에서 확립하는 것이다. 나아가, 본 논문은 이 행렬들의 고전적 극한($\hbar \to 0$)과 이를 통한 단열 양자 컴퓨팅과의 연결성을 조사한다.

방법론
저자는 양자 상태가 바일 대수 상의 양의 선형 범함수 $L_K(\alpha^*, \alpha) = \text{Tr}(e^{-\alpha a^\dagger} e^{\alpha^* a} K)$로 표현되는 L-범함수 형식을 사용한다. 방법론은 다음과 같은 핵심 단계로 진행된다:

1. 형식론 설정: 논문은 이 범함수 체계 내에서 진화 연산자와 단열적 S-행렬($\hat{S}_a$)을 정의한다. 이는 표준 연산자 형식론(포크 공간 상에서 작용)과, "해밀토니안"이 범함수 공간 상의 미분 연산자로 작용하는 L-범함수 형식론을 구분한다.
2. 단열 극한 및 재규격화: 저자는 단열 매개변수 $a \to 0$ 및 부피 $\Omega \to \infty$의 극한으로서의 단열적 S-행렬을 분석한다. 직접적인 단열 극한은 재규격화되지 않은 행렬을 생성한다는 것이 입증되었다. 재규격화된 S-행렬을 얻기 위해, 특정 위상 인자(단열 드레싱, adiabatic dressing)가 도입된다. 이 인자들은 단열 스위칭 과정 동안 기저 상태 및 일입자 상태의 에너지 이동으로부터 유도된다.
3. 그린 함수 및 다이어그램: 논문은 일반화된 그린 함수(GGreen functions)를 활용하는데, 이는 L-범함수 형식론에서의 그린 함수의 아날로그이며 비평형 통계 물리학의 켈디시(Keldysh) 형식론에 등장하는 것들과 대응한다. 다이어그램 기법은 전파자(propagator)가 물리적인 이점 그린 함수(two-point GGreen function)이고 정점(vertex)이 일입자 기약(1PI) 다이어그램인 방식으로 개발된다.
4. 포함적 산란 행렬: 포함적 산란 행렬 $S$는 L-범함수 공간의 연산자로 정의된다. 논문은 관계식 $S L_K = L_{\hat{S} K \hat{S}^\dagger}$를 통해 기존의 재규격화된 S-행렬 $\hat{S}$와 포함적 행렬 $S$ 사이의 사상을 확립한다.
5. 고전적 극한: 포함적 산란 행렬의 거동은 켈디시 기저(고전적 성분 및 양자적 성분)를 사용하여 $\hbar \to 0$ 극한에서 분석되며, 이 극한이 특정 GGreen 함수들에 의해 지배됨을 보여준다.

주요 기여 및 결과

• 재규격화된 S-행렬의 단열적 정의: 논문은 재규격화된 산란 행렬 $\hat{S}$가 위상 변화를 고려하는 유니타리 연산자 $\hat{U}_{a,\Omega}$에 의해 곱해진 단열적 S-행렬 $\hat{S}_{a,\Omega}$의 극한으로 얻어질 수 있음을 보여주는 간략화된 증명을 제공한다:
  $$\hat{S} = \lim_{a \to 0} \lim_{\Omega \to \infty} \hat{U}_{a,\Omega} \hat{S}_{a,\Omega} \hat{U}_{a,\Omega} \langle \theta | \hat{S}_{a,\Omega} | \theta \rangle^{-1}$$
  여기서 $\hat{U}_{a,\Omega}$는 상호작용하는 입자와 자유 입자의 에너지 차이로부터 유도된 위상 인자 $r_{a,\Omega}(k)$를 포함한다.

• L-범함수에서의 포함적 산란 행렬: 논문은 부피 컷오프를 요구하지 않고 L-범함수 형식 내에서 직접 포함적 산란 행렬 $S$를 정의한다. $S$가 변환 $S L_K = L_{\hat{S} K \hat{S}^\dagger}$를 통해 기존의 재규격화된 S-행렬 $\hat{S}$와 관련되어 있음을 증명한다. 이 관계는 포함적 단면적을 $S$의 행렬 요소로 직접 표현할 수 있다는 점에서 "포함적(inclusive)"이라는 용어를 정당화한다.

• 절단된(Amputated) GGreen 함수를 통한 표현: 핵심 결과는 포함적 산란 행렬이 온-쉘(on-shell) 절단된 GGreen 함수들로 표현될 수 있다는 것을 보여주는 것이다. 이는 표준 LSZ 축약 공식(LSZ reduction formula)을 모사하지만, L-범함수 체계 내에서 유도된다. 논문은 이 표현식이 양자 전기 역학(QED)에서도 유효할 것이라고 추측하며, L-범함수 형식에서는 적외선 발산이 자연스럽게 부재함을 언급한다.

• 단열 양자 컴퓨팅과의 연결: 논문은 단열 드레싱(극한 $a \to 0$)을 통한 정상 상태의 구축과 단열 양자 컴퓨팅의 원리 사이의 평행 관계를 도출한다. 이는 복잡한 해밀토니안으로부터 단순한 해밀토니안으로부터 정상 상태를 얻는 기술이, 특히 문제를 평형 상태를 찾는 문제로 환원할 때 단열 양자 컴퓨팅의 일반화로 간주될 수 있음을 시사한다.

• 고전적 극한 ($\hbar \to 0$): 논문은 L-범함수와 포함적 산란 행렬의 운동 방정식이 $\hbar \to 0$일 때 잘 정의된 극한을 가짐을 보여준다. 이 극한에서 역학은 켈디시 기저의 GGreen 함수들, 특히 $\hbar$에 비례하는 "양자적" 성분($\phi_{qu}$)을 포함하는 함수들에 의해 지배된다.

의의 및 주장
논문은 기존 문헌(특히 [4]와 [5]를 참조)에서 발견된 산란 행렬의 단열적 정의에 관한 주요 결과들에 대해 더 단순한 증명을 제공한다고 주장한다. L-범함수 형식을 활용함으로써, 저자는 산란 행렬의 정의에서 부피 컷오프의 필요성을 제거하여 증명을 단순화하고 발산 처리를 용이하게 한다(고려된 특정 이론들에서 적외선 및 자외선 발산이 없다고 가정할 때).

본 연구는 포함적 산란 행렬을 단순히 단면적 계산을 위한 도구가 아니라, 양자 이론의 기하학적 접근법에서의 근본적인 객체로 위치시킨다. 이는 대수적 접근(L-범함수), 비평형 통계 물리학(켈디시 형식론), 그리고 단열 양자 컴퓨팅 사이의 간극을 메운다. 저자는 자신의 결과를 기존의 섭동 기술을 명확히 하고 단순화하는 작업으로 겸손하게 규정하며, CCR 대수의 특정 표현에 의존하지 않고 산란 행렬을 정의하고 그 고전적 극한을 분석하기 위한 통합된 프레임워크를 제공한다.