Parton Fragmentation within an Identified Jet at NNLL

The fragmentation of a light parton i to a jet containing a light energetic hadron h, where the momentum fraction of this hadron as well as the invariant mass of the jet is measured, is described by "fragmenting jet functions". We calculate the one-loop matching coefficients J_{ij} that relate the fragmenting jet functions G_i^h to the standard, unpolarized fragmentation functions D_j^h for quark and gluon jets. We perform this calculation using various IR regulators and show explicitly how the IR divergences cancel in the matching. We derive the relationship between the coefficients J_{ij} and the quark and gluon jet functions. This provides a cross-check of our results. As an application we study the process e+ e- to X pi+ on the Upsilon(4S) resonance where we measure the momentum fraction of the pi+ and restrict to the dijet limit by imposing a cut on thrust T. In our analysis we sum the logarithms of tau=1-T in the cross section to next-to-next-to-leading-logarithmic accuracy (NNLL). We find that including contributions up to NNLL (or NLO) can have a large impact on extracting fragmentation functions from e+ e- to dijet + h.Comment: expanded introduction, typos fixed, journal versio

Non-global Structure of the O({\alpha}_s^2) Dijet Soft Function

High energy scattering processes involving jets generically involve matrix elements of light- like Wilson lines, known as soft functions. These describe the structure of soft contributions to observables and encode color and kinematic correlations between jets. We compute the dijet soft function to O({\alpha}_s^2) as a function of the two jet invariant masses, focusing on terms not determined by its renormalization group evolution that have a non-separable dependence on these masses. Our results include non-global single and double logarithms, and analytic results for the full set of non-logarithmic contributions as well. Using a recent result for the thrust constant, we present the complete O({\alpha}_s^2) soft function for dijet production in both position and momentum space.Comment: 55 pages, 8 figures. v2: extended discussion of double logs in the hard regime. v3: minor typos corrected, version published in JHEP. v4: typos in Eq. (3.33), (3.39), (3.43) corrected; this does not affect the main result, numerical results, or conclusion

Jet Shapes and Jet Algorithms in SCET

Jet shapes are weighted sums over the four-momenta of the constituents of a jet and reveal details of its internal structure, potentially allowing discrimination of its partonic origin. In this work we make predictions for quark and gluon jet shape distributions in N-jet final states in e+e- collisions, defined with a cone or recombination algorithm, where we measure some jet shape observable on a subset of these jets. Using the framework of Soft-Collinear Effective Theory, we prove a factorization theorem for jet shape distributions and demonstrate the consistent renormalization-group running of the functions in the factorization theorem for any number of measured and unmeasured jets, any number of quark and gluon jets, and any angular size R of the jets, as long as R is much smaller than the angular separation between jets. We calculate the jet and soft functions for angularity jet shapes \tau_a to one-loop order (O(alpha_s)) and resum a subset of the large logarithms of \tau_a needed for next-to-leading logarithmic (NLL) accuracy for both cone and kT-type jets. We compare our predictions for the resummed \tau_a distribution of a quark or a gluon jet produced in a 3-jet final state in e+e- annihilation to the output of a Monte Carlo event generator and find that the dependence on a and R is very similar.Comment: 62 pages plus 21 pages of Appendices, 13 figures, uses JHEP3.cls. v2: corrections to finite parts of NLO jet functions, minor changes to plots, clarified discussion of power corrections. v3: Journal version. Introductory sections significantly reorganized for clarity, classification of logarithmic accuracy clarified, results for non-Mercedes-Benz configurations adde

Pure Samples of Quark and Gluon Jets at the LHC

Having pure samples of quark and gluon jets would greatly facilitate the study of jet properties and substructure, with many potential standard model and new physics applications. To this end, we consider multijet and jets+X samples, to determine the purity that can be achieved by simple kinematic cuts leaving reasonable production cross sections. We find, for example, that at the 7 TeV LHC, the pp {\to} {\gamma}+2jets sample can provide 98% pure quark jets with 200 GeV of transverse momentum and a cross section of 5 pb. To get 10 pb of 200 GeV jets with 90% gluon purity, the pp {\to} 3jets sample can be used. b+2jets is also useful for gluons, but only if the b-tagging is very efficient.Comment: 19 pages, 16 figures; v2 section on formally defining quark and gluon jets has been adde

Tree Buffers

In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens. If the program being observed has hard real-time constraints, then the monitor inherits them. In the presence of hard real-time constraints it becomes a challenge to maintain enough information to produce error traces, should a property violation be observed. In this paper we introduce a data structure, called tree buffer, that solves this problem in the context of automata-based monitors: If the monitor itself respects hard real-time constraints, then enriching it by tree buffers makes it possible to provide error traces, which are essential for diagnosing defects. We show that tree buffers are also useful in other application domains. For example, they can be used to implement functionality of capturing groups in regular expressions. We prove optimal asymptotic bounds for our data structure, and validate them using empirical data from two sources: regular expression searching through Wikipedia, and runtime verification of execution traces obtained from the DaCapo test suite

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

