Gyrofluid simulations of collisionless reconnection in the presence of diamagnetic effects

The effects of the ion Larmor radius on magnetic reconnection are investigated by means of numerical simulations, with a Hamiltonian gyrofluid model. In the linear regime, it is found that ion diamagnetic effects decrease the growth rate of the dominant mode. Increasing ion temperature tends to make the magnetic islands propagate in the ion diamagnetic drift direction. In the nonlinear regime, diamagnetic effects reduce the final width of the island. Unlike the electron density, the guiding center density does not tend to distribute along separatrices and at high ion temperature, the electrostatic potential exhibits the superposition of a small scale structure, related to the electron density, and a large scale structure, related to the ion guiding-center density

Electron-scale reduced fluid models with gyroviscous effects

Reduced fluid models for collisionless plasmas including electron inertia and finite Larmor radius corrections are derived for scales ranging from the ion to the electron gyroradii. Based either on pressure balance or on the incompressibility of the electron fluid, they respectively capture kinetic Alfv\'en waves (KAWs) or whistler waves (WWs), and can provide suitable tools for reconnection and turbulence studies. Both isothermal regimes and Landau fluid closures permitting anisotropic pressure fluctuations are considered. For small values of the electron beta parameter $\beta_e$, a perturbative computation of the gyroviscous force valid at scales comparable to the electron inertial length is performed at order $O(\beta_e)$, which requires second-order contributions in a scale expansion. Comparisons with kinetic theory are performed in the linear regime. The spectrum of transverse magnetic fluctuations for strong and weak turbulence energy cascades is also phenomenologically predicted for both types of waves. In the case of moderate ion to electron temperature ratio, a new regime of KAW turbulence at scales smaller than the electron inertial length is obtained, where the magnetic energy spectrum decays like $k_\perp^{-13/3}$, thus faster than the $k_\perp^{-11/3}$ spectrum of WW turbulence.Comment: 29 pages, 4 figure

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm is in charge of giving a meaning to the terms, types and proof terms directly written by the user or generated by using tactics, decision procedures or general automation. The terms are written in an "external syntax" meant to be user friendly that allows omission of information, untyped binders and a certain liberal use of user defined sub-typing. The refiner modifies the terms to obtain related well typed terms in the internal syntax understood by the kernel of the ITP. In particular, it acts as a type inference algorithm when all the binders are untyped. The proposed algorithm is bi-directional: given a term in external syntax and a type expected for the term, it propagates as much typing information as possible towards the leaves of the term. Traditional mono-directional algorithms, instead, proceed in a bottom-up way by inferring the type of a sub-term and comparing (unifying) it with the type expected by its context only at the end. We propose some novel bi-directional rules for CIC that are particularly effective. Among the benefits of bi-directionality we have better error message reporting and better inference of dependent types. Moreover, thanks to bi-directionality, the coercion system for sub-typing is more effective and type inference generates simpler unification problems that are more likely to be solved by the inherently incomplete higher order unification algorithms implemented. Finally we introduce in the external syntax the notion of vector of placeholders that enables to omit at once an arbitrary number of arguments. Vectors of placeholders allow a trivial implementation of implicit arguments and greatly simplify the implementation of primitive and simple tactics

Gyrofluid simulations of collisionless reconnection in the presence of diamagnetic effects

The effects of the ion Larmor radius on magnetic reconnection are investigated by means of numerical simulations, with a Hamiltonian gyrofluid model. In the linear regime, it is found that ion diamagnetic effects decrease the growth rate of the dominant mode. Increasing ion temperature tends to make the magnetic islands propagate in the ion diamagnetic drift direction. In the nonlinear regime, diamagnetic effects reduce the final width of the island. Unlike the electron density, the guiding center density does not tend to distribute along separatrices and at high ion temperature, the electrostatic potential exhibits the superposition of a small scale structure, related to the electron density, and a large scale structure, related to the ion guiding-center density

Superposition as a logical glue

