[논문 리뷰] Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica

Jacob L. Bourjaily|arXiv (Cornell University)|2012. 12. 31.

Particle physics theoretical and experimental studies참고 문헌 22인용 수 39

한 줄 요약

이 논문은 스캐터링 앰리튜드, 온-shell 다이어그램, 그라스만만의 푸지드로이드 분할에 관한 연구를 간편화하기 위해 'positroids' Mathematica 패키지를 소개한다. 이 패키지는 순열 기반의 조합수학을 통해 캐논리컬 좌표를 계산하고, 플라빅 그래프를 생성하며, 온-쉘프 미세형식을 평가함으로써, 모든 루프 차수에서 $\mathcal{N}=4$ SYM 앰리튜드의 연구를 크게 단순화한다.

ABSTRACT

The many intricate connections between scattering amplitudes, on-shell diagrams, and the positroid stratification of the Grassmannian has recently been described in great detail. In order to facilitate the exploration of this rich correspondence, we have prepared a public Mathematica package called "positroids" which includes an array of useful tools including those for the construction of canonical coordinates for positroid configurations, the drawing of representative on-shell (plabic) graphs, and the evaluation of on-shell differential forms. This note documents the functions made available by the positroids package; the package's source code together with a Mathematica notebook containing many detailed examples of its functionality are included with this note's submission files on the arXiv.

연구 동기 및 목표

• 스캐터링 앰리튜드, 온-쉘프 다이어그램, 그리고 그라스만만의 $G(k,n)$ 푸지드로이드 분할 간의 깊은 연결 고리를 다스리기 위해.
• 푸지드로이드 구성 요소에 대한 캐논리컬 좌표와 온-쉘프 미세형식의 구축을 자동화하는 계산 툴킷을 제공하기 위해.
• 기호 계산을 통해 온-쉘프 다이어그램과 그에 수반된 수학적 구조를 효율적으로 탐색할 수 있도록 하기 위해.
• 기본적인 사용자 인터페이스를 제공하고, 광범위한 문서화와 예제를 포함한 오픈소스 패키지로써, 평면적 $$\mathcal{N}=4$ 수퍼양밀스 이론 연구를 지원하기 위해.

제안 방법

• 패키지는 플라빅 그래프 내의 푸지드로이드 셀과 왼쪽-오른쪽 경로를 순열로 표기하여, 온-쉘프 다이어그램을 조합론적으로 표현한다.
• 푸지드로이드 구성 요소에 대해 $G(k,n)$ 내에서 캐논리컬 좌표 $\alpha_i$와 행렬 표현 $C(\alpha)$를 계산한다.
• 시각적 플라빅 그래프를 생성하고, 순열 데이터를 통해 왼쪽-오른쪽 경로를 추적함으로써 직접 기하학적 해석이 가능하게 한다.
• 온-쉘프 미세형식을 $d\log\alpha_1 \wedge \cdots \wedge d\log\alpha_d$ 로 평가하여 앰리튜드 적분을 단순화한다.
• 초기 성분 추출 및 BCFW 재귀 항 수 계산을 통해 슈퍼앰리튜드의 물리적 성분을 추출하는 기능을 포함한다.
• 미려한 형식화, 시간 측정, 임의의 테스트(예: $\partial^2 = 0$ mod 2 검증)를 포함한 기호 연산을 지원한다.

실험 결과

연구 질문

• RQ1 온-쉘프 다이어그램의 조합적 구조는 순열과 플라빅 그래프를 통해 체계적으로 표현되고 시각화될 수 있는가?
• RQ2 푸지드로이드 셀 $G(k,n)$, 캐논리컬 좌표, 그리고 $$\mathcal{N}=4$ SYM 내의 스캐터링 앰리튜드 사이의 정확한 대응 관계는 무엇인가?
• RQ3 Mathematica 내의 기호 계산은 온-쉘프 미세형식과 앰리튜드 성분의 평가를 자동화하는 데 어떻게 활용될 수 있는가?
• RQ4 BCFW 재귀를 통한 트리 레벨 앰리튜드 생성의 계산 복잡도는 얼마이며, 비영인 항은 몇 개인가?
• RQ5 패키지는 푸지드로이드 셀 경계의 기본 대수적 항등식, 예를 들어 $\partial^2 = 0$ mod 2를 검증하는 데 어떻게 사용될 수 있는가?

주요 결과

• 패키지는 임의의 푸지드로이드 셀에 대해 캐논리컬 부피 형식 $d\log\alpha_1 \wedge \cdots \wedge d\log\alpha_d$ 를 성공적으로 계산하여, 온-쉘프 앰리튜드의 직접 평가를 가능하게 한다.
• 6점, 3루프 N$^{(k-2)}$MHV 앰리튜드의 경우, BCFW 재귀는 트리 레벨에서 3개의 비영인 항과 1루프에서 16개의 비영인 항을 생성하며, `termsInBCFW[6,3]`과 `termsInBCFW[6,3,1]`를 통해 계산되었다.
• `treeContour[6,3]` 함수는 6점 N$^2$MHV 앰리튜드에 기여하는 세 개의 푸지드로이드 셀에 해당하는 순열 레이블 리스트 {{4,5,6,8,7,9}, {3,5,6,7,8,10}, {4,6,5,7,8,9}} 를 반환한다.
• `superComponent` 함수는 특정 $\widetilde{\eta}$-성분 함수를 추출한다; 예를 들어, 8입자 N$^2$MHV 앰리튜드의 $(-,+,-,+,-,+, -,+)$ 성분은 $-\frac{908416}{39375}$ 로 평가된다.
• 패키지는 변수에 양수 값을 할당하는 `explicify` 및 경계 항등식을 검증하는 `mod2` 기능을 포함한다; 예를 들어, `mod2[Join@@(boundary/@boundary[randomCell[8,4,12]])]` 를 통해 $\partial^2 = 0$ mod 2 를 확인할 수 있으며, 이는 빈 리스트를 반환한다.
• `nice` 함수는 표준 물리학 표기법(예: $\alpha_1$, $\langle 1234 \rangle$)을 사용하여 표현식을 형식화하여, 복잡한 앰리튜드와 형식의 가독성을 향상시킨다.