Distinguishing separable and entangled states

We show how to design families of operational criteria that distinguish entangled from separable quantum states. The simplest of these tests corresponds to the well-known Peres-Horodecki positive partial transpose (PPT) criterion, and the more complicated tests are strictly stronger. The new criteria are tractable due to powerful computational and theoretical methods for the class of convex optimization problems known as semidefinite programs. We successfully applied the results to many low-dimensional states from the literature where the PPT test fails. As a byproduct of the criteria, we provide an explicit construction of the corresponding entanglement witnesses.Comment: 4 pages, Latex2e. Expanded discussion of numerical procedures. Accepted for publication in Physical Review Letter

On the Generation of Positivstellensatz Witnesses in Degenerate Cases

One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomials that are sums of squares of polynomials and satisfy some linear equality (Positivstellensatz). This produces a witness for the desired property, from which it is reasonably easy to obtain a formal proof of the property suitable for a proof assistant such as Coq. The problem of finding a witness reduces to a feasibility problem in semidefinite programming, for which there exist numerical solvers. Unfortunately, this problem is in general not strictly feasible, meaning the solution can be a convex set with empty interior, in which case the numerical optimization method fails. Previously published methods thus assumed strict feasibility; we propose a workaround for this difficulty. We implemented our method and illustrate its use with examples, including extractions of proofs to Coq.Comment: To appear in ITP 201

Reading, Trauma and Literary Caregiving 1914-1918: Helen Mary Gaskell and the War Library

This article is about the relationship between reading, trauma and responsive literary caregiving in Britain during the First World War. Its analysis of two little-known documents describing the history of the War Library, begun by Helen Mary Gaskell in 1914, exposes a gap in the scholarship of war-time reading; generates a new narrative of "how," "when," and "why" books went to war; and foregrounds gender in its analysis of the historiography. The Library of Congress's T. W. Koch discovered Gaskell's ground-breaking work in 1917 and reported its successes to the American Library Association. The British Times also covered Gaskell's library, yet researchers working on reading during the war have routinely neglected her distinct model and method, skewing the research base on war-time reading and its association with trauma and caregiving. In the article's second half, a literary case study of a popular war novel demonstrates the extent of the "bitter cry for books." The success of Gaskell's intervention is examined alongside H. G. Wells's representation of textual healing. Reading is shown to offer sick, traumatized and recovering combatants emotional and psychological caregiving in ways that she could not always have predicted and that are not visible in the literary/historical record

Development of Thalamocortical Connectivity during Infancy and Its Cognitive Correlations

Although commonly viewed as a sensory information relay center, the thalamus has been increasingly recognized as an essential node in various higher-order cognitive circuits, and the underlying thalamocortical interaction mechanism has attracted increasing scientific interest. However, the development of thalamocortical connections and how such development relates to cognitive processes during the earliest stages of life remain largely unknown. Leveraging a large human pediatric sample (N = 143) with longitudinal resting-state fMRI scans and cognitive data collected during the first 2 years of life, we aimed to characterize the age-dependent development of thalamocortical connectivity patterns by examining the functional relationship between the thalamus and nine cortical functional networks and determine the correlation between thalamocortical connectivity and cognitive performance at ages 1 and 2 years. Our results revealed that the thalamus–sensorimotor and thalamus–salience connectivity networks were already present in neonates, whereas the thalamus–medial visual and thalamus–default mode network connectivity emerged later, at 1 year of age. More importantly, brain–behavior analyses based on the Mullen Early Learning Composite Score and visual–spatial working memory performance measured at 1 and 2 years of age highlighted significant correlations with the thalamus–salience network connectivity. These results provide new insights into the understudied early functional brain development process and shed light on the behavioral importance of the emerging thalamocortical connectivity during infancy

Effects of rapid prey evolution on predator-prey cycles

