Search

In the last two decades, Alternating-time Temporal Logic (ATL) has been proved to be very useful in modeling strategic reasoning for Multi-Agent Systems (MAS). However, this logic struggles to capture the bounded rationality inherent in human decision-making processes. To overcome these limitations, Natural Alternating-time Temporal Logic (NatATL) has been recently introduced. As an extension of ATL, NatATL incorporates bounded memory constraints into agents' strategies, which allows to resemble human cognitive limitations. In this paper, we present a model checker tool for NatATL specifications - both for memoryless strategies and strategies with recall - integrated into VITAMIN, an open-source model checker designed specifically for MAS verification. By embedding NatATL into VITAMIN, we transform theoretical advancements into a practical verification framework, enabling comprehensive analysis and validation of strategic reasoning in complex multi-agent environments. Our novel tool paves the way for applications in areas such as explainable AI and human-in-the-loop systems, highlighting NatATL's substantial potential.

We show that the X17 vector boson, introduced to explain the ^8 Be anomalous decay, could play a crucial role in the explanation of the muon's (electron's) anomalous magnetic moment and the muonic Lamb shift. We further constrain the possible kinetic mixing with the U(1)_Y boson of the Standard Model by using the latest available data on the W boson mass., Comment: 5 pages, 3 figures

Instruments for gamma-ray astronomy at Very High Energies ($E>100\,{\rm GeV}$) have traditionally derived their scientific results through proprietary data and software. Data standardisation has become a prominent issue in this field both as a requirement for the dissemination of data from the next generation of gamma-ray observatories and as an effective solution to realise public data legacies of current-generation instruments. Specifications for a standardised gamma-ray data format have been proposed as a community effort and have already been successfully adopted by several instruments. We present the first production of standardised data from the Major Atmospheric Gamma-ray Imaging Cherenkov (MAGIC) telescopes. We converted $166\,{\rm h}$ of observations from different sources and validated their analysis with the open-source software Gammapy. We consider six data sets representing different scientific and technical analysis cases and compare the results obtained analysing the standardised data with open-source software against those produced with the MAGIC proprietary data and software. Aiming at a systematic production of MAGIC data in this standardised format, we also present the implementation of a database-driven pipeline automatically performing the MAGIC data reduction from the calibrated down to the standardised data level. In all the cases selected for the validation, we obtain results compatible with the MAGIC proprietary software, both for the manual and for the automatic data productions. Part of the validation data set is also made publicly available, thus representing the first large public release of MAGIC data. This effort and this first data release represent a technical milestone toward the realisation of a public MAGIC data legacy., Comment: Accepted for publication in the Journal of High Energy Astrophysics

Deep learning has revolutionized the field of hyperspectral image (HSI) analysis, enabling the extraction of complex and hierarchical features. While convolutional neural networks (CNNs) have been the backbone of HSI classification, their limitations in capturing global contextual features have led to the exploration of Vision Transformers (ViTs). This paper introduces AMBER, an advanced SegFormer specifically designed for multi-band image segmentation. AMBER enhances the original SegFormer by incorporating three-dimensional convolutions to handle hyperspectral data. Our experiments, conducted on the Indian Pines, Pavia University, and PRISMA datasets, show that AMBER outperforms traditional CNN-based methods in terms of Overall Accuracy, Kappa coefficient, and Average Accuracy on the first two datasets, and achieves state-of-the-art performance on the PRISMA dataset., Comment: submitted to Neural Computing & Applications (Springer). Currently under review

