Can solar wind viscous drag account for CME deceleration?

The forces acting on solar Coronal Mass Ejections (CMEs) in the interplanetary medium have been evaluated so far in terms of an empirical drag coefficient $C_{\rm D} \sim 1$ that quantifies the role of the aerodynamic drag experienced by a typical CME due to its interaction with the ambient solar wind. We use a microphysical prescription for viscosity in the turbulent solar wind to obtain an analytical model for the drag coefficient $C_{\rm D}$. This is the first physical characterization of the aerodynamic drag experienced by CMEs. We use this physically motivated prescription for $C_{\rm D}$ in a simple, 1D model for CME propagation to obtain velocity profiles and travel times that agree well with observations of deceleration experienced by fast CMEs.Comment: Accepted for publication in the Geophysical Research Letter

HAWC response to atmospheric electricity activity

The HAWC Gamma Ray observatory consists of 300 water Cherenkov detectors (WCD) instrumented with four photo multipliers tubes (PMT) per WCD. HAWC is located between two of the highest mountains in Mexico. The high altitude (4100 m asl), the relatively short distance to the Gulf of Mexico (~100 km), the large detecting area (22 000 m$^2$) and its high sensitivity, make HAWC a good instrument to explore the acceleration of particles due to the electric fields existing inside storm clouds. In particular, the scaler system of HAWC records the output of each one of the 1200 PMTs as well as the 2, 3, and 4-fold multiplicities (logic AND in a time window of 30 ns) of each WCD with a sampling rate of 40 Hz. Using the scaler data, we have identified 20 enhancements of the observed rate during periods when storm clouds were over HAWC but without cloud-earth discharges. These enhancements can be produced by electrons with energy of tens of MeV, accelerated by the electric fields of tens of kV/m measured at the site during the storm periods. In this work, we present the recorded data, the method of analysis and our preliminary conclusions on the electron acceleration by the electric fields inside the clouds.Comment: Presented at the 35th International Cosmic Ray Conference (ICRC2017), Bexco, Busan, Korea. See arXiv:1708.02572 for all HAWC contribution

Zeta-like Multizeta Values for higher genus curves

We prove or conjecture several relations between the multizeta values for positive genus function fields of class number one, focusing on the zeta-like values, namely those whose ratio with the zeta value of the same weight is rational (or conjecturally equivalently algebraic). These are the first known relations between multizetas, which are not with prime field coefficients. We seem to have one universal family. We also find that interestingly the mechanism with which the relations work is quite different from the rational function field case, raising interesting questions about the expected motivic interpretation in higher genus. We provide some data in support of the guesses.Comment: Expository revisions plus appendices containing proofs of more cases of conjecture

Provably Total Primitive Recursive Functions: Theories with Induction

A natural example of a function algebra is R (T), the class of provably total computable functions (p.t.c.f.) of a theory T in the language of first order Arithmetic. In this paper a simple characterization of that kind of function algebras is obtained. This provides a useful tool for studying the class of primitive recursive functions in R (T). We prove that this is the class of p.t.c.f. of the theory axiomatized by the induction scheme restricted to (parameter free) Δ1(T)–formulas (i.e. Σ1–formulas which are equivalent in T to Π1–formulas). Moreover, if T is a sound theory and proves that exponentiation is a total function, we characterize the class of primitive recursive functions in R (T) as a function algebra described in terms of bounded recursion (and composition). Extensions of this result are related to open problems on complexity classes. We also discuss an application to the problem on the equivalence between (parameter free) Σ1–collection and (uniform) Δ1–induction schemes in Arithmetic. The proofs lean upon axiomatization and conservativeness properties of the scheme of Δ1(T)–induction and its parameter free version

Envelopes, indicators and conservativeness

A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic given by the collection scheme restricted to Σn +1‐formulas) is a Πn +2‐conservative extension of IΣn (the fragment given by the induction scheme restricted to Σn ‐formulas). In this paper, as a continuation of our previous work on collection schemes for Δn +1(T )‐formulas (see [4]), we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2‐conservative extension of T . We prove that this conservativeness property is equivalent to a model‐theoretic property relating Πn ‐envelopes and Πn ‐indicators for T . The analysis of Σn +1‐collection we develop here is also applied to Σn +1‐induction using Parsons' conservativeness theorem instead of Friedman‐Paris' theorem. As a corollary, our work provides new model‐theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos (see [8]): BΣn +1 and IΣn +1 are Σn +3‐conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1.Junta de Andalucía TIC-13

Ressenyes

Index de les obres ressenyades: Manuel ARENILLA SÁEZ (dir.); Manuel VILLORIA MENDIETA, ; Ángel IGLESIAS ALONSO ; Leticia DELGADO GODOY (coords.), Los modelos, proyectos y políticas de participación en grandes y medianas ciudades. Madrid: Universidad Rey Juan Carlos, 2007

On the quantifier complexity of Δ n+1 (T)– induction

In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction rule for Δ n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons’ conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for Π n+2 and Δ n+1 formulas (see [2]).Ministerio de Educación y Cultura DGES PB96-134