Showing 1–50 of 58 results for author: Abreu, S

Q-S5: Towards Quantized State Space Models

Authors: Steven Abreu, Jens E. Pedersen, Kade M. Heckel, Alessandro Pierro

Abstract: In the quest for next-generation sequence modeling architectures, State Space Models (SSMs) have emerged as a potent alternative to transformers, particularly for their computational efficiency and suitability for dynamical systems. This paper investigates the effect of quantization on the S5 model to understand its impact on model performance and to facilitate its deployment to edge and resource-… ▽ More In the quest for next-generation sequence modeling architectures, State Space Models (SSMs) have emerged as a potent alternative to transformers, particularly for their computational efficiency and suitability for dynamical systems. This paper investigates the effect of quantization on the S5 model to understand its impact on model performance and to facilitate its deployment to edge and resource-constrained platforms. Using quantization-aware training (QAT) and post-training quantization (PTQ), we systematically evaluate the quantization sensitivity of SSMs across different tasks like dynamical systems modeling, Sequential MNIST (sMNIST) and most of the Long Range Arena (LRA). We present fully quantized S5 models whose test accuracy drops less than 1% on sMNIST and most of the LRA. We find that performance on most tasks degrades significantly for recurrent weights below 8-bit precision, but that other components can be compressed further without significant loss of performance. Our results further show that PTQ only performs well on language-based LRA tasks whereas all others require QAT. Our investigation provides necessary insights for the continued development of efficient and hardware-optimized SSMs. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Neuromorphic Intermediate Representation: A Unified Instruction Set for Interoperable Brain-Inspired Computing

Authors: Jens E. Pedersen, Steven Abreu, Matthias Jobst, Gregor Lenz, Vittorio Fra, Felix C. Bauer, Dylan R. Muir, Peng Zhou, Bernhard Vogginger, Kade Heckel, Gianvito Urgese, Sadasivan Shankar, Terrence C. Stewart, Jason K. Eshraghian, Sadique Sheik

Abstract: Spiking neural networks and neuromorphic hardware platforms that emulate neural dynamics are slowly gaining momentum and entering main-stream usage. Despite a well-established mathematical foundation for neural dynamics, the implementation details vary greatly across different platforms. Correspondingly, there are a plethora of software and hardware implementations with their own unique technology… ▽ More Spiking neural networks and neuromorphic hardware platforms that emulate neural dynamics are slowly gaining momentum and entering main-stream usage. Despite a well-established mathematical foundation for neural dynamics, the implementation details vary greatly across different platforms. Correspondingly, there are a plethora of software and hardware implementations with their own unique technology stacks. Consequently, neuromorphic systems typically diverge from the expected computational model, which challenges the reproducibility and reliability across platforms. Additionally, most neuromorphic hardware is limited by its access via a single software frameworks with a limited set of training procedures. Here, we establish a common reference-frame for computations in neuromorphic systems, dubbed the Neuromorphic Intermediate Representation (NIR). NIR defines a set of computational primitives as idealized continuous-time hybrid systems that can be composed into graphs and mapped to and from various neuromorphic technology stacks. By abstracting away assumptions around discretization and hardware constraints, NIR faithfully captures the fundamental computation, while simultaneously exposing the exact differences between the evaluated implementation and the idealized mathematical formalism. We reproduce three NIR graphs across 7 neuromorphic simulators and 4 hardware platforms, demonstrating support for an unprecedented number of neuromorphic systems. With NIR, we decouple the evolution of neuromorphic hardware and software, ultimately increasing the interoperability between platforms and improving accessibility to neuromorphic technologies. We believe that NIR is an important step towards the continued study of brain-inspired hardware and bottom-up approaches aimed at an improved understanding of the computational underpinnings of nervous systems. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: NIR is available at https://github.com/neuromorphs/NIR

Concepts and Paradigms for Neuromorphic Programming

Authors: Steven Abreu

Abstract: The value of neuromorphic computers depends crucially on our ability to program them for relevant tasks. Currently, neuromorphic computers are mostly limited to machine learning methods adapted from deep learning. However, neuromorphic computers have potential far beyond deep learning if we can only make use of their computational properties to harness their full power. Neuromorphic programming wi… ▽ More The value of neuromorphic computers depends crucially on our ability to program them for relevant tasks. Currently, neuromorphic computers are mostly limited to machine learning methods adapted from deep learning. However, neuromorphic computers have potential far beyond deep learning if we can only make use of their computational properties to harness their full power. Neuromorphic programming will necessarily be different from conventional programming, requiring a paradigm shift in how we think about programming in general. The contributions of this paper are 1) a conceptual analysis of what "programming" means in the context of neuromorphic computers and 2) an exploration of existing programming paradigms that are promising yet overlooked in neuromorphic computing. The goal is to expand the horizon of neuromorphic programming methods, thereby allowing researchers to move beyond the shackles of current methods and explore novel directions. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

Authors: Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo

Abstract: Active Logic Documents (ALD) are web pages which incorporate embedded Prolog engines that run locally within the browser. ALD offers both a very easy way to add click-to-run capabilities to any kind of teaching materials, independently of the tool used to generate them, as well as a tool-set for generating web-based materials with embedded examples and exercises. Both leverage on (components of)… ▽ More Active Logic Documents (ALD) are web pages which incorporate embedded Prolog engines that run locally within the browser. ALD offers both a very easy way to add click-to-run capabilities to any kind of teaching materials, independently of the tool used to generate them, as well as a tool-set for generating web-based materials with embedded examples and exercises. Both leverage on (components of) the Ciao Prolog Playground. We present a demonstration of the ALD approach and the Ciao Prolog Playground, as well as a recent extension to ALDs to facilitate the integration of other tools into the system for creating Hybrid Active Logic Documents (HALD). We also present a concrete application of these technologies to the creation of tutorials for a program verification tool. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: In Proceedings ICLP 2023, arXiv:2308.14898

Journal ref: EPTCS 385, 2023, pp. 324-329

All Two-Loop Feynman Integrals for Five-Point One-Mass Scattering

Authors: Samuel Abreu, Dmitry Chicherin, Harald Ita, Ben Page, Vasily Sotnikov, Wladimir Tschernow, Simone Zoia

Abstract: We compute the complete set of two-loop master integrals for the scattering of four massless particles and a massive one. Our results are ready for phenomenological applications, removing a major obstacle to the computation of complete next-to-next-to-leading order (NNLO) QCD corrections to processes such as the production of a $H/Z/W$ boson in association with two jets at the LHC. Furthermore, th… ▽ More We compute the complete set of two-loop master integrals for the scattering of four massless particles and a massive one. Our results are ready for phenomenological applications, removing a major obstacle to the computation of complete next-to-next-to-leading order (NNLO) QCD corrections to processes such as the production of a $H/Z/W$ boson in association with two jets at the LHC. Furthermore, they open the door to new investigations into the structure of quantum-field theories and provide precious analytic data for studying the mathematical properties of Feynman integrals. △ Less

Submitted 2 May, 2024; v1 submitted 27 June, 2023; originally announced June 2023.

Comments: Ancillary files can be downloaded from https://doi.org/10.5281/zenodo.8085740 ; v2 (published version): added appendix describing the analytic continuation across logarithmic singularities within the physical region

Two-Loop QCD Corrections for Three-Photon Production at Hadron Colliders

Authors: Samuel Abreu, Giuseppe De Laurentis, Harald Ita, Maximillian Klinkert, Ben Page, Vasily Sotnikov

Abstract: We complete the computation of the two-loop helicity amplitudes for the production of three photons at hadron colliders, including all contributions beyond the leading-color approximation. We reconstruct the analytic form of the amplitudes from numerical finite-field samples obtained with the numerical unitarity method. This method requires as input surface terms for all relevant five-point non-pl… ▽ More We complete the computation of the two-loop helicity amplitudes for the production of three photons at hadron colliders, including all contributions beyond the leading-color approximation. We reconstruct the analytic form of the amplitudes from numerical finite-field samples obtained with the numerical unitarity method. This method requires as input surface terms for all relevant five-point non-planar integral topologies, which we obtain by solving the associated syzygy problem in embedding space. The numerical samples are used to constrain compact spinor-helicity ansätze, which are optimized by taking advantage of the known one-loop analytic structure. We make our analytic results available in a public C++ library, which is suitable for immediate phenomenological applications. We estimate that the inclusion of the subleading-color contributions will decrease the size of the two-loop corrections by about 30% to 50%, and the NNLO cross sections by a few percent, compared to the results in the leading-color approximation. △ Less

