[논문 리뷰] FormLink/FeynCalcFormLink : Embedding FORM in Mathematica and FeynCalc

Feng Feng, R. Mertig|arXiv (Cornell University)|2012. 12. 14.

Mathematics and Applications참고 문헌 5인용 수 12

한 줄 요약

이 논문은 Mathematica와 FeynCalc 패키지에 고성능 기호 계산 시스템인 FORM을 통합하는 FormLink 및 FeynCalcFormLink를 제안한다. MathLink와 명명된 파이프를 활용하여 Mathematica와 FORM 간의 원활하고 상호작용 가능한 통신을 가능하게 하며, FORM의 텐서 및 비환원 계산에서의 빠른 처리 능력과 Mathematica의 사용자 友好的 인터페이스, FeynCalc의 고수준 기능을 결합한다. 주요 기여는 복잡한 디라크 트레이스 및 텐서 수축 계산에서 특히 두드러진 성능 향상으로, 기존 Mathematica 내장 구현 대비 수개의 주기수의 속도 향상을 입증하였다.

ABSTRACT

FORM, a symbolic manipulation system, has been widely used in a lot of calculations for High Energy Physics due to its high performance and fficient design. Mathematica, another computational software program, has also widely been used, but more for reasons of generality and user-friendliness than for speed. Especially calculations involving tensors and noncommutative operations like calculating Dirac traces can be rather slow in Mathematica, compared to FORM. In this article we describe FormLink and FeynCalcFormLink, two Mathematica packages to link Mathematica and FeynCalc with FORM. FormLink can be used without FeynCalc and FeynCalcFormLink, which is an extension loading FormLink and FeynCalc automatically. With these two packages the impressive speed and other special features of FORM get embedded into the generality of Mathematica and FeynCalc in a simple manner. FeynCalcFormLink provides a FORM-based turbo for FeynCalc, making it much more efficient. FormLink turns Mathematica into an editor and code organizer for FORM.

연구 동기 및 목표

• 대규모 텐서 및 비환원 계산(예: 디라크 트레이스 평가)을 다룰 때 Mathematica와 FeynCalc에서 발생하는 성능 저하 문제를 해결하기 위해.
• 일반적인 목적의 사용자 友好的 환경인 Mathematica와 FeynCalc에 FORM의 고속 기호 조작 기능을 통합하기 위해.
• 파일 기반 통신의 I/O 오버헤드를 피하고, Mathematica와 FORM 간의 원활하고 상호작용 가능한 인터페이스를 제공하기 위해.
• 사용자가 FORM의 효율성을 유지하면서도 Mathematica의 고수준 문법과 FeynCalc의 고에너지 물리학 전용 도구를 그대로 활용할 수 있도록 하기 위해.
• FORM과 Mathematica 간의 인터페이스 개발 및 유지보수 부담을 줄이기 위해 재사용 가능하고 설치 가능한 패키지를 제공하고 자동 종속성 처리 기능을 포함하기 위해.

제안 방법

• 시스템은 명명된 파이프와 MathLink를 사용하여 Mathematica와 FORM 간의 양방향 통신 채널을 설정하여 파일 I/O 없이 실시간 데이터 교환을 가능하게 한다.
• 사용자 정의 FORM 초기화 파일(init.frm)이 통신 프로토콜을 설정하며, 결과를 Mathematica로 다시 보낼 수 있는 'put' 프로시저와 명령어를 수신하기 위한 'fromexternal' 지시자를 포함한다.
• FormLink 패키지는 저수준 통신을 담당하고, FeynCalcFormLink는 FormLink와 FeynCalc를 자동으로 로드하여 고에너지 물리학 계산에서 직접 사용할 수 있도록 확장한다.
• 수식을 Mathematica/FeynCalc 표기법과 FORM의 고유 문법 간에 변환하는 문법 번역 함수를 구현하여 사용자 간섭을 최소화한다.
• 파일 기반 대체 방법인 RunForm도 제공되어 호환성과 디버깅을 위해 사용되며, 주로 실시간 MathLink 통신을 사용한다.
• 설치 과정은 Mathematica 스크립트를 통해 자동화되어 있으며, 중앙 저장소에서 FormLink, FeynCalc, 플랫폼별 바이너리 파일을 다운로드하고 설치한다.

실험 결과

연구 질문

• RQ1 FORM의 계산 속도를 사용자 친화적인 Mathematica 환경에 통합할 수 있는가? 이때 사용성은 손상되지 않는가?
• RQ2 실용적이고 사용자에게 투명한 방식으로 Mathematica와 FORM 간의 텐서 및 비환원 계산 성능 격차를 메울 수 있는가?
• RQ3 Mathematica와 FORM 간의 이원적 통신에서 지연과 오버헤드를 최소화하는 가장 효율적이고 신뢰할 수 있는 방법은 무엇인가?
• RQ4 FeynCalc와 FORM 간의 문법 및 데이터 흐름을 자동으로 번역하여 원활한 하이브리드 워크플로우를 가능하게 할 수 있는 정도는 어느 정도인가?
• RQ5 인터페이스의 성능 오버헤드는 native FORM 실행에 비해 얼마나 되며, 최적화된 데이터 처리를 통해 이를 줄일 수 있는가?

주요 결과

• FormLink와 FeynCalcFormLink를 통한 FORM의 Mathematica 통합은 복잡한 텐서 및 비환원 계산에서 기존 Mathematica 또는 FeynCalc 내장 구현 대비 수개의 주기수의 속도 향상을 가져온다.
• MathLink와 명명된 파이프의 사용은 Mathematica와 FORM 간의 상호작용적 실시간 통신을 가능하게 하여 파일 기반 방법의 I/O 지연을 피한다.
• 인터페이스에서 발생하는 성능 오버헤드는 눈에 띄지만 관리 가능하며, 특히 큰 표현식에서는 더욱 두드러진다. 향후 병렬 처리 또는 고유의 MathLink 프로그램을 통해 이를 줄일 수 있을 것으로 예상된다.
• 이 시스템은 FORM의 빠른 처리 능력과 Mathematica의 일반성, FeynCalc의 고수준 물리 기능을 성공적으로 융합하여 고에너지 물리학 산란 진폭의 효율적이고 상호작용 가능한 계산을 가능하게 한다.
• 설치 과정은 완전히 자동화되어 있으며 플랫폼에 종속되지 않으며, 단일 Mathematica 명령어로 FormLink, FeynCalc, 플랫폼별 바이너리 파일을 다운로드하고 설정할 수 있다.
• 벤치마크 결과는 FormLink와 FeynCalcFormLink의 출력이 native FeynCalc 및 FORM의 출력과 일치함을 확인하여 인터페이스 및 번역 로직의 정확성을 입증한다.