DarkSide-20k (DS-20k) is a dark matter detection experiment under construction at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy. It utilises ~100 t of low radioactivity argon from an underground source (UAr) in its inner detector, with half serving as target in a dual-phase time projection chamber (TPC). The UAr cryogenics system must maintain stable thermodynamic conditions throughout the experiment's lifetime of >10 years. Continuous removal of impurities and radon from the UAr is essential for maximising signal yield and mitigating background. We are developing an efficient and powerful cryogenics system with a gas purification loop with a target circulation rate of 1000 slpm. Central to its design is a condenser operated with liquid nitrogen which is paired with a gas heat exchanger cascade, delivering a combined cooling power of >8 kW. Here we present the design choices in view of the DS-20k requirements, in particular the condenser's working principle and the cooling control, and we show test results obtained with a dedicated benchmarking platform at CERN and LNGS. We find that the thermal efficiency of the recirculation loop, defined in terms of nitrogen consumption per argon flow rate, is 95 % and the pressure in the test cryostat can be maintained within $\pm$(0.1-0.2) mbar. We further detail a 5-day cool-down procedure of the test cryostat, maintaining a cooling rate typically within -2 K/h, as required for the DS-20k inner detector. Additionally, we assess the circuit's flow resistance, and the heat transfer capabilities of two heat exchanger geometries for argon phase change, used to provide gas for recirculation. We conclude by discussing how our findings influence the finalisation of the system design, including necessary modifications to meet requirements and ongoing testing activities., Comment: 45 pages, 24 figures

Globular clusters (GCs) are among the oldest stellar systems in the universe. As such, GCs population are valuable fossil tracers of galaxy formation and interaction history. We use the multi-band wide-field images obtained with the VST to study the properties of the GC population in an interacting pair of galaxies. We derived ugri photometry over $1.5x1.5deg^2$ centred on the galaxy group composed by two elliptical galaxies: NGC3640 and its fainter companion NGC3641. We studied the GC system properties from both the ugri and gri matched catalogs GC candidates were identified based on a combination of photometric properties (colors, magnitudes) and morphometric criteria (concentration index, elongation, FWHM), using sources with well-defined classifications from spectroscopic or imaging data available in the literature and numerical simulations as references. The selection criteria were also applied to empty fields to determine a statistical background correction for the number of identified GC candidates. The 2D density maps of GCs appear to align with the diffuse light patches resulting from merging events of the galaxies. The highest density peak of GCs is observed to be on NGC3641 rather than NGC3640, despite the latter being the more massive galaxy. The azimuthal averaged radial density profiles in both galaxies reveal that the GC population extends beyond the galaxy light profile and indicate the likely presence of an intra-group GC component. A color bimodality in (u-r) and (g-i) is observed for NGC3641, whereas NGC3640 shows a broad unimodal distribution. Analysis of the GC Luminosity Function indicates that both galaxies are roughly located at the same distance (~27Mpc). We provide an estimate of the total number of GCs, and determine the specific frequency for NGC3640, $S_N =2.0\pm0.6$, which aligns with expectations, while for NGC3641 we find a large $S_N=4.5\pm1.6$., Comment: 37 pages, 23 figures, 13 tables. Accepted for publication in A&A

The surge in scientific publications challenges the use of publication counts as a measure of scientific progress, requiring alternative metrics that emphasize the quality and novelty of scientific contributions rather than sheer quantity. This paper proposes the use of Relaxed Word Mover's Distance (RWMD), a semantic text similarity measure, to evaluate the novelty of scientific papers. We hypothesize that RWMD can more effectively gauge the growth of scientific knowledge. To test such an assumption, we apply RWMD to evaluate seminal papers, with Hirsch's H-Index paper as a primary case study. We compare RWMD results across three groups: 1) H-Index-related papers, 2) scientometric studies, and 3) unrelated papers, aiming to discern redundant literature and hype from genuine innovations. Findings suggest that emphasizing knowledge claims offers a deeper insight into scientific contributions, marking RWMD as a promising alternative method to traditional citation metrics, thus better tracking significant scientific breakthroughs.

With the emergence of Transformers and Vision-Language Models (VLMs) such as CLIP, fine-tuning large pre-trained models has recently become a prevalent strategy in Continual Learning. This has led to the development of numerous prompting strategies to adapt transformer-based models without incurring catastrophic forgetting. However, these strategies often compromise the original zero-shot capabilities of the pre-trained CLIP model and struggle to adapt to domains that significantly deviate from the pre-training data. In this work, we propose Continual Generative training for Incremental prompt-Learning, a simple and novel approach to mitigate forgetting while adapting CLIP. Briefly, we employ Variational Autoencoders (VAEs) to learn class-conditioned distributions within the embedding space of the visual encoder. We then exploit these distributions to sample new synthetic visual embeddings and train the corresponding class-specific textual prompts during subsequent tasks. Through extensive experiments on different domains, we show that such a generative replay approach can adapt to new tasks while improving zero-shot capabilities, evaluated using a novel metric tailored for CL scenarios. Notably, further analysis reveals that our approach can bridge the gap with joint prompt tuning. The codebase is available at https://github.com/aimagelab/mammoth., Comment: 15 pages, 1 figure. Accepted at the The 35th British Machine Vision Conference 2024 (BMVC 2024), Glasgow, UK

