Observation of seasonal variations of the flux of high-energy atmospheric neutrinos with IceCube

Atmospheric muon neutrinos are produced by meson decays in cosmic-ray-induced air showers. The ﬂux depends on meteorological quantities such as the air temperature, which affects the density of air. Competition between decay and re-interaction of those mesons in the ﬁrst particle production generations gives rise to a higher neutrino ﬂux when the air density in the stratosphere is lower, corresponding to a higher temperature. A measurement of a temperature dependence of the atmospheric ν μ ﬂux provides a novel method for constraining hadronic interaction models of air showers. It is particularly sensitive to the production of kaons. Studying this temperature dependence for the ﬁrst time requires a large sample of high-energy neutrinos as well as a detailed understanding of atmospheric properties. We report the signiﬁcant ( > 10 σ ) observation of a correlation between the rate of more than 260,000 neutrinos, detected by IceCube between 2012 and 2018, and atmospheric temperatures of the stratosphere, measured by the Atmospheric Infrared Sounder (AIRS) instrument aboard NASA’s AQUA satellite. For the observed 10% seasonal change of effective atmospheric temperature we measure a 3.5(3)% change in the muon neutrino ﬂux. This observed correlation deviates by about 2-3 standard deviations from the expected correlation of 4.3% as obtained from theoretical predictions under the assumption of various hadronic interaction models.


Introduction
Atmospheric muon neutrinos are produced in weak decays of mesons that are produced in cosmic-ray-induced air showers in Earth's atmosphere [1].These mesons either decay and produce neutrinos and muons or interact with air.The probability of interaction decreases proportional to the local density of air, which is inversely proportional to the atmospheric temperature [2].When the probability for mesons to interact decreases, the probability of decay and the subsequent production of atmospheric neutrinos and muons increases.Therefore, the relative change in flux of atmospheric neutrinos and muons is expected to correlate with the relative change in the temperature of Earth's atmosphere.
Locally, the atmospheric temperature changes continuously resulting in daily variations.Additionally, these small variations are modulated by a larger yearly variation that is related to the seasonal change of the global atmosphere.For atmospheric muons, which arise from weak decays of mesons as well, similar variations are a well-established observation, see e.g.[3,4,5,6,7,8,9,10,11,12,13,14,15].For atmospheric ν µ a similar measurement is challenging because of the large number of events required for a signifi- ) can be seen in the bottom sketch.This sketch also contains the definition of geometrical quantities such as h, l and θ * .These quantities are explained further in Appendix A.2.The sketch is not to scale.cant observation.Additionally, the flux of atmospheric ν µ is observed from all zenith directions due to these neutrinos penetrating Earth.This requires the measurement of temperatures globally unlike the atmospheric muon flux which requires the observation of temperatures at the experiment's location.
The production of high-energy atmospheric neutrinos and muons on average occurs at high altitudes of 20 km to 40 km (corresponding to a range from 3 hPa to 60 hPa) where the atmospheric density is sufficiently large for the production of the parent mesons, but still sufficiently small for these mesons to decay.Therefore, the measurement of the correlation of atmospheric ν µ with the stratospheric temperature probes the meson production in the early development of cosmic-ray air showers at high altitude.Unlike the flux of atmospheric muons, which is generally dominated by decays of charged pions, the flux of high-energy atmospheric ν µ has a substantial contribution from decays of charged kaons [1,16].This is caused by the different energy fraction dependencies in meson decays for neutrinos (1 − m 2 µ /m 2 K/π ) and muons (m 2 µ /m 2 K/π ).Due to the higher mass, energy fractions of muons and neutrinos in kaon decays are much closer compared to pion decays.This contribution amounts to roughly 30 % at lower neutrino energies ( 10 GeV) but increases with neutrino energy reaching about 80 % at high neutrino energy ( 1 TeV) (see [17]).The production of kaons at high energy is still a major uncertainty in the modeling of air showers and atmospheric ν µ fluxes [18,19] and the analysis of seasonal variations provides a new opportunity for constraining such uncertainties.
The IceCube Neutrino Observatory [20] is measuring high-energy neutrinos of astrophysical origin.While Ice-Cube was designed to measure astrophysical neutrinos, it also detects a unique data sample of high-energy atmospheric ν µ with unprecedented statistics of several hundred thousand events in ten years at energies above 100 GeV [21].Preliminary studies of seasonal variations of the ν µ flux in IceCube have been reported earlier [22,23].
A sketch of the analysis concept is shown in Fig. 1.For each detected neutrino in IceCube, the reconstructed direction is used to determine the atmospheric temperature profile at the production site.The Atmospheric Infrared Sounder (AIRS) on NASA's Aqua satellite [24] provides a daily coverage of the global distribution of atmospheric temperatures.This atmospheric temperature dataset allows for a description of the atmospheric conditions for the respective time and direction of each neutrino event.The data is analyzed two ways: using an un-binned likelihood approach as well as a χ 2 fit with bins of daily temperature and neutrino rates.The results are investigated for various systematic effects and compared to predictions using the numerical cascade equation solver MCEq [17] with cosmic-ray primary particle fluxes, and different state-of-the-art hadronic interaction models.

