Studies Beyond the Standard Model (BSM) will become more and more important in the near future with the rapidly increasing amount of data from different experiments around the world. The full study of BSM models is in general an extremely time-consuming task involving long and difficult calculations. It is in practice not possible to do exhaustive predictions in these models by hand. Here we present MARTY, a new C++ framework that fully automates calculations from the Lagrangian to physical quantities such as amplitudes or cross-sections. It can fully simplify, automatically and symbolically, physical quantities in a very large variety of models and compute Wilson coefficients in effective theories. This will considerably facilitate BSM studies in flavour physics. Contrary to the existing public codes in this field MARTY aims at providing a unique, free, open-source, powerful and user-friendly tool for high-energy physicists studying predictive BSM models, in effective or full theories up to the one-loop level, which does not rely on any external package. With a few lines of code one can gather final expressions that may be evaluated numerically for statistical analysis.

Program summary

Program Title: MARTY

CPC Library link to program files: https://doi.org/10.17632/y7n82jcj8d.1

Developer’s repository link: https://marty.in2p3.fr

Licensing provisions: GPLv3

Programming language: C++

Supplementary material: GNU-GSL [1], LoopTools [2]

Nature of problem: Beyond the Standard Model phenomenology often requires one-loop theoretical calculations. These calculations must be done analytically because a numerical evaluation of such quantities is not possible, the number of terms being too large for any computer to handle. The required simplifications are very long and error prone, which justifies the effort to automate them. A dedicated computer algebra system is therefore needed. Some packages written with Mathematica [3] – a private and closed software for symbolic manipulations – can perform such calculations. There are usually multiple packages to interface, the user needs to pay for Mathematica and the calculation of Wilson coefficients for BSM and at the one-loop level is complicated to automate.

Solution method: MARTY is a code written for BSM phenomenology that comes with its own computer algebra system, CSL, and automates the calculation of theoretical quantities at the one-loop level, in a very large variety of BSM models. This provides a unique C++ code, free and open-source, that can be used to do model building and calculate any kind of amplitudes, squared amplitudes or Wilson coefficients in BSM scenarios starting from a given Lagrangian. From the developers point of view, having such a code, independent of any other framework using only the C++ standard library (C++17 standard), is a great opportunity to develop it even further implementing new simplification procedures, different types of calculation and more.

References:

[1] GSL-GNU Scientific Library. https://www.gnu.org/software/gsl/.

[2] T. Hahn, M. Perez-Victoria, Automatized one loop calculations in four-dimensions and D-dimensions, Comput. Phys. Commun. 118 (1999) 153–165. arXiv:hep-ph/9807565, doi: http://dx.doi.org/10.1016/S0010-4655(98)00173-8.

[3] Wolfram Research Inc., Mathematica. https://www.wolfram.com/mathematica.

中文翻译：

---

-中号odern AR tificial Ť heoretical pH值ý sicist A C ++框架自动化超出标准模型的理论计算

随着来自世界各地不同实验的数据量迅速增加，超出标准模型（BSM）的研究将在不久的将来变得越来越重要。通常，对BSM模型的全面研究是一项非常耗时的任务，涉及到漫长而困难的计算。在实践中，不可能手动在这些模型中进行详尽的预测。在这里，我们介绍MARTY，这是一个新的C ++框架，可以完全自动执行从拉格朗日算式到物理量（例如振幅或横截面）的计算。它可以自动地和象征性地完全简化非常多种模型中的物理量，并以有效的理论计算威尔逊系数。这将极大地促进风味物理中BSM的研究。与该领域现有的公共法规相反，MARTY旨在提供一种独特的，免费，开源，功能强大且用户友好的工具，供高能物理学家以有效或完整的理论研究预测BSM模型，直至单循环，而无需依赖任何外部程序包。只需几行代码，就可以收集最终表达式，可以对其进行数字评估以进行统计分析。

计划摘要

节目名称：MARTY

CPC库链接到程序文件： https : //doi.org/10.17632/y7n82jcj8d.1

开发人员的存储库链接：https://marty.in2p3.fr

许可条款： GPLv3

编程语言： C ++

补充材料： GNU-GSL [1]，LoopTools [2]

问题的性质：除标准模型现象外，通常还需要一环理论计算。这些计算必须在分析上进行，因为不可能对此类数量进行数值评估，因为术语数量太大，任何计算机都无法处理。所需的简化非常长且容易出错，这证明了使它们自动化的努力的合理性。因此，需要专用的计算机代数系统。一些用Mathematica [3]编写的软件包–一种用于符号操作的私有且封闭的软件–可以执行这样的计算。通常有多个软件包可以进行接口连接，用户需要为Mathematica付费，而BSM的Wilson系数的计算则很容易实现自动化。

解决方法：MARTY 是为BSM现象学编写的代码，带有其自己的计算机代数系统CSL，可以在多种BSM模型中以单循环级别自动计算理论量。这提供了一个免费的开放源代码的独特C ++代码，该代码可用于进行模型构建并从给定的拉格朗日算子开始计算BSM场景中的任何振幅，平方振幅或Wilson系数。从开发人员的角度来看，拥有这样一个独立于C ++标准库（C ++ 17标准）的任何其他框架的代码，是进一步开发新的简化程序，不同类型的计算和开发方法的绝佳机会。更多的。

参考：

[1] GSL-GNU科学图书馆。https://www.gnu.org/software/gsl/。

[2] T. Hahn，M。Perez-Victoria， 在 4维和D维上自动进行一环计算，计算。物理 公社 118（1999）153-165。arXiv：hep-ph / 9807565，doi：http：//dx.doi.org/10.1016/S0010-4655（98）00173-8。

[3] Wolfram Research Inc.，Mathematica。https://www.wolfram.com/mathematica。