The dual-phase liquid argon time projection chamber is presently one of the leading technologies to search for dark matter particles with masses below 10 GeV/c$^2$. This was demonstrated by the DarkSide-50 experiment with approximately 50 kg of low-radioactivity liquid argon as target material. The next generation experiment DarkSide-20k, currently under construction, will use 1,000 times more argon and is expected to start operation in 2027. Based on the DarkSide-50 experience, here we assess the DarkSide-20k sensitivity to models predicting light dark matter particles, including Weakly Interacting Massive Particles (WIMPs) and sub-GeV/c$^2$ particles interacting with electrons in argon atoms. With one year of data, a sensitivity improvement to dark matter interaction cross-sections by at least one order of magnitude with respect to DarkSide-50 is expected for all these models. A sensitivity to WIMP--nucleon interaction cross-sections below $1\times10^{-42}$ cm$^2$ is achievable for WIMP masses above 800 MeV/c$^2$. With 10 years exposure, the neutrino fog can be reached for WIMP masses around 5 GeV/c$^2$., Comment: submitted to Nature Communications

The use of skeletal data allows deep learning models to perform action recognition efficiently and effectively. Herein, we believe that exploring this problem within the context of Continual Learning is crucial. While numerous studies focus on skeleton-based action recognition from a traditional offline perspective, only a handful venture into online approaches. In this respect, we introduce CHARON (Continual Human Action Recognition On skeletoNs), which maintains consistent performance while operating within an efficient framework. Through techniques like uniform sampling, interpolation, and a memory-efficient training stage based on masking, we achieve improved recognition accuracy while minimizing computational overhead. Our experiments on Split NTU-60 and the proposed Split NTU-120 datasets demonstrate that CHARON sets a new benchmark in this domain. The code is available at https://github.com/Sperimental3/CHARON., Comment: Accepted at ICPR 2024

The Quantum approximate optimization algorithm (QAOA) is a leading hybrid classical-quantum algorithm for solving complex combinatorial optimization problems. QAOA-in-QAOA (QAOA^2) uses a divide-and-conquer heuristic to solve large-scale Maximum Cut (MaxCut) problems, where many subgraph problems can be solved in parallel. In this work, an implementation of the QAOA2 method for the scalable solution of the MaxCut problem is presented, based on the Classiq platform. The framework is executed on an HPE-Cray EX supercomputer by means of the Message Passing Interface (MPI) and the SLURM workload manager. The limits of the Goemans-Williamson (GW) algorithm as a purely classical alternative to QAOA are investigated to understand if QAOA^2 could benefit from solving certain sub-graphs classically. Results from large-scale simulations of up to 33 qubits are presented, showing the advantage of QAOA in certain cases and the efficiency of the implementation, as well as the adequacy of the workflow in the preparation of real quantum devices. For the considered graphs, the best choice for the sub-graphs does not significantly improve results and is still outperformed by GW., Comment: Equal Contribution

