Applying quantitative semantics to higher-order quantum computing

Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constructions from quantitative semantics of linear logic

Selective-pivot sampling of radial distribution functions in asymmetric liquid mixtures

We present a Monte Carlo algorithm for selectively sampling radial distribution functions and effective interaction potentials in asymmetric liquid mixtures. We demonstrate its efficiency for hard-sphere mixtures, and for model systems with more general interactions, and compare our simulations with several analytical approximations. For interaction potentials containing a hard-sphere contribution, the algorithm yields the contact value of the radial distribution function.Comment: 5 pages, 5 figure

Acoustic Events in the Solar Atmosphere from Hinode/SOT NFI observations

We investigate the properties of acoustic events (AEs), defined as spatially concentrated and short duration energy flux, in the quiet sun using observations of a 2D field of view (FOV) with high spatial and temporal resolution provided by the Solar Optical Telescope (SOT) onboard \textit{Hinode}. Line profiles of Fe \textsc{i} 557.6 nm were recorded by the Narrow band Filter Imager (NFI) on a $82" \times 82"$ FOV during 75 min with a time step of 28.75 s and 0.08$"$ pixel size. Vertical velocities were computed at three atmospheric levels (80, 130 and 180 km) using the bisector technique allowing the determination of energy flux in the range 3-10 mHz using two complementary methods (Hilbert transform and Fourier power spectra). Horizontal velocities were computed using local correlation tracking (LCT) of continuum intensities providing divergences. The net energy flux is upward. In the range 3-10 mHz, a full FOV space and time averaged flux of 2700 W m$^{-2}$ (lower layer 80-130 km) and 2000 W m$^{-2}$ (upper layer 130-180 km) is concentrated in less than 1% of the solar surface in the form of narrow (0.3$"$) AE. Their total duration (including rise and decay) is of the order of $10^{3}$ s. Inside each AE, the mean flux is $1.6 10^{5}$ W m$^{-2}$ (lower layer) and $1.2 10^{5}$ W m$^{-2}$ (upper). Each event carries an average energy (flux integrated over space and time) of $2.5 10^{19}$ J (lower layer) to $1.9 10^{19}$ J (upper). More than $10^{6}$ events could exist permanently on the Sun, with a birth and decay rate of 3500 s$^{-1}$. Most events occur in intergranular lanes, downward velocity regions, and areas of converging motions.Comment: 18 pages, 10 figure

Insights into GABA receptor signalling in TM3 Leydig cells

gamma-Aminobutyric acid (GABA) is an emerging signalling molecule in endocrine organs, since it is produced by endocrine cells and acts via GABA(A) receptors in a paracrine/autocrine fashion. Testicular Leydig cells are producers and targets for GABA. These cells express GABA(A) receptor subunits and in the murine Leydig cell line TM3 pharmacological activation leads to increased proliferation. The signalling pathway of GABA in these cells is not known in this study. We therefore attempted to elucidate details of GABA(A) signalling in TM3 and adult mouse Leydig cells using several experimental approaches. TM3 cells not only express GABA(A) receptor subunits, but also bind the GABA agonist {[}H-3] muscimol with a binding affinity in the range reported for other endocrine cells (K-d = 2.740 +/- 0.721 nM). However, they exhibit a low B-max value of 28.08 fmol/mg protein. Typical GABA(A) receptor-associated events, including Cl- currents, changes in resting membrane potential, intracellular Ca2+ or cAMP, were not measurable with the methods employed in TM3 cells, or, as studied in part, in primary mouse Leydig cells. GABA or GABA(A) agonist isoguvacine treatment resulted in increased or decreased levels of several mRNAs, including transcription factors (c-fos, hsf-1, egr-1) and cell cycle-associated genes (Cdk2, cyclin D1). In an attempt to verify the cDNA array results and because egr-1 was recently implied in Leydig cell development, we further studied this factor. RT-PCR and Western blotting confirmed a time-dependent regulation of egr-1 in TM3. In the postnatal testis egr-1 was seen in cytoplasmic and nuclear locations of developing Leydig cells, which bear GABA(A) receptors and correspond well to TM3 cells. Thus, GABA acts via an untypical novel signalling pathway in TM3 cells. Further details of this pathway remain to be elucidated. Copyright (c) 2005 S. Karger AG, Base

Using biomarkers to predict TB treatment duration (Predict TB): a prospective, randomized, noninferiority, treatment shortening clinical trial

