Search

We deal with a Leslie-Gower predator-prey model with a generalist or alternating food for predator and linear functional response. Using a topological equivalent polynomial system we prove that the system is not Liouvillian (hence also not Darboux) integrable. In order to study the global dynamics of this model, we use the Poincar\'e compactification of $\mathbb{R}^2$ to characterize all phase portraits in the Poincar\'e disc, obtaining two different topological phase portraits.

The magnetar SGR 1935+2154 is the only known Galactic source of fast radio bursts (FRBs). FRBs from SGR 1935+2154 were first detected by CHIME/FRB and STARE2 in 2020 April, after the conclusion of the LIGO, Virgo, and KAGRA Collaborations' O3 observing run. Here we analyze four periods of gravitational wave (GW) data from the GEO600 detector coincident with four periods of FRB activity detected by CHIME/FRB, as well as X-ray glitches and X-ray bursts detected by NICER and NuSTAR close to the time of one of the FRBs. We do not detect any significant GW emission from any of the events. Instead, using a short-duration GW search (for bursts $\leq$ 1 s) we derive 50\% (90\%) upper limits of $10^{48}$ ($10^{49}$) erg for GWs at 300 Hz and $10^{49}$ ($10^{50}$) erg at 2 kHz, and constrain the GW-to-radio energy ratio to $\leq 10^{14} - 10^{16}$. We also derive upper limits from a long-duration search for bursts with durations between 1 and 10 s. These represent the strictest upper limits on concurrent GW emission from FRBs., Comment: 15 pages of text including references, 4 figures, 5 tables

The Large Magellanic Cloud (LMC) is a Milky Way (MW) satellite that is massive enough to gravitationally attract the MW disc and inner halo, causing significant motion of the inner MW with respect to the outer halo. In this work, we probe this interaction by constructing a sample of 9,866 blue horizontal branch (BHB) stars with radial velocities from the DESI spectroscopic survey out to 120 kpc from the Galactic centre. This is the largest spectroscopic set of BHB stars in the literature to date, and it contains four times more stars with Galactocentric distances beyond 50 kpc than previous BHB catalogues. Using the DESI BHB sample combined with SDSS BHBs, we measure the bulk radial velocity of stars in the outer halo and observe that the velocity in the Southern Galactic hemisphere is different by 3.7$\sigma$ from the North. Modelling the projected velocity field shows that its dipole component is directed at a point 22 degrees away from the LMC along its orbit, which we interpret as the travel direction of the inner MW. The velocity field includes a monopole term that is -24 km/s, which we refer to as compression velocity. This velocity is significantly larger than predicted by the current models of the MW and LMC interaction. This work uses DESI data from its first two years of observations, but we expect that with upcoming DESI data releases, the sample of BHB stars will increase and our ability to measure the MW-LMC interaction will improve significantly., Comment: 22 pages, 19 figures. Submitted to MNRAS

Solving large scale entropic optimal transport problems with the Sinkhorn algorithm remains challenging, and domain decomposition has been shown to be an efficient strategy for problems on large grids. Unbalanced optimal transport is a versatile variant of the balanced transport problem and its entropic regularization can be solved with an adapted Sinkhorn algorithm. However, it is a priori unclear how to apply domain decomposition to unbalanced problems since the independence of the cell problems is lost. In this article we show how this difficulty can be overcome at a theoretical and practical level and demonstrate with experiments that domain decomposition is also viable and efficient on large unbalanced entropic transport problems., Comment: Added acknowledgements

We report a novel approach based on the non-equilibrium self-consistent generalized Langevin equation (NESCGLE) theory that allows for the first principles prediction of the zero-shear viscosity in glass- and- gel-forming materials. This new modulus of the NESCGLE theory facilitates the theoretical description and interpretation of experimental data concerning out-of-equilibrium rheological properties of viscous liquids during their amorphous solidification. The predictive capability of our approach is illustrated here by means of a quantitative comparison between theoretical and experimental results for the zero shear viscosity in suspensions of oligomer-tethered nanoparticles in a polymeric host, finding an almost perfect correspondence between experiments and theory. This comparison also highlights the crucial relevance of including a kinetic perspective, such as that provided by the NESCGLE theory, in the description of dynamic and viscoelastic properties of amorphous states of matter.

