Search

Cepheid circumstellar emissions have previously been detected via both infrared excess and infrared interferometric observations at a few stellar radii. Those studies have shown that these circumstellar emission can be produced by ionized gas, however there is no direct observational evidence to confirm this hypothesis. In this letter we explore the continuum emission and a spectrum of the bright and long-period Cepheid, $\ell$~Car ($P=35.56\,$day) at millimeter-wavelengths in order to detect possible effects of ionized gas emission. We presented ALMA observations of $\ell$ Car in two spectral setups in Band~6 (near 212 and 253\,GHz, respectively) and we compared the measured flux density to one expected for the stellar continuum. We also derived the spectral index and probed the presence of Radio Recombination Lines (RRL). We report statistically significant emission of about 3.5$\,$mJy in the two spectral ranges, which is about 2.5 times the stellar continuum emission. For the first time, we are also able to derive the spectral index of the flux density ($S_\nu \propto \nu^\alpha$), $\alpha=+1.26\pm$0.44 ($\sim$3$\sigma$ error), which is characteristic of partially optically thick ionized gas emission. Additionally, we discovered an emission line from a RRL of hydrogen H29$\alpha$ centered on the stellar rest velocity, smaller in spatial extent than about 0\farcs2 ($\lesssim 100\,$AU), with a symmetric profile with a width at half power of 55.3$\pm$7.5\,\kms (1$\sigma$ error). It confirms the presence of ionized gas emission near $\ell$~Car. The millimeter emission detected from $\ell$ Car can be attributed to ionized gas emission from the Cepheid's chromosphere. Further radio interferometric observations are necessary to confirm the occurrence of these ionized gas envelopes around Cepheids of different pulsation periods., Comment: Accepted for publication in Astronomy and Astrophysics. 7 pages, 5 figures

Community detection methods play a central role in understanding complex networks by revealing highly connected subsets of entities. However, most community detection algorithms generate partitions of the nodes, thus (i) forcing every node to be part of a community and (ii) ignoring the possibility that some nodes may be part of multiple communities. In our work, we investigate three simple community association strength (CAS) scores and their usefulness as post-processing tools given some partition of the nodes. We show that these measures can be used to improve node partitions, detect outlier nodes (not part of any community), and help find nodes with multiple community memberships., Comment: 10 pages, 8 figures, 2 tables

We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the many-valued minimal normal modal logic, presented as a Gentzen-like sequent calculus, and prove its soundness and strong completeness with respect to many-valued Kripke models. The logic treats necessitation and possibility independently, i.e., they are not defined by each other, so that the duality between them is reflected in the proof system itself. We also prove the finite model property (that implies strong decidability) of this logic and consider some of its extensions. Moreover, we show that there is exactly one way to define negation such that De Morgan's duality between necessitation and possibility holds. In addition, we embed many-valued intuitionistic logic into one of the extensions of our many-valued modal logic., Comment: In Proceedings NCL'24, arXiv:2412.20053

We study nondipole effects in multiphoton ionization of a two-dimensional hydrogen-like atom by a flat-top laser pulse of varied intensity. For this purpose, we solve numerically a two-dimensional Schr\"odinger equation treating a propagating laser pulse exactly. The resulting distributions are then compared to those calculated in the dipole approximation. A directional dependence of the energy-angular photoelectron distributions is demonstrated numerically in the case of a propagating laser pulse of a moderate and a high intensity. It is analytically interpreted based on the leading order relativistic expansion of the electron Volkov state, showing a significant contribution of the electron recoil to that behavior. In contrast, the retardation correction originating from the space- and time-dependence of the laser field leads to a tiny redshift of the photoelectron energy spectra. Other features of ionization distributions are also analyzed, including the sidelobes and the double-hump structures of multiphoton peaks, or their disappearance for intense propagating laser pulses., Comment: 11 pages, 9 figures

Magnetic fields are ubiquitous across different physical systems of current interest; from the early Universe, compact astrophysical objects and heavy-ion collisions to condensed matter systems. A proper treatment of the effects produced by magnetic fields during the dynamical evolution of these systems, can help to understand observables that otherwise show a puzzling behavior. Furthermore, when these fields are comparable to or stronger than \Lambda_QCD, they serve as excellent probes to help elucidate the physics of strongly interacting matter under extreme conditions of temperature and density. In this work we provide a comprehensive review of recent developments on the description of QED and QCD systems where magnetic field driven effects are important. These include the modification of meson static properties such as masses and form factors, the chiral magnetic effect, the description of anomalous transport coefficients, superconductivity in extreme magnetic fields, the properties of neutron stars, the evolution of heavy-ion collisions, as well as effects on the QCD phase diagram. We describe recent theory and phenomenological developments using effective models as well as LQCD methods. The work represents a state-of-the-art review of the field, motivated by presentations and discussions during the "Workshop on Strongly Interacting Matter in Strong Electromagnetic Fields" that took place in the European Centre for Theoretical Studies in Nuclear Physics and Related Areas (ECT*) in the city of Trento, Italy, September 25-29, 2023., Comment: 325 pages-long review of recent topics of interest in the field of magnetic field effects on QED and QCD matter. To be susbmitted to PNPP

