Hadronic shift in pionic hydrogen

The hadronic shift in pionic hydrogen has been redetermined to be $\epsilon_{1s}=7.086\,\pm\,0.007(stat)\,\pm\,0.006(sys)$\,eV by X-ray spectroscopy of ground state transitions applying various energy calibration schemes. The experiment was performed at the high-intensity low-energy pion beam of the Paul Scherrer Institut by using the cyclotron trap and an ultimate-resolution Bragg spectrometer with bent crystals.Comment: 10 pages, 6 figure

First observation of two hyperfine transitions in antiprotonic He-3

We report on the first experimental results for microwave spectroscopy of the hyperfine structure of antiprotonic He-3. Due to the helium nuclear spin, antiprotonic He-3 has a more complex hyperfine structure than antiprotonic He-4 which has already been studied before. Thus a comparison between theoretical calculations and the experimental results will provide a more stringent test of the three-body quantum electrodynamics (QED) theory. Two out of four super-super-hyperfine (SSHF) transition lines of the (n,L)=(36,34) state were observed. The measured frequencies of the individual transitions are 11.12559(14) GHz and 11.15839(18) GHz, less than 1 MHz higher than the current theoretical values, but still within their estimated errors. Although the experimental uncertainty for the difference of these frequencies is still very large as compared to that of theory, its measured value agrees with theoretical calculations. This difference is crucial to be determined because it is proportional to the magnetic moment of the antiproton.Comment: 8 pages, 6 figures, just published (online so far) in Physics Letters

Open Data, Collaborative Working Platforms, and Interdisciplinary Collaboration: Building an Early Career Scientist Community of Practice to Leverage Ocean Observatories Initiative Data to Address Critical Questions in Marine Science

Ocean observing systems are well-recognized as platforms for long-term monitoring of near-shore and remote locations in the global ocean. High-quality observatory data is freely available and accessible to all members of the global oceanographic community—a democratization of data that is particularly useful for early career scientists (ECS), enabling ECS to conduct research independent of traditional funding models or access to laboratory and field equipment. The concurrent collection of distinct data types with relevance for oceanographic disciplines including physics, chemistry, biology, and geology yields a unique incubator for cutting-edge, timely, interdisciplinary research. These data are both an opportunity and an incentive for ECS to develop the computational skills and collaborative relationships necessary to interpret large data sets. Here, we use observatory data to demonstrate the potential for these interdisciplinary approaches by presenting a case study on the water-column response to anomalous atmospheric events (i.e., major storms) on the shelf of the Mid-Atlantic Bight southwest of Cape Cod, United States. Using data from the Ocean Observatories Initiative (OOI) Pioneer Array, we applied a simple data mining method to identify anomalous atmospheric events over a four-year period. Two closely occurring storm events in late 2018 were then selected to explore the dynamics of water-column response using mooring data from across the array. The comprehensive ECS knowledge base and computational skill sets allowed identification of data issues in the OOI data streams and technologically sound characterization of data from multiple sensor packages to broadly characterize ocean-atmosphere interactions. An ECS-driven approach that emphasizes collaborative and interdisciplinary working practices adds significant value to existing datasets and programs such as OOI and has the potential to produce meaningful scientific advances. Future success in utilizing ocean observatory data requires continued investment in ECS education, collaboration, and research; in turn, the ECS community provides feedback, develops knowledge, and builds new tools to enhance the value of ocean observing systems. These findings present an argument for building a community of practice to augment ECS ocean scientist skills and foster collaborations to extend the context, reach, and societal utility of ocean science

Isotope Shift Measurements of Stable and Short-Lived Lithium Isotopes for Nuclear Charge Radii Determination

Changes in the mean-square nuclear charge radii along the lithium isotopic chain were determined using a combination of precise isotope shift measurements and theoretical atomic structure calculations. Nuclear charge radii of light elements are of high interest due to the appearance of the nuclear halo phenomenon in this region of the nuclear chart. During the past years we have developed a new laser spectroscopic approach to determine the charge radii of lithium isotopes which combines high sensitivity, speed, and accuracy to measure the extremely small field shift of an 8 ms lifetime isotope with production rates on the order of only 10,000 atoms/s. The method was applied to all bound isotopes of lithium including the two-neutron halo isotope Li-11 at the on-line isotope separators at GSI, Darmstadt, Germany and at TRIUMF, Vancouver, Canada. We describe the laser spectroscopic method in detail, present updated and improved values from theory and experiment, and discuss the results.Comment: 34 pages, 24 figures, 14 table

