Search

The Calorimetric Electron Telescope (CALET), in operation on the International Space Station since 2015, collected a large sample of cosmic-ray iron over a wide energy interval. In this Letter a measurement of the iron spectrum is presented in the range of kinetic energy per nucleon from 10 GeV$/n$ to 2.0 TeV$/n$ allowing the inclusion of iron in the list of elements studied with unprecedented precision by space-borne instruments. The measurement is based on observations carried out from January 2016 to May 2020. The CALET instrument can identify individual nuclear species via a measurement of their electric charge with a dynamic range extending far beyond iron (up to atomic number $Z$ = 40). The energy is measured by a homogeneous calorimeter with a total equivalent thickness of 1.2 proton interaction lengths preceded by a thin (3 radiation lengths) imaging section providing tracking and energy sampling. The analysis of the data and the detailed assessment of systematic uncertainties are described and results are compared with the findings of previous experiments. The observed differential spectrum is consistent within the errors with previous experiments. In the region from 50 GeV$/n$ to 2 TeV$/n$ our present data are compatible with a single power law with spectral index -2.60 $\pm$ 0.03., Comment: main text: 7 pages, 4 figures; supplemental material: 10 pages, 12 figures, 1 table. arXiv admin note: text overlap with arXiv:2012.10319

The momentum gained by microservices and cloud-native software architecture pushed nowadays enterprise IT towards multi-service applications. The proliferation of services and service interactions within applications, often consisting of hundreds of interacting services, makes it harder to detect failures and to identify their possible root causes, which is on the other hand crucial to promptly recover and fix applications. Various techniques have been proposed to promptly detect failures based on their symptoms, viz., observing anomalous behaviour in one or more application services, as well as to analyse logs or monitored performance of such services to determine the possible root causes for observed anomalies. The objective of this survey is to provide a structured overview and a qualitative analysis of currently available techniques for anomaly detection and root cause analysis in modern multi-service applications. Some open challenges and research directions stemming out from the analysis are also discussed.

[abridged] We analyse four transits of WASP-33b observed with the optical high-resolution HARPS-N spectrograph to confirm its nodal precession, study its atmosphere and investigate the presence of star-planet interactions.We extract the mean line profiles of the spectra by using the LSD method, and analyse the Doppler shadow and the RVs. We also derive the transmission spectrum of the planet, correcting it for the stellar contamination due to rotation, CLV and pulsations. We confirm the previously discovered nodal precession of WASP-33b, almost doubling the time coverage of the inclination and projected spin-orbit angle variation. We find that the projected obliquity reached a minimum in 2011 and use this constraint to derive the geometry of the system, in particular its obliquity at that epoch ($\epsilon=113.99^{\circ}\pm 0.22^{\circ}$) and the inclination of the stellar spin axis ($i_{\rm s}=90.11^{\circ}\pm 0.12^{\circ}$), as well as the gravitational quadrupole moment of the star $J_2=(6.73\pm 0.22)\times 10^{-5}$. We present detections of H$\alpha$ and H$\beta$ absorption in the atmosphere of the planet with a contrast almost twice smaller than previously detected in the literature. We also find evidence for the presence of a pre-transit signal, which repeats in all four analysed transits. The most likely explanation lies in a possible excitation of a stellar pulsation mode by the presence of the planetary companion. Future common analysis of all available datasets in the literature will help shedding light on the possibility that the observed Balmer lines transit depth variations are related to stellar activity and/or pulsation, and to set constraints on the energetics possibly driving atmospheric escape. A complete orbital phase coverage of WASP-33b with high-resolution spectroscopic (spectro-polarimetric) observations could help understanding the nature of the pre-transit signal., Comment: Accepted for publication in A&A

