Entropy on Spin Factors

Recently it has been demonstrated that the Shannon entropy or the von Neuman entropy are the only entropy functions that generate a local Bregman divergences as long as the state space has rank 3 or higher. In this paper we will study the properties of Bregman divergences for convex bodies of rank 2. The two most important convex bodies of rank 2 can be identified with the bit and the qubit. We demonstrate that if a convex body of rank 2 has a Bregman divergence that satisfies sufficiency then the convex body is spectral and if the Bregman divergence is monotone then the convex body has the shape of a ball. A ball can be represented as the state space of a spin factor, which is the most simple type of Jordan algebra. We also study the existence of recovery maps for Bregman divergences on spin factors. In general the convex bodies of rank 2 appear as faces of state spaces of higher rank. Therefore our results give strong restrictions on which convex bodies could be the state space of a physical system with a well-behaved entropy function.Comment: 30 pages, 6 figure

Regional climate-model performance in Greenland firn derived from in situ observations

Recent record-warm summers in Greenland (Khan et al. 2015) have started affecting the higher regions of the ice sheet (i.e. the accumulation area), where increased melt has altered the properties of firn (i.e. multi-year snow). At high altitudes, meltwater percolates in the porous snow and firn, where it refreezes. The result is mass conservation, as the refrozen meltwater is essentially stored (Harper et al. 2012). However, in some regions increased meltwater refreezing in shallow firn has created thick ice layers. These ice layers act as a lid, and can inhibit meltwater percolation to greater depths, causing it to run off instead (Machguth et al. 2016). Meltwater at the surface also results in more absorbed sunlight, and hence increased melt in the accumulation area (Charalampidis et al. 2015). These relatively poorly understood processes are important for ice-sheet mass-budget projections

Measuring Metacognition in Cancer: Validation of the Metacognitions Questionnaire 30 (MCQ-30)

Objective The Metacognitions Questionnaire 30 assesses metacognitive beliefs and processes which are central to the metacognitive model of emotional disorder. As recent studies have begun to explore the utility of this model for understanding emotional distress after cancer diagnosis, it is important also to assess the validity of the Metacognitions Questionnaire 30 for use in cancer populations. Methods 229 patients with primary breast or prostate cancer completed the Metacognitions Questionnaire 30 and the Hospital Anxiety and Depression Scale pre-treatment and again 12 months later. The structure and validity of the Metacognitions Questionnaire 30 were assessed using factor analyses and structural equation modelling. Results Confirmatory and exploratory factor analyses provided evidence supporting the validity of the previously published 5-factor structure of the Metacognitions Questionnaire 30. Specifically, both pre-treatment and 12 months later, this solution provided the best fit to the data and all items loaded on their expected factors. Structural equation modelling indicated that two dimensions of metacognition (positive and negative beliefs about worry) were significantly associated with anxiety and depression as predicted, providing further evidence of validity. Conclusions These findings provide initial evidence that the Metacognitions Questionnaire 30 is a valid measure for use in cancer populations

Ascaroside Expression in Caenorhabditis elegans Is Strongly Dependent on Diet and Developmental Stage

Background: The ascarosides form a family of small molecules that have been isolated from cultures of the nematode Caenorhabditis elegans. They are often referred to as “dauer pheromones” because most of them induce formation of long-lived and highly stress resistant dauer larvae. More recent studies have shown that ascarosides serve additional functions as social signals and mating pheromones. Thus, ascarosides have multiple functions. Until now, it has been generally assumed that ascarosides are constitutively expressed during nematode development. Methodology/Principal Findings: Cultures of C. elegans were developmentally synchronized on controlled diets. Ascarosides released into the media, as well as stored internally, were quantified by LC/MS. We found that ascaroside biosynthesis and release were strongly dependent on developmental stage and diet. The male attracting pheromone was verified to be a blend of at least four ascarosides, and peak production of the two most potent mating pheromone components, ascr#3 and asc#8 immediately preceded or coincided with the temporal window for mating. The concentration of ascr#2 increased under starvation conditions and peaked during dauer formation, strongly supporting ascr#2 as the main population density signal (dauer pheromone). After dauer formation, ascaroside production largely ceased and dauer larvae did not release any ascarosides. These findings show that both total ascaroside production and the relative proportions of individual ascarosides strongly correlate with these compounds' stage-specific biological functions. Conclusions/Significance: Ascaroside expression changes with development and environmental conditions. This is consistent with multiple functions of these signaling molecules. Knowledge of such differential regulation will make it possible to associate ascaroside production to gene expression profiles (transcript, protein or enzyme activity) and help to determine genetic pathways that control ascaroside biosynthesis. In conjunction with findings from previous studies, our results show that the pheromone system of C. elegans mimics that of insects in many ways, suggesting that pheromone signaling in C. elegans may exhibit functional homology also at the sensory level. In addition, our results provide a strong foundation for future behavioral modeling studies