Submitted 13 October, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 38 pages, 5 figures, 6 tables - published version

Report number: CERN-TH-2023-090, PSI-PR-23-16, ZU-TH 23/23

Journal ref: SciPost Phys. 15, 157 (2023)

Training a spiking neural network on an event-based label-free flow cytometry dataset

Authors: Muhammed Gouda, Steven Abreu, Alessio Lugnan, Peter Bienstman

Abstract: Imaging flow cytometry systems aim to analyze a huge number of cells or micro-particles based on their physical characteristics. The vast majority of current systems acquire a large amount of images which are used to train deep artificial neural networks. However, this approach increases both the latency and power consumption of the final apparatus. In this work-in-progress, we combine an event-ba… ▽ More Imaging flow cytometry systems aim to analyze a huge number of cells or micro-particles based on their physical characteristics. The vast majority of current systems acquire a large amount of images which are used to train deep artificial neural networks. However, this approach increases both the latency and power consumption of the final apparatus. In this work-in-progress, we combine an event-based camera with a free-space optical setup to obtain spikes for each particle passing in a microfluidic channel. A spiking neural network is trained on the collected dataset, resulting in 97.7% mean training accuracy and 93.5% mean testing accuracy for the fully event-based classification pipeline. △ Less

Submitted 19 March, 2023; originally announced March 2023.

Comments: Accepted to Neuro-Inspired Computational Elements (NICE) conference by ACM in San Antonio, TX, USA, 2023

Two-loop form factors for pseudo-scalar quarkonium production and decay

Authors: Samuel Abreu, Matteo Becchetti, Claude Duhr, Melih A. Ozcelik

Abstract: We present the analytic expressions for the two-loop form factors for the production or decay of pseudo-scalar quarkonia, in a scheme where the quarks are produced at threshold. We consider the two-loop amplitude for the process $γγ\leftrightarrow {^1S_0^{[1]}}$, that was previously known only numerically, as well as for the processes $gg \leftrightarrow {^1S_0^{[1]}}$,… ▽ More We present the analytic expressions for the two-loop form factors for the production or decay of pseudo-scalar quarkonia, in a scheme where the quarks are produced at threshold. We consider the two-loop amplitude for the process $γγ\leftrightarrow {^1S_0^{[1]}}$, that was previously known only numerically, as well as for the processes $gg \leftrightarrow {^1S_0^{[1]}}$, $γg \leftrightarrow {^1S_0^{[8]}}$ and $gg \leftrightarrow {^1S_0^{[8]}}$, which have not been computed before. The two-loop corrections to $gg \leftrightarrow {^1S_0^{[1]}}$ are the last missing ingredients for a full NNLO calculation of $η_Q$ hadro-production. We discuss how the singularity structure of the amplitudes is affected by the threshold kinematics, which in particular introduces Coulomb singularities. In this context, we first show how the usual structure of the infrared singularities degenerates at threshold kinematics, and then extract the anomalous dimensions governing the Coulomb singularities for colour-singlet and octet channels, the latter being presented here for the first time. We give high-precision numerical results for the hard functions, which can be used for phenomenological studies of $η_Q$ production and decay at NNLO. △ Less

Submitted 1 March, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 37 pages, 1 figure, v2: version published in JHEP

Report number: BONN-TH-2022-23, CERN-TH-2022-187, TTP22-068

The Diagrammatic Coaction

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi, James Matthew

Abstract: The diagrammatic coaction underpins the analytic structure of Feynman integrals, their cuts and the differential equations they admit. The coaction maps any diagram into a tensor product of its pinches and cuts. These correspond respectively to differential forms defining master integrals, and integration contours which place a subset of the propagators on shell. In a canonical basis these forms a… ▽ More The diagrammatic coaction underpins the analytic structure of Feynman integrals, their cuts and the differential equations they admit. The coaction maps any diagram into a tensor product of its pinches and cuts. These correspond respectively to differential forms defining master integrals, and integration contours which place a subset of the propagators on shell. In a canonical basis these forms and contours are dual to each other. In this talk I review our present understanding of this algebraic structure and its manifestation for dimensionally-regularized Feynman integrals that are expandable to polylogarithms around integer dimensions. Using one- and two-loop integral examples, I will explain the duality between forms and contours, and the correspondence between the local coaction acting on the Laurent coefficients in the dimensional regulator and the global coaction acting on generalised hypergeometric functions. △ Less

Submitted 16 July, 2022; originally announced July 2022.

Comments: 19 pages, Talk presented at Loop and Legs in Quantum Field Theory - LL2022, 25-30 April, 2022, Ettal, Germany

Report number: CERN-TH-2022-122, BONN-TH-2022-18

Quark and gluon two-loop beam functions for leading-jet $p_T$ and slicing at NNLO

Authors: Samuel Abreu, Jonathan R. Gaunt, Pier Francesco Monni, Luca Rottoli, Robert Szafron

Abstract: We compute the complete set of two-loop beam functions for the transverse momentum distribution of the leading jet produced in association with an arbitrary colour-singlet system. Our results constitute the last missing ingredient for the calculation of the jet-vetoed cross section at small veto scales at the next-to-next-to-leading order, as well as an important ingredient for its resummation to… ▽ More We compute the complete set of two-loop beam functions for the transverse momentum distribution of the leading jet produced in association with an arbitrary colour-singlet system. Our results constitute the last missing ingredient for the calculation of the jet-vetoed cross section at small veto scales at the next-to-next-to-leading order, as well as an important ingredient for its resummation to next-to-next-to-next-to-leading logarithmic order. Our calculation is performed in the soft-collinear effective theory framework with a suitable regularisation of the rapidity divergences occurring in the phase-space integrals. We discuss the occurrence of soft-collinear mixing terms that might violate the factorisation theorem, and demonstrate that they vanish at two loops in the exponential rapidity regularisation scheme when performing a multipole expansion of the measurement function. As in our recent computation of the two-loop soft function, we present the results as a Laurent expansion in the jet radius $R$. We provide analytic expressions for all flavour channels in $x$ space with the exception of a set of $R$-independent non-logarithmic terms that are given as numerical grids. We also perform a fully numerical calculation with exact $R$ dependence, and find that it agrees with our analytic expansion at the permyriad level or better. Our calculation allows us to define a next-to-next-to-leading order slicing method using the leading-jet $p_T$ as a slicing variable. As a check of our results, we carry out a calculation of the Higgs and $Z$ boson total production cross sections at the next-to-next-to-leading order in QCD. △ Less

Submitted 14 July, 2022; originally announced July 2022.

Comments: 26 pages, 3 figures and a set of ancillary files

Report number: CERN-TH-2022-118, ZU-TH 30/22

Two-loop master integrals for pseudo-scalar quarkonium and leptonium production and decay

Authors: Samuel Abreu, Matteo Becchetti, Claude Duhr, Melih A. Ozcelik

Abstract: We compute the master integrals relevant for the two-loop corrections to pseudo-scalar quarkonium and leptonium production and decay. We present both analytic and high-precision numerical results. The analytic expressions are given in terms of multiple polylogarithms (MPLs), elliptic multiple polylogarithms (eMPLs) and iterated integrals of Eisenstein series. As an application of our results, we o… ▽ More We compute the master integrals relevant for the two-loop corrections to pseudo-scalar quarkonium and leptonium production and decay. We present both analytic and high-precision numerical results. The analytic expressions are given in terms of multiple polylogarithms (MPLs), elliptic multiple polylogarithms (eMPLs) and iterated integrals of Eisenstein series. As an application of our results, we obtain for the first time an analytic expression for the two-loop amplitude for para-positronium decay to two photons at two loops. △ Less

Submitted 17 November, 2022; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: 34 pages, 6 figures, v2: references updated, version published in JHEP

Report number: BONN-TH-2022-14, CERN-TH-2022-093, TTP22-037

The analytic two-loop soft function for leading-jet $p_T$

Authors: Samuel Abreu, Jonathan R. Gaunt, Pier Francesco Monni, Robert Szafron