Radial velocity (RV) jitter represents an intrinsic limitation on the precision of Doppler searches for exoplanets that can originate from both instrumental and astrophysical sources. We aim to determine the RV jitter floor in M dwarfs and investigate the stellar properties that lead to RV jitter induced by stellar activity. We determined the RV jitter in 239 M dwarfs from the CARMENES survey that are predominantly of mid to late spectral type and solar metallicity. We also investigated the correlation between stellar rotation and magnetic fields with RV jitter. The median jitter in the CARMENES sample is 3.1 m/s, and it is 2.3 m/s for stars with an upper limit of 2 km/s on their projected rotation velocities. We provide a relation between the stellar equatorial rotation velocity and RV jitter in M dwarfs based on a subsample of 129 well-characterized CARMENES stars. RV jitter induced by stellar rotation dominates for stars with equatorial rotation velocities greater than 1 km/s. A jitter floor of 2 m/s dominates in stars with equatorial rotation velocities below 1 km/s. This jitter floor likely contains contributions from stellar jitter, instrumental jitter, and undetected companions. We study the impact of the average magnetic field and the distributions of magnetic filling factors on the RV jitter. We find a series of stars with excess RV jitter and distinctive distributions of magnetic filling factors. These stars are characterized by a dominant magnetic field component between 2-4 kG. An RV jitter floor can be distinguished from RV jitter induced by activity and rotation based on the stellar equatorial rotation velocity. RV jitter induced by activity and rotation primarily depends on the equatorial rotation velocity. This RV jitter is also related to the distribution of magnetic filling factors, and this emphasizes the role of the magnetic field in the generation of RV jitter.

Model checking of strategic abilities for agents with memory is a notoriously hard problem, and very few attempts have been made to tackle it. In this paper, we present two important steps towards this goal. First, we take the partial-order reduction scheme that was recently proved to preserve individual and coalitional abilities of memoryless agents, and show that it also works for agents with memory. Secondly, we take the Knowledge-Based Subset Construction, that was recently studied for synchronous concurrent games, and adapt it to preserve abilities of memoryful agents in asynchronous MAS. On the way, we also propose a new execution semantics for strategies in asynchronous MAS, that combines elements of Concurrent Game Structures and Interleaved Interpreted Systems in a natural and intuitive way.

Markov decision processes (MDPs) with rewards are a widespread and well-studied model for systems that make both probabilistic and nondeterministic choices. A fundamental result about MDPs is that their minimal and maximal expected rewards satisfy Bellmann's optimality equations. For various classes of MDPs - notably finite-state MDPs, positive bounded models, and negative models - expected rewards are known to be the least solution of those equations. However, these classes of MDPs are too restrictive for probabilistic program verification. In particular, they assume that all rewards are finite. This is already not the case for the expected runtime of a simple probabilisitic program modeling a 1-dimensional random walk. In this paper, we develop a generalized least fixed point characterization of expected rewards in MDPs without those restrictions. Furthermore, we demonstrate how said characterization can be leveraged to prove weakest-preexpectation-style calculi sound with respect to an operational MDP model.

BabyIAXO is the intermediate stage of the International Axion Observatory (IAXO) to be hosted at DESY. Its primary goal is the detection of solar axions following the axion helioscope technique. Axions are converted into photons in a large magnet that is pointing to the sun. The resulting X-rays are focused by appropriate X-ray optics and detected by sensitive low-background detectors placed at the focal spot. The aim of this article is to provide an accurate quantitative description of the different components (such as the magnet, optics, and X-ray detectors) involved in the detection of axions. Our efforts have focused on developing robust and integrated software tools to model these helioscope components, enabling future assessments of modifications or upgrades to any part of the IAXO axion helioscope and evaluating the potential impact on the experiment's sensitivity. In this manuscript, we demonstrate the application of these tools by presenting a precise signal calculation and response analysis of BabyIAXO's sensitivity to the axion-photon coupling. Though focusing on the Primakoff solar flux component, our virtual helioscope model can be used to test different production mechanisms, allowing for direct comparisons within a unified framework., Comment: 36 pages, 18 figures, 4 tables, Submitted to JHEP

