Instabilities in neutrino-plasma density waves

One examines the interaction and possible resonances between supernova neutrinos and electron plasma waves. The neutrino phase space distribution and its boundary regions are analyzed in detail. It is shown that the boundary regions are too wide to produce non-linear resonant effects. The growth or damping rates induced by neutrinos are always proportional to the neutrino flux and $G_{{\rm F}}^{2}$.Comment: 9 pages, a few words modified to match PRD publicatio

Modulational instability of spatially broadband nonlinear optical pulses in four-state atomic systems

The modulational instability of broadband optical pulses in a four-state atomic system is investigated. In particular, starting from a recently derived generalized nonlinear Schr\"odinger equation, a wave-kinetic equation is derived. A comparison between coherent and random phase wave states is made. It is found that the spatial spectral broadening can contribute to the nonlinear stability of ultra-short optical pulses. In practical terms, this could be achieved by using random phase plate techniques.Comment: 9 pages, 3 figures, to appear in Phys. Rev.

Heating plasma loops in the solar corona

We find a new heat source term for hot coronal loops and include it in the energy equation. This term requires the loop to be hotter than the ambient corona and depends on the combined effect of electron fluid shear and the temperature gradient. Under certain circumstances, the shear drives the heat up the radial temperature gradient into a cross section of the magnetic flux tube from which it leaves by radiation and by conduction down the axial temperature gradient in the usual manner. The heat source is thus a surface term applied over the whole of the loop rather than a volume-distributed term, and its strength is proportional to the cube of the temperature. We apply it to the usual scaling law and obtain an expression for the radius of the flux tube for thermal equilibrium to hold. The temperature distribution around the plasma loop is determined and compared with recent observations and is found to be in satisfactory agreement with them

Sep acceleration in CME driven shocks using a hybrid code

WOS:000341172100009 (Nº de Acesso Web of Science)We perform hybrid simulations of a super-Alfvénic quasi-parallel shock, driven by a coronal mass ejection (CME), propagating in the outer coronal/solar wind at distances of between 3 to 6 solar radii. The hybrid treatment of the problem enables the study of the shock propagation on the ion timescale, preserving ion kinetics and allowing for a self-consistent treatment of the shock propagation and particle acceleration. The CME plasma drags the embedded magnetic field lines stretching from the sun, and propagates out into interplanetary space at a greater velocity than the in situ solar wind, driving the shock, and producing very energetic particles. Our results show that electromagnetic Alfvén waves are generated at the shock front. The waves propagate upstream of the shock and are produced by the counter-streaming ions of the solar wind plasma being reflected at the shock. A significant fraction of the particles are accelerated in two distinct phases: first, particles drift from the shock and are accelerated in the upstream region, and second, particles arriving at the shock get trapped and are accelerated at the shock front. A fraction of the particles diffused back to the shock, which is consistent with the Fermi acceleration mechanism

All-optical trapping and acceleration of heavy particles

A scheme for fast, compact, and controllable acceleration of heavy particles in vacuum is proposed, in which two counterpropagating lasers with variable frequencies drive a beat-wave structure with variable phase velocity, thus allowing for trapping and acceleration of heavy particles, such as ions or muons. Fine control over the energy distribution and the total charge of the beam is obtained via tuning of the frequency variation. The acceleration scheme is described with a one-dimensional theory, providing the general conditions for trapping and scaling laws for the relevant features of the particle beam. Two-dimensional, electromagnetic particle-in-cell simulations confirm the validity and the robustness of the physical mechanism.Comment: 10 pages, 3 figures, to appear in New Journal of Physic

Numerical simulation of unconstrained cyclotron resonant maser emission

When a mainly rectilinear electron beam is subject to significant magnetic compression, conservation of magnetic moment results in the formation of a horseshoe shaped velocity distribution. It has been shown that such a distribution is unstable to cyclotron emission and may be responsible for the generation of Auroral Kilometric Radiation (AKR) an intense rf emission sourced at high altitudes in the terrestrial auroral magnetosphere. PiC code simulations have been undertaken to investigate the dynamics of the cyclotron emission process in the absence of cavity boundaries with particular consideration of the spatial growth rate, spectral output and rf conversion efficiency. Computations reveal that a well-defined cyclotron emission process occurs albeit with a low spatial growth rate compared to waveguide bounded simulations. The rf output is near perpendicular to the electron beam with a slight backward-wave character reflected in the spectral output with a well defined peak at 2.68GHz, just below the relativistic electron cyclotron frequency. The corresponding rf conversion efficiency of 1.1% is comparable to waveguide bounded simulations and consistent with the predictions of kinetic theory that suggest efficient, spectrally well defined radiation emission can be obtained from an electron horseshoe distribution in the absence of radiation boundaries.Publisher PD

Amplification and generation of ultra-intense twisted laser pulses via stimulated Raman scattering

Twisted Laguerre-Gaussian lasers, with orbital angular momentum and characterised by doughnut shaped intensity profiles, provide a transformative set of tools and research directions in a growing range of fields and applications, from super-resolution microcopy and ultra-fast optical communications to quantum computing and astrophysics. The impact of twisted light is widening as recent numerical calculations provided solutions to long-standing challenges in plasma-based acceleration by allowing for high gradient positron acceleration. The production of ultrahigh intensity twisted laser pulses could then also have a broad influence on relativistic laser-matter interactions. Here we show theoretically and with ab-initio three-dimensional particle-in-cell simulations, that stimulated Raman backscattering can generate and amplify twisted lasers to Petawatt intensities in plasmas. This work may open new research directions in non-linear optics and high energy density science, compact plasma based accelerators and light sources.Comment: 18 pages, 4 figures, 1 tabl

Automated verification of shape and size properties via separation logic.

Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties. To support automatic verification, we design a new entailment checking procedure that can handle well-founded inductive predicates using unfold/fold reasoning. We have proven the soundness and termination of our verification system, and have built a prototype system