A Modern ARtificial Theoretical phYsicist

Principle

MARTY is a symbolic computation program specialized for high-energy physics computations: amplitudes, cross-sections, and Wilson coefficients in a large variety of Beyond the Standard Model (BSM) models. All computations are automated and symbolic.

MARTY is composed of three modules. Its core, containing all the physics ; CSL (C++ Symbolic computation Library) that allows to manipulate mathematical expressions symbolically ; and GRAFED (Generating and Rendering Application for FEynman diagrams) that generates and displays Feynman diagrams.

Discover its features more in detail in the documentation.

Model building

Within MARTY it is possible to build a model. Either by giving explicitly the Lagrangian (often a heavy task), or by giving a high-energy version of it (with all symmetries preserved, with much less interaction terms) and asking MARTY to break it following some prescriptions. Gauge symmetry breaking, flavor symmetry breaking, field rotation / redefinition, mass matrix diagonalization may be done on demand by MARTY.

MARTY's models lie in a 4-dimensional Minkowski space-time, with particles of spin 0, 1 and 1/2 (Weyl, Dirac and Majorana fermions). Particles may be in any irreducible representation of a semi-simple group (SU(N), SO(N), Sp(N), F4, E6, E7, E8 and G2).

Theoretical calculations

Given a Model, MARTY may compute symbolically and automatically theoretical quantities. First, Feynman rules are derived. With them, amplitudes, cross-sections and Wilson coefficients may be calculated up to the 1-loop level. To do so, MARTY takes care of simplifying Minkowski indices, Dirac algebra, group theory factors ; and momentum integrals are reduced to scalar quantities that may be evaluated numerically.

All computations are done symbolically with the help of CSL (C++ Symbolic computation Library), a sub-module of MARTY. Learn more about CSL on the documentation.

Code generation

Symbolic expressions that MARTY derives may be rather long and complicated, in particular for 1-loop computations. For further phenomenological analysis of the results, MARTY can generate and build C++ numerical libraries to evaluate expressions. Unknown parameters at the moment of the evaluation are let as function parameters.

Numerical libraries generated by MARTY are written in C++, and allow to evaluate the calculated theoretical quantities depending on the model's parameters. Plotting is however usually done with python.

Feynman diagrams

MARTY also has a module that fully automates generation and rendering of Feynman diagrams. This module is called GRAFED (Generating and Rendering Application for FEynman Diagrams).

Generated diagrams may be edited, and exported directly as PNG files or as Latex code.


Annoucements

MARTY-1.3 Release (May the 10th 2020):

This release includes:

  • General Fierz identities.
  • Refactored diracology (new SGL module created for the occasion: Symbolic Gamma-matrices Library).
  • New Standard Model, build from high-energy Lagrangian and much more reliable.
  • Calculation pipeline refactored, more utilities to isolate specific contributions in amplitudes.
  • Several bug fixes.

MARTY-1.2.1 Release (February the 13rd 2020):

This release includes:

  • Correction of group theory weights, in particular SU(N) identities.
  • Bug fixed in squared amplitude compression algorithm.

MARTY-1.2 Release (February the 7rd 2020):

This release includes:

  • Fermion number violating interactions have now a more general treatment.
  • Run-time optimizations in all parts of the code.
  • Heavy squared amplitudes (in particular at one loop) are now performed well without creating expressions with a non manageable size.
  • Optimizations of the generated code for Wilson coefficients and squared amplitudes.
  • Better interface for calculations and error handling in model building.
  • Latex names for particles can now be defined separately from regular names.
  • Various bug fixes.

MARTY-1.1 Release + Manual (December the 3rd 2020)

This release includes:

  • Manual for MARTY, comprehensive, that covers all main features of MARTY from model building to theoretical calculations.
  • Cleaner User Interface corresponding to all the sample codes presented in manual.
  • Installation compatible with Mac with the setup.sh script.
  • Run-time optimization deriving large irreducible representation (irrep).
  • In GRAFED: full latex support for labels in Feynman diagrams.
  • In GRAFED: better User Interface.
  • Corrections to the SM and the MSSM.

MARTY-1.0 Release (November the 5th 2020)

First public release of MARTY! It can be found here.

Current developments

MARTY-1.4 development (planned for July 2021):

This future release will include:

  • Simple User Interface to derive general Wilson coefficients, including for 4-fermion operators.

Special Acknowledgements

Thanks to Jérémie Uhlrich-Meunier that designed the logo and the website for the sake of MARTY!