[논문 리뷰] Renormalization automated by Hopf algebra

D. J. Broadhurst, Dirk Kreimer|ArXiv.org|1998. 10. 13.

Algebraic structures and combinatorial models참고 문헌 3인용 수 8

한 줄 요약

이 논문은 장식된 뿌리 나무의 호프 대수를 사용하여 양자장론의 재규격화를 자동화하는 기호적 알고리즘을 제안한다. 이 알고리즘은 반대원소를 통해 발산을 체계적으로 제거함으로써 유한한 재규격화된 진폭을 계산할 수 있다. 복잡한 도표, 특히 10개의 모델에서 12 루프까지의 7,813개의 도표를 효율적으로 처리하며, 콘네스-모스코비치의 교환 부분대수와 최소 재규격화 방법에서의 유리수 보정항 사이의 연결 고리를 드러낸다.

ABSTRACT

It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.

연구 동기 및 목표

• 조합론에서 유도된 대수적 구조를 사용하여 양자장론의 재규격화 절차를 자동화하는 것.
• 반복 적분에 대한 첸의 보조정리의 일반화를 통해 호프 대수적 재귀를 이용해 연산자 곱 전개를 형식화하는 것.
• 12 루프까지의 복잡한 파인만 도표에 대해 모든 BPHZ 기여를 처리할 수 있는 계산 프레임워크를 구현하는 것.
• 최소 재규격화에서 리만 제타 값이 보정항에서 제거되는 데 있어 콘네스와 모스코비치의 교환 부분대수의 역할을 조사하는 것.
• 제곱하고 순열을 적용했을 때 유리수 보정항을 얻는 데에 쓸 수 있는 가중치를 계산하는 빠른 알고리즘을 개발하는 것.

제안 방법

• 파인만 도표의 숲 구조와 그 부분 발산을 표현하기 위해 장식된 뿌리 나무의 호프 대수를 사용한다.
• 발산을 체계적으로 제거하기 위해 호프 대수의 반대원소를 활용하여 보정항을 재귀적으로 계산한다.
• 도표의 숲 구조로부터 직접 유한한 재규격화된 진폭을 생성하기 위해 재귀적 기호적 알고리즘을 적용한다.
• 콘네스와 모스코비치의 교환 부분대수와 관련된 가중치를 효율적으로 계산하는 빠른 알고리즘을 도입하여 보정항에서 제타 값을 제거한다.
• 이 가중치를 제곱하고 순열 계수와 조합하여 최소 재규격화 방법에서 유리수 보정항을 생성한다.
• 24,213,878개의 BPHZ 기여를 처리하면서 9개의 재규격화 방법에서 10개의 양자장론에 대해 방법을 검증한다.

실험 결과

연구 질문

• RQ1 장식된 뿌리 나무의 호프 대수를 사용하여 양자장론의 재규격화를 완전히 자동화할 수 있는가?
• RQ2 호프 대수의 반대원소는 파인만 도표의 발산 제거와 어떻게 대응하는가?
• RQ3 최소 재규격화의 맥락에서 콘네스와 모스코비치의 교환 부분대수는 제타 값 제거에 있어 어떤 역할을 하는가?
• RQ4 최소 재규격화 방법에서 유리수 보정항을 얻는 데 쓸 수 있는 가중치를 계산하는 빠른 알고리즘을 개발할 수 있는가?
• RQ5 장식되지 않은 뿌리 나무의 호프 대수 ${\cal H}_R$는 유일한 원시 부분발산을 갖는 도표의 구조를 얼마나 잘 반영하는가?

주요 결과

• 기호적 알고리즘이 12 루프까지의 모든 7,813개의 파인만 도표에 대해 재규격화된 유한한 진폭을 성공적으로 계산하였으며, 24,213,878개의 BPHZ 기여를 처리하였다.
• 이 방법은 호프 대수적 재귀적 구조를 통한 연산자 곱 전개의 표현을 확인하였으며, 첸의 보조정리를 일반화하였다.
• 콘네스와 모스코비치의 교환 부분대수는 최소 재규격화 방법에서 보정항에서 제타 값을 제거하는 데 가중치를 할당한다.
• 이 알고리즘은 이러한 가중치를 효율적으로 계산하며, 그 제곱과 순열 계수를 조합하여 유리수 보정항을 생성한다.
• 장식되지 않은 호프 대수 ${\cal H}_R$는 유일한 원시 부분발산을 갖는 도표를 정확히 모델링하여 그 재규격화 단순화에의 사용을 검증한다.
• 이 프레임워크는 10개의 다른 양자장론과 9개의 재규격화 방법에서 모두 강건하며, 광범위한 적용 가능성을 보여준다.