An adaptive prefix-assignment technique for symmetry reduction

This paper presents a technique for symmetry reduction that adaptively assigns a prefix of variables in a system of constraints so that the generated prefix-assignments are pairwise nonisomorphic under the action of the symmetry group of the system. The technique is based on McKay's canonical extension framework [J.~Algorithms 26 (1998), no.~2, 306--324]. Among key features of the technique are (i) adaptability---the prefix sequence can be user-prescribed and truncated for compatibility with the group of symmetries; (ii) parallelizability---prefix-assignments can be processed in parallel independently of each other; (iii) versatility---the method is applicable whenever the group of symmetries can be concisely represented as the automorphism group of a vertex-colored graph; and (iv) implementability---the method can be implemented relying on a canonical labeling map for vertex-colored graphs as the only nontrivial subroutine. To demonstrate the practical applicability of our technique, we have prepared an experimental open-source implementation of the technique and carry out a set of experiments that demonstrate ability to reduce symmetry on hard instances. Furthermore, we demonstrate that the implementation effectively parallelizes to compute clusters with multiple nodes via a message-passing interface.Comment: Updated manuscript submitted for revie

From Rotating Atomic Rings to Quantum Hall States

Considerable efforts are currently devoted to the preparation of ultracold neutral atoms in the emblematic strongly correlated quantum Hall regime. The routes followed so far essentially rely on thermodynamics, i.e. imposing the proper Hamiltonian and cooling the system towards its ground state. In rapidly rotating 2D harmonic traps the role of the transverse magnetic field is played by the angular velocity. For particle numbers significantly larger than unity, the required angular momentum is very large and it can be obtained only for spinning frequencies extremely near to the deconfinement limit; consequently, the required control on experimental parameters turns out to be far too stringent. Here we propose to follow instead a dynamic path starting from the gas confined in a rotating ring. The large moment of inertia of the fluid facilitates the access to states with a large angular momentum, corresponding to a giant vortex. The initial ring-shaped trapping potential is then adiabatically transformed into a harmonic confinement, which brings the interacting atomic gas in the desired quantum Hall regime. We provide clear numerical evidence that for a relatively broad range of initial angular frequencies, the giant vortex state is adiabatically connected to the bosonic $\nu=1/2$ Laughlin state, and we discuss the scaling to many particles.Comment: 9 pages, 5 figure

Evidence for dark matter in the inner Milky Way

The ubiquitous presence of dark matter in the universe is today a central tenet in modern cosmology and astrophysics. Ranging from the smallest galaxies to the observable universe, the evidence for dark matter is compelling in dwarfs, spiral galaxies, galaxy clusters as well as at cosmological scales. However, it has been historically difficult to pin down the dark matter contribution to the total mass density in the Milky Way, particularly in the innermost regions of the Galaxy and in the solar neighbourhood. Here we present an up-to-date compilation of Milky Way rotation curve measurements, and compare it with state-of-the-art baryonic mass distribution models. We show that current data strongly disfavour baryons as the sole contribution to the galactic mass budget, even inside the solar circle. Our findings demonstrate the existence of dark matter in the inner Galaxy while making no assumptions on its distribution. We anticipate that this result will compel new model-independent constraints on the dark matter local density and profile, thus reducing uncertainties on direct and indirect dark matter searches, and will shed new light on the structure and evolution of the Galaxy.Comment: First submitted version of letter published in Nature Physics on Febuary 9, 2015: http://www.nature.com/nphys/journal/vaop/ncurrent/full/nphys3237.htm

A viscoelastic deadly fluid in carnivorous pitcher plants

Background : The carnivorous plants of the genus Nepenthes, widely distributed in the Asian tropics, rely mostly on nutrients derived from arthropods trapped in their pitcher-shaped leaves and digested by their enzymatic fluid. The genus exhibits a great diversity of prey and pitcher forms and its mechanism of trapping has long intrigued scientists. The slippery inner surfaces of the pitchers, which can be waxy or highly wettable, have so far been considered as the key trapping devices. However, the occurrence of species lacking such epidermal specializations but still effective at trapping insects suggests the possible implication of other mechanisms. Methodology/Principal Findings : Using a combination of insect bioassays, high-speed video and rheological measurements, we show that the digestive fluid of Nepenthes rafflesiana is highly viscoelastic and that this physical property is crucial for the retention of insects in its traps. Trapping efficiency is shown to remain strong even when the fluid is highly diluted by water, as long as the elastic relaxation time of the fluid is higher than the typical time scale of insect movements. Conclusions/Significance : This finding challenges the common classification of Nepenthes pitchers as simple passive traps and is of great adaptive significance for these tropical plants, which are often submitted to high rainfalls and variations in fluid concentration. The viscoelastic trap constitutes a cryptic but potentially widespread adaptation of Nepenthes species and could be a homologous trait shared through common ancestry with the sundew (Drosera) flypaper plants. Such large production of a highly viscoelastic biopolymer fluid in permanent pools is nevertheless unique in the plant kingdom and suggests novel applications for pest control