We evaluate the impact of pretraining Graph Transformer architectures on atom-level quantum-mechanical features for the modeling of absorption, distribution, metabolism, excretion, and toxicity (ADMET) properties of drug-like compounds. We compare this pretraining strategy with two others: one based on molecular quantum properties (specifically the HOMO-LUMO gap) and one using a self-supervised atom masking technique. After fine-tuning on Therapeutic Data Commons ADMET datasets, we evaluate the performance improvement in the different models observing that models pretrained with atomic quantum mechanical properties produce in general better results. We then analyse the latent representations and observe that the supervised strategies preserve the pretraining information after finetuning and that different pretrainings produce different trends in latent expressivity across layers. Furthermore, we find that models pretrained on atomic quantum mechanical properties capture more low-frequency laplacian eigenmodes of the input graph via the attention weights and produce better representations of atomic environments within the molecule. Application of the analysis to a much larger non-public dataset for microsomal clearance illustrates generalizability of the studied indicators. In this case the performances of the models are in accordance with the representation analysis and highlight, especially for the case of masking pretraining and atom-level quantum property pretraining, how model types with similar performance on public benchmarks can have different performances on large scale pharmaceutical data.

This paper has taken into advantage the relationship between Fuzzy Relation Equations (FRE) and Concept Lattices in order to introduce a procedure to reduce a FRE, without losing information. Specifically, attribute reduction theory in property-oriented and object-oriented concept lattices has been considered in order to present a mechanism for detecting redundant equations. As a first consequence, the computation of the whole solution set of a solvable FRE is reduced. Moreover, we will also introduce a novel method for computing approximate solutions of unsolvable FRE related to a (real) dataset with uncertainty/imprecision data.

Extended multi-adjoint logic programming arises as an extension of multi-adjoint normal logic programming where constraints and a special type of aggregator operator have been included. The use of this general aggregator operator permits to consider, for example, different negation operators in the body of the rules of a logic program. We have introduced the syntax and the semantics of this new paradigm, as well as an interesting mechanism for obtaining a multi-adjoint normal logic program from an extended multi-adjoint logic program. This mechanism will allow us to establish technical properties relating the different stable models of both logic programming frameworks. Moreover, it makes possible that the already developed and future theory associated with stable models of multi-adjoint normal logic programs can be applied to extended multi-adjoint logic programs.

We present the Merian Survey, an optical imaging survey optimized for studying the physical properties of bright star-forming dwarf galaxies. Merian is carried out with two medium-band filters ($N708$ and $N540$, centered at $708$ and $540$ nm), custom-built for the Dark Energy Camera (DECam) on the Blanco telescope. Merian covers $\sim 750\,\mathrm{deg}^2$ of equatorial fields, overlapping with the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) wide, deep, and ultra-deep fields. When combined with the HSC-SSP imaging data ($grizy$), the new Merian DECam medium-band imaging allows for photometric redshift measurements via the detection of H$\rm\alpha$ and [OIII] line emission flux excess in the $N708$ and $N540$ filters, respectively, at $0.06

We present the discovery of Aquarius III, an ultra-faint Milky Way satellite galaxy identified in the second data release of the DECam Local Volume Exploration (DELVE) survey. Based on deeper follow-up imaging with DECam, we find that Aquarius III is a low-luminosity ($M_V = -2.5^{+0.3}_{-0.5}$; $L_V = 850^{+380}_{-260} \ L_{\odot}$), extended ($r_{1/2} = 41^{+9}_{-8}$ pc) stellar system located in the outer halo ($D_{\odot} = 85 \pm 4$ kpc). From medium-resolution Keck/DEIMOS spectroscopy, we identify 11 member stars and measure a mean heliocentric radial velocity of $v_{\rm sys} = -13.1^{+1.0}_{-0.9} \ \rm km \ s^{-1}$ for the system and place an upper limit of $\sigma_v < 3.5 \rm \ km \ s^{-1}$ ($\sigma_v < 1.6 \rm \ km \ s^{-1}$) on its velocity dispersion at the 95% (68%) credible level. Based on Calcium-Triplet-based metallicities of the six brightest red giant members, we find that Aquarius III is very metal-poor ([Fe/H]$ = -2.61 \pm 0.21$) with a statistically-significant metallicity spread ($\sigma_{\rm [Fe/H]} = 0.46^{+0.26}_{-0.14}$ dex). We interpret this metallicity spread as strong evidence that the system is a dwarf galaxy as opposed to a star cluster. Combining our velocity measurement with $Gaia$ proper motions, we find that Aquarius III is currently situated near its orbital pericenter in the outer halo ($r_{\rm peri} = 78 \pm 7$ kpc) and that it is plausibly on first infall onto the Milky Way. This orbital history likely precludes significant tidal disruption from the Galactic disk, notably unlike other satellites with comparably low velocity dispersion limits in the literature. Thus, if further velocity measurements confirm that its velocity dispersion is truly below $\sigma_v \lesssim 2 \rm \ km \ s^{-1}$, Aquarius III may serve as a useful laboratory for probing galaxy formation physics in low-mass halos., Comment: 25 pages, 7 figures. Submitted to AAS Journals

