[논문 리뷰] Combinatorial aspects in the one-loop renormalization of higher derivative theories

Christian F. Steinwachs|arXiv (Cornell University)|2019. 09. 02.

Cosmology and Gravitation Theories참고 문헌 36인용 수 4

한 줄 요약

이 논문은 고차 도함수 양자장 이론에서 한 루프 반작용 항을 효율적으로 계산하기 위해 명시적 텐서 수축을 피하는 조합론적 알고리즘을 제안한다. 대칭 텐서 곱으로 유도된 조합계수를 활용함으로써 컴퓨터 대수 시스템 내에서 계산의 번식을 극도로 줄여, 높은 랭크의 진공 텐서 적분을 포함한 복잡한 도형의 스케일러블한 재규명을 가능하게 한다. 이는 갈릴레온 및 기타 고차 도함수 모델과 특히 관련이 있다.

ABSTRACT

An efficient way to calculate one-loop counterterms within the Feynman diagrammatic approach and dimensional regularization is to expand the propagators in the integrands of the Feynman integrals around vanishing external momentum. In this way, a generic one-loop diagram is reduced to a sum of vacuum diagrams. The logarithmically divergent part can be extracted by power counting arguments. In case of higher derivative theories, the standard implementation of this procedure on a computer algebra system can become quickly inefficient due to a high proliferation of terms coming from the intermediate replacement of high-rank tensor-integrals with symmetrized product of metric tensors. In this note we present a simple combinatorial solution to this problem which makes the implementation much more efficient. This method is especially relevant in the renormalization of higher derivative theories, but might as well be integrated as a standard routine in existing computer algebra programs designed to automatize Feynman diagrammatic calculations.

연구 동기 및 목표

• 고차 도함수 장 이론의 한 루프 반작용 항 계산에서 텐서 수축의 번식으로 인한 계산 비효율성 문제를 해결한다.
• 명시적 텐서 대수 없이 진공 텐서 적분의 로그로 발산하는 부분을 체계적으로 계산하는 방법을 개발한다.
• 조합계수를 활용해 고차 도함수 이론에서 파인만 도형 계산의 스케일러블한 자동화를 가능하게 한다.
• 스칼라, 스피너, 벡터 장에 다수의 질량이 존재하는 경우에도 적용 가능한 일반화 가능한 프레임워크를 제공한다.
• 기존의 컴퓨터 대수 프로그램에 표준 루틴으로 통합하여 자동화된 루프 계산을 가능하게 한다.

제안 방법

• 외부 운동량이 0에 수렴하는 근처에서 파인만 적분의 전파자들을 전개하여 도형을 진공 텐서 적분으로 단순화한다.
• 에너지 계수를 사용해 로그로 발산하는 부분을 분리하며, 이는 계량 텐서의 대칭 텐서 곱으로 표현된다.
• 총 텐서 적분의 랭크를 대칭 불변량으로 분할함으로써 유도된 조합계수 $ B_k $ 를 도입한다.
• 정의에 따르면 $ B_k = C_k / P_\nu(4) $ 이며, 여기서 $ C_k $ 는 텐서 수축의 대칭성을 세는 수량이고 $ P_\nu(4) $ 는 차원 다항식이다.
• 구체적인 예시(예: 표 5)를 통해 스칼라 이론에 적용하여, 분할 $ k \to (\rho_{11}, \rho_{12}, \rho_{22}) $ 가 발산하는 구조를 어떻게 생성하는지 보여준다.
• 스핀이 0이 아닌 경우와 다수의 질량을 가진 경우를 고려하기 위해 운동학적 불변량과 조합계수의 가중치를 수정한다.

실험 결과

연구 질문

• RQ1 고차 도함수 이론의 한 루프 계산에서 고랭크 진공 적분의 텐서 수축으로 인한 계산 비용을 어떻게 최소화할 수 있는가?
• RQ2 고랭크 계량 텐서의 대칭 수축이 진공 텐서 적분에 어떻게 작용하는가에 대한 조합론적 구조는 무엇인가?
• RQ3 명시적 텐서 대수 없이 한 루프 적분의 발산 부분에 대한 닫힌 표현식을 유도할 수 있는가?
• RQ4 고차 도함수 이론에서 외부 끝의 수와 루프 운동량이 증가함에 따라 이 방법은 어떻게 스케일링되는가?
• RQ5 이 알고리즘은 스핀을 가진 장과 다수의 질량을 가진 장으로 얼마나 일반화될 수 있는가?

주요 결과

• 조합계수 $ B_k $ 를 사용함으로써 명시적 텐서 수축을 피함으로써 고랭크 적분에서 계산 복잡도를 감소시킨다.
• 3-루프 스칼라 도형에서 $ g_3^3 $ 결합 상수를 가질 경우, 발산 부분은 $ iI^{\text{div}} = -i\frac{432g_3^3}{(4\pi)^2\varepsilon} \left[ \cdots \right] $ 로 계산되며, 이는 $ q_1^2, q_1\cdot q_2, q_2^2 $ 에 대한 발산 구조를 명시적으로 보여준다.
• 진동수 조건을 만족할 때(즉, $ k_1^2 = k_2^2 = 0 $) 발산 진폭은 0이 되며, 운동학적 제약 조건과의 일관성을 확인한다.
• 이 알고리즘은 일반적이며 갈릴레온 모델과 같이 표준 방법이 고랭크 텐서 구조로 인해 실패하는 고차 도함수 이론에 적용 가능하다.
• 이 방법은 스케일러블하며, FeynCalc나 QCDLoop와 같은 기존 컴퓨터 대수 시스템에 표준 루틴으로 통합될 수 있다.
• 조합계수 $ B_k $ 는 대칭 텐서 분할로부터 유도되며, $ \varepsilon $-정규화 체계에서 시공간 차원에 관계없이 독립적이다.