SearcharxivSearch

arXiv subjects

Michael Rosner

Publications and source records attributed to Michael Rosner.

3 recordsLinked to original sources

Observation of strong two-electron--one-photon transitions in few-electron ion

We resonantly excite the $K$ series of O$^{5+}$ and O$^{6+}$ up to principal quantum number $n=11$ with monochromatic x rays, producing $K$-shell holes, and observe their relaxation by soft-x-ray emission. Some photoabsorption resonances of O$^{5+}$ reveal strong two-electron--one-photon (TEOP) transitions. We find that for the $[(1s\,2s)_1\,5p_{3/2}]_{3/2;1/2}$ states, TEOP relaxation is by far stronger than the radiative decay and competes with the usually much faster Auger decay path. This enhanced TEOP decay arises from a strong correlation with the near-degenerate upper states $[(1s\,2p_{3/2})_1\,4s]_{3/2;1/2}$ of a Li-like satellite blend of the He-like $K\alpha$ transition. Even in three-electron systems, TEOP transitions can play a dominant role, and the present results should guide further research on the ubiquitous and abundant many-electron ions where electronic energy degeneracies are far more common and configuration mixing is stronger.

physics.atom-ph

High Resolution Photoexcitation Measurements Exacerbate the Long-Standing Fe XVII Oscillator Strength Problem

For more than 40 years, most astrophysical observations and laboratory studies of two key soft x-ray diagnostic $2p-3d$ transitions, $3C$ and $3D$, in Fe XVII ions found oscillator strength ratios $f(3C)/f(3D)$ disagreeing with theory, but uncertainties had precluded definitive statements on this much studied conundrum. Here, we resonantly excite these lines using synchrotron radiation at PETRA III, and reach, at a millionfold lower photon intensities, a 10 times higher spectral resolution, and 3 times smaller uncertainty than earlier work. Our final result of $f(3C)/f(3D) = 3.09(8)(6)$ supports many of the earlier clean astrophysical and laboratory observations, while departing by five sigmas from our own newest large-scale ab initio calculations, and excluding all proposed explanations, including those invoking nonlinear effects and population transfers.

physics.atom-ph

Explaining Violation Traces with Finite State Natural Language Generation Models

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user.

cs.SE