Search

Being the most prominent HI line, Ly$\alpha$ permeates the cosmic web in emission. Despite its potential as a cosmological probe, its detection on large scales remains elusive. We present a new methodology to perform Ly$\alpha$ intensity mapping with broad-band optical images, by cross-correlating them with Ly$\alpha$ forest data using a custom one-parameter estimator. We also develop an analytical large-scale Ly$\alpha$ emission model with two parameters (average luminosity $\langle L_{\rm Ly\alpha} \rangle$ and bias $b_{\rm e}$) that respects observational constraints from QSO luminosity functions. We compute a forecast for DECaLS/BASS $g$-band images cross-correlated with DESI Ly$\alpha$ forest data, setting guidelines for reducing images into Ly$\alpha$ intensity maps. Given the transversal scales of our cross-correlation (26.4 arcmin, $\sim$33 cMpc/h), our study effectively integrates Ly$\alpha$ emission over all the cosmic volume inside the DESI footprint at $2.2 < z < 3.4$ (the $g$-band Ly$\alpha$ redshift range). Over the parameter space ($\langle L_{\rm Ly\alpha} \rangle$, $b_{\rm e}$) sampled by our forecast, we find a 3$\sigma$ of large-scale structure in Ly$\alpha$ likely, with a probability of detection of 23.95\% for DESI-DECaLS/BASS, and 54.93\% for a hypothetical DESI phase II with twice as much Ly$\alpha$ QSOs. Without a detection, we derive upper bounds on $\langle L_{\rm Ly\alpha} \rangle$ competitive with optimistic literature estimates ($2.3 \pm 1 \cdot 10^{\rm 41}$ erg/s/cMpc$^3$ for DESI, and $\sim$35\% lower for its hypothetical phase II). Extrapolation to the DESI-Rubin overlap shows that a detection of large-scale structure with Ly$\alpha$ intensity mapping using next-generation imaging surveys is certain. [abridged], Comment: 26 pages, 24 figures, submitted to MNRAS. Comments welcome!

Computational offload to hardware accelerators is gaining traction due to increasing computational demands and efficiency challenges. Programmable hardware, like FPGAs, offers a promising platform in rapidly evolving application areas, with the benefits of hardware acceleration and software programmability. Unfortunately, such systems composed of multiple hardware components must consider integrity in the case of malicious components. In this work, we propose Samsara, the first secure and resilient platform that derives, from Byzantine Fault Tolerant (BFT), protocols to enhance the computing resilience of programmable hardware. Samsara uses a novel lightweight hardware-based BFT protocol for Systems-on-Chip, called H-Quorum, that implements the theoretical-minimum latency between applications and replicated compute nodes. To withstand malicious behaviors, Samsara supports hardware rejuvenation, which is used to replace, relocate, or diversify faulty compute nodes. Samsara's architecture ensures the security of the entire workflow while keeping the latency overhead, of both computation and rejuvenation, close to the non-replicated counterpart., Comment: To be published in The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)

We prove a Ros-Rosenberg theorem in the setting of Special Weingarten surfaces. We show that a compact, connected, embedded, Special Weingarten surface in $\mathhb{R}^3$ with planar convex boundary is a topological disk under mild suitable assumptions., Comment: 22 pages, 13 figures. We did slight improvements in the proof of Lemma 4.1, added new figures and corrected some typos

The recent success of Large Language Models (LLMs) has sparked concerns about their potential to spread misinformation. As a result, there is a pressing need for tools to identify ``fake arguments'' generated by such models. To create these tools, examples of texts generated by LLMs are needed. This paper introduces a methodology to obtain good, bad and ugly arguments from argumentative essays produced by ChatGPT, OpenAI's LLM. We then describe a novel dataset containing a set of diverse arguments, ArGPT. We assess the effectiveness of our dataset and establish baselines for several argumentation-related tasks. Finally, we show that the artificially generated data relates well to human argumentation and thus is useful as a tool to train and test systems for the defined tasks.