The IceCube Neutrino Observatory
The IceCube Neutrino Observatory [20] is a cubic-kilometer Cherenkov detector located at the geographic South Pole.It detects neutrino interactions by measuring Cherenkov light from secondary charged particles using 5160 digital optical modules (DOMs) buried in the antarctic ice at depths of 1450 m to 2450 m below the ice's surface.Each DOM consists of a hemispherical photomultiplier tube which is embedded in a glass pressure housing together with electronics for digitization, control and communication to the surface.These DOMs are placed along 86 vertical strings arranged in a hexagonal structure.This analysis uses a sample of through-going muon tracks induced by up-going and horizontal muon-neutrinos which has been recorded between April 2012 and December 2018 , corresponding to 2443 days of data-taking and an uptime of about 97%.This uptime includes further quality requirements compared to the IceCube duty-cycle.
The data selection is identical to the analysis in [21] which investigates the diffuse astrophysical neutrino spectrum.The sample uses the Earth as a natural shield (zenith range from 85°to 180°) to suppress atmospheric muons and additional cuts are applied on the goodness of the events reconstructions and energy deposited in the detector.The selection reaches a purity of neutrino-induced muons of 99.85%, estimated using simulations.In addition to the criteria described in [21], we narrow the field of view to neutrinos reconstructed within zenith directions from 90°to 115°.Neutrinos in this range originate dominantly from air showers in Earth's Southern hemisphere with geographic latitudes between −90°to −40°, as shown in Fig. 1.With this choice, we exclude neutrinos from geographic regions of opposite seasons (Northern hemisphere) and regions with small seasonal temperature variations close to the Earth's equator.The resulting sample consists of a total of 262 846 events.This corresponds to an average of 110 detected neutrinos per day.The measured daily rates of neutrinos are shown in Fig. 2. Based on the fit of the measured energy spectrum in [21], we expect a median neutrino energy of 900 GeV, and 90 % of neutrinos to have energies between 200 GeV and 7700 GeV.

The Atmospheric Infrared Sounder AIRS
The measured neutrino rate is correlated with the atmospheric temperature at the geographic location of the parent air shower.The temperature data required by this analysis is obtained by the Atmospheric Infrared Sounder (AIRS) [24].The satellite orbits Earth on a Sun-synchronous orbit, crossing the equator at about 13:30h and 1:30h local time.AIRS observes a swath of 1650 km and gives an angular resolution of 1°×1°i n latitude and longitude.This results in observational gaps around the equator (see Fig. 10) but a good overlapping coverage of the atmosphere in the considered geographic range with at least two observations per day for every location.The AIRS data product is publicly available [24].For each measurement the data include temperatures on 24 isobar levels ranging from 0.1 hPa to 1000 hPa, and additionally include the altitude of each of these pressure levels.The combined accuracy is given as 1 K per 1 km of vertical depth [24].As an example, Fig. 3 shows for one location the yearly variation of measured temperatures and the predicted effective neutrino production yield that is weighted with the detection efficiency of IceCube.The figure highlights regions in the atmosphere with temperature variations that are relevant for atmospheric ν µ detected by IceCube.

