Connecting Terminals and 2-Disjoint Connected Subgraphs

Given a graph $G=(V,E)$ and a set of terminal vertices $T$ we say that a superset $S$ of $T$ is $T$-connecting if $S$ induces a connected graph, and $S$ is minimal if no strict subset of $S$ is $T$-connecting. In this paper we prove that there are at most ${|V \setminus T| \choose |T|-2} \cdot 3^{\frac{|V \setminus T|}{3}}$ minimal $T$-connecting sets when $|T| \leq n/3$ and that these can be enumerated within a polynomial factor of this bound. This generalizes the algorithm for enumerating all induced paths between a pair of vertices, corresponding to the case $|T|=2$. We apply our enumeration algorithm to solve the {\sc 2-Disjoint Connected Subgraphs} problem in time $O^*(1.7804^n)$, improving on the recent $O^*(1.933^n)$ algorithm of Cygan et al. 2012 LATIN paper.Comment: 13 pages, 1 figur

Site assessment of Douglas Shoal ship grounding in the Great Barrier Reef

The bulk carrier Shen Neng 1 ran aground on Douglas Shoal in the Great Barrier Reef Marine Park in April 2010. At over 40 hectares, this is the largest ship grounding scar known in the Great Barrier Reef, and possibly the largest reef-related grounding in the world. Challenges for assessment of the site included its large scale and the remote nature of Douglas Shoal coupled with its high exposure to wind, wave conditions and fauna that may pose safety hazards. Marine surveys used multiple and novel methods including sediment sampling combined with visual and acoustic survey techniques

Leaf:wood allometry and functional traits together explain substantial growth rate variation in rainforest trees

Plant growth rates drive ecosystem productivity and are a central element of plant ecological strategies. For seedlings grown under controlled conditions, a large literature has firmly identified the functional traits that drive interspecific variation in growth rate. For adult plants, the corresponding knowledge is surprisingly poorly understood. Until recently it was widely assumed that the key trait drivers would be the same (e.g. specific leaf area, or SLA), but an increasing number of papers has demonstrated this not to be the case, or not generally so. New theory has provided a prospective basis for understanding these discrepancies. Here we quantified relationships between stem diameter growth rates and functional traits of adult woody plants for 41 species in an Australian tropical rainforest. From various cost-benefit considerations, core predictions included that: (i) photosynthetic rate would be positively related to growth rate; (ii) SLA would be unrelated to growth rate (unlike in seedlings where it is positively related to growth); (iii) wood density would be negatively related to growth rate; and (iv) leaf mass:sapwood mass ratio (LM:SM) in branches (analogous to a benefit:cost ratio) would be positively related to growth rate. All our predictions found support, particularly those for LM:SM and wood density; photosynthetic rate was more weakly related to stem diameter growth rates. Specific leaf area was convincingly correlated to growth rate, in fact negatively. Together, SLA, wood density and LM:SM accounted for 52 % of variation in growth rate among these 41 species, with each trait contributing roughly similar explanatory power. That low SLA species can achieve faster growth rates than high SLA species was an unexpected result but, as it turns out, not without precedent, and easily understood via cost-benefit theory that considers whole-plant allocation to different tissue types. Branch-scale leaf:sapwood ratio holds promise as an easily measurable variable that may help to understand growth rate variation. Using cost-benefit approaches teamed with combinations of leaf, wood and allometric variables may provide a path towards a more complete understanding of growth rates under field conditions

Are plutons assembled over millions of years by amalgamation from small magma chambers?

Field and geochronologic evidence indicate that large and broadly homogeneous plutons can accumulate incrementally over millions of years. This contradicts the common assumption that plutons form from large, mobile bodies of magma. Incremental assembly is consistent with seismic results from active volcanic areas which rarely locate masses that contain more than 10% melt. At such a low melt fraction, a material is incapable of bulk flow as a liquid and perhaps should not even be termed magma. Volumes with higher melt fractions may be present in these areas if they are small, and this is consistent with geologic evidence for plutons growing in small increments. The large melt volumes required for eruption of large ignimbrites are rare and ephemeral, and links between these and emplacement of most plutons are open to doubt. We suggest that plutons may commonly form incrementally without ever existing as a large magma body. If so, then many widely accepted magma ascent and emplacement processes (e.g., diapirism and stoping) may be uncommon in nature, and many aspects of the petrochemical evolution of magmatic systems (e.g., in situ crystal fractionation and magma mixing) need to be reconsidered

Weaving Variability into Domain Metamodels

International audienceDomain-Specific Modeling Languages (DSMLs) describe the concepts of a particular domain and their relationships, in a meta-model. From a given DSML, it is possible to describe a wide range of different models. These models often share a common base and vary on some parts. Current approaches tend to distinguish the variability language from the DSMLs themselves, implying greater learning curve for DSMLs stakeholders and a significant overhead in product line engineering of DSLs. We propose to consider variability concepts as an independent aspect to be woven into the DSML to introduce variability capabilities. In particular we detail how variability is woven and how to perform product line derivation. We validate our approach through the weaving of variability into two very different metamodels: Ecore and SmartAdapter, our aspect-oriented modelling weaver, thus adding exibility in the weaving process itself. These results emphasize how new abilities of the language can be provided by this means

Quantum charges and spacetime topology: The emergence of new superselection sectors

