4,672 research outputs found
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 .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
- …