Downloads & Free Reading Options - Results

We present a recursive method to calculate the $\alpha'$-expansion of disk integrals arising in tree-level scattering of open strings which resembles the approach of Berends and Giele to gluon amplitudes. Following an earlier interpretation of disk integrals as doubly partial amplitudes of an effective theory of scalars dubbed as $Z$-theory, we pinpoint the equation of motion of $Z$-theory from the Berends-Giele recursion for its tree amplitudes. A computer implementation of this method including explicit results for the recursion up to order $\alpha'^7$ is made available on the website http://repo.or.cz/BGap.git

We present a recursive method to calculate the $\alpha'$-expansion of disk integrals arising in tree-level scattering of open strings which resembles the approach of Berends and Giele to gluon amplitudes. Following an earlier interpretation of disk integrals as doubly partial amplitudes of an effective theory of scalars dubbed as $Z$-theory, we pinpoint the equation of motion of $Z$-theory from the Berends-Giele recursion for its tree amplitudes. A computer implementation of this method including explicit results for the recursion up to order $\alpha'^7$ is made available on the website http://repo.or.cz/BGap.git

We present a recursive method to calculate the $\alpha'$-expansion of disk integrals arising in tree-level scattering of open strings which resembles the approach of Berends and Giele to gluon amplitudes. Following an earlier interpretation of disk integrals as doubly partial amplitudes of an effective theory of scalars dubbed as $Z$-theory, we pinpoint the equation of motion of $Z$-theory from the Berends-Giele recursion for its tree amplitudes. A computer implementation of this method including explicit results for the recursion up to order $\alpha'^7$ is made available on the website http://repo.or.cz/BGap.git

We consider the recursion operator approach to the soliton equations related to the generalized Zakharov-Shabat system on the algebra sl(n,C) in pole gauge both in the general position and in the presence of reductions. We present the recursion operators and discuss their geometric meaning as conjugate to Nijenhuis tensors for a Poisson-Nijenhuis structure defined on the manifold of potentials.

By using the recursion relations found in the framework of N=2 Super Yang-Mills theory with gauge group SU(2), we reconstruct the structure of the instanton moduli space and its volume form for all winding numbers. The construction is reminiscent of the Deligne-Knudsen-Mumford compactification and uses an analogue of the Wolpert restriction phenomenon which arises in the case of moduli spaces of Riemann surfaces.

The Ward identity in gauge theory constrains the behavior of the amplitudes. We discuss the Ward identity for amplitudes with a pair of shifted lines with complex momenta. This will induce a recursion relation identical to BCFW recursion relations at the finite poles of the complexified amplitudes. Furthermore, according to the Ward identity, it is also possible to transform the boundary term into a simple form, which can be obtained by a new recursion relation. For the amplitude with one off-shell line in pure Yang-Mills theory, we find this technique is effective for obtaining the amplitude even when there are boundary contributions.

We demonstrate that all tree-level string theory amplitudes can be computed using the BCFW recursion relations. Our proof utilizes the pomeron vertex operator introduced by Brower, Polchinski, Strassler, and Tan. Surprisingly, we find that in a particular large complex momentum limit, the asymptotic expansion of massless string amplitudes is identical in form to that of the corresponding field theory amplitudes. This observation makes manifest the fact that field-theoretic Yang-Mills and graviton amplitudes obey KLT-like relations. Moreover, we conjecture that in this large momentum limit certain string theory and field theory amplitudes are identical, and provide evidence for this conjecture. Additionally, we find a new recursion relation which relates tachyon amplitudes to lower-point tachyon amplitudes.

