Time-space trade-offs in population protocols

Population protocols are a popular model of distributed computing, in which randomly-interacting agents with little computational power cooperate to jointly perform computational tasks. Inspired by developments in molecular computation, and in particular DNA computing, recent algorithmic work has focused on the complexity of solving simple yet fundamental tasks in the population model, such as leader election (which requires convergence to a single agent in a special "leader" state), and majority (in which agents must converge to a decision as to which of two possible initial states had higher initial count). Known results point towards an inherent trade-off between the time complexity of such algorithms, and the space complexity, i.e. size of the memory available to each agent. In this paper, we explore this trade-off and provide new upper and lower bounds for majority and leader election. First, we prove a unified lower bound, which relates the space available per node with the time complexity achievable by a protocol: for instance, our result implies that any protocol solving either of these tasks for n agents using O(log log n) states must take Ω(n/polylogn) expected time. This is the first result to characterize time complexity for protocols which employ super-constant number of states per node, and proves that fast, poly-logarithmic running times require protocols to have relatively large space costs. On the positive side, we give algorithms showing that fast, poly-logarithmic convergence time can be achieved using O(log²n) space per node, in the case of both tasks. Overall, our results highlight a time complexity separation between O (log log n) and Θ(log²n) state space size for both majority and leader election in population protocols, and introduce new techniques, which should be applicable more broadly

Time-space trade-offs in population protocols

Population protocols are a popular model of distributed computing, in which randomly-interacting agents with little computational power cooperate to jointly perform computational tasks. Inspired by developments in molecular computation, and in particular DNA computing, recent algorithmic work has focused on the complexity of solving simple yet fundamental tasks in the population model, such as leader election (which requires convergence to a single agent in a special "leader" state), and majority (in which agents must converge to a decision as to which of two possible initial states had higher initial count). Known results point towards an inherent trade-off between the time complexity of such algorithms, and the space complexity, i.e. size of the memory available to each agent. In this paper, we explore this trade-off and provide new upper and lower bounds for majority and leader election. First, we prove a unified lower bound, which relates the space available per node with the time complexity achievable by a protocol: for instance, our result implies that any protocol solving either of these tasks for n agents using O(log log n) states must take Ω(n/polylogn) expected time. This is the first result to characterize time complexity for protocols which employ super-constant number of states per node, and proves that fast, poly-logarithmic running times require protocols to have relatively large space costs. On the positive side, we give algorithms showing that fast, poly-logarithmic convergence time can be achieved using O(log²n) space per node, in the case of both tasks. Overall, our results highlight a time complexity separation between O (log log n) and Θ(log²n) state space size for both majority and leader election in population protocols, and introduce new techniques, which should be applicable more broadly

A nexus perspective on competing land demands: Wider lessons from a UK policy case study

As nations develop policies for low-carbon transitions, conflicts with existing policies and planning tools are leading to competing demands for land and other resources. This raises fundamental questions over how multiple demands can best be managed. Taking the UK as an empirical example, this paper critiques current policies and practices to explore the interdependencies at the water-energy-food nexus. It considers how current land uses and related policies affect the UK’s resilience to climate change, setting out an agenda for research and practice relevant to stakeholders in land-use management, policy and modelling. Despite recent progress in recognising such nexus challenges, most UK land-related policies and associated science continue to be compartmentalised by both scale and sector and seldom acknowledge nexus interconnections. On a temporal level, the absence of an over-arching strategy leaves inter-generational trade-offs poorly considered. Given the system lock-in and the lengthy policy-making process, it is essential to develop alternative ways of providing dynamic, flexible, practical and scientifically robust decision support for policy-makers. A range of ecosystem services need to be valued and integrated into a resilient land-use strategy, including the introduction of non-monetary, physical-unit constraints on the use of particular services

The IUCN Red List of Ecosystems: motivations, challenges, and applications

Abstract In response to growing demand for ecosystem-level risk assessment in biodiversity conservation, and rapid proliferation of locally tailored protocols, the IUCN recently endorsed new Red List criteria as a global standard for ecosystem risk assessment. Four qualities were sought in the design of the IUCN criteria: generality; precision; realism; and simplicity. Drawing from extensive global consultation, we explore trade-offs among these qualities when dealing with key challenges, including ecosystem classification, measuring ecosystem dynamics, degradation and collapse, and setting decision thresholds to delimit ordinal categories of threat. Experience from countries with national lists of threatened ecosystems demonstrates well-balanced trade-offs in current and potential applications of Red Lists of Ecosystems in legislation, policy, environmental management and education. The IUCN Red List of Ecosystems should be judged by whether it achieves conservation ends and improves natural resource management, whether its limitations are outweighed by its benefits, and whether it performs better than alternative methods. Future development of the Red List of Ecosystems will benefit from the history of the Red List of Threatened Species which was trialed and adjusted iteratively over 50 years from rudimentary beginnings. We anticipate the Red List of Ecosystems will promote policy focus on conservation outcomes in situ across whole landscapes and seascapes

The effects of subcurative praziquantel treatment on life-history traits and trade-offs in drug-resistant Schistosoma mansoni