The recent fit of cosmological parameters by the Dark Energy Spectroscopic Instrument (DESI) collaboration will have a significant impact on our understanding of the universe. Given its importance, we conduct several consistency checks and draw conclusions from the fit. Specifically, we focus on the following key issues relevant to cosmology: (i) the acceleration of the universe's expansion, which, according to the fit, differs over cosmological time compared to the standard cosmological model; (ii) the age of the universe, which appears slightly shorter than the age of the oldest stars; and (iii) the solution of the scale factor, both numerically and in an approximate analytical form., Comment: 32 pages, 9 Figures, 10 Tables

This paper studies the solvability of the max-product fuzzy relation equations in which a negation operator is considered. Specifically, the residuated negation of the product t-norm has been introduced in these equations in order to increase the flexibility of the standard fuzzy relation equations introduced by Sanchez in 1976. The solvability and the set of solutions of these bipolar equations have been studied in different scenarios, depending on the considered number of variables and equations.

Bipolar fuzzy relation equations arise when unknown variables together with their logical negations appear simultaneously in fuzzy relation equations. This paper gives a characterization of the solvability of bipolar max product fuzzy (relation) equations with the standard negation. In addition, some properties associated with the existence of the greatest/least solution or maximal/minimal solutions are shown, when these (relation) equations are solvable. Different examples are included in order to clarify the developed theory.

Bipolar fuzzy relation equations arise as a generalization of fuzzy relation equations considering unknown variables together with their logical connective negations. The occurrence of a variable and the occurrence of its negation simultaneously can give very useful information for certain frameworks where the human reasoning plays a key role. Hence, the resolution of bipolar fuzzy relation equations systems is a research topic of great interest. This paper focuses on the study of bipolar fuzzy relation equations systems based on the max-product t-norm composition. Specifically, the solvability and the algebraic structure of the set of solutions of these bipolar equations systems will be studied, including the case in which such systems are composed of equations whose independent term be equal to zero. As a consequence, this paper complements the contribution carried out by the authors on the solvability of bipolar max-product fuzzy relation equations.

A fundamental issue about installation of photovoltaic solar power stations is the optimization of the energy generation and the fault detection, for which different techniques and methodologies have already been developed considering meteorological conditions. This fact implies the use of unstable and difficult predictable variables which may give rise to a possible problem for the plausibility of the proposed techniques and methodologies in particular conditions. In this line, our goal is to provide a decision support system for photovoltaic fault detection avoiding meteorological conditions. This paper has developed a mathematical mechanism based on fuzzy sets in order to optimize the energy production in the photovoltaic facilities, detecting anomalous behaviors in the energy generated by the facilities over time. Specifically, the incorrect and correct behaviors of the photovoltaic facilities have been modeled through the use of different membership mappings. From these mappings, a decision support system based on OWA operators informs of the performances of the facilities per day, by using natural language. Moreover, a state machine is also designed to determine the stage of each facility based on the stages and the performances from previous days. The main advantage of the designed system is that it solves the problem of "constant loss of energy production", without the consideration of meteorological conditions and being able to be more profitable. Moreover, the system is also scalable and portable, and complements previous works in energy production optimization. Finally, the proposed mechanism has been tested with real data, provided by Grupo Energ\'etico de Puerto Real S.A. which is an enterprise in charge of the management of six photovoltaic facilities in Puerto Real, C\'adiz, Spain, and good results have been obtained for faulting detection.

Formal concept analysis (FCA) is a useful mathematical tool for obtaining information from relational datasets. One of the most interesting research goals in FCA is the selection of the most representative variables of the dataset, which is called attribute reduction. Recently, the attribute reduction mechanism has been complemented with the use of local congruences in order to obtain robust clusters of concepts, which form convex sublattices of the original concept lattice. Since the application of such local congruences modifies the quotient set associated with the attribute reduction, it is fundamental to know how the original context (attributes, objects and relationship) has been modified in order to understand the impact of the application of the local congruence in the attribute reduction.

Attribute and size reductions are key issues in formal concept analysis. In this paper, we consider a special kind of equivalence relation to reduce concept lattices, which will be called local congruence. This equivalence relation is based on the notion of congruence on lattices, with the goal of losing as less information as possible and being suitable for the reduction of concept lattices. We analyze how the equivalence classes obtained from a local congruence can be ordered. Moreover, different properties related to the algebraic structure of the whole set of local congruences are also presented. Finally, a procedure to reduce concept lattices by the new weaker notion of congruence is introduced. This procedure can be applied to the classical and fuzzy formal concept analysis frameworks.

