31 research outputs found
Autler-Townes splitting in two-color photoassociation of 6Li
We report on high-resolution two-color photoassociation spectroscopy in the
triplet system of magneto-optically trapped 6Li. The absolute transition
frequencies have been measured. Strong optical coupling of the bound molecular
states has been observed as Autler-Townes splitting in the photoassociation
signal. The spontaneous bound-bound transition rate is determined and the
molecule formation rate is estimated. The observed lineshapes are in good
agreement with the theoretical model.Comment: 5 pages, 4 figures, accepted for publication in Phys. Rev. A (Rapid
Communication
Saturation in heteronuclear photoassociation of 6Li7Li
We report heteronuclear photoassociation spectroscopy in a mixture of
magneto-optically trapped 6Li and 7Li. Hyperfine resolved spectra of the
vibrational level v=83 of the singlet state have been taken up to intensities
of 1000 W/cm^2. Saturation of the photoassociation rate has been observed for
two hyperfine transitions, which can be shown to be due to saturation of the
rate coefficient near the unitarity limit. Saturation intensities on the order
of 40 W/cm^2 can be determined.Comment: 5 pages, 3 figures, to appear in Phys. Rev. A (Rapid Communication
Continuous loading of a magnetic trap
We have realized a scheme for continuous loading of a magnetic trap (MT).
^{52}Cr atoms are continuously captured and cooled in a magneto-optical trap
(MOT). Optical pumping to a metastable state decouples atoms from the cooling
light. Due to their high magnetic moment (6 Bohr magnetons), low-field seeking
metastable atoms are trapped in the magnetic quadrupole field provided by the
MOT. Limited by inelastic collisions between atoms in the MOT and in the MT, we
load 10^8 metastable atoms at a rate of 10^8 atoms/s below 100 microkelvin into
the MT. After loading we can perform optical repumping to realize a MT of
ground state chromium atoms.Comment: 4 pages, 4 figures, version 2, modified references, included
additional detailed information, minor changes in figure 3 and in tex
Sympathetic Cooling with Two Atomic Species in an Optical Trap
We simultaneously trap ultracold lithium and cesium atoms in an optical
dipole trap formed by the focus of a CO laser and study the exchange of
thermal energy between the gases. The cesium gas, which is optically cooled to
K, efficiently decreases the temperature of the lithium gas through
sympathetic cooling. The measured cross section for thermalizing
Cs-Li collisions is cm, for both species in
their lowest hyperfine ground state. Besides thermalization, we observe
evaporation of lithium purely through elastic cesium-lithium collisions
(sympathetic evaporation).Comment: 4 pages 3 fig
Unified classical logic completeness: a coinductive pearl
Codatatypes are absent from many programming languages and proof assistants. We make a case for their importance by revisiting a classic result: the completeness theorem for first-order logic established through a Gentzen system. The core of the proof establishes an abstract property of possibly infinite derivation trees, independently of the concrete syntax or inference rules. This separation of concerns simplifies the presentation. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems as well as various flavors of first order logic. The corresponding Isabelle/HOL formalization demonstrates the recently introduced support for codatatypes and the Haskell code generator
Surface-controlled reversal of the selectivity of halogen bonds
Intermolecular halogen bonds are ideally suited for designing new molecular assemblies because of their strong directionality and the possibility of tuning the interactions by using different types of halogens or molecular moieties. Due to these unique properties of the halogen bonds, numerous areas of application have recently been identified and are still emerging. Here, we present an approach for controlling the 2D self-assembly process of organic molecules by adsorption to reactive vs. inert metal surfaces. Therewith, the order of halogen bond strengths that is known from gas phase or liquids can be reversed. Our approach relies on adjusting the molecular charge distribution, i.e., the σ-hole, by molecule-substrate interactions. The polarizability of the halogen and the reactiveness of the metal substrate are serving as control parameters. Our results establish the surface as a control knob for tuning molecular assemblies by reversing the selectivity of bonding sites, which is interesting for future applications
Large atom number dual-species magneto-optical trap for fermionic 6Li and 40K atoms
We present the design, implementation and characterization of a dual-species
magneto-optical trap (MOT) for fermionic 6Li and 40K atoms with large atom
numbers. The MOT simultaneously contains 5.2x10^9 6Li-atoms and 8.0x10^9
40K-atoms, which are continuously loaded by a Zeeman slower for 6Li and a
2D-MOT for 40K. The atom sources induce capture rates of 1.2x10^9 6Li-atoms/s
and 1.4x10^9 40K-atoms/s. Trap losses due to light-induced interspecies
collisions of ~65% were observed and could be minimized to ~10% by using low
magnetic field gradients and low light powers in the repumping light of both
atomic species. The described system represents the starting point for the
production of a large-atom number quantum degenerate Fermi-Fermi mixture
Soundness and completeness proofs by coinductive methods
We show how codatatypes can be employed to produce compact, high-level proofs of key results in logic: the soundness and completeness of proof systems for variations of first-order logic. For the classical completeness result, we first establish an abstract property of possibly infinite derivation trees. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems for various flavors of first-order logic. Soundness becomes interesting as soon as one allows infinite proofs of first-order formulas. This forms the subject of several cyclic proof systems for first-order logic augmented with inductive predicate definitions studied in the literature. All the discussed results are formalized using Isabelle/HOL’s recently introduced support for codatatypes and corecursion. The development illustrates some unique features of Isabelle/HOL’s new coinductive specification language such as nesting through non-free types and mixed recursion–corecursion
HIFI spectroscopy of low-level water transitions in M82
We present observations of the rotational ortho-water ground transition, the
two lowest para-water transitions, and the ground transition of ionised
ortho-water in the archetypal starburst galaxy M82, performed with the HIFI
instrument on the Herschel Space Observatory. These observations are the first
detections of the para-H2O(111-000) (1113\,GHz) and ortho-H2O+(111-000)
(1115\,GHz) lines in an extragalactic source. All three water lines show
different spectral line profiles, underlining the need for high spectral
resolution in interpreting line formation processes. Using the line shape of
the para-H2O(111-000) and ortho-H2O+(111-000) absorption profile in conjunction
with high spatial resolution CO observations, we show that the (ionised) water
absorption arises from a ~2000 pc^2 region within the HIFI beam located about
~50 pc east of the dynamical centre of the galaxy. This region does not
coincide with any of the known line emission peaks that have been identified in
other molecular tracers, with the exception of HCO. Our data suggest that water
and ionised water within this region have high (up to 75%) area-covering
factors of the underlying continuum. This indicates that water is not
associated with small, dense cores within the ISM of M82 but arises from a more
widespread diffuse gas component.Comment: 5 pages, 4 figures. Accepted for publication in A&