[논문 리뷰] FORM, Diagrams and Topologies

Franz Herzog, Ben Ruijl외 3명|arXiv (Cornell University)|2016. 08. 05.

Particle physics theoretical and experimental studies참고 문헌 16인용 수 6

한 줄 요약

이 논문은 고순서 양자장 이론 도형, 특히 4계절 무질량 보편자 계산을 위한 기호적 다루기의 자동화를 위해 고도화된 FORM 프로그래밍 기법을 제시한다. 최적화된 정점 표현, 'dotmaptabl'을 통한 동적 대체 테이블, 복잡도를 관리하기 위한 적응형 전개 전략을 도입하여 계산 비용을 크게 감소시키고 양성치역학 및 깊은 비탄성 산란에서 이전에는 해결이 불가능했던 계산을 가능하게 한다.

ABSTRACT

We discuss a number of FORM features that are essential in the automatic processing of very large numbers of diagrams as used in the Forcer program for 4-loop massless propagator diagrams. Most of these features are new.

연구 동기 및 목표

• 고순서 양자장 이론 계산에서 기하급수적으로 증가하는 피카르 도형의 기호적 처리를 자동화한다.
• 정점 표현과 수축 전략을 최적화하여 4계절 무질량 보편자 도형의 계산 복잡도를 감소시킨다.
• 도형의 위상과 거듭제곱 구조에 따라 적응하는 FORM 내의 지능형 대체 전략을 개발한다.
• 고다중도 적분에서 유리 다항계수와 에프스실론 전개를 효율적으로 처리한다.
• HEPGAME 프로젝트를 지원하기 위해 향후 세대의 정밀도 계산을 위한 확장 가능하고 자기 최적화 기능을 갖춘 코드를 구축한다.

제안 방법

• 자신의 운동량 벡터와의 '자동 수축'을 극대화하는 방식으로 삼중 글루온 정점을 재구성하여 항의 수를 감소시키고 분모를 제거한다.
• 'dotmaptabl'을 통한 동적 대체 테이블 시스템을 구현하여 도형 위상에 특화되고 거듭제곱 최적화된 id-규칙을 자동 생성한다.
• 운동량 불변량의 최대 거듭제곱을 기반으로 최적의 대체 순서를 결정하는 재귀 알고리즘을 사용하여 모듈화되고 효율적인 감소를 실현한다.
• 정확도와 성능의 균형을 맞추기 위해 정확한 유리 다항식과 절삭된 에프스실론 전개를 전환하는 하이브리드 계산 모드를 도입한다.
• 각 도형 위상에 맞는 맞춤형 id-규칙 세트를 사용하는 '위상 인식' 대체 전략을 적용하여 중간 표현의 성장률을 최소화한다.
• Forcer 프로그램과 MINOS 기반 워크플로우에 통합하여 도형 표기 자동화, 위상 분류, 계수 계산을 자동화한다.

실험 결과

연구 질문

• RQ1 최적화된 정점 표현과 수축 패tern을 통해 4계절 무질량 보편자 도형의 기호적 복잡도는 어떻게 감소시킬 수 있는가?
• RQ2 FORM에서 도형 위상에 특화되고 거듭제곱 최적화된 대체 규칙를 자동 생성할 수 있는 전략은 무엇인가?
• RQ3 FORM은 정확한 유리 계수와 절삭된 에프스실론 전개를 전환할 수 있는 적응형 전개 모드를 어떻게 확장할 수 있는가?
• RQ4 고다중도 유리 다항식에 대해 절삭된 전개를 사용할 경우, 계산 속도와 정확도 사이의 최적의 균형은 무엇인가?
• RQ5 도형 위상과 운동량 거듭제곱 구조에 기반해 동적으로 대체 테이블을 구성함으로써 FORM에서 자기 최적화 코드 생성이 가능할 수 있는가?

주요 결과

• 새로운 정점 표현 방식은 '자기 수축'을 활용하여 항의 수를 감소시키고 분모를 제거함으로써 순수 글루온 도형에서 상당한 단순화를 이룬다.
• 'dotmaptabl' 시스템은 도형 위상 최적화된 대체 규칙를 자동 생성하여 필요한 id-문장 수를 감소시키고 계산 효율성을 향상시킨다.
• 이 방법은 운동량 불변량의 최대 거듭제곱에 따라 적응하는 동적 대체 전략을 가능하게 하여 최적의 모듈 수와 표현 크기를 달성한다.
• 하이브리드 계산 모드는 정확한 유리 다항식에서 절삭된 에프스실론 전개로의 전환을 지원하며, 'expand(ep,14)'를 통해 깊이 제어를 통해 복잡도를 관리할 수 있다.
• 이 방법은 깊은 비탄성 산란에서 4계절 계수 함수의 계산을 성공적으로 수행하여 문헌상의 최신 기술을 초월한다.
• 문제의 구조에 기반해 프로그램이 자체적으로 대체 논리를 생성하고 최적화할 수 있도록 하여 향후 확장성을 지원한다.