Multi-adjoint logic programming is a general framework with interesting features, which involves other positive logic programming frameworks such as monotonic and residuated logic programming, generalized annotated logic programs, fuzzy logic programming and possibilistic logic programming. One of the most interesting extensions of this framework is the possibility of considering a negation operator in the logic programs, which will improve its flexibility and the range of real applications. This paper introduces multi-adjoint normal logic programming, which is an extension of multi-adjoint logic programming including a negation operator in the underlying lattice. Beside the introduction of the syntax and semantics of this paradigm, we will provide sufficient conditions for the existence of stable models defined on a convex compact set of a euclidean space. Finally, we will consider a particular algebraic structure in which sufficient conditions can be given in order to ensure the unicity of stable models of multi-adjoint normal logic programs.

AI data-driven models (Graphcast, Pangu Weather, Fourcastnet, and SFNO) are explored for storyline-based climate attribution due to their short inference times, which can accelerate the number of events studied, and provide real time attributions when public attention is heightened. The analysis is framed on the extreme atmospheric river episode of February 2017 that contributed to the Oroville dam spillway incident in Northern California. Past and future simulations are generated by perturbing the initial conditions with the pre-industrial and the late-21st century temperature climate change signals, respectively. The simulations are compared to results from a dynamical model which represents plausible pseudo-realities under both climate environments. Overall, the AI models show promising results, projecting a 5-6 % increase in the integrated water vapor over the Oroville dam in the present day compared to the pre-industrial, in agreement with the dynamical model. Different geopotential-moisture-temperature dependencies are unveiled for each of the AI-models tested, providing valuable information for understanding the physicality of the attribution response. However, the AI models tend to simulate weaker attribution values than the pseudo-reality imagined by the dynamical model, suggesting some reduced extrapolation skill, especially for the late-21st century regime. Large ensembles generated with an AI model (>500 members) produced statistically significant present-day to pre-industrial attribution results, unlike the >20-member ensemble from the dynamical model. This analysis highlights the potential of AI models to conduct attribution analysis, while emphasizing future lines of work on explainable artificial intelligence to gain confidence in these tools, which can enable reliable attribution studies in real-time., Comment: This Work has been submitted to Artificial Intelligence for the Earth Systems

Regulatory authorities aim to tackle illegal activities by targeting the economic incentives that drive such behaviour. This is typically achieved through the implementation of financial sanctions against the entities involved in the crimes. However, the rise of cryptocurrencies has presented new challenges, allowing entities to evade these sanctions and continue criminal operations. Consequently, enforcement measures have been expanded to include crypto assets information of sanctioned entities. Yet, due to the nature of the crypto ecosystem, blocking or freezing these digital assets is harder and, in some cases, such as with Bitcoin, unfeasible. Therefore, sanctions serve merely as deterrents. For this reason, in this study, we aim to assess the impact of these sanctions on entities' crypto activities, particularly those related to the Bitcoin ecosystem. Our objective is to shed light on the validity and effectiveness (or lack thereof) of such countermeasures. Specifically, we analyse the transactions and the amount of USD moved by punished entities that possess crypto addresses after being sanctioned by the authority agency. Results indicate that while sanctions have been effective for half of the examined entities, the others continue to move funds through sanctioned addresses. Furthermore, punished entities demonstrate a preference for utilising rapid exchange services to convert their funds, rather than employing dedicated money laundering services. To the best of our knowledge, this study offers valuable insights into how entities use crypto assets to circumvent sanctions., Comment: preprint version of paper presented at 8th International Workshop on Cryptocurrencies and Blockchain Technology - CBT 2024 and published in LNCS Proceedings

Quorum sensing orchestrates bacterial communication, which is vital for bacteria's population behaviour. We propose a mathematical model that unveils chaotic dynamics within quorum sensing networks, challenging predictability. The model considers the interaction between autoinducers (molecular signalling) and two subtypes of bacteria. We analyze the different dynamical scenarios to find parameter regimes for long-term steady-state behaviour, periodic oscillations, and even chaos. In the latter case, we find that the complicated dynamics can be explained by the presence of homoclinic Shilnikov bifurcations., Comment: 20 pages, 9 figures

Designing mechanically efficient geometry for architectural structures like shells, towers, and bridges is an expensive iterative process. Existing techniques for solving such inverse mechanical problems rely on traditional direct optimization methods, which are slow and computationally expensive, limiting iteration speed and design exploration. Neural networks would seem to offer a solution, via data-driven amortized optimization for specific design tasks, but they often require extensive fine-tuning and cannot ensure that important design criteria, such as mechanical integrity, are met. In this work, we combine neural networks with a differentiable mechanics simulator to develop a model that accelerates the solution of shape approximation problems for architectural structures modeled as bar systems. As a result, our model offers explicit guarantees to satisfy mechanical constraints while generating designs that match target geometries. We validate our model in two tasks, the design of masonry shells and cable-net towers. Our model achieves better accuracy and generalization than fully neural alternatives, and comparable accuracy to direct optimization but in real time, enabling fast and sound design exploration. We further demonstrate the real-world potential of our trained model by deploying it in 3D modeling software and by fabricating a physical prototype. Our work opens up new opportunities for accelerated physical design enhanced by neural networks for the built environment.