Birthweight and risk markers for type 2 diabetes and cardiovascular disease in childhood: the Child Heart and Health Study in England (CHASE).

AIMS/HYPOTHESIS: Lower birthweight (a marker of fetal undernutrition) is associated with higher risks of type 2 diabetes and cardiovascular disease (CVD) and could explain ethnic differences in these diseases. We examined associations between birthweight and risk markers for diabetes and CVD in UK-resident white European, South Asian and black African-Caribbean children. METHODS: In a cross-sectional study of risk markers for diabetes and CVD in 9- to 10-year-old children of different ethnic origins, birthweight was obtained from health records and/or parental recall. Associations between birthweight and risk markers were estimated using multilevel linear regression to account for clustering in children from the same school. RESULTS: Key data were available for 3,744 (66%) singleton study participants. In analyses adjusted for age, sex and ethnicity, birthweight was inversely associated with serum urate and positively associated with systolic BP. After additional height adjustment, lower birthweight (per 100 g) was associated with higher serum urate (0.52%; 95% CI 0.38, 0.66), fasting serum insulin (0.41%; 95% CI 0.08, 0.74), HbA1c (0.04%; 95% CI 0.00, 0.08), plasma glucose (0.06%; 95% CI 0.02, 0.10) and serum triacylglycerol (0.30%; 95% CI 0.09, 0.51) but not with BP or blood cholesterol. Birthweight was lower among children of South Asian (231 g lower; 95% CI 183, 280) and black African-Caribbean origin (81 g lower; 95% CI 30, 132). However, adjustment for birthweight had no effect on ethnic differences in risk markers. CONCLUSIONS/INTERPRETATION: Birthweight was inversely associated with urate and with insulin and glycaemia after adjustment for current height. Lower birthweight does not appear to explain emerging ethnic difference in risk markers for diabetes

Membrane Sigma-Models and Quantization of Non-Geometric Flux Backgrounds

We develop quantization techniques for describing the nonassociative geometry probed by closed strings in flat non-geometric R-flux backgrounds M. Starting from a suitable Courant sigma-model on an open membrane with target space M, regarded as a topological sector of closed string dynamics in R-space, we derive a twisted Poisson sigma-model on the boundary of the membrane whose target space is the cotangent bundle T^*M and whose quasi-Poisson structure coincides with those previously proposed. We argue that from the membrane perspective the path integral over multivalued closed string fields in Q-space is equivalent to integrating over open strings in R-space. The corresponding boundary correlation functions reproduce Kontsevich's deformation quantization formula for the twisted Poisson manifolds. For constant R-flux, we derive closed formulas for the corresponding nonassociative star product and its associator, and compare them with previous proposals for a 3-product of fields on R-space. We develop various versions of the Seiberg-Witten map which relate our nonassociative star products to associative ones and add fluctuations to the R-flux background. We show that the Kontsevich formula coincides with the star product obtained by quantizing the dual of a Lie 2-algebra via convolution in an integrating Lie 2-group associated to the T-dual doubled geometry, and hence clarify the relation to the twisted convolution products for topological nonassociative torus bundles. We further demonstrate how our approach leads to a consistent quantization of Nambu-Poisson 3-brackets.Comment: 52 pages; v2: references adde

Unexpected Consequences: Women’s experiences of a self-hypnosis intervention to help with pain relief during labour.

Background Self-hypnosis is becoming increasingly popular as a means of labour pain management. Previous studies have produced mixed results. There are very few data on women’s views and experiences of using hypnosis in this context. As part of a randomized controlled trial of self-hypnosis for intra-partum pain relief (the SHIP Trial) we conducted qualitative interviews with women randomized to the intervention arm to explore their views and experiences of using self-hypnosis during labour and birth. Methods Participants were randomly selected from the intervention arm of the study, which consisted of two antenatal self-hypnosis training sessions and a supporting CD that women were encouraged to listen to daily from 32 weeks gestation until the birth of their baby. Those who consented were interviewed in their own homes 8-12 weeks after birth. Following transcription, the interviews were analysed iteratively and emerging concepts were discussed amongst the authors to generate organizing themes. These were then used to develop a principal organizing metaphor or global theme, in a process known as thematic networks analysis. Results Of the 343 women in the intervention group, 48 were invited to interview, and 16 were interviewed over a 12 month period from February 2012 to January 2013. Coding of the data and subsequent analysis revealed a global theme of ‘unexpected consequences’, supported by 5 organising themes, ‘calmness in a climate of fear’, ‘from sceptic to believer’, ‘finding my space’, ‘delays and disappointments’ and ‘personal preferences’. Most respondents reported positive experiences of self-hypnosis and highlighted feelings of calmness, confidence and empowerment. They found the intervention to be beneficial and used a range of novel strategies to personalize their self-hypnosis practice. Occasionally women reported feeling frustrated or disappointed when their relaxed state was misinterpreted by midwives on admission or when their labour and birth experiences did not match their expectations. Conclusion The women in this study generally appreciated antenatal self-hypnosis training and found it to be beneficial during labour and birth. The state of focused relaxation experienced by women using the technique needs to be recognized by providers if the intervention is to be implemented into the maternity service