In this paper we present the European Low Frequency Survey (ELFS), a project that will enable foregrounds-free measurements of the primordial $B$-mode polarization and a detection of the tensor-to-scalar ratio, $r$, to a level $\sigma(r) = 0.001$ by measuring the Galactic and extra-galactic emissions in the 5--120\,GHz frequency window. Indeed, the main difficulty in measuring the B-mode polarization comes from the fact that many other processes in the Universe also emit polarized microwaves, which obscure the faint Cosmic Microwave Background (CMB) signal. The first stage of this project is being carried out in synergy with the Simons Array (SA) collaboration, installing a 5.5--11\,GHz (X-band) coherent receiver at the focus of one of the three 3.5\,m SA telescopes in Atacama, Chile, followed by the installation of the QUIJOTE-MFI2 in the 10--20 GHz range. We designate this initial iteration of the ELFS program as ELFS-SA. The receivers are equipped with a fully digital back-end that will provide a frequency resolution of 1\,MHz across the band, allowing us to clean the scientific signal from unwanted radio frequency interference, particularly from low-Earth orbit satellite mega constellations. This paper reviews the scientific motivation for ELFS and its instrumental characteristics, and provides an update on the development of ELFS-SA., Comment: SPIE conference on Astronomical Telescopes + Instrumentation, Yokohama, 16-22 June 2024. New version with correction in Eq. (3) arXiv admin note: text overlap with arXiv:2310.16509

We propose a novel neutron interferometry setup to explore the potential existence of mirror neutrons, a candidate for dark matter. Our work demonstrates that if mirror neutrons exist, neutrons will acquire an observable geometric phase due to mixing with these mirror counterparts. This geometric phase, detectable through our interferometric setup, could serve as a direct probe for the presence of mirror matter particles. Additionally, this investigation could shed light on unresolved issues in particle physics, such as the neutron lifetime puzzle. We discuss the setup's versatility and limitations, showing its capability to explore a wide range of parameters in neutron interferometry and potentially uncover new physics., Comment: 5 pages, 5 figures

The Lorentz Invariance Violation (LIV), a proposed consequence of certain quantum gravity (QG) scenarios, could instigate an energy-dependent group velocity for ultra-relativistic particles. This energy dependence, although suppressed by the massive QG energy scale $E_\mathrm{QG}$, expected to be on the level of the Planck energy $1.22 \times 10^{19}$ GeV, is potentially detectable in astrophysical observations. In this scenario, the cosmological distances traversed by photons act as an amplifier for this effect. By leveraging the observation of a remarkable flare from the blazar Mrk\,421, recorded at energies above 100 GeV by the MAGIC telescopes on the night of April 25 to 26, 2014, we look for time delays scaling linearly and quadratically with the photon energies. Using for the first time in LIV studies a binned-likelihood approach we set constraints on the QG energy scale. For the linear scenario, we set $95\%$ lower limits $E_\mathrm{QG}>2.7\times10^{17}$ GeV for the subluminal case and $E_\mathrm{QG}> 3.6 \times10^{17}$ GeV for the superluminal case. For the quadratic scenario, the $95\%$ lower limits for the subluminal and superluminal cases are $E_\mathrm{QG}>2.6 \times10^{10}$ GeV and $E_\mathrm{QG}>2.5\times10^{10}$ GeV, respectively.

This study examines the synchronization of three identical oscillators arranged in an array and coupled by small impacts, wherein each oscillator interacts solely with its nearest neighbor. The synchronized state, which is asymptotically stable, is characterized by phase opposition among alternating oscillators. We analyze the system using a non-linear discrete dynamical system based on a difference equation derived from the iteration of a plane diffeomorphism. We illustrate these results with the application to a system of three aligned Andronov clocks, showcasing their applicability to a broad range of oscillator systems., Comment: 19 Pages

Clone-censor-weighting (CCW) is an analytic method for studying treatment regimens that are indistinguishable from one another at baseline without relying on landmark dates or creating immortal person time. One particularly interesting CCW application is estimating outcomes when starting treatment within specific time windows in observational data (e.g., starting a treatment within 30 days of hospitalization). In such cases, CCW estimates something fairly complex. We show how using CCW to study a regimen such as "start treatment prior to day 30" estimates the potential outcome of a hypothetical intervention where A) prior to day 30, everyone follows the treatment start distribution of the study population and B) everyone who has not initiated by day 30 initiates on day 30. As a result, the distribution of treatment initiation timings provides essential context for the results of CCW studies. We also show that if the exposure effect varies over time, ignoring exposure history when estimating inverse probability of censoring weights (IPCW) estimates the risk under an impossible intervention and can create selection bias. Finally, we examine some simplifying assumptions that can make this complex treatment effect more interpretable and allow everyone to contribute to IPCW.