In this work, we uncover patterns of usage mobile phone applications and information spread in response to perturbations caused by unprecedented events. We focus on categorizing patterns of response in both space and time and tracking their relaxation over time. To this end, we use the NetMob2023 Data Challenge dataset, which provides mobile phone applications traffic volume data for several cities in France at a spatial resolution of 100$m^2$ and a time resolution of 15 minutes for a time period ranging from March to May 2019. We analyze the spread of information before, during, and after the catastrophic Notre-Dame fire on April 15th and a bombing that took place in the city centre of Lyon on May 24th using volume of data uploaded and downloaded to different mobile applications as a proxy of information transfer dynamics. We identify different clusters of information transfer dynamics in response to the Notre-Dame fire within the city of Paris as well as in other major French cities. We find a clear pattern of significantly above-baseline usage of the application Twitter (currently known as X) in Paris that radially spreads from the area surrounding the Notre-Dame cathedral to the rest of the city. We detect a similar pattern in the city of Lyon in response to the bombing. Further, we present a null model of radial information spread and develop methods of tracking radial patterns over time. Overall, we illustrate novel analytical methods we devise, showing how they enable a new perspective on mobile phone user response to unplanned catastrophic events, giving insight into how information spreads during a catastrophe in both time and space.

We unveil novel spin-orbit torque mechanisms driven by topological edge states in magnetic graphene-based devices. Within the energy gap, a damping-like torque plateau emerges within the quantum anomalous Hall phase upon breaking particle-hole symmetry, while for energies at the spin-split Dirac points located within the bands, a large damping-like torque develops as a result of a vanishing Fermi contour. Such torques are tunable by the degree of spin-pseudospin entanglement dictated by proximity-induced spin-orbit coupling terms. This additionally allows to reach the upper limit of charge-to-spin conversion in non-magnetic devices.

The Kitaev model with a spatially modulated phase in the superconducting order parameter exhibits two types of topological transitions, namely a band topology transition between trivial and topological gapped phases, and a Fermi surface Lifshitz transition from a gapped to a gapless superconducting state. We investigate the correlation functions of the model for arbitrary values of superconducting coupling $\Delta_0$, chemical potential $\mu$, and phase modulation wavevector $Q$, characterizing the current flowing through the system. In the cases $\mu=0$ or $Q=\pm \pi/2$ correlations are proven to exhibit an even/odd effect as a function of the distance $l$ between two lattice sites, as they are non-vanishing or strictly vanishing depending on the parity of $l$. We identify a clear difference between the two types of transitions through the $Q$-dependence of the short distance correlation functions. In particular, they exhibit pronounced cusps with discontinuous derivatives across the Lifshitz transition. We also determine the long distance behavior of correlations, finding various types of exponential decays in the gapped phase, and an algebraic decay characterized by two different spatial periods in the gapless phase. Furthermore, we establish a connection between the gapless superconducting phase of the Kitaev model and the chiral phase of spin models with Dzyaloshinskii-Moriya interaction., Comment: 24 pages, 10 figures

Using a long-standing conjecture from combinatorial group theory, we explore, from multiple angles, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the mathematical context defined by the Andrews-Curtis conjecture, we propose algorithmic improvements that can be relevant in other domains with ultra-sparse reward problems. Although our case study can be formulated as a game, its shortest winning sequences are potentially $10^6$ or $10^9$ times longer than those encountered in chess. In the process of our study, we demonstrate that one of the potential counterexamples due to Akbulut and Kirby, whose status escaped direct mathematical methods for 39 years, is stably AC-trivial., Comment: 39 pages, 18 figures, 1 table

Despite the observation of nearly 100 compact binary coalescence (CBC) events up to the end of the Advanced gravitational-wave (GW) detectors' third observing run (O3), there remain fundamental open questions regarding their astrophysical formation mechanisms and environments. Population analysis should yield insights into these questions, but requires careful control of uncertainties and biases. GW observations have a strong selection bias: this is due first to the dependence of the signal amplitude on the source's (intrinsic and extrinsic) parameters, and second to the complicated nature of detector noise and of current detection methods. In this work, we introduce a new physically-motivated model of the sensitivity of GW searches for CBC events, aimed at enhancing the accuracy and efficiency of population reconstructions. In contrast to current methods which rely on re-weighting simulated signals (injections) via importance sampling, we model the probability of detection of binary black hole (BBH) mergers as a smooth, analytic function of source masses, orbit-aligned spins, and distance, fitted to accurately match injection results. The estimate can thus be used for population models whose signal distribution over parameter space differs significantly from the injection distribution. Our method has already been used in population studies such as reconstructing the BBH merger rate dependence on redshift., Comment: 21 pages, 10 figures

