Automation of a matching on-shell calculator.
Saved in:
| Title: | Automation of a matching on-shell calculator. |
|---|---|
| Authors: | López Miras, Javier1 (AUTHOR), Vilches, Fuensanta1 (AUTHOR) fuenvilches@ugr.es |
| Source: | Computer Physics Communications. Mar2026, Vol. 320, pN.PAG-N.PAG. 1p. |
| Subjects: | Mathematica (Computer software), Software libraries (Computer programming), Electronic data processing, Phenomenological theory (Physics) |
| Abstract: | We introduce mosca, a Mathematica package designed to facilitate on-shell calculations in effective field theories (EFTs). This initial release focuses on the reduction of Green's bases to physical bases, as well as transformations between arbitrary operator bases. The core of the package is based on a diagrammatic on-shell matching procedure, grounded in the equivalence of physical observables derived from both redundant and non-redundant Lagrangians. mosca offers a complete set of tools for performing basis transformations, diagram isomorphism detection, numerical substitution of kinematic configurations, and symbolic manipulation of algebraic expressions. Planned future developments include extension to one-loop computations, thus providing support for EFT renormalization directly in a physical basis and automated computation of one-loop finite matching, including contributions from evanescent operators. PROGRAM SUMMARY Program Title: mosca CPC Library link to program files: https://doi.org/10.17632/xf8zs7hnhm.1 Developer's repository link: https://gitlab.com/matchingonshell/mosca Licensing provisions: GPLv3 Programming language: Mathematica Nature of problem: Matching calculations in effective field theories are traditionally performed off-shell, involving complicated basis reductions through non-trivial field redefinitions to eliminate redundant operators. This process is algebraically intensive and prone to errors. Although on-shell matching, which focuses directly on physical observables, could simplify these steps by avoiding field redefinitions, it has been considered impractical due to the presence of apparent non-localities that must cancel precisely. Automating on-shell matching has therefore been a long-standing challenge. Solution method: Our approach is based on a numerical solution of the on-shell matching equations, which naturally and effortlessly enforces the delicate cancellation of non-local terms between the full theory and the effective theory. By employing rational on-shell kinematics, the method achieves an exact analytic solution despite using numerical techniques. This allows the matching to be performed entirely within a physical operator basis. Additional comments including restrictions and unusual features: The workflow for handling Lagrangians and Feynman diagrams in mosca is based on the integration of FeynArts and FeynCalc. Consequently, users need to provide specific FeynArts model files patched for compatibility with FeynCalc. Additionally, a specialized input format is required to define Wilson coefficients along with their corresponding EFT order (EFTOrder). These requirements ensure the correct processing of models and coefficients. [ABSTRACT FROM AUTHOR] |
| Copyright of Computer Physics Communications is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 192001865 AccessLevel: 6 PubType: Periodical PubTypeId: serialPeriodical PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Automation of a matching on-shell calculator. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22López+Miras%2C+Javier%22">López Miras, Javier</searchLink><relatesTo>1</relatesTo> (AUTHOR)<br /><searchLink fieldCode="AR" term="%22Vilches%2C+Fuensanta%22">Vilches, Fuensanta</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> fuenvilches@ugr.es</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Computer+Physics+Communications%22">Computer Physics Communications</searchLink>. Mar2026, Vol. 320, pN.PAG-N.PAG. 1p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Mathematica+%28Computer+software%29%22">Mathematica (Computer software)</searchLink><br /><searchLink fieldCode="DE" term="%22Software+libraries+%28Computer+programming%29%22">Software libraries (Computer programming)</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Phenomenological+theory+%28Physics%29%22">Phenomenological theory (Physics)</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: We introduce mosca, a Mathematica package designed to facilitate on-shell calculations in effective field theories (EFTs). This initial release focuses on the reduction of Green's bases to physical bases, as well as transformations between arbitrary operator bases. The core of the package is based on a diagrammatic on-shell matching procedure, grounded in the equivalence of physical observables derived from both redundant and non-redundant Lagrangians. mosca offers a complete set of tools for performing basis transformations, diagram isomorphism detection, numerical substitution of kinematic configurations, and symbolic manipulation of algebraic expressions. Planned future developments include extension to one-loop computations, thus providing support for EFT renormalization directly in a physical basis and automated computation of one-loop finite matching, including contributions from evanescent operators. PROGRAM SUMMARY Program Title: mosca CPC Library link to program files: https://doi.org/10.17632/xf8zs7hnhm.1 Developer's repository link: https://gitlab.com/matchingonshell/mosca Licensing provisions: GPLv3 Programming language: Mathematica Nature of problem: Matching calculations in effective field theories are traditionally performed off-shell, involving complicated basis reductions through non-trivial field redefinitions to eliminate redundant operators. This process is algebraically intensive and prone to errors. Although on-shell matching, which focuses directly on physical observables, could simplify these steps by avoiding field redefinitions, it has been considered impractical due to the presence of apparent non-localities that must cancel precisely. Automating on-shell matching has therefore been a long-standing challenge. Solution method: Our approach is based on a numerical solution of the on-shell matching equations, which naturally and effortlessly enforces the delicate cancellation of non-local terms between the full theory and the effective theory. By employing rational on-shell kinematics, the method achieves an exact analytic solution despite using numerical techniques. This allows the matching to be performed entirely within a physical operator basis. Additional comments including restrictions and unusual features: The workflow for handling Lagrangians and Feynman diagrams in mosca is based on the integration of FeynArts and FeynCalc. Consequently, users need to provide specific FeynArts model files patched for compatibility with FeynCalc. Additionally, a specialized input format is required to define Wilson coefficients along with their corresponding EFT order (EFTOrder). These requirements ensure the correct processing of models and coefficients. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Computer Physics Communications is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=192001865 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.cpc.2025.109935 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 1 StartPage: N.PAG Subjects: – SubjectFull: Mathematica (Computer software) Type: general – SubjectFull: Software libraries (Computer programming) Type: general – SubjectFull: Electronic data processing Type: general – SubjectFull: Phenomenological theory (Physics) Type: general Titles: – TitleFull: Automation of a matching on-shell calculator. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: López Miras, Javier – PersonEntity: Name: NameFull: Vilches, Fuensanta IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 03 Text: Mar2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 00104655 Numbering: – Type: volume Value: 320 Titles: – TitleFull: Computer Physics Communications Type: main |
| ResultId | 1 |