We prove the existence of the operator product expansion (OPE) in Euclidean Yang-Mills theories as a short-distance expansion, to all orders in perturbation theory. We furthermore show that the Ward identities of the underlying gauge theory are reflected in the OPE; especially, the OPE of an arbitrary number of gauge-invariant composite operators only involves gauge-invariant composite operators. Moreover, we derive recursion relations which allow to construct the OPE coefficients, the quantum BRST differential and the quantum antibracket order by order in perturbation theory, starting from the known free-theory objects. These relations are completely finite from the start, and do not need any further renormalisation as is usually the case in other approaches. Our results underline the importance of the OPE as a general structure underlying quantum field theories. The proofs are obtained within the framework of the Wilson-Wegner-Polchinski-Wetterich renormalisation group flow equations, and generalise similar results recently obtained for scalar field theories [J. Holland and S. Hollands, Commun. Math. Phys. 336 (2015) 1555; J. Holland and S. Hollands, J. Math. Phys. 56 (2015) 122303]. Combining their results with our recursion formula, we also obtain associativity of the OPE coefficients.

We prove the existence of the operator product expansion (OPE) in Euclidean Yang-Mills theories as a short-distance expansion, to all orders in perturbation theory. We furthermore show that the Ward identities of the underlying gauge theory are reflected in the OPE; especially, the OPE of an arbitrary number of gauge-invariant composite operators only involves gauge-invariant composite operators. Moreover, we derive recursion relations which allow to construct the OPE coefficients, the quantum BRST differential and the quantum antibracket order by order in perturbation theory, starting from the known free-theory objects. These relations are completely finite from the start, and do not need any further renormalisation as is usually the case in other approaches. Our results underline the importance of the OPE as a general structure underlying quantum field theories. The proofs are obtained within the framework of the Wilson-Wegner-Polchinski-Wetterich renormalisation group flow equations, and generalise similar results recently obtained for scalar field theories [J. Holland and S. Hollands, Commun. Math. Phys. 336 (2015) 1555; J. Holland and S. Hollands, J. Math. Phys. 56 (2015) 122303]. Combining their results with our recursion formula, we also obtain associativity of the OPE coefficients.

Based on prototypical example of Al.Zamolodchikov's recursion relations for the four point conformal block and using recently proposed Alday-Gaiotto-Tachikawa (AGT) conjecture, recursion relations are derived for the generalized prepotential of ${\cal N}=2$ SYM with $f=0,1,2,3,4$ (anti) fundamental or an adjoint hypermultiplets. In all cases the large expectation value limit is derived explicitly. A precise relationship between generic 1-point conformal block on torus and specific 4-point conformal block on sphere is established. In view of AGT conjecture this translates into a relation between partition functions with an adjoint and 4 fundamental hypermultiplets.

Based on prototypical example of Al.Zamolodchikov's recursion relations for the four point conformal block and using recently proposed Alday-Gaiotto-Tachikawa (AGT) conjecture, recursion relations are derived for the generalized prepotential of ${\cal N}=2$ SYM with $f=0,1,2,3,4$ (anti) fundamental or an adjoint hypermultiplets. In all cases the large expectation value limit is derived explicitly. A precise relationship between generic 1-point conformal block on torus and specific 4-point conformal block on sphere is established. In view of AGT conjecture this translates into a relation between partition functions with an adjoint and 4 fundamental hypermultiplets.

Based on prototypical example of Al.Zamolodchikov's recursion relations for the four point conformal block and using recently proposed Alday-Gaiotto-Tachikawa (AGT) conjecture, recursion relations are derived for the generalized prepotential of ${\cal N}=2$ SYM with $f=0,1,2,3,4$ (anti) fundamental or an adjoint hypermultiplets. In all cases the large expectation value limit is derived explicitly. A precise relationship between generic 1-point conformal block on torus and specific 4-point conformal block on sphere is established. In view of AGT conjecture this translates into a relation between partition functions with an adjoint and 4 fundamental hypermultiplets.

Based on prototypical example of Al.Zamolodchikov's recursion relations for the four point conformal block and using recently proposed Alday-Gaiotto-Tachikawa (AGT) conjecture, recursion relations are derived for the generalized prepotential of ${\cal N}=2$ SYM with $f=0,1,2,3,4$ (anti) fundamental or an adjoint hypermultiplets. In all cases the large expectation value limit is derived explicitly. A precise relationship between generic 1-point conformal block on torus and specific 4-point conformal block on sphere is established. In view of AGT conjecture this translates into a relation between partition functions with an adjoint and 4 fundamental hypermultiplets.