The Effective Temperature
The geographic location of the parent air shower of an observed atmospheric ν µ is given by the observed direction  Neutrino rate dN/dt/dlog(X) [1/s] 2 0 1 2 / 0 4 / 2 9 2 0 1 2 / 0 6 / 1 8 2 0 1 2 / 0 8 / 0 7 2 0 1 2 / 0 9 / 2 6 2 0 1 2 / 1 1 / 1 5 2 0 1 3 / 0 1 / 0 4 2 0 1 3 / 0 2 / 2 3 2 0 1 3 / 0 4 / 1 4 Date of temperature measurement of the neutrino (see Fig. 1) that is expressed by the zenith angle θ and the azimuth angle ϕ.The atmospheric altitude of production cannot be measured by IceCube, and thus the atmospheric temperature measured by AIRS has to be averaged along the line of sight l as shown in Fig. 1.The altitude h of production is related to the atmospheric depth X(h, θ , ϕ) = ∞ l dl ρ(l (h, θ , ϕ)) which integrates the density from the upper edge of the atmosphere along the line of sight towards the observer.The calculated average is referred to as effective temperature: Here, t is the neutrino arrival time, θ and ϕ are the local Ice-Cube zenith and azimuth direction.These are, because of the location of IceCube at the geographic South pole, closely related to Earth's latitude and longitude.The depth dependent neutrino rate R X is defined by: ( Here E is the neutrino energy and P(X, E, θ , T ) is the atmospheric ν µ production yield, defined by dX P = dΦ dE in [2], with Φ being the the atmospheric ν µ flux.A eff (E, θ ) is IceCube's effective area, estimated by Monte-Carlo simulations.The temperature T depends on the direction θ and ϕ and the time t.The integral is approximated by the sum over the pressure levels given by AIRS, with the atmospheric depth being calculated for each level using the pressure, temperature and altitude.Both the neutrino production yield P(X, E, θ , T ) in the atmosphere and the effective detection area A eff (E, θ ) of IceCube depend on energy and zenith, and have to be integrated when the atmospheric temperature is weighted with these quantities.The temperature data is discussed in Appendix A.1.A detailed description of the implementation is given in Appendix A.2.
In this analysis, we neglect the angular dependency of effective temperatures for the selected field of view and only consider time information for the correlation.Therefore, the angular dependence is averaged over the entire considered zenith range from 90°to 115°.
Here, dΩ = dϕ • d cos(θ ) is the solid angle as seen from Ice-Cube.The zenith angle θ can be approximately related with the geographic latitude l by θ ≈ l/2 + 135°for θ > 90°.
IceCube's azimuth ϕ and Earth's longitude λ are related by To correctly account for the differences of local measurement times with respect to the IceCube time zone (UTC), these respective local times are converted into UTC.Then, for averaging the global T eff , the temperatures are interpolated for all directions considered in the analysis with respect to the UTC times of the temperature measurements and then averaged.More details are found in [25].The resulting temperatures for each UTC day are represented as the red line in Fig. 2. The temperature data clearly follow the annual seasons and also the daily neutrino rates, shown in blue, indicate a seasonal variation.The monthly averaged neutrino rates in orange highlight the correlation, which is analyzed quantitatively in the next section.

Analysis Methods and Results
This section introduces two methods to analyze the data: A binned χ 2 fit, and an un-binned likelihood.The χ 2 -fit is used in similar atmospheric muon analyses, and gives a result which is comparable to [4].The χ 2 -fit assumes gaussian distribution of event counts, which holds true for large event counts introducing a potential bias.To avoid dependencies on the statistical distribution of events an un-binned likelihood method is used as a complementary measurement.The un-binned likelihood is a new method, which is optimized for the smaller neutrino rates, and can be extended to account for an angular dependence in future analyses.

Binned χ 2 -Fit
To estimate the correlation between the atmospheric temperatures and the measured atmospheric ν µ rates, a linear relation between the relative neutrino rate change and relative effective temperature change is approximated by [2,23] where α is the slope parameter, R the average measured neutrino rate of the whole observation time, and Teff the corresponding average effective temperature.The parameter α measures the strength of the correlation.The neutrino rate R i for each day i is calculated by dividing the neutrino count N i by the effective detector livetime τ i of that day.The effective temperature is evaluated at noon (GMT) of each day through interpolation.Large uncertainties that stem from the primary cosmic-ray flux and systematic detector effects cancel out by focusing on the relative change of rate and temperature.To estimate α, similar to muon seasonal variations analyses [4,8], the χ 2 is minimized: In this χ 2 -definition an additional bias parameter b is added.This ensures robustness against systematic shifts in the average temperature and neutrino rate.The uncertainty is approximated by As the uncertainty is dominated by the limited amount of statistics of neutrino events, we neglect the uncertainty of the effective temperature and systematic uncertainties in the fit.The correlation of the quantities in Eq. 4 is plotted in Fig. 4, together with the result of the χ 2 fit, with the best fit parameter α = 0.357 ± 0.030.The p-value corresponding to a χ 2 /ndo f = 2519/2436 is 0.117, which indicates agreement of the linear model with the data.The uncertainty of α is dominated by the amount of neutrinos measured per day, but also by the range of temperature variations which is limited to ±8 % (x-axis of Fig. 4).The observed bias is compatible with zero.The significance using the χ 2 difference between the observed α and the null hypothesis of α = 0 is more than 10 standard deviations.As discussed below in section 3.3, the resulting α has been tested for its robustness with respect to the used bin-size in time and it is found to be approximately unchanged, even if time-bins up to a month are used (see Fig. 6).

