Full security of quantum key distribution from no-signaling constraints

We analyze a cryptographic protocol for generating a distributed secret key from correlations that violate a Bell inequality by a sufficient amount, and prove its security against eavesdroppers, constrained only by the assumption that any information accessible to them must be compatible with the non-signaling principle. The claim holds with respect to the state-of-the-art security definition used in cryptography, known as universally-composable security. The non-signaling assumption only refers to the statistics of measurement outcomes depending on the choices of measurements; hence security is independent of the internal workings of the devices --- they do not even need to follow the laws of quantum theory. This is relevant for practice as a correct and complete modeling of realistic devices is generally impossible. The techniques developed are general and can be applied to other Bell inequality-based protocols. In particular, we provide a scheme for estimating Bell-inequality violations when the samples are not independent and identically distributed.Comment: 15 pages, 2 figur

Elevated blood pressure, heart rate and body temperature in mice lacking the XL alpha s protein of the Gnas locus is due to increased sympathetic tone

NEW FINDINGS: What is the central question of this study? Previously, we showed that Gnasxl knock-out mice are lean and hypermetabolic, with increased sympathetic stimulation of adipose tissue. Do these mice also display elevated sympathetic cardiovascular tone? Is the brain glucagon-like peptide-1 system involved? What is the main finding and its importance? Gnasxl knock-outs have increased blood pressure, heart rate and body temperature. Heart rate variability analysis suggests an elevated sympathetic tone. The sympatholytic reserpine had stronger effects on blood pressure, heart rate and heart rate variability in knock-out compared with wild-type mice. Stimulation of the glucagon-like peptide-1 system inhibited parasympathetic tone to a similar extent in both genotypes, with a stronger associated increase in heart rate in knock-outs. Deficiency of Gnasxl increases sympathetic cardiovascular tone. Imbalances of energy homeostasis are often associated with cardiovascular complications. Previous work has shown that Gnasxl-deficient mice have a lean and hypermetabolic phenotype, with increased sympathetic stimulation of adipose tissue. The Gnasxl transcript from the imprinted Gnas locus encodes the trimeric G-protein subunit XLαs, which is expressed in brain regions that regulate energy homeostasis and sympathetic nervous system (SNS) activity. To determine whether Gnasxl knock-out (KO) mice display additional SNS-related phenotypes, we have now investigated the cardiovascular system. The Gnasxl KO mice were ∼20 mmHg hypertensive in comparison to wild-type (WT) littermates (P≤ 0.05) and hypersensitive to the sympatholytic drug reserpine. Using telemetry, we detected an increased waking heart rate in conscious KOs (630 ± 10 versus 584 ± 12 beats min(−1), KO versus WT, P≤ 0.05). Body temperature was also elevated (38.1 ± 0.3 versus 36.9 ± 0.4°C, KO versus WT, P≤ 0.05). To investigate autonomic nervous system influences, we used heart rate variability analyses. We empirically defined frequency power bands using atropine and reserpine and verified high-frequency (HF) power and low-frequency (LF) LF/HF power ratio to be indicators of parasympathetic and sympathetic activity, respectively. The LF/HF power ratio was greater in KOs and more sensitive to reserpine than in WTs, consistent with elevated SNS activity. In contrast, atropine and exendin-4, a centrally acting agonist of the glucagon-like peptide-1 receptor, which influences cardiovascular physiology and metabolism, reduced HF power equally in both genotypes. This was associated with a greater increase in heart rate in KOs. Mild stress had a blunted effect on the LF/HF ratio in KOs consistent with elevated basal sympathetic activity. We conclude that XLαs is required for the inhibition of sympathetic outflow towards cardiovascular and metabolically relevant tissues

Evaluation of preferences of women and healthcare professionals in Singapore for implementation of noninvasive prenatal testing for Down syndrome