Witten's twistor string theory gives rise to an enigmatic formula [arXiv:hep-th/0403190] known as the "connected prescription" for tree-level Yang-Mills scattering amplitudes. We derive a link representation for the connected prescription by Fourier transforming it to mixed coordinates in terms of both twistor and dual twistor variables. We show that it can be related to other representations of amplitudes by applying the global residue theorem to deform the contour of integration. For six and seven particles we demonstrate explicitly that certain contour deformations rewrite the connected prescription as the BCFW representation, thereby establishing a concrete link between Witten's twistor string theory and the dual formulation for the S-matrix of N=4 SYM recently proposed by Arkani-Hamed et. al. Other choices of integration contour also give rise to "intermediate prescriptions". We expect a similar though more intricate structure for more general amplitudes.

We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be characterized by a natural generalization of Church and Kleene's partial recursive functions. The obtained algebra, following Leivant, can be restricted so as to capture the notion of polytime sampleable distributions, a key concept in average-case complexity and cryptography.

We propose a recursion relation for tree-level scattering amplitudes in three-dimensional Chern-Simons-matter theories. The recursion relation involves a complex deformation of momenta which generalizes the BCFW-deformation used in higher dimensions. Using background field methods, we show that all tree-level superamplitudes of the ABJM theory vanish for large deformations, establishing the validity of the recursion formula. Furthermore, we use the recursion relation to compute six-point and eight-point component amplitudes and match them with independent computations based on Feynman diagrams or the Grassmannian integral formula. As an application of the recursion relation, we prove that all tree-level amplitudes of the ABJM theory have dual superconformal symmetry. Using generalized unitarity methods, we extend this symmetry to the cut-constructible parts of the loop amplitudes.

In this paper we show that there is a Lipatov bound for the radius of convergence for superficially divergent one-particle irreducible Green functions in a renormalizable quantum field theory if there is such a bound for the superficially convergent ones. The radius of convergence turns out to be ${\rm min}\{\rho,1/b_1\}$, where $\rho$ is the bound on the convergent ones, the instanton radius, and $b_1$ the first coefficient of the $\beta$-function.

Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of "steps" involved, the physical limit has an operational meaning in agreement with the Abel sums of infinite series. The formal analogies to accelerated (hyper-) computers and the recursion theoretic diagonal methods are discussed. As quantum information is not bound by the mutually exclusive states of classical bits, it allows a consistent representation of fixed point states of the diagonal operator. In an effort to reconstruct the self-contradictory feature of diagonalization, a generalized diagonal method allowing no quantum fixed points is proposed.

We discuss a link between the topological recursion relations derived algebraically by Witten and the holomorphic anomaly equation of Bershadsky, Cecotti, Ooguri and Vafa. This is obtained through the definition of an operator ${\cal{W}}_s$ that reproduces the recursion relations for topological string theory coupled to worldsheet gravity a la BCOV. This operator is contained inside an algebra that generalizes the tt* equations and whose direct consequence is the holomorphic anomaly equation itself.

Recently, by using the known structure of one-loop scattering amplitudes for gluons in Yang-Mills theory, a recursion relation for tree-level scattering amplitudes has been deduced. Here, we give a short and direct proof of this recursion relation based on properties of tree-level amplitudes only.

