Search

We study solutions of the parametric set-theoretic reflection equation from an algebraic perspective by employing recently derived generalizations of the familiar shelves and racks, called parametric (p)-shelves and racks. Generic invertible solutions of the set-theoretic reflection equation are also obtained by a suitable parametric twist. The twist leads to considerably simplified constraints compared to the ones obtained from general set-theoretic reflections. In this context, novel algebraic structures of (skew) p-braces that generalize the known (skew) braces and are suitable for the parametric Yang-Baxter equation are introduced. The p-rack Yang-Baxter and reflection operators as well as the associated algebraic structures are defined setting up the frame for formulating the p-rack reflection algebra., Comment: 30 pages, LaTex

Among solar system objects, comets coming from the Oort Cloud are an elusive population, intrinsically rare and difficult to detect. Nonetheless, as the more pristine objects we can observe, they encapsulate critical cues on the formation of planetary systems and are the focus of many scientific investigations and science missions. The Legacy Survey of Space and Time (LSST), which will start to operate from the Vera C. Rubin Observatory in 2025, is expected to dramatically improve our detection ability of these comets by performing regular monitoring of the Southern sky deep down to magnitude 24.5 with excellent astrometry. However, making straightforward predictions on future LSST detection rates is challenging due to our biased knowledge of the underlying population. This is because identifications to date have been conducted by various surveys or individual observers, often without detailed information on their respective selection functions. Recent efforts to predict incoming flux of Long Period Comets still suffer of the lack of systematic, well-characterized, homogeneous cometary surveys. Here, we adopt a different point of view by asking how much earlier~on known comets on long-period or hyperbolic orbits would have been discovered by a LSST-like survey if it was already in place 10 years prior to their perihelion epoch. In this case, we are not simulating a real flux of incoming comet, as all comets in our sample reach the perihelion simultaneously, but we can analyze the impact of a LSST-like survey on individual objects. We find that LSST would have found about 40% of comets in our sample at least 5 years prior to their perihelion epoch, and at double (at least) the distance at which they were actually discovered. Based on this approach, we find that LSST has the potentiality to at least twofold the current discovery rate of long-period and hyperbolic comets., Comment: 14 pages, 7 figures. Accepted for publication on Icarus

We characterise the entropy profiles of 32 very high mass ($M_{500}>7.75\times10^{14}~M_{\odot}$) galaxy clusters (HIGHMz), selected from the CHEX-MATE sample, to study the intracluster medium (ICM) entropy distribution in a regime where non-gravitational effects are minimised. Using XMM-Newton measurements, we measure the entropy profiles up to ~$R_{500}$ for all objects. The scaled profiles exhibit large dispersion in the central regions, but converge rapidly to the expectation from pure gravitational collapse beyond the core. We quantify the correlation between the ICM morphological parameters and scaled entropy as a function of radius, showing that morphologically relaxed (disturbed) objects have low (high) central entropy. We compare our data to other observational samples, finding differences in normalisation which are linked to the average mass of the samples in question. We find that a weaker mass dependence than self-similar in the scaling (Am ~ -0.25) allows us to minimise the dispersion in the radial range [0.3-0.8]$R_{500}$ for clusters spanning over a decade in mass. The deviation from self-similarity is radially dependent and is more pronounced at small and intermediate radii than at $R_{500}$. We also investigate the distribution of central entropy $K_0$, finding no evidence for bimodality, and outer slopes $\alpha$, which peaks at ~1.1. Using weak lensing masses, we find indication for a small suppression of the scatter (~30%) beyond the core when using masses derived from Yx in the rescaling. Finally, we compare to recent cosmological numerical simulations from THE THREE HUNDRED and MACSIS, finding good agreement with our observational data. These results provide a robust observational benchmark in the gravity-dominated regime and will serve as a future reference for samples at lower mass, higher redshifts, and for ongoing work using cosmological numerical simulations., Comment: 26 pages, 18 figures, 6 tables. Accepted for publication in A&A