Abstract: We present the calculation of the two-loop soft function for the transverse momentum distribution of the leading jet produced in association with any colour-singlet system (e.g.~a Higgs or a $Z$ boson). This constitutes a central ingredient for the resummation of the above distribution as well as the jet-vetoed cross section at the next-to-next-to-next-to-leading logarithmic order, both of which p… ▽ More We present the calculation of the two-loop soft function for the transverse momentum distribution of the leading jet produced in association with any colour-singlet system (e.g.~a Higgs or a $Z$ boson). This constitutes a central ingredient for the resummation of the above distribution as well as the jet-vetoed cross section at the next-to-next-to-next-to-leading logarithmic order, both of which play an important role in the precision physics programme at the Large Hadron Collider. The calculation is performed in soft-collinear effective theory with an appropriate regularisation of the rapidity divergences that occur in the phase-space integrals. We obtain analytic results by employing an exponential regulator and by taking a Laurent expansion in the jet radius $R$. All expressions are presented as ancillary files with this article. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 17 pages, 4 figures, and ancillary files with results

Report number: CERN-TH-2022-059

The SAGEX Review on Scattering Amplitudes, Chapter 3: Mathematical structures in Feynman integrals

Authors: Samuel Abreu, Ruth Britto, Claude Duhr

Abstract: Dimensionally-regulated Feynman integrals are a cornerstone of all perturbative computations in quantum field theory. They are known to exhibit a rich mathematical structure, which has led to the development of powerful new techniques for their computation. We review some of the most recent advances in our understanding of the analytic structure of multiloop Feynman integrals in dimensional regula… ▽ More Dimensionally-regulated Feynman integrals are a cornerstone of all perturbative computations in quantum field theory. They are known to exhibit a rich mathematical structure, which has led to the development of powerful new techniques for their computation. We review some of the most recent advances in our understanding of the analytic structure of multiloop Feynman integrals in dimensional regularisation. In particular, we give an overview of modern approaches to computing Feynman integrals using differential equations, and we discuss some of the properties of the functions that appear in the solutions. We then review how dimensional regularisation has a natural mathematical interpretation in terms of the theory of twisted cohomology groups, and how many of the well-known ideas about Feynman integrals arise naturally in this context. This is Chapter 3 of a series of review articles on scattering amplitudes, of which Chapter 0 [arXiv:2203.13011] presents an overview and Chapter 4 [arXiv:2203.13015] contains closely related topics. △ Less

Submitted 10 January, 2023; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 62 pages, see also the overview article arXiv:2203.13011. v3: journal version

Report number: SAGEX-22-04, BONN-TH-2022-03, CERN-TH-2022-021

Journal ref: J.Phys.A 55 (2022) 44, 443004

The SAGEX Review on Scattering Amplitudes

Authors: Gabriele Travaglini, Andreas Brandhuber, Patrick Dorey, Tristan McLoughlin, Samuel Abreu, Zvi Bern, N. Emil J. Bjerrum-Bohr, Johannes Blümlein, Ruth Britto, John Joseph M. Carrasco, Dmitry Chicherin, Marco Chiodaroli, Poul H. Damgaard, Vittorio Del Duca, Lance J. Dixon, Daniele Dorigoni, Claude Duhr, Yvonne Geyer, Michael B. Green, Enrico Herrmann, Paul Heslop, Henrik Johansson, Gregory P. Korchemsky, David A. Kosower, Lionel Mason , et al. (13 additional authors not shown)

Abstract: This is an introduction to, and invitation to read, a series of review articles on scattering amplitudes in gauge theory, gravity, and superstring theory. Our aim is to provide an overview of the field, from basic aspects to a selection of current (2022) research and developments. This is an introduction to, and invitation to read, a series of review articles on scattering amplitudes in gauge theory, gravity, and superstring theory. Our aim is to provide an overview of the field, from basic aspects to a selection of current (2022) research and developments. △ Less

Submitted 8 January, 2023; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 15 pages, overview article. v3: journal version

Report number: SAGEX-22-01

Fifty Years of Prolog and Beyond

Authors: Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

Abstract: Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by diffe… ▽ More Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. Firstly, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog, and propose future directions along which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations. △ Less

Submitted 14 March, 2022; v1 submitted 26 January, 2022; originally announced January 2022.

Comments: 87 pages, 2 figures. This article has been accepted for publication in Theory and Practice of Logic Programming (TPLP)

Leading-Color Two-Loop Amplitudes for Four Partons and a W Boson in QCD

Authors: S. Abreu, F. Febres Cordero, H. Ita, M. Klinkert, B. Page, V. Sotnikov

Abstract: We present the leading-color two-loop QCD corrections for the scattering of four partons and a $W$ boson, including its leptonic decay. The amplitudes are assembled from the planar two-loop helicity amplitudes for four partons and a vector boson decaying to a lepton pair, which are also used to determine the planar two-loop amplitudes for four partons and a $Z/γ^*$ boson with a leptonic decay. The… ▽ More We present the leading-color two-loop QCD corrections for the scattering of four partons and a $W$ boson, including its leptonic decay. The amplitudes are assembled from the planar two-loop helicity amplitudes for four partons and a vector boson decaying to a lepton pair, which are also used to determine the planar two-loop amplitudes for four partons and a $Z/γ^*$ boson with a leptonic decay. The analytic expressions are obtained by setting up a dedicated Ansatz and constraining the free parameters from numerical samples obtained within the framework of numerical unitarity. The large linear systems that must be solved to determine the analytic expressions are constructed to be in Vandermonde form. Such systems can be very efficiently solved, bypassing the bottleneck of Gaussian elimination. Our results are expressed in a basis of one-mass pentagon functions, which opens the possibility of their efficient numerical evaluation. △ Less

Submitted 9 April, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

Comments: 31 pages, 5 figures; v3: matches the published version; analytic expressions at http://www.hep.fsu.edu/~ffebres/W4partons

Report number: CERN-TH-2021-156, FR-PHENO-2021-12, MPP-2021-181

Journal ref: J. High Energ. Phys. 2022, 42 (2022)

Two-Loop Hexa-Box Integrals for Non-Planar Five-Point One-Mass Processes

Authors: Samuel Abreu, Harald Ita, Ben Page, Wladimir Tschernow

Abstract: We present the calculation of the three distinct non-planar hexa-box topologies for five-point one-mass processes. These three topologies are required to obtain the two-loop virtual QCD corrections for two-jet-associated W, Z or Higgs-boson production. Each topology is solved by obtaining a pure basis of master integrals and efficiently constructing the associated differential equation with numeri… ▽ More We present the calculation of the three distinct non-planar hexa-box topologies for five-point one-mass processes. These three topologies are required to obtain the two-loop virtual QCD corrections for two-jet-associated W, Z or Higgs-boson production. Each topology is solved by obtaining a pure basis of master integrals and efficiently constructing the associated differential equation with numerical sampling and unitarity-cut techniques. We present compact expressions for the alphabet of these non-planar integrals, and discuss some properties of their symbol. Notably, we observe that the extended Steinmann relations are in general not satisfied. Finally, we solve the differential equations in terms of generalized power series and provide high-precision values in different regions of phase space which can be used as boundary conditions for subsequent evaluations. △ Less

Submitted 29 July, 2021; originally announced July 2021.

The diagrammatic coaction beyond one loop

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi, James Matthew

Abstract: The diagrammatic coaction maps any given Feynman graph into pairs of graphs and cut graphs such that, conjecturally, when these graphs are replaced by the corresponding Feynman integrals one obtains a coaction on the respective functions. The coaction on the functions is constructed by pairing a basis of differential forms, corresponding to master integrals, with a basis of integration contours, c… ▽ More The diagrammatic coaction maps any given Feynman graph into pairs of graphs and cut graphs such that, conjecturally, when these graphs are replaced by the corresponding Feynman integrals one obtains a coaction on the respective functions. The coaction on the functions is constructed by pairing a basis of differential forms, corresponding to master integrals, with a basis of integration contours, corresponding to independent cut integrals. At one loop, a general diagrammatic coaction was established using dimensional regularisation, which may be realised in terms of a global coaction on hypergeometric functions, or equivalently, order by order in the $ε$ expansion, via a local coaction on multiple polylogarithms. The present paper takes the first steps in generalising the diagrammatic coaction beyond one loop. We first establish general properties that govern the diagrammatic coaction at any loop order. We then focus on examples of two-loop topologies for which all integrals expand into polylogarithms. In each case we determine bases of master integrals and cuts in terms of hypergeometric functions, and then use the global coaction to establish the diagrammatic coaction of all master integrals in the topology. The diagrammatic coaction encodes the complete set of discontinuities of Feynman integrals, as well as the differential equations they satisfy, providing a general tool to understand their physical and mathematical properties. △ Less

