Extended coherence time on the clock transition of optically trapped Rubidium

Optically trapped ensembles are of crucial importance for frequency measurements and quantum memories, but generally suffer from strong dephasing due to inhomogeneous density and light shifts. We demonstrate a drastic increase of the coherence time to 21 s on the magnetic field insensitive clock transition of Rb-87 by applying the recently discovered spin self-rephasing. This result confirms the general nature of this new mechanism and thus shows its applicability in atom clocks and quantum memories. A systematic investigation of all relevant frequency shifts and noise contributions yields a stability of 2.4E-11 x tau^(-1/2), where tau is the integration time in seconds. Based on a set of technical improvements, the presented frequency standard is predicted to rival the stability of microwave fountain clocks in a potentially much more compact setup.Comment: 5 pages, 4 figure

Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable

Recognition of minimal unsatisfiable CNF formulas (unsatisfiable CNF formulas which become satisfiable if any clause is removed) is a classical DP-complete problem. It was shown recently that minimal unsatisfiable formulas with n variables and n+k clauses can be recognized in time . We improve this result and present an algorithm with time complexity ; hence the problem turns out to be fixed-parameter tractable (FTP) in the sense of Downey and Fellows (Parameterized Complexity, 1999). Our algorithm gives rise to a fixed-parameter tractable parameterization of the satisfiability problem: If for a given set of clauses F, the number of clauses in each of its subsets exceeds the number of variables occurring in the subset at most by k, then we can decide in time whether F is satisfiable; k is called the maximum deficiency of F and can be efficiently computed by means of graph matching algorithms. Known parameters for fixed-parameter tractable satisfiability decision are tree-width or related to tree-width. Tree-width and maximum deficiency are incomparable in the sense that we can find formulas with constant maximum deficiency and arbitrarily high tree-width, and formulas where the converse prevails

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API.Comment: (fixed typo), camera-ready version, 6-page tool paper, to appear in proceedings of SAT 2015, LNCS, Springe

A slow gravity compensated Atom Laser

We report on a slow guided atom laser beam outcoupled from a Bose-Einstein condensate of 87Rb atoms in a hybrid trap. The acceleration of the atom laser beam can be controlled by compensating the gravitational acceleration and we reach residual accelerations as low as 0.0027 g. The outcoupling mechanism allows for the production of a constant flux of 4.5x10^6 atoms per second and due to transverse guiding we obtain an upper limit for the mean beam width of 4.6 \mu\m. The transverse velocity spread is only 0.2 mm/s and thus an upper limit for the beam quality parameter is M^2=2.5. We demonstrate the potential of the long interrogation times available with this atom laser beam by measuring the trap frequency in a single measurement. The small beam width together with the long evolution and interrogation time makes this atom laser beam a promising tool for continuous interferometric measurements.Comment: 7 pages, 8 figures, to be published in Applied Physics

Evaluating QBF Solvers: Quantifier Alternations Matter

We present an experimental study of the effects of quantifier alternations on the evaluation of quantified Boolean formula (QBF) solvers. The number of quantifier alternations in a QBF in prenex conjunctive normal form (PCNF) is directly related to the theoretical hardness of the respective QBF satisfiability problem in the polynomial hierarchy. We show empirically that the performance of solvers based on different solving paradigms substantially varies depending on the numbers of alternations in PCNFs. In related theoretical work, quantifier alternations have become the focus of understanding the strengths and weaknesses of various QBF proof systems implemented in solvers. Our results motivate the development of methods to evaluate orthogonal solving paradigms by taking quantifier alternations into account. This is necessary to showcase the broad range of existing QBF solving paradigms for practical QBF applications. Moreover, we highlight the potential of combining different approaches and QBF proof systems in solvers.Comment: preprint of a paper to be published at CP 2018, LNCS, Springer, including appendi

Damped Bloch Oscillations of Bose-Einstein Condensates in Disordered Potential Gradients

We investigate both experimentally and theoretically disorder induced damping of Bloch oscillations of Bose-Einstein condensates in optical lattices. The spatially inhomogeneous force responsible for the damping is realised by a combination of a disordered optical and a magnetic gradient potential. We show that the inhomogeneity of this force results in a broadening of the quasimomentum spectrum, which in turn causes damping of the centre-of-mass oscillation. We quantitatively compare the obtained damping rates to the simulations using the Gross-Pitaevskii equation. Our results are relevant for high precision experiments on very small forces, which require the observation of a large number of oscillation cycles.Comment: to be published in New Journal of Physic

Ferric maltol therapy for iron deficiency anaemia in patients with inflammatory bowel disease: long-term extension data from a Phase 3 study

