Smoothed Complexity Theory

Smoothed analysis is a new way of analyzing algorithms introduced by Spielman and Teng (J. ACM, 2004). Classical methods like worst-case or average-case analysis have accompanying complexity classes, like P and AvgP, respectively. While worst-case or average-case analysis give us a means to talk about the running time of a particular algorithm, complexity classes allows us to talk about the inherent difficulty of problems. Smoothed analysis is a hybrid of worst-case and average-case analysis and compensates some of their drawbacks. Despite its success for the analysis of single algorithms and problems, there is no embedding of smoothed analysis into computational complexity theory, which is necessary to classify problems according to their intrinsic difficulty. We propose a framework for smoothed complexity theory, define the relevant classes, and prove some first hardness results (of bounded halting and tiling) and tractability results (binary optimization problems, graph coloring, satisfiability). Furthermore, we discuss extensions and shortcomings of our model and relate it to semi-random models.Comment: to be presented at MFCS 201

Mediation of oviposition site selection in the African malaria mosquito Anopheles gambiae (Diptera: Culicidae) by semiochemicals of microbial origin

Laboratory studies were carried out to investigate the role of larval habitat-derived microorganisms in the production of semiochemicals for oviposition site selection by Anopheles gambiae Giles sensu stricto mosquitoes. Dual-choice bioassays with gravid females were conducted in standard mosquito cages. Field-collected or laboratory-reared mosquitoes, individually or in groups, were offered a choice between unmodified (water or soil from a natural breeding site) or modified substrates (filtered water, autoclaved soil or sterile media to which bacterial suspensions had been added). Egg counts were used to assess oviposition preferences. Mosquitoes preferred to oviposit on unmodified substrates from natural larval habitats containing live microorganisms rather than on sterilized ones. Variable responses were observed when sterile substrates were inoculated with bacteria isolated from water and soil from natural habitats. We conclude that microbial populations in breeding sites produce volatiles that serve as semiochemicals for gravid An. gambiae. These signals, in conjunction with other (non-olfactory) chemical and physical cues, may be used by the female to assess the suitability of potential larval habitats in order to maximize the fitness of her offspring

Laser spectroscopy of hyperfine structure in highly-charged ions: a test of QED at high fields

An overview is presented of laser spectroscopy experiments with cold, trapped, highly-charged ions, which will be performed at the HITRAP facility at GSI in Darmstadt (Germany). These high-resolution measurements of ground state hyperfine splittings will be three orders of magnitude more precise than previous measurements. Moreover, from a comparison of measurements of the hyperfine splittings in hydrogen- and lithium-like ions of the same isotope, QED effects at high electromagnetic fields can be determined within a few percent. Several candidate ions suited for these laser spectroscopy studies are presented.Comment: 5 pages, 1 figure, 1 table. accepted for Canadian Journal of Physics (2006

The Sudbury Neutrino Observatory

The Sudbury Neutrino Observatory is a second generation water Cherenkov detector designed to determine whether the currently observed solar neutrino deficit is a result of neutrino oscillations. The detector is unique in its use of D2O as a detection medium, permitting it to make a solar model-independent test of the neutrino oscillation hypothesis by comparison of the charged- and neutral-current interaction rates. In this paper the physical properties, construction, and preliminary operation of the Sudbury Neutrino Observatory are described. Data and predicted operating parameters are provided whenever possible.Comment: 58 pages, 12 figures, submitted to Nucl. Inst. Meth. Uses elsart and epsf style files. For additional information about SNO see http://www.sno.phy.queensu.ca . This version has some new reference

Measurement of the νe and total 8B solar neutrino fluxes with the Sudbury Neutrino Observatory phase-III data set

This paper details the solar neutrino analysis of the 385.17-day phase-III data set acquired by the Sudbury Neutrino Observatory (SNO). An array of 3He proportional counters was installed in the heavy-water target to measure precisely the rate of neutrino-deuteron neutral-current interactions. This technique to determine the total active 8B solar neutrino flux was largely independent of the methods employed in previous phases. The total flux of active neutrinos was measured to be 5.54-0.31+0.33(stat.)-0.34+0.36(syst.)×106 cm-2 s-1, consistent with previous measurements and standard solar models. A global analysis of solar and reactor neutrino mixing parameters yielded the best-fit values of Δm2=7.59-0.21+0.19×10 -5eV2 and θ=34.4-1.2+1.3degrees