The Quark Beam Function at NNLL

In hard collisions at a hadron collider the most appropriate description of the initial state depends on what is measured in the final state. Parton distribution functions (PDFs) evolved to the hard collision scale Q are appropriate for inclusive observables, but not for measurements with a specific number of hard jets, leptons, and photons. Here the incoming protons are probed and lose their identity to an incoming jet at a scale \mu_B << Q, and the initial state is described by universal beam functions. We discuss the field-theoretic treatment of beam functions, and show that the beam function has the same RG evolution as the jet function to all orders in perturbation theory. In contrast to PDF evolution, the beam function evolution does not mix quarks and gluons and changes the virtuality of the colliding parton at fixed momentum fraction. At \mu_B, the incoming jet can be described perturbatively, and we give a detailed derivation of the one-loop matching of the quark beam function onto quark and gluon PDFs. We compute the associated NLO Wilson coefficients and explicitly verify the cancellation of IR singularities. As an application, we give an expression for the next-to-next-to-leading logarithmic order (NNLL) resummed Drell-Yan beam thrust cross section.Comment: 54 pages, 9 figures; v2: notation simplified in a few places, typos fixed; v3: journal versio

Sustaining Water Resources: Environmental and Economic Impact

Water is essential to human health and economic development due to its utilization in sanitation, agriculture, and energy. Supplying water to an expanding world population requires simultaneous consideration of multiple societal sectors competing for limited resources. Water conservation, supply augmentation, distribution, and treatment of contaminants must work in concert to ensure water sustainability. Water is linked to other sectors, and the quantity and quality of water resources are changing. The efficient use of water in agriculture, the largest user of water worldwide, via drip irrigation is described as is the use of energy-intensive reverse osmosis to supplement freshwater supplies. Efforts to manage watersheds and model their responses to severe weather events are discussed along with efforts to improve the predictability of their function. The regional competition for water resources impacts both energy and water supply reliability, which requires that nations balance both for sustainable economic development. The use of water and energy in the US is described which provides a lens through which to both rethink the interrelationship of water and energy as well as evaluate technological developments. Advances in nanotechnology are highlighted as one emerging technology. These results underscore the multifaceted nature of water sustainability, its interrelationship to energy and economic development, and the need to develop, manage and regulate water systems in a concerted manner

Double Non-Global Logarithms In-N-Out of Jets

We derive the leading non-global logarithms (NGLs) of ratios of jet masses m_{1,2} and a jet energy veto \Lambda due to soft gluons splitting into regions in and out of jets. Such NGLs appear in any exclusive jet cross section with multiple jet measurements or with a veto imposed on additional jets. Here, we consider back-to-back jets of radius R produced in e^+e^- collisions, found with a cone or recombination algorithm. The leading NGLs are of the form \alpha_s^2 \ln^2(\Lambda/m_{1,2}) or \alpha_s^2\ln^2(m_1/m_2). Their coefficients depend both on the algorithm and on R. We consider cone, \kt, anti-\kt, and Cambridge-Aachen algorithms. In addition to determining the full algorithmic and R dependence of the leading NGLs, we derive new relations among their coefficients. We also derive to all orders in \alpha_s a factorized form for the soft function S(k_L,k_R,\Lambda) in the cross section \sigma(m_1,m_2,\Lambda) in which dependence on each of the global logs of \mu/k_L, \mu/k_R and \mu/\Lambda determined by the renormalization group are separated from one another and from the non-global logs. The same kind of soft function, its associated non-global structure, and the algorithmic dependence we derive here will also arise in exclusive jet cross sections at hadron colliders, and must be understood and brought under control to achieve precise theoretical predictions.Comment: 19 pages, 10 figures. v2: minor edits, additional discussion in Introduction. v3: version published in JHE

Factorization and NNLL Resummation for Higgs Production with a Jet Veto

Using methods of effective field theory, we derive the first all-order factorization theorem for the Higgs-boson production cross section with a jet veto, imposed by means of a standard sequential recombination jet algorithm. Like in the case of small-q_T resummation in Drell-Yan and Higgs production, the factorization is affected by a collinear anomaly. Our analysis provides the basis for a systematic resummation of large logarithms log(m_H/p_T^veto) beyond leading-logarithmic order. Specifically, we present predictions for the resummed jet-veto cross section and efficiency at next-to-next-to-leading logarithmic order. Our results have important implications for Higgs-boson searches at the LHC, where a jet veto is required to suppress background events.Comment: 28 pages, 5 figures; v2: published version; note added in proo