The search for periodicity in the multi-wavelength high variable emission of blazars is a key feature to understand dynamical processes at work in this class of active galactic nuclei. The blazar PG 1553+113 is an attractive target due to the evidence of periodic oscillations observed at different wavelengths, with a solid proof of a 2.2-year modulation detected in the $\gamma$-ray, UV and optical bands. We aim at investigating the variability pattern of the PG 1553+113 X-ray emission using a more than 10-years long light curve, in order to robustly assess the presence or lack of a periodic behavior whose evidence is only marginal so far. We conducted detailed statistical analyses, studying in particular the variability properties of the X-ray emission of PG 1553+113 by computing the Lomb-Scargle periodograms, which are suited for the analyses of unevenly sampled time series, and adopting epoch folding techniques. We find out a modulation pattern in the X-ray light curve of PG 1553+113 with a period of $\sim$1.4 years, about 35% shorter than the one observed in the $\gamma$-ray domain. Our finding is in agreement with the recent spectro-polarimetric analyses and supports the presence of more dynamical phenomena simultaneously at work in the central engine of this quasar., Comment: 7 pages, 6 figures, 1 table, accepted for publication on Astronomy & Astrophysics

We introduce a comprehensive analytical benchmark, relying on Fokker-Planck formalism, to study microbial dynamics in presence of both biotic and abiotic forces. In equilibrium, we observe a balance between the two kinds of forces, leading to no correlations between species abundances. This implies that real microbiomes, where correlations have been observed, operate out of equilibrium. Therefore, we analyze non-equilibrium dynamics, presenting an ansatz for an approximate solution that embodies the complex interplay of forces in the system. This solution is consistent with Taylor's law as a coarse-grained approximation of the relation between species abundance and variance, but implies subtler effects, predicting unobserved structure beyond Taylor's law. Motivated by this theoretical prediction, we refine the analysis of existing metagenomic data, unveiling a novel universal macroecological pattern. Finally, we speculate on the physical origin of Taylor's law: building upon an analogy with Brownian motion theory, we propose that Taylor's law emerges as a Fluctuation-Growth relation resulting from equipartition of environmental resources among microbial species., Comment: 14 pages, 6 figures, uses RevTeX 4.2

The concept of $\mathbb C$-supercyclic operators was introduced by Hilden and Wallen in \cite{hilden} and, since then, a multitude of variants have been studied. In \cite{herzog1992linear}, Herzog proved that every real or complex, separable, infinite dimensional Banach space supports a $\mathbb C$-supercyclic operator. In the present paper we investigate different variants of supercyclicity, precisely $\mathbb R^+$-, $\mathbb R$- and $\mathbb C$-supercyclicity in the context of composition operators. We characterize $\mathbb R$-supercyclic composition operators on $L^p$, $1 \leq p < \infty$. Then, we turn our attention to dissipative composition operators, and we show that $\mathbb R$- and $\mathbb C$-supercyclicity are equivalent notions in this setting and they have a ``shift-like'' characterization.

We reveal the presence of a new source of axial current due to the condensed vacuum generated by the spin-spin interaction. To show this, we consider a quartic Dirac Lagrangian containing a spin-spin interaction term, possibly originating from torsion in Einstein-Cartan-like theories. We use a mean field approach to analyze the quantized theory. We show that the diagonalization of the field Hamiltonian defines a new vacuum state, energetically favored with respect to the free vacuum. Such a vacuum, which is a condensate of particle-antiparticle pairs, is characterized by a nontrivial expectation value of the axial current operator. The new source of axial current, here obtained, can have effects both at the atomic level and at the astrophysical-cosmological level depending on the origin of the spin-spin interaction term. The condensate may affect the dark sector of the universe at cosmological level and the axial current originated by the vacuum condensate could be analyzed in next table top experiments on graphene, Comment: 13 pages, no figures