Un-binned Likelihood
To exploit the full available time information of measured neutrinos, an un-binned likelihood technique is used.Compared to the χ 2 fit this approach is also independent of the underlying statistical distribution of the events.This minimizes potential biases which could occur at small neutrino rates.In a linear approximation, the probability density distribution of neutrinos in time is given by Here, τ tot is the total effective livetime.The total livetime is given by, with the measurement efficiency ε(t) defined as 1 if the detector is running and 0 if it is not taking data.In the same way the average effective temperature is calculated The log-likelihood is given by evaluating the probability density at the time of each measured neutrino event i and then summing up: Minimization of the negative LLH with respect to α results in the best estimate for the temperature coefficient.The resulting likelihood-profile in dependence of α can be seen in Fig. 5, together with the result of the minimization and the uncertainty estimated by the width of the parabola at −2 • ∆ LLH = 1: α = 0.347 ± 0.029.The uncertainty on α is comparable to the χ 2 result.There is also a small shift in α, which is consistent within the uncertainties of the two analysis methods.The gain from the additional time information in the likelihood-method is found to be small.However, in a future analysis this un-binned likelihood approach can be extended to include also directional information without the need to average temperatures over the observation zone.

Systematic Uncertainties
For the discussion of systematic uncertainties, the contributions of the relative neutrino rate and the relative effective temperature including the effect of averaging of data over the Southern hemisphere have to be considered.
Uncertainties of the neutrino rates may arise from the estimation of the effective livetime and the possible contamination by background from wrongly reconstructed atmospheric muons, both of which are found negligible.The atmospheric muon rate is correlated with the same seasonal phase as the neutrinos in the Southern hemisphere but with a correlation factor about twice as large [4].The contamination of the data sample with atmospheric muons has been estimated in [21] to about 0.15 %.This is further reduced by restricting the zenith angle to θ > 90°, leading to a rate of less than 0.16 d −1 .Assuming a maximum change of relative temperatures at the level of 8%, the variation of the rate is negligible and amounts to less than ∆ R ≈ 0.009 d −1 .As mentioned in section 2.1, IceCube is operating with a duty cycle close to 97 %.The uncertainty of the 1 % downtime is further reduced by excluding specifically days of low duty cycle from the analysis.The remaining loss in livetime that could occur, for example during run transitions, can be calculated to an accuracy of a few microseconds.
Estimating the uncertainty of T eff is more challenging.The accuracy of the measured temperatures is estimated depending on the height [24] as 1 K km −1 (see section 2.2).Assuming additionally a height uncertainty of 1% in the integration of the atmospheric depth, this implies an uncertainty of T eff of 0.25 % or about 0.7 K.This estimation is supported by the observed difference of the estimated T eff between the ascending and descending measurements of each day for which a standard deviation of 0.45 K is found.
The sufficient coverage of the atmosphere in time by the satellite can be tested with the binned analysis by increasing the bins from days to longer periods and using only the temperature at the mean time of the bin.The result is shown in Fig. 6.Even if increased to the scale of a month, the obtained α value remains almost unchanged.Only on time-scales of 3 months or more does the correlation decrease significantly due to the averaging of the seasonal effects.This, in turn, is a strong indication that an even better coverage in time and correspondingly smaller time bins would result in an unchanged α and that the time coverage of the temperature data is sufficient.
As discussed above, fractional ground-coverage and topographic changes (< 0.1 %) can be neglected for the chosen Southern hemisphere region.It turns out that the largest uncertainty arises from the numerical integration of the slant depth.Depending on the choice of bin-boundaries in the atmospheric depth integration, the relative temperatures can change up to 1 %.Another concern is the absolute accuracy of the temperature data.For estimating this uncertainty we have estimated the T eff values with a partly independent data set of atmospheric temperature profiles that also include higher altitudes [26], see also Appendix A.1.The difference of the daily determined T eff values has a standard deviation of 0.8 % which supports a robust estimation of T eff .
The median uncertainty of the directional reconstruction of neutrino events is roughly 1°at 1 TeV neutrino energy and improves to 0.3°at 1 PeV [27].This results in a small mismatch of the assumed location of the parent air shower from its true location.By averaging the T eff over zenith and azimuth in the observation zone, this effect becomes negligible.Also other systematic detector effects, like the photo detection efficiency of the DOMs or optical properties of the ice, can be largely excluded.The detector is being operated in an almost unchanged configuration during the observation time and small changes in the effective area do cancel in the relative rates.Related to the detection of neutrinos with IceCube, additional uncertainties arise.This is tested by varying systematic effects of the detector, e.g. the absorption length in the ice or the quantum efficiency of the PMTs, in the MC simulation.The largest deviation of α was found to be δ α = 0.005, so the systematic detector effects can be neglected compared to other uncertainties.Effects from the uncertainty of the primary cosmic-ray spectrum on the prediction are tested in two ways: The first method varies the spectral index of the primary spectrum by multiplying the flux with a factor (E/E 0 ) ∆ γ CR .A change of ∆ γ CR of 0.05 results in a change δ α = 0.005.The second method changes the composition of the primary flux by fixing it to either pure proton (ln(A) = 0) or pure iron (ln(A) = 4).The difference in α between these extreme scenarios is 0.02.

