Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Extremely high He isotope ratios in MORB-source mantle from the proto-Iceland plume

The high <sup>3</sup>He/<sup>4</sup>He ratio of volcanic rocks thought to be derived from mantle plumes is taken as evidence for the existence of a mantle reservoir that has remained largely undegassed since the Earth's accretion. The helium isotope composition of this reservoir places constraints on the origin of volatiles within the Earth and on the evolution and structure of the Earth's mantle. Here we show that olivine phenocrysts in picritic basalts presumably derived from the proto-Iceland plume at Baffin Island, Canada, have the highest magmatic <sup>3</sup>He/<sup>4</sup>He ratios yet recorded. A strong correlation between <sup>3</sup>He/<sup>4</sup>He and <sup>87</sup>Sr/<sup>86</sup>Sr, <sup>143</sup>Nd/<sup>144</sup>Nd and trace element ratios demonstrate that the <sup>3</sup>He-rich end-member is present in basalts that are derived from large-volume melts of depleted upper-mantle rocks. This reservoir is consistent with the recharging of depleted upper-mantle rocks by small volumes of primordial volatile-rich lower-mantle material at a thermal boundary layer between convectively isolated reservoirs. The highest <sup>3</sup>He/<sup>4</sup>He basalts from Hawaii and Iceland plot on the observed mixing trend. This indicates that a <sup>3</sup>He-recharged depleted mantle (HRDM) reservoir may be the principal source of high <sup>3</sup>He/<sup>4</sup>He in mantle plumes, and may explain why the helium concentration of the 'plume' component in ocean island basalts is lower than that predicted for a two-layer, steady-state model of mantle structure

Tight Finite-Key Analysis for Quantum Cryptography

Despite enormous progress both in theoretical and experimental quantum cryptography, the security of most current implementations of quantum key distribution is still not established rigorously. One of the main problems is that the security of the final key is highly dependent on the number, M, of signals exchanged between the legitimate parties. While, in any practical implementation, M is limited by the available resources, existing security proofs are often only valid asymptotically for unrealistically large values of M. Here, we demonstrate that this gap between theory and practice can be overcome using a recently developed proof technique based on the uncertainty relation for smooth entropies. Specifically, we consider a family of Bennett-Brassard 1984 quantum key distribution protocols and show that security against general attacks can be guaranteed already for moderate values of M.Comment: 11 pages, 2 figure

Integrative analyses identify modulators of response to neoadjuvant aromatase inhibitors in patients with early breast cancer

Introduction Aromatase inhibitors (AIs) are a vital component of estrogen receptor positive (ER+) breast cancer treatment. De novo and acquired resistance, however, is common. The aims of this study were to relate patterns of copy number aberrations to molecular and proliferative response to AIs, to study differences in the patterns of copy number aberrations between breast cancer samples pre- and post-AI neoadjuvant therapy, and to identify putative biomarkers for resistance to neoadjuvant AI therapy using an integrative analysis approach. Methods Samples from 84 patients derived from two neoadjuvant AI therapy trials were subjected to copy number profiling by microarray-based comparative genomic hybridisation (aCGH, n = 84), gene expression profiling (n = 47), matched pre- and post-AI aCGH (n = 19 pairs) and Ki67-based AI-response analysis (n = 39). Results Integrative analysis of these datasets identified a set of nine genes that, when amplified, were associated with a poor response to AIs, and were significantly overexpressed when amplified, including CHKA, LRP5 and SAPS3. Functional validation in vitro, using cell lines with and without amplification of these genes (SUM44, MDA-MB134-VI, T47D and MCF7) and a model of acquired AI-resistance (MCF7-LTED) identified CHKA as a gene that when amplified modulates estrogen receptor (ER)-driven proliferation, ER/estrogen response element (ERE) transactivation, expression of ER-regulated genes and phosphorylation of V-AKT murine thymoma viral oncogene homolog 1 (AKT1). Conclusions These data provide a rationale for investigation of the role of CHKA in further models of de novo and acquired resistance to AIs, and provide proof of concept that integrative genomic analyses can identify biologically relevant modulators of AI response

To what extent do site-based training, mentoring, and operational research improve district health system management and leadership in low- and middle-income countries: a systematic review protocol

District health managers play a key role in the effectiveness of decentralized health systems in low- and middle-income countries. Inadequate management and leadership skills often hamper their ability to improve quality of care and effectiveness of health service delivery. Nevertheless, significant investments have been made in capacity-building programmes based on site-based training, mentoring, and operational research. This systematic review aims to review the effectiveness of site-based training, mentoring, and operational research (or action research) on the improvement of district health system management and leadership. Our secondary objectives are to assess whether variations in composition or intensity of the intervention influence its effectiveness and to identify enabling and constraining contexts and underlying mechanisms