Submitted 2 June, 2021; originally announced June 2021.

Leading-Color Two-Loop QCD Corrections for Three-Jet Production at Hadron Colliders

Authors: S. Abreu, F. Febres Cordero, H. Ita, B. Page, V. Sotnikov

Abstract: We present the complete set of leading-color two-loop contributions required to obtain next-to-next-to-leading-order (NNLO) QCD corrections to three-jet production at hadron colliders. We obtain analytic expressions for a generating set of finite remainders, valid in the physical region for three-jet production. The analytic continuation of the known Euclidean-region results is determined from a s… ▽ More We present the complete set of leading-color two-loop contributions required to obtain next-to-next-to-leading-order (NNLO) QCD corrections to three-jet production at hadron colliders. We obtain analytic expressions for a generating set of finite remainders, valid in the physical region for three-jet production. The analytic continuation of the known Euclidean-region results is determined from a small set of numerical evaluations of the amplitudes. We obtain analytic expressions that are suitable for phenomenological applications and we present a C++ library for their efficient and stable numerical evaluation. △ Less

Submitted 10 January, 2024; v1 submitted 26 February, 2021; originally announced February 2021.

Comments: Analytic results in ancillary files; link for numerical code in references. v3: matches the published version. v4: fix notation in eq. (3.12) to match ancillary files

Report number: CERN-TH-2021-023, FR-PHENO-2021-06, MPP-2021-20

Journal ref: J. High Energ. Phys. 2021, 95 (2021)

Leading-Color Two-Loop QCD Corrections for Three-Photon Production at Hadron Colliders

Authors: S. Abreu, B. Page, E. Pascual, V. Sotnikov

Abstract: We compute the two-loop helicity amplitudes for the production of three photons at hadron colliders in QCD at leading-color. Using the two-loop numerical unitarity method coupled with analytic reconstruction techniques, we obtain the decomposition of the two-loop amplitudes in terms of master integrals in analytic form. These expressions are valid to all orders in the dimensional regulator. We use… ▽ More We compute the two-loop helicity amplitudes for the production of three photons at hadron colliders in QCD at leading-color. Using the two-loop numerical unitarity method coupled with analytic reconstruction techniques, we obtain the decomposition of the two-loop amplitudes in terms of master integrals in analytic form. These expressions are valid to all orders in the dimensional regulator. We use them to compute the two-loop finite remainders, which are given in a form that can be efficiently evaluated across the whole physical phase space. We further package these results in a public code which assembles the helicity-summed squared two-loop remainders, whose numerical stability across phase-space is demonstrated. This is the first time that a five-point two-loop process is publicly available for immediate phenomenological applications. △ Less

Submitted 18 January, 2021; v1 submitted 29 October, 2020; originally announced October 2020.

Comments: Minor text changes, updated references, and a typo fix. Matches the published version

Report number: CERN-TH-2020-176, FR-PHENO-2020-016, MPP-2020-190

Journal ref: J. High Energ. Phys. 2021, 78 (2021)

Caravel: A C++ Framework for the Computation of Multi-Loop Amplitudes with Numerical Unitarity

Authors: S. Abreu, J. Dormans, F. Febres Cordero, H. Ita, M. Kraus, B. Page, E. Pascual, M. S. Ruf, V. Sotnikov

Abstract: We present the first public version of Caravel, a C++17 framework for the computation of multi-loop scattering amplitudes in quantum field theory, based on the numerical unitarity method. Caravel is composed of modules for the $D$-dimensional decomposition of integrands of scattering amplitudes into master and surface terms, the computation of tree-level amplitudes in floating point or finite-fiel… ▽ More We present the first public version of Caravel, a C++17 framework for the computation of multi-loop scattering amplitudes in quantum field theory, based on the numerical unitarity method. Caravel is composed of modules for the $D$-dimensional decomposition of integrands of scattering amplitudes into master and surface terms, the computation of tree-level amplitudes in floating point or finite-field arithmetic, the numerical computation of one- and two-loop amplitudes in QCD and Einstein gravity, and functional reconstruction tools. We provide programs that showcase Caravel's main functionalities and allow to compute selected one- and two-loop amplitudes. △ Less

Submitted 24 September, 2020; originally announced September 2020.

Two-Loop Integrals for Planar Five-Point One-Mass Processes

Authors: S. Abreu, H. Ita, F. Moriello, B. Page, W. Tschernow, M. Zeng

Abstract: We present the computation of a full set of planar five-point two-loop master integrals with one external mass. These integrals are an important ingredient for two-loop scattering amplitudes for two-jet-associated W-boson production at leading color in QCD. We provide a set of pure integrals together with differential equations in canonical form. We obtain analytic differential equations efficient… ▽ More We present the computation of a full set of planar five-point two-loop master integrals with one external mass. These integrals are an important ingredient for two-loop scattering amplitudes for two-jet-associated W-boson production at leading color in QCD. We provide a set of pure integrals together with differential equations in canonical form. We obtain analytic differential equations efficiently from numerical samples over finite fields, fitting an ansatz built from symbol letters. The symbol alphabet itself is constructed from cut differential equations and we find that it can be written in a remarkably compact form. We comment on the analytic properties of the integrals and confirm the extended Steinmann relations, which govern the double discontinuities of Feynman integrals, to all orders in $ε$. We solve the differential equations in terms of generalized power series on single-parameter contours in the space of Mandelstam invariants. This form of the solution trivializes the analytic continuation and the integrals can be evaluated in all kinematic regions with arbitrary numerical precision. △ Less

Submitted 27 May, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: v2: minor typos corrected

The Two-Loop Four-Graviton Scattering Amplitudes

Authors: S. Abreu, F. Febres Cordero, H. Ita, M. Jaquier, B. Page, M. S. Ruf, V. Sotnikov

Abstract: We present the analytic form of the two-loop four-graviton scattering amplitudes in Einstein gravity. To remove ultraviolet divergences we include counterterms quadratic and cubic in the Riemann curvature tensor. The two-loop numerical unitarity approach is used to deal with the challenging momentum dependence of the interactions. We exploit the algebraic properties of the integrand of the amplitu… ▽ More We present the analytic form of the two-loop four-graviton scattering amplitudes in Einstein gravity. To remove ultraviolet divergences we include counterterms quadratic and cubic in the Riemann curvature tensor. The two-loop numerical unitarity approach is used to deal with the challenging momentum dependence of the interactions. We exploit the algebraic properties of the integrand of the amplitude in order to map it to a minimal basis of Feynman integrals. Analytic expressions are obtained from numerical evaluations of the amplitude. Finally, we show that four-graviton scattering observables depend on fewer couplings than naively expected. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 5 pages, 1 figure

Report number: CP3-20-11, FR-PHENO-2020-002, IPhT-20/003, TTP20-003, MPP-2020-17

Diagrammatic Coaction of Two-Loop Feynman Integrals

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi, James Matthew

Abstract: It is known that one-loop Feynman integrals possess an algebraic structure encoding some of their analytic properties called the coaction, which can be written in terms of Feynman integrals and their cuts. This diagrammatic coaction, and the coaction on other classes of integrals such as hypergeometric functions, may be expressed using suitable bases of differential forms and integration contours.… ▽ More It is known that one-loop Feynman integrals possess an algebraic structure encoding some of their analytic properties called the coaction, which can be written in terms of Feynman integrals and their cuts. This diagrammatic coaction, and the coaction on other classes of integrals such as hypergeometric functions, may be expressed using suitable bases of differential forms and integration contours. This provides a useful framework for computing coactions of Feynman integrals expressed using the hypergeometric functions. We will discuss examples where this technique has been used in the calculation of two-loop diagrammatic coactions. △ Less

Submitted 13 December, 2019; originally announced December 2019.

Comments: 10 pages, talk given at RADCOR 2019

Report number: CERN-TH-2019-218, CP3-19-59

Generalized hypergeometric functions and intersection theory for Feynman integrals

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi, James Matthew