The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline. A large part of this background knowledge is expressed in form of equalities and isomorphisms, allowing mathematicians to freely move between different incarnations of the same entity without even mentioning the transformation. Providing ITP-systems with similar capabilities seems to be a major way to improve their intelligence, and to ease the communication between the user and the machine. The present paper discusses our experience of integration of a superposition calculus within the Matita interactive prover, providing in particular a very flexible, "smart" application tactic, and a simple, innovative approach to automation.Comment: In Proceedings TYPES 2009, arXiv:1103.311

Observation of Scaling Violations in Scaled Momentum Distributions at HERA

Charged particle production has been measured in deep inelastic scattering (DIS) events over a large range of $x$ and $Q^2$ using the ZEUS detector. The evolution of the scaled momentum, $x_p$, with $Q^2,$ in the range 10 to 1280 $GeV^2$, has been investigated in the current fragmentation region of the Breit frame. The results show clear evidence, in a single experiment, for scaling violations in scaled momenta as a function of $Q^2$.Comment: 21 pages including 4 figures, to be published in Physics Letters B. Two references adde

Measurement of the open-charm contribution to the diffractive proton structure function

Production of D*+/-(2010) mesons in diffractive deep inelastic scattering has been measured with the ZEUS detector at HERA using an integrated luminosity of 82 pb^{-1}. Diffractive events were identified by the presence of a large rapidity gap in the final state. Differential cross sections have been measured in the kinematic region 1.5 < Q^2 < 200 GeV^2, 0.02 < y < 0.7, x_{IP} < 0.035, beta 1.5 GeV and |\eta(D*+/-)| < 1.5. The measured cross sections are compared to theoretical predictions. The results are presented in terms of the open-charm contribution to the diffractive proton structure function. The data demonstrate a strong sensitivity to the diffractive parton densities.Comment: 35 pages, 11 figures, 6 table

Gyrofluid simulations of collisionless reconnection in the presence of diamagnetic effects

The effects of the ion Larmor radius on magnetic reconnection are investigated by means of numerical simulations, with a Hamiltonian gyrofluid model. In the linear regime, it is found that ion diamagnetic effects decrease the growth rate of the dominant mode. Increasing ion temperature tends to make the magnetic islands propagate in the ion diamagnetic drift direction. In the nonlinear regime, diamagnetic effects reduce the final width of the island. Unlike the electron density, the guiding center density does not tend to distribute along separatrices and at high ion temperature, the electrostatic potential exhibits the superposition of a small scale structure, related to the electron density, and a large scale structure, related to the ion guiding-center density

On the use of projectors for Hamiltonian systems and their relationship with Dirac brackets

The role of projectors associated with Poisson brackets of constrained Hamiltonian systems is analyzed. Projectors act in two instances in a bracket: in the explicit dependence on the variables and in the computation of the functional derivatives. The role of these projectors is investigated by using Dirac's theory of constrained Hamiltonian systems. Results are illustrated by three examples taken from plasma physics: magnetohydrodynamics, the Vlasov-Maxwell system, and the linear two-species Vlasov system with quasineutrality

Isolated tau leptons in events with large missing transverse momentum at HERA

A search for events containing isolated tau leptons and large missing transverse momentum, not originating from the tau decay, has been performed with the ZEUS detector at the electron-proton collider HERA, using 130 pb^-1 of integrated luminosity. A search was made for isolated tracks coming from hadronic tau decays. Observables based on the internal jet structure were exploited to discriminate between tau decays and quark- or gluon-induced jets. Three tau candidates were found, while 0.40 +0.12 -0.13 were expected from Standard Model processes, such as charged current deep inelastic scattering and single W-boson production. To search for heavy-particle decays, a more restrictive selection was applied to isolate tau leptons produced together with a hadronic final state with high transverse momentum. Two candidate events survive, while 0.20 +-0.05 events are expected from Standard Model processes.Comment: 28 pages, 4 figures, 3 tables, accepted by Phys. Lett. B. Updated with minor changes to the text requested by the journal refere