Background : By the early 1980s, tuberculosis treatment was shortened from 24 to 6 months, maintaining relapse rates of 1-2%. Subsequent trials attempting shorter durations have failed, with 4-month arms consistently having relapse rates of 15-20%. One trial shortened treatment only among those without baseline cavity on chest x-ray and whose month 2 sputum culture converted to negative. The 4-month arm relapse rate decreased to 7% but was still significantly worse than the 6-month arm (1.6%, P<0.01).  We hypothesize that PET/CT characteristics at baseline, PET/CT changes at one month, and markers of residual bacterial load will identify patients with tuberculosis who can be cured with 4 months (16 weeks) of standard treatment.Methods: This is a prospective, multicenter, randomized, phase 2b, noninferiority clinical trial of pulmonary tuberculosis participants. Those eligible start standard of care treatment. PET/CT scans are done at weeks 0, 4, and 16 or 24. Participants who do not meet early treatment completion criteria (baseline radiologic severity, radiologic response at one month, and GeneXpert-detectable bacilli at four months) are placed in Arm A (24 weeks of standard therapy). Those who meet the early treatment completion criteria are randomized at week 16 to continue treatment to week 24 (Arm B) or complete treatment at week 16 (Arm C). The primary endpoint compares the treatment success rate at 18 months between Arms B and C.Discussion: Multiple biomarkers have been assessed to predict TB treatment outcomes. This study uses PET/CT scans and GeneXpert (Xpert) cycle threshold to risk stratify participants. PET/CT scans are not applicable to global public health but could be used in clinical trials to stratify participants and possibly become a surrogate endpoint. If the Predict TB trial is successful, other immunological biomarkers or transcriptional signatures that correlate with treatment outcome may be identified. TRIAL REGISTRATION: NCT02821832

Estimation of solar prominence magnetic fields based on the reconstructed 3D trajectories of prominence knots

We present an estimation of the lower limits of local magnetic fields in quiescent, activated, and active (surges) promineces, based on reconstructed 3-dimensional (3D) trajectories of individual prominence knots. The 3D trajectories, velocities, tangential and centripetal accelerations of the knots were reconstructed using observational data collected with a single ground-based telescope equipped with a Multi-channel Subtractive Double Pass imaging spectrograph. Lower limits of magnetic fields channeling observed plasma flows were estimated under assumption of the equipartition principle. Assuming approximate electron densities of the plasma n_e = 5*10^{11} cm^{-3} in surges and n_e = 5*10^{10} cm^{-3} in quiescent/activated prominences, we found that the magnetic fields channeling two observed surges range from 16 to 40 Gauss, while in quiescent and activated prominences they were less than 10 Gauss. Our results are consistent with previous detections of weak local magnetic fields in the solar prominences.Comment: 14 pages, 12 figures, 1 tabl

Effective forces in colloidal mixtures: from depletion attraction to accumulation repulsion

Computer simulations and theory are used to systematically investigate how the effective force between two big colloidal spheres in a sea of small spheres depends on the basic (big-small and small-small) interactions. The latter are modeled as hard-core pair potentials with a Yukawa tail which can be both repulsive or attractive. For a repulsive small-small interaction, the effective force follows the trends as predicted by a mapping onto an effective non-additive hard-core mixture: both a depletion attraction and an accumulation repulsion caused by small spheres adsorbing onto the big ones can be obtained depending on the sign of the big-small interaction. For repulsive big-small interactions, the effect of adding a small-small attraction also follows the trends predicted by the mapping. But a more subtle ``repulsion through attraction'' effect arises when both big-small and small-small attractions occur: upon increasing the strength of the small-small interaction, the effective potential becomes more repulsive. We have further tested several theoretical methods against our computer simulations: The superposition approximation works best for an added big-small repulsion, and breaks down for a strong big-small attraction, while density functional theory is very accurate for any big-small interaction when the small particles are pure hard-spheres. The theoretical methods perform most poorly for small-small attractions.Comment: submitted to PRE; New version includes an important quantitative correction to several of the simulations. The main conclusions remain unchanged thoug

Physics of Solar Prominences: II - Magnetic Structure and Dynamics

Observations and models of solar prominences are reviewed. We focus on non-eruptive prominences, and describe recent progress in four areas of prominence research: (1) magnetic structure deduced from observations and models, (2) the dynamics of prominence plasmas (formation and flows), (3) Magneto-hydrodynamic (MHD) waves in prominences and (4) the formation and large-scale patterns of the filament channels in which prominences are located. Finally, several outstanding issues in prominence research are discussed, along with observations and models required to resolve them.Comment: 75 pages, 31 pictures, review pape

Sindbis Virus Infection in Resident Birds, Migratory Birds, and Humans, Finland

Resident grouse may be involved in the epidemiology of SINV in humans