Motion in classical field theories and the foundations of the self-force problem

This article serves as a pedagogical introduction to the problem of motion in classical field theories. The primary focus is on self-interaction: How does an object's own field affect its motion? General laws governing the self-force and self-torque are derived using simple, non-perturbative arguments. The relevant concepts are developed gradually by considering motion in a series of increasingly complicated theories. Newtonian gravity is discussed first, then Klein-Gordon theory, electromagnetism, and finally general relativity. Linear and angular momenta as well as centers of mass are defined in each of these cases. Multipole expansions for the force and torque are then derived to all orders for arbitrarily self-interacting extended objects. These expansions are found to be structurally identical to the laws of motion satisfied by extended test bodies, except that all relevant fields are replaced by effective versions which exclude the self-fields in a particular sense. Regularization methods traditionally associated with self-interacting point particles arise as straightforward perturbative limits of these (more fundamental) results. Additionally, generic mechanisms are discussed which dynamically shift --- i.e., renormalize --- the apparent multipole moments associated with self-interacting extended bodies. Although this is primarily a synthesis of earlier work, several new results and interpretations are included as well.Comment: 68 pages, 1 figur

Family violence, war, and natural disasters: A study of the effect of extreme stress on children's mental health in Sri Lanka

Catani C, Jacob N, Schauer E, Kohila M, Neuner F. Family violence, war, and natural disasters: a study of the effect of extreme stress on children's mental health in Sri Lanka. BMC Psychiatry. 2008;8(1): 33.BACKGROUND: The consequences of war violence and natural disasters on the mental health of children as well as on family dynamics remain poorly understood. Aim of the present investigation was to establish the prevalence and predictors of traumatic stress related to war, family violence and the recent Tsunami experience in children living in a region affected by a long-lasting violent conflict. In addition, the study looked at whether higher levels of war violence would be related to higher levels of violence within the family and whether this would result in higher rates of psychological problems in the affected children. METHODS: 296 Tamil school children in Sri Lanka's North-Eastern provinces were randomly selected for the survey. Diagnostic interviews were carried out by extensively trained local Master level counselors. PTSD symptoms were established by means of a validated Tamil version of the UCLA PTSD Index. Additionally, participants completed a detailed checklist of event types related to organized and family violence. RESULTS: 82.4% of the children had experienced at least one war-related event. 95.6% reported at least one aversive experience out of the family violence spectrum. The consequences are reflected in a 30.4% PTSD and a 19.6% Major Depression prevalence. Linear regression analyses showed that fathers' alcohol intake and previous exposure to war were significantly linked to the amount of maltreatment reported by the child. A clear dose-effect relationship between exposure to various stressful experiences and PTSD was found in the examined children. CONCLUSION: Data argue for a relationship between war violence and violent behavior inflicted on children in their families. Both of these factors, together with the experience of the recent Tsunami, resulted as significant predictors of PTSD in children, thus highlighting the detrimental effect that the experience of cumulative stress can have on children's mental health

Heterologous production of curcuminoids

Curcuminoids, components of the rhizome of turmeric, show several beneficial biological activities, including anticarcinogenic, antioxidant, anti-inflammatory, and antitumor activities. Despite their numerous pharmaceutically important properties, the low natural abundance of curcuminoids represents a major drawback for their use as therapeutic agents. Therefore, they represent attractive targets for heterologous production and metabolic engineering. The understanding of biosynthesis of curcuminoids in turmeric made remarkable advances in the last decade, and as a result, several efforts to produce them in heterologous organisms have been reported. The artificial biosynthetic pathway (e.g., in Escherichia coli) can start with the supplementation of the amino acid tyrosine or phenylalanine or of carboxylic acids and lead to the production of several natural curcuminoids. Unnatural carboxylic acids can also be supplemented as precursors and lead to the production of unnatural compounds with possibly novel therapeutic properties. In this paper, we review the natural conversion of curcuminoids in turmeric and their production by E. coli using an artificial biosynthetic pathway. We also explore the potential of other enzymes discovered recently or already used in other similar biosynthetic pathways, such as flavonoids and stilbenoids, to increase curcuminoid yield and activity.We acknowledge financial support from the Strategic Project PEst-OE/EQB/LA0023/2013, project reference RECI/BBB-EBI/0179/2012 (project number FCOMP-01-0124-FEDER-027462), project SYNBIOBACTHER (PTDC/EBB-BIO/102863/2008), and a doctoral grant (SFRH/BD/51187/ 2010) to J. L. Rodrigues, funded by Fundacao para a Ciencia e a Tecnologia. We thank the MIT-Portugal Program for support given to J. L. Rodrigues