Although protons are baryons with an overall vanishing lepton number, they possess a non-trivial leptonic content arising from quantum fluctuations which can be described by lepton parton distribution functions (PDFs) of the proton. These PDFs have been recently computed and can be used to define lepton-induced processes at high-energy colliders. In this article, we propose a novel way to test the computation of lepton PDFs of the proton by analyzing both non-resonant di-lepton and resonant Z gauge boson production processes induced by leptons within the proton at proton-electron colliders like HERA and EIC. Despite the fact that lepton PDFs of the proton are known to be small, this work demonstrates that both processes imply a measurable yield of events at HERA and EIC, which could be used to test these PDFs., Comment: 9 pages, 5 figures, 1 table

The Jaynes-Cummings quantum optics model allows us to understand the dialogue between light and matter at its most fundamental level, which is crucial for advancements in quantum science and technology. Several generalizations of the model have long been proposed, emphasizing their dynamic behavior but paying less attention to their spectroscopy. Here, we obtain analytical expressions of the time-dependent spectral response of a nonlinear Jaynes-Cummings model based on deformed field operators. We show that the long-time response of the resulting nonlinear cavity field resembles the one experimentally obtained in the strong-dispersive regime of circuit quantum electrodynamics. The spectrum is intrinsically asymmetric with the nonlinear coupling, a signature of the impossibility of getting resonant conditions for finite field excitations., Comment: 14 pages, 7 figures

This paper presents a novel approach to the analysis of spatial behavior distribution, utilizing weighted Voronoi diagrams. The objective is to map and understand how an experimental subject moves and spends time in various areas of a given space, thus identifying the areas of greatest behavioral interest. The technique entails the partitioning of the space into a grid, the designation of generator points, and the assignment of weights based on the time the subject spends in each region. The data analyzed were derived from multiple experimental sessions in which subjects were exposed to various conditions, including food deprivation, water deprivation, and combined deprivation and no deprivation. The aforementioned conditions resulted in the formation of clearly delineated spatial patterns. Weighted Voronoi diagrams provided a comprehensive and precise representation of these areas of interest, facilitating an in-depth examination of the evolution of behavioral patterns in diverse contexts, such as under different Motivational Operations. This tool offers a valuable perspective for the dynamic study of spatial behaviors in variable experimental settings., Comment: 10 pages, 3 figures

Results are presented for the measurement of large-scale anisotropies in the arrival directions of ultra-high-energy cosmic rays detected at the Pierre Auger Observatory during 19 years of operation, prior to AugerPrime, the upgrade of the Observatory. The 3D dipole amplitude and direction are reconstructed above $4\,$EeV in four energy bins. Besides the established dipolar anisotropy in right ascension above $8\,$EeV, the Fourier amplitude of the $8$ to $16\,$EeV energy bin is now also above the $5\sigma$ discovery level. No time variation of the dipole moment above $8\,$EeV is found, setting an upper limit to the rate of change of such variations of $0.3\%$ per year at the $95\%$ confidence level. Additionally, the results for the angular power spectrum are shown, demonstrating no other statistically significant multipoles. The results for the equatorial dipole component down to $0.03\,$EeV are presented, using for the first time a data set obtained with a trigger that has been optimized for lower energies. Finally, model predictions are discussed and compared with observations, based on two source emission scenarios obtained in the combined fit of spectrum and composition above $0.6\,$EeV., Comment: Minor modifications, accepted for publication in Astrophysical Journal

Among the recent extensions to standard General Relativity, $f(R,\mathcal{L}_m)$ gravity has risen an interest given the possibility of coupling between geometry and matter. We examine the simplest model with non-minimal coupling in the context of cosmology. We pay special attention to the question of how far this model could reproduce the observational fact of our universe., Comment: 28 pages, 11 figures

We developed SaludConectaMX as a comprehensive system to track and understand the determinants of complications throughout chemotherapy treatment for children with cancer in Mexico. SaludConectaMX is unique in that it integrates patient clinical indicators with social determinants and caregiver mental health, forming a social-clinical perspective of the patient's evolving health trajectory. The system is composed of a web application (for hospital staff) and a mobile application (for family caregivers), providing the opportunity for cooperative patient monitoring in both hospital and home settings. This paper presents the system's preliminary design and usability evaluation results from a 1.5-year pilot study. Our findings indicate that while the hospital web app demonstrates high completion rates and user satisfaction, the family mobile app requires additional improvements for optimal accessibility; statistical and qualitative data analysis illuminate pathways for system improvement. Based on this evidence, we formalize suggestions for health system development in LMICs, which HCI researchers may leverage in future work.

