[논문 리뷰] Project "CalcPHEP: Calculus for Precision High Energy Physics"

D.Y. Bardin, Giampiero Passarino외 5명|ArXiv.org|2002. 02. 01.

Computational Physics and Python Applications참고 문헌 9인용 수 11

한 줄 요약

CalcPHEP는 고에너지물리학 정밀도 계산을 위한 네 단계로 구성된 인터넷 기반의 계산 시스템을 제안하며, $1\to2$, $2\to2$, 그리고 일부 $2\to3$ 붕괴 과정에 대해 라그랑지안에서 시작하여 실제 1계 순환 관측량에 이르는 체인을 자동화한다. 이 시스템은 FORM3, C++, Java를 통합하여 해석적 진폭을 생성하고, 적외선 재배열을 처리하며, 몬테카를로 이벤트 생성기를 생성한다. 2004년까지 $Z$ 및 $W$ 붕괴의 1계 순환 정밀도를 위한 완전 자동화가 계획되어 있다.

ABSTRACT

In this paper we describe the present status and our plans for the realization of next phases of the CalcPHEP project aimed at the theoretical support of experiments at modern and future accelerators: TEVATRON, LHC, electron Linear Colliders (LC's) i.e. TESLA, NLC, CLIC, and muon factories. Within this project, we are creating a four-level computer system which eventually must automatically calculate pseudo- and realistic observables for more and more complicated processes of elementary particle interactions, using the principle of knowledge storing. The first phase of the CalcPHEP system was realized in the site http://brg.jinr.ru/ in 2000--2001.

연구 동기 및 목표

• 고에너지물리학의 정밀도 계산을 위한 완전 자동화된 인터넷 액세스 가능한 시스템을 개발하여, 라그랑지안에서 실제 미분 단면적에 이르기까지의 전 과정을 커버한다.
• $1\to2$, $2\to2$, 그리고 일부 $2\to3$ 과정에 대해 1계 순환 정밀도를 달성하며, $Z\to f\bar{f}\gamma$와 같은 복사 붕괴를 포함한다.
• 해석적 1계 순환 진폭과 몬테카를로 이벤트 생성기 간의 통합을 통해 다입자 최종 상태의 현실적인 시뮬레이션을 가능하게 한다.
• LHC, TESLA, NLC, CLIC, 뮤온 팩토리와 같은 향후 실험들을 지원하기 위해 확장 가능하고 모듈러한 소프트웨어 아키텍처를 제공한다.
• 프로세스 간에 반복 사용 가능한 피airs 규칙, 다이어그램 위상 구조, 진폭 구성요소를 저장하고 재사용할 수 있는 지식 기반 프레임워크를 구축한다.

제안 방법

• 시스템은 네 단계로 구성된다: (1) FORM3를 이용한 해석적 1계 순환 진폭 계산; (2) UV 및 IR 유한 부분 추출; (3) 다중 광자 방출의 지수화를 위한 적외선 재배열; (4) FORTRAN 또는 C++를 통한 몬테카를로 이벤트 생성기 통합.
• 핵심 엔진은 표기적 계산을 통해 1계 피어만 진폭을 처리하는 데 FORM3를 사용하며, 표준모형 라그랑지안에서 자동으로 피어만 규칙를 생성한다.
• 관계형 데이터베이스(mySQL)는 소스 코드와 중간 결과를 저장하며, PHP 초기 사용 후 Java로 이관된 웹 기반 인터페이스(Java 기반)를 통해 액세스할 수 있다.
• 중간 결과(예: 가짜 관측량)에 직접 액세스하거나 전체 이벤트 생성기 출력을 제공하는 방식으로, 실시간으로 요구에 따라 계산을 수행할 수 있다.
• 중간 액세스 원칙을 따르며, 사용자가 어느 단계에서든 접근할 수 있도록 설계되어 있다(예: 직접 몬테카를로 생성기 액세스 또는 라그랑지안에서 진폭까지 추적 가능).
• 향후 2계 순환 계산을 지원하도록 설계되었으며, 다이어그램 위상 구조 자동 생성 및 그래픽 출력을 중점으로 한 3단계 연구개발이 포함되어 있다.

실험 결과

연구 질문

• RQ1 표준모형 라그랑지안에서 시작하여 실제 미분 분포에 이르기까지 1계 순환 관측량을 계산하는 완전 자동화된 인터넷 기반 시스템을 어떻게 설계할 수 있는가?
• RQ2 복잡한 과정에 대해 해석적 1계 순환 진폭과 몬테카를로 이벤트 생성기 간의 통합을 지원하기 위한 최적의 모듈러 아키텍처는 무엇인가?
• RQ3 정밀도 물리학을 위한 1계 순환 계산에서 적외선 발산과 다중 광자 방출을 체계적으로 다루는 방법은 무엇인가?
• RQ4 확장 가능하고 상호작용이 가능하며 협업이 가능한 고에너지물리학 계산 시스템 개발을 위한 기술 스택(Form3, C++, Java, mySQL)은 무엇인가?
• RQ5 복합적인 최종 상태를 고에너지 충돌기에서 시뮬레이션하기 위해 반해석적 방법(ZFITTER 등)에서 완전한 몬테카를로 시뮬레이션으로의 전환을 어떻게 지원할 수 있는가?

주요 결과

• 2002년 초까지 CalcPHEP의 버전 0.02d는 $1\to2$ 및 $2f\to2f$ 중성미소 상호작용 과정의 1계 순환 붕괴 너비를 성공적으로 계산했으며, 일시적으로 수준 4를 건너뛰었다.
• 시스템은 $Z\to f\bar{f}$ 붕괴에 대해 완전한 1계 순환 정밀도를 달성했으며, 복사 보정을 포함한 결과를 제공했고, 단순한 $Z$ 붕괴의 경우 단계 2~4가 단계 2의 끝부분에 완료되었다.
• 복사 붕괴인 $Z\to f\bar{f}\gamma$는 활발히 개발 중이며, 단계 1~4의 완료가 단계 2에서 계획되어 있다.
• 시스템은 http://brg.jinr.ru/에 호스팅되어 있으며, Apache, FORM3, mySQL, PHP를 사용하고 있으며, 향후 상호작용성과 협업을 향상시키기 위해 Java로 이관 중이다.
• 향후 2계 순환 계산을 위한 기반을 마련했으며, 자동화된 피어만 규칙 및 다이어그램 위상 구조 생성에 대한 연구개발도 진행 중이다.
• Knoxville–Krakow 팀과의 협업을 통해 해석적 결과와 몬테카를로 생성기 간의 통합이 가능해졌으며, 이는 향후 충돌기에서 복잡한 최종 상태를 시뮬레이션하는 데 필수적이다.