Abstract: Feynman integrals that have been evaluated in dimensional regularization can be written in terms of generalized hypergeometric functions. It is well known that properties of these functions are revealed in the framework of intersection theory. We propose a new application of intersection theory to construct a coaction on generalized hypergeometric functions. When applied to dimensionally regulariz… ▽ More Feynman integrals that have been evaluated in dimensional regularization can be written in terms of generalized hypergeometric functions. It is well known that properties of these functions are revealed in the framework of intersection theory. We propose a new application of intersection theory to construct a coaction on generalized hypergeometric functions. When applied to dimensionally regularized Feynman integrals, this coaction reproduces the coaction on multiple polylogarithms order by order in the parameter of dimensional regularization. △ Less

Submitted 10 December, 2019; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: 10 pages, talk given at RADCOR 2019, based on arXiv:1910.08358. v2: F3 coaction formula fixed

Report number: CERN-TH-2019-219, CP3-19-58

Three-loop contributions to the $ρ$ parameter and iterated integrals of modular forms

Authors: Samuel Abreu, Matteo Becchetti, Claude Duhr, Robin Marzucca

Abstract: We compute fully analytic results for the three-loop diagrams involving two different massive quark flavours contributing to the $ρ$ parameter in the Standard Model. We find that the results involve exactly the same class of functions that appears in the well-known sunrise and banana graphs, namely elliptic polylogarithms and iterated integrals of modular forms. Using recent developments in the un… ▽ More We compute fully analytic results for the three-loop diagrams involving two different massive quark flavours contributing to the $ρ$ parameter in the Standard Model. We find that the results involve exactly the same class of functions that appears in the well-known sunrise and banana graphs, namely elliptic polylogarithms and iterated integrals of modular forms. Using recent developments in the understanding of these functions, we analytically continue all the iterated integrals of modular forms to all regions of the parameter space, and in each region we obtain manifestly real and fast-converging series expansions for these functions. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 37 pages, 2 figures

From positive geometries to a coaction on hypergeometric functions

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi, James Matthew

Abstract: It is well known that Feynman integrals in dimensional regularization often evaluate to functions of hypergeometric type. Inspired by a recent proposal for a coaction on one-loop Feynman integrals in dimensional regularization, we use intersection numbers and twisted homology theory to define a coaction on certain hypergeometric functions. The functions we consider admit an integral representation… ▽ More It is well known that Feynman integrals in dimensional regularization often evaluate to functions of hypergeometric type. Inspired by a recent proposal for a coaction on one-loop Feynman integrals in dimensional regularization, we use intersection numbers and twisted homology theory to define a coaction on certain hypergeometric functions. The functions we consider admit an integral representation where both the integrand and the contour of integration are associated with positive geometries. As in dimensionally-regularized Feynman integrals, endpoint singularities are regularized by means of exponents controlled by a small parameter $ε$. We show that the coaction defined on this class of integral is consistent, upon expansion in $ε$, with the well-known coaction on multiple polylogarithms. We illustrate the validity of our construction by explicitly determining the coaction on various types of hypergeometric ${}_{p+1}F_p$ and Appell functions. △ Less

Submitted 18 October, 2019; originally announced October 2019.

Generating Local Search Neighborhood with Synthesized Logic Programs

Authors: Mateusz Ślażyński, Salvador Abreu, Grzegorz J. Nalepa

Abstract: Local Search meta-heuristics have been proven a viable approach to solve difficult optimization problems. Their performance depends strongly on the search space landscape, as defined by a cost function and the selected neighborhood operators. In this paper we present a logic programming based framework, named Noodle, designed to generate bespoke Local Search neighborhoods tailored to specific dis… ▽ More Local Search meta-heuristics have been proven a viable approach to solve difficult optimization problems. Their performance depends strongly on the search space landscape, as defined by a cost function and the selected neighborhood operators. In this paper we present a logic programming based framework, named Noodle, designed to generate bespoke Local Search neighborhoods tailored to specific discrete optimization problems. The proposed system consists of a domain specific language, which is inspired by logic programming, as well as a genetic programming solver, based on the grammar evolution algorithm. We complement the description with a preliminary experimental evaluation, where we synthesize efficient neighborhood operators for the traveling salesman problem, some of which reproduce well-known results. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: In Proceedings ICLP 2019, arXiv:1909.07646

Journal ref: EPTCS 306, 2019, pp. 168-181

Pre-proceedings of the DECLARE 2019 Conference

Authors: Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel

Abstract: This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This method has attracted increased attention over the last decades, e.g., in the domains of data and knowledge engineering, da… ▽ More This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This method has attracted increased attention over the last decades, e.g., in the domains of data and knowledge engineering, databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the web. The conference DECLARE 2019 aims at cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, implementation techniques, novel applications, and combinations of high-level, declarative programming and related areas. The technical program of the event included invited talks, presentations of refereed papers, and system demonstrations. DECLARE 2019 consisted of the sub-events INAP, WFLP, and WLP: INAP - 22nd International Conference on Applications of Declarative Programming and Knowledge Management WFLP - 27th International Workshop on Functional and (Constraint) Logic Programming WLP - 33rd Workshop on (Constraint) Logic Programming △ Less

Submitted 21 November, 2019; v1 submitted 11 September, 2019; originally announced September 2019.

Automated Architecture Design for Deep Neural Networks

Authors: Steven Abreu

Abstract: Machine learning has made tremendous progress in recent years and received large amounts of public attention. Though we are still far from designing a full artificially intelligent agent, machine learning has brought us many applications in which computers solve human learning tasks remarkably well. Much of this progress comes from a recent trend within machine learning, called deep learning. Deep… ▽ More Machine learning has made tremendous progress in recent years and received large amounts of public attention. Though we are still far from designing a full artificially intelligent agent, machine learning has brought us many applications in which computers solve human learning tasks remarkably well. Much of this progress comes from a recent trend within machine learning, called deep learning. Deep learning models are responsible for many state-of-the-art applications of machine learning. Despite their success, deep learning models are hard to train, very difficult to understand, and often times so complex that training is only possible on very large GPU clusters. Lots of work has been done on enabling neural networks to learn efficiently. However, the design and architecture of such neural networks is often done manually through trial and error and expert knowledge. This thesis inspects different approaches, existing and novel, to automate the design of deep feedforward neural networks in an attempt to create less complex models with good performance that take away the burden of deciding on an architecture and make it more efficient to design and train such deep networks. △ Less

Submitted 21 August, 2019; originally announced August 2019.

Comments: Undergraduate Thesis

Theory for the FCC-ee : Report on the 11th FCC-ee Workshop

Authors: A. Blondel, J. Gluza, S. Jadach, P. Janot, T. Riemann, S. Abreu, J. J. Aguilera-Verdugo, A. B. Arbuzov, J. Baglio, S. D. Bakshi, S. Banerjee, M. Beneke, C. Bobeth, C. Bogner, S. Bondarenko, S. Borowka, S. Braß, C. M. Carloni Calame, J. Chakrabortty, M. Chiesa, M. Chrzaszcz, D. d'Enterria, F. Domingo, J. Dormans, F. Driencourt-Mangin , et al. (61 additional authors not shown)

Abstract: The Future Circular Collider (FCC) at CERN, a proposed 100-km circular facility with several colliders in succession, culminates with a 100 TeV proton-proton collider. It offers a vast new domain of exploration in particle physics, with orders of magnitude advances in terms of Precision, Sensitivity and Energy. The implementation plan foresees, as a first step, an Electroweak Factory electron-posi… ▽ More The Future Circular Collider (FCC) at CERN, a proposed 100-km circular facility with several colliders in succession, culminates with a 100 TeV proton-proton collider. It offers a vast new domain of exploration in particle physics, with orders of magnitude advances in terms of Precision, Sensitivity and Energy. The implementation plan foresees, as a first step, an Electroweak Factory electron-positron collider. This high luminosity facility, operating between 90 and 365 GeV centre-of-mass energy, will study the heavy particles of the Standard Model, Z, W, Higgs, and top with unprecedented accuracy. The Electroweak Factory $e^+e^-$ collider constitutes a real challenge to the theory and to precision calculations, triggering the need for the development of new mathematical methods and software tools. A first workshop in 2018 had focused on the first FCC-ee stage, the Tera-Z, and confronted the theoretical status of precision Standard Model calculations on the Z-boson resonance to the experimental demands. The second workshop in January 2019, which is reported here, extended the scope to the next stages, with the production of W-bosons (FCC-ee-W), the Higgs boson (FCC-ee-H) and top quarks (FCC-ee-tt). In particular, the theoretical precision in the determination of the crucial input parameters, alpha_QED, alpha_QCD, M_W, m_t at the level of FCC-ee requirements is thoroughly discussed. The requirements on Standard Model theory calculations were spelled out, so as to meet the demanding accuracy of the FCC-ee experimental potential. The discussion of innovative methods and tools for multi-loop calculations was deepened. Furthermore, phenomenological analyses beyond the Standard Model were discussed, in particular the effective theory approaches. The reports of 2018 and 2019 serve as white papers of the workshop results and subsequent developments. △ Less