We report the discovery and spectroscopic confirmation of an ultra-faint Milky Way (MW) satellite in the constellation of Leo. This system was discovered as a spatial overdensity of resolved stars observed with Dark Energy Camera (DECam) data from an early version of the third data release of the DECam Local Volume Exploration survey (DELVE EDR3). The low luminosity ($M_V = -3.56_{-0.37}^{+0.47}$; $L_V = 2300_{-800}^{+1000} L_\odot$), large size ($r_{1/2} = 90_{-30}^{+30}$ pc), and large heliocentric distance ($D = 111_{-4}^{+7}$ kpc) are all consistent with the population of ultra-faint dwarf galaxies (UFDs). Using Keck/DEIMOS observations of the system, we were able to spectroscopically confirm 11 member stars, while measuring a mass to light ratio of $1000_{-700}^{+1900} M_\odot/L_\odot$ and a non-zero metallicity dispersion of $\sigma_{[\rm Fe/H]}=0.33_{-0.14}^{+0.19}$, further confirming Leo VI's identity as an UFD. While the system has an highly elliptical shape, $\epsilon = 0.54_{-0.29}^{+0.19}$, we do not find any evidence that it is tidally disrupting. Moreover, despite its apparent on-sky proximity to members of the proposed Crater-Leo infall group, its relatively lower heliocentric distance and inconsistent position in energy-angular momentum space with the other group members make it unlikely for it to be part of the proposed infall group., Comment: 21 pages, 11 figures, 2 tables; to be submitted to AAS Journals

Modern artificial intelligence (AI) systems are powered by foundation models. This paper presents a new set of foundation models, called Llama 3. It is a herd of language models that natively support multilinguality, coding, reasoning, and tool usage. Our largest model is a dense Transformer with 405B parameters and a context window of up to 128K tokens. This paper presents an extensive empirical evaluation of Llama 3. We find that Llama 3 delivers comparable quality to leading language models such as GPT-4 on a plethora of tasks. We publicly release Llama 3, including pre-trained and post-trained versions of the 405B parameter language model and our Llama Guard 3 model for input and output safety. The paper also presents the results of experiments in which we integrate image, video, and speech capabilities into Llama 3 via a compositional approach. We observe this approach performs competitively with the state-of-the-art on image, video, and speech recognition tasks. The resulting models are not yet being broadly released as they are still under development.

Recent fluctuation identities for $\alpha$-stable L\'evy processes have decomposed paths using generalised spherical polar coordinates revealing an underlying Markov Additive Process (MAP) for which a more advanced form of excursion theory can be exploited. Inspired by this approach, we give a different decomposition of the $d$-dimensional isotropic $\alpha$-stable L\'evy processes in terms of orthogonal coordinates. Accordingly we are able to develop a number of $n$-tuple laws for first entrance into a half-space. We also numerically construct the law of first entry of the process into a slab of the form $(-1, 1)\times \mathbb{R}^{d-1}$ using a walk-on-half-spaces Monte Carlo approach., Comment: 5 figures

In the period between 2009 and 2015, several very high-energy (VHE $> 100$ GeV) gamma-ray flaring events from the BL Lac object PKS 1424+240 were observed by the Cerenkov telescopes VERITAS and MAGIC. It had uncertain redshift ($z$) and using spectroscopical measurement, Paiano et al. (2017) found it to be $z=0.604$. Using four different extragalactic background light (EBL) models and the photohadronic model, nine independently observed VHE gamma-ray spectra of PKS 1424+240 are analyzed and a global $\chi^2$ fit is performed on all observations to estimate the best-fit value for the redshift for each EBL model. Confidence levels (CL) intervals for the redshift are also estimated using all the EBL models. This method is tested by comparing our analysis with the observed value. It is shown that the photohadronic scenario provides an excellent description of all the observed spectra. It is found that the EBL model of Dom\'inguez et al. (2011) is the one that provides the most restrictive limits on the redshift of PKS 1424+240, but in our analysis, $z=0.604$ lies within the $3\sigma$ CL interval of the EBL model of Saldana-Lopez et al. (2021)., Comment: 8 pages, 2 figures. To be published in MNRAS