The Transiting Exoplanet Survey Satellite (\textit{TESS}) mission was designed to perform an all-sky search of planets around bright and nearby stars. Here we report the discovery of two sub-Neptunes orbiting around the TOI 1062 (TIC 299799658), a V=10.25 G9V star observed in the TESS Sectors 1, 13, 27 & 28. We use precise radial velocity observations from HARPS to confirm and characterize these two planets. TOI 1062b has a radius of 2.265^{+0.095}_{-0.091} Re, a mass of 11.8 +\- 1.4 Me, and an orbital period of 4.115050 +/- 0.000007 days. The second planet is not transiting, has a minimum mass of 7.4 +/- 1.6 Me and is near the 2:1 mean motion resonance with the innermost planet with an orbital period of 8.13^{+0.02}_{-0.01} days. We performed a dynamical analysis to explore the proximity of the system to this resonance, and to attempt at further constraining the orbital parameters. The transiting planet has a mean density of 5.58^{+1.00}_{-0.89} g cm^-3 and an analysis of its internal structure reveals that it is expected to have a small volatile envelope accounting for 0.35% of the mass at maximum. The star's brightness and the proximity of the inner planet to the "radius gap" make it an interesting candidate for transmission spectroscopy, which could further constrain the composition and internal structure of TOI 1062b., Comment: 14 pages, 11 figures

Context: Securing microservice-based applications is crucial, as many IT companies are delivering their businesses through microservices. If security smells affect microservice-based applications, they can possibly suffer from security leaks and need to be refactored to mitigate the effects of security smells therein. Objective: As the currently available knowledge on securing microservices is scattered across different pieces of white and grey literature, our objective here is to distill well-known smells for securing microservices, together with the refactorings enabling to mitigate the effects of such smells. Method: To capture the state of the art and practice in securing microservices, we conducted a multivocal review of the existing white and grey literature on the topic. We systematically analyzed 58 studies published from 2014 until the end of 2020. Results: Ten bad smells for securing microservices are identified, which we organized in a taxonomy, associating each smell with the security properties it may violate and the refactorings enabling to mitigate its effects. Conclusions: The security smells and the corresponding refactorings have pragmatic value for practitioners, who can exploit them in their daily work on securing microservices. They also serve as a starting point for researchers wishing to establish new research directions on securing microservices.

The atmospheres of gaseous giant exoplanets orbiting close to their parent stars (hot Jupiters) have been probed for nearly two decades. They allow us to investigate the chemical and physical properties of planetary atmospheres under extreme irradiation conditions. Previous observations of hot Jupiters as they transit in front of their host stars have revealed the frequent presence of water vapour and carbon monoxide in their atmospheres; this has been studied in terms of scaled solar composition under the usual assumption of chemical equilibrium. Both molecules as well as hydrogen cyanide were found in the atmosphere of HD 209458b, a well studied hot Jupiter (with equilibrium temperature around 1,500 kelvin), whereas ammonia was tentatively detected there and subsequently refuted. Here we report observations of HD 209458b that indicate the presence of water (H2O), carbon monoxide (CO), hydrogen cyanide (HCN), methane (CH4), ammonia (NH3) and acetylene (C2H2), with statistical significance of 5.3 to 9.9 standard deviations per molecule. Atmospheric models in radiative and chemical equilibrium that account for the detected species indicate a carbon-rich chemistry with a carbon-to-oxygen ratio close to or greater than 1, higher than the solar value (0.55). According to existing models relating the atmospheric chemistry to planet formation and migration scenarios, this would suggest that HD 209458b formed far from its present location and subsequently migrated inwards. Other hot Jupiters may also show a richer chemistry than has been previously found, which would bring into question the frequently made assumption that they have solar-like and oxygen-rich compositions., Comment: As part of the Springer Nature Content Sharing Initiative, it is possible to access a view-only version of this paper by using the following SharedIt link: https://rdcu.be/cifrz

Transiting ultra-hot Jupiters are ideal candidates to study the exoplanet atmospheres and their dynamics, particularly by means of high-resolution, high signal-to-noise ratio spectra. One such object is KELT-20b, orbiting the fast rotating A2-type star KELT-20. Many atomic species have already been found in its atmosphere, with blueshifted signals that hints at the presence of a day-to-night side wind. We aimed to observe the atmospheric Rossiter-McLaughlin effect in the ultra-hot Jupiter KELT-20b, and to study any variation of the atmospheric signal during the transit. For this purpose, we analysed five nights of HARPS-N spectra covering five transits of KELT-20b. We computed the mean line profiles of the spectra with a least-squares deconvolution, and then we extracted the stellar radial velocities by fitting them with a rotational broadening profile in order to obtain the radial velocity time-series. We used the mean line profile residuals tomography to analyse the planetary atmospheric signal and its variations. We also used the cross-correlation method to study an already known double-peak feature in the FeI planetary signal. We observed both the classical and the atmospheric Rossiter-McLaughlin effect in the radial velocity time-series. The latter gave us an estimate of the radius of the planetary atmosphere that correlates with the stellar mask used in our work: R(p+atmo)/Rp = 1.13 +/- 0.02). We isolated the planetary atmospheric trace in the tomography, and we found radial velocity variations of the planetary atmospheric signal during transit with an overall blueshift of approximatively 10 km/s, along with small variations in the signal's depth and, less significant, in the full width at half maximum (FWHM). We also find a possible variation in the structure and position of FeI signal in different transits., Comment: 13 pages, 20 figures. Accepted for publication in A&A