Linear Temporal Logic over finite traces ($\text{LTL}_f$) is a widely used formalism with applications in AI, process mining, model checking, and more. The primary reasoning task for $\text{LTL}_f$ is satisfiability checking; yet, the recent focus on explainable AI has increased interest in analyzing inconsistent formulas, making the enumeration of minimal explanations for infeasibility a relevant task also for $\text{LTL}_f$. This paper introduces a novel technique for enumerating minimal unsatisfiable cores (MUCs) of an $\text{LTL}_f$ specification. The main idea is to encode a $\text{LTL}_f$ formula into an Answer Set Programming (ASP) specification, such that the minimal unsatisfiable subsets (MUSes) of the ASP program directly correspond to the MUCs of the original $\text{LTL}_f$ specification. Leveraging recent advancements in ASP solving yields a MUC enumerator achieving good performance in experiments conducted on established benchmarks from the literature.

Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) lacks a method for encoding in an elegant and compact way problems requiring a polynomial number of calls to an oracle in $\Sigma_n^p$ (that is, problems in $\Delta_{n+1}^p$). Such problems include, in particular, optimization problems. In this paper we propose an extension of ASP(Q), in which component programs may contain weak constraints. Weak constraints can be used both for expressing local optimization within quantified component programs and for modeling global optimization criteria. We showcase the modeling capabilities of the new formalism through various application scenarios. Further, we study its computational properties obtaining complexity results and unveiling non-obvious characteristics of ASP(Q) programs with weak constraints.

The main aim of this paper is to determine reflections to bijective and non-degenerate solutions of the Yang-Baxter equation, by exploring their connections with their derived solutions. This is motivated by a recent description of left non-degenerate solutions in terms of a family of automorphisms of their associated left rack. In some cases, we show that the study of reflections for bijective and non-degenerate solutions can be reduced to those of derived type. Moreover, we extend some results obtained in the literature for reflections of involutive non-degenerate solutions to more arbitrary solutions. Besides, we provide ways for defining reflections for solutions obtained by employing some classical construction techniques of solutions. Finally, we gather some numerical data on reflections for bijective non-degenerate solutions associated with skew braces of small order., Comment: Some numerical data have been corrected

The intra-cluster medium is prone to turbulent motion that will contribute to the non-thermal heating of the gas, complicating the use of galaxy clusters as cosmological probes. Indirect approaches can estimate the intensity and structure of turbulent motions by studying the associated fluctuations in gas density and X-ray surface brightness. In this work, we want to constrain the gas density fluctuations at work in the CHEX-MATE sample to obtain a detailed view of their properties in a large population of clusters. We use a simulation-based approach to constrain the parameters of the power spectrum of density fluctuations, assuming a Kolmogorov-like spectrum and including the sample variance, further providing an approximate likelihood for each cluster. This method requires clusters to be not too disturbed, as fluctuations can originate from dynamic processes such as merging. Accordingly, we remove the less relaxed clusters (centroid shift $w>0.02$) from our sample, resulting in a sample of 64 clusters. We define different subsets of CHEX-MATE to determine properties of density fluctuations as a function of dynamical state, mass and redshift, and investigate the correlation with the presence or not of a radio halo. We found a positive correlation between the dynamical state and density fluctuation variance, a non-trivial behaviour with mass and no specific trend with redshift or the presence/absence of a radio halo. The injection scale is mostly constrained by the core region. The slope in the inertial range is consistent with Kolmogorov theory. When interpreted as originating from turbulent motion, the density fluctuations in $R_{500}$ yield an average Mach number of $M_{3D}\simeq 0.4\pm 0.2$, an associated non-thermal pressure support of $ P_{turb}/P_{tot}\simeq (9\pm 6) \%$ or a hydrostatic mass bias $b_{turb}\simeq 0.09\pm 0.06$, in line with what is expected from the literature., Comment: Accepted for publication in A&A, abstract slightly abridged for Arxiv

On September 26, 2022, NASA's Double Asteroid Redirection Test (DART) mission successfully impacted Dimorphos, the natural satellite of the binary near-Earth asteroid (65803) Didymos. Numerical simulations of the impact provide a means to explore target surface material properties and structures, consistent with the observed momentum deflection efficiency, ejecta cone geometry, and ejected mass. Our simulation, which best matches observations, indicates that Dimorphos is weak, with a cohesive strength of less than a few pascals (Pa), similar to asteroids (162173) Ryugu and (101955) Bennu. We find that a bulk density of Dimorphos, rhoB, lower than 2400 kg/m3, and a low volume fraction of boulders (<40 vol%) on the surface and in the shallow subsurface, are consistent with measured data from the DART experiment. These findings suggest Dimorphos is a rubble pile that might have formed through rotational mass shedding and re-accumulation from Didymos. Our simulations indicate that the DART impact caused global deformation and resurfacing of Dimorphos. ESA's upcoming Hera mission may find a re-shaped asteroid, rather than a well-defined crater.