Comparison with Model Predictions
In this section the experimental measurement is compared to model expectations that are based on the physics of cosmicray air showers.

Atmospheric ν µ Flux Modeling
The model expectation of the seasonal variation of the neutrino flux is based on a full numerical calculation of the cascade equation of atmospheric air showers using the numerical cascade equation solver MCEq [17].The calculation of the neutrino flux is done for each day at each location.Here we explicitly use the daily-measured local temperature profiles measured by AIRS, as they are used in the calculation of effective temperatures.Therefore, the specific properties of the local and time dependent atmosphere is accounted for as precisely as possible.This approach thus includes the full seasonal variation of temperature profiles of the global atmosphere during the observation time.We also compare the results of the analysis to the expectation of an analytic approximation of the cascade equation [2], which is also used to estimate the production probability in Eq. 1.The analytic approximation embeds the temperature dependence in the critical energies ε π,K .The critical energy is the energy scale above which re-interactions dominate decay processes of the parent mesons.Both of these approaches are compared in [28].For the calculations with MCEq, hadronic interactions are modeled by SIBYLL 2.3c [29] and the cosmic-ray primary particle flux by the H4a flux model [30].After integrating the modeled neutrino fluxes Φ(E, θ , ϕ,t) with the effective area of IceCube A eff (E, θ ), this method gives the expected neutrino rates R(t) for each day during the observation time: From this time dependent rate expectation, we generate an ensemble of pseudo-experiments of neutrino events for the considered observation time that are then analyzed using the same methods and the same effective temperature data as the experimentally measured neutrino events.A comparison of the expected correlations with the experimental results for the two analysis methods, are shown in Table 1.In addition to the full MCEq calculation and the analytic approximation, the expectation from the extreme cases of only pions or kaons as parent particles are given.The agreement between the analytic approximation and the MCEq based result is high, underlining the result in [28].The experimental measurement finds a correlation that is smaller than the theoretical prediction by about 2 to 3 standard deviations.This tension is investigated further in the next sections.Uncertainties in the prediction of the flux of atmospheric muon neutrinos are related to the flux of primary cosmicrays, the composition of the primary particles, and the production and re-interaction probability of parent mesons (kaons and pions) in the atmosphere.In particular, a substantially larger number of parent kaons (see Table 1) would reduce the observed tension.Changes in the fraction of parent mesons can be related to uncertainties in the respective production and re-interaction cross sections of these mesons in particle interactions in the air.Such uncertainties are described in [18], by introducing parameters in different regions of primary nucleon energy and secondary meson lab energy fraction x L .As shown in [21], only high-energy (> 100 GeV) meson production is relevant for the atmospheric ν µ flux.For an estimation how these uncertainties propagate to the expected seasonal variation of atmospheric ν µ fluxes, we have varied these parameters assuming independent Gaussian uncertainties for each of these and calculated the corresponding value of α for each instance.This procedure is repeated, in addition to the SIBYLL 2.3c model [29], also for different hadronic interaction models: EPOS-LHC [31], QGSJet-II 04 [32], and DPMJet-III 19.1 [33].The resulting distributions of α values are displayed in Fig. 7.It can be seen that all interaction models predict rather sim-

Experimental result Predictions
Fig. 7 Plot comparing the predictions (error-bar and violins) of different hadronic interaction models with the experimental result (horizontal red line) of this analysis (un-binned LLH).The systematic uncertainties of the predictions are estimated by varying several Barr parameters [18] inside their prior distributions, with the resulting likelihood distribution of expected α values being represented by the violins (larger width corresponds to a higher likelihood).The p-values of each hadronic interaction model are estimated in Table 2.
ilar α values with also a similar variance when including the variation of the parameters in [18].The observed tension thus persists also under variation of the atmospheric and hadronic model parameters.
For each of the hadronic interaction models, a p-value for the agreement with the experimental result based on the statistical uncertainty of the experiment and the systematic uncertainty from the atmospheric modeling is calculated and shown in Table 2.The best agreement is found for the DPMJet-III 19.1 model, with a tension of 1.8 σ , the largest tension is found for the QGSJet-II 04 model with a tension of 2.3 σ .

