[논문 리뷰] SpinorsExtras - Mathematica implementation of massive spinor-helicity formalism

Jakub Kuczmarski|arXiv (Cornell University)|2014. 06. 21.

Particle physics theoretical and experimental studies참고 문헌 25인용 수 5

한 줄 요약

이 논문은 S@M 프레임워크를 확장하여 질량이 있는 스핀로르 형식을 구현하는 Mathematica 패키지인 SpinorsExtras를 제시한다. 이는 질량이 있는 페르미온과 벡터 보손을 포함한 헬리시티 앰플리튜드의 기호적 및 수치적 계산을 가능하게 하며, 온-shell 재귀, 파인먼 도형 계산, 기준 벡터 관리 기능을 지원한다. 게이지 불변성 테스트 및 앰플리튜드 간소화를 위한 내장 도구를 통해 LHC 시대의 고정밀도 QCD 및 전자약력 앰플리튜드 계산을 크게 간소화한다.

ABSTRACT

We present SpinorsExtras package implementing massive spinor-helicity formalism in Mathematica on top of S@M package. Package defines new objects for Mathematica - massive spinors and reference, associated and polarization vectors. Various properties of introduced symbols and relations among them are implemented together with functions to manipulate and interchange such objects. The package can be used for symbolic calculation of helicity amplitudes involving massive particles with real or complex momenta, using on- or off-shell recursive techniques or Feynman diagrams.

연구 동기 및 목표

• LHC 시대에 질량이 있는 입자를 포함한 산란 앰플리튜드에 대한 고정밀 이론 계산의 증가하는 필요를 해결하기 위해.
• 기존의 S@M 패키지에 스핀로르-헬리시티 형식에서 질량이 있는 스핀로르, 분광 벡터, 기준 벡터를 위한 기호 도구를 추가하기 위해.
• 온-shell 재귀, 파인먼 도형, 또는 기타 형식 기반 기법을 사용하여 헬리시티 앰플리튜드의 자동 기호적 및 수치적 계산을 가능하게 하기 위해.
• 게이지 불변성 및 기준 벡터에 대한 독립성 테스트를 위한 유틸리티를 제공하여 결과의 신뢰성 확보하기 위해.
• 다중 레그 앰플리튜드에서 질량이 있는 입자에 대해 실수 및 복소수 운동량을 모두 지원하기 위해.

제안 방법

• 질량이 있는 스핀로르, 분광 벡터, 기준 벡터를 위한 새로운 Mathematica 기호를 도입하며, 변환 및 정규화 성질을 정의한다.
• 명시적 및 암시적 기준 벡터를 사용한 빛의 경로 분해를 구현하며, 암시적 형태에서 필요에 따라 기본 기준 벡터를 사용한다.
• 온-shell 재귀를 위한 질량이 있는 스핀로르의 복소수 이동을 지원하며, 경계 항과 온-shell 조건을 처리할 수 있는 도구를 제공한다.
• 질량이 있는 스핀로르와 분광 벡터를 운동량과 기준 벡터의 조합으로 분해할 수 있는 함수를 제공하여 앰플리튜드 구축을 가능하게 한다.
• 기준 벡터 재정의에 따른 표현 간소화 도구를 내장하여 앰플리튜드의 불변성을 테스트한다.
• 질량과 운동량의 할당을 통해 수치적 평가를 지원하며, 표준 파인먼 도형 앰플리튜드 결과와 비교한다.

실험 결과

연구 질문

• RQ1 실수 또는 복소수 운동량을 가진 질량이 있는 입자를 포함한 스핀로르-헬리시티 형식을 체계적으로 어떻게 확장할 수 있는가?
• RQ2 질량이 있는 페르미온과 벡터 보손을 포함한 헬리시티 앰플리튜드의 계산을 자동화하기 위해 필요한 기호적 및 알고리즘 도구는 무엇인가?
• RQ3 기호적 계산 프레임워크 내에서 온-shell 재귀 기법을 질량이 있는 입자에 어떻게 적응시킬 수 있는가?
• RQ4 계산된 앰플리튜드에서 기준 벡터에 대한 독립성과 게이지 불변성이 얼마나 알고리즘적으로 검증될 수 있는가?
• RQ5 이 패키지는 전자-뮤온 산란과 같은 벤치마크 과정에 대해 표준 파인먼 도형 결과를 신뢰성 있게 재현할 수 있는가?

주요 결과

• SpinorsExtras 패키지는 S@M을 질량이 있는 입자(페르미온 및 게이지 보손 포함)를 포함한 헬리시티 앰플리튜드의 기호적 계산을 지원하도록 성공적으로 확장하였다.
• 패키지는 질량이 있는 스핀로르의 복소수 이동을 통한 온-shell 재귀를 지원하여 다중 레그 앰플리튜드의 효율적 계산을 가능하게 하였다.
• 패키지를 통한 수치적 결과는 표준 파인먼 도형 계산 결과와 일치하여 정확성을 검증하였다.
• 자동 테스트를 통한 기준 벡터 재정의에 대한 앰플리튜드 불변성 확인을 통해 게이지 불변성이 확인되었다.
• 기준 벡터를 포함한 표현 간소화를 지원하며, 개별 도형의 독립적 간소화도 가능하다.
• 실수 및 복소수 운동량 모두를 지원하여 유니타리성 및 복소수 운동량 기법에의 응용을 가능하게 하였다.