arXiv subjects

Thales Silva

Publications and source records attributed to Thales Silva.

12 recordsLinked to original sources

arXiv2026

Simulation Design for Velocity-Controlled Spatio-Temporal Drivers in Laser Wakefield Acceleration

Velocity-controlled spatio-temporal (ST) laser drivers offer a route to tailoring laser-plasma interactions by allowing the velocity of the intensity peak to be controlled independently of the envelope group velocity. In this work, we present a simulation-design workflow for PIC modelling of subluminal velocity-controlled ST pulses in OSIRIS based on a Maxwell-consistent spectral construction expressed as a superposition of exact vacuum solutions, and we describe its discrete k-space representation for numerical initialisation. We then examine wakefield excitation with velocity-controlled drivers, showing how the ST geometry couples the effective longitudinal extent of the high-intensity region to the transverse scale and deriving scaling guidelines for near-resonant excitation in the subluminal regime. Finally, we discuss the geometric constraints that make long-distance simulations costly, including focus-envelope slippage and strong transverse expansion, and we show that continuous wall injection can reproduce the intended vacuum propagation while substantially reducing the transverse domain size. Together, these results provide practical guidelines for accurate and computationally efficient PIC simulations of velocity-controlled ST drivers in wakefield-relevant regimes.

physics.plasm-ph↗

arXiv2025

Plasma rotation driven by lasers with zero angular momentum

We present a novel mechanism in which plasma electrons and ions optically acquire angular momentum during local pump depletion of an azimuthally polarized laser, despite the laser carrying none. Using theoretical considerations and multi-dimensional particle-in-cell simulations, we find that this process is enabled by a strong frequency downshift at the gradually eroding laser pulse front. We further show that the angular momentum gained by the plasma electrons is compensated by the ions and by the combined electromagnetic fields of the laser and nonlinear plasma wave. By varying key laser parameters such as phase, frequency, and polarization, we demonstrate that the transverse momentum of high-energy electrons can be effectively controlled.

physics.plasm-ph↗

arXiv2025

Phase-Space Shaping in Wakefield Accelerators due to Betatron Cooling

Plasma-based accelerators are beginning to employ relativistic beams with unprecedented charge and ultrashort durations. These dense driver beams can drive wakes even in high-density plasmas ($\gtrsim10^{19}$ cm$^{-3}$), where betatron radiation becomes increasingly important and begins to affect the dynamics of the accelerated beam. In this Letter, we show that betatron cooling leads to a strong, structuring of the phase space of the beam. This gives rise to bunched, ring-like structures with positive radial position and momentum gradients, \emph{i.e.}, population inversion of the amplitude of oscillation. We derive the characteristic timescales for this process analytically and confirm our predictions with multi-dimensional Particle-in-Cell simulations. The radiation-dominated regime of beam dynamics fundamentally alters the acceleration process and produces self-structured beams capable of triggering coherent betatron emission in ion channels.

physics.acc-ph↗

arXiv2025

Plasma Accelerator For Decaying Particles

We introduce a plasma wakefield acceleration scheme capable of boosting initially subrelativistic particles to relativistic velocities within millimeter-scale distances. A subluminal light pulse drives a wake whose velocity is continuously matched to the beam speed through a tailored plasma density, thereby extending the dephasing length. We develop a theoretical model that is generalizable across particle mass, initial velocity, and the particular accelerating bucket being used, and we verify its accuracy with particle-in-cell simulations using laser drivers with energies in the Joule range.

physics.plasm-ph↗

arXiv2024

The electron cyclotron maser instability in laser-ionized plasmas

We show that circularly polarized lasers create plasmas with long-lasting ring-shaped weakly relativistic momentum distributions which, in the presence of an ambient magnetic field, are prone to the electron cyclotron maser instability. Theoretical results and particle-in-cell simulations show that current laser technology can effectively induce field ionized tailored distribution functions and probe the electron cyclotron maser in controlled conditions, providing direct experimental evidence to coherent radiation processes driven by ring-shaped or Landau inverted momentum distributions of relevance in extreme astrophysical conditions.

physics.plasm-ph↗

arXiv2024

Radiative cooling induced coherent maser emission in relativistic plasmas

Relativistic plasmas in strong electromagnetic fields exhibit distinct properties compared to classical plasmas. In astrophysical environments, such as neutron stars, white dwarfs, AGNs, and shocks, relativistic plasmas are pervasive and are expected to play a crucial role in the dynamics of these systems. Despite their significance, both experimental and theoretical studies of such plasmas have been limited. Here, we present the first ab initio high-resolution kinetic simulations of relativistic plasmas undergoing synchrotron cooling in a highly magnetized medium. Our results demonstrate that these plasmas spontaneously generate coherent linearly polarised radiation (independently of the electron/positron ratio), in a wide range of parameters, via the electron cyclotron maser instability, with radiative losses altering the saturation of this instability. This enables the plasma to continously amplify coherent radiation for significantly longer durations of time. These findings highlight fundamental differences in the behaviour of relativistic plasmas in strongly magnetized environments and align with astronomical phenomena, such as pulsar emission and Fast Radio Bursts.

