1,856 research outputs found
Theoretical transition frequencies beyond 0.1 ppb accuracy in H, HD, and antiprotonic helium
We present improved theoretical calculations of transition frequencies for
the fundamental transitions in the
hydrogen molecular ions H and HD with a relative uncertainty
and for the two-photon transitions in the antiprotonic helium
atom with a relative uncertainty . To do that, the one-loop
self-energy correction of order is derived in the two
Coulomb center approximation, and numerically evaluated in the case of the
aforementioned transitions. The final results also include a complete set of
other spin-independent corrections of order . The leading order
corrections of are also considered
that allows to estimate a magnitude of yet uncalculated contributions.Comment: 10 pages, 2 figure, to be submitted to PR
Numerical approach to the Schrodinger equation in momentum space
The treatment of the time-independent Schrodinger equation in real-space is
an indispensable part of introductory quantum mechanics. In contrast, the
Schrodinger equation in momentum space is an integral equation that is not
readily amenable to an analytical solution and is rarely taught. We present a
numerical approach to the Schrodinger equation in momentum space. After a
suitable discretization process, we obtain the Hamiltonian matrix and
diagonalize it numerically. By considering a few examples, we show that this
approach is ideal for exploring bound-states in a localized potential and
complements the traditional (analytical or numerical) treatment of the
Schrodinger equation in real-space.Comment: 14 pages, 4 figures, several changes and one figure correctio
A bone grease processing station at the Mitchell Prehistoric Indian Village: archaeological evidence for the exploitation of bone fats
© Association for Environmental Archaeology 2015. Author's accepted manuscript version deposited in accordance with SHERPA RoMEO guidelines. The definitive version is available at http://www.maneyonline.com/doi/abs/10.1179/1749631414Y.0000000035.Recent excavations at the Mitchell Prehistoric Indian Village, an Initial Middle Missouri site in Mitchell, South Dakota have revealed a large, clay-lined feature filled with fractured and fragmented bison bones. Fracture and fragmentation analysis, along with taphonomic evidence, suggests that the bones preserved within the feature represent evidence of prehistoric bone marrow and bone grease exploitation. Further, the character of the feature suggests that it served as a bone grease processing station. Bone fat exploitation is an activity that is frequently cited as a causal explanation for the nature of many fractured and fragmented bone assemblages in prehistory, and zooarchaeological assemblages have frequently been studied as evidence of bone fat exploitation. The Mitchell example provides some of the first direct, in-situ archaeological evidence of a bone grease processing feature, and this interpretation is sustained by substantial analytical evidence suggesting bone fat exploitation. This new evidence provides a clearer concept of the nature of bone fat exploitation in prehistory as well as an indication of the scale and degree to which bone grease exploitation occurred at the Mitchell site. Finally, this research demonstrates the importance of careful zooarchaeological and taphonomic analysis for the interpretation of both artifactual remains as well as archaeological features
Task-Specific Ionic Liquids for Mars Exploration (Green Chemistry for a Red Planet)
Ionic Liquids (ILs) are organic salts with low melting points that are liquid at or near room temperature. The combinations of available ions and task-specific molecular designability make them suitable for a huge variety of tasks. Because of their low flammability, low vapor pressure, and stability in harsh environments (extreme temperatures, hard vacuum) they are generally much safer and "greener" than conventional chemicals and are thus suitable for a wide range of applications that support NASA exploration goals. This presentation describes several of the ongoing applications that are being developed at MSFC
Why three-body physics do not solve the proton radius puzzle
The possible involvement of weakly bound three-body systems in the muonic
hydrogen spectroscopy experiment [1], which could resolve the current
discrepancy between determinations of the proton radius, is investigated. Using
variational calculations with complex coordinate rotation, it is shown that the
ion, which was recently proposed as a possible candidate [2], has no
resonant states in the energy region of interest. QED level shifts are included
phenomenologically by including a Yukawa potential in the three-body Coulomb
Hamiltonian before diagonalization. It is also shown that the molecular
ion cannot play any role in the observed line
Dusty Cometary Globules in W5
We report the discovery of four dusty cometary tails around low mass stars in
two young clusters belonging to the W5 star forming region. Fits to the
observed emission profiles from 24 micron observations with the Spitzer Space
Telescope give tail lifetimes < 30 Myr, but more likely < 5 Myr. This result
suggests that the cometary phase is a short lived phenomenon, occurring after
photoevaporation by a nearby O star has removed gas from the outer disk of a
young low mass star (see also Balog et al. 2006; Balog et al. 2008).Comment: 11 pages, 3 figures. Accepted for publication to ApJ Letter
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
The design of embedded control systems is mainly done with model-based tools
such as Matlab/Simulink. Numerical simulation is the central technique of
development and verification of such tools. Floating-point arithmetic, that is
well-known to only provide approximated results, is omnipresent in this
activity. In order to validate the behaviors of numerical simulations using
abstract interpretation-based static analysis, we present, theoretically and
with experiments, a new partially relational abstract domain dedicated to
floating-point variables. It comes from interval expansion of non-linear
functions using slopes and it is able to mimic all the behaviors of the
floating-point arithmetic. Hence it is adapted to prove the absence of run-time
errors or to analyze the numerical precision of embedded control systems
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
The actor model eases the definition of concurrent programs with non uniform
behaviors. Static analysis of such a model was previously done in a data-flow
oriented way, with type systems. This approach was based on constraint set
resolution and was not able to deal with precise properties for communications
of behaviors. We present here a new approach, control-flow oriented, based on
the abstract interpretation framework, able to deal with communication of
behaviors. Within our new analyses, we are able to verify most of the previous
properties we observed as well as new ones, principally based on occurrence
counting
- âŠ