New term in effective field theory at fixed topology

A random matrix model for lattice QCD which takes into account the positive definite nature of the Wilson term is introduced. The corresponding effective theory for fixed index of the Wilson Dirac operator is derived to next to leading order. It reveals a new term proportional to the topological index of the Wilson Dirac operator and the lattice spacing. The new term appears naturally in a fixed index spurion analysis. The spurion approach reveals that the term is the first in a new family of such terms and that equivalent terms are relevant for the effective theory of continuum QCD.Comment: 22 pages, 2 figures, version to appear in PR

HortiBot: A System Design of a Robotic Tool Carrier for High-tech Plant Nursing

Danish organic outdoor gardeners today use 50-300 hours per hectare for manual weeding. Through automatic controlling of an existing commercial machine this often heavy and costconsuming weeding will be eliminated. At the same time, a fully-automatic registration of field activities will contribute to the efficient implementation of EU directive 178/2002 concerning traceability in the primary production and thereby enhance the food-safety in the production chain. A radio controlled slope mower is equipped with a new robotic accessory kit. This transforms it into a tool carrier (HortiBot) for high-tech plant nursing for e.g. organic grown vegetables. The HortiBot is capable of passing over several parcels with visible rows autonomously based on a new commercial row detection system from Eco-Dan a/s, Denmark. This paper presents the solutions chosen for the HortiBot with regard to hardware, mechanicalelectrical interfaces and software. Further, the principles from a Quality Function Deployment (QFD) analysis was used to carry out the solicitation, evaluation and selection of most qualified design parameters and specifications attained to a horticultural robotic tool carrier. The QFD analysis provided a specific measure to evaluate each selected parameter in terms of satisfying user requirements and operational performance aspects. Based on a combination of importance rating and competitive priority ratings important user requirements include easy adaptation to field conditions in terms of row distance and parcel size, profitability, minimum crop damage during operation, and reliability. Lesser importance was attributed to affection value, attractive look, the possibility of out of season usage, and the use of renewable energy

A theory of normed simulations

In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is cumbersome to mechanize these techniques using general purpose theorem provers. Moreover, it is undecidable whether a given relation is a simulation, even if tautology checking is decidable for the underlying specification logic. This paper introduces various types of normed simulations. In a normed simulation, each step in a lower-level specification can be simulated by at most one step in the higher-level one, for any related pair of states. In earlier work we demonstrated that normed simulations are quite useful as a vehicle for the formalization of refinement proofs via theorem provers. Here we show that normed simulations also have pleasant theoretical properties: (1) under some reasonable assumptions, it is decidable whether a given relation is a normed forward simulation, provided tautology checking is decidable for the underlying logic; (2) at the semantic level, normed forward and backward simulations together form a complete proof method for establishing behavior inclusion, provided that the higher-level specification has finite invisible nondeterminism.Comment: 31 pages, 10figure

The next Generation of Action Ecology: Novel Approaches towards Global Ecological Research

Advances in the acquisition and dissemination of knowledge over the last decade have dramatically reshaped the way that ecological research is conducted. The advent of large, technology-based resources such as iNaturalist, Genbank, or the Global Biodiversity Information Facility (GBIF) allow ecologists to work at spatio-temporal scales previously unimaginable. This has generated a new approach in ecological research: one that relies on large datasets and rapid synthesis for theory testing and development, and findings that provide specific recommendations to policymakers and managers. This new approach has been termed action ecology, and here we aim to expand on earlier definitions to delineate its characteristics so as to distinguish it from related subfields in applied ecology and ecological management. Our new, more nuanced definition describes action ecology as ecological research that is (1) explicitly motivated by the need for immediate insights into current, pressing problems, (2) collaborative and transdisciplinary, incorporating sociological in addition to ecological considerations throughout all steps of the research, (3) technology-mediated, innovative, and aggregative (i.e., reliant on ‘big data\u27), and (4) designed and disseminated with the intention to inform policy and management. We provide tangible examples of existing work in the domain of action ecology, and offer suggestions for its implementation and future growth, with explicit recommendations for individuals, research institutions, and ecological societies

A Minimal Threshold of c-di-GMP Is Essential for Fruiting Body Formation and Sporulation in Myxococcus xanthus

Generally, the second messenger bis-(3’-5’)-cyclic dimeric GMP (c-di-GMP) regulates the switch between motile and sessile lifestyles in bacteria. Here, we show that c-di-GMP is an essential regulator of multicellular development in the social bacterium Myxococcus xanthus. In response to starvation, M. xanthus initiates a developmental program that culminates in formation of spore-filled fruiting bodies. We show that c-di-GMP accumulates at elevated levels during development and that this increase is essential for completion of development whereas excess c-di-GMP does not interfere with development. MXAN3735 (renamed DmxB) is identified as a diguanylate cyclase that only functions during development and is responsible for this increased c-di-GMP accumulation. DmxB synthesis is induced in response to starvation, thereby restricting DmxB activity to development. DmxB is essential for development and functions downstream of the Dif chemosensory system to stimulate exopolysaccharide accumulation by inducing transcription of a subset of the genes encoding proteins involved in exopolysaccharide synthesis. The developmental defects in the dmxB mutant are non-cell autonomous and rescued by co-development with a strain proficient in exopolysaccharide synthesis, suggesting reduced exopolysaccharide accumulation as the causative defect in this mutant. The NtrC-like transcriptional regulator EpsI/Nla24, which is required for exopolysaccharide accumulation, is identified as a c-diGMP receptor, and thus a putative target for DmxB generated c-di-GMP. Because DmxB can be—at least partially—functionally replaced by a heterologous diguanylate cyclase, these results altogether suggest a model in which a minimum threshold level of c-di-GMP is essential for the successful completion of multicellular development in M. xanthus

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Charge separation relative to the reaction plane in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}= 2.76 TeV

Measurements of charge dependent azimuthal correlations with the ALICE detector at the LHC are reported for Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV. Two- and three-particle charge-dependent azimuthal correlations in the pseudo-rapidity range $|\eta| < 0.8$ are presented as a function of the collision centrality, particle separation in pseudo-rapidity, and transverse momentum. A clear signal compatible with a charge-dependent separation relative to the reaction plane is observed, which shows little or no collision energy dependence when compared to measurements at RHIC energies. This provides a new insight for understanding the nature of the charge dependent azimuthal correlations observed at RHIC and LHC energies.Comment: 12 pages, 3 captioned figures, authors from page 2 to 6, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/286

A note on comonotonicity and positivity of the control components of decoupled quadratic FBSDE

In this small note we are concerned with the solution of Forward-Backward Stochastic Differential Equations (FBSDE) with drivers that grow quadratically in the control component (quadratic growth FBSDE or qgFBSDE). The main theorem is a comparison result that allows comparing componentwise the signs of the control processes of two different qgFBSDE. As a byproduct one obtains conditions that allow establishing the positivity of the control process.Comment: accepted for publicatio