The COVID-19 pandemic demonstrated that fast and accurate analysis of continually collected infectious disease surveillance data is crucial for situational awareness and policy making. Coalescent-based phylodynamic analysis can use genetic sequences of a pathogen to estimate changes in its effective population size, a measure of genetic diversity. These changes in effective population size can be connected to the changes in the number of infections in the population of interest under certain conditions. Phylodynamics is an important set of tools because its methods are often resilient to the ascertainment biases present in traditional surveillance data (e.g., preferentially testing symptomatic individuals). Unfortunately, it takes weeks or months to sequence and deposit the sampled pathogen genetic sequences into a database, making them available for such analyses. These reporting delays severely decrease precision of phylodynamic methods closer to present time, and for some models can lead to extreme biases. Here we present a method that affords reliable estimation of the effective population size trajectory closer to the time of data collection, allowing for policy decisions to be based on more recent data. Our work uses readily available historic times between sampling and sequencing for a population of interest, and incorporates this information into the sampling model to mitigate the effects of reporting delay in real-time analyses. We illustrate our methodology on simulated data and on SARS-CoV-2 sequences collected in the state of Washington in 2021., Comment: 17 pages, 5 figures in the main text

Individual teaching is among the most successful ways to impart knowledge. Yet, this method is not always feasible due to large numbers of students per educator. Quantum computing serves as a prime example facing this issue, due to the hype surrounding it. Alleviating high workloads for teachers, often accompanied with individual teaching, is crucial for continuous high quality education. Therefore, leveraging Large Language Models (LLMs) such as GPT-4 to generate educational content can be valuable. We conducted two complementary studies exploring the feasibility of using GPT-4 to automatically generate tips for students. In the first one students (N=46) solved four multiple-choice quantum computing questions with either the help of expert-created or LLM-generated tips. To correct for possible biases towards LLMs, we introduced two additional conditions, making some participants believe that they were given expert-created tips, when they were given LLM-generated tips and vice versa. Our second study (N=23) aimed to directly compare the LLM-generated and expert-created tips, evaluating their quality, correctness and helpfulness, with both experienced educators and students participating. Participants in our second study found that the LLM-generated tips were significantly more helpful and pointed better towards relevant concepts than the expert-created tips, while being more prone to be giving away the answer. While participants in the first study performed significantly better in answering the quantum computing questions when given tips labeled as LLM-generated, even if they were created by an expert. This phenomenon could be a placebo effect induced by the participants' biases for LLM-generated content. Ultimately, we find that LLM-generated tips are good enough to be used instead of expert tips in the context of quantum computing basics.

Object detection is a pivotal task in computer vision that has received significant attention in previous years. Nonetheless, the capability of a detector to localise objects out of the training distribution remains unexplored. Whilst recent approaches in object-level out-of-distribution (OoD) detection heavily rely on class labels, such approaches contradict truly open-world scenarios where the class distribution is often unknown. In this context, anomaly detection focuses on detecting unseen instances rather than classifying detections as OoD. This work aims to bridge this gap by leveraging an open-world object detector and an OoD detector via virtual outlier synthesis. This is achieved by using the detector backbone features to first learn object pseudo-classes via self-supervision. These pseudo-classes serve as the basis for class-conditional virtual outlier sampling of anomalous features that are classified by an OoD head. Our approach empowers our overall object detector architecture to learn anomaly-aware feature representations without relying on class labels, hence enabling truly open-world object anomaly detection. Empirical validation of our approach demonstrates its effectiveness across diverse datasets encompassing various imaging modalities (visible, infrared, and X-ray). Moreover, our method establishes state-of-the-art performance on object-level anomaly detection, achieving an average recall score improvement of over 5.4% for natural images and 23.5% for a security X-ray dataset compared to the current approaches. In addition, our method detects anomalies in datasets where current approaches fail. Code available at https://github.com/KostadinovShalon/oln-ssos., Comment: 35 pages, 21 figures, includes supplementary material, accepted at ECCV 2024

Irradiations at Ultra High Dose Rate (UHDR) regimes, exceeding 40 Gy/s in single fractions lasting less than 200 ms, have shown an equivalent antitumor effect compared to conventional radio-therapy with reduced harm to normal tissues. This work details the hardware and software modi-fications implemented to deliver 10 MeV UHDR electron beams with a Linear Accelerator Elekta SL 18 MV and the beam characteristics obtained. GafChromic EBT XD films and an Advanced Markus chamber were used for the dosimetry characterization, while a silicon sensor assessed the machine's beam pulses stability and repeatability. Dose per pulse, average dose rate and instantaneous dose rate in the pulse were evaluated for four experimental settings, varying the source-to-surface dis-tance and the beam collimation, i.e. with and without the use of a cylindrical applicator. Results showed dose per pulse from 0.6 Gy to a few tens of Gy and average dose rate up to 300 Gy/s. The obtained results demonstrate the possibility to perform in-vitro radiobiology experiments and test of new technologies for beam monitoring and dosimetry at the upgraded LINAC, thus contributing to the electron UHDR research field.