PG 1553+113 is one of the few blazars with a convincing quasi-periodic emission in the gamma-ray band. The source is also a very high-energy (VHE; >100 GeV) gamma-ray emitter. To better understand its properties and identify the underlying physical processes driving its variability, the MAGIC Collaboration initiated a multiyear, multiwavelength monitoring campaign in 2015 involving the OVRO 40-m and Medicina radio telescopes, REM, KVA, and the MAGIC telescopes, Swift and Fermi satellites, and the WEBT network. The analysis presented in this paper uses data until 2017 and focuses on the characterization of the variability. The gamma-ray data show a (hint of a) periodic signal compatible with literature, but the X-ray and VHE gamma-ray data do not show statistical evidence for a periodic signal. In other bands, the data are compatible with the gamma-ray period, but with a relatively high p-value. The complex connection between the low and high-energy emission and the non-monochromatic modulation and changes in flux suggests that a simple one-zone model is unable to explain all the variability. Instead, a model including a periodic component along with multiple emission zones is required., Comment: Accepted for publication in Monthly Notices of the Royal Astronomical Society. 19 pages, 9 figures. Corresponding authors: Elisa Prandini, Antonio Stamerra, Talvikki Hovatta

In this note we show that there exist a $2^\mathfrak{c}$-generated free algebra $\mathcal{S} \subset \mathbb{R}^\mathbb{R}$ of Riemann integrable functions and a free algebra $\mathcal{C} \subset \mathbb{R}^{[0,1]}$ of continuous functions, having $\mathfrak{c}$-generators, such that $r \circ c$ is not Riemann integrable for any $r \in \mathcal{S}$ and $c \in \mathcal{C}$. This result is the best possible one in terms of lineability within these families of functions and, at the same time, an improvement of a precious result (\cite[Theorem 2.7]{A}). In order to achieve our results we shall employ set theoretical tools such as the Fichtenholz-Kantorovich-Hausdorff theorem, Cantor-Smith-Volterra--type sets, and classical real analysis techniques.

In recent years, a new generation of optical intensity interferometers has emerged, leveraging the existing infrastructure of Imaging Atmospheric Cherenkov Telescopes (IACTs). The MAGIC telescopes host the MAGIC-SII system (Stellar Intensity Interferometer), implemented to investigate the feasibility and potential of this technique on IACTs. After the first successful measurements in 2019, the system was upgraded and now features a real-time, dead-time-free, 4-channel, GPU-based correlator. These hardware modifications allow seamless transitions between MAGIC's standard very-high-energy gamma-ray observations and optical interferometry measurements within seconds. We establish the feasibility and potential of employing IACTs as competitive optical Intensity Interferometers with minimal hardware adjustments. The measurement of a total of 22 stellar diameters are reported, 9 corresponding to reference stars with previous comparable measurements, and 13 with no prior measurements. A prospective implementation involving telescopes from the forthcoming Cherenkov Telescope Array Observatory's northern hemisphere array, such as the first prototype of its Large-Sized Telescopes, LST-1, is technically viable. This integration would significantly enhance the sensitivity of the current system and broaden the UV-plane coverage. This advancement would enable the system to achieve competitive sensitivity with the current generation of long-baseline optical interferometers over blue wavelengths., Comment: 18 pages, 13 figures, submitted to MNRAS

We determine the Haar measure on the compact $p$-adic special orthogonal groups of rotations $\mathrm{SO}(d)_p$ in dimension $d=2,3$, by exploiting the machinery of inverse limits of measure spaces, for every prime $p>2$. We characterise $\mathrm{SO}(d)_p$ as inverse limits of finite groups, of which we provide parametrisations and orders, together with an equivalent description through a multivariable Hensel lifting. Supplying these finite groups with their normalised counting measures, we get an inverse family of Haar measure spaces for each $\mathrm{SO}(d)_p$. Finally, we constructively prove the existence of the so-called inverse limit measure of these inverse families, which is explicitly computable, and prove that it gives the Haar measure on $\mathrm{SO}(d)_p$. Our results pave the way towards the study of the irreducible projective unitary representations of the $p$-adic rotation groups, with potential applications to the recently proposed $p$-adic quantum information theory., Comment: 42 pages; to appear in Expositiones Mathematicae

