Asexual reproduction in introduced and native populations of the ant Cerapachys biroi.

Asexual reproduction is particularly common among introduced species, probably because it helps to overcome the negative effects associated with low population densities during colonization. The ant Cerapachys biroi has been introduced to tropical and subtropical islands around the world since the beginning of the last century. In this species, workers can reproduce via thelytokous parthenogenesis. Here, we use genetic markers to reconstruct the history of anthropogenic introductions of C. biroi, and to address the prevalence of female parthenogenesis in introduced and native populations. We show that at least four genetically distinct lineages have been introduced from continental Asia and have led to the species' circumtropical establishment. Our analyses demonstrate that asexual reproduction dominates in the introduced range and is also common in the native range. Given that C. biroi is the only dorylomorph ant that has successfully become established outside of its native range, this unusual mode of reproduction probably facilitated the species' worldwide spread. On the other hand, the rare occurrence of haploid males and at least one clear case of sexual recombination in the introduced range show that C. biroi has not lost the potential for sex. Finally, we show that thelytoky in C. biroi probably has a genetic rather than an infectious origin, and that automixis with central fusion is the most likely underlying cytological mechanism. This is in accordance with what is known for other thelytokous eusocial Hymenoptera

Transitions in social complexity along elevational gradients reveal a combined impact of season length and development time on social evolution.

Eusociality is taxonomically rare, yet associated with great ecological success. Surprisingly, studies of environmental conditions favouring eusociality are often contradictory. Harsh conditions associated with increasing altitude and latitude seem to favour increased sociality in bumblebees and ants, but the reverse pattern is found in halictid bees and polistine wasps. Here, we compare the life histories and distributions of populations of 176 species of Hymenoptera from the Swiss Alps. We show that differences in altitudinal distributions and development times among social forms can explain these contrasting patterns: highly social taxa develop more quickly than intermediate social taxa, and are thus able to complete the reproductive cycle in shorter seasons at higher elevations. This dual impact of altitude and development time on sociality illustrates that ecological constraints can elicit dynamic shifts in behaviour, and helps explain the complex distribution of sociality across ecological gradients

Herbivorous turtle ants obtain essential nutrients from a conserved nitrogen-recycling gut microbiome.

Nitrogen acquisition is a major challenge for herbivorous animals, and the repeated origins of herbivory across the ants have raised expectations that nutritional symbionts have shaped their diversification. Direct evidence for N provisioning by internally housed symbionts is rare in animals; among the ants, it has been documented for just one lineage. In this study we dissect functional contributions by bacteria from a conserved, multi-partite gut symbiosis in herbivorous Cephalotes ants through in vivo experiments, metagenomics, and in vitro assays. Gut bacteria recycle urea, and likely uric acid, using recycled N to synthesize essential amino acids that are acquired by hosts in substantial quantities. Specialized core symbionts of 17 studied Cephalotes species encode the pathways directing these activities, and several recycle N in vitro. These findings point to a highly efficient N economy, and a nutritional mutualism preserved for millions of years through the derived behaviors and gut anatomy of Cephalotes ants

Author Correction: Herbivorous turtle ants obtain essential nutrients from a conserved nitrogen-recycling gut microbiome.

The originally published version of the Supplementary Information file associated with this Article contained an error in Supplementary Figure 3. Panel b was inadvertently replaced with a duplicate of panel a. The error has now been fixed and the corrected version of the Supplementary Information PDF is available to download from the HTML version of the Article

Diving into the vertical dimension of elasmobranch movement ecology

Knowledge of the three-dimensional movement patterns of elasmobranchs is vital to understand their ecological roles and exposure to anthropogenic pressures. To date, comparative studies among species at global scales have mostly focused on horizontal movements. Our study addresses the knowledge gap of vertical movements by compiling the first global synthesis of vertical habitat use by elasmobranchs from data obtained by deployment of 989 biotelemetry tags on 38 elasmobranch species. Elasmobranchs displayed high intra- and interspecific variability in vertical movement patterns. Substantial vertical overlap was observed for many epipelagic elasmobranchs, indicating an increased likelihood to display spatial overlap, biologically interact, and share similar risk to anthropogenic threats that vary on a vertical gradient. We highlight the critical next steps toward incorporating vertical movement into global management and monitoring strategies for elasmobranchs, emphasizing the need to address geographic and taxonomic biases in deployments and to concurrently consider both horizontal and vertical movements

Capabilities for Uniqueness and Borrowing

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by reference. Moreover, the problematic interplay between destructive reads--often used to implement unique references--and temporary aliasing through "borrowed" references is exacerbated in a concurrent setting, increasing the potential for unpredictable run-time errors. This paper introduces a new approach to uniqueness. The idea is to use capabilities for enforcing both at-most-once consumption of unique references, and a flexible notion of uniqueness. The main novelty of our approach is a model of uniqueness and borrowing based on simple, unstructured capabilities. The advantages are: first, it provides simple foundations for uniqueness and borrowing. Second, it can be formalized using a relatively simple type system, for which we provide a complete soundness proof. Third, it avoids common problems involving borrowing and destructive reads, since unique references subsume borrowed references. We have implemented our type system as an extension to Scala. Practical experience suggests that our system allows type checking real-world actor-based concurrent programs with only a small number of additional type annotations