The feasibility of using pedometers and brief advice to increase activity in sedentary older women:a pilot study

Background: People over the age of 70 carry the greatest burden of chronic disease, disability and health care use. Participation in physical activity is crucial for health, and walking accounts for much of the physical activity undertaken by sedentary individuals. Pedometers are a useful motivational tool to encourage increased walking and they are cheap and easy to use. The aim of this pilot study was to evaluate the feasibility of the use of pedometers plus a theory-based intervention to assist sedentary older women to accumulate increasing amounts of physical activity, mainly through walking. Methods: Female participants over the age of 70 were recruited from primary care and randomised to receive either pedometer plus a theory-based intervention or a theory-based intervention alone. The theory-based intervention consisted of motivational techniques, goal-setting, barrier identification and self-monitoring with pedometers and daily diaries. The pedometer group were further randomised to one of three target groups: a 10%, 15% or 20% monthly increase in step count to assess the achievability and acceptability of a range of targets. The primary outcome was change in daily activity levels measured by accelerometry. Secondary outcome measures were lower limb function, health related quality of life, anxiety and depression. Results: 54 participants were recruited into the study, with an average age of 76. There were 9 drop outs, 45 completing the study. All participants in the pedometer group found the pedometers easy to use and there was good compliance with diary keeping (96% in the pedometer group and 83% in the theory-based intervention alone group). There was a strong correlation (0.78) between accelerometry and pedometer step counts i.e. indicating that walking was the main physical activity amongst participants. There was a greater increase in activity (accelerometry) amongst those in the 20% target pedometer group compared to the other groups, although not reaching statistical significance (p = 0.192). Conclusion: We have demonstrated that it is feasible to use pedometers and provide theory-based advice to community dwelling sedentary older women to increase physical activity levels and a larger study is planned to investigate this further.Publisher PDFPeer reviewe

Completeness for a First-order Abstract Separation Logic

Existing work on theorem proving for the assertion language of separation logic (SL) either focuses on abstract semantics which are not readily available in most applications of program verification, or on concrete models for which completeness is not possible. An important element in concrete SL is the points-to predicate which denotes a singleton heap. SL with the points-to predicate has been shown to be non-recursively enumerable. In this paper, we develop a first-order SL, called FOASL, with an abstracted version of the points-to predicate. We prove that FOASL is sound and complete with respect to an abstract semantics, of which the standard SL semantics is an instance. We also show that some reasoning principles involving the points-to predicate can be approximated as FOASL theories, thus allowing our logic to be used for reasoning about concrete program verification problems. We give some example theories that are sound with respect to different variants of separation logics from the literature, including those that are incompatible with Reynolds's semantics. In the experiment we demonstrate our FOASL based theorem prover which is able to handle a large fragment of separation logic with heap semantics as well as non-standard semantics.Comment: This is an extended version of the APLAS 2016 paper with the same titl

Borrelia recurrentis employs a novel multifunctional surface protein with anti-complement, anti-opsonic and invasive potential to escape innate immunity

Borrelia recurrentis, the etiologic agent of louse-borne relapsing fever in humans, has evolved strategies, including antigenic variation, to evade immune defence, thereby causing severe diseases with high mortality rates. Here we identify for the first time a multifunctional surface lipoprotein of B. recurrentis, termed HcpA, and demonstrate that it binds human complement regulators, Factor H, CFHR-1, and simultaneously, the host protease plasminogen. Cell surface bound factor H was found to retain its activity and to confer resistance to complement attack. Moreover, ectopic expression of HcpA in a B. burgdorferi B313 strain, deficient in Factor H binding proteins, protected the transformed spirochetes from complement-mediated killing. Furthermore, HcpA-bound plasminogen/plasmin endows B. recurrentis with the potential to resist opsonization and to degrade extracellular matrix components. Together, the present study underscores the high virulence potential of B. recurrentis. The elucidation of the molecular basis underlying the versatile strategies of B. recurrentis to escape innate immunity and to persist in human tissues, including the brain, may help to understand the pathological processes underlying louse-borne relapsing fever