The decay and collisions of dark solitons in superfluid Fermi gases

We study soliton collisions and the decay of solitons into sound in superfluid Fermi gases across the Bose-Einstein condensate to Bardeen-Cooper-Schrieffer (BEC-BCS) crossover by performing numerical simulations of the time-dependent Bogoliubov-de Gennes equations. This decay process occurs when the solitons are accelerated to the bulk pair-breaking speed by an external potential. A similar decay process may occur when solitons are accelerated by an inelastic collision with another soliton. We find that soliton collisions become increasingly inelastic as we move from the BEC to BCS regimes, and the excess energy is converted into sound. We interpret this effect as being due to evolution of Andreev bound states localized within the soliton.Comment: 9 pages, 5 figure

Renormalization Group Method and Reductive Perturbation Method

It is shown that the renormalization group method does not necessarily eliminate all secular terms in perturbation series to partial differential equations and a functional subspace of renormalizable secular solutions corresponds to a choice of scales of independent variables in the reductive perturbation method.Comment: 5 pages, late

Evaluation of Northern Illinois Residential Retrofit Delivery Practices

Using a detailed BEopt analysis, PARR has developed packages of measures following a 'loading order' appropriate for cold climates at increasing levels of savings. Packages of measures to provide 'good, better, best' energy savings were determined based on predicted source energy savings, safety issues, program costs and simple payback for customers

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

Water masers in the massive protostar IRAS 20126+4104: ejection and deceleration

We report on the first multi-epoch, phase referenced VLBI observations of the water maser emission in a high-mass protostar associated with a disk-jet system. The source under study, IRAS 20126+4104, has been extensively investigated in a large variety of tracers, including water maser VLBA data acquired by us three years before the present observations. The new findings fully confirm the interpretation proposed in our previous study, namely that the maser spots are expanding from a common origin coincident with the protostar. We also demonstrate that the observed 3-D velocities of the maser spots can be fitted with a model assuming that the spots are moving along the surface of a conical jet, with speed increasing for increasing distance from the cone vertex. We also present the results of single-dish monitoring of the water maser spectra in IRAS 20126+4104. These reveal that the peak velocity of some maser lines decreases linearly with time. We speculate that such a deceleration could be due to braking of the shocks from which the maser emission originates, due to mass loading at the shock front or dissipation of the shock energy.Comment: 11 pages, 8 figures. Accepted for publication in A&

Infrared images of reflection nebulae and Orion's bar: Fluorescent molecular hydrogen and the 3.3 micron feature

Images were obtained of the (fluorescent) molecular hydrogen 1-0 S(1) line, and of the 3.3 micron emission feature, in Orion's Bar and three reflection nebulae. The emission from these species appears to come from the same spatial locations in all sources observed. This suggests that the 3.3 micron feature is excited by the same energetic UV-photons which cause the molecular hydrogen to fluoresce

Water maser variability over 20 years in a large sample of star-forming regions: the complete database

Context. Water vapor emission at 22 GHz from masers associated with star-forming regions is highly variable. Aims. We present a database of up to 20 years of monitoring of a sample of 43 masers within star-forming regions. The sample covers a large range of luminosities of the associated IRAS source and is representative of the entire population of H2O masers of this type. The database forms a good starting point for any further study of H2O maser variability. Methods. The observations were obtained with the Medicina 32-m radiotelescope, at a rate of 4-5 observations per year. Results. To provide a database that can be easily accessed through the web, we give for each source: plots of the calibrated spectra, the velocity-time-flux density plot, the light curve of the integrated flux, the lower and upper envelopes of the maser emission, the mean spectrum, and the rate of the maser occurrence as a function of velocity. Figures for just one source are given in the text for representative purposes. Figures for all the sources are given in electronic form in the on-line appendix. A discussion of the main properties of the H2O variability in our sample will be presented in a forthcoming paper.Comment: 11 pages, 9 figures, to be published in Astronomy and Astrophysics; all plots in appendix (not included) can be downloaded from http://www.arcetri.astro.it/~starform/water_maser_v2.html or http://www.ira.inaf.it/papers/masers/water_maser_v2.htm

Real-Time Synthesis is Hard!

We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infinite words only; and only the very restrictive BRRS subcase is known to be decidable (see D'Souza et al. and Bouyer et al.). In this paper, we precise the decidability border of MITL synthesis. We show RS is undecidable on finite words too, and present a landscape of restrictions (both on the logic and on the possible controllers) that are still undecidable. On the positive side, we revisit BRRS and introduce an efficient on-the-fly algorithm to solve it