The BCFW recursion relation allows to calculate tree-level scattering amplitudes in generalized Yang-Mills theory and, in particular, four-particle amplitudes for the production rate of non-Abelian tensor gauge bosons of arbitrary high spin in the fusion of two gluons. The consistency of the calculations in different kinematical channels is fulfilled when all dimensionless cubic coupling constants between vector bosons (gluons) and high spin non-Abelian tensor gauge bosons are equal to the Yang-Mills coupling constant. There are no high derivative cubic vertices in the generalized Yang-Mills theory. The amplitudes vanish as complex deformation parameter tends to infinity, so that there is no contribution from the contour at infinity. We derive a generalization of the Parke-Taylor formula in the case of production of two tensor gauge bosons of spin-s and N gluons (jets). The expression is holomorhic in the spinor variables of the scattered particles, exactly as the MHV gluon amplitude is, and reduces to the gluonic MHV amplitude when s=1. In generalized Yang-Mills theory the tree level n-particle scattering amplitudes with all positive helicities vanish, but tree amplitudes with one negative helicity particle are already nonzero.

We derive a recursion relation in the framework of Lagrangian perturbation theory, appropriate for studying the inhomogeneities of the large scale structure of the universe. We use the fact that the perturbative expansion of the matter density contrast is in one-to-one correspondence with standard perturbation theory (SPT) at any order. This correspondence has been recently shown to be valid up to fourth order for a non-relativistic, irrotational and dust-like component. Assuming it to be valid at arbitrary (higher) order, we express the Lagrangian displacement field in terms of the perturbative kernels of SPT, which are itself given by their own and well-known recursion relation. We argue that the Lagrangian solution always contains more non-linear information in comparison with the SPT solution, (mainly) if the non-perturbative density contrast is restored after the displacement field is obtained.

We derive a recursion relation in the framework of Lagrangian perturbation theory, appropriate for studying the inhomogeneities of the large scale structure of the universe. We use the fact that the perturbative expansion of the matter density contrast is in one-to-one correspondence with standard perturbation theory (SPT) at any order. This correspondence has been recently shown to be valid up to fourth order for a non-relativistic, irrotational and dust-like component. Assuming it to be valid at arbitrary (higher) order, we express the Lagrangian displacement field in terms of the perturbative kernels of SPT, which are itself given by their own and well-known recursion relation. We argue that the Lagrangian solution always contains more non-linear information in comparison with the SPT solution, (mainly) if the non-perturbative density contrast is restored after the displacement field is obtained.

We prove that all open string theory disc amplitudes in a flat background obey Britto-Cachazo-Feng-Witten (BCFW) on-shell recursion relations, up to a possible reality condition on a kinematic invariant. Arguments that the same holds for tree level closed string amplitudes are given as well. Non-adjacent BCFW-shifts are related to adjacent shifts through monodromy relations for which we provide a novel CFT based derivation. All possible recursion relations are related by old-fashioned string duality. The field theory limit of the analysis for amplitudes involving gluons is explicitly shown to be smooth for both the bosonic string as well as the superstring. In addition to a proof a less rigorous but more powerful argument based on the underlying CFT is presented which suggests that the technique may extend to a much more general setting in string theory. This is illustrated by a discussion of the open string in a constant B-field background and the closed string on the level of the sphere.

We calculate gauge theory one-loop amplitudes with the aid of the complex shift used in the Britto-Cachazo-Feng-Witten (BCFW) recursion relations of tree amplitudes. We apply the shift to the integrand and show that the contribution from the limit of infinite shift vanishes after integrating over the loop momentum, by a judicious choice of basis for polarization vectors. This enables us to write the one-loop amplitude in terms of on-shell tree and lower point one-loop amplitudes. Some of the tree amplitudes are forward amplitudes. We show that their potential singularities do not contribute and the BCFW recursion relations can be applied in such a way as to avoid these singularities altogether. We calculate in detail $n$-point one-loop amplitudes for $n=2,3,4$, and outline the generalization of our method to $n>4$.

We apply the on-shell tree-level recursion relations of Britto, Cachazo, Feng and Witten to a variety of processes involving internal and external massive particles with spin. We show how to construct multi-vector boson currents where one or more off-shell vector bosons couples to a quark pair and number of gluons. We give compact results for single vector boson currents with up to six partons and double vector boson currents with up to four partons for all helicity combinations. We also provide expressions for single vector boson currents with a quark pair and an arbitrary number of gluons for some specific helicity configurations. Finally, we show how to generalise the recursion relations to handle massive particles with spin on internal lines using $gg \to t\bar t$ as an example.

