On Power Suppressed Operators and Gauge Invariance in SCET

The form of collinear gauge invariance for power suppressed operators in the soft-collinear effective theory is discussed. Using a field redefinition we show that it is possible to make any power suppressed ultrasoft-collinear operators invariant under the original leading order gauge transformations. Our manipulations avoid gauge fixing. The Lagrangians to O(lambda^2) are given in terms of these new fields. We then give a simple procedure for constructing power suppressed soft-collinear operators in SCET_II by using an intermediate theory SCET_I.Comment: 15 pages, journal versio

Hard Scattering Factorization from Effective Field Theory

In this paper we show how gauge symmetries in an effective theory can be used to simplify proofs of factorization formulae in highly energetic hadronic processes. We use the soft-collinear effective theory, generalized to deal with back-to-back jets of collinear particles. Our proofs do not depend on the choice of a particular gauge, and the formalism is applicable to both exclusive and inclusive factorization. As examples we treat the pi-gamma form factor (gamma gamma* -> pi^0), light meson form factors (gamma* M -> M), as well as deep inelastic scattering (e- p -> e- X), Drell-Yan (p pbar -> X l+ l-), and deeply virtual Compton scattering (gamma* p -> gamma(*) p).Comment: 35 pages, 4 figures, typos corrected, journal versio

Adapting Real Quantifier Elimination Methods for Conflict Set Computation

The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance. One of the central problems is the computation of good explanations of the unsatisfiability of such sets, i.e.\ obtaining a small subset of the input constraints whose conjunction is already unsatisfiable. We adapt two commonly used real quantifier elimination methods, cylindrical algebraic decomposition and virtual substitution, to provide such conflict sets and demonstrate the performance of our method in practice

Speeding up Cylindrical Algebraic Decomposition by Gr\"obner Bases

Gr\"obner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gr\"obner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite often but not always, a beneficial preconditioning of the CAD problem. It is also possible to precondition the (conjoined) inequalities with respect to the equalities, and this can also be useful in many cases.Comment: To appear in Proc. CICM 2012, LNCS 736

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by polynomial. Significant modification of the regular chains technology was used to achieve the more sophisticated invariance criteria. Experimental results on an implementation in the RegularChains Library for Maple verify that combining these advances gives an algorithm superior to its individual components and competitive with the state of the art

Strong Phases and Factorization for Color Suppressed Decays

We prove a factorization theorem in QCD for the color suppressed decays B0-> D0 M0 and B0-> D*0 M0 where M is a light meson. Both the color-suppressed and W-exchange/annihilation amplitudes contribute at lowest order in LambdaQCD/Q where Q={mb, mc, Epi}, so no power suppression of annihilation contributions is found. A new mechanism is given for generating non-perturbative strong phases in the factorization framework. Model independent predictions that follow from our results include the equality of the B0 -> D0 M0 and B0 -> D*0 M0 rates, and equality of non-perturbative strong phases between isospin amplitudes, delta(DM) = delta(D*M). Relations between amplitudes and phases for M=pi,rho are also derived. These results do not follow from large Nc factorization with heavy quark symmetry.Comment: 38 pages, 6 figs, typos correcte

Drell-Yan production at small q_T, transverse parton distributions and the collinear anomaly

Using methods from effective field theory, an exact all-order expression for the Drell-Yan cross section at small transverse momentum is derived directly in q_T space, in which all large logarithms are resummed. The anomalous dimensions and matching coefficients necessary for resummation at NNLL order are given explicitly. The precise relation between our result and the Collins-Soper-Sterman formula is discussed, and as a by-product the previously unknown three-loop coefficient A^(3) is obtained. The naive factorization of the cross section at small transverse momentum is broken by a collinear anomaly, which prevents a process-independent definition of x_T-dependent parton distribution functions. A factorization theorem is derived for the product of two such functions, in which the dependence on the hard momentum transfer is separated out. The remainder factors into a product of two functions of longitudinal momentum variables and x_T^2, whose renormalization-group evolution is derived and solved in closed form. The matching of these functions at small x_T onto standard parton distributions is calculated at O(alpha_s), while their anomalous dimensions are known to three loops.Comment: 32 pages, 2 figures; version to appear in Eur. Phys. J.

Enhanced Nonperturbative Effects in Z Decays to Hadrons

We use soft collinear effective field theory (SCET) to study nonperturbative strong interaction effects in Z decays to hadronic final states that are enhanced in corners of phase space. These occur, for example, in the jet energy distribution for two jet events near E_J=M_Z/2, the thrust distribution near unity and the jet invariant mass distribution near zero. The extent to which such nonperturbative effects for different observables are related is discussed.Comment: 17 pages. Paper reorganized, and more discussion and results include

Inelastic analysis of two plates under deformation dependent loads

Cover plates are used in current designs for high temperature gas-cooled reactors to compress the mineral fiber insulation against the inside of the liner of the prestressed concrete pressure vessel. In the upper plenum, these plates are hexagonal and specified as carbon steel; in the lower cross ducts, the plates are square and made of Hastelloy X. The General Atomic Company has specified both damage and safety limit criteria for these plates. These plates have been analyzed at these limits using the inelastic finite element computer program EPACA. The results indicate that the total strains for the square plate were within the specified values; however, the maximum deformations at the free corners indicate separation from the insulation and failure to achieve one of the design requirements. Since no material data were available for carbon steel at the limiting temperatures, it was assumed that the hexagonal plates were constructed of 2$sup 1$/$sub 4$ percent Cr--1 percent Mo material. Although this material was found to produce satisfactory performance, extrapolation of available information would lead to the conclusion that the performance of carbon steel plates would not be satisfactory at the specified conditions. (auth