No abstract

ELI-Beamlines (ELI-BL), one of the three pillars of the Extreme Light Infrastructure endeavour, will be in a unique position to perform research in high-energy-density-physics (HEDP), plasma physics and ultra-high intensity (UHI) (1022W/cm2) laser–plasma interaction. Recently the need for HED laboratory physics was identified and the P3 (plasma physics platform) installation under construction in ELI-BL will be an answer. The ELI-BL 10 PW laser makes possible fundamental research topics from high-field physics to new extreme states of matter such as radiation-dominated ones, high-pressure quantum ones, warm dense matter (WDM) and ultra-relativistic plasmas. HEDP is of fundamental importance for research in the field of laboratory astrophysics and inertial confinement fusion (ICF). Reaching such extreme states of matter now and in the future will depend on the use of plasma optics for amplifying and focusing laser pulses. This article will present the relevant technological infrastructure being built in ELI-BL for HEDP and UHI, and gives a brief overview of some research under way in the field of UHI, laboratory astrophysics, ICF, WDM, and plasma optics.

Bremsstrahlung emission from interactions of short ultra-intense laser pulses with solid foils is studied using particle-in-cell (PIC) simulations. A module for simulating bremsstrahlung has been implemented in the PIC loop to self-consistently account for the dynamics of the laser-plasma interaction, plasma expansion, and the emission of gamma ray photons. This module made it possible to study emission from thin targets, where refluxing of hot electrons plays an important role. It is shown that the angular distribution of the emitted photons exhibits a four-directional structure with the angle of emission decreasing with the increase of the width of the target. Additionally, a collimated forward flash consisting of high energy photons has been identified in thin targets. The conversion efficiency of the energy of the laser pulse to the energy of the gamma rays rises with both the driving pulse intensity, and the thickness of the target. The amount of gamma rays also increases with the atomic number of the target material, despite a lower absorption of the driving laser pulse. The angular spectrum of the emitted gamma rays is directly related to the increase of hot electron divergence during their refluxing and its measurement can be used in experiments to study this process.

Abstract. Probabilistic guidance based on learned knowledge is added to the connection tableau calculus and implemented on top of the leanCoP theorem prover, linking it to an external advisor system. In the typical mathematical setting of solving many problems in a large complex theory, learning from successful solutions is then used for guiding theorem proving attempts in the spirit of the MaLARea system. While in MaLARea learning-based axiom selection is done outside unmodified theorem provers, in MaLeCoP the learning-based selection is done inside the prover, and the interaction between learning of knowledge and its application can be much finer. This brings interesting possibilities for further construction and training of self-learning AI mathematical experts on large mathematical libraries, some of which are discussed. The initial implementation is evaluated on the MPTP Challenge large theory benchmark.