Solar X-ray spectrum reproduced in vacuum

Desired low energy X rays are produced by modifying commercial ion tubes and combining them with standard power supplies and control circuitry. These X rays have less deviation from the solar X ray spectrum in energy and intensity

The collisional frequency shift of a trapped-ion optical clock

Collisions with background gas can perturb the transition frequency of trapped ions in an optical atomic clock. We develop a non-perturbative framework based on a quantum channel description of the scattering process, and use it to derive a master equation which leads to a simple analytic expression for the collisional frequency shift. As a demonstration of our method, we calculate the frequency shift of the Sr$^+$ optical atomic clock transition due to elastic collisions with helium

Universal out-of-equilibrium Transport in Kondo-correlated quantum dots: Renormalized dual Fermions on the Keldysh contour

The nonlinear conductance of semiconductor heterostructures and single molecule devices exhibiting Kondo physics has recently attracted attention. We address the observed sample dependence of the measured steady state transport coefficients by considering additional electronic contributions in the effective low-energy model underlying these experiments that are absent in particle-hole symmetric setups. A novel version of the superperturbation theory of Hafermann et al. in terms of dual fermions is developed, which correctly captures the low-temperature behavior. We compare our results with the measured transport coefficients.Comment: 5 pages, 2 figure

Quantum criticality of the sub-ohmic spin-boson model

We revisit the critical behavior of the sub-ohmic spin-boson model. Analysis of both the leading and subleading terms in the temperature dependence of the inverse static local spin susceptibility at the quantum critical point, calculated using a numerical renormalization-group method, provides evidence that the quantum critical point is interacting in cases where the quantum-to-classical mapping would predict mean-field behavior. The subleading term is shown to be consistent with an w/T scaling of the local dynamical susceptibility, as is the leading term. The frequency and temperature dependences of the local spin susceptibility in the strong-coupling (delocalized) regime are also presented. We attribute the violation of the quantum-to-classical mapping to a Berry-phase term in a continuum path-integral representation of the model. This effect connects the behavior discussed here with its counterparts in models with continuous spin symmetry.Comment: 9 pages, 10 figure

Spatially distributed water-balance and meteorological data from the Wolverton catchment, Sequoia National Park, California

Accurate water-balance measurements in the seasonal, snow-dominated Sierra Nevada are important for forest and downstream water management. However, few sites in the southern Sierra offer detailed records of the spatial and temporal patterns of snowpack and soil-water storage and the fluxes affecting them, i.e., precipitation as rain and snow, snowmelt, evapotranspiration, and runoff. To explore these stores and fluxes we instrumented the Wolverton basin (2180-2750 m) in Sequoia National Park with distributed, continuous sensors. This 2006-2016 record of snow depth, soil moisture and soil temperature, and meteorological data quantifies the hydrologic inputs and storage in a mostly undeveloped catchment. Clustered sensors record lateral differences with regards to aspect and canopy cover at approximately 2250 and 2625 m in elevation, where two meteorological stations are installed. Meteorological stations record air temperature, relative humidity, radiation, precipitation, wind speed and direction, and snow depth. Data are available at hourly intervals by water year (1 October-30 September) in non-proprietary formats from online data repositories (https://doi.org/10.6071/M3S94T)

Deductive Verification of Unmodified Linux Kernel Library Functions

This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference. Evaluating Tools for Software Verification trac

Communicating Mental Illness in the Black American Community

Human-human interactions are of central relevance for the success in professional and occupational environments, which also substantially influence quality of life. This is especially true in the case of individuals with high-functioning autism (HFA), who experience deficits in social cognition that often lead to social exclusion and unemployment. Despite good education and high motivation, individuals with HFA do not reach employment rates that are substantially higher than 50 %. This is an alarmingly high rate of unemployment considering that the United Nations have recently emphasized the inclusion of handicapped persons as a mandatory human right. To date, the specific needs of autistic persons with respect to their working environment are largely unexplored. It remains moreover an open question how support systems and activities, including newly developed communication devices for professional environments of individuals with HFA, should look like. The German health and social care systems are not adequately prepared for the proper support of this population. This leads us to suggest that supported employment programs should be developed for adults with HFA that specifically address their needs and requirements. Such programs should comprise (1) the adequate assessment of HFA, including a neuropsychological profile and an individual matching of persons' preferences with requirements of the working place, (2) on-the-job coaching activities that include systematic communication and interaction training, and (3) instruction of non-autistic peers, including colleagues and supervisors, about weaknesses and strengths of HFA