-
Classification of Feynman integral geometries for black-hole scattering at 5PM order
Authors:
Daniel Brammer,
Hjalte Frellesvig,
Roger Morales,
Matthias Wilhelm
Abstract:
We provide a complete classification of the Feynman integral geometries relevant to the scattering of two black holes at fifth order in the post-Minkowskian (PM) expansion, i.e. at four loops. The analysis includes integrals relevant to both the conservative and dissipative dynamics, as well as to all orders in the self-force (SF) expansion, i.e. the 0SF, 1SF and 2SF orders. By relating the geomet…
▽ More
We provide a complete classification of the Feynman integral geometries relevant to the scattering of two black holes at fifth order in the post-Minkowskian (PM) expansion, i.e. at four loops. The analysis includes integrals relevant to both the conservative and dissipative dynamics, as well as to all orders in the self-force (SF) expansion, i.e. the 0SF, 1SF and 2SF orders. By relating the geometries of integrals across different loop orders and integral families, we find that out of the 16,596 potentially contributing integral topologies, only 70 need to be analyzed in detail. By further computing their leading singularities using the loop-by-loop Baikov representation, we show that there only appear two different three-dimensional Calabi-Yau geometries and two different K3 surfaces at this loop order, which together characterize the space of functions beyond polylogarithms to which the 5PM integrals evaluate.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Refining Integration-by-Parts Reduction of Feynman Integrals with Machine Learning
Authors:
Matt von Hippel,
Matthias Wilhelm
Abstract:
Integration-by-parts reductions of Feynman integrals pose a frequent bottle-neck in state-of-the-art calculations in theoretical particle and gravitational-wave physics, and rely on heuristic approaches for selecting integration-by-parts identities, whose quality heavily influences the performance. In this paper, we investigate the use of machine-learning techniques to find improved heuristics. We…
▽ More
Integration-by-parts reductions of Feynman integrals pose a frequent bottle-neck in state-of-the-art calculations in theoretical particle and gravitational-wave physics, and rely on heuristic approaches for selecting integration-by-parts identities, whose quality heavily influences the performance. In this paper, we investigate the use of machine-learning techniques to find improved heuristics. We use funsearch, a genetic programming variant based on code generation by a Large Language Model, in order to explore possible approaches, then use strongly typed genetic programming to zero in on useful solutions. Both approaches manage to re-discover the state-of-the-art heuristics recently incorporated into integration-by-parts solvers, and in one example find a small advance on this state of the art.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Recurrent Features of Amplitudes in Planar $\mathcal{N}=4$ Super Yang-Mills Theory
Authors:
Tianji Cai,
François Charton,
Kyle Cranmer,
Lance J. Dixon,
Garrett W. Merz,
Matthias Wilhelm
Abstract:
The planar three-gluon form factor for the chiral stress tensor operator in planar maximally supersymmetric Yang-Mills theory is an analog of the Higgs-to-three-gluon scattering amplitude in QCD. The amplitude (symbol) bootstrap program has provided a wealth of high-loop perturbative data about this form factor, with results up to eight loops available. The symbol of the form factor at $L$ loops i…
▽ More
The planar three-gluon form factor for the chiral stress tensor operator in planar maximally supersymmetric Yang-Mills theory is an analog of the Higgs-to-three-gluon scattering amplitude in QCD. The amplitude (symbol) bootstrap program has provided a wealth of high-loop perturbative data about this form factor, with results up to eight loops available. The symbol of the form factor at $L$ loops is given by words of length $2L$ in six letters with associated integer coefficients. In this paper, we analyze this data, describing patterns of zero coefficients and relations between coefficients. We find many sequences of words whose coefficients are given by closed-form expressions which we expect to be valid at any loop order. Moreover, motivated by our previous machine-learning analysis, we identify simple recursion relations that relate the coefficient of a word to the coefficients of particular lower-loop words. These results open an exciting door for understanding scattering amplitudes at all loop orders.
△ Less
Submitted 15 April, 2025; v1 submitted 10 January, 2025;
originally announced January 2025.
-
Calabi-Yau Feynman integrals in gravity: $\varepsilon$-factorized form for apparent singularities
Authors:
Hjalte Frellesvig,
Roger Morales,
Sebastian Pögel,
Stefan Weinzierl,
Matthias Wilhelm
Abstract:
We study a recently identified four-loop Feynman integral that contains a three-dimensional Calabi-Yau geometry and contributes to the scattering of black holes in classical gravity at fifth post-Minkowskian and second self-force order (5PM 2SF) in the conservative sector. In contrast to previously studied Calabi-Yau Feynman integrals, the higher-order differential equation that this integral sati…
▽ More
We study a recently identified four-loop Feynman integral that contains a three-dimensional Calabi-Yau geometry and contributes to the scattering of black holes in classical gravity at fifth post-Minkowskian and second self-force order (5PM 2SF) in the conservative sector. In contrast to previously studied Calabi-Yau Feynman integrals, the higher-order differential equation that this integral satisfies in dimensional regularization exhibits $\varepsilon$-dependent apparent singularities. We introduce an appropriate ansatz which allows us to bring such cases into an $\varepsilon$-factorized form. As a proof of principle, we apply it to the integral at hand.
△ Less
Submitted 6 April, 2025; v1 submitted 16 December, 2024;
originally announced December 2024.
-
All planar two-loop amplitudes in maximally supersymmetric Yang-Mills theory
Authors:
Anne Spiering,
Matthias Wilhelm,
Chi Zhang
Abstract:
We calculate the general planar dual-conformally invariant double-pentagon and pentabox integrals in four dimensions. Concretely, we derive one-fold integral representations for these elliptic integrals over polylogarithms of weight three. These integral representations allow us to determine the respective symbols using consistency conditions alone. Together with the previously calculated double-b…
▽ More
We calculate the general planar dual-conformally invariant double-pentagon and pentabox integrals in four dimensions. Concretely, we derive one-fold integral representations for these elliptic integrals over polylogarithms of weight three. These integral representations allow us to determine the respective symbols using consistency conditions alone. Together with the previously calculated double-box integral, these integrals suffice to express all two-loop planar scattering amplitudes in maximally supersymmetric Yang-Mills theory in four dimensions -- which we thus calculate for any number of particles and any helicity configuration!
△ Less
Submitted 17 October, 2024; v1 submitted 21 June, 2024;
originally announced June 2024.
-
Classifying post-Minkowskian geometries for gravitational waves via loop-by-loop Baikov
Authors:
Hjalte Frellesvig,
Roger Morales,
Matthias Wilhelm
Abstract:
We use the loop-by-loop Baikov representation to investigate the geometries in Feynman integrals contributing to the classical dynamics of a black-hole two-body system in the post-Minkowskian expansion of general relativity. These geometries determine the spaces of functions to which the corresponding Feynman diagrams evaluate. As a proof of principle, we provide a full classification of the geome…
▽ More
We use the loop-by-loop Baikov representation to investigate the geometries in Feynman integrals contributing to the classical dynamics of a black-hole two-body system in the post-Minkowskian expansion of general relativity. These geometries determine the spaces of functions to which the corresponding Feynman diagrams evaluate. As a proof of principle, we provide a full classification of the geometries appearing up to three loops, i.e. fourth post-Minkowskian order, for all diagrams relevant to the conservative as well as the dissipative dynamics, finding full agreement with the literature. Moreover, we show that the non-planar top topology at four loops, which is the most complicated sector with respect to integration-by-parts identities, has an algebraic leading singularity and thus can only depend on non-trivial geometries through its subsectors.
△ Less
Submitted 2 September, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Transforming the Bootstrap: Using Transformers to Compute Scattering Amplitudes in Planar N = 4 Super Yang-Mills Theory
Authors:
Tianji Cai,
Garrett W. Merz,
François Charton,
Niklas Nolte,
Matthias Wilhelm,
Kyle Cranmer,
Lance J. Dixon
Abstract:
We pursue the use of deep learning methods to improve state-of-the-art computations in theoretical high-energy physics. Planar N = 4 Super Yang-Mills theory is a close cousin to the theory that describes Higgs boson production at the Large Hadron Collider; its scattering amplitudes are large mathematical expressions containing integer coefficients. In this paper, we apply Transformers to predict t…
▽ More
We pursue the use of deep learning methods to improve state-of-the-art computations in theoretical high-energy physics. Planar N = 4 Super Yang-Mills theory is a close cousin to the theory that describes Higgs boson production at the Large Hadron Collider; its scattering amplitudes are large mathematical expressions containing integer coefficients. In this paper, we apply Transformers to predict these coefficients. The problem can be formulated in a language-like representation amenable to standard cross-entropy training objectives. We design two related experiments and show that the model achieves high accuracy (> 98%) on both tasks. Our work shows that Transformers can be applied successfully to problems in theoretical physics that require exact solutions.
△ Less
Submitted 19 September, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
Calabi-Yau meets Gravity: A Calabi-Yau three-fold at fifth post-Minkowskian order
Authors:
Hjalte Frellesvig,
Roger Morales,
Matthias Wilhelm
Abstract:
We study geometries occurring in Feynman integrals that contribute to the scattering of black holes in the post-Minkowskian expansion. These geometries become relevant to gravitational-wave production during the inspiralling phase of binary black hole mergers through the classical conservative potential. At fourth post-Minkowskian order, a K3 surface is known to occur in a three-loop integral, lea…
▽ More
We study geometries occurring in Feynman integrals that contribute to the scattering of black holes in the post-Minkowskian expansion. These geometries become relevant to gravitational-wave production during the inspiralling phase of binary black hole mergers through the classical conservative potential. At fourth post-Minkowskian order, a K3 surface is known to occur in a three-loop integral, leading to elliptic integrals in the result. In this letter, we identify a Calabi-Yau three-fold in a four-loop integral, contributing at fifth post-Minkowskian order. The presence of this Calabi-Yau geometry indicates that completely new functions occur in the full analytical results at this order.
△ Less
Submitted 16 May, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
An Infinite Family of Elliptic Ladder Integrals
Authors:
Andrew McLeod,
Roger Morales,
Matt von Hippel,
Matthias Wilhelm,
Chi Zhang
Abstract:
We identify two families of ten-point Feynman diagrams that generalize the elliptic double box, and show that they can be expressed in terms of the same class of elliptic multiple polylogarithms to all loop orders. Interestingly, one of these families can also be written as a dlog form. For both families of diagrams, we provide new 2l-fold integral representations that are linearly reducible in al…
▽ More
We identify two families of ten-point Feynman diagrams that generalize the elliptic double box, and show that they can be expressed in terms of the same class of elliptic multiple polylogarithms to all loop orders. Interestingly, one of these families can also be written as a dlog form. For both families of diagrams, we provide new 2l-fold integral representations that are linearly reducible in all but one variable and that make the above properties manifest. We illustrate the simplicity of this integral representation by directly integrating the three-loop representative of both families of diagrams. These families also satisfy a pair of second-order differential equations, making them ideal examples on which to develop bootstrap techniques involving elliptic symbol letters at high loop orders.
△ Less
Submitted 2 June, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Bootstrapping elliptic Feynman integrals using Schubert analysis
Authors:
Roger Morales,
Anne Spiering,
Matthias Wilhelm,
Qinglin Yang,
Chi Zhang
Abstract:
The symbol bootstrap has proven to be a powerful tool for calculating polylogarithmic Feynman integrals and scattering amplitudes. In this letter, we initiate the symbol bootstrap for elliptic Feynman integrals. Concretely, we bootstrap the symbol of the twelve-point two-loop double-box integral in four dimensions, which depends on nine dual-conformal cross ratios. We obtain the symbol alphabet, w…
▽ More
The symbol bootstrap has proven to be a powerful tool for calculating polylogarithmic Feynman integrals and scattering amplitudes. In this letter, we initiate the symbol bootstrap for elliptic Feynman integrals. Concretely, we bootstrap the symbol of the twelve-point two-loop double-box integral in four dimensions, which depends on nine dual-conformal cross ratios. We obtain the symbol alphabet, which contains 100 logarithms as well as 9 simple elliptic integrals, via a Schubert-type analysis, which we equally generalize to the elliptic case. In particular, we find a compact, one-line formula for the (2,2)-coproduct of the result.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Antipodal Self-Duality for a Four-Particle Form Factor
Authors:
Lance J. Dixon,
Ömer Gürdoğan,
Yu-Ting Liu,
Andrew J. McLeod,
Matthias Wilhelm
Abstract:
We bootstrap the symbol of the maximal-helicity-violating four-particle form factor for the chiral part of the stress-tensor supermultiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory at two loops. When minimally normalized, this symbol involves only 34 letters and obeys the extended Steinmann relations in all partially-overlapping three-particle momentum channels. In addition, the remainder…
▽ More
We bootstrap the symbol of the maximal-helicity-violating four-particle form factor for the chiral part of the stress-tensor supermultiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory at two loops. When minimally normalized, this symbol involves only 34 letters and obeys the extended Steinmann relations in all partially-overlapping three-particle momentum channels. In addition, the remainder function for this form factor exhibits an antipodal self-duality: it is invariant under the combined operation of the antipodal map defined on multiple polylogarithms -- which reverses the order of the symbol letters -- and a simple kinematic map. This self-duality holds on a four-dimensional parity-preserving kinematic hypersurface. It implies the antipodal duality recently noticed between the three-particle form factor and the six-particle amplitude in this theory.
△ Less
Submitted 30 November, 2024; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Symbology for elliptic multiple polylogarithms and the symbol prime
Authors:
Matthias Wilhelm,
Chi Zhang
Abstract:
Elliptic multiple polylogarithms occur in Feynman integrals and in particular in scattering amplitudes. They can be characterized by their symbol, a tensor product in the so-called symbol letters. In contrast to the non-elliptic case, the elliptic letters themselves satisfy highly non-trivial identities, which we discuss in this paper. Moreover, we introduce the symbol prime, an analog of the symb…
▽ More
Elliptic multiple polylogarithms occur in Feynman integrals and in particular in scattering amplitudes. They can be characterized by their symbol, a tensor product in the so-called symbol letters. In contrast to the non-elliptic case, the elliptic letters themselves satisfy highly non-trivial identities, which we discuss in this paper. Moreover, we introduce the symbol prime, an analog of the symbol for elliptic symbol letters, which makes these identities manifest. We demonstrate its use in two concrete examples at two-loop order: the unequal-mass sunrise integral in two dimensions and the ten-point double-box integral in four dimensions. Finally, we also report the result of the polylogarithmic nine-point double-box integral, which arises as the soft limit of the ten-point integral.
△ Less
Submitted 3 February, 2023; v1 submitted 16 June, 2022;
originally announced June 2022.
-
Bootstrapping a Stress-Tensor Form Factor through Eight Loops
Authors:
Lance J. Dixon,
Omer Gurdogan,
Andrew J. McLeod,
Matthias Wilhelm
Abstract:
We bootstrap the three-point form factor of the chiral stress-tensor multiplet in planar $\mathcal{N}=4$ supersymmetric Yang-Mills theory at six, seven, and eight loops, using boundary data from the form factor operator product expansion. This may represent the highest perturbative order to which multi-variate quantities in a unitary four-dimensional quantum field theory have been computed. In com…
▽ More
We bootstrap the three-point form factor of the chiral stress-tensor multiplet in planar $\mathcal{N}=4$ supersymmetric Yang-Mills theory at six, seven, and eight loops, using boundary data from the form factor operator product expansion. This may represent the highest perturbative order to which multi-variate quantities in a unitary four-dimensional quantum field theory have been computed. In computing this form factor, we observe and employ new restrictions on pairs and triples of adjacent letters in the symbol. We provide details about the function space required to describe the form factor through eight loops. Plotting the results on various lines provides striking numerical evidence for a finite radius of convergence of perturbation theory. By the principle of maximal transcendentality, our results are expected to give the highest weight part of the $g g \rightarrow H g$ and $H \rightarrow ggg$ amplitudes in the heavy-top limit of QCD through eight loops. These results were also recently used to discover a new antipodal duality between this form factor and a six-point amplitude in the same theory.
△ Less
Submitted 19 March, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Functions Beyond Multiple Polylogarithms for Precision Collider Physics
Authors:
Jacob L. Bourjaily,
Johannes Broedel,
Ekta Chaubey,
Claude Duhr,
Hjalte Frellesvig,
Martijn Hidding,
Robin Marzucca,
Andrew J. McLeod,
Marcus Spradlin,
Lorenzo Tancredi,
Cristian Vergu,
Matthias Volk,
Anastasia Volovich,
Matt von Hippel,
Stefan Weinzierl,
Matthias Wilhelm,
Chi Zhang
Abstract:
Feynman diagrams constitute one of the essential ingredients for making precision predictions for collider experiments. Yet, while the simplest Feynman diagrams can be evaluated in terms of multiple polylogarithms -- whose properties as special functions are well understood -- more complex diagrams often involve integrals over complicated algebraic manifolds. Such diagrams already contribute at NN…
▽ More
Feynman diagrams constitute one of the essential ingredients for making precision predictions for collider experiments. Yet, while the simplest Feynman diagrams can be evaluated in terms of multiple polylogarithms -- whose properties as special functions are well understood -- more complex diagrams often involve integrals over complicated algebraic manifolds. Such diagrams already contribute at NNLO to the self-energy of the electron, $t \bar{t}$ production, $γγ$ production, and Higgs decay, and appear at two loops in the planar limit of maximally supersymmetric Yang-Mills theory. This makes the study of these more complicated types of integrals of phenomenological as well as conceptual importance.
In this white paper contribution to the Snowmass community planning exercise, we provide an overview of the state of research on Feynman diagrams that involve special functions beyond multiple polylogarithms, and highlight a number of research directions that constitute essential avenues for future investigation.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
An Operator Product Expansion for Form Factors III. Finite Coupling and Multi-Particle Contributions
Authors:
Amit Sever,
Alexander G. Tumanov,
Matthias Wilhelm
Abstract:
Form factors in planar $\mathcal{N}=4$ super-Yang-Mills theory have a dual description in terms of periodic Wilson loops. This duality maps the multi-collinear expansion of the former to an operator product expansion of the latter. The coefficients of this expansion are decomposed in terms of several elementary building blocks and can be determined at finite 't Hooft coupling using bootstrap and i…
▽ More
Form factors in planar $\mathcal{N}=4$ super-Yang-Mills theory have a dual description in terms of periodic Wilson loops. This duality maps the multi-collinear expansion of the former to an operator product expansion of the latter. The coefficients of this expansion are decomposed in terms of several elementary building blocks and can be determined at finite 't Hooft coupling using bootstrap and integrability techniques. Some of these blocks are known from an analogous expansion of scattering amplitudes. In addition to these, the expansion for form factors includes a new type of building block, called {\it form factor transitions}, that encode information about the local operator. In the present paper, we consider the form factor of the chiral part of the stress-tensor supermultiplet. We bootstrap the corresponding form factor transitions of two-particle flux-tube states and use them to predict the leading term in the collinear expansion at finite coupling. The transitions we find can be expressed in terms of a quantity that previously appeared in a seemingly unrelated context, namely the octagon kernel. Lastly, we use a factorized ansatz to determine the multi-particle form factor transitions at finite coupling, which we use to predict the first subleading term in the collinear expansion. A perfect match is found between our predictions and the available perturbative data.
△ Less
Submitted 23 March, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Folding Amplitudes into Form Factors: An Antipodal Duality
Authors:
Lance J. Dixon,
Omer Gurdogan,
Andrew J. McLeod,
Matthias Wilhelm
Abstract:
We observe that the three-gluon form factor of the chiral part of the stress-tensor multiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory is dual to the six-gluon MHV amplitude on its parity-preserving surface. Up to a simple variable substitution, the map between these two quantities is given by the antipode operation defined on polylogarithms (as part of their Hopf algebra structure), whic…
▽ More
We observe that the three-gluon form factor of the chiral part of the stress-tensor multiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory is dual to the six-gluon MHV amplitude on its parity-preserving surface. Up to a simple variable substitution, the map between these two quantities is given by the antipode operation defined on polylogarithms (as part of their Hopf algebra structure), which acts at symbol level by reversing the order of letters in each term. We provide evidence for this duality through seven loops.
△ Less
Submitted 22 March, 2022; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Solving the Hagedorn temperature of AdS5/CFT4 via the Quantum Spectral Curve: Chemical potentials and deformations
Authors:
Troels Harmark,
Matthias Wilhelm
Abstract:
We describe how to calculate the Hagedorn temperature of $\mathcal{N}=4$ SYM theory and type IIB superstring theory on $AdS_5\times S^5$ via the Quantum Spectral Curve (QSC) -- providing further details on our previous letters 1706.03074 and 1803.04416. We solve the QSC equations perturbatively at weak 't Hooft coupling $λ$ up to seven-loop order and numerically at finite coupling, finding that th…
▽ More
We describe how to calculate the Hagedorn temperature of $\mathcal{N}=4$ SYM theory and type IIB superstring theory on $AdS_5\times S^5$ via the Quantum Spectral Curve (QSC) -- providing further details on our previous letters 1706.03074 and 1803.04416. We solve the QSC equations perturbatively at weak 't Hooft coupling $λ$ up to seven-loop order and numerically at finite coupling, finding that the perturbative results can be expressed in terms of single-valued harmonic polylogarithms. Moreover, we generalize the QSC to describe the Hagedorn temperature in the presence of chemical potentials. Finally, we show that the Hagedorn temperature in certain deformations of $\mathcal{N}=4$ SYM theory (real-$β$ and $γ_i$ deformation) agrees with the one in $\mathcal{N}=4$ SYM theory at any value of $λ$.
△ Less
Submitted 10 March, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
The elliptic double box and symbology beyond polylogarithms
Authors:
Alexander Kristensson,
Matthias Wilhelm,
Chi Zhang
Abstract:
We study the elliptic double-box integral, which contributes to generic massless QFTs and is the only contribution to a particular 10-point scattering amplitude in N=4 SYM theory. Based on a Feynman parametrization, we express this integral in terms of elliptic polylogarithms. We then study its symbol, finding a rich structure and remarkable similarity with the non-elliptic case. In particular, th…
▽ More
We study the elliptic double-box integral, which contributes to generic massless QFTs and is the only contribution to a particular 10-point scattering amplitude in N=4 SYM theory. Based on a Feynman parametrization, we express this integral in terms of elliptic polylogarithms. We then study its symbol, finding a rich structure and remarkable similarity with the non-elliptic case. In particular, the first entry of the symbol is expressible in terms of logarithms of dual-conformal cross-ratios, and elliptic letters only occur in the last two entries. Moreover, the symbol makes manifest a differential equation relating the double-box integral to a 6D hexagon integral, suggesting that it can be bootstrapped based on the latter integral alone.
△ Less
Submitted 6 January, 2022; v1 submitted 28 June, 2021;
originally announced June 2021.
-
An Operator Product Expansion for Form Factors II. Born level
Authors:
Amit Sever,
Alexander G. Tumanov,
Matthias Wilhelm
Abstract:
Form factors in planar N=4 Super-Yang-Mills theory admit a type of non-perturbative operator product expansion (OPE), as we have recently shown in arXiv:2009.11297. This expansion is based on a decomposition of the dual periodic Wilson loop into elementary building blocks: the known pentagon transitions and a new object that we call form factor transition, which encodes the information about the l…
▽ More
Form factors in planar N=4 Super-Yang-Mills theory admit a type of non-perturbative operator product expansion (OPE), as we have recently shown in arXiv:2009.11297. This expansion is based on a decomposition of the dual periodic Wilson loop into elementary building blocks: the known pentagon transitions and a new object that we call form factor transition, which encodes the information about the local operator. In this paper, we compute the two-particle form factor transitions for the chiral part of the stress-tensor supermultiplet at Born level; they yield the leading contribution to the OPE. To achieve this, we explicitly construct the Gubser-Klebanov-Polyakov two-particle singlet states. The resulting transitions are then used to test the OPE against known perturbative data and to make higher-loop predictions.
△ Less
Submitted 1 June, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Direct Integration for Multi-leg Amplitudes: Tips, Tricks, and When They Fail
Authors:
Jacob L. Bourjaily,
Yang-Hui He,
Andrew J. McLeod,
Marcus Spradlin,
Cristian Vergu,
Matthias Volk,
Matt von Hippel,
Matthias Wilhelm
Abstract:
Direct hyperlogarithmic integration offers a strong alternative to differential equation methods for Feynman integration, particularly for multi-particle diagrams. We review a variety of results by the authors in which this method, employed with some care, can compute diagrams of up to eight particles and four loops. We also highlight situations in which this method fails due to an algebraic obstr…
▽ More
Direct hyperlogarithmic integration offers a strong alternative to differential equation methods for Feynman integration, particularly for multi-particle diagrams. We review a variety of results by the authors in which this method, employed with some care, can compute diagrams of up to eight particles and four loops. We also highlight situations in which this method fails due to an algebraic obstruction. In a large number of cases the obstruction can be associated with a Calabi-Yau manifold.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
A Three-Point Form Factor Through Five Loops
Authors:
Lance J. Dixon,
Andrew J. McLeod,
Matthias Wilhelm
Abstract:
We bootstrap the three-point form factor of the chiral part of the stress-tensor supermultiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory, obtaining new results at three, four, and five loops. Our construction employs known conditions on the first, second, and final entries of the symbol, combined with new multiple-final-entry conditions, ``extended-Steinmann-like'' conditions, and near-co…
▽ More
We bootstrap the three-point form factor of the chiral part of the stress-tensor supermultiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory, obtaining new results at three, four, and five loops. Our construction employs known conditions on the first, second, and final entries of the symbol, combined with new multiple-final-entry conditions, ``extended-Steinmann-like'' conditions, and near-collinear data from the recently-developed form factor operator product expansion. Our results are expected to give the maximally transcendental parts of the $gg\to Hg$ and $H\to ggg$ amplitudes in the heavy-top limit of QCD. At two loops, the extended-Steinmann-like space of functions we describe contains all transcendental functions required for four-point amplitudes with one massive and three massless external legs, and all massless internal lines, including processes such as $gg\to Hg$ and $γ^*\to q\bar{q}g$. We expect the extended-Steinmann-like space to contain these amplitudes at higher loops as well, although not to arbitrarily high loop order. We present evidence that the planar $\mathcal{N}=4$ three-point form factor can be placed in an even smaller space of functions, with no independent $ζ$ values at weights two and three.
△ Less
Submitted 12 April, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
An Operator Product Expansion for Form Factors
Authors:
Amit Sever,
Alexander G. Tumanov,
Matthias Wilhelm
Abstract:
We propose an operator product expansion for planar form factors of local operators in $\mathcal{N}=4$ SYM theory. This expansion is based on the dual conformal symmetry of these objects or, equivalently, the conformal symmetry of their dual description in terms of periodic Wilson loops. A form factor is decomposed into a sequence of known pentagon transitions and a new universal object that we ca…
▽ More
We propose an operator product expansion for planar form factors of local operators in $\mathcal{N}=4$ SYM theory. This expansion is based on the dual conformal symmetry of these objects or, equivalently, the conformal symmetry of their dual description in terms of periodic Wilson loops. A form factor is decomposed into a sequence of known pentagon transitions and a new universal object that we call the "form factor transition". This transition is subject to a set of non-trivial bootstrap constraints, which we expect to be sufficient to fully determine it. We evaluate the form factor transition for MHV form factors of the chiral half of the stress tensor supermultiplet at leading order in perturbation theory and use it to produce OPE predictions at any loop order. We match the one-loop and two-loop predictions with data available in the literature.
△ Less
Submitted 20 June, 2021; v1 submitted 23 September, 2020;
originally announced September 2020.
-
From Hagedorn to Lee-Yang: Partition functions of $\mathcal{N}=4$ SYM theory at finite $N$
Authors:
Alexander T. Kristensson,
Matthias Wilhelm
Abstract:
We study the thermodynamics of the maximally supersymmetric Yang-Mills theory with gauge group U(N) on R x S^3, dual to type IIB superstring theory on AdS_5 x S^5. While both theories are well-known to exhibit Hagedorn behavior at infinite N, we find evidence that this is replaced by Lee-Yang behavior at large but finite N: the zeros of the partition function condense into two arcs in the complex…
▽ More
We study the thermodynamics of the maximally supersymmetric Yang-Mills theory with gauge group U(N) on R x S^3, dual to type IIB superstring theory on AdS_5 x S^5. While both theories are well-known to exhibit Hagedorn behavior at infinite N, we find evidence that this is replaced by Lee-Yang behavior at large but finite N: the zeros of the partition function condense into two arcs in the complex temperature plane that pinch the real axis at the temperature of the confinement-deconfinement transition. Concretely, we demonstrate this for the free theory via exact calculations of the (unrefined and refined) partition functions at N<=7 for the su(2) sector containing two complex scalars, as well as at N<=5 for the su(2|3) sector containing 3 complex scalars and 2 fermions. In order to obtain these explicit results, we use a Molien-Weyl formula for arbitrary field content, utilizing the equivalence of the partition function with what is known to mathematicians as the Poincare series of trace algebras of generic matrices. Via this Molien-Weyl formula, we also generate exact results for larger sectors.
△ Less
Submitted 5 October, 2020; v1 submitted 13 May, 2020;
originally announced May 2020.
-
A Quantum Framework for AdS/dCFT through Fuzzy Spherical Harmonics on $S^4$
Authors:
Aleix Gimenez-Grau,
Charlotte Kristjansen,
Matthias Volk,
Matthias Wilhelm
Abstract:
We consider a non-supersymmetric domain-wall version of $\mathcal{N} = 4$ SYM theory where five out of the six scalar fields have non-zero classical values on one side of a wall of codimension one. The classical fields have commutators which constitute an irreducible representation of the Lie algebra $\mathfrak{so}(5)$ leading to a highly non-trivial mixing between color and flavor components of t…
▽ More
We consider a non-supersymmetric domain-wall version of $\mathcal{N} = 4$ SYM theory where five out of the six scalar fields have non-zero classical values on one side of a wall of codimension one. The classical fields have commutators which constitute an irreducible representation of the Lie algebra $\mathfrak{so}(5)$ leading to a highly non-trivial mixing between color and flavor components of the quantum fields. Making use of fuzzy spherical harmonics on $S^4$, we explicitly solve the mixing problem and derive not only the spectrum of excitations at the quantum level but also the propagators of the original fields needed for perturbative quantum computations. As an application, we derive the one-loop one-point function of a chiral primary and find complete agreement with a supergravity prediction of the same quantity in a double-scaling limit which involves a limit of large instanton number in the dual D3-D7 probe-brane setup.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
Rooting Out Letters: Octagonal Symbol Alphabets and Algebraic Number Theory
Authors:
Jacob L. Bourjaily,
Andrew J. McLeod,
Cristian Vergu,
Matthias Volk,
Matt von Hippel,
Matthias Wilhelm
Abstract:
It is widely expected that NMHV amplitudes in planar, maximally supersymmetric Yang-Mills theory require symbol letters that are not rationally expressible in terms of momentum-twistor (or cluster) variables starting at two loops for eight particles. Recent advances in loop integration technology have made this an `experimentally testable' hypothesis: compute the amplitude at some kinematic point,…
▽ More
It is widely expected that NMHV amplitudes in planar, maximally supersymmetric Yang-Mills theory require symbol letters that are not rationally expressible in terms of momentum-twistor (or cluster) variables starting at two loops for eight particles. Recent advances in loop integration technology have made this an `experimentally testable' hypothesis: compute the amplitude at some kinematic point, and see if algebraic symbol letters arise. We demonstrate the feasibility of such a test by directly integrating the most difficult of the two-loop topologies required. This integral, together with its rotated image, suffices to determine the simplest NMHV component amplitude: the unique component finite at this order. Although each of these integrals involve algebraic symbol alphabets, the combination contributing to this amplitude is---surprisingly---rational. We describe the steps involved in this analysis, which requires several novel tricks of loop integration and also a considerable degree of algebraic number theory. We find dramatic and unusual simplifications, in which the two symbols initially expressed as almost ten million terms in over two thousand letters combine in a form that can be written in five thousand terms and twenty-five letters.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Embedding Feynman Integral (Calabi-Yau) Geometries in Weighted Projective Space
Authors:
Jacob L. Bourjaily,
Andrew J. McLeod,
Cristian Vergu,
Matthias Volk,
Matt von Hippel,
Matthias Wilhelm
Abstract:
It has recently been demonstrated that Feynman integrals relevant to a wide range of perturbative quantum field theories involve periods of Calabi-Yaus of arbitrarily large dimension. While the number of Calabi-Yau manifolds of dimension three or higher is considerable (if not infinite), those relevant to most known examples come from a very simple class: degree-$2k$ hypersurfaces in $k$-dimension…
▽ More
It has recently been demonstrated that Feynman integrals relevant to a wide range of perturbative quantum field theories involve periods of Calabi-Yaus of arbitrarily large dimension. While the number of Calabi-Yau manifolds of dimension three or higher is considerable (if not infinite), those relevant to most known examples come from a very simple class: degree-$2k$ hypersurfaces in $k$-dimensional weighted projective space $\mathbb{WP}^{1,\ldots,1,k}$. In this work, we describe some of the basic properties of these spaces and identify additional examples of Feynman integrals that give rise to hypersurfaces of this type. Details of these examples at three and four loops are included as ancillary files to this work.
△ Less
Submitted 15 January, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
A Quantum Check of Non-Supersymmetric AdS/dCFT
Authors:
Aleix Gimenez Grau,
Charlotte Kristjansen,
Matthias Volk,
Matthias Wilhelm
Abstract:
Via a challenging field-theory computation, we confirm a supergravity prediction for the non-supersymmetric D3-D7 probe-brane system with probe geometry AdS_4 x S^2 x S^2, stabilized by fluxes. Supergravity predicts, in a certain double-scaling limit, the value of the one-point functions of chiral primaries of the dual defect version of N=4 SYM theory, where the fluxes translate into SO(3) x SO(3)…
▽ More
Via a challenging field-theory computation, we confirm a supergravity prediction for the non-supersymmetric D3-D7 probe-brane system with probe geometry AdS_4 x S^2 x S^2, stabilized by fluxes. Supergravity predicts, in a certain double-scaling limit, the value of the one-point functions of chiral primaries of the dual defect version of N=4 SYM theory, where the fluxes translate into SO(3) x SO(3)-symmetric, Lie-algebra-valued vacuum expectation values for all six scalar fields. Using a generalization of the technique based on fuzzy spherical harmonics developed for the related D3-D5 probe-brane system, we diagonalize the resulting mass matrix of the field theory. Subsequently, we calculate the planar one-loop correction to the vacuum expectation values of the scalars in dimensional reduction and find that it is UV finite and non-vanishing. We then proceed to calculating the one-loop correction to the planar one-point function of any single-trace scalar operator and explicitly evaluate this correction for a 1/2-BPS operator of length L at two leading orders in the double-scaling limit, finding exact agreement with the supergravity prediction.
△ Less
Submitted 8 January, 2019; v1 submitted 26 October, 2018;
originally announced October 2018.
-
A (Bounded) Bestiary of Feynman Integral Calabi-Yau Geometries
Authors:
Jacob L. Bourjaily,
Andrew J. McLeod,
Matt von Hippel,
Matthias Wilhelm
Abstract:
We define the rigidity of a Feynman integral to be the smallest dimension over which it is non-polylogarithmic. We argue that massless Feynman integrals in four dimensions have a rigidity bounded by 2(L-1) at L loops, and we show that this bound may be saturated for integrals that we call marginal: those with (L+1)D/2 propagators in (even) D dimensions. We show that marginal Feynman integrals in D…
▽ More
We define the rigidity of a Feynman integral to be the smallest dimension over which it is non-polylogarithmic. We argue that massless Feynman integrals in four dimensions have a rigidity bounded by 2(L-1) at L loops, and we show that this bound may be saturated for integrals that we call marginal: those with (L+1)D/2 propagators in (even) D dimensions. We show that marginal Feynman integrals in D dimensions generically involve Calabi-Yau geometries, and we give examples of finite four-dimensional Feynman integrals in massless $φ^4$ theory that saturate our predicted bound in rigidity at all loop orders.
△ Less
Submitted 28 January, 2019; v1 submitted 17 October, 2018;
originally announced October 2018.
-
Rationalizing Loop Integration
Authors:
Jacob L. Bourjaily,
Andrew J. McLeod,
Matt von Hippel,
Matthias Wilhelm
Abstract:
We show that direct Feynman-parametric loop integration is possible for a large class of planar multi-loop integrals. Much of this follows from the existence of manifestly dual-conformal Feynman-parametric representations of planar loop integrals, and the fact that many of the algebraic roots associated with (e.g. Landau) leading singularities are automatically rationalized in momentum-twistor spa…
▽ More
We show that direct Feynman-parametric loop integration is possible for a large class of planar multi-loop integrals. Much of this follows from the existence of manifestly dual-conformal Feynman-parametric representations of planar loop integrals, and the fact that many of the algebraic roots associated with (e.g. Landau) leading singularities are automatically rationalized in momentum-twistor space---facilitating direct integration via partial fractioning. We describe how momentum twistors may be chosen non-redundantly to parameterize particular integrals, and how strategic choices of coordinates can be used to expose kinematic limits of interest. We illustrate the power of these ideas with many concrete cases studied through four loops and involving as many as eight particles. Detailed examples are included as ancillary files to this work's submission to the arXiv.
△ Less
Submitted 27 August, 2018; v1 submitted 25 May, 2018;
originally announced May 2018.
-
Traintracks Through Calabi-Yaus: Amplitudes Beyond Elliptic Polylogarithms
Authors:
Jacob L. Bourjaily,
Yang-Hui He,
Andrew J. McLeod,
Matt von Hippel,
Matthias Wilhelm
Abstract:
We describe a family of finite, four-dimensional, $L$-loop Feynman integrals that involve weight-$(L+1)$ hyperlogarithms integrated over $(L-1)$-dimensional elliptically fibered varieties we conjecture to be Calabi-Yau. At three loops, we identify the relevant K3 explicitly; and we provide strong evidence that the four-loop integral involves a Calabi-Yau threefold. These integrals are necessary fo…
▽ More
We describe a family of finite, four-dimensional, $L$-loop Feynman integrals that involve weight-$(L+1)$ hyperlogarithms integrated over $(L-1)$-dimensional elliptically fibered varieties we conjecture to be Calabi-Yau. At three loops, we identify the relevant K3 explicitly; and we provide strong evidence that the four-loop integral involves a Calabi-Yau threefold. These integrals are necessary for the representation of amplitudes in many theories---from massless $\varphi^4$ theory to integrable theories including maximally supersymmetric Yang-Mills theory in the planar limit---a fact we demonstrate.
△ Less
Submitted 9 August, 2018; v1 submitted 23 May, 2018;
originally announced May 2018.
-
The Hagedorn temperature of AdS5/CFT4 at finite coupling via the Quantum Spectral Curve
Authors:
Troels Harmark,
Matthias Wilhelm
Abstract:
Building on the recently established connection between the Hagedorn temperature and integrability [Phys.Rev.Lett. 120 (2018) no.7, 071605], we show how the Quantum Spectral Curve formalism can be used to calculate the Hagedorn temperature of AdS5/CFT4 for any value of the 't Hooft coupling. We solve this finite system of finite-difference equations perturbatively at weak coupling and numerically…
▽ More
Building on the recently established connection between the Hagedorn temperature and integrability [Phys.Rev.Lett. 120 (2018) no.7, 071605], we show how the Quantum Spectral Curve formalism can be used to calculate the Hagedorn temperature of AdS5/CFT4 for any value of the 't Hooft coupling. We solve this finite system of finite-difference equations perturbatively at weak coupling and numerically at finite coupling. We confirm previous results at weak coupling and obtain the previously unknown three-loop Hagedorn temperature. Our finite-coupling results interpolate between weak and strong coupling and allow us to extract the first perturbative order at strong coupling. Our results indicate that the Hagedorn temperature for large 't Hooft coupling approaches that of type IIB string theory in ten-dimensional Minkowski space.
△ Less
Submitted 22 September, 2021; v1 submitted 12 March, 2018;
originally announced March 2018.
-
The Elliptic Double-Box Integral: Massless Amplitudes Beyond Polylogarithms
Authors:
Jacob L. Bourjaily,
Andrew J. McLeod,
Marcus Spradlin,
Matt von Hippel,
Matthias Wilhelm
Abstract:
We derive an analytic representation of the ten-particle, two-loop double-box integral as an elliptic integral over weight-three polylogarithms. To obtain this form, we first derive a four-fold, rational (Feynman-)parametric representation for the integral, expressed directly in terms of dual-conformally invariant cross-ratios; from this, the desired form is easily obtained. The essential features…
▽ More
We derive an analytic representation of the ten-particle, two-loop double-box integral as an elliptic integral over weight-three polylogarithms. To obtain this form, we first derive a four-fold, rational (Feynman-)parametric representation for the integral, expressed directly in terms of dual-conformally invariant cross-ratios; from this, the desired form is easily obtained. The essential features of this integral are illustrated by means of a simplified toy model, and we attach the relevant expressions for both integrals in ancillary files. We propose a normalization for such integrals that renders all of their polylogarithmic degenerations pure, and we discuss the need for a new 'symbology' of iterated elliptic/polylogarithmic integrals in order to bring them to a more canonical form.
△ Less
Submitted 14 February, 2018; v1 submitted 7 December, 2017;
originally announced December 2017.
-
Introduction to Integrability and One-point Functions in $\mathcal{N}=4$ SYM and its Defect Cousin
Authors:
M. de Leeuw,
A. C. Ipsen,
C. Kristjansen,
M. Wilhelm
Abstract:
These lectures give a basic introduction to $\mathcal{N}=4$ SYM theory and the integrability of its planar spectral problem as seen from the perspective of a recent development, namely the application of integrability techniques in the study of one-point functions in a defect version of the theory.
These lectures give a basic introduction to $\mathcal{N}=4$ SYM theory and the integrability of its planar spectral problem as seen from the perspective of a recent development, namely the application of integrability techniques in the study of one-point functions in a defect version of the theory.
△ Less
Submitted 8 August, 2017;
originally announced August 2017.
-
The Hagedorn temperature of AdS5/CFT4 via integrability
Authors:
Troels Harmark,
Matthias Wilhelm
Abstract:
We establish a framework for calculating the Hagedorn temperature of AdS5/CFT4 via integrability. Concretely, we derive the thermodynamic Bethe ansatz equations that yield the Hagedorn temperature of planar N=4 super Yang-Mills theory at any value of the 't Hooft coupling. We solve these equations perturbatively at weak coupling via the associated Y-system, confirming the known results at tree-lev…
▽ More
We establish a framework for calculating the Hagedorn temperature of AdS5/CFT4 via integrability. Concretely, we derive the thermodynamic Bethe ansatz equations that yield the Hagedorn temperature of planar N=4 super Yang-Mills theory at any value of the 't Hooft coupling. We solve these equations perturbatively at weak coupling via the associated Y-system, confirming the known results at tree-level and one-loop order as well as deriving the previously unknown two-loop Hagedorn temperature. Finally, we comment on solving the equations at finite coupling.
△ Less
Submitted 16 March, 2018; v1 submitted 9 June, 2017;
originally announced June 2017.
-
Two-point functions in AdS/dCFT and the boundary conformal bootstrap equations
Authors:
Marius de Leeuw,
Asger C. Ipsen,
Charlotte Kristjansen,
Kasper E. Vardinghus,
Matthias Wilhelm
Abstract:
We calculate the leading contributions to the connected two-point functions of protected scalar operators in the defect version of N=4 SYM theory which is dual to the D5-D3 probe-brane system with k units of background gauge field flux. This involves several types of two-point functions which are vanishing in the theory without the defect, such as two-point functions of operators of unequal confor…
▽ More
We calculate the leading contributions to the connected two-point functions of protected scalar operators in the defect version of N=4 SYM theory which is dual to the D5-D3 probe-brane system with k units of background gauge field flux. This involves several types of two-point functions which are vanishing in the theory without the defect, such as two-point functions of operators of unequal conformal dimension. We furthermore exploit the operator product expansion (OPE) and the boundary operator expansion (BOE), which form the basis of the boundary conformal bootstrap equations, to extract conformal data both about the defect CFT and about N=4 SYM theory without the defect. From the knowledge of the one- and two-point functions of the defect theory, we extract certain structure constants of N=4 SYM theory using the (bulk) OPE and constrain certain bulk-bulk-to-boundary couplings using the BOE. The extraction of the former relies on a non-trivial, polynomial k dependence of the one-point functions, which we explicitly demonstrate. In addition, it requires the knowledge of the one-point functions of SU$(2)$ descendant operators, which we likewise explicitly determine.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
Asymptotic one-point functions in AdS/dCFT
Authors:
Isak Buhl-Mortensen,
Marius de Leeuw,
Asger C. Ipsen,
Charlotte Kristjansen,
Matthias Wilhelm
Abstract:
We take the first step in extending the integrability approach to one-point functions in AdS/dCFT to higher loop orders. More precisely, we argue that the formula encoding all tree-level one-point functions of SU(2) operators in the defect version of N=4 SYM theory, dual to the D5-D3 probe-brane system with flux, has a natural asymptotic generalization to higher loop orders. The asymptotic formula…
▽ More
We take the first step in extending the integrability approach to one-point functions in AdS/dCFT to higher loop orders. More precisely, we argue that the formula encoding all tree-level one-point functions of SU(2) operators in the defect version of N=4 SYM theory, dual to the D5-D3 probe-brane system with flux, has a natural asymptotic generalization to higher loop orders. The asymptotic formula correctly encodes the information about the one-loop correction to the one-point functions of non-protected operators once dressed by a simple flux-dependent factor, as we demonstrate by an explicit computation involving a novel object denoted as an amputated matrix product state. Furthermore, when applied to the BMN vacuum state, the asymptotic formula gives a result for the one-point function which in a certain double-scaling limit agrees with that obtained in the dual string theory up to wrapping order.
△ Less
Submitted 20 November, 2017; v1 submitted 24 April, 2017;
originally announced April 2017.
-
On Form Factors and Correlation Functions in Twistor Space
Authors:
Laura Koster,
Vladimir Mitev,
Matthias Staudacher,
Matthias Wilhelm
Abstract:
In this paper, we continue our study of form factors and correlation functions of gauge-invariant local composite operators in the twistor-space formulation of N=4 super Yang-Mills theory. Using the vertices for these operators obtained in our recent papers arXiv:1603.04471 and arXiv:1604.00012, we show how to calculate the twistor-space diagrams for general N^kMHV form factors via the inverse sof…
▽ More
In this paper, we continue our study of form factors and correlation functions of gauge-invariant local composite operators in the twistor-space formulation of N=4 super Yang-Mills theory. Using the vertices for these operators obtained in our recent papers arXiv:1603.04471 and arXiv:1604.00012, we show how to calculate the twistor-space diagrams for general N^kMHV form factors via the inverse soft limit, in analogy to the amplitude case. For general operators without $\dotα$ indices, we then reexpress the NMHV form factors from the position-twistor calculation in terms of momentum twistors, deriving and expanding on a relation between the two twistor formalisms previously observed in the case of amplitudes. Furthermore, we discuss the calculation of generalized form factors and correlation functions as well as the extension to loop level, in particular providing an argument promised in arXiv:1410.6310.
△ Less
Submitted 22 May, 2017; v1 submitted 25 November, 2016;
originally announced November 2016.
-
A Quantum Check of AdS/dCFT
Authors:
Isak Buhl-Mortensen,
Marius de Leeuw,
Asger C. Ipsen,
Charlotte Kristjansen,
Matthias Wilhelm
Abstract:
We build the framework for performing loop computations in the defect version of N=4 super Yang-Mills theory which is dual to the probe D5-D3 brane system with background gauge-field flux. In this dCFT, a codimension-one defect separates two regions of space-time with different ranks of the gauge group and three of the scalar fields acquire non-vanishing and space-time-dependent vacuum expectation…
▽ More
We build the framework for performing loop computations in the defect version of N=4 super Yang-Mills theory which is dual to the probe D5-D3 brane system with background gauge-field flux. In this dCFT, a codimension-one defect separates two regions of space-time with different ranks of the gauge group and three of the scalar fields acquire non-vanishing and space-time-dependent vacuum expectation values. The latter leads to a highly non-trivial mass mixing problem between different colour and flavour components, which we solve using fuzzy-sphere coordinates. Furthermore, the resulting space-time dependence of the theory's Minkowski space propagators is handled by reformulating these as propagators in an effective AdS4. Subsequently, we initiate the computation of quantum corrections. The one-loop correction to the one-point function of any local gauge-invariant scalar operator is shown to receive contributions from only two Feynman diagrams. We regulate these diagrams using dimensional reduction, finding that one of the two diagrams vanishes, and discuss the procedure for calculating the one-point function of a generic operator from the SU(2) subsector. Finally, we explicitly evaluate the one-loop correction to the one-point function of the BPS vacuum state, finding perfect agreement with an earlier string-theory prediction. This constitutes a highly non-trivial test of the gauge-gravity duality in a situation where both supersymmetry and conformal symmetry are partially broken.
△ Less
Submitted 2 February, 2017; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Two-Loop SL(2) Form Factors and Maximal Transcendentality
Authors:
Florian Loebbert,
Christoph Sieg,
Matthias Wilhelm,
Gang Yang
Abstract:
Form factors of composite operators in the SL(2) sector of N=4 SYM theory are studied up to two loops via the on-shell unitarity method. The non-compactness of this subsector implies the novel feature and technical challenge of an unlimited number of loop momenta in the integrand's numerator. At one loop, we derive the full minimal form factor to all orders in the dimensional regularisation parame…
▽ More
Form factors of composite operators in the SL(2) sector of N=4 SYM theory are studied up to two loops via the on-shell unitarity method. The non-compactness of this subsector implies the novel feature and technical challenge of an unlimited number of loop momenta in the integrand's numerator. At one loop, we derive the full minimal form factor to all orders in the dimensional regularisation parameter. At two loops, we construct the complete integrand for composite operators with an arbitrary number of covariant derivatives, and we obtain the remainder functions as well as the dilatation operator for composite operators with up to three covariant derivatives. The remainder functions reveal curious patterns suggesting a hidden maximal uniform transcendentality for the full form factor. Finally, we speculate about an extension of these patterns to QCD.
△ Less
Submitted 4 January, 2017; v1 submitted 20 October, 2016;
originally announced October 2016.
-
One-loop Wilson loops and the particle-interface potential in AdS/dCFT
Authors:
Marius de Leeuw,
Asger C. Ipsen,
Charlotte Kristjansen,
Matthias Wilhelm
Abstract:
We initiate the calculation of quantum corrections to Wilson loops in a class of four-dimensional defect conformal field theories with vacuum expectation values based on N=4 super Yang-Mills theory. Concretely, we consider an infinite straight Wilson line, obtaining explicit results for the one-loop correction to its expectation value in the large-N limit. This allows us to extract the particle-in…
▽ More
We initiate the calculation of quantum corrections to Wilson loops in a class of four-dimensional defect conformal field theories with vacuum expectation values based on N=4 super Yang-Mills theory. Concretely, we consider an infinite straight Wilson line, obtaining explicit results for the one-loop correction to its expectation value in the large-N limit. This allows us to extract the particle-interface potential of the theory. In a further double-scaling limit, we compare our results to those of a previous calculation in the dual string-theory set-up consisting of a D5-D3 probe-brane system with flux, and we find perfect agreement.
△ Less
Submitted 2 March, 2017; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Renormalization group coefficients and the S-matrix
Authors:
Simon Caron-Huot,
Matthias Wilhelm
Abstract:
We show how to use on-shell unitarity methods to calculate renormalization group coefficients such as beta functions and anomalous dimensions. The central objects are the form factors of composite operators. Their discontinuities can be calculated via phase-space integrals and are related to corresponding anomalous dimensions. In particular, we find that the dilatation operator, which measures the…
▽ More
We show how to use on-shell unitarity methods to calculate renormalization group coefficients such as beta functions and anomalous dimensions. The central objects are the form factors of composite operators. Their discontinuities can be calculated via phase-space integrals and are related to corresponding anomalous dimensions. In particular, we find that the dilatation operator, which measures the anomalous dimensions, is given by minus the phase of the S-matrix divided by pi. We illustrate our method using several examples from Yang-Mills theory, perturbative QCD and Yukawa theory at one-loop level and beyond.
△ Less
Submitted 30 January, 2017; v1 submitted 21 July, 2016;
originally announced July 2016.
-
One-loop one-point functions in gauge-gravity dualities with defects
Authors:
Isak Buhl-Mortensen,
Marius de Leeuw,
Asger C. Ipsen,
Charlotte Kristjansen,
Matthias Wilhelm
Abstract:
We initiate the calculation of loop corrections to correlation functions in 4D defect CFTs. More precisely, we consider N=4 SYM with a codimension-one defect separating two regions of space, x_3>0 and x_3<0, where the gauge group is SU(N) and SU(N-k), respectively. This set-up is made possible by some of the real scalar fields acquiring a non-vanishing and x_3-dependent vacuum expectation value fo…
▽ More
We initiate the calculation of loop corrections to correlation functions in 4D defect CFTs. More precisely, we consider N=4 SYM with a codimension-one defect separating two regions of space, x_3>0 and x_3<0, where the gauge group is SU(N) and SU(N-k), respectively. This set-up is made possible by some of the real scalar fields acquiring a non-vanishing and x_3-dependent vacuum expectation value for x_3>0. The holographic dual is the D3-D5 probe brane system where the D5 brane geometry is AdS_4 x S^2 and a background gauge field has k units of flux through the S^2. We diagonalise the mass matrix of the defect CFT making use of fuzzy-sphere coordinates and we handle the x_3-dependence of the mass terms in the 4D Minkowski space propagators by reformulating these as standard massive AdS_4 propagators. Furthermore, we show that only two Feynman diagrams contribute to the one-loop correction to the one-point function of any single-trace operator and we explicitly calculate this correction in the planar limit for the simplest chiral primary. The result of this calculation is compared to an earlier string-theory computation in a certain double-scaling limit, finding perfect agreement. Finally, we discuss how to generalise our calculation to any single-trace operator, to finite N and to other types of observables such as Wilson loops.
△ Less
Submitted 17 December, 2016; v1 submitted 6 June, 2016;
originally announced June 2016.
-
All Tree-Level MHV Form Factors in $\mathcal{N}=4$ SYM from Twistor Space
Authors:
Laura Koster,
Vladimir Mitev,
Matthias Staudacher,
Matthias Wilhelm
Abstract:
We incorporate all gauge-invariant local composite operators into the twistor-space formulation of N=4 SYM theory, detailing and expanding on ideas we presented recently in arXiv:1603.04471. The vertices for these operators contain infinitely many terms and we show how they can be constructed by taking suitable derivatives of a light-like Wilson loop in twistor space and shrinking it down to a poi…
▽ More
We incorporate all gauge-invariant local composite operators into the twistor-space formulation of N=4 SYM theory, detailing and expanding on ideas we presented recently in arXiv:1603.04471. The vertices for these operators contain infinitely many terms and we show how they can be constructed by taking suitable derivatives of a light-like Wilson loop in twistor space and shrinking it down to a point. In particular, these vertices directly yield the tree-level MHV super form factors of all composite operators in N=4 SYM theory.
△ Less
Submitted 30 June, 2016; v1 submitted 31 March, 2016;
originally announced April 2016.
-
Composite Operators in the Twistor Formulation of $\mathcal{N}=4$ SYM Theory
Authors:
Laura Koster,
Vladimir Mitev,
Matthias Staudacher,
Matthias Wilhelm
Abstract:
We incorporate gauge-invariant local composite operators into the twistor-space formulation of $\mathcal{N}=4$ Super Yang-Mills theory. In this formulation, the interactions of the elementary fields are reorganized into infinitely many interaction vertices and we argue that the same applies to composite operators. To test our definition of the local composite operators in twistor space, we compute…
▽ More
We incorporate gauge-invariant local composite operators into the twistor-space formulation of $\mathcal{N}=4$ Super Yang-Mills theory. In this formulation, the interactions of the elementary fields are reorganized into infinitely many interaction vertices and we argue that the same applies to composite operators. To test our definition of the local composite operators in twistor space, we compute several corresponding form factors, thereby also initiating the study of form factors using the position twistor-space framework. Throughout this letter, we use the composite operator built from two identical complex scalars as a pedagogical example; we treat the general case in a follow-up paper.
△ Less
Submitted 14 March, 2016;
originally announced March 2016.
-
Form factors and the dilatation operator in $\mathcal{N}=4$ super Yang-Mills theory and its deformations
Authors:
Matthias Wilhelm
Abstract:
In the first part of this thesis, we study form factors of general gauge-invariant local composite operators in $\mathcal{N}=4$ super Yang-Mills theory at various loop orders and for various numbers of external legs. We show how to use on-shell methods for their calculation and in particular extract the dilatation operator from the result. We also investigate the properties of the corresponding re…
▽ More
In the first part of this thesis, we study form factors of general gauge-invariant local composite operators in $\mathcal{N}=4$ super Yang-Mills theory at various loop orders and for various numbers of external legs. We show how to use on-shell methods for their calculation and in particular extract the dilatation operator from the result. We also investigate the properties of the corresponding remainder functions. Moreover, we extend on-shell diagrams, a Graßmannian integral formulation and an integrability-based construction via R-operators to form factors, focussing on the chiral part of the stress-tensor supermultiplet as an example. In the second part, we study the $β$- and the $γ_i$-deformation, which were respectively shown to be the most general supersymmetric and non-supersymmetric field-theory deformations of $\mathcal{N}=4$ super Yang-Mills theory that are integrable at the level of the asymptotic Bethe ansatz. For these theories, a new kind of finite-size effect occurs, which we call prewrapping and which emerges from double-trace structures that are required in the deformed Lagrangians. While the $β$-deformation is conformal when the double-trace couplings are at their non-trivial IR fixed points, the $γ_i$-deformation has running double-trace couplings without fixed points, which break conformal invariance even in the planar theory. Nevertheless, the $γ_i$-deformation allows for highly non-trivial field-theoretic tests of integrability at arbitrarily high loop orders.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
On a CFT limit of planar $γ_i$-deformed $\mathcal{N}=4$ SYM theory
Authors:
Christoph Sieg,
Matthias Wilhelm
Abstract:
We show that an integrable four-dimensional non-unitary field theory that was recently proposed as a certain limit of the $γ_i$-deformed $\mathcal{N}=4$ SYM theory is incomplete and not conformal -- not even in the planar limit. We complete this theory by double-trace couplings and find conformal one-loop fix-points when admitting respective complex coupling constants. These couplings must not be…
▽ More
We show that an integrable four-dimensional non-unitary field theory that was recently proposed as a certain limit of the $γ_i$-deformed $\mathcal{N}=4$ SYM theory is incomplete and not conformal -- not even in the planar limit. We complete this theory by double-trace couplings and find conformal one-loop fix-points when admitting respective complex coupling constants. These couplings must not be neglected in the planar limit, as they can contribute to planar multi-point functions. Based on our results for certain two-loop planar anomalous dimensions, we propose tests of integrability.
△ Less
Submitted 18 February, 2016;
originally announced February 2016.
-
On-shell Diagrams, Graßmannians and Integrability for Form Factors
Authors:
Rouven Frassek,
David Meidinger,
Dhritiman Nandan,
Matthias Wilhelm
Abstract:
We apply on-shell and integrability methods that have been developed in the context of scattering amplitudes in N=4 SYM theory to tree-level form factors of this theory. Focussing on the colour-ordered super form factors of the chiral part of the stress-tensor multiplet as an example, we show how to systematically construct on-shell diagrams for these form factors with the minimal form factor as f…
▽ More
We apply on-shell and integrability methods that have been developed in the context of scattering amplitudes in N=4 SYM theory to tree-level form factors of this theory. Focussing on the colour-ordered super form factors of the chiral part of the stress-tensor multiplet as an example, we show how to systematically construct on-shell diagrams for these form factors with the minimal form factor as further building block in addition to the three-point amplitudes. Moreover, we obtain analytic representations in terms of Graßmannian integrals in spinor helicity, twistor and momentum twistor variables. While Yangian invariance is broken by the operator insertion, we find that the form factors are eigenstates of the integrable spin-chain transfer matrix built from the monodromy matrix that yields the Yangian generators. Constructing them via the method of R operators allows to introduce deformations that preserve the integrable structure. We finally show that the integrable properties extend to minimal tree-level form factors of generic composite operators as well as certain leading singularities of their n-point loop-level form factors.
△ Less
Submitted 1 February, 2016; v1 submitted 26 June, 2015;
originally announced June 2015.
-
On-Shell Methods for the Two-Loop Dilatation Operator and Finite Remainders
Authors:
Florian Loebbert,
Dhritiman Nandan,
Christoph Sieg,
Matthias Wilhelm,
Gang Yang
Abstract:
We compute the two-loop minimal form factors of all operators in the SU(2) sector of planar N=4 SYM theory via on-shell unitarity methods. From the UV divergence of this result, we obtain the two-loop dilatation operator in this sector. Furthermore, we calculate the corresponding finite remainder functions. Since the operators break the supersymmetry, the remainder functions do not have the proper…
▽ More
We compute the two-loop minimal form factors of all operators in the SU(2) sector of planar N=4 SYM theory via on-shell unitarity methods. From the UV divergence of this result, we obtain the two-loop dilatation operator in this sector. Furthermore, we calculate the corresponding finite remainder functions. Since the operators break the supersymmetry, the remainder functions do not have the property of uniform transcendentality. However, the leading transcendentality part turns out to be universal and is identical to the corresponding BPS expressions. The remainder functions are shown to satisfy linear relations which can be explained by Ward identities of form factors following from R-symmetry.
△ Less
Submitted 5 October, 2015; v1 submitted 23 April, 2015;
originally announced April 2015.
-
One-Loop Partition Functions in Deformed $\mathcal{N}=4$ SYM Theory
Authors:
Jan Fokken,
Matthias Wilhelm
Abstract:
We study the thermodynamic behaviour of the real $β$- and $γ_i$-deformation of $\mathcal{N}=4$ Super Yang-Mills theory on $\mathbb{R}\times S^3$ in the planar limit. These theories were shown to be the most general asymptotically integrable supersymmetric and non-supersymmetric field-theory deformations of $\mathcal{N}=4$ Super Yang-Mills theory, respectively. We calculate the first loop correctio…
▽ More
We study the thermodynamic behaviour of the real $β$- and $γ_i$-deformation of $\mathcal{N}=4$ Super Yang-Mills theory on $\mathbb{R}\times S^3$ in the planar limit. These theories were shown to be the most general asymptotically integrable supersymmetric and non-supersymmetric field-theory deformations of $\mathcal{N}=4$ Super Yang-Mills theory, respectively. We calculate the first loop correction to their partition functions using an extension of the dilatation-operator and Pólya-counting approach. In particular, we account for the one-loop finite-size effects which occur for operators of length one and two. Remarkably, we find that the $\mathcal{O}(λ)$ correction to the Hagedorn temperature is independent of the deformation parameters, although the partition function depends on them in a non-trivial way.
△ Less
Submitted 26 March, 2015; v1 submitted 27 November, 2014;
originally announced November 2014.
-
Cutting through form factors and cross sections of non-protected operators in N=4 SYM
Authors:
Dhritiman Nandan,
Christoph Sieg,
Matthias Wilhelm,
Gang Yang
Abstract:
We study the form factors of the Konishi operator, the prime example of non-protected operators in N=4 SYM theory, via the on-shell unitarity methods. Since the Konishi operator is not protected by supersymmetry, its form factors share many features with those in QCD, such as the occurrence of rational terms and of UV divergences that require renormalization. A subtle point is that this operator d…
▽ More
We study the form factors of the Konishi operator, the prime example of non-protected operators in N=4 SYM theory, via the on-shell unitarity methods. Since the Konishi operator is not protected by supersymmetry, its form factors share many features with those in QCD, such as the occurrence of rational terms and of UV divergences that require renormalization. A subtle point is that this operator depends on the spacetime dimension. This requires a modification when calculating its form factors via unitarity methods. We derive a rigorous prescription that implements this modification to all loop orders and obtain the two-point form factor up to two-loop order and the three-point form factor to one-loop order. From these form factors, we construct an IR-finite cross section type quantity, namely the inclusive decay rate of the (off-shell) Konishi operator to any final (on-shell) state. Via the optical theorem, it is connected to the imaginary part of the two-point correlation function. We extract the Konishi anomalous dimension up to two-loop order from it.
△ Less
Submitted 28 February, 2017; v1 submitted 30 October, 2014;
originally announced October 2014.