Submitted 19 May, 2020; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: Published version

Journal ref: CERN Yellow Reports: Monographs, CERN-2020-003

Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD

Authors: S. Abreu, J. Dormans, F. Febres Cordero, H. Ita, B. Page, V. Sotnikov

Abstract: We present the analytic form of all leading-color two-loop five-parton helicity amplitudes in QCD. The results are analytically reconstructed from exact numerical evaluations over finite fields. Combining a judicious choice of variables with a new approach to the treatment of particle states in $D$ dimensions for the numerical evaluation of amplitudes, we obtain the analytic expressions with a mod… ▽ More We present the analytic form of all leading-color two-loop five-parton helicity amplitudes in QCD. The results are analytically reconstructed from exact numerical evaluations over finite fields. Combining a judicious choice of variables with a new approach to the treatment of particle states in $D$ dimensions for the numerical evaluation of amplitudes, we obtain the analytic expressions with a modest computational effort. Their systematic simplification using multivariate partial-fraction decomposition leads to a particularly compact form. Our results provide all two-loop amplitudes required for the calculation of next-to-next-to-leading order QCD corrections to the production of three jets at hadron colliders in the leading-color approximation. △ Less

Submitted 22 May, 2019; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: v2: Minor text changes, matches published version

The two-loop five-point amplitude in $\mathcal N=8$ supergravity

Authors: Samuel Abreu, Lance J. Dixon, Enrico Herrmann, Ben Page, Mao Zeng

Abstract: We compute the symbol of the two-loop five-point amplitude in $\mathcal N=8$ supergravity. We write an ansatz for the amplitude whose rational prefactors are based on not only 4-dimensional leading singularities, but also $d$-dimensional ones, as the former are insufficient. Our novel $d$-dimensional unitarity-based approach to the systematic construction of an amplitude's rational structures is l… ▽ More We compute the symbol of the two-loop five-point amplitude in $\mathcal N=8$ supergravity. We write an ansatz for the amplitude whose rational prefactors are based on not only 4-dimensional leading singularities, but also $d$-dimensional ones, as the former are insufficient. Our novel $d$-dimensional unitarity-based approach to the systematic construction of an amplitude's rational structures is likely to have broader applications, for example to analogous QCD calculations. We fix parameters in the ansatz by performing numerical integration-by-parts reduction of the known integrand. We find that the two-loop five-point $\mathcal N=8$ supergravity amplitude is uniformly transcendental. We then verify the soft and collinear limits of the amplitude. There is considerable similarity with the corresponding amplitude for $\mathcal N=4$ super-Yang-Mills theory: all the rational prefactors are double copies of the Yang-Mills ones and the transcendental functions overlap to a large degree. As a byproduct, we find new relations between color-ordered loop amplitudes in $\mathcal N=4$ super-Yang-Mills theory. △ Less

Submitted 26 March, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 50 pages, 4 figures. v2: final journal version

Report number: CP3-19-06, IPhT-19/003, SLAC-PUB-17377, HU-EP-19/01

Journal ref: JHEP 03 (2019) 123

The two-loop five-point amplitude in $\mathcal{N} =4$ super-Yang-Mills theory

Authors: Samuel Abreu, Lance J. Dixon, Enrico Herrmann, Ben Page, Mao Zeng

Abstract: We compute the symbol of the two-loop five-point scattering amplitude in $\mathcal{N}$ = 4 super-Yang-Mills theory, including its full color dependence. This requires constructing the symbol of all two-loop five-point nonplanar massless master integrals, for which we give explicit results. We compute the symbol of the two-loop five-point scattering amplitude in $\mathcal{N}$ = 4 super-Yang-Mills theory, including its full color dependence. This requires constructing the symbol of all two-loop five-point nonplanar massless master integrals, for which we give explicit results. △ Less

Submitted 27 March, 2019; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 6pages, 1 figure, 1 table; v2: references added, fixed typos, flipped overall sign of amplitude in ancillary files; v3: references and typos fixed

Report number: CP3-18-31, IPhT-18/170, SLAC-PUB-17369

Journal ref: Phys. Rev. Lett. 122, 121603 (2019)

Analytic Form of the Planar Two-Loop Five-Gluon Scattering Amplitudes in QCD

Authors: S. Abreu, J. Dormans, F. Febres Cordero, H. Ita, B. Page

Abstract: We present the analytic form of the two-loop five-gluon scattering amplitudes in QCD for a complete set of independent helicity configurations of external gluons. These include the first analytic results for five-point two-loop amplitudes relevant for the computation of next-to-next-to-leading-order QCD corrections at hadron colliders. The results were obtained by reconstructing analytic expressio… ▽ More We present the analytic form of the two-loop five-gluon scattering amplitudes in QCD for a complete set of independent helicity configurations of external gluons. These include the first analytic results for five-point two-loop amplitudes relevant for the computation of next-to-next-to-leading-order QCD corrections at hadron colliders. The results were obtained by reconstructing analytic expressions from numerical evaluations. The complexity of the computation is reduced by exploiting physical and analytical properties of the amplitudes, employing a minimal basis of so-called pentagon functions that have recently been classified. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: Ancillary files with analytic expressions can be downloaded from https://www.qft.physik.uni-freiburg.de/ScatteringAmplitudes

Journal ref: Phys. Rev. Lett. 122, 082002 (2019)

Planar Two-Loop Five-Parton Amplitudes from Numerical Unitarity

Authors: S. Abreu, F. Febres Cordero, H. Ita, B. Page, V. Sotnikov

Abstract: We compute a complete set of independent leading-color two-loop five-parton amplitudes in QCD. These constitute a fundamental ingredient for the next-to-next-to-leading order QCD corrections to three-jet production at hadron colliders. We show how to consistently consider helicity amplitudes with external fermions in dimensional regularization, allowing the application of a numerical variant of th… ▽ More We compute a complete set of independent leading-color two-loop five-parton amplitudes in QCD. These constitute a fundamental ingredient for the next-to-next-to-leading order QCD corrections to three-jet production at hadron colliders. We show how to consistently consider helicity amplitudes with external fermions in dimensional regularization, allowing the application of a numerical variant of the unitarity approach. Amplitudes are computed by exploiting a decomposition of the integrand into master and surface terms that is independent of the parton type. Master integral coefficients are numerically computed in either finite-field or floating-point arithmetic and combined with known analytic master integrals. We recompute two-loop leading-color four-parton amplitudes as a check of our implementation. Results are presented for all independent four- and five-parton processes including contributions with massless closed fermion loops. △ Less

Submitted 8 April, 2019; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: v3: corrected wrong signs for five-gluon $N_f^2$ amplitudes with vanishing trees

Report number: FR-PHENO-2018-011

Coaction for Feynman integrals and diagrams

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi, James Matthew

Abstract: We propose a general coaction for families of integrals appearing in the evaluation of Feynman diagrams, such as multiple polylogarithms and generalized hypergeometric functions. We further conjecture a link between this coaction and graphical operations on Feynman diagrams. At one-loop order, there is a basis of integrals for which this correspondence is fully explicit. We discuss features and pr… ▽ More We propose a general coaction for families of integrals appearing in the evaluation of Feynman diagrams, such as multiple polylogarithms and generalized hypergeometric functions. We further conjecture a link between this coaction and graphical operations on Feynman diagrams. At one-loop order, there is a basis of integrals for which this correspondence is fully explicit. We discuss features and present examples of the diagrammatic coaction on two-loop integrals. We also present the coaction for the functions ${}_{p+1}F_p$ and Appell $F_1$. △ Less

Submitted 31 July, 2018; originally announced August 2018.