We report the first detection of a hydroxyl radical (OH) emission signature in the planetary atmosphere outside the solar system, in this case, in the day-side of WASP-33b. We analyze high-resolution near-infrared emission spectra of WASP-33b taken using the InfraRed Doppler spectrograph on the 8.2-m Subaru telescope. The telluric and stellar lines are removed using a de-trending algorithm, SysRem. The residuals are then cross-correlated with OH and H$_{2}$O planetary spectrum templates produced using several different line-lists. We check and confirm the accuracy of OH line-lists by cross-correlating with the spectrum of GJ 436. As a result, we detect the emission signature of OH at $K_\mathrm{p}$ of 230.9$^{+6.9}_{-7.4}$ km s$^{-1}$ and $v_{\mathrm{sys}}$ of $-$0.3$^{+5.3}_{-5.6}$ km s$^{-1}$ with S/N of 5.4 and significance of 5.5$\sigma$. Additionally, we marginally detect H$_{2}$O emission in the H-band with S/N of 4.0 and significance of 5.2$\sigma$ using the POKAZATEL line-list. However, no significant signal is detected using the HITEMP 2010, which might be due to differences in line positions and strengths, as well as the incompleteness of the line-lists. Nonetheless, this marginal detection is consistent with the prediction that H$_{2}$O is mostly thermally dissociated in the upper atmosphere of the ultra-hot Jupiters. Therefore, along with CO, OH is expected to be one of the most abundant O-bearing molecules in the day-side atmosphere of ultra-hot Jupiters and should be considered when studying their atmosphere., Comment: Accepted for publication on ApJL; 12 pages, 6 figures

Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-reflection $A\rightarrow\Box A$. This way, belief is interpreted as a result of verification, and it fits an extended Brouwer-Heyting-Kolmogorov interpretation for intuitionistic propositional logic with an epistemic modality. In the present paper, structural properties of a natural deduction system $\mathsf{IEL}^{-}$ for intuitionistic belief are investigated. The focus is on the analyticity of the calculus, so that the normalization theorem and the subformula property are proven firstly. From these, decidability and consistency of the logic follow as corollaries. Finally, disjunction properties, $\Box$-primality, and admissibility of reflection rule are established by using purely proof-theoretic methods., Comment: This is a very rough draft that is intended as the second part of work-in-progress started with [13]. For sure, many expository refinements are required to the present paper: it is basically a collection of rough results and reflections

We present our library for Universal Algebra in the UniMath framework dealing with multi-sorted signatures, their algebras, and the basics for equation systems. We show how to implement term algebras over a signature without resorting to general inductive constructions (currently not allowed in UniMath) still retaining the computational nature of the definition. We prove that our single sorted ground term algebras are instances of homotopy W-types. From this perspective, the library enriches UniMath with a computationally well-behaved implementation of a class of W-types. Moreover, we give neat constructions of the univalent categories of algebras and equational algebras by using the formalism of displayed categories, and show that the term algebra over a signature is the initial object of the category of algebras. Finally, we showcase the computational relevance of our work by sketching some basic examples from algebra and propositional logic.

This work presents a formalized proof of modal completeness for G\"odel-L\"ob provability logic (GL) in the HOL Light theorem prover. We describe the code we developed, and discuss some details of our implementation, focusing on our choices in structuring proofs which make essential use of the tools of HOL Light and which differ in part from the standard strategies found in main textbooks covering the topic in an informal setting. Moreover, we propose a reflection on our own experience in using this specific theorem prover for this formalization task, with an analysis of pros and cons of reasoning within and about the formal system for GL we implemented in our code.