Compact groups (CGs) of galaxies are extreme environments for morphological transformations and the cessation of star formation. Our objective is to understand the dynamics of CGs and how their surrounding environment impacts galaxy properties. We selected a sample of 340 CGs in the Stripe 82 region, totaling 1083 galaxies, and a control sample of 2281 field galaxies. We find that at least 27\% of our sample of CGs are part of major structures, i.e. non-isolated CGs. We find a bimodality in the effective radius ($R_e$)-S\'ersic index ($n$) plane for all transition galaxies (those with $(u-r) > 2.3$ and $n<2.5$) in CGs. Additionally, transition galaxies in isolated CGs populate more densely the $R_e-n$ plane for $n < 1.75$. In contrast, transition galaxies in non-isolated CGs have smoothly increasing $n$ values, suggesting these galaxies have already suffered morphological transformation, and primarily contribute to the distribution of more compact galaxies in the $R_e-n$ plane for all transition galaxies in CGs. We also find significant differences in the specific star-formation rate (sSFR) distribution between the late-type galaxies (LTGs) ($(u-r)<2.3$ and $n< 2.5$) in non-isolated CGs and the same type of galaxies in the control sample, suggesting that the evolution of LTGs differs in non-isolated CGs. Early-type galaxies ($(u-r)>2.3$ and $n>2.5$) and transition galaxies in non-isolated CGs have lower sSFR values and a higher fraction of quenched galaxies, compared to those in isolated CGs. Based on our results, we propose an evolutionary scenario where the major structures in which the CGs are embedded accelerate the morphological transformations of their members. Our findings highlight the importance of considering the larger structures in which CGs may be located, when analysing the properties of their galaxy, as this can significantly affect the evolution of CGs and their galaxies., Comment: Submitted to A&A, 13 pages, 9 figures

We report on ALMA observations of polarized dust emission at 1.2 mm from NGC6334I, a source known for its significant flux outbursts. Between five months, our data show no substantial change in total intensity and a modest 8\% variation in linear polarization, suggesting a phase of stability or the conclusion of the outburst. The magnetic field, inferred from this polarized emission, displays a predominantly radial pattern from North-West to South-East with intricate disturbances across major cores, hinting at spiral structures. Energy analysis of CS$(J=5 \rightarrow 4)$ emission yields an outflow energy of approximately $3.5\times10^{45}$ ergs, aligning with previous interferometric studies. Utilizing the Davis-Chandrasekhar-Fermi method, we determined magnetic field strengths ranging from 1 to 11 mG, averaging at 1.9 mG. This average increases to 4 $\pm 1$ mG when incorporating Zeeman measurements. Comparative analyses using gravitational, thermal, and kinetic energy maps reveal that magnetic energy is significantly weaker, possibly explaining the observed field morphology. We also find that the energy in the outflows and the expanding cometary {\HII} region is also larger than the magnetic energy, suggesting that protostellar feedback maybe the dominant driver behind the injection of turbulence in NGC6334I at the scales sampled by our data. The gas in NGC6334I predominantly exhibits supersonic and trans-Alfvenic conditions, transitioning towards a super-Alfvenic regime, underscoring a diminished influence of the magnetic field with increasing gas density. These observations are in agreement with prior polarization studies at 220 GHz, enriching our understanding of the dynamic processes in high-mass star-forming regions., Comment: Accepted for Publication at the Astrophysical Journal

Aromatic molecules represent fundamental building blocks in prebiotic chemistry and are contemplated as vital precursors to DNA and RNA nitrogen bases. However, despite the identification of some 300 molecules in extraterrestrial environments, the pathways to pyridine (C5H5N), pyridinyl (C5H4N), and (iso)quinoline (C9H7N) the simplest representative of mono and bicyclic aromatic molecule carrying nitrogen are elusive. Here, we afford compelling evidence on the gas phase formation of methylene amidogen (H2CN) and cyanomethyl (H2CCN) radicals via molecular beam studies and electronic structure calculations. The modeling of the chemistries of Taurus Molecular Cloud (TMC 1) and Titans atmosphere contemplates a complex chain of reactions synthesizing pyridine, pyridinyl, and (iso)quinoline from H2CN and H2CCN at levels of up to 75%. This study affords unique entry points to precursors of DNA and RNA nitrogen bases in hydrocarbon rich extraterrestrial environments thus changing the way we think about the origin of prebiotic molecules in our Galaxy., Comment: Main paper and supplementary information file