physics.plasm-ph↗

arXiv2024

Relaxation to universal non-Maxwellian equilibria in a collisionless plasma

Generic equilibria are derived for turbulent relaxing plasmas via an entropy-maximization procedure that accounts for the short-time conservation of certain collisionless invariants. The conservation of these collisionless invariants endows the system with a partial `memory' of its prior conditions, but is imperfect on long time scales due to the development of a turbulent cascade to small scales, which breaks the precise conservation of phase volume, making this memory imprecise. The equilibria are still determined by the short-time collisionless invariants, but the invariants themselves are driven to a universal form by the nature of the turbulence. This is numerically confirmed for the case of beam instabilities in one-dimensional electrostatic plasmas, where sufficiently strong turbulence appears to cause the distribution function of particle energies to develop a universal power-law tail, with exponent -2.

physics.plasm-ph↗

arXiv2024

Ring momentum distributions as a general feature of Vlasov dynamics in the synchrotron dominated regime

We study how radiation reaction leads plasmas initially in kinetic equilibrium to develop features in momentum space, such as anisotropies and population inversion, resulting in a ring-shaped momentum distribution that can drive kinetic instabilities. We employ the Landau-Lifshiftz radiation reaction model for a plasma in a strong magnetic field, and we obtain the necessary condition for the development of population inversion, we show that isotropic Maxwellian and Maxwell-Jüttner plasmas, with thermal temperature $T>m_e c^2/\sqrt{3}$, will develop a ring-like momentum distribution. The timescales and features for forming ring-shaped momentum distributions, the effect of collisions and non-uniform magnetic fields are disscussed, and compared with typical astrophysical and laboratory plasmas parameters. Our results show the pervasiveness of ring-like momentum distribution functions in synchrotron dominated plasma conditions.

physics.plasm-ph↗

arXiv2023

Positron acceleration in plasma waves driven by non-neutral fireball beams

Plasma-based positron acceleration is still an open question, as the most efficient regimes for electron acceleration (quasi-linear and blowout) are not directly applicable to positrons. Nevertheless, positron acceleration is a stepping stone on the path toward a plasma-based lepton collider. In this work, we propose a scheme for positron acceleration based on the spatial overlap of a driver (electron or laser) beam and a positron beam, also known as a fireball beam. Under appropriate conditions, these beams can self-consistently evolve toward a hollow driver and focused positron beam on-axis, driving plasma waves suitable for positron acceleration. This evolution seems to be a manifestation of the current filamentation instability. We discuss how the self-consistent dynamics affect the beam quality and perform a preliminary tolerance study.

physics.plasm-ph↗

arXiv2021

Weibel instability beyond bi-Maxwellian anisotropy

The shape of the anisotropic velocity distribution function, beyond the realm of strict Maxwellians can play a significant role in determining the evolution of the Weibel instability dictating the dynamics of self-generated magnetic fields. For non-Maxwellian distribution functions, we show that the direction of the maximum growth rate wavevector changes with shape. We investigate different laser-plasma interaction model distributions which show that their Weibel generated magnetic fields may require closer scrutiny beyond the second moment (temperature) anisotropy ratio characterization.

physics.plasm-ph↗

arXiv2021

Anisotropic heating and magnetic field generation due to Raman scattering in laser-plasma interactions

We identify a mechanism for magnetic field generation in the interaction of intense electromagnetic waves and underdense plasmas. We show that Raman scattered plasma waves trap and heat the electrons preferentially in their propagation direction, resulting in a temperature anisotropy. In the trail of the laser pulse, we observe magnetic field growth which matches the Weibel mechanism due to the temperature anisotropy. We discuss the role of the initial electron temperature in our results. The predictions are confirmed with multi-dimensional particle-in-cell simulations. We show how this configuration is an experimental platform to study the long-time evolution of the Weibel instability.

physics.plasm-ph↗

arXiv2021

Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction

Computer-based systems have been used to solve several domain problems, such as industrial, military, education, and wearable. Those systems need high-quality software to guarantee security and safety. We advocate that Bounded Model Checking (BMC) techniques can detect security vulnerabilities in the early stages of development processes. However, this technique struggles to scale up and verify large software commonly found on computer-based systems. Here, we develop and evaluate a pragmatic approach to verify large software systems using a state-of-the-art bounded model checker. In particular, we pre-process the input source-code files and then guide the model checker to explore the code systematically. We also present a multi-core implementation of the k-induction proof algorithm to verify and falsify large software systems iteratively. Our experimental results using the Efficient SMT-based Model Checker (ESBMC) show that our approach can guide ESBMC to efficiently verify large software systems. We evaluate our approach using the PuTTY application to verify 136 files and 2803 functions in less than 86 minutes, and the SlimGuard allocator, where we have found real security vulnerabilities confirmed by the developers. We conclude that our approach can successfully guide a bounded model checker to verify large software systems systematically.

cs.CR↗