Tropically convex constraint satisfaction

A semilinear relation S is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a notorious problem of open computational complexity. Mean Payoff Games are known to be in the intersection of NP and co-NP, which is not known for max-closed semilinear constraints. Semilinear relations that are max-closed and additionally closed under translations have been called tropically convex in the literature. One of our main results is a new duality for open tropically convex relations, which puts the CSP for tropically convex semilinaer constraints in general into NP intersected co-NP. This extends the corresponding complexity result for scheduling under and-or precedence constraints, or equivalently the max-atoms problem. To this end, we present a characterization of max-closed semilinear relations in terms of syntactically restricted first-order logic, and another characterization in terms of a finite set of relations L that allow primitive positive definitions of all other relations in the class. We also present a subclass of max-closed constraints where the CSP is in P; this class generalizes the class of max-closed constraints over finite domains, and the feasibility problem for max-closed linear inequalities. Finally, we show that the class of max-closed semilinear constraints is maximal in the sense that as soon as a single relation that is not max-closed is added to L, the CSP becomes NP-hard.Comment: 29 pages, 2 figure

Molecular dynamics simulations of oscillatory Couette flows with slip boundary conditions

The effect of interfacial slip on steady-state and time-periodic flows of monatomic liquids is investigated using non-equilibrium molecular dynamics simulations. The fluid phase is confined between atomically smooth rigid walls, and the fluid flows are induced by moving one of the walls. In steady shear flows, the slip length increases almost linearly with shear rate. We found that the velocity profiles in oscillatory flows are well described by the Stokes flow solution with the slip length that depends on the local shear rate. Interestingly, the rate dependence of the slip length obtained in steady shear flows is recovered when the slip length in oscillatory flows is plotted as a function of the local shear rate magnitude. For both types of flows, the friction coefficient at the liquid-solid interface correlates well with the structure of the first fluid layer near the solid wall.Comment: 31 pages, 11 figure

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Quality-sensitive foraging by a robot swarm through virtual pheromone trails

Large swarms of simple autonomous robots can be employed to find objects clustered at random locations, and transport them to a central depot. This solution offers system parallelisation through concurrent environment exploration and object collection by several robots, but it also introduces the challenge of robot coordination. Inspired by ants’ foraging behaviour, we successfully tackle robot swarm coordination through indirect stigmergic communication in the form of virtual pheromone trails. We design and implement a robot swarm composed of up to 100 Kilobots using the recent technology Augmented Reality for Kilobots (ARK). Using pheromone trails, our memoryless robots rediscover object sources that have been located previously. The emerging collective dynamics show a throughput inversely proportional to the source distance. We assume environments with multiple sources, each providing objects of different qualities, and we investigate how the robot swarm balances the quality-distance trade-off by using quality-sensitive pheromone trails. To our knowledge this work represents the largest robotic experiment in stigmergic foraging, and is the first complete demonstration of ARK, showcasing the set of unique functionalities it provides

Evolutionary genomics of a cold-adapted diatom: Fragilariopsis cylindrus

The Southern Ocean houses a diverse and productive community of organisms1, 2. Unicellular eukaryotic diatoms are the main primary producers in this environment, where photosynthesis is limited by low concentrations of dissolved iron and large seasonal fluctuations in light, temperature and the extent of sea ice3, 4, 5, 6, 7. How diatoms have adapted to this extreme environment is largely unknown. Here we present insights into the genome evolution of a cold-adapted diatom from the Southern Ocean, Fragilariopsis cylindrus8, 9, based on a comparison with temperate diatoms. We find that approximately 24.7 per cent of the diploid F. cylindrus genome consists of genetic loci with alleles that are highly divergent (15.1 megabases of the total genome size of 61.1 megabases). These divergent alleles were differentially expressed across environmental conditions, including darkness, low iron, freezing, elevated temperature and increased CO2. Alleles with the largest ratio of non-synonymous to synonymous nucleotide substitutions also show the most pronounced condition-dependent expression, suggesting a correlation between diversifying selection and allelic differentiation. Divergent alleles may be involved in adaptation to environmental fluctuations in the Southern Ocean

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

