[논문 리뷰] QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations

Jan Μ. Pawlowski, Coralie S. Schneider외 1명|arXiv (Cornell University)|2021. 02. 02.

Distributed and Parallel Computing Systems인용 수 5

한 줄 요약

QMeS-Derivation는 주어진 마스터 방정식에서 기능적 미분 방정식—예를 들어 기능적 고체역학군 방정식, 디슨-슈윙거 방정식, 수정된 슬라바노프-타일러 항등식—의 기호적 유도를 자동화하는 Mathematica 패키지입니다. 이 패키지는 장 공간 추적, 기능적 도함수, 운동량 라우팅, 페르미온 기호 관례를 처리하여 캐스트가 있는 양자장론에서 상관함수 방정식의 체계적이고 오류 없는 유도를 가능하게 합니다.

ABSTRACT

We present the Mathematica package QMeS-Derivation. It derives symbolic functional equations from a given master equation. The latter include functional renormalisation group equations, Dyson-Schwinger equations, Slavnov-Taylor and Ward identities and their modifications in the presence of momentum cutoffs. The modules allow to derive the functional equations, take functional derivatives, trace over field space, apply a given truncation scheme, and do momentum routings while keeping track of prefactors and signs that arise from fermionic commutation relations. The package furthermore contains an installer as well as Mathematica notebooks with showcase examples.

연구 동기 및 목표

• 복잡한 계산에서 수동 오류를 줄이기 위해 양자장론의 기능적 방정식 기호적 유도를 자동화하는 것.
• 마스터 방정식에서 기능적 고체역학군 방정식, 디슨-슈윙거 방정식, 수정된 슬라바노프-타일러 항등식을 통합된 프레임워크로 유도하는 것.
• 반교환 관계에서 유도되는 기호와 계수를 추적함으로써 페르미온 통계를 정확히 처리하는 것.
• 일관되고 모듈형이며 확장 가능한 방식으로 운동량 라우팅 및 잘라내기 기법을 지원하는 것.
• 사용자 우아한 노트북 통합 환경을 통해 연구자들이 체계적으로 n점 함수를 유도하고 분석할 수 있도록 하는 것.

제안 방법

• 패키지는 라우어 및 내부 대칭성을 포함한 장 인덱스를 표현하기 위해 데위트의 형식을 사용한 압축된 표기법을 사용합니다.
• 장과 소스를 그라스만 통계를 포함하는 메트릭을 가진 단일 장 공간의 구성요소로 간주하는 슈퍼장 형식을 구현합니다.
• 기능적 도함수는 마스터 액션에 대해 기호적으로 적용되며, 페르미온 (반)교환 관계에 기반한 정확한 부호 규칙을 따릅니다.
• 스윙거 기능에서 효과적 액션으로의 레전드르 변환을 지원하여 효과적 평균 액션에 대한 방정식을 도출할 수 있습니다.
• 장 공간에 대한 추적, 잘라내기 기법 적용, 피카르도 그림에서의 운동량 라우팅을 위한 모듈이 포함되어 있으며, 기호와 계수를 유지합니다.
• 설치 프로그램과 검증 및 사용자 가이드를 위한 예제 노트북을 포함한 모듈형 Mathematica 환경으로 구성되어 있습니다.

실험 결과

연구 질문

• RQ1 양자장론에서 기능적 방정식의 기호적 유도는 어떻게 자동화할 수 있으며, 페르미온 기호 관례를 유지할 수 있는가?
• RQ2 n점 함수 기호 유도에서 운동량 라우팅 및 잘라내기 기법을 효과적으로 구현하는 가장 좋은 방법은 무엇인가?
• RQ3 모멘텀 캐스트가 있는 마스터 액션에서 수정된 슬라바노프-타일러 항등식은 어떻게 체계적으로 도출할 수 있는가?
• RQ4 단일 기호 프레임워크로 다양한 장론에서 fRG, DSE, mSTI 방정식의 유도를 통합할 수 있는가?
• RQ5 텐서와 운동량에 의존하는 상관함수의 복잡성은 기호 계산에서 어떻게 관리할 수 있는가?

주요 결과

• 패키지는 양밀스 이론에서 글루온 두점 함수에 대한 기능적 고체역학군 방정식을 텐서 및 운동량 구조를 모두 포함하여 성공적으로 도출했습니다.
• 비영인 운동량 스케일에서 글루온 두점 함수에 대한 수정된 슬라바노프-타일러 항등식을 유도하여 캐스트 항의 명시적 의존성을 보였습니다.
• 한 및 두 개의 페르미온 플레버를 가진 유카와 이론에서 스칼라 및 페르미온 두점 함수에 대한 플로우 방정식을 운동량 라우팅 및 기호 처리를 정확히 수행하여 도출했습니다.
• ghost-gluon 꼬리점 디슨-슈윙거 방정식이 모든 인덱스와 운동량 의존성을 유지하면서 기호적으로 도출되었습니다.
• 패키지는 메트릭과 도함수 규칙에 포함된 $(-1)^{ab}$ 계수를 포함하여 페르미온 장에서 기인하는 비트리비얼한 기호 구조를 정확히 처리했습니다.
• 통일된 장 공간 및 소스 형식을 사용함으로써 fRG, DSE, mSTI 간의 일관성을 확보했습니다.