The connection between the thermal and non-thermal properties in galaxy clusters hosting radio halos seems fairly well established. However, a comprehensive analysis of such a connection has been made only for integrated quantities (e.g. $L_X - P_{radio}$ relation). In recent years new-generation radio telescopes have enabled the unprecedented possibility to study the non-thermal properties of galaxy clusters on a spatially resolved basis. Here, we perform a pilot study to investigate the mentioned properties on five targets, by combining X-ray data from the CHEX-MATE project with the second data release from the LOFAR Two meter Sky survey. We find a strong correlation ($r_s \sim 0.7$) with a slope less than unity between the radio and X-ray surface brightness. We also report differences in the spatially resolved properties of the radio emission in clusters which show different levels of dynamical disturbance. In particular, less perturbed clusters (according to X-ray parameters) show peaked radio profiles in the centre, with a flattening in the outer regions, while the three dynamically disturbed clusters have steeper profiles in the outer regions. We fit a model to the radio emission in the context of turbulent re-acceleration with a constant ratio between thermal and non-thermal particles energy density and a magnetic field profile linked to the thermal gas density as $B(r) \propto n_{th}^{0.5}$. We found that this simple model cannot reproduce the behaviour of the observed radio emission., Comment: 23 pages, 10 figures, accepted for publication in A&A

The "Cluster HEritage project with \xmm: Mass Assembly and Thermodynamics at the Endpoint of structure formation" (CHEX-MATE) is a multi-year Heritage program, to obtain homogeneous XMM-Newton observations of a representative sample of 118 galaxy clusters. The observations are tuned to reconstruct the distribution of the main thermodynamic quantities of the ICM up to $R_{500}$ and to obtain individual mass measurements, via the hydrostatic-equilibrium equation, with a precision of 15-20%. Temperature profiles are a necessary ingredient for the scientific goals of the project and it is thus crucial to derive the best possible temperature measurements from our data. This is why we have built a new pipeline for spectral extraction and analysis of XMM-Newton data, based on a new physically motivated background model and on a Bayesian approach with Markov Chain Monte Carlo (MCMC) methods, that we present in this paper for the first time. We applied this new method to a subset of 30 galaxy clusters representative of the CHEX-MATE sample and show that we can obtain reliable temperature measurements up to regions where the source intensity is as low as 20% of the background, keeping systematic errors below 10%. We compare the median profile of our sample and the best fit slope at large radii with literature results and we find a good agreement with other measurements based on XMM-Newton data. Conversely, when we exclude from our analysis the most contaminated regions, where the source intensity is below 20 of the background, we find significantly flatter profiles, in agreement with predictions from numerical simulations and independent measurements with a combination of Sunyaev-Zeldovich and X-ray imaging data., Comment: Accepted for publication in Astronomy & Astrophysics. Table C.1. available in electronic format at http://xmm-heritage.oas.inaf.it/data/Rossetti24_table_cds.dat

We present a joint millimetric and X-ray analysis of hot gas properties in the distant galaxy cluster SPT-CLJ0615-5746 ($z = 0.972$). Combining Chandra observations with the South Pole Telescope (SPT) and Planck data, we perform radial measurements of thermodynamical quantities up to a characteristic radius of $1.2\, R_{500}$. We exploit the high angular resolution of Chandra and SPT to map the innermost region of the cluster and the high sensitivity to the larger angular scales of Planck to constrain the outskirts and improve the estimation of the cosmic microwave background and the galactic thermal dust emissions. Besides maximizing the accuracy of radial temperature measurements, our joint analysis allows us to test the consistency between X-ray and millimetric derivations of thermodynamic quantities via the introduction of a normalization parameter ($\eta_T$) between X-ray and millimetric temperature profiles. This approach reveals a substantial high value of the normalization parameter, $\eta_T=1.46^{+0.15}_{-0.22}$, suggesting that the gas halo is aspherical. Assuming hot gas hydrostatic equilibrium within complementary angular sectors that intercept the major and minor elongation of the X-ray image, we infer a halo mass profile that results from an effective compensation of azimuthal variations of gas densities by variations of the $\eta_T$ parameter. Consistent with earlier integrated X-ray and millimetric measurements, we infer a cluster mass of $M^{\text{HE}}_{500} = 10.67^{+0.62}_{-0.50}\,\, 10^{14}\,M_{\odot}$., Comment: 13 pages and 10 figures

Unit testing frameworks are nowadays considered a best practice, included in almost all modern software development processes, to achieve rapid development of correct specifications. Knowledge representation and reasoning paradigms such as Answer Set Programming (ASP), that have been used in industry-level applications, are not an exception. Indeed, the first unit testing specification language for ASP was proposed in 2011 as a feature of the ASPIDE development environment. Later, a more portable unit testing language was included in the LANA annotation language. In this paper we revisit both languages and tools for unit testing in ASP. We propose a new unit test specification language that allows one to inline tests within ASP programs, and we identify the computational complexity of the tasks associated with checking the various program-correctness assertions. Test-case specifications are transparent to the traditional evaluation, but can be interpreted by a specific testing tool. Thus, we present a novel environment supporting test driven development of ASP programs.