Comments: 10 pages, talk given at Loops and Legs in Quantum Field Theory 2018

Report number: CERN-TH-2018-165, CP3-18-46, FR-PHENO-2018-007

Differential equations from unitarity cuts: nonplanar hexa-box integrals

Authors: Samuel Abreu, Ben Page, Mao Zeng

Abstract: We compute $ε$-factorized differential equations for all dimensionally-regularized integrals of the nonplanar hexa-box topology, which contribute for instance to 2-loop 5-point QCD amplitudes. A full set of pure integrals is presented. For 5-point planar topologies, Gram determinants which vanish in $4$ dimensions are used to build compact expressions for pure integrals. Using unitarity cuts and c… ▽ More We compute $ε$-factorized differential equations for all dimensionally-regularized integrals of the nonplanar hexa-box topology, which contribute for instance to 2-loop 5-point QCD amplitudes. A full set of pure integrals is presented. For 5-point planar topologies, Gram determinants which vanish in $4$ dimensions are used to build compact expressions for pure integrals. Using unitarity cuts and computational algebraic geometry, we obtain a compact IBP system which can be solved in 8 hours on a single CPU core, overcoming a major bottleneck for deriving the differential equations. Alternatively, assuming prior knowledge of the alphabet of the nonplanar hexa-box, we reconstruct analytic differential equations from 30 numerical phase-space points, making the computation almost trivial with current techniques. We solve the differential equations to obtain the values of the master integrals at the symbol level. Full results for the differential equations and solutions are included as supplementary material. △ Less

Submitted 2 January, 2019; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 31 pages, 2 figures. Version 2: final journal version; includes solutions to differential equations

Report number: FR-PHENO-2018-009, UCLA/18/TEP/105

Journal ref: JHEP 01 (2019) 006

Five-Point Two-Loop Amplitudes from Numerical Unitarity

Authors: Samuel Abreu, Fernando Febres Cordero, Harald Ita, Ben Page, Mao Zeng

Abstract: We present advances in the development of the numerical unitarity method for the computation of multi-loop amplitudes in QCD. As an application, we show results for all the leading-color two-loop five-gluon helicity amplitudes. The amplitudes are reduced to a linear combination of master integrals by employing unitarity-compatible integration-by-parts identities, and the corresponding integral coe… ▽ More We present advances in the development of the numerical unitarity method for the computation of multi-loop amplitudes in QCD. As an application, we show results for all the leading-color two-loop five-gluon helicity amplitudes. The amplitudes are reduced to a linear combination of master integrals by employing unitarity-compatible integration-by-parts identities, and the corresponding integral coefficients are computed in an exact manner on rational phase-space points through finite fields arithmetics. △ Less

Submitted 25 July, 2018; originally announced July 2018.

Comments: 12 pages, 2 figures, talks presented at the Loops and Legs Workshop 2018

Report number: FR-PHENO-2018-008, UCLA-18-TEP-104

The diagrammatic coaction and the algebraic structure of cut Feynman integrals

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi

Abstract: We present a new formula for the coaction of a large class of integrals. When applied to one-loop (cut) Feynman integrals, it can be given a diagrammatic representation purely in terms of pinches and cuts of the edges of the graph. The coaction encodes the algebraic structure of these integrals, and offers ways to extract important properties of complicated integrals from simpler functions. In par… ▽ More We present a new formula for the coaction of a large class of integrals. When applied to one-loop (cut) Feynman integrals, it can be given a diagrammatic representation purely in terms of pinches and cuts of the edges of the graph. The coaction encodes the algebraic structure of these integrals, and offers ways to extract important properties of complicated integrals from simpler functions. In particular, it gives direct access to discontinuities of Feynman integrals and facilitates a straightforward derivation of the differential equations they satisfy, which we illustrate in the case of the pentagon. △ Less

Submitted 15 March, 2018; originally announced March 2018.

Comments: 10 pages. Talk at RADCOR 2017, the 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), 25-29 September, 2017, St. Gilgen, Austria

Report number: CERN-TH-2018-002, CP3-18-01, Edinburgh 2018/1, FR-PHENO-2018-001

Planar Two-Loop Five-Gluon Amplitudes from Numerical Unitarity

Authors: Samuel Abreu, Fernando Febres Cordero, Harald Ita, Ben Page, Mao Zeng

Abstract: We present a calculation of the planar two-loop five-gluon amplitudes. The amplitudes are obtained in a variant of the generalized unitarity approach suitable for numerical computations, which we extend for use with finite field arithmetics. Employing a new method for the generation of unitarity-compatible integration-by-parts identities, all helicity amplitudes are reduced to a linear combination… ▽ More We present a calculation of the planar two-loop five-gluon amplitudes. The amplitudes are obtained in a variant of the generalized unitarity approach suitable for numerical computations, which we extend for use with finite field arithmetics. Employing a new method for the generation of unitarity-compatible integration-by-parts identities, all helicity amplitudes are reduced to a linear combination of master integrals for the first time. The approach allows us to compute exact values for the integral coefficients at rational phase-space points. All required master integrals are known analytically, and we obtain arbitrary-precision values for the amplitudes. △ Less

Submitted 18 December, 2017; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: Additional references and text improvements

Report number: FR-PHENO-2017-025, UCLA-17-TEP-108

Journal ref: Phys. Rev. D 97, 116014 (2018)

Diagrammatic Hopf algebra of cut Feynman integrals: the one-loop case

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi

Abstract: We construct a diagrammatic coaction acting on one-loop Feynman graphs and their cuts. The graphs are naturally identified with the corresponding (cut) Feynman integrals in dimensional regularization, whose coefficients of the Laurent expansion in the dimensional regulator are multiple polylogarithms (MPLs). Our main result is the conjecture that this diagrammatic coaction reproduces the combinato… ▽ More We construct a diagrammatic coaction acting on one-loop Feynman graphs and their cuts. The graphs are naturally identified with the corresponding (cut) Feynman integrals in dimensional regularization, whose coefficients of the Laurent expansion in the dimensional regulator are multiple polylogarithms (MPLs). Our main result is the conjecture that this diagrammatic coaction reproduces the combinatorics of the coaction on MPLs order by order in the Laurent expansion. We show that our conjecture holds in a broad range of nontrivial one-loop integrals. We then explore its consequences for the study of discontinuities of Feynman integrals, and the differential equations that they satisfy. In particular, using the diagrammatic coaction along with information from cuts, we explicitly derive differential equations for any one-loop Feynman integral. We also explain how to construct the symbol of any one-loop Feynman integral recursively. Finally, we show that our diagrammatic coaction follows, in the special case of one-loop integrals, from a more general coaction proposed recently, which is constructed by pairing master integrands with corresponding master contours. △ Less

Submitted 1 February, 2018; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: 76 pages. v2: Remarks added for clarification, typos corrected. Supersedes published version

Report number: CERN-TH-2017-092, CP3-17-11, Edinburgh 2017/09, FR-PHENO-2017-010, TCDMATH-17-09

Journal ref: JHEP 1712 (2017) 090

Two-Loop Four-Gluon Amplitudes with the Numerical Unitarity Method

Authors: S. Abreu, F. Febres Cordero, H. Ita, M. Jaquier, B. Page, M. Zeng

Abstract: We present the first numerical computation of two-loop amplitudes based on the unitarity method. As a proof of principle, we compute the four-gluon process. We discuss the new method, analyze its numerical properties and apply it to reconstruct the analytic form of the amplitudes. The numerical method is universal, and can be automated to provide multi-scale two-loop computations for phenomenologi… ▽ More We present the first numerical computation of two-loop amplitudes based on the unitarity method. As a proof of principle, we compute the four-gluon process. We discuss the new method, analyze its numerical properties and apply it to reconstruct the analytic form of the amplitudes. The numerical method is universal, and can be automated to provide multi-scale two-loop computations for phenomenologically relevant signatures at hadron colliders. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 6 pages, 3 figures, Mathematica files for reconstructed analytic formulae

Report number: FR-PHENO-2017-007, UCLA-17-TEP-103

Journal ref: Phys. Rev. Lett. 119, 142001 (2017)

Subleading Poles in the Numerical Unitarity Method at Two Loops

Authors: S. Abreu, F. Febres Cordero, H. Ita, M. Jaquier, B. Page