Excess chromospheric emissions within deep photospheric lines are effective proxies of stellar magnetism for FGK stars. This emission decays with stellar age and is a potential determinant of this important stellar quantity. We report absolutely calibrated H$\alpha$ chromospheric fluxes for 511 solar-type stars in a wide interval of precisely determined masses, $[$Fe/H$]$, ages, and evolution states from high S/N, moderately high$-$resolution spectra. The comparison of H$\alpha$ and H+K chromospheric fluxes reveals a metallicity bias (absent from H$\alpha$) affecting Ca II H+K fluxes thereby metal-rich stars with deep line profiles mimic low chromospheric flux levels, and vice versa for metal-poor stars. This bias blurs the age-activity relation, precluding age determinations for old, inactive stars unless mass and $[$Fe/H$]$ are calibrated into the relation. The H+K lines being the most widely studied tool to quantify magnetic activity in FGK stars, care should be exercised in its use whenever wide ranges of mass and $[$Fe/H$]$ are involved. The H$\alpha$ age-activity-mass-metallicity calibration appears to be in line with the theoretical expectation that (other parameters being equal) more massive stars possess narrower convective zones and are less active than less massive stars, while more metal-rich stars have deeper convective zones and appear more active than metal-poorer stars. If regarded statistically in tandem with other age diagnostics, H$\alpha$ chromospheric fluxes may be suitable to constrain ages for FGK stars with acceptable precision., Comment: 14 pages, 11 figures, Published on MNRAS

Metacognition is the concept of reasoning about an agent's own internal processes and was originally introduced in the field of developmental psychology. In this position paper, we examine the concept of applying metacognition to artificial intelligence. We introduce a framework for understanding metacognitive artificial intelligence (AI) that we call TRAP: transparency, reasoning, adaptation, and perception. We discuss each of these aspects in-turn and explore how neurosymbolic AI (NSAI) can be leveraged to address challenges of metacognition.

Solar flares are powerful particle accelerators, and in the accepted standard flare model most of the flare energy is transported from a coronal energy-release region by accelerated electrons which stop collisionally in the chromosphere, heating and ionising the plasma, producing a broadband enhancement to the solar radiative output. We present a time-delay analysis of the infrared emission from two chromospheric sources in the flare SOL2014-09-24T17:50 taken at the McMath-Pierce telescope. By cross-correlating the intensity signals, measured with 1s cadence, from the two spatially resolved infrared sources we find a delay of 0.75 $\pm$ 0.07 s at 8.2 $\mu$m, where the uncertainties are quantified by a Monte Carlo analysis. The sources correlate well in brightness but have a time lag larger than can be reasonably explained by the energy transport dominated by non-thermal electrons precipitating from a single acceleration site in the corona. If interpreted as a time-of-flight difference between electrons traveling to each footpoint, we estimate time delays between 0.14 s and 0.42 s, for a reconnection site at the interior quasi-separatrix layer or at the null-point of the spine-fan topology inferred for this event. We employed modelling of electron transport via time-dependent Fokker-Planck and radiative hydrodynamic simulations to evaluate other possible sources of time-delay in the generation of the IR emission, such as differing ionisation timescales under different chromospheric conditions. Our results demonstrate that they are also unable to account for this discrepancy. This flare appears to require energy transport by some means other than electron beams originating in the corona., Comment: 15 pages, 12 figures, accepted for publication (MNRAS)

Recent advancements in Artificial Intelligence (AI), particularly the widespread adoption of Large Language Models (LLMs), have significantly enhanced text analysis capabilities. This technological evolution offers considerable promise for automating the review of scientific papers, a task traditionally managed through peer review by fellow researchers. Despite its critical role in maintaining research quality, the conventional peer-review process is often slow and subject to biases, potentially impeding the swift propagation of scientific knowledge. In this paper, we propose RelevAI-Reviewer, an automatic system that conceptualizes the task of survey paper review as a classification problem, aimed at assessing the relevance of a paper in relation to a specified prompt, analogous to a "call for papers". To address this, we introduce a novel dataset comprised of 25,164 instances. Each instance contains one prompt and four candidate papers, each varying in relevance to the prompt. The objective is to develop a machine learning (ML) model capable of determining the relevance of each paper and identifying the most pertinent one. We explore various baseline approaches, including traditional ML classifiers like Support Vector Machine (SVM) and advanced language models such as BERT. Preliminary findings indicate that the BERT-based end-to-end classifier surpasses other conventional ML methods in performance. We present this problem as a public challenge to foster engagement and interest in this area of research.

