An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure

The paper presents an O^*(1.2312^n)-time and polynomial-space algorithm for the traveling salesman problem in an n-vertex graph with maximum degree 3. This improves the previous time bounds of O^*(1.251^n) by Iwama and Nakashima and O^*(1.260^n) by Eppstein. Our algorithm is a simple branch-and-search algorithm. The only branch rule is designed on a cut-circuit structure of a graph induced by unprocessed edges. To improve a time bound by a simple analysis on measure and conquer, we introduce an amortization scheme over the cut-circuit structure by defining the measure of an instance to be the sum of not only weights of vertices but also weights of connected components of the induced graph.Comment: 24 pages and 4 figure

Analyzing false memories in children with associative lists specific for their age

Two experiments attempted to resolve previous contradictory findings concerning developmental trends in false memories within the Deese-Roediger-McDermott (DRM) paradigm by using an improved methodology-constructing age-appropriate associative lists. The research also extended the DRM paradigm to preschoolers. Experiment 1 (N = 320) included children in three age groups (preschoolers of 3-4 years, second-graders of 7-8 years, and preadolescents of 11-12 years) and adults, and Experiment 2 (N = 64) examined preschoolers and preadolescents. Age-appropriate lists increased false recall. Although preschoolers had fewer false memories than the other age groups, they showed considerable levels of false recall when tested with age-appropriate materials. Results were discussed in terms of fuzzy-trace, source-monitoring, and activation frameworks

Doppler-free frequency modulation spectroscopy of atomic erbium in a hollow cathode discharge cell

The erbium atomic system is a promising candidate for an atomic Bose-Einstein condensate of atoms with a non-vanishing orbital angular momentum ($L \neq 0$) of the electronic ground state. In this paper we report on the frequency stabilization of a blue external cavity diode laser system on the 400.91 $nm$ laser cooling transition of atomic erbium. Doppler-free saturation spectroscopy is applied within a hollow cathode discharge tube to the corresponding electronic transition of several of the erbium isotopes. Using the technique of frequency modulation spectroscopy, a zero-crossing error signal is produced to lock the diode laser frequency on the atomic erbium resonance. The latter is taken as a reference laser to which a second main laser system, used for laser cooling of atomic erbium, is frequency stabilized

Influence of the 6^1S_0-6^3P_1 Resonance on Continuous Lyman-alpha Generation in Mercury

Continuous coherent radiation in the vacuum-ultraviolet at 122 nm (Lyman-alpha) can be generated using sum-frequency mixing of three fundamental laser beams in mercury vapour. One of the fundamental beams is at 254 nm wavelength, which is close to the 6^1S_0-6^3P_1 resonance in mercury. Experiments have been performed to investigate the effect of this one-photon resonance on phasematching, absorption and the nonlinear yield. The efficiency of continuous Lyman-alpha generation has been improved by a factor of 4.5.Comment: 8 pages, 7 figure

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

Predicting sexual problems in women: The relevance of sexual excitation and sexual inhibition

This is the post-print version of the article. The official published version can be obtained from the link below.Data from a non-clinical sample of 540 heterosexual women were used to examine the relationships between scores on the Sexual Excitation/Sexual Inhibition Inventory for Women (SESII-W) and ratings of current sexual problems, lifetime arousal difficulty, lifetime orgasm difficulty, and lifetime problems with low sexual interest. Multiple regression analyses also included several demographic/background variables as predictors: age, full-time employment, completed college, children in household, married, health ratings, importance of sex, and whether the woman was in a sexual relationship. The strongest statistical predictors of both current and lifetime sexual problems were the SESII-W inhibition factors Arousal Contingency and Concerns about Sexual Function. Demographic factors did not feature largely in any of the models predicting sexual problems even when statistically significant relationships were found. If future research supports the predictive utility of the SESII-W in identifying women who are more likely to experience sexual difficulties, these scales may be used as prognostic factors in treatment studies.This study was funded, in part, by a grant from the Lilly Centre for Women's Health

Microwave Spectroscopy of Cold Rubidium Atoms

The effect of microwave radiation on the resonance fluorescence of a cloud of cold $^{85}Rb$ atoms in a magnetooptical trap is studied. The radiation frequency was tuned near the hyperfine splitting frequency of rubidium atoms in the 5S ground state. The microwave field induced magnetic dipole transitions between the magnetic sublevels of the 5S(F=2) and 5S(F=3) states, resulting in a change in the fluorescence signal. The resonance fluorescence spectra were recorded by tuning the microwave radiation frequency. The observed spectra were found to be substantially dependent on the transition under study and the frequency of a repump laser used in the cooling scheme.Comment: 6 pages, 4 figure

Gain without population inversion in V-type systems driven by a frequency-modulated field

We obtain gain of the probe field at multiple frequencies in a closed three-level V-type system using frequency modulated pump field. There is no associated population inversion among the atomic states of the probe transition. We describe both the steady-state and transient dynamics of this system. Under suitable conditions, the system exhibits large gain simultaneously at series of frequencies far removed from resonance. Moreover, the system can be tailored to exhibit multiple frequency regimes where the probe experiences anomalous dispersion accompanied by negligible gain-absorption over a large bandwidth, a desirable feature for obtaining superluminal propagation of pulses with negligible distortion.Comment: 10 pages + 8 figures; To appear in Physical Review

Narrowband frequency tunable light source of continuous quadrature entanglement

We report the observation of non-classical quantum correlations of continuous light variables from a novel type of source. It is a frequency non-degenerate optical parametric oscillator below threshold, where signal and idler fields are separated by 740MHz corresponding to two free spectrum ranges of the parametric oscillator cavity. The degree of entanglement observed, - 3.8 dB, is the highest to-date for a narrowband tunable source suitable for atomic quantum memory and other applications in atomic physics. Finally we use the latter to visualize the Einstein-Podolsky-Rosen paradox.Comment: 11 pages, 9 figures, LaTe