The purpose of this paper is to give a twisted version of the Eynard-Orantin topological recursion by a 2D Topological Quantum Field Theory. We define a kernel for a 2D TQFT and use an algebraic definition for a topological recursion to define how to twist a standard topological recursion by a 2D TQFT. The A-model side enumerative problem consists of counting cell graphs where in addition vertices are decorated by elements in a Frobenius algebra, and which are a twisted version of the generalized Catalan numbers of Dumitrescu-Mulase-Safnuk-Sorkin. We show that the function which counts these decorated graphs satisfies a twisted version of the same type of recursion of Catalan numbers with respect to the edge-contraction axioms of Dumitrescu-Mulase. The path we follow to pass from the A-model side to the remodelled B-model side is to use a discrete Laplace transform based on the ideas of the group of Mulase. We show that a twisted version by a 2D TQFT of the Eynard-Orantin differentials satisfies a twisted generalization of the topological recursion formula. We shall illustrate these results with a toy model for the theory arising from the orbifold cohomology of the classifying space of a finite group. In this example, the graphs are drawn on an orbifold punctured Riemann surface and defined out of the moduli space of stable morphisms from twisted curves to the classifying space of a finite group. In particular we show that the cotangent class intersection numbers on this moduli space satisfy a twisted Eynard-Orantin topological recursion and we derive an orbifold DVV equation as a consequence of it. This proves from a different perspective a result of Jarvis-Kimura, which states that the cotangent class intersection numbers on that moduli space satisfy the Virasoro constraint condition.

The purpose of this paper is to give a twisted version of the Eynard-Orantin topological recursion by a 2D Topological Quantum Field Theory. We define a kernel for a 2D TQFT and use an algebraic definition for a topological recursion to define how to twist a standard topological recursion by a 2D TQFT. The A-model side enumerative problem consists of counting cell graphs where in addition vertices are decorated by elements in a Frobenius algebra, and which are a twisted version of the generalized Catalan numbers of Dumitrescu-Mulase-Safnuk-Sorkin. We show that the function which counts these decorated graphs satisfies a twisted version of the same type of recursion of Catalan numbers with respect to the edge-contraction axioms of Dumitrescu-Mulase. The path we follow to pass from the A-model side to the remodelled B-model side is to use a discrete Laplace transform based on the ideas of the group of Mulase. We show that a twisted version by a 2D TQFT of the Eynard-Orantin differentials satisfies a twisted generalization of the topological recursion formula. We shall illustrate these results with a toy model for the theory arising from the orbifold cohomology of the classifying space of a finite group. In this example, the graphs are drawn on an orbifold punctured Riemann surface and defined out of the moduli space of stable morphisms from twisted curves to the classifying space of a finite group. In particular we show that the cotangent class intersection numbers on this moduli space satisfy a twisted Eynard-Orantin topological recursion and we derive an orbifold DVV equation as a consequence of it. This proves from a different perspective a result of Jarvis-Kimura, which states that the cotangent class intersection numbers on that moduli space satisfy the Virasoro constraint condition.

As quantum parallelism allows the effective co-representation of classical mutually exclusive states, the diagonalization method of classical recursion theory has to be modified. Quantum diagonalization involves unitary operators whose eigenvalues are different from one.

We derive general tree-level recursion relations for amplitudes which include massive propagating particles. As an illustration, we apply these recursion relations to scattering amplitudes of gluons coupled to massive scalars. We provide new results for all amplitudes with a pair of scalars and n < 5 gluons. These amplitudes can be used as building blocks in the computation of one-loop 6-gluon amplitudes using unitarity based methods.