Muonic hydrogen cascade time and lifetime of the short-lived 2S2S state

Metastable ${2S}$ muonic-hydrogen atoms undergo collisional ${2S}$-quenching, with rates which depend strongly on whether the $\mu p$ kinetic energy is above or below the ${2S}\to {2P}$ energy threshold. Above threshold, collisional ${2S} \to {2P}$ excitation followed by fast radiative ${2P} \to {1S}$ deexcitation is allowed. The corresponding short-lived $\mu p ({2S})$ component was measured at 0.6 hPa $\mathrm{H}_2$ room temperature gas pressure, with lifetime $\tau_{2S}^\mathrm{short} = 165 ^{+38}_{-29}$ ns (i.e., $\lambda_{2S}^\mathrm{quench} = 7.9 ^{+1.8}_{-1.6} \times 10^{12} \mathrm{s}^{-1}$ at liquid-hydrogen density) and population $\epsilon_{2S}^\mathrm{short} = 1.70^{+0.80}_{-0.56}$ % (per $\mu p$ atom). In addition, a value of the $\mu p$ cascade time, $T_\mathrm{cas}^{\mu p} = (37\pm5)$ ns, was found.Comment: 4 pages, 3 figure

The proton radius puzzle

High-precision measurements of the proton radius from laser spectroscopy of muonic hydrogen demonstrated up to six standard deviations smaller values than obtained from electron-proton scattering and hydrogen spectroscopy. The status of this discrepancy, which is known as the proton radius puzzle will be discussed in this paper, complemented with the new insights obtained from spectroscopy of muonic deuterium.Comment: Moriond 2017 conference, 8 pages, 4 figure

Is there a best Büchi automaton for explicit model checking?

LTL to Büchi automata (BA) translators are traditionally optimized to produce automata with a small number of states or a small number of non-deterministic states. In this paper, we search for properties of Büchi automata that really influence the performance of explicit model checkers. We do that by manual analysis of several automata and by experiments with common LTL-to-BA translators and realistic verification tasks. As a result of these experiences, we gain a better insight into the characteristics of automata that work well with Spin.Překladače LTL na Büchiho automaty jsou obvykle optimalizovány tak, aby produkovaly automaty s co nejmenším počtem stavů, či s co nejmenším počtem nedeterministických stavů. V této publikaci hledáme vlastnosti Büchiho automatů, které skutečně ovlivňují výkon nástrojů pro explicitní metodu ověřování modelu (model checking). A to pomocí manuální analýzy několika automatů a experimenty s běžnými překladače LTL na automaty a realistickými verifikačními úlohami. Výsledkem těchto experimentů je lepší porozumění charakteristik automatů, které jsou dobré pro model checker Spin

CpG Island microarray probe sequences derived from a physical library are representative of CpG Islands annotated on the human genome

An effective tool for the global analysis of both DNA methylation status and protein–chromatin interactions is a microarray constructed with sequences containing regulatory elements. One type of array suited for this purpose takes advantage of the strong association between CpG Islands (CGIs) and gene regulatory regions. We have obtained 20 736 clones from a CGI Library and used these to construct CGI arrays. The utility of this library requires proper annotation and assessment of the clones, including CpG content, genomic origin and proximity to neighboring genes. Alignment of clone sequences to the human genome (UCSC hg17) identified 9595 distinct genomic loci; 64% were defined by a single clone while the remaining 36% were represented by multiple, redundant clones. Approximately 68% of the loci were located near a transcription start site. The distribution of these loci covered all 23 chromosomes, with 63% overlapping a bioinformatically identified CGI. The high representation of genomic CGI in this rich collection of clones supports the utilization of microarrays produced with this library for the study of global epigenetic mechanisms and protein–chromatin interactions. A browsable database is available on-line to facilitate exploration of the CGIs in this library and their association with annotated genes or promoter elements

Improved Study of the Antiprotonic Helium Hyperfine Structure

We report the initial results from a systematic study of the hyperfine (HF) structure of antiprotonic helium (n,l) = (37,~35) carried out at the Antiproton Decelerator (AD) at CERN. We performed a laser-microwave-laser resonance spectroscopy using a continuous wave (cw) pulse-amplified laser system and microwave cavity to measure the HF transition frequencies. Improvements in the spectral linewidth and stability of our laser system have increased the precision of these measurements by a factor of five and reduced the line width by a factor of three compared to our previous results. A comparison of the experimentally measured transition frequencies with three body QED calculations can be used to determine the antiproton spin magnetic moment, leading towards a test of CPT invariance.Comment: 14 pages 9 figure