Generating ring currents, solitons, and svortices by stirring a Bose-Einstein condensate in a toroidal trap

We propose a simple stirring experiment to generate quantized ring currents and solitary excitations in Bose-Einstein condensates in a toroidal trap geometry. Simulations of the 3D Gross-Pitaevskii equation show that pure ring current states can be generated efficiently by adiabatic manipulation of the condensate, which can be realized on experimental time scales. This is illustrated by simulated generation of a ring current with winding number two. While solitons can be generated in quasi-1D tori, we show the even more robust generation of hybrid, solitonic vortices (svortices) in a regime of wider confinement. Svortices are vortices confined to essentially one-dimensional dynamics, which obey a similar phase-offset--velocity relationship as solitons. Marking the transition between solitons and vortices, svortices are a distinct class of symmetry-breaking stationary and uniformly rotating excited solutions of the 2D and 3D Gross-Pitaevskii equation in a toroidal trapping potential. Svortices should be observable in dilute-gas experiments.Comment: 8 pages, 4 figures; accepted for publication in J. Phys. B (Letters

The Distances of SNR W41 and overlapping HII regions

New HI images from the VLA Galactic Plane Survey show prominent absorption features associated with the supernovae remnant G23.3-0.3 (SNR W41). We highlight the HI absorption spectra and the $^{13}$CO emission spectra of eight small regions on the face of W41, including four HII regions, three non-thermal emission regions and one unclassified region. The maximum velocity of absorption for W41 is 78$\pm$2 km/s and the CO cloud at radial velocity 95$\pm$5 km/s is behind W41. Because an extended TeV source, a diffuse X-ray enhancement and a large molecular cloud at radial velocity 77$\pm$5 km/s are also projected at the center of W41, these yield the kinematic distance of 3.9 to 4.5 kpc for W41. For HII regions, our analyses reveal that both G23.42-0.21 and G23.07+0.25 are at the far kinematic distances ($\sim$9.9 kpc and $\sim$ 10.6 kpc respectively) of their recombination-line velocities (103$\pm$0.5 km/s and 89.6$\pm$2.1 km/s respectively), G23.07-0.37 is at the near kinematic distance (4.4$\pm$0.3 kpc) of its recombination-line velocity (82.7$\pm$2.0 km/s), and G23.27-0.27 is probably at the near kinematic distance (4.1$\pm$0.3 kpc) of its recombination-line velocity (76.1$\pm$0.6 km/s).Comment: 11 pages, 3 figs., 2 tables, accepted by A

Triggered massive-star formation on the borders of Galactic HII regions. II. Evidence for the collect and collapse process around RCW 79

We present SEST-SIMBA 1.2-mm continuum maps and ESO-NTT SOFI JHK images of the Galactic HII region RCW 79. The millimetre continuum data reveal the presence of massive fragments located in a dust emission ring surrounding the ionized gas. The two most massive fragments are diametrically opposite each other in the ring. The near-IR data, centred on the compact HII region located at the south-eastern border of RCW 79, show the presence of an IR-bright cluster containing massive stars along with young stellar objects with near-IR excesses. A bright near- and mid-IR source is detected towards maser emissions, 1.2 pc north-east of the compact HII region centre. Additional information, extracted from the Spitzer GLIMPSE survey, are used to discuss the nature of the bright IR sources observed towards RCW 79. Twelve luminous Class I sources are identified towards the most massive millimetre fragments. All these facts strongly indicate that the massive-star formation observed at the border of the HII region RCW 79 has been triggered by its expansion, most probably by the collect and collapse process.Comment: 14 pages, 15 figures. Accepted for publication in A&A. The images have been highly compressed for astro-ph. A version of this paper with higher-resolution figures is available at http://www.oamp.fr/matiere/rcw79.pd

Spontaneous soliton formation and modulational instability in Bose-Einstein condensates

The dynamics of an elongated attractive Bose-Einstein condensate in an axisymmetric harmonic trap is studied. It is shown that density fringes caused by self-interference of the condensate order parameter seed modulational instability. The latter has novel features in contradistinction to the usual homogeneous case known from nonlinear fiber optics. Several open questions in the interpretation of the recent creation of the first matter-wave bright soliton train [Strecker {\it et al.} Nature {\bf 417} 150 (2002)] are addressed. It is shown that primary transverse collapse, followed by secondary collapse induced by soliton--soliton interactions, produce bursts of hot atoms at different time scales.Comment: 4 pages, 3 figures. Phys. Rev. Lett. in pres

Timed Multiparty Session Types

We propose a typing theory, based on multiparty session types, for modular verification of real-time choreographic interactions. To model real-time implementations, we introduce a simple calculus with delays and a decidable static proof system. The proof system ensures type safety and time-error freedom, namely processes respect the prescribed timing and causalities between interactions. A decidable condition on timed global types guarantees time-progress for validated processes with delays, and gives a sound and complete characterisation of a new class of CTAs with general topologies that enjoys progress and liveness

The Dynamic Structure Factor of the 1D Bose Gas near the Tonks-Girardeau Limit

While the 1D Bose gas appears to exhibit superfluid response under certain conditions, it fails the Landau criterion according to the elementary excitation spectrum calculated by Lieb. The apparent riddle is solved by calculating the dynamic structure factor of the Lieb-Liniger 1D Bose gas. A pseudopotential Hamiltonian in the fermionic representation is used to derive a Hartree-Fock operator, which turns out to be well-behaved and local. The Random-Phase approximation for the dynamic structure factor based on this derivation is calculated analytically and is expected to be valid at least up to first order in $1/\gamma$, where $\gamma$ is the dimensionless interaction strength of the model. The dynamic structure factor in this approximation clearly indicates a crossover behavior from the non-superfluid Tonks to the superfluid weakly-interacting regime, which should be observable by Bragg scattering in current experiments.Comment: 4 pages, 2 figures misprints in formulas correcte