[논문 리뷰] FKWC-bases and geometrical identities for classical and quantum field theories in curved spacetime

Yves Décanini, Antoine Folacci|ArXiv.org|2008. 05. 12.

Advanced Topics in Algebra참고 문헌 2인용 수 4

한 줄 요약

이 논문은 곡면 시공간에서 리만 다항식을 위한 FKWC-기반의 수정된 버전과 차원에 의존하지 않는 기하학적 항등식의 포괄적인 세트를 제시한다. 이러한 도구들은 군 이론 기반의 기반과 대칭 기반 단순화를 통해 복잡한 리만 다항식 표현을 비가역 형태로 체계적으로 축소함으로써 고전적 및 양자장론의 계산을 간소화한다. 특히 중력파의 반동력과 양자장론의 정규화 절차에서 유용하다.

ABSTRACT

Fulling, King, Wybourne and Cummings (FKWC) have proposed to expand systematically the Riemann polynomials encountered in the context of field theories in curved spacetime on standard bases constructed from group theoretical considerations. They have also displayed such bases for scalar Riemann polynomials of order eight or less in the derivatives of the metric tensor and for tensorial Riemann polynomials of order six or less. Here we provide a slightly modified version of the FKWC-bases as well as an important list of geometrical relations we have used in recent works. These relations are independent of the dimension of spacetime. In our opinion, they are helpful to achieve quickly and easily, by hand, very tedious calculations as well as, of course, to provide irreducible expressions for all the results obtained. They could be very helpful to people working in gravitational physics and more particularly (i) to treat some aspects of the classical theory of gravitational waves such as the radiation reaction problem and (ii) to deal with regularization and renormalization of quantum field theories, of stochastic semiclassical gravity and of higher-order theories of gravity.

연구 동기 및 목표

• 곡면 시공간에서의 장론에 대한 리만 다항식 표현의 유일성 부족과 복잡성 문제를 해결하기 위해.
• 메트릭 텐서의 고차 미분과 리만 텐서의 수축을 포함한 번거로운 계산을 단순화하기 위해.
• 고전적 및 양자장론에서의 비가역 표현을 위한 실용적이고 손으로 계산 가능한 프레임워크를 제공하기 위해.
• 중력파 물리학, 정규화, 곡면 배경에서의 양자장론의 정규화에 응용을 지원하기 위해.
• 연구자들이 중력물리학 분야에서 FKWC-기반의 사용을 더 쉽게 하고 효율적으로 만들기 위해 그 구성 방식을 수정하고 필수 항등식을 정리하기 위해.

제안 방법

• 메트릭 미분의 차수까지 6차까지의 스칼라 및 텐서 리만 다항식에 대해 FKWC-기반을 도입하고 약간 수정한다.
• 군 이론적 구성 방법을 사용하여 랭크 0에서 6까지의 리만 다항식과 차수까지 6까지의 표준 기반을 정의한다.
• 리만 텐서의 대칭성, 공변미분의 교환 법칙, 비아니 항등식에서 유도된 기본 기하학적 항등식을 적용한다.
• 커비처 텐서와 일관된 표기법을 사용하여 리만 다항식 공간 ${\cal R}^{r}_{s,q}$ 에 대한 하킹-엘리스 표기법을 사용한다.
• 특히 $ R^{p\dots}_{\dots} R^{\dots}_{\dots} $ 수축과 반대칭성 기반 감소를 통한 단항식 단순화에 집중한다.
• 두 번째 루프 및 그 이상의 루프 계산에서 중요한 바운드인 반-벨크-모레트 행렬식과 관련된 랭크 6 기반에서 유일한 8개의 기초 요소만 선택한다.

실험 결과

연구 질문

• RQ1 곡면 시공간에서의 리만 다항식 표현은 어떻게 비가역 형태로 체계적으로 단순화할 수 있으며, 유일성 문제가 방지될 수 있는가?
• RQ2 고차 리만 다항식 수축의 효율적이고 손으로 계산 가능한 단순화를 가능하게 하는 기하학적 항등식의 집합은 무엇인가?
• RQ3 곡면 시공간에서의 양자장론의 일루프 및 이중루프 계산에 있어 필수적인 리만 다항식 기초 요소는 무엇인가?
• RQ4 FKWC-기반은 어떻게 수정되어야 하며, 텐서 계산의 공변 미분과 수축 단계를 가속화할 수 있는가?
• RQ5 이러한 항등식과 기반은 중력파 이론에서의 반동력 처리와 반중력장 이론에서의 정규화 과정을 어떻게 단순화하는가?

주요 결과

• 수정된 FKWC-기반을 제공하여 리만 다항식 수축의 수동 계산 속도를 높이도록 최적화하였다.
• 차수 6까지의 임의의 차원에 의존하지 않는 기하학적 항등식 총 55개의 목록을 정리하여, 임의의 비가역 단항식을 체계적으로 제거할 수 있게 하였다.
• 랭크 6 리만 다항식의 경우, 두 번째 루프 및 일루프 계산에 있어 유일한 8개의 기초 요소만 필요하며, 이는 반-벨크-모레트 행렬식의 공변 테일러 전개에 해당한다.
• 특히 $ R^{p\dots}_{\dots} R^{\dots}_{\dots} $ 수축 단순화, 예를 들어 $ R^{p\dots}_{\dots} R^{\dots}_{\dots} = \dots - \frac{1}{2} R^{p\dots}_{\dots} R^{\dots}_{\dots} $ 등의 항등식을 명시적으로 유도하고, 중복성을 줄이는데 사용하였다.
• 반대칭성으로 인해 사라지는 임의의 중복 항목, 예를 들어 $ R^{p\dots}_{\dots} R_{pqcd;e} $ 와 같은 항목을 수정된 기반에서 생략함으로써 계산 효율성을 향상시켰다.
• 이러한 항등식과 기반은 스트레스-에너지 텐서의 정규화 및 반중력장 이론에 대한 이전 연구에서의 성공적인 적용을 통해 검증되었다.