Many-particle entanglement with Bose--Einstein condensates

We propose a method to produce entangled states of several particles starting from a Bose-Einstein condensate. In the proposal, a single fast $\pi/2$ pulse is applied to the atoms and due to the collisional interaction, the subsequent free time evolution creates an entangled state involving all atoms in the condensate. The created entangled state is a spin-squeezed state which could be used to improve the sensitivity of atomic clocks.Comment: 4 pages. Minor modification

TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Molecular characterisation of the early response in pigs to experimental infection with Actinobacillus pleuropneumoniae using cDNA microarrays

<p>Abstract</p> <p>Background</p> <p>The bacterium <it>Actinobacillus pleuropneumoniae </it>is responsible for porcine pleuropneumonia, a widespread, highly contagious and often fatal respiratory disease of pigs. The general porcine innate immune response after <it>A. pleuropneumoniae </it>infection is still not clarified. The objective of this study was hence to characterise the transcriptional response, measured by using cDNA microarrays, in pigs 24 hours after experimental inoculation with <it>A. pleuropneumoniae</it>.</p> <p>Methods</p> <p>Microarray analyses were conducted to reveal genes being differentially expressed in inflamed versus non-inflamed lung tissue sampled from inoculated animals as well as in liver and tracheobronchial lymph node tissue sampled from three inoculated animals versus two non-inoculated animals. The lung samples were studied using a porcine cDNA microarray with 5375 unique PCR products while liver tissue and tracheobronchial lymph node tissue were hybridised to an expanded version of the porcine microarray with 26879 unique PCR products.</p> <p>Results</p> <p>A total of 357 genes differed significantly in expression between infected and non-infected lung tissue, 713 genes differed in expression in liver tissue from infected versus non-infected animals and 130 genes differed in expression in tracheobronchial lymph node tissue from infected versus non-infected animals. Among these genes, several have previously been described to be part of a general host response to infections encoding immune response related proteins. In inflamed lung tissue, genes encoding immune activating proteins and other pro-inflammatory mediators of the innate immune response were found to be up-regulated. Genes encoding different acute phase reactants were found to be differentially expressed in the liver.</p> <p>Conclusion</p> <p>The obtained results are largely in accordance with previous studies of the mammalian immune response. Furthermore, a number of differentially expressed genes have not previously been associated with infection or are presently unidentified. Determination of their specific roles during infection may lead to a better understanding of innate immunity in pigs. Although additional work including more animals is clearly needed to elucidate host response to porcine pleuropneumonia, the results presented in this study demonstrate three subsets of genes consistently expressed at different levels depending upon infection status.</p

Atom chip based generation of entanglement for quantum metrology