Strategies synthesized using formal methods can be complex and often require infinite memory, which does not correspond to the expected behavior when trying to model Multi-Agent Systems (MAS). To capture such behaviors, natural strategies are a recently proposed framework striking a balance between the ability of agents to strategize with memory and the model-checking complexity, but until now has been restricted to fully deterministic settings. For the first time, we consider the probabilistic temporal logics PATL and PATL* under natural strategies (NatPATL and NatPATL*, resp.). As main result we show that, in stochastic MAS, NatPATL model-checking is NP-complete when the active coalition is restricted to deterministic strategies. We also give a 2NEXPTIME complexity result for NatPATL* with the same restriction. In the unrestricted case, we give an EXPSPACE complexity for NatPATL and 3EXPSPACE complexity for NatPATL*., Comment: Extended version of the paper accepted at AAAI 2024

Axion-like particles (ALPs) are pseudo-Nambu-Goldstone bosons that emerge in various theories beyond the standard model. These particles can interact with high-energy photons in external magnetic fields, influencing the observed gamma-ray spectrum. This study analyzes 41.3 hrs of observational data from the Perseus Galaxy Cluster collected with the MAGIC telescopes. We focused on the spectra the radio galaxy in the center of the cluster: NGC 1275. By modeling the magnetic field surrounding this target, we searched for spectral indications of ALP presence. Despite finding no statistical evidence of ALP signatures, we were able to exclude ALP models in the sub-micro electronvolt range. Our analysis improved upon previous work by calculating the full likelihood and statistical coverage for all considered models across the parameter space. Consequently, we achieved the most stringent limits to date for ALP masses around 50 neV, with cross sections down to $g_{a\gamma} = 3 \times 10^{-12}$ GeV$^{-1}$., Comment: 25 pages, 10 figures, accepted for publication in Physics of the Dark Universe

Accurate per-object distance estimation is crucial in safety-critical applications such as autonomous driving, surveillance, and robotics. Existing approaches rely on two scales: local information (i.e., the bounding box proportions) or global information, which encodes the semantics of the scene as well as the spatial relations with neighboring objects. However, these approaches may struggle with long-range objects and in the presence of strong occlusions or unusual visual patterns. In this respect, our work aims to strengthen both local and global cues. Our architecture -- named DistFormer -- builds upon three major components acting jointly: i) a robust context encoder extracting fine-grained per-object representations; ii) a masked encoder-decoder module exploiting self-supervision to promote the learning of useful per-object features; iii) a global refinement module that aggregates object representations and computes a joint, spatially-consistent estimation. To evaluate the effectiveness of DistFormer, we conduct experiments on the standard KITTI dataset and the large-scale NuScenes and MOTSynth datasets. Such datasets cover various indoor/outdoor environments, changing weather conditions, appearances, and camera viewpoints. Our comprehensive analysis shows that DistFormer outperforms existing methods. Moreover, we further delve into its generalization capabilities, showing its regularization benefits in zero-shot synth-to-real transfer.

We perform the first broadband study of Mrk421 from radio to TeV gamma rays with simultaneous measurements of the X-ray polarization from IXPE. The data were collected within an extensive multiwavelength campaign organized between May and June 2022 using MAGIC, Fermi-LAT, NuSTAR, XMM-Newton, Swift, and several optical and radio telescopes to complement IXPE. During the IXPE exposures, the measured 0.2-1 TeV flux is close to the quiescent state and ranges from 25% to 50% of the Crab Nebula without intra-night variability. Throughout the campaign, the VHE and X-ray emission are positively correlated at a $4\sigma$ significance level. The IXPE measurements unveil a X-ray polarization degree that is a factor of 2-5 higher than in the optical/radio bands; that implies an energy-stratified jet in which the VHE photons are emitted co-spatially with the X-rays, in the vicinity of a shock front. The June 2022 observations exhibit a rotation of the X-ray polarization angle. Despite no simultaneous VHE coverage being available during a large fraction of the swing, the Swift-XRT monitoring unveils an X-ray flux increase with a clear spectral hardening. It suggests that flares in high synchrotron peaked blazars can be accompanied by a polarization angle rotation, as observed in some flat spectrum radio quasars. Finally, during the polarization angle rotation, NuSTAR data reveal two contiguous spectral hysteresis loops in opposite directions (clockwise and counter-clockwise), implying important changes in the particle acceleration efficiency on $\sim$hour timescales., Comment: Accepted for publication in Astronomy & Astrophysics. 29 pages, 22 figures. Corresponding authors: Axel Arbet Engels, Felix Schmuckermaier, David Paneque