INTRODUCTION: Invasive prenatal diagnosis (IPD) has long been used to prenatally diagnose Down syndrome (DS), but is associated with a small risk of miscarriage. Meanwhile, noninvasive prenatal testing (NIPT) is a highly sensitive screening test using cell-free DNA in maternal blood for detection of DS that removes the risk of miscarriage, but confers a small risk of false-positive and false-negative results. Their implementations into clinical practice require an understanding of stakeholder preferences. METHODS: A total of 69 health professionals (HPs) and 301 women took part in a discrete choice experiment (DCE) in which preferences for four prenatal test attributes (accuracy, time of results, risk of miscarriage and amount of information provided) were assessed, and conditional logit regression was used to analyse data. Data on demographics and ranked preferences for test attributes were collected, and a direct choice between NIPT, IPD or neither test was given. RESULTS: Women showed a preference for test safety, whereas HPs prioritised test accuracy above all other attributes. When offered a direct choice between NIPT, IPD or neither test, women aged over 35 years, those with previous miscarriage or who knew a child with DS were more likely to choose NIPT than IPD. Chinese women preferred NIPT whereas Indian women preferred IPD. CONCLUSION: Our data highlight the need for patient-specific counselling, taking into account previous experiences and cultural factors. Since women and HPs prioritise different test attributes, it is essential that HPs recognise these differences in order to provide non-biased counselling

Contextuality and nonlocality in 'no signaling' theories