Systematic Effects of the Observed Tension
In order to investigate the origin of the observed tension between model predictions and our measurement, Fig. 8 shows the measured and expected rate variation as a function of the respective temperature difference.The figure indicates an inverted sigmoidal trend of the data for small values of ∆ T eff .
Table 2 Summary of the expected α-values for different hadronic interaction models with the uncertainty estimates based on the method in [18].The given uncertainties reflect the 68% region around the central value.The p-value giving the comparability of prediction and experimental result includes the statistical uncertainty of the experiment as well as the uncertainty estimated by varying the Barr-parameters.All predictions used MCEq with the H4a primary cosmic ray model.hadr.interaction model α p-value SIBYLL 2.3c [29] 0.429 +0.025 −0.021 0.025 EPOS-LHC [31] 0.433 +0.025 −0.021 0.019 QGSJet-II 04 [32] 0.443 +0.025 −0.022 0.010 DPMJet-III 19.1 [33] 0.426 While the extreme values of ∆ T eff would be consistent with the expectation, the overall range results in a smaller overall slope for the experimental data.The apparent region close to small absolute ∆ T eff corresponds to the spring and fall seasons at the South Pole.These times are dominated by rapid temperature changes with large fluctuation particularly in spring as seen in Fig. 2.
In the following sections, we investigate the effects of splitting the data into smaller, systematically split sets.The results of the different splits are summarized in Fig. 9.

Yearly Splits
When splitting the observation periods into single years and repeating the analysis, the obtained α values show larger fluctuations.These are, however, consistent with the larger statistical uncertainties.For the years 2012, 2015, and 2016 the obtained values agree with the expectation, while for the year 2014 the smallest α value is measured.Detailed investigations of specific peculiarities of the IceCube detector operation as well as the used AIRS temperature data have revealed no indications of any specific difference for this period.Therefore, the observed fluctuations away from the all year mean are considered of statistical origin.

Energy Dependence
The correlation between the atmospheric ν µ rate and the atmospheric temperature exhibits a strong energy dependence, and up to this point the correlation analysis effectively averages the effect over the energy distribution of measured neutrinos.In order to verify the expected energy dependence and the implicit averaging of the spectrum, the full data is split into two samples with respect to low and high reconstructed energy [34].The measured energy distribution is shown in Fig. 13, and the data is split at the median reconstructed energy value of 700 GeV which thus yields two samples of equal statistical power.The analysis is repeated for each sample separately and results are shown in Fig. 9, together with the theoretically predicted values for the same energy split.As expected, in the low-energy bin the value of α becomes smaller in contrast to the larger value at high energies.The same effect is observed for the prediction as well.This reflects that the decay probability decreases compared to the interaction probability of the parent mesons with higher energy, leading to a larger seasonal dependence.
The tension between model and experiment is similar for both energy regions.This observation disfavors effects related to the energy dependence of the detector response or the prediction as origin of the observed tension.One can conclude that the tension persists independent of the selected energy range.

Hysteresis due to Seasonally Dependent Atmospheric
Layering.
During seasons of generally rising or generally falling temperatures, the layering of the temperatures can strongly differ (see Fig. 3).Due to the marginalization of the altitude information in the calculation of T eff , different temperature profiles in spring and fall can result in a small difference of the atmospheric ν µ rates for the same value of T eff .This effect has been observed for atmospheric muons [4], and is called hysteresis effect because of the difference in rate for different seasons at the same T eff value.The non-linearity in the relation between rate and temperature is expected on the level of less than 1 % difference of the measured rates between spring and fall which is much smaller than the effect observed here.Furthermore, our calculation of the expectation that includes each measured temperature profile does in fact include this effect and results in a small expected difference between spring and fall of less than 0.4 %.As an experimental verification, the data is split at the maximum and minimum points of temperature into a falling (fall) and rising (spring) samples (see Fig. 13).The results of the split is shown in Fig. 9.A difference between the two split samples is seen with a larger value of α in the spring season, which however both are statistically compatible with the average value.Unlike the experimental observation this large seasonal difference is not predicted by the theoretical calculation, despite having included the seasonal hysteresis effect into the calculation.