This research explores the trainability of Parameterized Quantum circuit-based policies in Reinforcement Learning, an area that has recently seen a surge in empirical exploration. While some studies suggest improved sample complexity using quantum gradient estimation, the efficient trainability of these policies remains an open question. Our findings reveal significant challenges, including standard Barren Plateaus with exponentially small gradients and gradient explosion. These phenomena depend on the type of basis-state partitioning and mapping these partitions onto actions. For a polynomial number of actions, a trainable window can be ensured with a polynomial number of measurements if a contiguous-like partitioning of basis-states is employed. These results are empirically validated in a multi-armed bandit environment.

The Hiperwalk package is designed to facilitate the simulation of quantum walks using heterogeneous high-performance computing, taking advantage of the parallel processing power of diverse processors such as CPUs, GPUs, and acceleration cards. This package enables the simulation of both the continuous-time and discrete-time quantum walk models, effectively modeling the behavior of quantum systems on large graphs. Hiperwalk features a user-friendly Python package frontend with comprehensive documentation, as well as a high-performance C-based inner core that leverages parallel computing for efficient linear algebra calculations. This versatile tool empowers researchers to better understand quantum walk behavior, optimize implementation, and explore a wide range of potential applications, including spatial search algorithms., Comment: 16 pages, 6 figures

The problem of using structured methods to represent knowledge is well-known in conceptual modeling and has been studied for many years. It has been proven that adopting modeling patterns represents an effective structural method. Patterns are, indeed, generalizable recurrent structures that can be exploited as solutions to design problems. They aid in understanding and improving the process of creating models. The undeniable value of using patterns in conceptual modeling was demonstrated in several experimental studies. However, discovering patterns in conceptual models is widely recognized as a highly complex task and a systematic solution to pattern identification is currently lacking. In this paper, we propose a general approach to the problem of discovering frequent structures, as they occur in conceptual modeling languages. As proof of concept for our scientific contribution, we provide an implementation of the approach, by focusing on UML class diagrams, in particular OntoUML models. This implementation comprises an exploratory tool, which, through the combination of a frequent subgraph mining algorithm and graph manipulation techniques, can process multiple conceptual models and discover recurrent structures according to multiple criteria. The primary objective is to offer a support facility for language engineers. This can be employed to leverage both good and bad modeling practices, to evolve and maintain the conceptual modeling language, and to promote the reuse of encoded experience in designing better models with the given language.

RGB-D sensors face multiple challenges operating under open-field environments because of their sensitivity to external perturbations such as radiation or rain. Multiple works are approaching the challenge of perceiving the 3D position of objects using monocular cameras. However, most of these works focus mainly on deep learning-based solutions, which are complex, data-driven, and difficult to predict. So, we aim to approach the problem of predicting the 3D objects' position using a Gaussian viewpoint estimator named best viewpoint estimator (BVE) powered by an extended Kalman filter (EKF). The algorithm proved efficient on the tasks and reached a maximum average Euclidean error of about 32 mm. The experiments were deployed and evaluated in MATLAB using artificial Gaussian noise. Future work aims to implement the system in a robotic system., Comment: Accepted to ICINCO - 21st International Conference on Informatics in Control, Automation and Robotics

Deep Reinforcement Learning (DRL) has emerged as a promising approach to enhancing motion control and decision-making through a wide range of robotic applications. While prior research has demonstrated the efficacy of DRL algorithms in facilitating autonomous mapless navigation for aerial and terrestrial mobile robots, these methods often grapple with poor generalization when faced with unknown tasks and environments. This paper explores the impact of the Delayed Policy Updates (DPU) technique on fostering generalization to new situations, and bolstering the overall performance of agents. Our analysis of DPU in aerial and terrestrial mobile robots reveals that this technique significantly curtails the lack of generalization and accelerates the learning process for agents, enhancing their efficiency across diverse tasks and unknown scenarios., Comment: IEEE 20th International Conference on Automation Science and Engineering (CASE)