Atom chips provide a versatile `quantum laboratory on a microchip' for experiments with ultracold atomic gases. They have been used in experiments on diverse topics such as low-dimensional quantum gases, cavity quantum electrodynamics, atom-surface interactions, and chip-based atomic clocks and interferometers. A severe limitation of atom chips, however, is that techniques to control atomic interactions and to generate entanglement have not been experimentally available so far. Such techniques enable chip-based studies of entangled many-body systems and are a key prerequisite for atom chip applications in quantum simulations, quantum information processing, and quantum metrology. Here we report experiments where we generate multi-particle entanglement on an atom chip by controlling elastic collisional interactions with a state-dependent potential. We employ this technique to generate spin-squeezed states of a two-component Bose-Einstein condensate and show that they are useful for quantum metrology. The observed 3.7 dB reduction in spin noise combined with the spin coherence imply four-partite entanglement between the condensate atoms and could be used to improve an interferometric measurement by 2.5 dB over the standard quantum limit. Our data show good agreement with a dynamical multi-mode simulation and allow us to reconstruct the Wigner function of the spin-squeezed condensate. The techniques demonstrated here could be directly applied in chip-based atomic clocks which are currently being set up

High-fidelity quantum driving

The ability to accurately control a quantum system is a fundamental requirement in many areas of modern science such as quantum information processing and the coherent manipulation of molecular systems. It is usually necessary to realize these quantum manipulations in the shortest possible time in order to minimize decoherence, and with a large stability against fluctuations of the control parameters. While optimizing a protocol for speed leads to a natural lower bound in the form of the quantum speed limit rooted in the Heisenberg uncertainty principle, stability against parameter variations typically requires adiabatic following of the system. The ultimate goal in quantum control is to prepare a desired state with 100% fidelity. Here we experimentally implement optimal control schemes that achieve nearly perfect fidelity for a two-level quantum system realized with Bose-Einstein condensates in optical lattices. By suitably tailoring the time-dependence of the system's parameters, we transform an initial quantum state into a desired final state through a short-cut protocol reaching the maximum speed compatible with the laws of quantum mechanics. In the opposite limit we implement the recently proposed transitionless superadiabatic protocols, in which the system perfectly follows the instantaneous adiabatic ground state. We demonstrate that superadiabatic protocols are extremely robust against parameter variations, making them useful for practical applications.Comment: 17 pages, 4 figure

Identification of a cyclin B1-derived CTL epitope eliciting spontaneous responses in both cancer patients and healthy donors

With the aim to identify cyclin B1-derived peptides with high affinity for HLA-A2, we used three in silico prediction algorithms to screen the protein sequence for possible HLA-A2 binders. One peptide scored highest in all three algorithms, and the high HLA-A2-binding affinity of this peptide was verified in an HLA stabilization assay. By stimulation with peptide-loaded dendritic cells a CTL clone was established, which was able to kill two breast cancer cell lines in an HLA-A2-dependent and peptide-specific manner, demonstrating presentation of the peptide on the surface of cancer cells. Furthermore, blood from cancer patients and healthy donors was screened for spontaneous T-cell reactivity against the peptide in IFN-γ ELISPOT assays. Patients with breast cancer, malignant melanoma, or renal cell carcinoma hosted powerful and high-frequency T-cell responses against the peptide. In addition, when blood from healthy donors was tested, similar responses were observed. Ultimately, serum from cancer patients and healthy donors was analyzed for anti-cyclin B1 antibodies. Humoral responses against cyclin B1 were frequently detected in both cancer patients and healthy donors. In conclusion, a high-affinity cyclin B1-derived HLA-A2-restricted CTL epitope was identified, which was presented on the cell surface of cancer cells, and elicited spontaneous T-cell responses in cancer patients and healthy donors

Three dimensional three component whole heart cardiovascular magnetic resonance velocity mapping: comparison of flow measurements from 3D and 2D acquisitions

<p>Abstract</p> <p>Background</p> <p>Two-dimensional, unidirectionally encoded, cardiovascular magnetic resonance (CMR) velocity mapping is an established technique for the quantification of blood flow in large vessels. However, it requires an operator to correctly align the planes of acquisition. If all three directional components of velocity are measured for each voxel of a 3D volume through the phases of the cardiac cycle, blood flow through any chosen plane can potentially be calculated retrospectively. The initial acquisition is then more time consuming but relatively operator independent.</p> <p>Aims</p> <p>To compare the curves and volumes of flow derived from conventional 2D and comprehensive 3D flow acquisitions in a steady state flow model, and in vivo through planes transecting the ascending aorta and pulmonary trunk in 10 healthy volunteers.</p> <p>Methods</p> <p>Using a 1.5 T Phillips Intera CMR system, 3D acquisitions used an anisotropic 3D segmented k-space phase contrast gradient echo sequence with a short EPI readout, with prospective ECG and diaphragm navigator gating. The 2D acquisitions used segmented k-space phase contrast with prospective ECG and diaphragm navigator gating. Quantitative flow analyses were performed retrospectively with dedicated software for both the in vivo and in vitro acquisitions.</p> <p>Results</p> <p>Analysis of in vitro data found the 3D technique to have overestimated the continuous flow rate by approximately 5% across the entire applied flow range. In vivo, the 2D and the 3D techniques yielded similar volumetric flow curves and measurements. Aortic flow: (mean ± SD), 2D = 89.5 ± 13.5 ml & 3D = 92.7 ± 17.5 ml. Pulmonary flow: 2D = 98.8 ± 18.4 ml & 3D = 94.9 ± 19.0 ml). Each in vivo 3D acquisition took about 8 minutes or more.</p> <p>Conclusion</p> <p>Flow measurements derived from the 3D and 2D acquisitions were comparable. Although time consuming, comprehensive 3D velocity acquisition could be relatively operator independent, and could potentially yield information on flow through several retrospectively chosen planes, for example in patients with congenital or valvular heart disease.</p

Mephedrone pharmacokinetics after intravenous and oral administration in rats: relation to pharmacodynamics

Fe d'errates disponible a: http://​dx.​doi.​org/​10.​1007/​s00213-013-3283-6Rationale Mephedrone (4-methylmethcathinone) is a still poorly known drug of abuse, alternative to ecstasy or cocaine. Objective The major aims were to investigate the pharmacokineticsa and locomotor activity of mephedrone in rats and provide a pharmacokinetic/pharmacodynamic model. Methods Mephedrone was administered to male Sprague-Dawley rats intravenously (10 mg/kg) and orally (30 and 60 mg/kg). Plasma concentrations and metabolites were characterized using LC/MS and LC-MS/MS fragmentation patterns. Locomotor activity was monitored for 180-240 min. Results Mephedrone plasma concentrations after i.v. administration fit a two-compartment model (α=10.23 h−1, β=1.86 h−1). After oral administration, peak mephedrone concentrations were achieved between 0.5 and 1 h and declined to undetectable levels at 9 h. The absolute bioavailability of mephedrone was about 10 % and the percentage of mephedrone protein binding was 21.59±3.67%. We have identified five phase I metabolites in rat blood after oral administration. The relationship between brain levels and free plasma concentration was 1.85±0.08. Mephedrone induced a dose-dependent increase in locomotor activity, which lasted up to 2 h. The pharmacokinetic-pharmacodynamic model successfully describes the relationship between mephedrone plasma concentrations and its psychostimulant effect. Conclusions We suggest a very important first-pass effect for mephedrone after oral administration and an easy access to the central nervous system. The model described might be useful in the estimation and prediction of the onset, magnitude,and time course of mephedrone pharmacodynamics as well as to design new animal models of mephedrone addiction and toxicity