On the Containment Problem for Linear Sets

It is well known that the containment problem (as well as the equivalence problem) for semilinear sets is log-complete at the second level of the polynomial hierarchy (where hardness even holds in dimension 1). It had been shown quite recently that already the containment problem for multi-dimensional linear sets is log-complete at the same level of the hierarchy (where hardness even holds when numbers are encoded in unary). In this paper, we show that already the containment problem for 1-dimensional linear sets (with binary encoding of the numerical input parameters) is log-hard (and therefore also log-complete) at this level. However, combining both restrictions (dimension 1 and unary encoding), the problem becomes solvable in polynomial time

Constrained simulations of the Antennae Galaxies: Comparison with Herschel-PACS observations

We present a set of hydro-dynamical numerical simulations of the Antennae galaxies in order to understand the origin of the central overlap starburst. Our dynamical model provides a good match to the observed nuclear and overlap star formation, especially when using a range of rather inefficient stellar feedback efficiencies (0.01 < q_EoS < 0.1). In this case a simple conversion of local star formation to molecular hydrogen surface density motivated by observations accounts well for the observed distribution of CO. Using radiative transfer post-processing we model synthetic far-infrared spectral energy distributions (SEDs) and two-dimensional emission maps for direct comparison with Herschel-PACS observations. For a gas-to-dust ratio of 62:1 and the best matching range of stellar feedback efficiencies the synthetic far-infrared SEDs of the central star forming region peak at values of ~65 - 81 Jy at 99 - 116 um, similar to a three-component modified black body fit to infrared observations. Also the spatial distribution of the far-infrared emission at 70 um, 100 um, and 160 um compares well with the observations: >50% (> 35%) of the emission in each band is concentrated in the overlap region while only < 30% (< 15%) is distributed to the combined emission from the two galactic nuclei in the simulations (observations). As a proof of principle we show that parameter variations in the feedback model result in unambiguous changes both in the global and in the spatially resolved observable far-infrared properties of Antennae galaxy models. Our results strengthen the importance of direct, spatially resolved comparative studies of matched galaxy merger simulations as a valuable tool to constrain the fundamental star formation and feedback physics.Comment: 17 pages, 8 figures, 4 tables, submitted to MNRAS, including revisions after first referee report, comments welcom

Differential dependencies of monocytes and neutrophils on dectin-1, dectin-2 and complement for the recognition of fungal particles in inflammation

Peer reviewedPublisher PD

Left-Handed W Bosons at the LHC

The production of W bosons in association with jets is an important background to new physics at the LHC. Events in which the W carries large transverse momentum and decays leptonically lead to large missing energy and are of particular importance. We show that the left-handed nature of the W coupling, combined with valence quark domination at a pp machine, leads to a large left-handed polarization for both W^+ and W^- bosons at large transverse momenta. The polarization fractions are very stable with respect to QCD corrections. The leptonic decay of the W bosons translates the common left-handed polarization into a strong asymmetry in transverse momentum distributions between positrons and electrons, and between neutrinos and anti-neutrinos (missing transverse energy). Such asymmetries may provide an effective experimental handle on separating W + jets from top quark production, which exhibits very little asymmetry due to C invariance, and from various types of new physics.Comment: 32 pages, revtex, 17 figures, 3 tables, v2 minor corrections to ME+PS results, no changes to conclusions, added reference

Next-to-leading order diphoton+2-jet production at the LHC

We present results from a recent calculation of prompt photon-pair production in association with two jets to next-to-leading order (NLO) at the LHC. The virtual contribution is evaluated using the BlackHat library, a numerical implementation of on-shell methods for one-loop amplitudes, in conjunction with SHERPA. We study four sets of cuts: standard jet cuts, a set of Higgs-related cuts suggested by ATLAS, and corresponding sets which isolate the kinematic region where the process becomes the largest background to Higgs production via vector-boson fusion.Comment: 10 pages, 4 figures, Presented at 11th International Symposium on Radiative Corrections (RADCOR 2013), 22-27 September 2013, Lumley Castle Hotel, Durham, U