In this paper, we examine 3 important issues in the practical use of state-of-the-art facial landmark detectors and show how a combination of specific architectural modifications can directly improve their accuracy and temporal stability. First, many facial landmark detectors require face normalization as a preprocessing step, which is accomplished by a separately-trained neural network that crops and resizes the face in the input image. There is no guarantee that this pre-trained network performs the optimal face normalization for landmark detection. We instead analyze the use of a spatial transformer network that is trained alongside the landmark detector in an unsupervised manner, and jointly learn optimal face normalization and landmark detection. Second, we show that modifying the output head of the landmark predictor to infer landmarks in a canonical 3D space can further improve accuracy. To convert the predicted 3D landmarks into screen-space, we additionally predict the camera intrinsics and head pose from the input image. As a side benefit, this allows to predict the 3D face shape from a given image only using 2D landmarks as supervision, which is useful in determining landmark visibility among other things. Finally, when training a landmark detector on multiple datasets at the same time, annotation inconsistencies across datasets forces the network to produce a suboptimal average. We propose to add a semantic correction network to address this issue. This additional lightweight neural network is trained alongside the landmark detector, without requiring any additional supervision. While the insights of this paper can be applied to most common landmark detectors, we specifically target a recently-proposed continuous 2D landmark detector to demonstrate how each of our additions leads to meaningful improvements over the state-of-the-art on standard benchmarks., Comment: 12 pages, 13 figures

A cornerstone of geometric reconstruction, rotation averaging seeks the set of absolute rotations that optimally explains a set of measured relative orientations between them. In addition to being an integral part of bundle adjustment and structure-from-motion, the problem of synchronizing rotations also finds applications in visual simultaneous localization and mapping, where it is used as an initialization for iterative solvers, and camera network calibration. Nevertheless, this optimization problem is both non-convex and high-dimensional. In this paper, we address it from a maximum likelihood estimation standpoint and make a twofold contribution. Firstly, we set forth a novel primal-dual method, motivated by the widely accepted spectral initialization. Further, we characterize stationary points of rotation averaging in cycle graphs topologies and contextualize this result within spectral graph theory. We benchmark the proposed method in multiple settings and certify our solution via duality theory, achieving a significant gain in precision and performance., Comment: arXiv admin note: text overlap with arXiv:2109.08046

Ensuring high-quality data is paramount for maximizing the performance of machine learning models and business intelligence systems. However, challenges in data quality, including noise in data capture, missing records, limited data production, and confounding variables, significantly constrain the potential performance of these systems. In this study, we propose an architecture-agnostic algorithm, Gradient Guided Hypotheses (GGH), designed to address these challenges. GGH analyses gradients from hypotheses as a proxy of distinct and possibly contradictory patterns in the data. This framework entails an additional step in machine learning training, where gradients can be included or excluded from backpropagation. In this manner, missing and noisy data are addressed through a unified solution that perceives both challenges as facets of the same overarching issue: the propagation of erroneous information. Experimental validation of GGH is conducted using real-world open-source datasets, where records with missing rates of up to 98.5% are simulated. Comparative analysis with state-of-the-art imputation methods demonstrates a substantial improvement in model performance achieved by GGH. Specifically in very high scarcity regimes, GGH was found to be the only viable solution. Additionally, GGH's noise detection capabilities are showcased by introducing simulated noise into the datasets and observing enhanced model performance after filtering out the noisy data. This study presents GGH as a promising solution for improving data quality and model performance in various applications.

Semantic Bird's Eye View (BEV) maps offer a rich representation with strong occlusion reasoning for various decision making tasks in autonomous driving. However, most BEV mapping approaches employ a fully supervised learning paradigm that relies on large amounts of human-annotated BEV ground truth data. In this work, we address this limitation by proposing the first unsupervised representation learning approach to generate semantic BEV maps from a monocular frontal view (FV) image in a label-efficient manner. Our approach pretrains the network to independently reason about scene geometry and scene semantics using two disjoint neural pathways in an unsupervised manner and then finetunes it for the task of semantic BEV mapping using only a small fraction of labels in the BEV. We achieve label-free pretraining by exploiting spatial and temporal consistency of FV images to learn scene geometry while relying on a novel temporal masked autoencoder formulation to encode the scene representation. Extensive evaluations on the KITTI-360 and nuScenes datasets demonstrate that our approach performs on par with the existing state-of-the-art approaches while using only 1% of BEV labels and no additional labeled data., Comment: 23 pages, 5 figures

