535 research outputs found

    Probing scattering phase shifts by attosecond streaking

    Full text link
    Attosecond streaking is one of the most fundamental processes in attosecond science allowing for a mapping of temporal (i.e. phase) information on the energy domain. We show that on the single-particle level attosecond streaking time shifts contain spectral phase information associated with the Eisenbud-Wigner-Smith (EWS) time delay, provided the influence of the streaking infrared field is properly accounted for. While the streaking phase shifts for short-ranged potentials agree with the associated EWS delays, Coulomb potentials require special care. We show that the interaction between the outgoing electron and the combined Coulomb and IR laser fields lead to a streaking phase shift that can be described classically

    Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems

    Get PDF

    Ionization of helium by slow antiproton impact: total and differential cross sections

    Full text link
    We theoretically investigate the single and double ionization of the He atom by antiproton impact for projectile energies ranging from 33~keV up to 10001000~keV. We obtain accurate total cross sections by directly solving the fully correlated two-electron time-dependent Schr\"odinger equation and by performing classical trajectory Monte-Carlo calculations. The obtained quantum-mechanical results are in excellent agreement with the available experimental data. Along with the total cross sections, we also present the first fully \textit{ab initio} doubly differential data for single ionization at 10 and 100~keV impact energies. In these differential cross sections we identify the binary-encounter peak along with the anticusp minimum. Furthermore, we also point out the importance of the post-collisional electron-projectile interaction at low antiproton energies which significantly suppresses electron emission in the forward direction

    Attosecond two-photon interferometry for doubly excited states of helium

    Full text link
    We show that the correlation dynamics in coherently excited doubly excited resonances of helium can be followed in real time by two-photon interferometry. This approach promises to map the evolution of the two-electron wave packet onto experimentally easily accessible non-coincident single electron spectra. We analyze the interferometric signal in terms of a semi-analytical model which is validated by a numerical solution of the time-dependent two-electron Schr\"odinger equation in its full dimensionality.Comment: 5 pages, 4 figure

    Probing Electron Correlation via Attosecond XUV Pulses in the Two-Photon Double Ionization of Helium

    Full text link
    Recent experimental developments of high-intensity, short-pulse XUV light sources are enhancing our ability to study electron-electron correlations. We perform time-dependent calculations to investigate the so-called "sequential" regime (photon energy above 54.4 eV) in the two-photon double ionization of helium. We show that attosecond pulses allow to induce and probe angular and energy correlations of the emitted electrons. The final momentum distribution reveals regions dominated by the Wannier ridge break-up scenario and by post-collision interaction.Comment: 4 pages, 5 figure

    CERTIFYING CONFLUENCE PROOFS VIA RELATIVE TERMINATION AND RULE LABELING

    Get PDF
    The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination and the rule labeling in the theorem prover Isabelle. Moreover, we report on the integration of this result into the certifier CeTA, facilitating the checking of confluence certificates based on decreasing diagrams. The power of the method is illustrated by an experimental evaluation on a (standard) collection of confluence problems

    CSI: New Evidence - A Progress Report

    Get PDF

    Universal features in sequential and nonsequential two-photon double ionization of helium

    Full text link
    We analyze two-photon double ionization of helium in both the nonsequential and sequential regime. We show that the energy spacing between the two emitted electrons provides the key parameter that controls both the energy and the angular distribution and reveals the universal features present in both the nonsequential and sequential regime. This universality, i.e., independence of photon energy, is a manifestation of the continuity across the threshold for sequential double ionization. For all photon energies, the energy distribution can be described by a universal shape function that contains only the spectral and temporal information entering second-order time-dependent perturbation theory. Angular correlations and distributions are found to be more sensitive to the photon energy. In particular, shake-up interferences have a large effect on the angular distribution. Energy spectra, angular distributions parameterized by the anisotropy parameters, and total cross sections presented in this paper are obtained by fully correlated time-dependent ab initio calculations.Comment: 12 pages, 8 figure

    Multi-electron transitions induced by neutron impact on helium

    Full text link
    We explore excitation and ionization by neutron impact as a novel tool for the investigation of electron-electron correlations in helium. We present single and double ionization spectra calculated in accurate numerical ab-initio simulations for incoming neutrons with kinetic energies of up to 150 keV. The resulting electron spectra are found to be fundamentally different from photoioniza- tion or charged particle impact due to the intrinsic many-body character of the interaction. In particular, doubly excited resonances that are strongly suppressed in electron or photon impact become prominent. The ratio of double to single ionization is found to differ significantly from those of photon and charged particle impact.Comment: 5 pages, 5 figure

    CoCoWeb - A Convenient Web Interface for Confluence Tools

    Get PDF
    6th International Workshop on Confluence6th International Workshop on ConfluenceWe present a useful web interface for tools that participate in the annual confluence competition
    corecore