[논문 리뷰] New features of FORM

J.A.M. Vermaseren|ArXiv.org|2000. 10. 19.

Theoretical and Computational Physics인용 수 792

한 줄 요약

이 논문은 양자장론 계산을 위한 고성능 기호 연산 시스템인 FORM의 버전 3을 소개한다. 새로운 기능으로는 통합 패키지를 통한 조화합, 멜린 변환 및 군 불변량에 대한 향상된 지원이 포함되어 있으며, 이는 복잡한 진폭 및 도형 계산에서 자동화와 효율성을 크게 향상시킨다. 대규모 문제에서 다른 시스템 대비 성능 향상이 최대 100배에 이르며, 이는 이전에는 불가능시였던 계산을 가능하게 한다.

ABSTRACT

Version 3 of FORM is introduced. It contains many new features that are inspired by current developments in the methodology of computations in quantum field theory. A number of these features is discussed in combination with examples. In addition the distribution contains a number of general purpose packages. These are described shortly.

연구 동기 및 목표

• 양자장론 계산에서 기하급수적으로 증가하는 기호 연산의 복잡성 문제를 해결하기 위해 FORM의 성능과 확장성을 향상시키는 것.
• 고급 수학적 구조(예: 조화합 및 다이로그함수)의 처리를 단순화하기 위해 FORM v3에 새로운 기능을 도입하는 것.
• 색깔 불변량과 멜린 공간 적분을 위한 최적화된 패키지를 통해 대규모 파인먼 도형 계산을 지원하는 것.
• 최소한의 코드 수정으로 FORM 프로그램의 병렬 실행을 효율적으로 가능하게 하여 고복잡도 계산의 확장성을 향상시키는 것.
• 일반 목적의 패키지를 통해 모듈식이고 확장 가능한 프레임워크를 제공하여 자동화를 강화하고 수동 코드 작성의 노력을 줄이는 것.

제안 방법

• C에서 객체 지향 원칙을 적용한 재설계된 내부 아키텍처를 도입하여 성능이나 메모리 효율성에 손상 없이 유지보수성을 향상시킨다.
• 강한 타입 체계와 컴iles 타임 최적화를 활용하여 기호 연산을 가속화하며, 특히 큰 표현식에서 유리하다.
• 도메인 특화 패키지(예: harmpol, color, mincer)를 통합하여 멜린 변환 및 군 불변량과 같은 복잡한 연산을 자동화한다.
• melin 패키지를 통해 H-함수와 그 멜린 변환의 재귀적 평가를 지원하여 조화합의 직접 계산을 가능하게 한다.
• 다중 프로세서를 통해 FORM 프로그램의 병렬 실행을 투명하게 지원하며, 최소한의 코드 수정으로 더 빠른 순차적 머신을 모방한다.
• 필터 기반 배치 실행 모델을 사용하여 표준 편집기와의 통합과 대규모 개발을 위한 모듈식 프로그램 구조를 가능하게 한다.

실험 결과

연구 질문

• RQ1 현대 양자장론 계산의 고성능 요구사항을 충족시키기 위해 기호 연산 시스템은 어떻게 최적화될 수 있는가?
• RQ2 파인먼 도형 진폭에서 조화합과 멜린 변환의 평가를 자동화하는 데 가장 효과적인 기능은 무엇인가?
• RQ3 아키텍처 재설계 없이도 FORM과 같은 기호 시스템이 벡터 또는 병렬 아키텍처 수준의 성능을 달성할 수 있는 정도는 어느 정도인가?
• RQ4 비아벨 게이지 이론에서 복잡한 군 불변량은 기호 연산을 통해 어떻게 효율적이고 일반적으로 계산될 수 있는가?
• RQ5 최소한의 사용자 간섭으로 대규모 계산의 거의 투명한 병렬 처리를 기호 시스템이 지원할 수 있는가?

주요 결과

• FORM v3는 대규모 기호 연산에서 다른 컴퓨터 대수 시스템 대비 최대 100배의 성능 향상을 달성하여 이전에는 불가능시였던 계산을 가능하게 한다.
• melin 패키지는 H-함수를 $1\pm x$로 나눈 역 멜린 변환을 성공적으로 계산하여 최대 무게 10까지의 조화합으로 표현된 정확한 해석적 표현을 도출한다.
• color 패키지는 SU(N)과 E8과 같은 예외적 군의 군 불변량을 자동으로 계산할 수 있으며, 단순한 id 명령어를 통해 임의의 표현에 대해 결과를 치환할 수 있다.
• mincer 패키지는 MS-bar 체계에서 질량이 없는 3-루프 보편형 적분을 계산하여 $-139/2 - 5/2\epsilon^{-3} - \cdots + 5/2\zeta_3$ 와 같은 높은 정밀도의 결과를 도출한다.
• FORM의 프로토타입 병렬 버전은 수정되지 않은 FORM 프로그램(예: mincer)을 여러 프로세서에서 실행할 수 있으며, 거의 이상적인 속도 향상을 달성하여 더 빠른 순차적 머신을 효과적으로 시뮬레이션한다.
• E8의 경우 $\eta = 2$ 일 때 $g_{14} = 2075760000\eta^7$ 를 계산하여 예외적 군 불변량의 정확하고 자동화된 평가를 입증한다.