New bounds on neutrino magnetic moment and re-examination of plasma effect in neutrino spin light

Recent discussion on the possibility to obtain more stringent bounds on neutrino magnetic moment has stimulated new interest to possible effects induced by neutrino magnetic moment. In particular, in this note after a short review on neutrino magnetic moment we re-examine the effect of plasmon mass on neutrino spin light radiation in dense matter. We track the entry of the plasmon mass quantity in process characteristics and found out that the most substantial role it plays is the formation of the process threshold. It is shown that far from this point the plasmon mass can be omitted in all the corresponding physical quantities and one can rely on the results of massless photon spin light radiation theory in matter.Comment: to appear in Nuovo Cimento 35 C, No. 1, 2012 (based on the talk presented at the 25th Rencontres de Physique de la Vallee d'Aoste on "Results and Perspectives in Particle Physics", La Thuile, February 27 - March 5, 201

Electron mobility on a surface of dielectric media: influence of surface level atoms

We calculate the contribution to the electron scattering rate from the surface level atoms (SLA), proposed in [A.M. Dyugaev, P.D. Grigoriev, JETP Lett. 78, 466 (2003)]. The inclusion of these states into account was sufficient to explain the long-standing puzzles in the temperature dependence of the surface tension of both He isotopes and to reach a very good agreement between theory and experiment. We calculate the contribution from these SLA to the surface electron scattering rate and explain some features in the temperature dependence of the surface electron mobility. This contribution is essential at low temperature $T<0.5$ when the He vapor concentration is exponentially small. For an accurate calculation of the electron mobility one also needs to consider the influence of the clamping electric field on the surface electron wave function and the temperature dependence of the He3 chemical potential.Comment: 6 pages, 1 figur

A Simpler formulation of natural deduction calculus for linear-time temporal logic

The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a new formulation of natural deduction calculus for PLTL. The system is shown to be sound and complete. This new formulation is simpler than the previous one, and this fact is believed to be crucial for possible appli cations of our technique as an automatic reasoning tool in a deliberative decision making framework across various AI applications