A strategy for the orchestration of hybrid classical-quantum workloads on supercomputers featuring quantum devices is proposed. The method makes use of heterogeneous job launches with Slurm to interleave classical and quantum computation, thereby reducing idle time of the quantum components. To better understand the possible shortcomings and bottlenecks of such a workload, an example application is investigated that offloads parts of the computation to a quantum device. It executes on a classical HPC system, with a server mimicking the quantum device, within the MPMD paradigm in Slurm. Quantum circuits are synthesized by means of the Classiq software suite according to the needs of the scientific application, and the Qiskit Aer circuit simulator computes the state vectors. The HHL quantum algorithm for linear systems of equations is used to solve the algebraic problem from the discretization of a linear differential equation. Communication takes place over the MPI, which is broadly employed in the HPC community. Extraction of state vectors and circuit synthesis are the most time consuming, while communication is negligible in this setup. The present test bed serves as a basis for more advanced hybrid workloads eventually involving a real quantum device., Comment: 5 pages, 7 listings, 4 figures. Presented at WIHPQC 2023

In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play uniform strategies. That is, the semantics of the logics are based on multi-agent, stochastic transition systems with imperfect information, which combine two sources of uncertainty, namely, the partial observability agents have on the environment, and the likelihood of transitions to occur from a system state. Since the model checking problem is undecidable in general in this setting, we restrict our attention to agents with memoryless (positional) strategies. The resulting setting captures the situation in which agents have qualitative uncertainty of the local state and quantitative uncertainty about the occurrence of future events. We illustrate the usefulness of this setting with meaningful examples.

The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle this issue but at the expense of expressiveness. In this paper, we propose a three-valued semantics for Strategy Logic upon which we define an abstraction method. We show that the latter semantics is an approximation of the classic two-valued one for Strategy Logic. Furthermore, we extend MCMAS, an open-source model checker for multi-agent specifications, to incorporate our abstraction method and present some promising experimental results.

In this paper we present the European Low Frequency Survey (ELFS), a project that will enable foregrounds-free measurements of primordial $B$-mode polarization to a level 10$^{-3}$ by measuring the Galactic and extra-Galactic emissions in the 5--120\,GHz frequency window. Indeed, the main difficulty in measuring the B-mode polarization comes not just from its sheer faintness, but from the fact that many other objects in the Universe also emit polarized microwaves, which mask the faint CMB signal. The first stage of this project will be carried out in synergy with the Simons Array (SA) collaboration, installing a 5.5--11 GHz coherent receiver at the focus of one of the three 3.5\,m SA telescopes in Atacama, Chile ("ELFS on SA"). The receiver will be equipped with a fully digital back-end based on the latest Xilinx RF System-on-Chip devices that will provide frequency resolution of 1\,MHz across the whole observing band, allowing us to clean the scientific signal from unwanted radio frequency interference, particularly from low-Earth orbit satellite mega-constellations. This paper reviews the scientific motivation for ELFS and its instrumental characteristics, and provides an update on the development of ELFS on SA., Comment: to appear in Proc. of the mm Universe 2023 conference, Grenoble (France), June 2023, published by F. Mayet et al. (Eds), EPJ Web of conferences, EDP Sciences

In the framework of quantum field theory, we analyze the neutrino oscillations in the presence of a torsion background. We consider the Einstein-Cartan theory and we study the cases of constant torsion and of linearly time dependent torsion. We derive new neutrino oscillation formulae which are depending on the spin orientation. Indeed the energy splitting induced by the torsion influences oscillation amplitudes and frequencies. This effect is maximal for values of torsion of the same order of the neutrino masses and for very low momenta, and disappears for large values of torsion. Moreover, neutrino oscillation is inhibited for intensities of torsion term much larger than neutrino masses and momentum. The modifications induced by torsion on the $CP$-asymmetry has been also presented. Future experiments, such as PTOLEMY, could provide insights into the effect shown here., Comment: 15 pages, 10 figures