We study the qualitative properties of population cycles in a predator-prey system where genetic variability allows contemporary rapid evolution of the prey. Previous numerical studies have found that prey evolution in response to changing predation risk can have major quantitative and qualitative effects on predator-prey cycles, including: (i) large increases in cycle period, (ii) changes in phase relations (so that predator and prey are cycling exactly out of phase, rather than the classical quarter-period phase lag), and (iii) "cryptic" cycles in which total prey density remains nearly constant while predator density and prey traits cycle. Here we focus on a chemostat model motivated by our experimental system [Fussmann et al. 2000,Yoshida et al. 2003] with algae (prey) and rotifers (predators), in which the prey exhibit rapid evolution in their level of defense against predation. We show that the effects of rapid prey evolution are robust and general, and furthermore that they occur in a specific but biologically relevant region of parameter space: when traits that greatly reduce predation risk are relatively cheap (in terms of reductions in other fitness components), when there is coexistence between the two prey types and the predator, and when the interaction between predators and undefended prey alone would produce cycles. Because defense has been shown to be inexpensive, even cost-free, in a number of systems [Andersson and Levin 1999, Gagneux et al. 2006,Yoshida et al. 2004], our discoveries may well be reproduced in other model systems, and in nature. Finally, some of our key results are extended to a general model in which functional forms for the predation rate and prey birth rate are not specified.Comment: 35 pages, 8 figure

Better working memory for non-social targets in infant siblings of children with Autism Spectrum Disorder

We compared working memory (WM) for location of social vs. non-social targets in infant siblings of children with Autism Spectrum Disorders (sibs-ASD, n=25) and typically developing children (sibs-TD, n=30) at 6.5 and 9 months of age. There was a significant interaction of risk group and target-type on WM, in which the sibs-ASD had better WM for non-social targets as compared to controls. There was no group by stimulus interaction on two non-memory measures. The results suggest that the increased competency of sibs-ASD in WM (creating, updating, and using transient representations) for non-social stimuli distinguishes them from sibs-TD by 9 months of age. This early emerging strength is discussed as a developmental pathway that may have implications for social attention and learning in children at risk for ASD

Environmental and Organismal Predictors of Intraspecific Variation in the Stoichiometry of a Neotropical Freshwater Fish

The elemental composition of animals, or their organismal stoichiometry, is thought to constrain their contribution to nutrient recycling, their interactions with other animals, and their demographic rates. Factors that affect organismal stoichiometry are generally poorly understood, but likely reflect elemental investments in morphological features and life history traits, acting in concert with the environmental availability of elements. We assessed the relative contribution of organismal traits and environmental variability to the stoichiometry of an insectivorous Neotropical stream fish, Rivulus hartii. We characterized the influence of body size, life history phenotype, stage of maturity, and environmental variability on organismal stoichiometry in 6 streams that differ in a broad suite of environmental variables. The elemental composition of R. hartii was variable, and overlapped with the wide range of elemental composition documented across freshwater fish taxa. Average %P composition was ∼3.2%(±0.6), average %N∼10.7%(±0.9), and average %C∼41.7%(±3.1). Streams were the strongest predictor of organismal stoichiometry, and explained up to 18% of the overall variance. This effect appeared to be largely explained by variability in quality of basal resources such as epilithon N∶P and benthic organic matter C∶N, along with variability in invertebrate standing stocks, an important food source for R. hartii. Organismal traits were weak predictors of organismal stoichiometry in this species, explaining when combined up to 7% of the overall variance in stoichiometry. Body size was significantly and positively correlated with %P, and negatively with N∶P, and C∶P, and life history phenotype was significantly correlated with %C, %P, C∶P and C∶N. Our study suggests that spatial variability in elemental availability is more strongly correlated with organismal stoichiometry than organismal traits, and suggests that the stoichiometry of carnivores may not be completely buffered from environmental variability. We discuss the relevance of these findings to ecological stoichiometry theory

Viral Networks: Connecting Digital Humanities and Medical History

This volume of original essays explores the power of network thinking and analysis for humanities research. Contributing authors are all scholars whose research focuses on a medical history topic—from the Black Death in fourteenth-century Provence to psychiatric hospitals in twentieth-century Alabama. The chapters take readers through a variety of situations in which scholars must determine if network analysis is right for their research; and, if the answer is yes, what the possibilities are for implementation. Along the way, readers will find practical tips on identifying an appropriate network to analyze, finding the best way to apply network analysis, and choosing the right tools for data visualization. All the chapters in this volume grew out of the 2018 Viral Networks workshop, hosted by the History of Medicine Division of the National Library of Medicine (NIH), funded by the Office of Digital Humanities of the National Endowment for the Humanities, and organized by Virginia Tech