A lambda calculus for quantum computation with classical control

The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.Comment: 15 pages, submitted to TLCA'05. Note: this is basically the work done during the first author master, his thesis can be found on his webpage. Modifications: almost everything reformulated; recursion removed since the way it was stated didn't satisfy lemma 11; type inference algorithm added; example of an implementation of quantum teleportation adde

Lithium Sulfonate Functionalization of Carbon Cathodes as a Substitute for Lithium Nitrate in the Electrolyte of Lithium–Sulfur Batteries

A method for grafting lithium sulfonate (LiSO3) groups to carbon surfaces is developed and the resulting carbons are evaluated for their potential to reduce the lithium polysulfide (LiPS) shuttle in lithium–sulfur (Li–S) batteries, replacing the common electrolyte additive lithium nitrate (LiNO3). The LiSO3 groups are attached to the ordered mesoporous carbon (CMK3) surface via a three-step procedure to synthesize LiSO3-CMK3 by bromomethylation, sodium sulfite (Na2SO3) substitution, and cation exchange. As a comparison, ethylenediamine (EN)-substituted CMK3, EN-CMK3, is also synthesized and tested. When used as a cathode in Li–S batteries, the unfunctionalized CMK3 suffers from strong LiPS shuttling as evidenced by its low initial Coulombic efficiencies (ICEs, <10%) compared to its functionalized derivatives EN-CMK3 and LiSO3-CMK3 (ICEs >75%). Postcycling analysis reveals the benefits of cathode surface functionalization on the lithium anode via an attenuated LiPS shuttle. When monitored at open circuit, the functionalized cathodes maintain their cell voltages much better than the CMK3 control and concurrent electrochemical impedance spectroscopy reveals their higher total cell resistance, which provides evidence for a reduced LiPS shuttle in the vicinity of both electrodes. Overall, such surface groups show promise as cathode-immobilized “lithium nitrate mimics.”

Coronagraphic Observations of Fomalhaut at Solar System Scales

We report on a search for low mass companions within 10 AU of the star Fomalhaut, using narrowband observations at 4.05 {$μ$}m obtained with the Apodizing Phase Plate coronagraph on the VLT/NaCo. Our observations place a model-dependent upper mass limit of 12-20 M $_{jup}$ from 4 to 10 AU, covering the semimajor axis search space between interferometric imaging measurements and other direct imaging non-detections. These observations rule out models where the large semimajor axis for the putative candidate companion Fomalhaut b is explained by dynamical scattering from a more massive companion in the inner stellar system, where such giant planets are thought to form.Stars and planetary system

Haloperidol and Ziprasidone for Treatment of Delirium in Critical Illness

BACKGROUND: There are conflicting data on the effects of antipsychotic medications on delirium in patients in the intensive care unit (ICU). METHODS: In a randomized, double-blind, placebo-controlled trial, we assigned patients with acute respiratory failure or shock and hypoactive or hyperactive delirium to receive intravenous boluses of haloperidol (maximum dose, 20 mg daily), ziprasidone (maximum dose, 40 mg daily), or placebo. The volume and dose of a trial drug or placebo was halved or doubled at 12-hour intervals on the basis of the presence or absence of delirium, as detected with the use of the Confusion Assessment Method for the ICU, and of side effects of the intervention. The primary end point was the number of days alive without delirium or coma during the 14-day intervention period. Secondary end points included 30-day and 90-day survival, time to freedom from mechanical ventilation, and time to ICU and hospital discharge. Safety end points included extrapyramidal symptoms and excessive sedation. RESULTS: Written informed consent was obtained from 1183 patients or their authorized representatives. Delirium developed in 566 patients (48%), of whom 89% had hypoactive delirium and 11% had hyperactive delirium. Of the 566 patients, 184 were randomly assigned to receive placebo, 192 to receive haloperidol, and 190 to receive ziprasidone. The median duration of exposure to a trial drug or placebo was 4 days (interquartile range, 3 to 7). The median number of days alive without delirium or coma was 8.5 (95% confidence interval [CI], 5.6 to 9.9) in the placebo group, 7.9 (95% CI, 4.4 to 9.6) in the haloperidol group, and 8.7 (95% CI, 5.9 to 10.0) in the ziprasidone group (P=0.26 for overall effect across trial groups). The use of haloperidol or ziprasidone, as compared with placebo, had no significant effect on the primary end point (odds ratios, 0.88 [95% CI, 0.64 to 1.21] and 1.04 [95% CI, 0.73 to 1.48], respectively). There were no significant between-group differences with respect to the secondary end points or the frequency of extrapyramidal symptoms. CONCLUSIONS: The use of haloperidol or ziprasidone, as compared with placebo, in patients with acute respiratory failure or shock and hypoactive or hyperactive delirium in the ICU did not significantly alter the duration of delirium. (Funded by the National Institutes of Health and the VA Geriatric Research Education and Clinical Center; MIND-USA ClinicalTrials.gov number, NCT01211522 .)

Development of a mathematical model for apple juice compounds rejection in a spiral-wound reverse osmosis process

YesThe use of Reverse Osmosis (RO) membrane processes for the clarification and the concentration of apple juice is proposed as an alternative to the conventional concentration technique, which is based on evaporation and freezing. Several models have been published on RO process models relying on different assumptions that predict the permeate flux and aroma compounds rejections for aqueous solutions apple juice. The solution-diffusion model (Lumped model) has been applied for the previous models. The main instrument of this study is the use of the gPROMS software to develop a new distributed steady state model that will relax a number of earlier assumptions. The model has been validated with an observational data of apple juice filtration derived from the literature by analysing the permeate flux and the performance of membrane rejection at different concentrations, temperatures and pressures for a laboratory scale of spiral-wound RO module. Simulated results corroborate with experimental and model predictions

Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Observation of the Ankle and Evidence for a High-Energy Break in the Cosmic Ray Spectrum

We have measured the cosmic ray spectrum at energies above $10^{17}$ eV using the two air fluorescence detectors of the High Resolution Fly's Eye experiment operating in monocular mode. We describe the detector, PMT and atmospheric calibrations, and the analysis techniques for the two detectors. We fit the spectrum to models describing galactic and extragalactic sources. Our measured spectrum gives an observation of a feature known as the ``ankle'' near $3\times 10^{18}$ eV, and strong evidence for a suppression near $6\times 10^{19}$ eV.Comment: 14 pages, 9 figures. To appear in Physics Letters B. Accepted versio