On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi

Approximate min-max relations on plane graphs

Let G be a plane graph, let τ(G) (resp. τ′(G)) be the minimum number of vertices (resp. edges) that meet all cycles of G, and let ν(G) (resp. ν′(G)) be the maximum number of vertex-disjoint (resp. edge-disjoint) cycles in G. In this note we show that τ(G)≤3 ν(G) and τ′(G)≤4 ν′(G)-1; our proofs are constructive, which yield polynomial-time algorithms for finding corresponding objects with the desired properties. © 2011 The Author(s).published_or_final_versionSpringer Open Choice, 28 May 201

Quantum Non-demolition Detection of Single Microwave Photons in a Circuit

Thorough control of quantum measurement is key to the development of quantum information technologies. Many measurements are destructive, removing more information from the system than they obtain. Quantum non-demolition (QND) measurements allow repeated measurements that give the same eigenvalue. They could be used for several quantum information processing tasks such as error correction, preparation by measurement, and one-way quantum computing. Achieving QND measurements of photons is especially challenging because the detector must be completely transparent to the photons while still acquiring information about them. Recent progress in manipulating microwave photons in superconducting circuits has increased demand for a QND detector which operates in the gigahertz frequency range. Here we demonstrate a QND detection scheme which measures the number of photons inside a high quality-factor microwave cavity on a chip. This scheme maps a photon number onto a qubit state in a single-shot via qubit-photon logic gates. We verify the operation of the device by analyzing the average correlations of repeated measurements, and show that it is 90% QND. It differs from previously reported detectors because its sensitivity is strongly selective to chosen photon number states. This scheme could be used to monitor the state of a photon-based memory in a quantum computer.Comment: 5 pages, 4 figures, includes supplementary materia

Simple model of big-crunch/big-bang transition

We present classical and quantum dynamics of a test particle in the compactified Milne space. Background spacetime includes one compact space dimension undergoing contraction to a point followed by expansion. Quantization consists in finding a self-adjoint representation of the algebra of particle observables. Our model offers some insight into the nature of the cosmic singularity.Comment: 17 pages, no figures, RevTeX4, accepted for publication in Class. Quantum Gra

Preparation and Measurement of Three-Qubit Entanglement in a Superconducting Circuit

Traditionally, quantum entanglement has played a central role in foundational discussions of quantum mechanics. The measurement of correlations between entangled particles can exhibit results at odds with classical behavior. These discrepancies increase exponentially with the number of entangled particles. When entanglement is extended from just two quantum bits (qubits) to three, the incompatibilities between classical and quantum correlation properties can change from a violation of inequalities involving statistical averages to sign differences in deterministic observations. With the ample confirmation of quantum mechanical predictions by experiments, entanglement has evolved from a philosophical conundrum to a key resource for quantum-based technologies, like quantum cryptography and computation. In particular, maximal entanglement of more than two qubits is crucial to the implementation of quantum error correction protocols. While entanglement of up to 3, 5, and 8 qubits has been demonstrated among spins, photons, and ions, respectively, entanglement in engineered solid-state systems has been limited to two qubits. Here, we demonstrate three-qubit entanglement in a superconducting circuit, creating Greenberger-Horne-Zeilinger (GHZ) states with fidelity of 88%, measured with quantum state tomography. Several entanglement witnesses show violation of bi-separable bounds by 830\pm80%. Our entangling sequence realizes the first step of basic quantum error correction, namely the encoding of a logical qubit into a manifold of GHZ-like states using a repetition code. The integration of encoding, decoding and error-correcting steps in a feedback loop will be the next milestone for quantum computing with integrated circuits.Comment: 7 pages, 4 figures, and Supplementary Information (4 figures)

Clinical biological and genetic heterogeneity of the inborn errors of pulmonary surfactant metabolism

