Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

W boson production at hadron colliders: the lepton charge asymmetry in NNLO QCD

We consider the production of W bosons in hadron collisions, and the subsequent leptonic decay W->lnu_l. We study the asymmetry between the rapidity distributions of the charged leptons, and we present its computation up to the next-to-next-to-leading order (NNLO) in QCD perturbation theory. Our calculation includes the dependence on the lepton kinematical cuts that are necessarily applied to select W-> lnu_l events in actual experimental analyses at hadron colliders. We illustrate the main differences between the W and lepton charge asymmetry, and we discuss their physical origin and the effect of the QCD radiative corrections. We show detailed numerical results on the charge asymmetry in ppbar collisions at the Tevatron, and we discuss the comparison with some of the available data. Some illustrative results on the lepton charge asymmetry in pp collisions at LHC energies are presented.Comment: 37 pages, 21 figure

Case series: convalescent plasma therapy for patients with COVID-19 and primary antibody deficiency

Patients with primary antibody deficiency are at risk for severe and in many cases for prolonged COVID-19. Convalescent plasma treatment of immunocompromised individuals could be an option especially in countries with limited access to monoclonal antibody therapies. While studies in immunocompetent COVID19 patients have demonstrated only a limited benefit, evidence for the safety, timing, and effectiveness of this treatment in antibody-deficient patients is lacking. Here, we describe 16 cases with primary antibody deficiency treated with convalescent plasma in four medical centers. In our cohort, treatment was associated with a reduction in viral load and improvement of clinical symptoms, even when applied over a week after onset of infection. There were no relevant side effects besides a short-term fever reaction in one patient. Longitudinal full-genome sequencing revealed the emergence of mutations in the viral genome, potentially conferring an antibody escape in one patient with persistent viral RNA shedding upon plasma treatment. However, he resolved the infection after a second course of plasma treatment. Thus, our data suggest a therapeutic benefit of convalescent plasma treatment in patients with primary antibody deficiency even months after infection. While it appears to be safe, PCR follow-up for SARS-CoV-2 is advisable and early re-treatment might be considered in patients with persistent viral shedding

Antenna subtraction with massive fermions at NNLO: Double real initial-final configurations

We derive the integrated forms of specific initial-final tree-level four-parton antenna functions involving a massless initial-state parton and a massive final-state fermion as hard radiators. These antennae are needed in the subtraction terms required to evaluate the double real corrections to $t\bar{t}$ hadronic production at the NNLO level stemming from the partonic processes $q\bar{q}\to t\bar{t}q'\bar{q}'$ and $gg\to t\bar{t}q\bar{q}$.Comment: 24 pages, 1 figure, 1 Mathematica file attache

Boolean Dynamics with Random Couplings

This paper reviews a class of generic dissipative dynamical systems called N-K models. In these models, the dynamics of N elements, defined as Boolean variables, develop step by step, clocked by a discrete time variable. Each of the N Boolean elements at a given time is given a value which depends upon K elements in the previous time step. We review the work of many authors on the behavior of the models, looking particularly at the structure and lengths of their cycles, the sizes of their basins of attraction, and the flow of information through the systems. In the limit of infinite N, there is a phase transition between a chaotic and an ordered phase, with a critical phase in between. We argue that the behavior of this system depends significantly on the topology of the network connections. If the elements are placed upon a lattice with dimension d, the system shows correlations related to the standard percolation or directed percolation phase transition on such a lattice. On the other hand, a very different behavior is seen in the Kauffman net in which all spins are equally likely to be coupled to a given spin. In this situation, coupling loops are mostly suppressed, and the behavior of the system is much more like that of a mean field theory. We also describe possible applications of the models to, for example, genetic networks, cell differentiation, evolution, democracy in social systems and neural networks.Comment: 69 pages, 16 figures, Submitted to Springer Applied Mathematical Sciences Serie

The real radiation antenna function for S→QQˉqqˉS \to Q {\bar Q} q {\bar q} at NNLO QCD

As a first step towards the application of the antenna subtraction formalism to NNLO QCD reactions with massive quarks, we determine the real radiation antenna function and its integrated counterpart for reactions of the type $S \to Q{\bar Q} q {\bar q}$, where $S$ denotes an uncolored initial state and $Q$, $q$ a massive and massless quark, respectively. We compute the corresponding integrated antenna function in terms of harmonic polylogarithms. As an application and check of our results we calculate the contribution proportional to $\alpha_s^2 e^2_Q N_f$ to the inclusive heavy-quark pair production cross ection in $e^+e^-$ annihilation.Comment: Latex, 32 page