In which is developed a new form of superselection sectors of topological origin. By that it is meant a new investigation that includes several extensions of the traditional framework of Doplicher, Haag and Roberts in local quantum theories. At first we generalize the notion of representations of nets of C*-algebras, then we provide a brand new view on selection criteria by adopting one with a strong topological flavour. We prove that it is coherent with the older point of view, hence a clue to a genuine extension. In this light, we extend Roberts' cohomological analysis to the case where 1--cocycles bear non trivial unitary representations of the fundamental group of the spacetime, equivalently of its Cauchy surface in case of global hyperbolicity. A crucial tool is a notion of group von Neumann algebras generated by the 1-cocycles evaluated on loops over fixed regions. One proves that these group von Neumann algebras are localized at the bounded region where loops start and end and to be factorial of finite type I. All that amounts to a new invariant, in a topological sense, which can be defined as the dimension of the factor. We prove that any 1-cocycle can be factorized into a part that contains only the charge content and another where only the topological information is stored. This second part resembles much what in literature are known as geometric phases. Indeed, by the very geometrical origin of the 1-cocycles that we discuss in the paper, they are essential tools in the theory of net bundles, and the topological part is related to their holonomy content. At the end we prove the existence of net representations

Nongeometric Flux Compactifications

We investigate a simple class of type II string compactifications which incorporate nongeometric "fluxes" in addition to "geometric flux" and the usual H-field and R-R fluxes. These compactifications are nongeometric analogues of the twisted torus. We develop T-duality rules for NS-NS geometric and nongeometric fluxes, which we use to construct a superpotential for the dimensionally reduced four-dimensional theory. The resulting structure is invariant under T-duality, so that the distribution of vacua in the IIA and IIB theories is identical when nongeometric fluxes are included. This gives a concrete framework in which to investigate the possibility that generic string compactifications may be nongeometric in any duality frame. The framework developed in this paper also provides some concrete hints for how mirror symmetry can be generalized to compactifications with arbitrary H-flux, whose mirrors are generically nongeometric.Comment: 26 pages, JHEP3. v3: references, minor corrections, and clarifications added. v4: sign correcte

Primordialists and Constructionists: a typology of theories of religion

This article adopts categories from nationalism theory to classify theories of religion. Primordialist explanations are grounded in evolutionary psychology and emphasize the innate human demand for religion. Primordialists predict that religion does not decline in the modern era but will endure in perpetuity. Constructionist theories argue that religious demand is a human construct. Modernity initially energizes religion, but subsequently undermines it. Unpacking these ideal types is necessary in order to describe actual theorists of religion. Three distinctions within primordialism and constructionism are relevant. Namely those distinguishing: a) materialist from symbolist forms of constructionism; b) theories of origins from those pertaining to the reproduction of religion; and c) within reproduction, between theories of religious persistence and secularization. This typology helps to make sense of theories of religion by classifying them on the basis of their causal mechanisms, chronology and effects. In so doing, it opens up new sightlines for theory and research

Muon Energy Estimate Through Multiple Scattering with the Macro Detector

Muon energy measurement represents an important issue for any experiment addressing neutrino induced upgoing muon studies. Since the neutrino oscillation probability depends on the neutrino energy, a measurement of the muon energy adds an important piece of information concerning the neutrino system. We show in this paper how the MACRO limited streamer tube system can be operated in drift mode by using the TDC's included in the QTPs, an electronics designed for magnetic monopole search. An improvement of the space resolution is obtained, through an analysis of the multiple scattering of muon tracks as they pass through our detector. This information can be used further to obtain an estimate of the energy of muons crossing the detector. Here we present the results of two dedicated tests, performed at CERN PS-T9 and SPS-X7 beam lines, to provide a full check of the electronics and to exploit the feasibility of such a multiple scattering analysis. We show that by using a neural network approach, we are able to reconstruct the muon energy for $E_\mu<$40 GeV. The test beam data provide an absolute energy calibration, which allows us to apply this method to MACRO data.Comment: 25 pages, 11 figures, Submitted to Nucl. Instr. & Meth.

Measurement of the atmospheric neutrino-induced upgoing muon flux using MACRO

We present a measurement of the flux of neutrino-induced upgoing muons (~100 GeV) using the MACRO detector. The ratio of the number of observed to expected events integrated over all zenith angles is 0.74 +/- 0.036 (stat) +/- 0.046(systematic) +/- 0.13 (theoretical). The observed zenith distribution for -1.0 < cos(theta) < -0.1 does not fit well with the no oscillation expectation, giving a maximum probability for chi^2 of 0.1%. The acceptance of the detector has been extensively studied using downgoing muons, independent analyses and Monte-Carlo simulations. The other systematic uncertainties cannot be the source of the discrepancies between the data and expectations. We have investigated whether the observed number of events and the shape of the zenith distribution can be explained by a neutrino oscillation hypothesis. Fitting either the flux or zenith distribution independently yields mixing parameters of sin^2 (2theta)=1.0 and delta m^2 of a few times 10^-3 eV^2. However, the observed zenith distribution does not fit well with any expectations giving a maximum probability for chi^2 of 5% for the best oscillation hypothesis, and the combined probability for the shape and number of events is 17%. We conclude that these data favor a neutrino oscillation hypothesis, but with unexplained structure in the zenith distribution not easily explained by either the statistics or systematics of the experiment.Comment: 7 pages (two-column) with 4 figure