We prove that the MHV vertex expansion is valid for any NMHV tree amplitude of N=4 SYM. The proof uses induction to show that there always exists a complex deformation of three external momenta such that the amplitude falls off at least as fast as 1/z for large z. This validates the generating function for n-point NMHV tree amplitudes. We also develop generating functions for anti-MHV and anti-NMHV amplitudes. As an application, we use these generating functions to evaluate several examples of intermediate state sums on unitarity cuts of 1-, 2-, 3- and 4-loop amplitudes. In a separate analysis, we extend the recent results of arXiv:0808.0504 to prove that there exists a valid 2-line shift for any n-point tree amplitude of N=4 SYM. This implies that there is a BCFW recursion relation for any tree amplitude of the theory.

In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.

In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.

In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.

In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.

In this paper we investigate the algebraic structure related to a new type of correlator associated to the moduli spaces of $S^1$-parametrized curves in contact homology and rational symplectic field theory. Such correlators are the natural generalization of the non-equivariant linearized contact homology differential (after Bourgeois-Oancea) and give rise to an invariant Nijenhuis (or hereditary) operator (\`a la Magri-Fuchsteiner) in contact homology which recovers the descendant theory from the primaries. We also show how such structure generalizes to the full SFT Poisson homology algebra to a (graded symmetric) bivector. The descendant hamiltonians satisfy to recursion relations, analogous to bihamiltonian recursion, with respect to the pair formed by the natural Poisson structure in SFT and such bivector.

We present a two-parameter family of recursion formulas for scalar field theory. The first parameter is the dimension $(D)$. The second parameter ($\zeta$) allows one to continuously extrapolate between Wilson's approximate recursion formula and the recursion formula of Dyson's hierarchical model. We show numerically that at fixed $D$, the critical exponent $\gamma $ depends continuously on $\zeta$. We suggest the use of the $\zeta -$independence as a guide to construct improved recursion formulas.

We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. These results can be extended to more general cases.

We construct an off-shell extension of cubic interaction vertices between massless bosonic Higher Spin fields on a flat background which can be obtained from perturbative bosonic string theory. We demonstrate how to construct higher quartic interaction vertices using a simple particular example. We examine whether BCFW recursion relations for interacting Higher Spin theories are applicable. We argue that for several interesting examples such relations should exist, but consistency of the theories might require that we supplement Higher Spin field theories with extended and possibly non-local objects.

We construct an off-shell extension of cubic interaction vertices between massless bosonic Higher Spin fields on a flat background which can be obtained from perturbative bosonic string theory. We demonstrate how to construct higher quartic interaction vertices using a simple particular example. We examine whether BCFW recursion relations for interacting Higher Spin theories are applicable. We argue that for several interesting examples such relations should exist, but consistency of the theories might require that we supplement Higher Spin field theories with extended and possibly non-local objects.

We construct an off-shell extension of cubic interaction vertices between massless bosonic Higher Spin fields on a flat background which can be obtained from perturbative bosonic string theory. We demonstrate how to construct higher quartic interaction vertices using a simple particular example. We examine whether BCFW recursion relations for interacting Higher Spin theories are applicable. We argue that for several interesting examples such relations should exist, but consistency of the theories might require that we supplement Higher Spin field theories with extended and possibly non-local objects.

Recursive Technology and the Fractal Harmonic Field Theory Continuum.   

This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning with coinductive types. We wish to implement GDTT with decidable type-checking, while still supporting non-trivial equality proofs that reason about the extensions of guarded recursive constructions. CTT is a variation of Martin-L\"of type theory in which the identity type is replaced by abstract paths between terms. CTT provides a computational interpretation of functional extensionality, is conjectured to have decidable type checking, and has an implemented type-checker. Our new type theory, called guarded cubical type theory, provides a computational interpretation of extensionality for guarded recursive types. This further expands the foundations of CTT as a basis for formalisation in mathematics and computer science. We present examples to demonstrate the expressivity of our type theory, all of which have been checked using a prototype type-checker implementation, and present semantics in a presheaf category.