Purinergic signalling links mechanical breath profile and alveolar mechanics with the pro-inflammatory innate immune response causing ventilation-induced lung injury

Severe pulmonary infection or vigorous cyclic deformation of the alveolar epithelial type I (AT I) cells by mechanical ventilation leads to massive extracellular ATP release. High levels of extracellular ATP saturate the ATP hydrolysis enzymes CD39 and CD73 resulting in persistent high ATP levels despite the conversion to adenosine. Above a certain level, extracellular ATP molecules act as danger-associated molecular patterns (DAMPs) and activate the pro-inflammatory response of the innate immunity through purinergic receptors on the surface of the immune cells. This results in lung tissue inflammation, capillary leakage, interstitial and alveolar oedema and lung injury reducing the production of surfactant by the damaged AT II cells and deactivating the surfactant function by the concomitant extravasated serum proteins through capillary leakage followed by a substantial increase in alveolar surface tension and alveolar collapse. The resulting inhomogeneous ventilation of the lungs is an important mechanism in the development of ventilation-induced lung injury. The high levels of extracellular ATP and the upregulation of ecto-enzymes and soluble enzymes that hydrolyse ATP to adenosine (CD39 and CD73) increase the extracellular adenosine levels that inhibit the innate and adaptive immune responses rendering the host susceptible to infection by invading microorganisms. Moreover, high levels of extracellular adenosine increase the expression, the production and the activation of pro-fibrotic proteins (such as TGF-β, α-SMA, etc.) followed by the establishment of lung fibrosis

An Intense and Short-Lasting Burst of Neutrophil Activation Differentiates Early Acute Myocardial Infarction from Systemic Inflammatory Syndromes

BACKGROUND: Neutrophils are involved in thrombus formation. We investigated whether specific features of neutrophil activation characterize patients with acute coronary syndromes (ACS) compared to stable angina and to systemic inflammatory diseases. METHODS AND FINDINGS: The myeloperoxidase (MPO) content of circulating neutrophils was determined by flow cytometry in 330 subjects: 69 consecutive patients with acute coronary syndromes (ACS), 69 with chronic stable angina (CSA), 50 with inflammation due to either non-infectious (acute bone fracture), infectious (sepsis) or autoimmune diseases (small and large vessel systemic vasculitis, rheumatoid arthritis). Four patients have also been studied before and after sterile acute injury of the myocardium (septal alcoholization). One hundred thirty-eight healthy donors were studied in parallel. Neutrophils with normal MPO content were 96% in controls, >92% in patients undergoing septal alcoholization, 91% in CSA patients, but only 35 and 30% in unstable angina and AMI (STEMI and NSTEMI) patients, compared to 80%, 75% and 2% of patients with giant cell arteritis, acute bone fracture and severe sepsis. In addition, in 32/33 STEMI and 9/21 NSTEMI patients respectively, 20% and 12% of neutrophils had complete MPO depletion during the first 4 hours after the onset of symptoms, a feature not observed in any other group of patients. MPO depletion was associated with platelet activation, indicated by P-selectin expression, activation and transactivation of leukocyte β2-integrins and formation of platelet neutrophil and -monocyte aggregates. The injection of activated platelets in mice produced transient, P-selectin dependent, complete MPO depletion in about 50% of neutrophils. CONCLUSIONS: ACS are characterized by intense neutrophil activation, like other systemic inflammatory syndromes. In the very early phase of acute myocardial infarction only a subpopulation of neutrophils is massively activated, possibly via platelet-P selectin interactions. This paroxysmal activation could contribute to occlusive thrombosis

The Classic: Bone Morphogenetic Protein

This Classic Article is a reprint of the original work by Marshall R. Urist and Basil S. Strates, Bone Morphogenetic Protein. An accompanying biographical sketch of Marshall R. Urist, MD is available at DOI 10.1007/s11999-009-1067-4; a second Classic Article is available at DOI 10.1007/s11999-009-1069-2; and a third Classic Article is available at DOI 10.1007/s11999-009-1070-9. The Classic Article is © 1971 by Sage Publications Inc. Journals and is reprinted with permission from Urist MR, Strates BS. Bone morphogenetic protein. J Dent Res. 1971;50:1392–1406