Abstract: We describe the unitarity approach for the numerical computation of two-loop integral coefficients of scattering amplitudes. It is well known that the leading propagator singularities of an amplitude's integrand are related to products of tree amplitudes. At two loops, Feynman diagrams with doubled propagators appear naturally, which lead to subleading pole contributions. In general, it is not kno… ▽ More We describe the unitarity approach for the numerical computation of two-loop integral coefficients of scattering amplitudes. It is well known that the leading propagator singularities of an amplitude's integrand are related to products of tree amplitudes. At two loops, Feynman diagrams with doubled propagators appear naturally, which lead to subleading pole contributions. In general, it is not known how these contributions can be directly expressed in terms of a product of on-shell tree amplitudes. We present a universal algorithm to extract these subleading pole terms by releasing some of the on-shell conditions. We demonstrate the new approach by numerically computing two-loop four-gluon integral coefficients. △ Less

Submitted 6 June, 2017; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: 18 pages, 4 figures. v2: Minor text improvements; added reference; matches published version

Report number: FR-PHENO-2017-002

Journal ref: Phys. Rev. D 95, 096011 (2017)

The algebraic structure of cut Feynman integrals and the diagrammatic coaction

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi

Abstract: We study the algebraic and analytic structure of Feynman integrals by proposing an operation that maps an integral into pairs of integrals obtained from a master integrand and a corresponding master contour. This operation is a coaction. It reduces to the known coaction on multiple polylogarithms, but applies more generally, e.g. to hypergeometric functions. The coaction also applies to generic on… ▽ More We study the algebraic and analytic structure of Feynman integrals by proposing an operation that maps an integral into pairs of integrals obtained from a master integrand and a corresponding master contour. This operation is a coaction. It reduces to the known coaction on multiple polylogarithms, but applies more generally, e.g. to hypergeometric functions. The coaction also applies to generic one-loop Feynman integrals with any configuration of internal and external masses, and in dimensional regularization. In this case, we demonstrate that it can be given a diagrammatic representation purely in terms of operations on graphs, namely contractions and cuts of edges. The coaction gives direct access to (iterated) discontinuities of Feynman integrals and facilitates a straightforward derivation of the differential equations they admit. In particular, the differential equations for any one-loop integral are determined by the diagrammatic coaction using limited information about their maximal, next-to-maximal, and next-to-next-to-maximal cuts. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Journal ref: Phys. Rev. Lett. 119, 051601 (2017)

Cuts from residues: the one-loop case

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi

Abstract: Using the multivariate residue calculus of Leray, we give a precise definition of the notion of a cut Feynman integral in dimensional regularization, as a residue evaluated on the variety where some of the propagators are put on shell. These are naturally associated to Landau singularities of the first type. Focusing on the one-loop case, we give an explicit parametrization to compute such cut int… ▽ More Using the multivariate residue calculus of Leray, we give a precise definition of the notion of a cut Feynman integral in dimensional regularization, as a residue evaluated on the variety where some of the propagators are put on shell. These are naturally associated to Landau singularities of the first type. Focusing on the one-loop case, we give an explicit parametrization to compute such cut integrals, with which we study some of their properties and list explicit results for maximal and next-to-maximal cuts. By analyzing homology groups, we show that cut integrals associated to Landau singularities of the second type are specific combinations of the usual cut integrals, and we obtain linear relations among different cuts of the same integral. We also show that all one-loop Feynman integrals and their cuts belong to the same class of functions, which can be written as parametric integrals. △ Less

Submitted 21 March, 2017; v1 submitted 10 February, 2017; originally announced February 2017.

Comments: v2: fixed minor typos in the normalisation of cut integrals

Cuts and coproducts of massive triangle diagrams

Authors: Samuel Abreu, Ruth Britto, Hanna Grönqvist

Abstract: Relations between multiple unitarity cuts and coproducts of Feynman integrals are extended to allow for internal masses. These masses introduce new branch cuts, whose discontinuities can be derived by placing single propagators on shell and identified as particular entries of the coproduct. First entries of the coproduct are then seen to include mass invariants alone, as well as threshold correcti… ▽ More Relations between multiple unitarity cuts and coproducts of Feynman integrals are extended to allow for internal masses. These masses introduce new branch cuts, whose discontinuities can be derived by placing single propagators on shell and identified as particular entries of the coproduct. First entries of the coproduct are then seen to include mass invariants alone, as well as threshold corrections for external momentum channels. As in the massless case, the original integral can possibly be recovered from its cuts by starting with the known part of the coproduct and imposing integrability contraints. We formulate precise rules for cuts of diagrams, and we gather evidence for the relations to coproducts through a detailed study of one-loop triangle integrals with various combinations of external and internal masses. △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 60 pages

From multiple unitarity cuts to the coproduct of Feynman integrals

Authors: Samuel Abreu, Ruth Britto, Claude Duhr, Einan Gardi

Abstract: We develop techniques for computing and analyzing multiple unitarity cuts of Feynman integrals, and reconstructing the integral from these cuts. We study the relations among unitarity cuts of a Feynman integral computed via diagrammatic cutting rules, the discontinuity across the corresponding branch cut, and the coproduct of the integral. For single unitarity cuts, these relations are familiar. H… ▽ More We develop techniques for computing and analyzing multiple unitarity cuts of Feynman integrals, and reconstructing the integral from these cuts. We study the relations among unitarity cuts of a Feynman integral computed via diagrammatic cutting rules, the discontinuity across the corresponding branch cut, and the coproduct of the integral. For single unitarity cuts, these relations are familiar. Here we show that they can be generalized to sequences of unitarity cuts in different channels. Using concrete one- and two-loop scalar integral examples we demonstrate that it is possible to reconstruct a Feynman integral from either single or double unitarity cuts. Our results offer insight into the analytic structure of Feynman integrals as well as a new approach to computing them. △ Less

Submitted 27 June, 2014; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: v2: improved presentation of main relations in Sec. 3, symbol alphabet defined and determined from cuts, reconstruction extended beyond symbol level, references added. 83 pages

Experimenting with X10 for Parallel Constraint-Based Local Search

Authors: Danny Munera, Daniel Diaz, Salvador Abreu

Abstract: In this study, we have investigated the adequacy of the PGAS parallel language X10 to implement a Constraint-Based Local Search solver. We decided to code in this language to benefit from the ease of use and architectural independence from parallel resources which it offers. We present the implementation strategy, in search of different sources of parallelism in the context of an implementation of… ▽ More In this study, we have investigated the adequacy of the PGAS parallel language X10 to implement a Constraint-Based Local Search solver. We decided to code in this language to benefit from the ease of use and architectural independence from parallel resources which it offers. We present the implementation strategy, in search of different sources of parallelism in the context of an implementation of the Adaptive Search algorithm. We extensively discuss the algorithm and its implementation. The performance evaluation on a representative set of benchmarks shows close to linear speed-ups, in all the problems treated. △ Less

Submitted 17 July, 2013; originally announced July 2013.

Comments: Proceedings of the 13th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2013), Istanbul, Turkey, August 25, 2013

Parallel Local Search: Experiments with a PGAS-based programming model

Authors: Rui Machado, Salvador Abreu, Daniel Diaz

Abstract: Local search is a successful approach for solving combinatorial optimization and constraint satisfaction problems. With the progressing move toward multi and many-core systems, GPUs and the quest for Exascale systems, parallelism has become mainstream as the number of cores continues to increase. New programming models are required and need to be better understood as well as data structures and al… ▽ More Local search is a successful approach for solving combinatorial optimization and constraint satisfaction problems. With the progressing move toward multi and many-core systems, GPUs and the quest for Exascale systems, parallelism has become mainstream as the number of cores continues to increase. New programming models are required and need to be better understood as well as data structures and algorithms. Such is the case for local search algorithms when run on hundreds or thousands of processing units. In this paper, we discuss some experiments we have been doing with Adaptive Search and present a new parallel version of it based on GPI, a recent API and programming model for the development of scalable parallel applications. Our experiments on different problems show interesting speedups and, more importantly, a deeper interpretation of the parallelization of Local Search methods. △ Less

Submitted 10 May, 2013; v1 submitted 31 January, 2013; originally announced January 2013.

Comments: Appeared in CICLOPS 2012. 17 Pages, 4 Figures. arXiv admin note: text overlap with arXiv:1212.4287 by other authors