[논문 리뷰] All-order existence of and recursion relations for the operator product expansion in Yang-Mills theory

Markus B. Fröb, Jan Holland|arXiv (Cornell University)|2016. 03. 25.

Black Holes and Theoretical Physics참고 문헌 58인용 수 6

한 줄 요약

이 논문은 양-밀스 이론에서 연산자 곱 전개(OPE)의 전순서 존재성을 임의의 고정된 양자역학적 순서까지 확립하며, OPE 계수들이 재귀 관계를 통해 일관되게 정의될 수 있음을 증명한다. 또한 OPE 계수의 결합 상수 $ g $ 에 대한 도함수가 닫힌 방정식계를 만족함을 보이며, 이는 양자역학적 이론에서의 체계적 계산을 가능하게 한다.

ABSTRACT

We prove the existence of the operator product expansion (OPE) in Euclidean Yang-Mills theories as a short-distance expansion, to all orders in perturbation theory. We furthermore show that the Ward identities of the underlying gauge theory are reflected in the OPE; especially, the OPE of an arbitrary number of gauge-invariant composite operators only involves gauge-invariant composite operators. Moreover, we derive recursion relations which allow to construct the OPE coefficients, the quantum BRST differential and the quantum antibracket order by order in perturbation theory, starting from the known free-theory objects. These relations are completely finite from the start, and do not need any further renormalisation as is usually the case in other approaches. Our results underline the importance of the OPE as a general structure underlying quantum field theories. The proofs are obtained within the framework of the Wilson-Wegner-Polchinski-Wetterich renormalisation group flow equations, and generalise similar results recently obtained for scalar field theories [J. Holland and S. Hollands, Commun. Math. Phys. 336 (2015) 1555; J. Holland and S. Hollands, J. Math. Phys. 56 (2015) 122303]. Combining their results with our recursion formula, we also obtain associativity of the OPE coefficients.

연구 동기 및 목표

• 양-밀스 이론에서 연산자 곱 전개(OPE)가 모든 양자역학적 순서에서 존재함을 확립하는 것.
• 결합 상수 $ g $ 에서의 모든 순서에서 OPE 계수를 일관되게 정의하는 데 도전하는 문제를 해결하는 것.
• OPE 계수의 $ g $ 에 대한 도함수에 대한 닫힌 재귀 관계계를 유도하는 것.
• OPE가 각 순서에서 잘 정의되고 유한하게 유지되도록 할 수 있는 재결합 조건을 선택할 수 있음을 보장하는 것.
• 고차항 계산이 필요 없이 낮은 순서의 데이터와 그 $ g $-도함수만으로도 OPE 계수를 재귀적으로 계산할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 무질량이고 표면적으로 재결합 가능한 양자장론의 일반적 프레임워크를 사용하여 양-밀스 이론에서 OPE를 수립하는 것.
• OPE 계수의 결합 상수 $ g $ 에 대한 도함수를 취하여 OPE 계수에 대한 미분방정식계를 도출하는 것.
• OPE 계수의 모호성을 제거하고 모든 순서에서의 일관성을 확보하기 위해 재결합 조건을 도입하는 것.
• 재결합군의 구조와 게이지 불변성을 활용하여 $ g $-도함수에 대한 방정식계를 닫히게 하는 것.
• 양자장론 기법을 적용하여 재귀 관계가 순서별로 해를 가짐을 보이는 것.
• 재귀 관계가 닫혀 있고 유한함을 보이며, OPE 계수를 반복적으로 계산할 수 있음을 보이는 것.

실험 결과

연구 질문

• RQ1 양-밀스 이론에서 연산자 곱 전개(OPE)는 모든 양자역학적 순서에서 일관되게 정의될 수 있는가?
• RQ2 OPE 계수들이 결합 상수 $ g $ 에 대해 도함수를 취할 때 닫힌 방정식계를 만족하는가?
• RQ3 OPE가 각 순서에서 유한하고 잘 정의되도록 재결합 조건을 선택할 수 있는가?
• RQ4 낮은 순서의 자료와 그 $ g $-도함수만으로도 OPE 계수를 재귀적으로 계산하는 것이 가능한가?
• RQ5 게이지 불변성과 재결합군의 구조는 모든 순서에서 OPE의 일관성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 적절한 재결합 조건 하에서, 양-밀스 이론에서 연산자 곱 전개(OPE)는 모든 양자역학적 순서에서 존재한다.
• OPE 계수의 결합 상수 $ g $ 에 대한 도함수는 닫힌 미분방정식계를 만족한다.
• 이 방정식계는 고차항 계산이 필요 없이 OPE 계수를 순서별로 재귀적으로 계산할 수 있도록 한다.
• 이 시스템은 유한하고 게이지 불변성이 보장되어 있어, 양자역학적 이론의 모든 순서에서 일관성을 확보한다.
• 낮은 순서의 자료가 주어지면, 이 프레임워크를 통해 임의의 고정된 순서까지 OPE 계수를 체계적으로 구성할 수 있다.
• 결과적으로 OPE는 최초 순서에서만 유효한 것이 아니라, 잘 정의된 재귀적 구조를 통해 모든 순서로 확장될 수 있음을 확인한다.