Chiral corrections to the isovector double scattering term for the pion-deuteron scattering length

The empirical value of the real part of the pion-deuteron scattering length can be well understood in terms of the dominant isovector $\pi N$-double scattering contribution. We calculate in chiral perturbation theory all one-pion loop corrections to this double scattering term which in the case of $\pi N$-scattering close the gap between the current-algebra prediction and the empirical value of the isovector threshold T-matrix $T_{\pi N}^-$. In addition to closing this gap there is in the $\pi d$-system a loop-induced off-shell correction for the exchanged virtual pion. Its coordinate space representation reveals that it is equivalent to $2\pi$-exchange in the deuteron. We evaluate the chirally corrected double scattering term and the off-shell contribution with various realistic deuteron wave functions. We find that the off-shell correction contributes at most -8% and that the isovector double scattering term explains at least 90% of the empirical value of the real part of the $\pi d$-scattering length.Comment: 4 pages, 2 figures, to be published in The Physical Review

Relativistic calculations of pionic and kaonic atoms hyperfine structure

We present the relativistic calculation of the hyperfine structure in pionic and kaonic atoms. A perturbation method has been applied to the Klein-Gordon equation to take into account the relativistic corrections. The perturbation operator has been obtained \textit{via} a multipole expansion of the nuclear electromagnetic potential. The hyperfine structure of pionic and kaonic atoms provide an additional term in the quantum electrodynamics calculation of the energy transition of these systems. Such a correction is required for a recent measurement of the pion mass

Reasoning with global assumptions in arithmetic modal logics

We establish a generic upper bound ExpTime for reasoning with global assumptions in coalgebraic modal logics. Unlike earlier results of this kind, we do not require a tractable set of tableau rules for the in- stance logics, so that the result applies to wider classes of logics. Examples are Presburger modal logic, which extends graded modal logic with linear inequalities over numbers of successors, and probabilistic modal logic with polynomial inequalities over probabilities. We establish the theoretical upper bound using a type elimination algorithm. We also provide a global caching algorithm that offers potential for practical reasoning

Tunka-Rex: the Cost-Effective Radio Extension of the Tunka Air-Shower Observatory

Tunka-Rex is the radio extension of the Tunka cosmic-ray observatory in Siberia close to Lake Baikal. Since October 2012 Tunka-Rex measures the radio signal of air-showers in coincidence with the non-imaging air-Cherenkov array Tunka-133. Furthermore, this year additional antennas will go into operation triggered by the new scintillator array Tunka-Grande measuring the secondary electrons and muons of air showers. Tunka-Rex is a demonstrator for how economic an antenna array can be without losing significant performance: we have decided for simple and robust SALLA antennas, and we share the existing DAQ running in slave mode with the PMT detectors and the scintillators, respectively. This means that Tunka-Rex is triggered externally, and does not need its own infrastructure and DAQ for hybrid measurements. By this, the performance and the added value of the supplementary radio measurements can be studied, in particular, the precision for the reconstructed energy and the shower maximum in the energy range of approximately $10^{17}-10^{18}\,$eV. Here we show first results on the energy reconstruction indicating that radio measurements can compete with air-Cherenkov measurements in precision. Moreover, we discuss future plans for Tunka-Rex.Comment: Proceeding of UHECR 2014, Springdale, Utah, USA, accepted by JPS Conference Proceeding

Tunka-Rex: energy reconstruction with a single antenna station (ARENA 2016)

The Tunka-Radio extension (Tunka-Rex) is a radio detector for air showers in Siberia. From 2012 to 2014, Tunka-Rex operated exclusively together with its host experiment, the air-Cherenkov array Tunka-133, which provided trigger, data acquisition, and an independent air-shower reconstruction. It was shown that the air-shower energy can be reconstructed by Tunka-Rex with a precision of 15\% for events with signal in at least 3 antennas, using the radio amplitude at a distance of 120\,m from the shower axis as an energy estimator. Using the reconstruction from the host experiment Tunka-133 for the air-shower geometry (shower core and direction), the energy estimator can in principle already be obtained with measurements from a single antenna, close to the reference distance. We present a method for event selection and energy reconstruction, requiring only one antenna, and achieving a precision of about 20\%. This method increases the effective detector area and lowers thresholds for zenith angle and energy, resulting in three times more events than in the standard reconstruction

Improved measurements of the energy and shower maximum of cosmic rays with Tunka-Rex

The Tunka Radio Extension (Tunka-Rex) is an array of 63 antennas located in the Tunka Valley, Siberia. It detects radio pulses in the 30-80 MHz band produced during the air-shower development. As shown by Tunka-Rex, a sparse radio array with about 200 m spacing is able to reconstruct the energy and the depth of the shower maximum with satisfactory precision using simple methods based on parameters of the lateral distribution of amplitudes. The LOFAR experiment has shown that a sophisticated treatment of all individually measured amplitudes of a dense antenna array can make the precision comparable with the resolution of existing optical techniques. We develop these ideas further and present a method based on the treatment of time series of measured signals, i.e. each antenna station provides several points (trace) instead of a single one (amplitude or power). We use the measured shower axis and energy as input for CoREAS simulations: for each measured event we simulate a set of air-showers with proton, helium, nitrogen and iron as primary particle (each primary is simulated about ten times to cover fluctuations in the shower maximum due to the first interaction). Simulated radio pulses are processed with the Tunka-Rex detector response and convoluted with the measured signals. A likelihood fit determines how well the simulated event fits to the measured one. The positions of the shower maxima are defined from the distribution of chi-square values of these fits. When using this improved method instead of the standard one, firstly, the shower maximum of more events can be reconstructed, secondly, the resolution is increased. The performance of the method is demonstrated on the data acquired by the Tunka-Rex detector in 2012-2014.Comment: Proceedings of the 35th ICRC 2017, Busan, Kore

Spin - glass transition in Kondo lattice with quenched disorder

We use the Popov-Fedotov representation of spin operators to construct an effective action for a Kondo lattice model with quenched disorder at finite temperatures. We study the competition between the Kondo effect and frozen spin order in Ising-like spin glass. We present the derivation of new mean-field equations for the spin-glass order parameter and analyze the effects of screening of localized spins by conduction electrons on the spin-glass phase transition.Comment: 6 pages, jetpl style included, to appear in JETP Letter