Bose-Einstein condensation of atomic gases in a harmonic oscillator confining potential trap

We present a model which predicts the temperature of Bose-Einstein condensation in atomic alkali gases and find excellent agreement with recent experimental observations. A system of bosons confined by a harmonic oscillator potential is not characterized by a critical temperature in the same way as an identical system which is not confined. We discuss the problem of Bose-Einstein condensation in an isotropic harmonic oscillator potential analytically and numerically for a range of parameters of relevance to the study of low temperature gases of alkali metals.Comment: 11 pages latex with two postscript figure

Bose-Einstein condensation in arbitrarily shaped cavities

We discuss the phenomenon of Bose-Einstein condensation of an ideal non-relativistic Bose gas in an arbitrarily shaped cavity. The influence of the finite extension of the cavity on all thermodynamical quantities, especially on the critical temperature of the system, is considered. We use two main methods which are shown to be equivalent. The first deals with the partition function as a sum over energy levels and uses a Mellin-Barnes integral representation to extract an asymptotic formula. The second method converts the sum over the energy levels to an integral with a suitable density of states factor obtained from spectral analysis. The application to some simple cavities is discussed.Comment: 10 pages, LaTeX, to appear in Physical Review

Enhanced smoking cessation support for newly abstinent smokers discharged from hospital (The Hospital to Home trial): A randomised controlled trial

Background and aimsThe United Kingdom's National Institute for Health and Care Excellence guidance (NICE PH48) recommends that pharmacotherapy combined with behavioural support be provided for all smokers admitted to hospital; however, relapse to smoking after discharge remains common. This study aimed to assess the effect of adding home support for newly?abstinent smokers to conventional NICE?recommended support in smokers discharged from hospital.Designindividually?randomised parallel group trial.SettingOne UK acute hospital.Participants404 smokers aged >18 admitted to acute medical wards between June 2016 and July 2017 were randomised in equal numbers to each treatment group.Interventions and comparatorsThe intervention provided 12 weeks of at?home cessation support which included help in maintaining a smoke?free home, help in accessing and using medication, further behavioural support and personalised feedback on home air quality. The comparator was NICE PH48 care as usual.MeasuresThe primary outcome was self?reported continuous abstinence from smoking validated by an exhaled carbon monoxide level ?6ppm four?weeks after discharge from hospital.FindingsIn an intention?to?treat analysis at the four?week primary endpoint, 38 participants (18.8%) in the usual care group and 43 (21.3%) in the intervention group reported continuous abstinence from smoking (odds ratio 1.17, 95% confidence interval 0.72 to 1.90, Bayes factor 0.33). There were no significant differences in any secondary outcomes, including self?reported cessation at 3 months, having a smoke?free home, or number of cigarettes smoked per day in those who did not quit.ConclusionsProvision of a home visit and continued support to prevent relapse to smoking after hospital discharge did not appear to increase subsequent abstinence rate above usual care in accordance with UK guidance from the National Institute of Health and Care Excellence

Toroidal flow measurements of impurity ions in QUEST ECH plasmas using multiple viewing chords emission spectroscopy

A spectroscopic system with multiple viewing chords was developed for QUEST (Q-shu University Experiment with Steady-State Spherical Tokamak) to measure the spatial distribution of ion toroidal velocities in discharges sustained by electron cyclotron resonance heating (ECH). Twenty-four viewing chords were aligned in the midplane and C III emission line spectra were measured for three types of ECH discharge under different magnetic field configurations. By applying an inversion method to the measured spectra, we evaluated the radial distributions of C2+ ion emissivity, temperature, and toroidal velocity. The error in the evaluated velocity was estimated to be less than 5 km/s. It was found that the velocity depends on the magnetic field configuration

Generalized Property-Directed Reachability for Hybrid Systems

Generalized property-directed reachability (GPDR) belongs to the family of the model-checking techniques called IC3/PDR. It has been successfully applied to software verification; for example, it is the core of Spacer, a state-of-the-art Horn-clause solver bundled with Z3. However, it has yet to be applied to hybrid systems, which involve a continuous evolution of values over time. As the first step towards GPDR- based model checking for hybrid systems, this paper formalizes HGPDR, an adaptation of GPDR to hybrid systems, and proves its soundness. We also implemented a semi-automated proof-of-concept verifier, which allows a user to provide hints to guide verification steps.Comment: To appear in VMCAI 202