We study Hoare-like logics, including partial and total correctness Hoare logic, incorrectness logic, Lisbon logic, and many others through the lens of predicate transformers \`a la Dijkstra and through the lens of Kleene algebra with top and tests (TopKAT). Our main goal is to give an overview - a taxonomy - of how these program logics relate, in particular under different assumptions like for example program termination, determinism, and reversibility. As a byproduct, we obtain a TopKAT characterization of Lisbon logic, which - to the best of our knowledge - is a novel result., Comment: This is the extended version of a publication at POPL 2025

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $\pi$-finite spaces into pyknotic spaces, this thesis uses the $\infty$-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.

We present a proposal for a future light dark matter search experiment at the Electron Stretcher Accelerator ELSA in Bonn: Lohengrin. It employs the fixed-target missing momentum based technique for searching for dark-sector particles. The Lohengrin experiment uses a high intensity electron beam that is shot onto a thin target to produce mainly SM bremsstrahlung and - in rare occasions - possibly new particles coupling feebly to the electron. A well motivated candidate for such a new particle is the dark photon, a new massive gauge boson arising from a new gauge interaction in a dark sector and mixing kinetically with the standard model photon. The Lohengrin experiment is estimated to reach sensitivity to couplings small enough to explain the relic abundance of dark matter in various models for dark photon masses between approximately 1 MeV and approximately 100 MeV.

EuAl$_4$ is proposed to host a topological Hall state. This material also undergoes four consecutive antiferromagnetic (AFM) transitions upon cooling below TN1 = 15.4 K in the presence of charge density wave (CDW) order that sets in below TCDW = 140 K. We use angle-resolved photoemission spectroscopy and density-functional-theory calculations to study how magnetic ordering affects the electronic properties in EuAl$_4$. We found changes in the band structure upon each of the four consecutive AFM transitions including band splitting, renormalizations, and appearance of new bands forming additional Fermi sheets. In addition we also found significant enhancement of the quasiparticles' lifetime due to suppression of spin flip scattering, similar to what was previously reported for ferromagnetic EuCd$_2$As$_2$. Surprisingly, we observe that most significant changes in electronic properties occur not at TN1, but instead at the AFM3 to AFM4 transition, which coincides with the largest drop in resistivity.

We perform angle-resolved photoemission spectroscopy (ARPES) measurements in conjunction with density functional theory (DFT) calculations to investigate the evolution of the electronic structure of CeBi upon a series of antiferromagnetic (AFM) transitions. We find evidence for a new AFM transition in addition to two previously known from transport studies. We demonstrate the development of an additional Dirac state in the (+-+-) ordered phase and a transformation of unconventional surface-state pairs in the (++--) ordered phase. This revises the phase diagram of this intriguing material, where there are now three distinct AFM states below TN in zero magnetic field instead of two as it was previously thought., Comment: 16 pages, 4 figures

In the field of neuroimaging, accurate brain age prediction is pivotal for uncovering the complexities of brain aging and pinpointing early indicators of neurodegenerative conditions. Recent advancements in self-supervised learning, particularly in contrastive learning, have demonstrated greater robustness when dealing with complex datasets. However, current approaches often fall short in generalizing across non-uniformly distributed data, prevalent in medical imaging scenarios. To bridge this gap, we introduce a novel contrastive loss that adapts dynamically during the training process, focusing on the localized neighborhoods of samples. Moreover, we expand beyond traditional structural features by incorporating brain stiffness - a mechanical property previously underexplored yet promising due to its sensitivity to age-related changes. This work presents the first application of self-supervised learning to brain mechanical properties, using compiled stiffness maps from various clinical studies to predict brain age. Our approach, featuring dynamic localized loss, consistently outperforms existing state-of-the-art methods, demonstrating superior performance and paving the way for new directions in brain aging research.

Several evolved stars have been found to exhibit long-period radial velocity variations that cannot be explained by planetary or brown dwarf companions. Non-radial oscillations caused by oscillatory convective modes have been put forth as an alternative explanation, but no modeling attempt has yet been undertaken. We provide a model of a non-radial oscillation, aiming to explain the observed variations of the cluster giant NGC 4349 No. 127. The star was previously reported to host a brown dwarf companion, but whose existence was later refuted in the literature. We reanalyzed 58 archival HARPS spectra, acquiring additional activity indicators using the SERVAL and RACCOON pipelines. We searched for periodicity in the indicators and correlations between the indicators and radial velocities. We further present a simulation code able to produce synthetic HARPS spectra, incorporating the effect of non-radial oscillations, and compare the simulated results to the observed variations. We find a positive correlation between chromatic index and radial velocity, along with closed-loop Lissajous-like correlations between radial velocity and each of the spectral line shape indicators (full width at half maximum, and contrast of the cross-correlation function and differential line width). Simulations of a low-amplitude, retrograde, dipole (l = 1, m = 1), non-radial oscillation can reproduce the observed behavior and explain the observables. Photometric variations below the detection threshold of the available ASAS-3 photometry are predicted. The oscillation and stellar parameters are largely in agreement with the prediction of oscillatory convective modes. The periodic variations of the radial velocities and activity indicators, along with the respective phase shifts, measured for the intermediate-mass cluster giant NGC 4349 No. 127, can be explained by a non-radial oscillation., Comment: 23 pages, 14 figures. Accepted in A&A. Abstract abridged for arXiv submission

Quantum materials with stacked van der Waals (vdW) layers hosting non-trivial band structure topology and magnetism have shown many interesting properties. Using high-throughput density functional theory calculations, we design and predict tetragonal vdW-layered quantum materials in the MPd$_5$I$_2$ structure (M=Ga, In and 3d transition metals). We show that besides the known AlPd$_5$I$_2$, the -MPd$_5$- structural motif of three-atomic-layer slabs separated by two I layers can accommodate a variety of metal atoms giving arise to topologically non-trivial features and highly tunable magnetic properties in both bulk and single layer 2D structures. Among them, TiPd$_5$I$_2$ and InPd$_5$I$_2$ host a pair of Dirac points and likely an additional strong topological insulator state for the band manifolds just above and below the top valence band, respectively, with their single layers hosting or near quantum spin Hall states. CrPd$_5$I$_2$ is a ferromagnet with a large out-of-plane magneto-anisotropy energy, desirable for rare-earth-free permanent magnets., Comment: 25 pages, 6 figures

The Witten-Dijkgraaf-Verlinde-Verlinde (WDVV) equations have a rich structure related to the theory of Frobenius manifolds, with many known families of solutions. A Legendre transformation is a symmetry of the WDVV equations, introduced by Dubrovin. We explicitly compute the results of a Legendre transformation applied to $A_n$- and $B_n$-type multi-parameter rational solutions, relating them to known and new trigonometric solutions., Comment: 28 pages

Understanding planet formation is important in the context of the origin of planetary systems in general and of the Solar System in particular, as well as to predict the likelihood of finding Jupiter, Neptune, and Earth analogues around other stars. We aim to precisely determine the radii and dynamical masses of transiting planets orbiting the young M star AU Mic using public photometric and spectroscopic datasets. We characterise the stellar activity and physical properties (radius, mass, density) of the transiting planets in the young AU Mic system through joint transit and radial velocity fits with Gaussian processes. We determine a radius of $R^{b}$= 4.79 +/- 0.29 R$_\oplus$, a mass of $M^{b}$= 9.0 +/- 2.7 M$_\oplus$, and a bulk density of $\rho^{b}$ = 0.49 +/- 0.16 g cm$^{-3}$ for the innermost transiting planet AU Mic b. For the second known transiting planet, AU Mic c, we infer a radius of $R^{c}$= 2.79 +/- 0.18 R$_\oplus$, a mass of $M^{c}$= 14.5 +/- 3.4 M$_\oplus$, and a bulk density of $\rho^{c}$ = 3.90 +/- 1.17 g cm$^{-3}$. According to theoretical models, AU Mic b may harbour an H2 envelope larger than 5\% by mass, with a fraction of rock and a fraction of water. AU Mic c could be made of rock and/or water and may have an H2 atmosphere comprising at most 5\% of its mass. AU Mic b has retained most of its atmosphere but might lose it over tens of millions of years due to the strong stellar radiation, while AU Mic c likely suffers much less photo-evaporation because it lies at a larger separation from its host. Using all the datasets in hand, we determine a 3$\sigma$ upper mass limit of $M^{[d]}\sin{i}$ = 8.6 M$_{\oplus}$ for the AU Mic 'd' TTV-candidate. In addition, we do not confirm the recently proposed existence of the planet candidate AU Mic 'e' with an orbital period of 33.4 days., Comment: Accepted in A&A. 28 pages, 15 figures

The first generation of ELT instruments includes an optical-infrared high-resolution spectrograph, indicated as ELT-HIRES and recently christened ANDES (ArmazoNes high Dispersion Echelle Spectrograph). ANDES consists of three fibre-fed spectrographs ([U]BV, RIZ, YJH) providing a spectral resolution of $\sim$100,000 with a minimum simultaneous wavelength coverage of 0.4-1.8 $\mu$m with the goal of extending it to 0.35-2.4 $\mu$m with the addition of a U arm to the BV spectrograph and a separate K band spectrograph. It operates both in seeing- and diffraction-limited conditions and the fibre feeding allows several, interchangeable observing modes including a single conjugated adaptive optics module and a small diffraction-limited integral field unit in the NIR. Modularity and fibre-feeding allow ANDES to be placed partly on the ELT Nasmyth platform and partly in the Coud\'e room. ANDES has a wide range of groundbreaking science cases spanning nearly all areas of research in astrophysics and even fundamental physics. Among the top science cases, there are the detection of biosignatures from exoplanet atmospheres, finding the fingerprints of the first generation of stars, tests on the stability of Nature's fundamental couplings, and the direct detection of the cosmic acceleration. The ANDES project is carried forward by a large international consortium, composed of 35 Institutes from 13 countries, forming a team of almost 300 scientists and engineers which include the majority of the scientific and technical expertise in the field that can be found in ESO member states., Comment: SPIE astronomical telescope and instrumentation 2024, in press

Despite the growing importance of the digital sector, research on economic complexity and its implications continues to rely mostly on administrative records, e.g. data on exports, patents, and employment, that fail to capture the nuances of the digital economy. In this paper we use data on the geography of programming languages used in open-source software projects to extend economic complexity ideas to the digital economy. We estimate a country's software economic complexity and show that it complements the ability of measures of complexity based on trade, patents, and research papers to account for international differences in GDP per capita, income inequality, and emissions. We also show that open-source software follows the principle of relatedness, meaning that a country's software entries and exits are explained by specialization in related programming languages. We conclude by exploring the diversification and development of countries in open-source software in the context of large language models. Together, these findings help extend economic complexity methods and their policy considerations to the digital sector.

GJ 581 is a nearby M dwarf known to host a packed multiple planet system with 2 super-Earths and a Neptune-mass planet. We present new orbital analyses of the system, utilizing recent RV data obtained from the CARMENES spectrograph combined with newly reprocessed archival data from the HARPS and HIRES spectrographs. Our aim was to analyze the post-discovery spectroscopic data of GJ 581, which were obtained with CARMENES. In addition, we used publicly available HIRES and HARPS spectroscopic data to seek evidence of the known and disputed exoplanets in this system. We aimed to investigate the stellar activity of GJ 581 and update the planetary system's orbital parameters using state-of-the-art numerical models and techniques. We performed a periodogram analysis of the available precise CARMENES, HIRES, and HARPS RVs and of stellar activity indicators. We conducted detailed orbital analyses by testing various orbital configurations consistent with the RV data. We studied the posterior probability distribution of the parameters fit to the data and explored the long-term stability and overall orbital dynamics of the system. We refined the orbital parameters of the system using the most precise and complete set of Doppler data available. Consistent with the existing literature, we confirm that the system is unequivocally composed of only 3 planets detectable in the present data, dismissing the putative planet GJ 581 d as an artifact of stellar activity. Our N-body fit reveals that the system's inclination is i $=$ 47.0 deg, which implies that the planets could be up to 30% more massive than their previously reported minimum masses. Furthermore, we report that the system exhibits long-term stability, as indicated by the posterior probability distribution, characterized by secular dynamical interactions without the involvement of mean motion resonances., Comment: 21 pages, 8 Figures, 5 Tables, 1 Appendix, Accepted for publication in A&A (20th March 2024), Data available at the CDS

The $\beta$ decay of one-neutron halo nucleus $^{11}$Be was investigated using the Warsaw Optical Time Projection Chamber (OTPC) detector to measure $\beta$-delayed charged particles. The results of two experiments are reported. In the first one, carried out in LNS Catania, the absolute branching ratio for $\beta$-delayed $\alpha$ emission was measured by counting incoming $^{11}$Be ions stopped in the detector and the observed decays with the emission of $\alpha$ particle. The result of 3.27(46)\% is in good agreement with the literature value. In the second experiment, performed at the HIE-ISOLDE facility at CERN, bunches containing several hundreds of $^{11}$Be ions were implanted into the OTPC detector followed by the detection of decays with the emission of charged particles. The energy spectrum of $\beta$-delayed $\alpha$ particles was determined in the full energy range. It was analysed in the R-matrix framework and was found to be consistent with the literature. The best description of the spectrum was obtained assuming that the two $3/2^+$ and one $1/2^+$ states in $^{11}$B are involved in the transition. The search for $\beta$-delayed emission of protons was undertaken. Only the upper limit for the branching ratio for this process of $(2.2 \pm 0.6_{\rm stat} \pm 0.6_{\rm sys}) \times 10^{-6}$ could be determined. This value is in conflict with the result published in [Ayyad et al. Phys. Rev. Lett. 123, 082501 (2019)] but does agree with the limit reported in [Riisager et al., Eur. Phys. J. A (2020) 56:100], Comment: 16 pages, 18 figures, submitted to Phys. Rev. C

X-ray polarimetry of solar flares is still a not well established field of observation of our star. Past polarimeters were not able to measure with a high significance the polarization in X-rays from solar flares. Moreover, they had no imaging capabilities and measured only the polarization by integrating on all the image of the source. We propose a mission concept based on a gas photoelectric polarimeter, coupled with multilayer lobster-eye optics, to perform imaging-spectro-polarimetry of solar flares while monitoring the entire solar disc., Comment: Proceeding of SPIE Conference "Astronomical Telescopes+ Instrumentation", Yokohama (Japan), 16-21 June 2024

Submillimeter and millimeter wavelengths provide a unique view of the Universe, from the gas and dust that fills and surrounds galaxies to the chromosphere of our own Sun. Current single-dish facilities have presented a tantalising view of the brightest (sub-)mm sources, and interferometers have provided the exquisite resolution necessary to analyse the details in small fields, but there are still many open questions that cannot be answered with current facilities. In this report we summarise the science that is guiding the design of the Atacama Large Aperture Submillimeter Telescope (AtLAST). We demonstrate how tranformational advances in topics including star formation in high redshift galaxies, the diffuse circumgalactic medium, Galactic ecology, cometary compositions and solar flares motivate the need for a 50m, single-dish telescope with a 1-2 degree field of view and a new generation of highly multiplexed continuum and spectral cameras. AtLAST will have the resolution to drastically lower the confusion limit compared to current single-dish facilities, whilst also being able to rapidly map large areas of the sky and detect extended, diffuse structures. Its high sensitivity and large field of view will open up the field of submillimeter transient science by increasing the probability of serendipitous detections. Finally, the science cases listed here motivate the need for a highly flexible operations model capable of short observations of individual targets, large surveys, monitoring programmes, target of opportunity observations and coordinated observations with other observatories. AtLAST aims to be a sustainable, upgradeable, multipurpose facility that will deliver orders of magnitude increases in sensitivity and mapping speeds over current and planned submillimeter observatories., Comment: 47 pages, 12 figures. For further details on AtLAST see https://atlast.uio.no

Extremal horizons satisfy an equation induced by the Einstein vacuum equations that determines the shape of the horizon and the manner in which it rotates (the EEH equation). Until recently, however, the classification of solutions required the assumption of axial symmetry. Recently, there has been a breakthrough: Dunajski and Lucietti proved that every non-static solution possesses a one-dimensional symmetry group. The first part of our work is inspired by this result. An identity satisfied by the solutions of the EEH equation has been distilled (Master Identity), which is crucial for studying their properties. It is a bit stronger than the original Dunajski-Lucietti identity and leads directly to the rigidity theorem for any value of the cosmological constant. Master Identity is used for a simple derivation of the local form of the general static solution of the EEH equation with non-positive cosmological constant. All the globally defined compact static solutions are derived. Thus the list of solutions given in the literature is completed. In the two-dimensional case (which corresponds to horizons in four-dimensional spacetime), the Einstein-Maxwell equations of an extremal horizon (EMEH) and the equations of quasi-Einstein spaces are studied. The general solution on a compact surface with non-zero genus is derived. In the case of zero genus, the static solutions are investigated and their axial symmetry is proven. Together with the new results on non-static solutions on sphere of Colling, Katona and Lucietti that leads to the uniqueness of the Reissner-Nordstr\"om-(Anti)de-Sitter extremal horizons. Interestingly, the static rigidity result is also valid for non-compact spaces with a zero first cohomology group., Comment: 30 pages

We present here the preliminary design of the RIZ module, one of the visible spectrographs of the ANDES instrument 1. It is a fiber-fed high-resolution, high-stability spectrograph. Its design follows the guidelines of successful predecessors such as HARPS and ESPRESSO. In this paper we present the status of the spectrograph at the preliminary design stage. The spectrograph will be a warm, vacuum-operated, thermally controlled and fiber-fed echelle spectrograph. Following the phase A design, the huge etendue of the telescope will be reformed in the instrument with a long slit made of smaller fibers. We discuss the system design of the spectrographs system., Comment: Paper submitted to the SPIE astronomical telescope and instrumentation 2024, conference title : Ground-based and Airborne Instrumentation for Astronomy X, paper reference number : 13096-171

In this paper, we propose a scalable community detection algorithm using hypergraph modularity function, h-Louvain. It is an adaptation of the classical Louvain algorithm in the context of hypergraphs. We observe that a direct application of the Louvain algorithm to optimize the hypergraph modularity function often fails to find meaningful communities. We propose a solution to this issue by adjusting the initial stage of the algorithm via carefully and dynamically tuned linear combination of the graph modularity function of the corresponding two-section graph and the desired hypergraph modularity function. The process is guided by Bayesian optimization of the hyper-parameters of the proposed procedure. Various experiments on synthetic as well as real-world networks are performed showing that this process yields improved results in various regimes., Comment: 21 pages, 8 figures, 4 tables

Vision-language models (VLMs) have been applied to robot task planning problems, where the robot receives a task in natural language and generates plans based on visual inputs. While current VLMs have demonstrated strong vision-language understanding capabilities, their performance is still far from being satisfactory in planning tasks. At the same time, although classical task planners, such as PDDL-based, are strong in planning for long-horizon tasks, they do not work well in open worlds where unforeseen situations are common. In this paper, we propose a novel task planning and execution framework, called DKPROMPT, which automates VLM prompting using domain knowledge in PDDL for classical planning in open worlds. Results from quantitative experiments show that DKPROMPT outperforms classical planning, pure VLM-based and a few other competitive baselines in task completion rate.

This study addresses the critical challenge of detecting DeepFake tweets by leveraging advanced natural language processing (NLP) techniques to distinguish between genuine and AI-generated texts. Given the increasing prevalence of misinformation, our research utilizes the TweepFake dataset to train and evaluate various machine learning models. The objective is to identify effective strategies for recognizing DeepFake content, thereby enhancing the integrity of digital communications. By developing reliable methods for detecting AI-generated misinformation, this work contributes to a more trustworthy online information environment.

Hypothetical axions provide a compelling explanation for dark matter and could be emitted from the hot solar interior. The CERN Axion Solar Telescope (CAST) has been searching for solar axions via their back conversion to X-ray photons in a 9-T 10-m long magnet directed towards the Sun. We report on an extended run with the IAXO (International Axion Observatory) pathfinder detector, doubling the previous exposure time. The detector was operated with a xenon-based gas mixture for part of the new run, providing technical insights for future detector configurations in IAXO. No counts are detected in the 95% signal-encircling region during the new run, while 0.75 are expected. The new data improve the axion-photon coupling limit to 5.8$\times 10^{-11}\,$GeV$^{-1}$ at 95% C.L. (for $m_a \lesssim 0.02$ eV), the most restrictive experimental limit to date., Comment: 9 pages, 4 figures (plus 8 pages, 10 figures of supplemental material) Corresponding authors: C. Margalejo (cmargalejo@unizar.es) and J. Ruz (Jaime.Ruz@cern.ch)

The recent discovery of unconventional surface-state pairs, which give rise to Fermi arcs and spin textures, in antiferromagnetically ordered rare-earth monopnictides attracted the interest in these materials. We use angle-resolved photoemission spectroscopy (ARPES) measurements in conjunction with density functional theory (DFT) calculations to investigate the evolution of the electronic structure of GdBi and DyBi. We find that new surface states, including a Dirac cone, emerge in the AFM state. However, they are located along a direction in momentum space that is different than what was found in NdSb, NdBi, and CeBi. The observed changes in the electronic structure are consistent with the presence of AFM-II-A type order.

We report on the observation of previously-unknown isotope $^{21}$Al, the first unbound aluminum isotope located beyond the proton dripline. The $^{21}$Al nucleus decays by one-proton (1p) emission, and its in-flight decays were detected by tracking trajectories of all decay products with micro-strip silicon detectors. The 1p-emission processes were studied by analyses of the measured angular correlations of decay products $^{20}$Mg+p. The 1p-decay energies of ground and low-lying excited states of $^{21}$Al, its mass excess and proton separation energy value $S_p$=$-1.1(1)$ MeV were determined., Comment: 6 pages, 7 figures

We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure for the bi-reachability problem: given a Petri net and its two configurations, we ask if each of the configurations is reachable from the other. This pushes forward the decidability borderline, as the bi-reachability problem subsumes the coverability problem (which is known to be decidable) and is subsumed by the reachability problem (whose decidability status is unknown).

Achieving the formation of target open crystalline lattices from colloidal particles is of paramount importance for their potential application in photonics. Examples of such desired structures are the diamond, tetrastack, and pyrochlore lattices. Here, we demonstrate that the self-assembly of tetravalent patchy particles results in the selective formation of cubic tetrastack crystals, both in the bulk and in the systems subjected to external fields exerted by the solid substrate. It is demonstrated that the presence of an external field allows for the formation of well-defined single crystals with a low density of defects. Moreover, depending on the strength of the applied external field, the mechanism of epitaxial growth changes. For weakly attractive external fields, the crystallization occurs in a similar manner as in the bulk, since the fluid does not wet the substrate. Nonetheless, the formed crystal is considerably better ordered than the crystals formed in bulk, since the surface induces the ordering in the first layer. On the other hand, it is demonstrated that the formation of well-ordered cubic tetrastack crystals is considerably enhanced by the increase in external field strength, and the formation of the thick crystalline film occurs via a series of layering transitions.

A comprehensive theoretical approach to describe the electron-ion radiative recombination in the presence of intense, short laser pulses, which accounts for nondipole corrections is presented. It is based on the relativistic Coulomb-Volkov solution describing an electron in a combined Coulomb potential and a laser field, which is systematically expanded in powers of $1/c$. Thus, it allows us to trace the origin of nondipole effects observed in the spectrum of emitted radiation. Hence, as we demonstrate for high-frequency pulses assisting the process, a significant extension of the cutoff and asymmetry in angular distributions of the emitted radiation can be attributed to the electron recoil off the laser pulse. In addition, we investigate a possibility of enhancing the efficiency of the generated high-energy radiation by chirping the pulse., Comment: 15 pages, 6 figures

It has been previously advocated that the presence of the daily and annual modulations of the axion flux on the Earth's surface may dramatically change the strategy of the axion searches. The arguments were based on the so-called Axion Quark Nugget (AQN) dark matter model which was originally put forward to explain the similarity of the dark and visible cosmological matter densities $\Omega_{\rm dark}\sim \Omega_{\rm visible}$. In this framework, the population of galactic axions with mass $ 10^{-6} {\rm eV}\lesssim m_a\lesssim 10^{-3}{\rm eV}$ and velocity $\langle v_a\rangle\sim 10^{-3} c$ will be accompanied by axions with typical velocities $\langle v_a\rangle\sim 0.6 c$ emitted by AQNs. Furthermore, in this framework, it has also been argued that the AQN-induced axion daily modulation (in contrast with the conventional WIMP paradigm) could be as large as $(10-20)\%$, which represents the main motivation for the present investigation. We argue that the daily modulations along with the broadband detection strategy can be very useful tools for the discovery of such relativistic axions. The data from the CAST-CAPP detector have been used following such arguments. Unfortunately, due to the dependence of the amplifier chain on temperature-dependent gain drifts and other factors, we could not conclusively show the presence or absence of a dark sector-originated daily modulation. However, this proof of principle analysis procedure can serve as a reference for future studies., Comment: 18 pages, 8 figures

The $B^0 \to K^0_S K^+ K^- $ decay amplitude is derived within a quasi-two-body QCD factorization framework in terms of kaon form factors and $B^0$ to two-kaon-transition functions. The final state kaon-kaon interactions in the $S$, $P$, and $D$ waves are taken into account. The unitarity constraints are satisfied for the two kaons in scalar states. It is shown that with few terms of the full decay amplitude one may reach a fair agreement with the total branching fraction and Dalitz-plot projections published in 2010 by the Belle Collaboration and in 2012 by the $\textit{BABAR}$ Collaboration. With 13 free parameters, our model fits the corresponding 422 data with a $\chi^2$ of 583.6 which leads to a $\chi^2$ per degree of freedom equal to 1.43. The dominant branching fraction arises from the $f_0(K^+K^-) K^0_S$ mode with 83.0$\%$ of the total branching. The next important mode is dominated by $\phi K^0_S$ plus small $\omega K^0_S$ and $\rho^0 K^0_S$ modes with 18.3$\%$ of the total. Then follows the $a_0^\pm K^\mp$ mode with 6.2$\%$. Adding the other smaller modes, the total percentage sum is 107.7$\%$ which indicates a small interference contribution. In most regions of the Dalitz plot, our model gives rather small $CP$ asymmetry, but in some parts its values can be large and positive or negative. Its predicted total value is equal to -0.11$\%$. The calculated time dependent $\textit{CP}$-asymmetry parameters agree, within errors, with those obtained by the $\textit{BABAR}$ analysis. Our model amplitude can be the basis for a parametrization in experimental Dalitz plot analyses of LHCb and Belle II Collaborations., Comment: 32 pages, 9 figures, submitted to Phys. Rev. D

We present $\texttt{moes}$, a ray tracing software package that computes the path of rays through echelle spectrographs. Our algorithm is based on sequential direct tracing with Seidel aberration corrections applied at the detector plane. As a test case, we model the CARMENES VIS spectrograph. After subtracting the best model from the data, the residuals yield an rms of 0.024 pix, setting a new standard to the precision of the wavelength solution of state-of-the-art radial velocity instruments. By including the influence of the changes of the environment in the ray propagation, we are able to predict instrumental radial velocity systematics at the 1 m/s level.

Large language models (LLMs) and small language models (SLMs) are being adopted at remarkable speed, although their safety still remains a serious concern. With the advent of multilingual S/LLMs, the question now becomes a matter of scale: can we expand multilingual safety evaluations of these models with the same velocity at which they are deployed? To this end, we introduce RTP-LX, a human-transcreated and human-annotated corpus of toxic prompts and outputs in 28 languages. RTP-LX follows participatory design practices, and a portion of the corpus is especially designed to detect culturally-specific toxic language. We evaluate 10 S/LLMs on their ability to detect toxic content in a culturally-sensitive, multilingual scenario. We find that, although they typically score acceptably in terms of accuracy, they have low agreement with human judges when scoring holistically the toxicity of a prompt; and have difficulty discerning harm in context-dependent scenarios, particularly with subtle-yet-harmful content (e.g. microaggressions, bias). We release this dataset to contribute to further reduce harmful uses of these models and improve their safe deployment., Comment: AAAI 2025--camera ready + extended abstract

The study of transient and variable events, including novae, active galactic nuclei, and black hole binaries, has historically been a fruitful path for elucidating the evolutionary mechanisms of our universe. The study of such events in the millimeter and submillimeter is, however, still in its infancy. Submillimeter observations probe a variety of materials, such as optically thick dust, which are hard to study in other wavelengths. Submillimeter observations are sensitive to a number of emission mechanisms, from the aforementioned cold dust, to hot free-free emission, and synchrotron emission from energetic particles. Study of these phenomena has been hampered by a lack of prompt, high sensitivity submillimeter follow-up, as well as by a lack of high-sky-coverage submillimeter surveys. In this paper, we describe how the proposed Atacama Large Aperture Submillimeter Telescope (AtLAST) could fill in these gaps in our understanding of the transient universe. We discuss a number of science cases that would benefit from AtLAST observations, and detail how AtLAST is uniquely suited to contributing to them. In particular, AtLAST's large field of view will enable serendipitous detections of transient events, while its anticipated ability to get on source quickly and observe simultaneously in multiple bands make it also ideally suited for transient follow-up. We make theoretical predictions for the instrumental and observatory properties required to significantly contribute to these science cases, and compare them to the projected AtLAST capabilities. Finally, we consider the unique ways in which transient science cases constrain the observational strategies of AtLAST, and make prescriptions for how AtLAST should observe in order to maximize its transient science output without impinging on other science cases., Comment: 19 pages, 5 figures