Background Ferric maltol was effective and well-tolerated in iron deficiency anaemia patients with inflammatory bowel disease during a 12-week placebo-controlled trial. Aim To perform a Phase 3 extension study evaluating long-term efficacy and safety with ferric maltol in inflammatory bowel disease patients in whom oral ferrous therapies had failed to correct iron deficiency anaemia. Methods After 12 weeks of randomised, double-blind treatment, patients with iron deficiency anaemia and mild-to-moderate ulcerative colitis or Crohn's disease received open-label ferric maltol 30 mg b.d. for 52 weeks. Results 111 patients completed randomised treatment and 97 entered the open-label ferric maltol extension. In patients randomised to ferric maltol ('continued'; n = 50), mean +/- s.d. haemoglobin increased by 3.07 +/- 1.46 g/dL between baseline and Week 64. In patients randomised to placebo ('switch'; n = 47), haemoglobin increased by 2.19 +/- 1.61 g/dL. Normal haemoglobin was achieved in high proportions of both continued and switch patients (89% and 83% at Week 64, respectively). Serum ferritin increased from 8.9 lg/L (baseline) to 26.0 lg/L (Week 12) in ferric maltol-treated patients, and to 57.4 lg/L amongst all patients at Week 64. In total, 80% of patients reported = 1 adverse event by Week 64. Adverse events considered related to ferric maltol were recorded in 27/111 (24%) patients: 8/18 discontinuations due to adverse events were treatment-related. One patient was withdrawn due to increased ulcerative colitis activity. Conclusions Normal haemoglobin was observed in = 80% of patients from weeks 20-64 of long-term ferric maltol treatment, with concomitant increases in iron storage parameters. Ferric maltol was well-tolerated throughout this 64-week study

Ferric maltol is effective in correcting iron deficiency anemia in patients with inflammatory bowel disease: results from a phase-3 clinical trial program

BACKGROUND: Iron deficiency anemia (IDA) is frequently seen in inflammatory bowel disease. Traditionally, oral iron supplementation is linked to extensive gastrointestinal side effects and possible disease exacerbation. This multicenter phase-3 study tested the efficacy and safety of ferric maltol, a complex of ferric (Fe) iron with maltol (3-hydroxy-2-methyl-4-pyrone), as a novel oral iron therapy for IDA. METHODS: Adult patients with quiescent or mild-to-moderate ulcerative colitis or Crohn's disease, mild-to-moderate IDA (9.5-12.0 g/dL and 9.5-13.0 g/dL in females and males, respectively), and documented failure on previous oral ferrous products received oral ferric maltol capsules (30 mg twice a day) or identical placebo for 12 weeks according to a randomized, double-blind, placebo-controlled study design. The primary efficacy endpoint was change in hemoglobin (Hb) from baseline to week 12. Safety and tolerability were assessed. RESULTS: Of 329 patients screened, 128 received randomized therapy (64 ferric maltol-treated and 64 placebo-treated patients) and comprised the intent-to-treat efficacy analysis: 55 ferric maltol patients (86%) and 53 placebo patients (83%) completed the trial. Significant improvements in Hb were observed with ferric maltol versus placebo at weeks 4, 8, and 12: mean (SE) 1.04 (0.11) g/dL, 1.76 (0.15) g/dL, and 2.25 (0.19) g/dL, respectively (P < 0.0001 at all time-points; analysis of covariance). Hb was normalized in two-thirds of patients by week 12. The safety profile of ferric maltol was comparable with placebo, with no impact on inflammatory bowel disease severity. CONCLUSIONS: Ferric maltol provided rapid clinically meaningful improvements in Hb and showed a favorable safety profile, suggesting its possible use as an alternative to intravenous iron in IDA inflammatory bowel disease

The space density of cataclysmic variables: constraints from the ROSAT North Ecliptic Pole Survey

We use the ROSAT North Ecliptic Pole (NEP) survey to construct a small, but purely X-ray flux-limited sample of cataclysmic variable stars (CVs). The sample includes only 4 systems, 2 of which (RX J1715.6+6856 and RX J1831.7+6511) are new discoveries. We present time-resolved spectroscopy of the new CVs and measure orbital periods of 1.64 \pm 0.02 h and 4.01\pm 0.03 h for RX 1715.6+6856 and RX J1831.7+6511, respectively. We also estimate distances for all the CVs in our sample, based mainly on their apparent brightness in the infrared. The space density of the CV population represented by our small sample is (1.1 +2.3/-0.7) 10^-5 pc^-3. We can also place upper limits on the space density of any sub-population of CVs too faint to be included in the NEP survey. In particular, we show that if the overall space density of CVs is as high as 2 10^-4 pc^-3 (as has been predicted theoretically), the vast majority of CVs must be fainter than L_X \simeq 2 10^29 erg/s.Comment: 11 pages, 7 figure, accepted for publication in MNRA

Sibling Rivalry among Paralogs Promotes Evolution of the Human Brain

Geneticists have long sought to identify the genetic changes that made us human, but pinpointing the functionally relevant changes has been challenging. Two papers in this issue suggest that partial duplication of SRGAP2, producing an incomplete protein that antagonizes the original, contributed to human brain evolution