Temporal networks of face-to-face human interactions

The ever increasing adoption of mobile technologies and ubiquitous services allows to sense human behavior at unprecedented levels of details and scale. Wearable sensors are opening up a new window on human mobility and proximity at the finest resolution of face-to-face proximity. As a consequence, empirical data describing social and behavioral networks are acquiring a longitudinal dimension that brings forth new challenges for analysis and modeling. Here we review recent work on the representation and analysis of temporal networks of face-to-face human proximity, based on large-scale datasets collected in the context of the SocioPatterns collaboration. We show that the raw behavioral data can be studied at various levels of coarse-graining, which turn out to be complementary to one another, with each level exposing different features of the underlying system. We briefly review a generative model of temporal contact networks that reproduces some statistical observables. Then, we shift our focus from surface statistical features to dynamical processes on empirical temporal networks. We discuss how simple dynamical processes can be used as probes to expose important features of the interaction patterns, such as burstiness and causal constraints. We show that simulating dynamical processes on empirical temporal networks can unveil differences between datasets that would otherwise look statistically similar. Moreover, we argue that, due to the temporal heterogeneity of human dynamics, in order to investigate the temporal properties of spreading processes it may be necessary to abandon the notion of wall-clock time in favour of an intrinsic notion of time for each individual node, defined in terms of its activity level. We conclude highlighting several open research questions raised by the nature of the data at hand.Comment: Chapter of the book "Temporal Networks", Springer, 2013. Series: Understanding Complex Systems. Holme, Petter; Saram\"aki, Jari (Eds.

Using a New Odour-Baited Device to Explore Options for Luring and Killing Outdoor-Biting Malaria Vectors: A Report on Design and Field Evaluation of the Mosquito Landing Box.

Mosquitoes that bite people outdoors can sustain malaria transmission even where effective indoor interventions such as bednets or indoor residual spraying are already widely used. Outdoor tools may therefore complement current indoor measures and improve control. We developed and evaluated a prototype mosquito control device, the 'Mosquito Landing Box' (MLB), which is baited with human odours and treated with mosquitocidal agents. The findings are used to explore technical options and challenges relevant to luring and killing outdoor-biting malaria vectors in endemic settings. Field experiments were conducted in Tanzania to assess if wild host-seeking mosquitoes 1) visited the MLBs, 2) stayed long or left shortly after arrival at the device, 3) visited the devices at times when humans were also outdoors, and 4) could be killed by contaminants applied on the devices. Odours suctioned from volunteer-occupied tents were also evaluated as a potential low-cost bait, by comparing baited and unbaited MLBs. There were significantly more Anopheles arabiensis, An. funestus, Culex and Mansonia mosquitoes visiting baited MLB than unbaited controls (P<=0.028). Increasing sampling frequency from every 120 min to 60 and 30 min led to an increase in vector catches of up to 3.6 fold (P<=0.002), indicating that many mosquitoes visited the device but left shortly afterwards. Outdoor host-seeking activity of malaria vectors peaked between 7:30 and 10:30pm, and between 4:30 and 6:00am, matching durations when locals were also outdoors. Maximum mortality of mosquitoes visiting MLBs sprayed or painted with formulations of candidate mosquitocidal agent (pirimiphos-methyl) was 51%. Odours from volunteer occupied tents attracted significantly more mosquitoes to MLBs than controls (P<0.001). While odour-baited devices such as the MLBs clearly have potential against outdoor-biting mosquitoes in communities where LLINs are used, candidate contaminants must be those that are effective at ultra-low doses even after short contact periods, since important vector species such as An. arabiensis make only brief visits to such devices. Natural human odours suctioned from occupied dwellings could constitute affordable sources of attractants to supplement odour baits for the devices. The killing agents used should be environmentally safe, long lasting, and have different modes of action (other than pyrethroids as used on LLINs), to curb the risk of physiological insecticide resistance

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

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