This survey aims to collect the main results of the theory of the set-theoretical solutions to the pentagon equation obtained up to now in the literature. In particular, we present some classes of solutions and raise some questions., Comment: The bibliography is corrected and updated

We study the perturbations in the temperature (and density) distribution for 28 clusters selected from the CHEX-MATE sample to evaluate and characterize the level of inhomogeneities and the related dynamical state of the ICM. We use these spatially resolved 2D distributions to measure the global and radial scatter and identify the regions that deviate the most from the average distribution. During this process, we introduce three dynamical state estimators and produce clean temperature profiles after removing the most deviant regions. We find that the temperature distribution of most of the clusters is skewed towards high temperatures and is well described by a log-normal function. There is no indication that the number of regions deviating more than 1$\sigma$ from the azimuthal value is correlated with the dynamical state inferred from morphological estimators. The removal of these regions leads to local temperature variations up to 10-20% and an average increase of $\sim$5% in the overall cluster temperatures. The measured relative intrinsic scatter within $R_{500}$, $\sigma_{T,int}/T$, has values of 0.17$^{+0.08}_{-0.05}$, and is almost independent of the cluster mass and dynamical state. Comparing the scatter of temperature and density profiles to hydrodynamic simulations, we constrain the average Mach number regime of the sample to $M_{3D}$=0.36$^{+0.16}_{-0.09}$. We infer the ratio between the energy in turbulence and the thermal energy, and translate this ratio in terms of a predicted hydrostatic mass bias $b$, estimating an average value of $b\sim$0.11 (covering a range between 0 and 0.37) within $R_{500}$. This study provides detailed temperature fluctuation measurements for 28 CHEX-MATE clusters which can be used to study turbulence, derive the mass bias, and make predictions on the scaling relation properties., Comment: Accepted for publication in A&A

The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consistent dimming rates of 0.11-0.12 magnitudes/day in the first week, and 0.08-0.09 magnitudes/day over the entire study period. The system returned to its pre-impact brightness 24.3-25.3 days after impact through the primary ejecta tail remained. The dimming paused briefly eight days after impact, near in time to the appearance of the second tail. This was likely due to a secondary release of material after re-impact of a boulder released in the initial impact, through movement of the primary ejecta through the aperture likely played a role., Comment: 16 pages, 5 Figures, accepted in the Astrophysical Journal Letters (ApJL) on October 16, 2023

Temperature profiles of the hot galaxy cluster intracluster medium (ICM) have a complex non-linear structure that traditional parametric modelling may fail to fully approximate. For this study, we made use of neural networks, for the first time, to construct a data-driven non-parametric model of ICM temperature profiles. A new deconvolution algorithm was then introduced to uncover the true (3D) temperature profiles from the observed projected (2D) temperature profiles. An auto-encoder-inspired neural network was first trained by learning a non-linear interpolatory scheme to build the underlying model of 3D temperature profiles in the radial range of [0.02-2] R$_{500}$, using a sparse set of hydrodynamical simulations from the THREE HUNDRED PROJECT. A deconvolution algorithm using a learning-based regularisation scheme was then developed. The model was tested using high and low resolution input temperature profiles, such as those expected from simulations and observations, respectively. We find that the proposed deconvolution and deprojection algorithm is robust with respect to the quality of the data, the morphology of the cluster, and the deprojection scheme used. The algorithm can recover unbiased 3D radial temperature profiles with a precision of around 5\% over most of the fitting range. We apply the method to the first sample of temperature profiles obtained with XMM{\it -Newton} for the CHEX-MATE project and compared it to parametric deprojection and deconvolution techniques. Our work sets the stage for future studies that focus on the deconvolution of the thermal profiles (temperature, density, pressure) of the ICM and the dark matter profiles in galaxy clusters, using deep learning techniques in conjunction with X-ray, Sunyaev Zel'Dovich (SZ) and optical datasets., Comment: 32 pages, 30 figures, 6 tables, Accepted in A&A