Extreme Temperature Bins
Following up the observed deviations in the spring and fall seasons, as seen in Fig. 8 in the mid-high and mid-low relative temperature variations, we further investigate systematic effects in the observed data.We separate the data into "caps" and "flanks" (see Fig. 13).Here, caps correspond to seasons of extreme temperatures, i.e. winter and summer, and flanks to the data in the transition seasons.To the right in Figure 9, 25 % is included in each cap, i.e.50 % of all the data, and thus 50 % of all the data in the flanks data set.As the lever arm of the extreme points in the fit remains the same compared to the complete data set, the uncertainty of T o t a l 2 0 1 2 2 0 1 3 2 0 1 4 2 0 1 5 2 0 1 6 2 0 1 7 2 0 1 8 L o w H i g h F a l l i n g R i s i n g C a p s F l a n k s

Analysis LLH Analysis Prediction
Yearly Split Energy Split Seasonal Caps/Flanks Split Fig. 9 Plot summarizing the main results for the slope parameter α, after applying either the binned χ 2 fit (dots) or the un-binned likelihood analysis (squares).This is done for the full data set (red, first column), for each individual year starting in May (red, second column) and three different splits of the data: By energy (third column), by rising and falling temperatures (fourth column) and by splitting into caps and flanks (last column).For comparison, predictions of the respective data are shown as gray bands, with uncertainties being estimated using the approach described in [18].The dashed red line is an extension of the overall result for α, to compare it to the individual results.
the "caps" is smaller compared to the flanks.Again, the prediction has been calculated separately for the subsets of data being analyzed.When limiting the analyses to the caps, the value of α is consistent with the theoretical expectation.On the other hand, the observed value of α of the flanks strongly disagrees with the predictions which do not depend on the chosen selection.The systematic shift observed in this split is similar to the shape in Fig. 8.Further systematic studies based on data splits can be found in [35].This also includes a zenith-dependent analysis of α, which was excluded as it did not contain additional insights.

Conclusion and Outlook
In this paper we present the analysis of the correlation of the rate of high-energy atmospheric ν µ measured by IceCube with the effective atmospheric temperature based on atmospheric profiles measured by the AIRS instrument on the Aqua satellite.For an observed 10% variation of the effective atmospheric temperature we observe a 3.5(3)% highly significant (> 10 σ ) seasonal variation of the rate of highenergy atmospheric neutrinos.
In the comparison with the expectation from cosmic-ray air shower models predicting a larger seasonal variation of 4.3%, a tension of about two to three standard deviations is observed.This tension is marginally consistent with a statistical fluctuation, and cannot be explained by known systematic uncertainties: neither the experimental measurement, nor the used satellite data, nor the modeling of air showers.In comparison to the muon seasonal variation anal-ysis [5,36,37], we observe a smaller value for α, which is expected due to the larger kaon contribution to the neutrino flux.The re-analysis of systematically selected subsets of the data shows deviations from the average model, with some being predicted (reconstructed energy) and others not being predicted (rising/falling temperatures, extreme temperatures).This is interpreted as a hint that the production of atmospheric ν µ during rapidly changing atmospheric conditions may not yet be fully understood.
The observed tension demonstrates that in the future measurements of seasonal variations of atmospheric ν µ may provide a new and complementary test of our understanding of the physics of atmospheric air showers.As the present analysis is still limited by statistical uncertainties, a future analysis needs to include a larger statistics data set.Five additional years of IceCube data taking should become available for a follow-up analysis soon.In addition, the analysis itself can be expanded by taking into account the atmospheric profile in the specific direction of the observed neutrino events.A substantially larger detector, IceCube-Gen2, [38] will allow observing the atmospheric temperature correlation with much increased statistics and thus allow for testing the correlation during shorter periods of time.given direction, i.e. zenith θ and azimuth ϕ.The depth is discretized for the altitudes h j given by the pressure levels j of the satellite data (see Table 3).The discretization is depicted in Fig. 12.The slant atmospheric depth for the pressure level j is given by X j (θ ) = with the measured pressure levels ∆ p i = p i − p i+1 .For the highest pressure level we assume P 25 = 0 hPa which also corresponds to X 25 = 0 g cm −2 .For the integration of the effective atmospheric temperature the nominator in Eq. 1 then becomes T eff (θ ) ≈  with the Earth radius R E and the neutrino production height h in the atmosphere.As h > 0, also cos θ * > 0 and diverging terms are avoided in the above calculation.
Integrations over energy and zenith are also approximated by simple sums.For the energy we use dE ≈ ∑ i ∆ E i , with typically 50 bins in log(E) ranging from 100 GeV to 10 PeV.The angular integration in Eq. 3 is approximated as dΩ = ∑ i, j ∆ θ i sin(θ i )∆ ϕ j .
(A.6) using the 1 • × 1 • grid of the AIRS temperature data.Note, that for the angular integration of the effective temperature the individual azimuth bins have to be aligned to the time zone of the neutrinos (UTC) as the temperatures are measured in local time.To get a singular value of each day, the temperatures are interpolated in each angular bin to a UTC time of 12:00 AM and 12:00 PM by converting the local times to UTC according to the bins in longitude.Details are given in [25].