We define a family of 'no signaling' bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of the `no signaling' polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in 'no signaling' theories.Comment: 22 pages. Changes to Introduction and final Commentary section. Added two tables, one to Section 5, and some new reference

Device-independent quantum key distribution secure against collective attacks

Device-independent quantum key distribution (DIQKD) represents a relaxation of the security assumptions made in usual quantum key distribution (QKD). As in usual QKD, the security of DIQKD follows from the laws of quantum physics, but contrary to usual QKD, it does not rely on any assumptions about the internal working of the quantum devices used in the protocol. We present here in detail the security proof for a DIQKD protocol introduced in [Phys. Rev. Lett. 98, 230501 (2008)]. This proof exploits the full structure of quantum theory (as opposed to other proofs that exploit the no-signalling principle only), but only holds again collective attacks, where the eavesdropper is assumed to act on the quantum systems of the honest parties independently and identically at each round of the protocol (although she can act coherently on her systems at any time). The security of any DIQKD protocol necessarily relies on the violation of a Bell inequality. We discuss the issue of loopholes in Bell experiments in this context.Comment: 25 pages, 3 figure

Improving the cost-effectiveness of visual devices for the control of Riverine tsetse flies, the major vectors of Human African Trypanosomiasis

Control of the Riverine (Palpalis) group of tsetse flies is normally achieved with stationary artificial devices such as traps or insecticide-treated targets. The efficiency of biconical traps (the standard control device), 161 m black targets and small 25625 cm targets with flanking nets was compared using electrocuting sampling methods. The work was done on Glossina tachinoides and G. palpalis gambiensis (Burkina Faso), G. fuscipes quanzensis (Democratic Republic of Congo), G. f. martinii (Tanzania) and G. f. fuscipes (Kenya). The killing effectiveness (measured as the catch per m2 of cloth) for small targets plus flanking nets is 5.5–15X greater than for 1 m2 targets and 8.6–37.5X greater than for biconical traps. This has important implications for the costs of control of the Riverine group of tsetse vectors of sleeping sickness

Differential adherence and expression of virulence traits by Candida albicans and Candida parapsilosis in mono- and dual-species cultures in artificial saliva

AIMS: To evaluate specific virulence factors of Candida albicans and Candida parapsilosis clinical oral isolates in mono- and dual-species culture in the presence of artificial saliva. METHODS AND RESULTS: Two of the strains used in this study were isolated from co-infection (C. albicans AM and C. parapsilosis AM2), and the other two were isolated from single infection (C. albicans AC and C. parapsilosis AD). The number of adhered yeast cells was measured and their enzymatic activity was determined simultaneously. In mono-species culture, C. parapsilosis strains adhered to a higher extent to the surface in comparison with the C. albicans strains. In dual-species culture, the C. parapsilosis strains adhered more in the presence of C. albicans AM. Interestingly, C. albicans AM and C. parapsilosis AD adhered to a higher extent when compared with all other co-cultures. In dual-species culture, the enzymatic activity of C. parapsilosis strains in the presence of C. albicans AC was higher than in the presence of C. albicans AM. CONCLUSIONS: The virulence factors of C. albicans and C. parapsilosis differ from strain to strain and are influenced by the presence of other species in culture. SIGNIFICANCE AND IMPACT OF THE STUDY: To understand the expression of virulence factors in Candida dual-species systems.This work was supported by Portuguese Foundation for Science and Technology (FCT) through the grant SFRH/BPD/20987/2004 attributed to Claudia Botelho

Measuring Measurement: Theory and Practice

Recent efforts have applied quantum tomography techniques to the calibration and characterization of complex quantum detectors using minimal assumptions. In this work we provide detail and insight concerning the formalism, the experimental and theoretical challenges and the scope of these tomographical tools. Our focus is on the detection of photons with avalanche photodiodes and photon number resolving detectors and our approach is to fully characterize the quantum operators describing these detectors with a minimal set of well specified assumptions. The formalism is completely general and can be applied to a wide range of detectorsComment: 22 pages, 27 figure

Why do women invest in pre-pregnancy health and care? A qualitative investigation with women attending maternity services

Background Despite the importance attributed to good pre-pregnancy care and its potential to improve pregnancy and child health outcomes, relatively little is known about why women invest in pre-pregnancy health and care. We sought to gain insight into why women invested in pre-pregnancy health and care. Methods We carried out 20 qualitative in-depth interviews with pregnant or recently pregnant women who were drawn from a survey of antenatal clinic attendees in London, UK. Interviewees were purposively sampled to include high and low investors in pre-pregnancy health and care, with variation in age, partnership status, ethnicity and pre-existing medical conditions. Data analysis was conducted using the Framework method. Results We identified three groups in relation to pre-pregnancy health and care: 1) The “prepared” group, who had high levels of pregnancy planning and mostly positive attitudes to micronutrient supplementation outside of pregnancy, carried out pre-pregnancy activities such as taking folic acid and making changes to diet and lifestyle. 2) The “poor knowledge” group, who also had high levels of pregnancy planning, did not carry out pre-pregnancy activities and described themselves as having poor knowledge. Elsewhere in their interviews they expressed a strong dislike of micronutrient supplementation. 3) The “absent pre-pregnancy period” group, had the lowest levels of pregnancy planning and also expressed anti-supplement views. Even discussing the pre-pregnancy period with this group was difficult as responses to questions quickly shifted to focus on pregnancy itself. Knowledge of folic acid was poor in all groups. Conclusion Different pre-pregnancy care approaches are likely to be needed for each of the groups. Among the “prepared” group, who were proactive and receptive to health messages, greater availability of information and better response from health professionals could improve the range of pre-pregnancy activities carried out. Among the “poor knowledge” group, better response from health professionals might yield greater uptake of pre-pregnancy information. A different, general health strategy might be more appropriate for the “absent pre-pregnancy period” group. The fact that general attitudes to micronutrient supplementation were closely related to whether or not women invested in pre-pregnancy health and care was an unanticipated finding and warrants further investigation.This report is independent research commissioned and funded by the Department of Health Policy Research Programme Pre-Pregnancy Health and Care in England: Exploring Implementation and Public Health Impact, 006/0068

Susceptibility to tuberculosis is associated with variants in the ASAP1 gene encoding a regulator of dendritic cell migration

Human genetic factors predispose to tuberculosis (TB). We studied 7.6 million genetic variants in 5,530 people with pulmonary TB and in 5,607 healthy controls. In the combined analysis of these subjects and the follow-up cohort (15,087 TB patients and controls altogether), we found an association between TB and variants located in introns of the ASAP1 gene on chromosome 8q24 (P = 2.6 × 10−11 for rs4733781; P = 1.0 × 10−10 for rs10956514). Dendritic cells (DCs) showed high ASAP1 expression that was reduced after Mycobacterium tuberculosis infection, and rs10956514 was associated with the level of reduction of ASAP1 expression. The ASAP1 protein is involved in actin and membrane remodeling and has been associated with podosomes. The ASAP1-depleted DCs showed impaired matrix degradation and migration. Therefore, genetically determined excessive reduction of ASAP1 expression in M. tuberculosis–infected DCs may lead to their impaired migration, suggesting a potential mechanism of predisposition to TB