Selecting language models in business contexts requires a careful analysis of the final financial benefits of the investment. However, the emphasis of academia and industry analysis of LLM is solely on performance. This work introduces a framework to evaluate LLMs, focusing on the earnings and return on investment aspects that should be taken into account in business decision making. We use a decision-theoretic approach to compare the financial impact of different LLMs, considering variables such as the cost per token, the probability of success in the specific task, and the gain and losses associated with LLMs use. The study reveals how the superior accuracy of more expensive models can, under certain conditions, justify a greater investment through more significant earnings but not necessarily a larger RoI. This article provides a framework for companies looking to optimize their technology choices, ensuring that investment in cutting-edge technology aligns with strategic financial objectives. In addition, we discuss how changes in operational variables influence the economics of using LLMs, offering practical insights for enterprise settings, finding that the predicted gain and loss and the different probabilities of success and failure are the variables that most impact the sensitivity of the models., Comment: 27 pages, 13 figures

Learning representations that capture rich semantic relationships and accommodate propositional calculus poses a significant challenge. Existing approaches are either contrastive, lacking theoretical guarantees, or fall short in effectively representing the partial orders inherent to rich visual-semantic hierarchies. In this paper, we propose a novel approach for learning visual representations that not only conform to a specified semantic structure but also facilitate probabilistic propositional reasoning. Our approach is based on a new nuclear norm-based loss. We show that its minimum encodes the spectral geometry of the semantics in a subspace lattice, where logical propositions can be represented by projection operators.

Scene Graph Generation (SGG) can extract abstract semantic relations between entities in images as graph representations. This task holds strong promises for other downstream tasks such as the embodied cognition of an autonomous agent. However, to power such applications, SGG needs to solve the gap of real-time latency. In this work, we propose to investigate the bottlenecks of current approaches for real-time constraint applications. Then, we propose a simple yet effective implementation of a real-time SGG approach using YOLOV8 as an object detection backbone. Our implementation is the first to obtain more than 48 FPS for the task with no loss of accuracy, successfully outperforming any other lightweight approaches. Our code is freely available at https://github.com/Maelic/SGG-Benchmark.

Dual topological insulators (DTIs) are simultaneously protected by time-reversal and crystal symmetries, representing advantageous alternatives to conventional topological insulators. By combining ab initio calculations and the $\mathbf{k}\cdot\mathbf{p}$ approach, here we investigate the electronic band structure of a Na$_2$CdSn tri-atomic layer and derive a low-energy $4\times 4$ effective model consistent with all the symmetries of this material class. We obtain the effective Hamiltonian using the L\"owdin perturbation theory, the folding down technique, and the theory of invariants, and determine its parameters by fitting our analytical dispersion relations to those of ab initio calculations. We then calculate the bulk topological invariants of the system and show that the Na$_2$CdSn tri-atomic layer is a giant-gap (hundreds of meV) quasi-2D DTI characterized by both spin and mirror Chern numbers $-2$. In agreement with the bulk-boundary correspondence theorem, we find that a finite-width strip of Na$_2$CdSn possesses two pairs of counter-propagating helical edge states per interface. We obtain analytical expressions for the edge states energy dispersions and wave functions, which are shown to agree with our numerical calculations. Our work opens a new avenue for further studies of Na$_2$CdSn as a potential DTI candidate with room-temperature applications in areas of technological interest, such as nanoelectronics and spintronics.

This article addresses the societal costs associated with the lack of regulation in Artificial Intelligence and proposes a framework combining innovation and regulation. Over fifty years of AI research, catalyzed by declining computing costs and the proliferation of data, have propelled AI into the mainstream, promising significant economic benefits. Yet, this rapid adoption underscores risks, from bias amplification and labor disruptions to existential threats posed by autonomous systems. The discourse is polarized between accelerationists, advocating for unfettered technological advancement, and doomers, calling for a slowdown to prevent dystopian outcomes. This piece advocates for a middle path that leverages technical innovation and smart regulation to maximize the benefits of AI while minimizing its risks, offering a pragmatic approach to the responsible progress of AI technology. Technical invention beyond the most capable foundation models is needed to contain catastrophic risks. Regulation is required to create incentives for this research while addressing current issues., Comment: Preprint of Author's Original Under Review