Natural selection acts on all organisms, including parasites, to maximize reproductive fitness. Drug resistance traits are often associated with life-history costs in the absence of treatment. Schistosomiasis control programmes rely on mass drug administration to reduce human morbidity and mortality. Although hotspots of reduced drug efficacy have been reported, resistance is not widespread. Using Bayesian state-space models (SSMs) fitted to data from an in vivo laboratory system, we tested the hypothesis that the spread of resistant Schistosoma mansoni may be limited by life-history costs not present in susceptible counterparts. S. mansoni parasites from a praziquantel-susceptible (S), a praziquantel-resistant (R) or a mixed line of originally resistant and susceptible parasites (RS) were exposed to a range of praziquantel doses. Parasite numbers at each life stage were quantified in their molluscan intermediate and murine definitive hosts across four generations, and SSMs were used to estimate key life-history parameters for each experimental group over time. Model outputs illustrated that parasite adult survival and fecundity in the murine host decreased across all lines, including R, with increasing drug pressure. Trade-offs between adult survival and fecundity were observed in all untreated lines, and these remained strong in S with praziquantel pressure. In contrast, trade-offs between adult survival and fecundity were lost under praziquantel pressure in R. As expected, parasite life-history traits within the molluscan host were complex, but trade-offs were demonstrated between parasite establishment and cercarial output. The observed trade-offs between generations within hosts, which were modified by praziquantel treatment in the R line, could limit the spread of R parasites under praziquantel pressure. Whilst such complex life-history costs may be difficult to detect using standard empirical methods, we demonstrate that SSMs provide robust estimates of life-history parameters, aiding our understanding of costs and trade-offs of resistant parasites within this system and beyond

A Multiple Criteria Framework to Evaluate Bank Branch Potential Attractiveness

Remarkable progress has occurred over the years in the performance evaluation of bank branches. Even though financial measures are usually considered the most important in assessing branch viability, we posit that insufficient attention has been given to other factors that affect the branches’ potential profitability and attractiveness. Based on the integrated used of cognitive maps and MCDA techniques, we propose a framework that adds value to the way that potential attractiveness criteria to assess bank branches are selected and to the way that the trade-offs between those criteria are obtained. This framework is the result of a process involving several directors from the five largest banks operating in Portugal, and follows a constructivist approach. Our findings suggest that the use of cognitive maps systematically identifies previously omitted criteria that may assess potential attractiveness. The use of MCDA techniques may clarify and add transparency to the way trade-offs are dealt with. Advantages and disadvantages of the proposed framework are also discussed.

The effects of subcurative praziquantel treatment on life-history traits and trade-offs in drug-resistant Schistosoma mansoni

Natural selection acts on all organisms, including parasites, to maximise reproductive fitness. Drug resistance traits are often associated with life-history costs in the absence of treatment. Schistosomiasis control programmes rely on mass drug administration to reduce human morbidity and mortality. Although hotspots of reduced drug efficacy have been reported, resistance is not widespread. Using Bayesian State-Space Models (SSMs) fitted to data from an in vivo laboratory system, we tested the hypothesis that the spread of resistant Schistosoma may be limited by life-history costs not present in susceptible counterparts. Schistosoma mansoni parasites from a praziquantel–susceptible (S), a praziquantel–resistant (R) or a mixed line of originally resistant and susceptible parasites (RS) were exposed to a range of praziquantel doses. Parasite numbers at each life stage were quantified in their molluscan intermediate and murine definitive hosts across four generations, and SSMs were used to estimate key life-history parameters for each experimental group over time. Model outputs illustrated that parasite adult survival and fecundity in the murine host decreased across all lines, including R, with increasing drug pressure. Trade-offs between adult survival and fecundity were observed in all untreated lines, and these remained strong in S with praziquantel pressure. In contrast, trade-offs between adult survival and fecundity were lost under praziquantel pressure in R. As expected, parasite life-history traits within the molluscan host were complex, but trade-offs were demonstrated between parasite establishment and cercarial output. The observed trade-offs between generations within hosts, which were modified by praziquantel treatment in the R line, could limit the spread of R parasites under praziquantel pressure. Whilst such complex life-history costs may be difficult to detect using standard empirical methods, we demonstrate that SSMs provide robust estimates of life history parameters, aiding our understanding of costs and trade-offs of resistant parasites within this system and beyond

Ecological equivalence: a realistic assumption for niche theory as a testable alternative to neutral theory

Hubbell's 2001 neutral theory unifies biodiversity and biogeography by modelling steady-state distributions of species richness and abundances across spatio-temporal scales. Accurate predictions have issued from its core premise that all species have identical vital rates. Yet no ecologist believes that species are identical in reality. Here I explain this paradox in terms of the ecological equivalence that species must achieve at their coexistence equilibrium, defined by zero net fitness for all regardless of intrinsic differences between them. I show that the distinction of realised from intrinsic vital rates is crucial to evaluating community resilience. An analysis of competitive interactions reveals how zero-sum patterns of abundance emerge for species with contrasting life-history traits as for identical species. I develop a stochastic model to simulate community assembly from a random drift of invasions sustaining the dynamics of recruitment following deaths and extinctions. Species are allocated identical intrinsic vital rates for neutral dynamics, or random intrinsic vital rates and competitive abilities for niche dynamics either on a continuous scale or between dominant-fugitive extremes. Resulting communities have steady-state distributions of the same type for more or less extremely differentiated species as for identical species. All produce negatively skewed log-normal distributions of species abundance, zero-sum relationships of total abundance to area, and Arrhenius relationships of species to area. Intrinsically identical species nevertheless support fewer total individuals, because their densities impact as strongly on each other as on themselves. Truly neutral communities have measurably lower abundance/area and higher species/abundance ratios. Neutral scenarios can be parameterized as null hypotheses for testing competitive release, which is a sure signal of niche dynamics. Ignoring the true strength of interactions between and within species risks a substantial misrepresentation of community resilience to habitat los