Appendix A.3: Systematic Data Splits
The systematic splits of the data set that are discussed in section 5 are illustrated in Fig. 13.

Teff
Caps Data Flanks Data Fig. 13 Plots describing the systematic splits applied to the data.On the top, the data is split into day of rising (orange) and falling (blue) temperature.In the middle, the split is done along the median reconstructed energy (truncated energy in [34]).In the bottom, 50 % of days of extreme temperatures called caps (orange) are split from the rest which form the flanks data (blue)

Fig. 1
Fig. 1 Sketches of the experimental setup.The top sketch shows in the right half the production, propagation and measurement of an atmospheric ν µ with IceCube.It also shows in the top left the measurement of the temperature by the AIRS instrument.The observation zone (Ice-Cube zenith from 90°to 115°) can be seen in the bottom sketch.This sketch also contains the definition of geometrical quantities such as h, l and θ * .These quantities are explained further in Appendix A.2.The sketch is not to scale.

Fig. 2
Fig.2Plot showing the data used in the seasonal variations analysis.The neutrino data is shown in daily bins (blue points/error bars), monthly bins (orange points/error bars).The red line depicts the effective temperature as defined in Eq.1 based on the data measured by AIRS.The temperature values are on the right hand y-axis of the plot.

Fig. 3
Fig. 3 Example of altitude-profiles of atmospheric temperatures for an IceCube zenith of 95 • throughout the years 2012 and 2013.The location on Earth corresponds to −80 • in latitude and 0 • in longitude.Also shown is the average effective production-profile of atmospheric ν µ in dashed black.These profiles are based on calculations with MCEq and are integrated in energy with the IceCube effective detection area.The small rise towards lower altitude is not related to meson decays but to muon decays in flight.

Fig. 4
Fig.4Plot showing the correlation of the measured relative rates of atmospheric ν µ and the relative effective temperature change.The orange line depicts the result of the χ 2 fit of the shown data, with the values written in the legend."gof" refers to the goodness of fit p-value, calculated from the χ 2 -value.

Fig. 5
Fig.5Figure showing the negative log-likelihood profile for the unbinned likelihood defined in Eq. 9.In the inlay figure a zoom of the two sigma region is shown.

Fig. 6
Fig. 6 Plot showing the dependence of α on the bin-size obtained from the χ 2 -fit.Only statistical uncertainties on α are given.

Fig. 11
Fig. 11 Plots showing the relative difference of the effective temperatures based on the AIRS satellite measurements and the ERA5 data.In the top plot the dependence on time is shown.The largest deviations take place during the spring and fall seasons.The bottom plot shows the distributions of relative differences between the data sets.The mean deviation is 5 × 10 −5 and the standard deviation is 0.8%.
with ∆ X i = X i − X i+1 .Using the relation between vertical atmospheric depth and slant depthX v = X dh dl ≈ X • cos θ * this sum becomes X j (θ ) with the relation X v = p g X j (θ ) ≈ 24 ∑ i= j ∆ p i g • cos θ * (A.3) g • cos θ * • T i • dE P(X i , E, θ , T i ) A eff (E, θ ).

(A. 4 ) 2 (
and the denominator changes correspondingly.As the temperature values T i depend on time and direction, also the effective temperature implicitly depends on ϕ and t in addition to the explicit θ dependence.Note that the angle θ * has to take into account the curvature of Earth, as it defines the local zenith angle of the neutrino production.Its relation to the observed direction θ can be approximated ascos θ * ≈ 1 − R E R E + h sin θ

Fig. 12
Fig. 12 Figure sketching the numerical integration of the pressure levels.The left plot describes the relation between pressure P i , slant depth X i ν

Table 1
[29]e of the experimental results and predictions for α using the binned χ 2 and un-binned LLH analysis methods.The prediction for MCEq[17]used the SIBYLL 2.3c[29]hadronic interaction model.The kaon and pion results rely on the flux fraction of MCEq to estimate their neutrino production rate.The uncertainty given for the predicted values corresponds to the expected statistical uncertainty for each measurement.
Plot depicting the predicted and measured relative neutrino rate against the relative temperature variations bins.The slope corresponds to α.The prediction is made using MCEq with the SIBYLL 2.3c hadronic interaction model.