Galaxy clusters are the products of structure formation through myriad physical processes that affect their growth and evolution throughout cosmic history. As a result, the matter distribution within galaxy clusters, or their shape, is influenced by cosmology and astrophysical processes, in particular the accretion of new material due to gravity. We introduce an analysis method to investigate the 3D triaxial shapes of galaxy clusters from the Cluster HEritage project with XMM-Newton -- Mass Assembly and Thermodynamics at the Endpoint of structure formation (CHEX-MATE). In this work, the first paper of a CHEX-MATE triaxial analysis series, we focus on utilizing X-ray data from XMM and Sunyaev-Zel'dovich (SZ) effect maps from Planck and ACT to obtain a three dimensional triaxial description of the intracluster medium (ICM) gas. We present the forward modeling formalism of our technique, which projects a triaxial ellipsoidal model for the gas density and pressure to compare directly with the observed two dimensional distributions in X-rays and the SZ effect. A Markov chain Monte Carlo is used to estimate the posterior distributions of the model parameters. Using mock X-ray and SZ observations of a smooth model, we demonstrate that the method can reliably recover the true parameter values. In addition, we apply the analysis to reconstruct the gas shape from the observed data of one CHEX-MATE galaxy cluster, Abell 1689, to illustrate the technique. The inferred parameters are in agreement with previous analyses for that cluster, and our results indicate that the geometrical properties, including the axial ratios of the ICM distribution, are constrained to within a few percent. With much better precision than previous studies, we thus further establish that Abell 1689 is significantly elongated along the line of sight, resulting in its exceptional gravitational lensing properties., Comment: accepted for publication in A&A

We prove that any set-theoretic solution of the Yang-Baxter equation associated to a dual weak brace is a strong semilattice of non-degenerate bijective solutions. This fact makes use of the description of any dual weak brace $S$ we provide in terms of strong semilattice $Y$ of skew braces $B_\alpha$, with $\alpha \in Y$. Additionally, we describe the ideals of $S$ and study its nilpotency by correlating it to that of each skew brace $B_\alpha$.

Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Programming (ASP) to allow for declarative and modular modeling of problems from the entire polynomial hierarchy. The first implementation of ASP(Q), called qasp, was based on a translation to Quantified Boolean Formulae (QBF) with the aim of exploiting the well-developed and mature QBF-solving technology. However, the implementation of the QBF encoding employed in qasp is very general and might produce formulas that are hard to evaluate for existing QBF solvers because of the large number of symbols and sub-clauses. In this paper, we present a new implementation that builds on the ideas of qasp and features both a more efficient encoding procedure and new optimized encodings of ASP(Q) programs in QBF. The new encodings produce smaller formulas (in terms of the number of quantifiers, variables, and clauses) and result in a more efficient evaluation process. An algorithm selection strategy automatically combines several QBF-solving back-ends to further increase performance. An experimental analysis, conducted on known benchmarks, shows that the new system outperforms qasp., Comment: Under consideration for publication in Theory and Practice of Logic Programming

Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfv\'en waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $\alpha=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $\alpha = 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfv\'en waves are an important driver of coronal heating., Comment: 1,002 authors, 14 pages, 4 figures, 3 tables, published by The Astrophysical Journal on 2023-05-09, volume 948, page 71

We investigate the statistical properties and the origin of the scatter within the spatially resolved surface brightness profiles of the CHEX-MATE sample, formed by 118 galaxy clusters selected via the SZ effect. These objects have been drawn from the Planck SZ catalogue and cover a wide range of masses, M$_{500}=[2-15] \times 10^{14} $M$_{\odot}$, and redshift, z=[0.05,0.6]. We derived the surface brightness and emission measure profiles and determined the statistical properties of the full sample. We found that there is a critical scale, R$\sim 0.4 R_{500}$, within which morphologically relaxed and disturbed object profiles diverge. The median of each sub-sample differs by a factor of $\sim 10$ at $0.05\,R_{500}$. There are no significant differences between mass- and redshift-selected sub-samples once proper scaling is applied. We compare CHEX-MATE with a sample of 115 clusters drawn from the The Three Hundred suite of cosmological simulations. We found that simulated emission measure profiles are systematically steeper than those of observations. For the first time, the simulations were used to break down the components causing the scatter between the profiles. We investigated the behaviour of the scatter due to object-by-object variation. We found that the high scatter, approximately 110%, at $R<0.4R_{500}$ is due to a genuine difference between the distribution of the gas in the core. The intermediate scale, $R_{500} =[0.4-0.8]$, is characterised by the minimum value of the scatter on the order of 0.56, indicating a region where cluster profiles are the closest to the self-similar regime. Larger scales are characterised by increasing scatter due to the complex spatial distribution of the gas. Also for the first time, we verify that the scatter due to projection effects is smaller than the scatter due to genuine object-by-object variation in all the considered scales. [abridged], Comment: Accepted for publication in A&A