Pulmonary surfactant is a multimolecular complex located at the air-water interface within the alveolus to which a range of physical (surface-active properties) and immune functions has been assigned. This complex consists of a surface-active lipid layer (consisting mainly of phospholipids), and of an aqueous subphase. From discrete surfactant sub-fractions one can isolate strongly hydrophobic surf acta nt proteins B (SP-B) and C (SP-C) as well as collectins SP-A and SP-D, which were shown to have specific structural, metabolic, or immune properties. Inborn or acquired abnormalities of the surfactant, qualitative or quantitative in nature, account for a number of human diseases. Beside hyaline membrane disease of the preterm neonate, a cluster of hereditary or acquired lung diseases has been characterized by periodic acid-Schiff-positive material filling the alveoli. From this heterogeneous nosologic group, at least two discrete entities presently emerge. The first is the SP-B deficiency, in which an essentially proteinaceous material is stored within the alveoli, and which represents an autosomal recessive Mendelian entity linked to the SFTPB gene (MIM 1786640). The disease usually generally entails neonatal respiratory distress with rapid fatal outcome, although partial or transient deficiencies have also been observed. The second is alveolar proteinosis, characterized by the storage of a mixed protein and lipid material, which constitutes a relatively heterogeneous clinical and biological syndrome, especially with regard to age at onset (from the neonate through to adulthood) as well as the severity of associated signs. Murine models, with a targeted mutation of the gene encoding granulocyte macrophage colony-stimulating factor (GM-CSF) (Csfgm) or the beta subunit of its receptor (II3rb1) support the hypothesis of an abnormality of surfactant turnover in which the alveolar macrophage is a key player. Apart from SP-B deficiency, in which a near-consensus diagnostic chart can be designed, the ascertainment of other abnormalities of surfactant metabolism is not straightforward. The disentanglement of this disease cluster is however essential to propose specific therapeutic procedures: repeated broncho-alveolar ravages, GM-CSF replacement, bone marrow grafting or lung transplantation

Search algorithms as a framework for the optimization of drug combinations

Combination therapies are often needed for effective clinical outcomes in the management of complex diseases, but presently they are generally based on empirical clinical experience. Here we suggest a novel application of search algorithms, originally developed for digital communication, modified to optimize combinations of therapeutic interventions. In biological experiments measuring the restoration of the decline with age in heart function and exercise capacity in Drosophila melanogaster, we found that search algorithms correctly identified optimal combinations of four drugs with only one third of the tests performed in a fully factorial search. In experiments identifying combinations of three doses of up to six drugs for selective killing of human cancer cells, search algorithms resulted in a highly significant enrichment of selective combinations compared with random searches. In simulations using a network model of cell death, we found that the search algorithms identified the optimal combinations of 6-9 interventions in 80-90% of tests, compared with 15-30% for an equivalent random search. These findings suggest that modified search algorithms from information theory have the potential to enhance the discovery of novel therapeutic drug combinations. This report also helps to frame a biomedical problem that will benefit from an interdisciplinary effort and suggests a general strategy for its solution.Comment: 36 pages, 10 figures, revised versio

Quantization and spacetime topology

We consider classical and quantum dynamics of a free particle in de Sitter's space-times with different topologies to see what happens to space-time singularities of removable type in quantum theory. We find analytic solution of the classical dynamics. The quantum dynamics is solved by finding an essentially self-adjoint representation of the algebra of observables integrable to the unitary representations of the symmetry group of each considered gravitational system. The dynamics of a massless particle is obtained in the zero-mass limit of the massive case. Our results indicate that taking account of global properties of space-time enables quantization of particle dynamics in all considered cases.Comment: Class. Quantum Grav. 20 (2003) 2491-2507; no figures, RevTeX

Changes in undergraduate student alcohol consumption as they progress through university

BACKGROUND: Unhealthy alcohol use amongst university students is a major public health concern. Although previous studies suggest a raised level of consumption amongst the UK student population there is little consistent information available about the pattern of alcohol consumption as they progress through university. The aim of the current research was to describe drinking patterns of UK full-time undergraduate students as they progress through their degree course. METHOD: Data were collected over three years from 5895 undergraduate students who began their studies in either 2000 or 2001. Longitudinal data (i.e. Years 1–3) were available from 225 students. The remaining 5670 students all responded to at least one of the three surveys (Year 1 n = 2843; Year 2 n = 2219; Year 3 n = 1805). Results: Students reported consuming significantly more units of alcohol per week at Year 1 than at Years 2 or 3 of their degree. Male students reported a higher consumption of units of alcohol than their female peers. When alcohol intake was classified using the Royal College of Physicians guidelines [1] there was no difference between male and females students in terms of the percentage exceeding recommended limits. Compared to those who were low level consumers students who reported drinking above low levels at Year 1 had at least 10 times the odds of continuing to consume above low levels at year 3. Students who reported higher levels of drinking were more likely to report that alcohol had a negative impact on their studies, finances and physical health. Consistent with the reduction in units over time students reported lower levels of negative impact during Year 3 when compared to Year 1. CONCLUSION: The current findings suggest that student alcohol consumption declines over their undergraduate studies; however weekly levels of consumption at Year 3 remain high for a substantial number of students. The persistence of high levels of consumption in a large population of students suggests the need for effective preventative and treatment interventions for all year groups