Showing 1–50 of 266 results for author: Reyes, D

JWST Observations of Young protoStars (JOYS): overview of program and early results

Authors: E. F. van Dishoeck, Ł. Tychoniec, W. R. M. Rocha, K. Slavicinska, L. Francis, M. L. van Gelder, T. P. Ray, H. Beuther, A. Caratti o Garatti, N. G. C. Brunken, Y. Chen, R. Devaraj, V. C. Geers, C. Gieser, T. P. Greene, K. Justtanont, V. J. M. Le Gouellec, P. J. Kavanagh, P. D. Klaassen, A. G. M. Janssen, M. G. Navarro, P. Nazari, S. Notsu, G. Perotti, M. E. Ressler , et al. (12 additional authors not shown)

Abstract: The embedded phase is a crucial period in the development of a young star. Mid-IR observations, now possible with JWST with unprecedented sensitivity, spectral resolution and sharpness are key for probing many physical and chemical processes on sub-arcsecond scales. JOYS addresses a wide variety of questions, from protostellar accretion and the nature of primeval jets, winds and outflows, to the c… ▽ More The embedded phase is a crucial period in the development of a young star. Mid-IR observations, now possible with JWST with unprecedented sensitivity, spectral resolution and sharpness are key for probing many physical and chemical processes on sub-arcsecond scales. JOYS addresses a wide variety of questions, from protostellar accretion and the nature of primeval jets, winds and outflows, to the chemistry of gas and ice, and the characteristics of embedded disks. We introduce the program and show representative results. MIRI-MRS data of 17 low-mass and 6 high-mass protostars show a wide variety of features. Atomic line maps differ among refractory (e.g., Fe), semi-refractory (e.g., S) and volatile elements (e.g., Ne), linked to their different levels of depletion and local (shock) conditions. Nested, stratified jet structures consisting of an inner ionized core seen in [Fe II] with an outer H2 layer are commonly seen. Wide-angle winds are found in low-J H2 lines. [S I] follows the jet in the youngest protostars, but is concentrated on source when more evolved. [Ne II] reveals a mix of jet shock and photoionized emission. H I lines measure accretion, but are also associated with jets. Molecular emission (CO2, C2H2, HCN, H2O, ..) is cool compared with disks, and likely associated with hot cores. Deep ice absorption features reveal not just the major ice components but also ions (as part of salts) and complex organic molecules, with comparable abundances from low- to high-mass sources. A second detection of HDO ice in a solar-mass source is presented with HDO/H2O ~ 0.4%, providing a link with disks and comets. A deep search for solid O2 suggests it is not a significant oxygen reservoir. Only few embedded Class I disks show the same forest of water lines as Class II disks do, perhaps due to significant dust extinction of the upper layers [abridged]. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Comments: 47 pages, 28 + 7 figures, A&A, in press

Bouligand Analysis and Discrete Optimal Control of Total Variation-Based Variational Inequalities

Authors: Juan Carlos De Los Reyes

Abstract: We investigate differentiability and subdifferentiability properties of the solution mapping associated with variational inequalities (VI) of the second kind involving the discrete total-variation. Bouligand differentiability of the solution operator is established via a direct quotient analysis applied to a primal-dual reformulation of the VI. By exploiting the structure of the directional deriva… ▽ More We investigate differentiability and subdifferentiability properties of the solution mapping associated with variational inequalities (VI) of the second kind involving the discrete total-variation. Bouligand differentiability of the solution operator is established via a direct quotient analysis applied to a primal-dual reformulation of the VI. By exploiting the structure of the directional derivative and introducing a suitable subspace, we fully characterize the Bouligand subdifferential of the solution mapping. We then derive optimality conditions characterizing Bouligand-stationary and strongly-stationary points for discrete VI-constrained optimal control problems. A trust-region algorithm for solving these control problems is proposed based on the obtained characterizations, and a numerical experiment is presented to illustrate the main properties of both the solution and the proposed algorithm. △ Less

Submitted 12 April, 2025; originally announced April 2025.

MSC Class: 49J40; 49K20; 49M29; 49J52; 90C33

On covariant and canonical Hamiltonian formalisms: Weakly Isolated Horizons

Authors: Alejandro Corichi, Juan D. Reyes, Tatjana Vukasinac

Abstract: The Hamiltonian description of classical gauge theories is a well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, in our opinion, a full understanding of the relation between them is not available, specially for gauge theories that are defined over regions with boundaries. Here we… ▽ More The Hamiltonian description of classical gauge theories is a well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, in our opinion, a full understanding of the relation between them is not available, specially for gauge theories that are defined over regions with boundaries. Here we consider this issue, for spacetimes with isolated horizons as inner boundaries (representing black holes in equilibrium), and assess whether their corresponding descriptions can be seen as equivalent. First, we shall review and reanalyze both formalisms from anew, focusing on some subtleties not considered before. Next we show that, if we compare them at face value, there are subtle differences between both formalisms, for instance in the derivation of horizon energy, a physical observable of the theory, as well as in the number of boundary degrees of freedom. At first sight, it seems that the canonical formalism introduces some additional ambiguities that make more challenging the comparison between both formalisms. We analyze different possible interpretations in both approaches and show how one can obtain complete correspondence between results within covariant and canonical formalisms. We also show that the correspondence can be achieved in the original phase spaces, with no boundary degrees of freedom, or by appropriately extending them by adding horizon degrees of freedom. Along the way, we shed light on the role of boundary terms in the symplectic structure in relation to boundary degrees of freedom. △ Less

Submitted 5 March, 2025; originally announced March 2025.

Comments: 26 pages, no figures

Neutron-capture Element Abundances of 491 Stars in Milky Way Dwarf Satellite Galaxies from Medium-Resolution Spectra

Authors: Lauren E. Henderson, Evan N. Kirby, Mithi A. C. de los Reyes, Roman Gerasimov, Viraj Manwadkar

Abstract: The chemical compositions of evolved stars in Local Group dwarf spheroidal galaxies (dSphs) provide insight into the galaxy's past star formation and nucleosynthesis. Neutron-capture element abundances are especially interesting. In particular, s-process elements can provide a third chemical clock for resolving star formation histories in addition to core collapse and Type Ia supernovae. Likewise,… ▽ More The chemical compositions of evolved stars in Local Group dwarf spheroidal galaxies (dSphs) provide insight into the galaxy's past star formation and nucleosynthesis. Neutron-capture element abundances are especially interesting. In particular, s-process elements can provide a third chemical clock for resolving star formation histories in addition to core collapse and Type Ia supernovae. Likewise, the primary sites of the r-process are still areas of extensive research. Until now, the number of stars with neutron-capture element abundances in dSphs has been limited by the need for stars bright enough for high-resolution spectroscopy. We present abundance measurements of the neutron-capture elements Sr, Y, Ba, and Eu with errors < 0.4 dex - as well as new measurements of Mg - in 491 stars in Sculptor, Fornax, Draco, Sextans, and Ursa Minor. The large number of stars in our sample is possible because we used medium-resolution spectra from the DEIMOS spectrograph, assembling the largest homogeneous set of neutron-capture abundances in dwarf spheroidal galaxies to date. By utilizing the abundances of both s- and r-process elements, we find evidence of an s-process contribution at early times in Sculptor from our measurements of [Ba/Fe]. This is a potential signature of s-process nucleosynthesis in fast-rotating massive stars. By comparing our measurements of [Eu/Fe] with [Mg/Fe], we show the need for an r-process source that has a short delay time to enrich stars in the dSphs. Thus, neutron star mergers are likely not the sole source of r-process material in dSphs. △ Less

Submitted 9 March, 2025; v1 submitted 23 February, 2025; originally announced February 2025.

Comments: submitted to ApJ

Anatomically-Grounded Fact Checking of Automated Chest X-ray Reports

Authors: R. Mahmood, K. C. L. Wong, D. M. Reyes, N. D'Souza, L. Shi, J. Wu, P. Kaviani, M. Kalra, G. Wang, P. Yan, T. Syeda-Mahmood

Abstract: With the emergence of large-scale vision-language models, realistic radiology reports may be generated using only medical images as input guided by simple prompts. However, their practical utility has been limited due to the factual errors in their description of findings. In this paper, we propose a novel model for explainable fact-checking that identifies errors in findings and their locations i… ▽ More With the emergence of large-scale vision-language models, realistic radiology reports may be generated using only medical images as input guided by simple prompts. However, their practical utility has been limited due to the factual errors in their description of findings. In this paper, we propose a novel model for explainable fact-checking that identifies errors in findings and their locations indicated through the reports. Specifically, we analyze the types of errors made by automated reporting methods and derive a new synthetic dataset of images paired with real and fake descriptions of findings and their locations from a ground truth dataset. A new multi-label cross-modal contrastive regression network is then trained on this datsaset. We evaluate the resulting fact-checking model and its utility in correcting reports generated by several SOTA automated reporting tools on a variety of benchmark datasets with results pointing to over 40\% improvement in report quality through such error detection and correction. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Report number: RPI12

Evaluating Automated Radiology Report Quality through Fine-Grained Phrasal Grounding of Clinical Findings

Authors: Razi Mahmood, Pingkun Yan, Diego Machado Reyes, Ge Wang, Mannudeep K. Kalra, Parisa Kaviani, Joy T. Wu, Tanveer Syeda-Mahmood

Abstract: Several evaluation metrics have been developed recently to automatically assess the quality of generative AI reports for chest radiographs based only on textual information using lexical, semantic, or clinical named entity recognition methods. In this paper, we develop a new method of report quality evaluation by first extracting fine-grained finding patterns capturing the location, laterality, an… ▽ More Several evaluation metrics have been developed recently to automatically assess the quality of generative AI reports for chest radiographs based only on textual information using lexical, semantic, or clinical named entity recognition methods. In this paper, we develop a new method of report quality evaluation by first extracting fine-grained finding patterns capturing the location, laterality, and severity of a large number of clinical findings. We then performed phrasal grounding to localize their associated anatomical regions on chest radiograph images. The textual and visual measures are then combined to rate the quality of the generated reports. We present results that compare this evaluation metric with other textual metrics on a gold standard dataset derived from the MIMIC collection and show its robustness and sensitivity to factual errors. △ Less

Submitted 22 May, 2025; v1 submitted 1 December, 2024; originally announced December 2024.

LES-FGM modelling of non-premixed auto-igniting turbulent hydrogen flames including preferential diffusion

Authors: Alessandro Ballatore, Diego Quan Reyes, Hesheng Bao, Jeroen van Oijen

Abstract: Tabulated chemistry methods are a well-known strategy to efficiently store the flows thermochemical properties. In particular, the Flamelet-Generated Manifold (FGM) is a widely used technique that generates the database with a small number of control variables. In order to build such a manifold, these coordinates must be monotonic in space and time. However, the high diffusivity of hydrogen can pr… ▽ More Tabulated chemistry methods are a well-known strategy to efficiently store the flows thermochemical properties. In particular, the Flamelet-Generated Manifold (FGM) is a widely used technique that generates the database with a small number of control variables. In order to build such a manifold, these coordinates must be monotonic in space and time. However, the high diffusivity of hydrogen can prevent such requisite. To avoid the non-monotonicity of control variables (the progress variable, in particular), one practical workaround is to perform the tabulation on zero-dimensional (0D) reactors rather than on one-dimensional (1D) flamelets. Various works already implemented and tested such 0D-based manifold, but mainly in the context of spray engines, where most of the composition is lean and information past the flammability limit is not relevant. The present work aims at investigating, for the first time, the applicability of a tabulation based on homogeneous reactors to study auto-igniting turbulent hydrogen jets. It is shown that a combined use of homogeneous reactors at the lean side and an extrapolation with 1D flamelets on the richer side is required to capture both chemistry and diffusive effects accurately in pure hydrogen flames. Then, this manifold is coupled to Large-Eddy Simulation (LES) of three-dimensional turbulent mixing layers and evaluated against direct numerical simulation with detailed chemistry. Good agreement is found, in terms of both ignition delay and the following steady-state burning process. Further analyses are carried out on statistics and modelling. In particular, the sensitivity of the LES solution to filter width, turbulence-chemistry interaction and multidimensional flame effects is investigated to provide new relevant insights on modelling non-premixed auto-igniting turbulent hydrogen flames. △ Less

Submitted 20 November, 2024; v1 submitted 13 November, 2024; originally announced November 2024.

SAGAbg II: the Low-Mass Star-Forming Sequence Evolves Significantly Between 0.05<z<0.21

Authors: Erin Kado-Fong, Marla Geha, Yao-Yuan Mao, Mithi A. C. de los Reyes, Risa H. Wechsler, Benjamin Weiner, Yasmeen Asali, Nitya Kallivayalil, Ethan O. Nadler, Erik J. Tollerud, Yunchong Wang

Abstract: The redshift-dependent relation between galaxy stellar mass and star formation rate (the Star-Forming Sequence, or SFS) is a key observational yardstick for galaxy assembly. We use the SAGAbg-A sample of background galaxies from the Satellites Around Galactic Analogs (SAGA) Survey to model the low-redshift evolution of the low-mass SFS. The sample is comprised of 23258 galaxies with H$α$-based sta… ▽ More The redshift-dependent relation between galaxy stellar mass and star formation rate (the Star-Forming Sequence, or SFS) is a key observational yardstick for galaxy assembly. We use the SAGAbg-A sample of background galaxies from the Satellites Around Galactic Analogs (SAGA) Survey to model the low-redshift evolution of the low-mass SFS. The sample is comprised of 23258 galaxies with H$α$-based star formation rates (SFRs) spanning $6<\log_{10}(\rm M_\star/[M_\odot])<10$ and $z<0.21$ ($t<2.5$ Gyr). Although it is common to bin or stack galaxies at $z \lesssim 0.2$ for galaxy population studies, the difference in lookback time between $z=0$ and $z=0.21$ is comparable to the time between $z=1$ to $z=2$. We develop a model to account for both the physical evolution of low-mass SFS and the selection function of the SAGA survey, allowing us to disentangle redshift evolution from redshift-dependent selection effects across the SAGAbg-A redshift range. Our findings indicate significant evolution in the SFS over the last 2.5 Gyr, with a rising normalization: $\langle {\rm SFR}({\rm M_\star=10^{8.5} M_\odot)}\rangle(z)=1.24^{+0.25}_{-0.23}\ {\rm z} -1.47^{+0.03}_{-0.03}$. We also identify the redshift limit at which a static SFS is ruled out at the 95% confidence level, which is $z=0.05$ based on the precision of the SAGAbg-A sample. Comparison with cosmological hydrodynamic simulations reveals that some contemporary simulations under-predict the recent evolution of the low-mass SFS. This demonstrates that the recent evolution of the low-mass SFS can provide new constraints on the assembly of the low-mass Universe and highlights the need for improved models in this regime. △ Less

Submitted 18 September, 2024; originally announced September 2024.

Comments: 20 pages, 7 figures. Submitted to ApJ

Stellar Mass Calibrations for Local Low-Mass Galaxies

Authors: Mithi A. C. de los Reyes, Yasmeen Asali, Risa Wechsler, Marla Geha, Yao-Yuan Mao, Erin Kado-Fong, Ragadeepika Pucha, William Grant, Pratik J. Gandhi, Viraj Manwadkar, Anna Engelhardt, Ferah Munshi, Yunchong Wang

Abstract: The stellar masses of galaxies are measured using integrated light via several methods -- however, few of these methods were designed for low-mass ($M_{\star}\lesssim10^{8}\rm{M_{\odot}}$) "dwarf" galaxies, whose properties (e.g., stochastic star formation, low metallicity) pose unique challenges for estimating stellar masses. In this work, we quantify the precision and accuracy at which stellar m… ▽ More The stellar masses of galaxies are measured using integrated light via several methods -- however, few of these methods were designed for low-mass ($M_{\star}\lesssim10^{8}\rm{M_{\odot}}$) "dwarf" galaxies, whose properties (e.g., stochastic star formation, low metallicity) pose unique challenges for estimating stellar masses. In this work, we quantify the precision and accuracy at which stellar masses of low-mass galaxies can be recovered using UV/optical/IR photometry. We use mock observations of 469 low-mass galaxies from a variety of models, including both semi-empirical models (GRUMPY, UniverseMachine-SAGA) and cosmological baryonic zoom-in simulations (MARVELous Dwarfs and FIRE-2), to test literature color-$M_\star/L$ relations and multi-wavelength spectral energy distribution (SED) mass estimators. We identify a list of "best practices" for measuring stellar masses of low-mass galaxies from integrated photometry. These include updated prescriptions for stellar mass based on $g-r$ color and WISE 3.4 $μ$m luminosity, which are less systematically biased than literature calibrations and can recover true stellar masses of low-mass galaxies with $\sim0.1$ dex precision. When using SED fitting to estimate stellar mass, we find that the form of the assumed star formation history can induce significant biases: parametric SFHs can underestimate stellar mass by as much as $\sim0.4$ dex, while non-parametric SFHs recover true stellar masses with insignificant offset ($-0.03\pm0.11$ dex). However, we also caution that non-informative dust attenuation priors may introduce $M_\star$ uncertainties of up to $\sim0.6$ dex. △ Less

Submitted 5 September, 2024; originally announced September 2024.

Comments: 28 pages including references, 9 figures; submitted to ApJ

Superintegrable families of magnetic monopoles with non-radial potential in curved background

Authors: Antonella Marchesiello, Daniel Reyes, Libor Šnobl

Abstract: We review some known results on the superintegrability of monopole systems in the three-dimensional (3D) Euclidean space and in the 3D generalized Taub-NUT spaces. We show that these results can be extended to certain curved backgrounds that, for suitable choice of the domain of the coordinates, can be related via conformal transformations to systems in Taub-NUT spaces. These include the multi-fol… ▽ More We review some known results on the superintegrability of monopole systems in the three-dimensional (3D) Euclidean space and in the 3D generalized Taub-NUT spaces. We show that these results can be extended to certain curved backgrounds that, for suitable choice of the domain of the coordinates, can be related via conformal transformations to systems in Taub-NUT spaces. These include the multi-fold Kepler systems as special cases. The curvature of the space is not constant and depends on a rational parameter that is also related to the order of the integrals. New results on minimal superintegrability when the electrostatic potential depends on both radial and angular variables are also presented. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Comments: 6 pages, preprint version of the published paper

MSC Class: 37J35

Journal ref: Journal of Geometry and Physics 203 (2024) 105261

A Frobenius-type theory for discrete systems

Authors: Daniel Reyes, Miguel A. Rodríguez, Piergiulio Tempesta

Abstract: We develop an approach analogous to classical Frobenius theory for the analysis of singularities of ODEs in the case of discrete dynamical systems. Our methodology is based on the Roman-Rota theory of finite operators and relies crucially on the idea of preserving the Leibniz rule on a lattice of points by means of the notion of Rota algebras. The relevant cases of the Bessel, Hermite and Airy equ… ▽ More We develop an approach analogous to classical Frobenius theory for the analysis of singularities of ODEs in the case of discrete dynamical systems. Our methodology is based on the Roman-Rota theory of finite operators and relies crucially on the idea of preserving the Leibniz rule on a lattice of points by means of the notion of Rota algebras. The relevant cases of the Bessel, Hermite and Airy equations are discussed. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Comments: 19 pages, 1 figure

MSC Class: 39A05; 37J70

Metals in Star-Forming Galaxies with KCWI. I. Methodology and First Results on the Abundances of Iron, Magnesium, and Oxygen

Authors: Zhuyun Zhuang, Evan N. Kirby, Charles C. Steidel, Mithi A. C. de los Reyes, Nikolaus Z. Prusinski, N. Leethochawalit, Minjung Park, Charlie Conroy, Evan H. Nuñez

Abstract: Understanding the chemical enrichment of different elements is crucial to gaining a complete picture of galaxy chemical evolution. In this study, we present a new sample of 46 low-redshift, low-mass star-forming galaxies at $M_*\sim 10^{8-10}M_{\odot}$ along with two quiescent galaxies at $M_*\sim 10^{8.8}M_{\odot}$ observed with the Keck Cosmic Web Imager (KCWI), aiming to investigate the chemica… ▽ More Understanding the chemical enrichment of different elements is crucial to gaining a complete picture of galaxy chemical evolution. In this study, we present a new sample of 46 low-redshift, low-mass star-forming galaxies at $M_*\sim 10^{8-10}M_{\odot}$ along with two quiescent galaxies at $M_*\sim 10^{8.8}M_{\odot}$ observed with the Keck Cosmic Web Imager (KCWI), aiming to investigate the chemical evolution of galaxies in the transition zone between Local Group satellites and massive field galaxies. We develop a novel method to simultaneously determine stellar abundances of iron and magnesium in star-forming galaxies. With the gas-phase oxygen abundance (O/H)$_{\rm g}$ measured using the strong line method, we are able to make the first-ever apples-to-apples comparison of $α$ elements in the stars and the ISM. We find that the [Mg/H]$_*$-[O/H]$_{\rm g}$ relation is much tighter than the [Fe/H]$_*$-[O/H]$_{\rm g}$ relation, which can be explained by the similar production processes of $α$ elements. Most galaxies in our sample exhibit higher [O/H]$_{\rm g}$ than [Fe/H]$_*$ and [Mg/H]$_*$. In addition, we construct mass-metallicity relations (MZRs) measured as three different elements (Fe$_*$, Mg$_*$, O$_{\rm g}$). Compared to the gas O-MZR, the stellar Fe- and Mg-MZRs show larger scatter driven by variations in specific star formation rates (sSFR), with star-forming galaxies exhibiting higher sSFR and lower stellar abundances at fixed mass. The excess of [O/H]$_{\rm g}$ compared to stellar abundances as well as the anti-correlation between sSFR and stellar abundance suggests that galaxy quenching of intermediate-mass galaxies at $M_*\sim 10^{8-10}M_{\odot}$ is primarily driven by starvation. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: 36 pages, 16 figures, 4 tables; accepted for publication in ApJ. Main results in Figure 7, 10 and 11

An agent-based model of behaviour change calibrated to reversal learning data

Authors: Roben Delos Reyes, Hugo Lyons Keenan, Cameron Zachreson

Abstract: Behaviour change lies at the heart of many observable collective phenomena such as the transmission and control of infectious diseases, adoption of public health policies, and migration of animals to new habitats. Representing the process of individual behaviour change in computer simulations of these phenomena remains an open challenge. Often, computational models use phenomenological implementat… ▽ More Behaviour change lies at the heart of many observable collective phenomena such as the transmission and control of infectious diseases, adoption of public health policies, and migration of animals to new habitats. Representing the process of individual behaviour change in computer simulations of these phenomena remains an open challenge. Often, computational models use phenomenological implementations with limited support from behavioural data. Without a strong connection to observable quantities, such models have limited utility for simulating observed and counterfactual scenarios of emergent phenomena because they cannot be validated or calibrated. Here, we present a simple stochastic individual-based model of reversal learning that captures fundamental properties of individual behaviour change, namely, the capacity to learn based on accumulated reward signals, and the transient persistence of learned behaviour after rewards are removed or altered. The model has only two parameters, and we use approximate Bayesian computation to demonstrate that they are fully identifiable from empirical reversal learning time series data. Finally, we demonstrate how the model can be extended to account for the increased complexity of behavioural dynamics over longer time scales involving fluctuating stimuli. This work is a step towards the development and evaluation of fully identifiable individual-level behaviour change models that can function as validated submodels for complex simulations of collective behaviour change. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 23 pages, 5 figures

VADER: Visual Affordance Detection and Error Recovery for Multi Robot Human Collaboration

Authors: Michael Ahn, Montserrat Gonzalez Arenas, Matthew Bennice, Noah Brown, Christine Chan, Byron David, Anthony Francis, Gavin Gonzalez, Rainer Hessmer, Tomas Jackson, Nikhil J Joshi, Daniel Lam, Tsang-Wei Edward Lee, Alex Luong, Sharath Maddineni, Harsh Patel, Jodilyn Peralta, Jornell Quiambao, Diego Reyes, Rosario M Jauregui Ruano, Dorsa Sadigh, Pannag Sanketi, Leila Takayama, Pavel Vodenski, Fei Xia

Abstract: Robots today can exploit the rich world knowledge of large language models to chain simple behavioral skills into long-horizon tasks. However, robots often get interrupted during long-horizon tasks due to primitive skill failures and dynamic environments. We propose VADER, a plan, execute, detect framework with seeking help as a new skill that enables robots to recover and complete long-horizon ta… ▽ More Robots today can exploit the rich world knowledge of large language models to chain simple behavioral skills into long-horizon tasks. However, robots often get interrupted during long-horizon tasks due to primitive skill failures and dynamic environments. We propose VADER, a plan, execute, detect framework with seeking help as a new skill that enables robots to recover and complete long-horizon tasks with the help of humans or other robots. VADER leverages visual question answering (VQA) modules to detect visual affordances and recognize execution errors. It then generates prompts for a language model planner (LMP) which decides when to seek help from another robot or human to recover from errors in long-horizon task execution. We show the effectiveness of VADER with two long-horizon robotic tasks. Our pilot study showed that VADER is capable of performing complex long-horizon tasks by asking for help from another robot to clear a table. Our user study showed that VADER is capable of performing complex long-horizon tasks by asking for help from a human to clear a path. We gathered feedback from people (N=19) about the performance of the VADER performance vs. a robot that did not ask for help. https://google-vader.github.io/ △ Less

Submitted 30 May, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

Comments: 9 pages, 4 figures

The SAGA Survey. V. Modeling Satellite Systems around Milky Way-mass Galaxies with Updated UniverseMachine

Authors: Yunchong Wang, Ethan O. Nadler, Yao-Yuan Mao, Risa H. Wechsler, Tom Abel, Peter Behroozi, Marla Geha, Yasmeen Asali, Mithi A. C. de los Reyes, Erin Kado-Fong, Nitya Kallivayalil, Erik J. Tollerud, Benjamin Weiner, John F. Wu

Abstract: Environment plays a critical role in shaping the assembly of low-mass galaxies. Here, we use the UniverseMachine (UM) galaxy-halo connection framework and the Data Release 3 of the Satellites Around Galactic Analogs (SAGA) Survey to place dwarf galaxy star formation and quenching into a cosmological context. UM is a data-driven forward model that flexibly parameterizes galaxy star formation rates… ▽ More Environment plays a critical role in shaping the assembly of low-mass galaxies. Here, we use the UniverseMachine (UM) galaxy-halo connection framework and the Data Release 3 of the Satellites Around Galactic Analogs (SAGA) Survey to place dwarf galaxy star formation and quenching into a cosmological context. UM is a data-driven forward model that flexibly parameterizes galaxy star formation rates (SFR) using only halo mass and assembly history. We add a new quenching model to UM, tailored for galaxies with stellar masses $\lesssim 10^9$ solar masses, and constrain the model down to a stellar mass $\gtrsim 10^7$ solar masses using new SAGA observations of 101 satellite systems around Milky Way (MW)-mass hosts and a sample of isolated field galaxies in a similar mass range from the Sloan Digital Sky Survey (SDSS). The new best-fit model, 'UM-SAGA,' reproduces the satellite stellar mass functions, average SFRs, and quenched fractions in SAGA satellites while keeping isolated dwarfs mostly star forming. The enhanced quenching in satellites relative to isolated field galaxies leads the model to maximally rely on halo assembly to explain the observed environmental quenching. Extrapolating the model down to a stellar mass $\sim 10^{6.5}$ solar masses yields a quenched fraction of $\gtrsim$ 30% for isolated field galaxies and $\gtrsim$ 80% for satellites of MW-mass hosts at this stellar mass. This specific prediction can soon be tested by spectroscopic surveys to reveal the relative importance of internal feedback, cessation of mass and gas accretion, satellite-specific gas processes, and reionization for the evolution of faint low-mass galaxies. △ Less

Submitted 29 May, 2025; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: 35 pages, 16 figures, 2 tables. UM-SAGA best-fit model and source code: https://bitbucket.org/RW-Stanford/universemachine-saga/src/main/ This paper is part of the SAGA Survey Data Release 3: https://sagasurvey.org

Journal ref: The Astrophysical Journal, Volume 976, Number 1, 119, 2024

The SAGA Survey. IV. The Star Formation Properties of 101 Satellite Systems around Milky Way-mass Galaxies

Authors: Marla Geha, Yao-Yuan Mao, Risa H. Wechsler, Yasmeen Asali, Erin Kado-Fong, Nitya Kallivayalil, Ethan O. Nadler, Erik J. Tollerud, Benjamin Weiner, Mithi A. C. de los Reyes, Yunchong Wang, John F. Wu

Abstract: We present the star-forming properties of 378 satellite galaxies around 101 Milky Way analogs in the Satellites Around Galactic Analogs (SAGA) Survey, focusing on the environmental processes that suppress or quench star formation. In the SAGA stellar mass range of 10^6 to 10^10 solar masses, we present quenched fractions, star-forming rates, gas-phase metallicities, and gas content. The fraction o… ▽ More We present the star-forming properties of 378 satellite galaxies around 101 Milky Way analogs in the Satellites Around Galactic Analogs (SAGA) Survey, focusing on the environmental processes that suppress or quench star formation. In the SAGA stellar mass range of 10^6 to 10^10 solar masses, we present quenched fractions, star-forming rates, gas-phase metallicities, and gas content. The fraction of SAGA satellites that are quenched increases with decreasing stellar mass and shows significant system-to-system scatter. SAGA satellite quenched fractions are highest in the central 100 kpc of their hosts and decline out to the virial radius. Splitting by specific star formation rate (sSFR), the least star-forming satellite quartile follows the radial trend of the quenched population. The median sSFR of star-forming satellites increases with decreasing stellar mass and is roughly constant with projected radius. Star-forming SAGA satellites are consistent with the star formation rate--stellar mass relationship determined in the Local Volume, while the median gas-phase metallicity is higher and median HI gas mass is lower at all stellar masses. We investigate the dependence of the satellite quenched fraction on host properties. Quenched fractions are higher in systems with larger host halo mass, but this trend is only seen in the inner 100 kpc; we do not see significant trends with host color or star formation rate. Our results suggest that lower mass satellites and satellites inside 100 kpc are more efficiently quenched in a Milky Way-like environment, with these processes acting sufficiently slowly to preserve a population of star-forming satellites at all stellar masses and projected radii. △ Less

Submitted 25 July, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: 25 pages, 13 figures, 2 tables. Accepted by ApJ. This paper is part of the SAGA Survey Data Release 3. Data and notebooks are available on the survey website: https://sagasurvey.org

Journal ref: Astrophysical Journal 976 (2024) 118

The SAGA Survey. III. A Census of 101 Satellite Systems around Milky Way-mass Galaxies

Authors: Yao-Yuan Mao, Marla Geha, Risa H. Wechsler, Yasmeen Asali, Yunchong Wang, Erin Kado-Fong, Nitya Kallivayalil, Ethan O. Nadler, Erik J. Tollerud, Benjamin Weiner, Mithi A. C. de los Reyes, John F. Wu

Abstract: We present Data Release 3 (DR3) of the Satellites Around Galactic Analogs (SAGA) Survey, a spectroscopic survey characterizing satellite galaxies around Milky Way (MW)-mass galaxies. The SAGA Survey DR3 includes 378 satellites identified across 101 MW-mass systems in the distance range of 25-40.75 Mpc, and an accompanying redshift catalog of background galaxies (including about 46,000 taken by SAG… ▽ More We present Data Release 3 (DR3) of the Satellites Around Galactic Analogs (SAGA) Survey, a spectroscopic survey characterizing satellite galaxies around Milky Way (MW)-mass galaxies. The SAGA Survey DR3 includes 378 satellites identified across 101 MW-mass systems in the distance range of 25-40.75 Mpc, and an accompanying redshift catalog of background galaxies (including about 46,000 taken by SAGA) in the SAGA footprint of 84.7 sq. deg. The number of confirmed satellites per system ranges from zero to 13, in the stellar mass range of 10^6 to 10^10 solar masses. Based on a detailed completeness model, this sample accounts for 94% of the true satellite population down to a stellar mass of 10^7.5 solar masses. We find that the mass of the most massive satellite in SAGA systems is the strongest predictor of satellite abundance; one-third of the SAGA systems contain LMC-mass satellites, and they tend to have more satellites than the MW. The SAGA satellite radial distribution is less concentrated than the MW's, and the SAGA quenched fraction below 10^8.5 solar masses is lower than the MW's, but in both cases, the MW is within 1 sigma of SAGA system-to-system scatter. SAGA satellites do not exhibit a clear corotating signal as has been suggested in the MW/M31 satellite systems. Although the MW differs in many respects from the typical SAGA system, these differences can be reconciled if the MW is an older, slightly less massive host with a recently accreted LMC/SMC system. △ Less

Submitted 18 November, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: 38 pages, 23 figures, 7 tables. Updated to match published version on ApJ. This paper is part of the SAGA Survey Data Release 3. Data and notebooks are available on the survey website: https://sagasurvey.org

Journal ref: Astrophysical Journal 976 (2024) 117

ALMA-IMF XIII: N$_2$H$^+$ kinematic analysis on the intermediate protocluster G353.41

Authors: R. H. Álvarez-Gutiérrez, A. M. Stutz, N. Sandoval-Garrido, F. Louvet, F. Motte, R. Galván-Madrid, N. Cunningham, P. Sanhueza, M. Bonfand, S. Bontemps, A. Gusdorf, A. Ginsburg, T. Csengeri, S. D. Reyes, J. Salinas, T. Baug, L. Bronfman, G. Busquet, D. J. Díaz-González, M. Fernandez-Lopez, A. Guzmán, A. Koley, H. -L. Liu, F. A. Olguin, M. Valeille-Manet , et al. (1 additional authors not shown)

Abstract: The ALMA-IMF Large Program provides multi-tracer observations of 15 Galactic massive protoclusters at matched sensitivity and spatial resolution. We focus on the dense gas kinematics of the G353.41 protocluster traced by N$_2$H$^+$ (1$-$0), with an spatial resolution $\sim$0.02 pc. G353.41, at a distance of $\sim$2 kpc, has a mass of $\sim$2500 M$_{\odot}$ within $1.3\times1.3$ pc$^2$. We extract… ▽ More The ALMA-IMF Large Program provides multi-tracer observations of 15 Galactic massive protoclusters at matched sensitivity and spatial resolution. We focus on the dense gas kinematics of the G353.41 protocluster traced by N$_2$H$^+$ (1$-$0), with an spatial resolution $\sim$0.02 pc. G353.41, at a distance of $\sim$2 kpc, has a mass of $\sim$2500 M$_{\odot}$ within $1.3\times1.3$ pc$^2$. We extract the N$_2$H$^+$ isolated line component and we decompose it by fitting up to 3 Gaussian velocity components. This allows us to identify velocity structures that are impossible to identify in the traditional position-velocity diagram. We identify multiple velocity gradients on large ($\sim$1 pc) and small scales ($\sim$0.2 pc). We find good agreement between the N$_2$H$^+$ velocities and the previously reported DCN core velocities, suggesting that cores are kinematically coupled to the dense gas in which they form. We measure 9 converging ``V-shaped'' velocity gradients ($\sim20$ km/s/pc), located in filaments, which are sometimes associated with cores near their point of convergence. The average inflow timescale is $\sim67$ kyr, or about twice the free-fall time of cores in the same area ($\sim33$ kyr) but substantially shorter than protostar lifetime estimates ($\sim$0.5 Myr). We derive mass accretion rates in the range of $(0.35-8.77)\,\times\,10^{-4}$ M$_{\odot}$/yr. This feeding might lead to further filament collapse and formation of new cores. We suggest that the protocluster is collapsing on large scales, but the velocity signature of collapse is slow compared to pure free-fall. These data are consistent with a comparatively slow global protocluster contraction under gravity, and faster core formation within, suggesting the formation of multiple generations of stars over the protocluster lifetime. △ Less

Submitted 13 June, 2024; v1 submitted 10 April, 2024; originally announced April 2024.

Comments: Accepted in A&A, 22 pages, 21 figures, 1 interactive figure, 4 tables

Journal ref: A&A 689, A74 (2024)

Multimodal Neurodegenerative Disease Subtyping Explained by ChatGPT

Authors: Diego Machado Reyes, Hanqing Chao, Juergen Hahn, Li Shen, Pingkun Yan

Abstract: Alzheimer's disease (AD) is the most prevalent neurodegenerative disease; yet its currently available treatments are limited to stopping disease progression. Moreover, effectiveness of these treatments is not guaranteed due to the heterogenetiy of the disease. Therefore, it is essential to be able to identify the disease subtypes at a very early stage. Current data driven approaches are able to cl… ▽ More Alzheimer's disease (AD) is the most prevalent neurodegenerative disease; yet its currently available treatments are limited to stopping disease progression. Moreover, effectiveness of these treatments is not guaranteed due to the heterogenetiy of the disease. Therefore, it is essential to be able to identify the disease subtypes at a very early stage. Current data driven approaches are able to classify the subtypes at later stages of AD or related disorders, but struggle when predicting at the asymptomatic or prodromal stage. Moreover, most existing models either lack explainability behind the classification or only use a single modality for the assessment, limiting scope of its analysis. Thus, we propose a multimodal framework that uses early-stage indicators such as imaging, genetics and clinical assessments to classify AD patients into subtypes at early stages. Similarly, we build prompts and use large language models, such as ChatGPT, to interpret the findings of our model. In our framework, we propose a tri-modal co-attention mechanism (Tri-COAT) to explicitly learn the cross-modal feature associations. Our proposed model outperforms baseline models and provides insight into key cross-modal feature associations supported by known biological mechanisms. △ Less

Submitted 31 January, 2024; originally announced February 2024.

Growth interruption strategies for interface optimization in GaAsSb/GaAsN type-II superlattices

Authors: V. Braza, T. Ben, S. Flores, D. F. Reyes, A. Gallego-Carro, L. Stanojevic, Z. Gacevic, N. Ruíz-Marín, J. M. Ulloa, D. González

Abstract: Recently, GaAsSb/GaAsN type II short-period superlattices (SLs) have been proposed as suitable structures to be implemented in the optimal design of monolithic multi-junction solar cells. However, due to strong surface Sb segregation, experimental Sb composition profiles differ greatly from the nominal square-wave design. In this work, the improvement of the interface quality of these SLs in terms… ▽ More Recently, GaAsSb/GaAsN type II short-period superlattices (SLs) have been proposed as suitable structures to be implemented in the optimal design of monolithic multi-junction solar cells. However, due to strong surface Sb segregation, experimental Sb composition profiles differ greatly from the nominal square-wave design. In this work, the improvement of the interface quality of these SLs in terms of compositional abruptness and surface roughness has been evaluated by implementing different growth interruption times under Sb4/As4 (soaking) and As4 (desorption) overpressure conditions before and after the growth of GaAsSb layers, respectively. The combined effects of both processes enhance Sb distribution, achieving squarer compositional profiles with reduced surface roughness interfaces. It has been found that the improvement in compositional abruptness is quantitatively much higher at the lower interface, during soaking, than at the upper interface during desorption. Conversely, a larger decrease in surface roughness is achieved at the upper interface than at the lower interface. Fitting of the Sb segregation profiles using the 3-layer kinetic fluid model has shown that the increase in Sb incorporation rate is due to the decrease in segregation energy, presumably to changes in the surface reconstruction of the floating layer at the surface. △ Less

Submitted 31 January, 2024; originally announced January 2024.

Comments: 7 pages, 5 figures

Journal ref: Applied Surface Science 604 (2022) 154596

Hamiltonian integrable systems in a magnetic field and Symplectic-Haantjes geometry

Authors: Ondřej Kubů, Daniel Reyes, Piergiulio Tempesta, Giorgio Tondo

Abstract: We investigate the geometry of classical Hamiltonian systems immersed in a magnetic field in three-dimensional Riemannian configuration spaces. We prove that these systems admit non-trivial symplectic-Haantjes manifolds, which are symplectic manifolds endowed with an algebra of Haantjes (1,1)-tensors. These geometric structures allow us to determine separation variables for known systems algorithm… ▽ More We investigate the geometry of classical Hamiltonian systems immersed in a magnetic field in three-dimensional Riemannian configuration spaces. We prove that these systems admit non-trivial symplectic-Haantjes manifolds, which are symplectic manifolds endowed with an algebra of Haantjes (1,1)-tensors. These geometric structures allow us to determine separation variables for known systems algorithmically; besides, the underlying Stäckel geometry is used to construct new families of integrable Hamiltonian models immersed in a magnetic field. △ Less

Submitted 17 June, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: 25 pages, no figures. Includes minor revisions enhancing clarity suggested by referees for Proceedings of Royal Society A and some additional comments

Journal ref: Proc. R. Soc. A. (2024) 480:20240076

SAGAbg I: A Near-Unity Mass Loading Factor in Low-Mass Galaxies via their Low-Redshift Evolution in Stellar Mass, Oxygen Abundance, and Star Formation Rate

Authors: Erin Kado-Fong, Marla Geha, Yao-Yuan Mao, Mithi A. C. de los Reyes, Risa H. Wechsler, Yasmeen Asali, Nitya Kallivayalil, Ethan O. Nadler, Erik J. Tollerud, Benjamin Weiner

Abstract: Measuring the relation between star formation and galactic winds is observationally difficult. In this work we make an indirect measurement of the mass loading factor (the ratio between mass outflow rate and star formation rate) in low-mass galaxies using a differential approach to modeling the low-redshift evolution of the star-forming main sequence and mass-metallicity relation. We use the SAGA… ▽ More Measuring the relation between star formation and galactic winds is observationally difficult. In this work we make an indirect measurement of the mass loading factor (the ratio between mass outflow rate and star formation rate) in low-mass galaxies using a differential approach to modeling the low-redshift evolution of the star-forming main sequence and mass-metallicity relation. We use the SAGA (Satellites Around Galactic Analogs) background galaxies, those spectra observed by the SAGA survey that are not associated with the main SAGA host galaxies, to construct a sample of 11925 spectroscopically confirmed low-mass galaxies from $0.01\lesssim z \leq 0.21$ and measure a auroral line metallicity for 120 galaxies. The crux of the method is to use the lowest redshift galaxies as the boundary condition of our model, and to infer a mass-loading factor for the sample by comparing the expected evolution of the low redshift reference sample in stellar mass, gas-phase metallicity, and star formation rate against the observed properties of the sample at higher redshift. We infer a mass-loading factor of $η_{\rm m}=0.92^{+1.76}_{-0.74}$, which is in line with direct measurements of the mass-loading factor from the literature despite the drastically different set of assumptions needed for each approach. While our estimate of the mass-loading factor is in good agreement with recent galaxy simulations that focus on resolving the dynamics of the interstellar medium, it is smaller by over an order of magnitude than the mass-loading factor produced by many contemporary cosmological simulations. △ Less

Submitted 5 March, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 37 pages, 19 figures, accepted to ApJ

On covariant and canonical Hamiltonian formalisms for gauge theories

Authors: Alejandro Corichi, Juan D. Reyes, Tatjana Vukasinac

Abstract: The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a full understanding of the relation between them is not available, specially when the gauge theories are defined over regions with boundaries. Here we consider t… ▽ More The Hamiltonian description of classical gauge theories is a very well studied subject. The two best known approaches, namely the covariant and canonical Hamiltonian formalisms have received a lot of attention in the literature. However, a full understanding of the relation between them is not available, specially when the gauge theories are defined over regions with boundaries. Here we consider this issue, by first making precise what we mean by equivalence between the two formalisms. Then we explore several first order gauge theories, and assess whether their corresponding descriptions satisfy the notion of equivalence. We shall show that, even when in several cases the two formalisms are indeed equivalent, there are counterexamples that signal that this is not always the case. Thus, non-equivalence is a generic feature for gauge field theories. These results call for a deeper understanding of the subject. △ Less

Submitted 31 January, 2024; v1 submitted 15 December, 2023; originally announced December 2023.

Comments: 21 pages, 2 figures. Typos corrected, discussion slightly improved, references added

Journal ref: Universe 2024, 10(2), 60

Unraveling emission line galaxy conformity at z~1 with DESI early data

Authors: Sihan Yuan, Risa H. Wechsler, Yunchong Wang, Mithi A. C. de los Reyes, Justin Myles, Antoine Rocher, Boryana Hadzhiyska, Jessica Nicole Aguilar, Steven Ahlen, David Brooks, Todd Claybaugh, Shaun Cole, Axel de la Macorra, Jaime E. Forero-Romero, Satya Gontcho A Gontcho, Julien Guy, Klaus Honscheid, Theodore Kisner, Michael Levi, Marc Manera, Aaron Meisner, Ramon Miquel, John Moustakas, Jundan Nie, Nathalie Palanque-Delabrouille , et al. (10 additional authors not shown)

Abstract: Emission line galaxies (ELGs) are now the preeminent tracers of large-scale structure at z>0.8 due to their high density and strong emission lines, which enable accurate redshift measurements. However, relatively little is known about ELG evolution and the ELG-halo connection, exposing us to potential modeling systematics in cosmology inference using these sources. In this paper, we propose a phys… ▽ More Emission line galaxies (ELGs) are now the preeminent tracers of large-scale structure at z>0.8 due to their high density and strong emission lines, which enable accurate redshift measurements. However, relatively little is known about ELG evolution and the ELG-halo connection, exposing us to potential modeling systematics in cosmology inference using these sources. In this paper, we propose a physical picture of ELGs and improve ELG-halo connection modeling using a variety of observations and simulated galaxy models. We investigate DESI-selected ELGs in COSMOS data, and infer that ELGs are rapidly star-forming galaxies with a large fraction exhibiting disturbed morphology, implying that many of them are likely to be merger-driven starbursts. We further postulate that the tidal interactions from mergers lead to correlated star formation in central-satellite ELG pairs, a phenomenon dubbed "conformity." We argue for the need to include conformity in the ELG-halo connection using galaxy models such as IllustrisTNG, and by combining observations such as the DESI ELG auto-correlation, ELG cross-correlation with Luminous Red Galaxies (LRGs), and ELG-cluster cross-correlation. We also explore the origin of conformity using the UniverseMachine model and elucidate the difference between conformity and the well-known galaxy assembly bias effect. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 25 pages, 20 figures, submitted to MNRAS, comments welcome

Fact-Checking of AI-Generated Reports

Authors: Razi Mahmood, Diego Machado Reyes, Ge Wang, Mannudeep Kalra, Pingkun Yan

Abstract: With advances in generative artificial intelligence (AI), it is now possible to produce realistic-looking automated reports for preliminary reads of radiology images. This can expedite clinical workflows, improve accuracy and reduce overall costs. However, it is also well-known that such models often hallucinate, leading to false findings in the generated reports. In this paper, we propose a new m… ▽ More With advances in generative artificial intelligence (AI), it is now possible to produce realistic-looking automated reports for preliminary reads of radiology images. This can expedite clinical workflows, improve accuracy and reduce overall costs. However, it is also well-known that such models often hallucinate, leading to false findings in the generated reports. In this paper, we propose a new method of fact-checking of AI-generated reports using their associated images. Specifically, the developed examiner differentiates real and fake sentences in reports by learning the association between an image and sentences describing real or potentially fake findings. To train such an examiner, we first created a new dataset of fake reports by perturbing the findings in the original ground truth radiology reports associated with images. Text encodings of real and fake sentences drawn from these reports are then paired with image encodings to learn the mapping to real/fake labels. The utility of such an examiner is demonstrated for verifying automatically generated reports by detecting and removing fake sentences. Future generative AI approaches can use the resulting tool to validate their reports leading to a more responsible use of AI in expediting clinical workflows. △ Less

Submitted 1 June, 2025; v1 submitted 27 July, 2023; originally announced July 2023.

Comments: 10 pages, 3 figures, 3 tables

Barkour: Benchmarking Animal-level Agility with Quadruped Robots

Authors: Ken Caluwaerts, Atil Iscen, J. Chase Kew, Wenhao Yu, Tingnan Zhang, Daniel Freeman, Kuang-Huei Lee, Lisa Lee, Stefano Saliceti, Vincent Zhuang, Nathan Batchelor, Steven Bohez, Federico Casarini, Jose Enrique Chen, Omar Cortes, Erwin Coumans, Adil Dostmohamed, Gabriel Dulac-Arnold, Alejandro Escontrela, Erik Frey, Roland Hafner, Deepali Jain, Bauyrjan Jyenis, Yuheng Kuang, Edward Lee , et al. (19 additional authors not shown)

Abstract: Animals have evolved various agile locomotion strategies, such as sprinting, leaping, and jumping. There is a growing interest in developing legged robots that move like their biological counterparts and show various agile skills to navigate complex environments quickly. Despite the interest, the field lacks systematic benchmarks to measure the performance of control policies and hardware in agili… ▽ More Animals have evolved various agile locomotion strategies, such as sprinting, leaping, and jumping. There is a growing interest in developing legged robots that move like their biological counterparts and show various agile skills to navigate complex environments quickly. Despite the interest, the field lacks systematic benchmarks to measure the performance of control policies and hardware in agility. We introduce the Barkour benchmark, an obstacle course to quantify agility for legged robots. Inspired by dog agility competitions, it consists of diverse obstacles and a time based scoring mechanism. This encourages researchers to develop controllers that not only move fast, but do so in a controllable and versatile way. To set strong baselines, we present two methods for tackling the benchmark. In the first approach, we train specialist locomotion skills using on-policy reinforcement learning methods and combine them with a high-level navigation controller. In the second approach, we distill the specialist skills into a Transformer-based generalist locomotion policy, named Locomotion-Transformer, that can handle various terrains and adjust the robot's gait based on the perceived environment and robot states. Using a custom-built quadruped robot, we demonstrate that our method can complete the course at half the speed of a dog. We hope that our work represents a step towards creating controllers that enable robots to reach animal-level agility. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: 17 pages, 19 figures

Partial separability and symplectic-Haantjes manifolds

Authors: Daniel Reyes, Piergiulio Tempesta, Giorgio Tondo

Abstract: A theory of partial separability for classical Hamiltonian systems is proposed in the context of Haantjes geometry. As a general result, we show that the knowledge of a non-semisimple symplectic-Haantjes manifold for a given Hamiltonian system is sufficient to construct sets of coordinates (called Darboux-Haantjes coordinates) which allow both the partial separability of the associated Hamilton-… ▽ More A theory of partial separability for classical Hamiltonian systems is proposed in the context of Haantjes geometry. As a general result, we show that the knowledge of a non-semisimple symplectic-Haantjes manifold for a given Hamiltonian system is sufficient to construct sets of coordinates (called Darboux-Haantjes coordinates) which allow both the partial separability of the associated Hamilton-Jacobi equations and the block-diagonalization of the operators of the corresponding Haantjes algebra. We also introduce a novel class of Hamiltonian systems, characterized by the existence of a generalized Stäckel matrix, which by construction are partially separable. They widely generalize the known families of partially separable Hamiltonian systems. Our systems can be described in terms of semisimple but non-maximal-rank symplectic-Haantjes manifolds. △ Less

Submitted 8 July, 2024; v1 submitted 11 May, 2023; originally announced May 2023.

Comments: 31 pages

MSC Class: 37J35; 53A45; 70H20

Journal ref: Annali di Matematica Pura e Applicata (2024), published online

Analysis of Four-Dimensional Variational Data Assimilation Problems in Low Regularity Spaces

Authors: Paula Castro, Juan Carlos De los Reyes, Ira Neitzel

Abstract: We carry out a rigorous analysis of four-dimensional variational data assimilation ($4D$-VAR) problems for linear and semilinear parabolic partial differential equations. Continuity of the state with respect to the spatial variable is required since pointwise observations of the state variable appear in the cost functional. Using maximal parabolic regularity tools, we prove this regularity for ini… ▽ More We carry out a rigorous analysis of four-dimensional variational data assimilation ($4D$-VAR) problems for linear and semilinear parabolic partial differential equations. Continuity of the state with respect to the spatial variable is required since pointwise observations of the state variable appear in the cost functional. Using maximal parabolic regularity tools, we prove this regularity for initial conditions with $L^β$-regularity guaranteed by control constraints, rather than Sobolev regularity of the controls ensured by artificial cost terms. We obtain existence of optimal controls and first order necessary optimality conditions for both the convex and nonconvex problem with spatial dimension $d=2,3$, as well as second order sufficient optimality conditions for the nonconvex problem for $d=2$. △ Less

Submitted 28 May, 2025; v1 submitted 1 March, 2023; originally announced March 2023.

MSC Class: 49J20; 49K20

The Stellar Kinematics of Void Dwarf Galaxies Using KCWI

Authors: Mithi A. C. de los Reyes, Evan N. Kirby, Zhuyun Zhuang, Charles C. Steidel, Yuguang Chen, Coral Wheeler

Abstract: Dwarf galaxies located in extremely under-dense cosmic voids are excellent test-beds for disentangling the effects of large-scale environment on galaxy formation and evolution. We present integral field spectroscopy for low-mass galaxies ($M_{\star}=10^{7}-10^{9}~M_{\odot}$) located inside (N=21) and outside (N=9) cosmic voids using the Keck Cosmic Web Imager (KCWI). Using measurements of stellar… ▽ More Dwarf galaxies located in extremely under-dense cosmic voids are excellent test-beds for disentangling the effects of large-scale environment on galaxy formation and evolution. We present integral field spectroscopy for low-mass galaxies ($M_{\star}=10^{7}-10^{9}~M_{\odot}$) located inside (N=21) and outside (N=9) cosmic voids using the Keck Cosmic Web Imager (KCWI). Using measurements of stellar line-of-sight rotational velocity $v_{\mathrm{rot}}$ and velocity dispersion $σ_{\star}$, we test the tidal stirring hypothesis, which posits that dwarf spheroidal galaxies are formed through tidal interactions with more massive host galaxies. We measure low values of $v_{\mathrm{rot}}/σ_{\star}\lesssim2$ for our sample of isolated dwarf galaxies, and we find no trend between $v_{\mathrm{rot}}/σ_{\star}$ and distance from a massive galaxy $d_{L^{\star}}$ out to $d_{L^{\star}}\sim10$ Mpc. These suggest that dwarf galaxies can become dispersion-supported "puffy" systems even in the absence of environmental effects like tidal interactions. We also find indications of an upward trend between $v_{\mathrm{rot}}/σ_{\star}$ and galaxy stellar mass, perhaps implying that stellar disk formation depends on mass rather than environment. Although some of our conclusions may be slightly modified by systematic effects, our main result still holds: that isolated low-mass galaxies may form and remain as puffy systems rather than the dynamically cold disks predicted by classical galaxy formation theory. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: 19 pages including references; submitted to ApJ. Code used for analysis and figures can be found here: https://github.com/mdlreyes/void-dwarf-analysis

Curiosity-Driven Multi-Agent Exploration with Mixed Objectives

Authors: Roben Delos Reyes, Kyunghwan Son, Jinhwan Jung, Wan Ju Kang, Yung Yi

Abstract: Intrinsic rewards have been increasingly used to mitigate the sparse reward problem in single-agent reinforcement learning. These intrinsic rewards encourage the agent to look for novel experiences, guiding the agent to explore the environment sufficiently despite the lack of extrinsic rewards. Curiosity-driven exploration is a simple yet efficient approach that quantifies this novelty as the pred… ▽ More Intrinsic rewards have been increasingly used to mitigate the sparse reward problem in single-agent reinforcement learning. These intrinsic rewards encourage the agent to look for novel experiences, guiding the agent to explore the environment sufficiently despite the lack of extrinsic rewards. Curiosity-driven exploration is a simple yet efficient approach that quantifies this novelty as the prediction error of the agent's curiosity module, an internal neural network that is trained to predict the agent's next state given its current state and action. We show here, however, that naively using this curiosity-driven approach to guide exploration in sparse reward cooperative multi-agent environments does not consistently lead to improved results. Straightforward multi-agent extensions of curiosity-driven exploration take into consideration either individual or collective novelty only and thus, they do not provide a distinct but collaborative intrinsic reward signal that is essential for learning in cooperative multi-agent tasks. In this work, we propose a curiosity-driven multi-agent exploration method that has the mixed objective of motivating the agents to explore the environment in ways that are individually and collectively novel. First, we develop a two-headed curiosity module that is trained to predict the corresponding agent's next observation in the first head and the next joint observation in the second head. Second, we design the intrinsic reward formula to be the sum of the individual and joint prediction errors of this curiosity module. We empirically show that the combination of our curiosity module architecture and intrinsic reward formulation guides multi-agent exploration more efficiently than baseline approaches, thereby providing the best performance boost to MARL algorithms in cooperative navigation environments with sparse rewards. △ Less

Submitted 28 October, 2022; originally announced October 2022.

High-Resolution Chemical Abundances of the Nyx Stream

Authors: Shuyu Wang, Lina Necib, Alexander P. Ji, Xiaowei Ou, Mariangela Lisanti, Mithi A. C. de los Reyes, Allison L. Strom, Mimi Truong

Abstract: Nyx is a nearby, prograde, and high-eccentricity stellar stream physically contained in the thick disk but with an unknown origin. Nyx could be the remnant of a disrupted dwarf galaxy, in which case the associated dark matter substructure could affect terrestrial dark matter direct detection experiments. Alternatively, Nyx could be a signature of the Milky Way's disk formation and evolution. To de… ▽ More Nyx is a nearby, prograde, and high-eccentricity stellar stream physically contained in the thick disk but with an unknown origin. Nyx could be the remnant of a disrupted dwarf galaxy, in which case the associated dark matter substructure could affect terrestrial dark matter direct detection experiments. Alternatively, Nyx could be a signature of the Milky Way's disk formation and evolution. To determine the origin of Nyx, we obtained high-resolution spectroscopy of 34 Nyx stars using Keck/HIRES and Magellan/MIKE. A differential chemical abundance analysis shows that most Nyx stars reside in a metal-rich ($\mbox{[Fe/H]} > -1$) high-$α$ component that is chemically indistinguishable from the thick disk. This rules out an originally suggested scenario that Nyx is the remnant of a single massive dwarf galaxy merger. However, we also identify five substantially more metal-poor stars ($\mbox{[Fe/H]} \sim -2.0$) that have chemical abundances similar to the metal-weak thick disk. It remains unclear how stars chemically identical to the thick disk can be on such prograde, high-eccentricity orbits. We suggest two most likely scenarios: that Nyx is the result of an early minor dwarf galaxy merger or that it is a record of the early spin-up of the Milky Way disk -- although neither perfectly reproduces the chemodynamic observations. The most likely formation scenarios suggest that future spectroscopic surveys should find Nyx-like structures outside of the Solar Neighborhood. △ Less

Submitted 23 August, 2023; v1 submitted 26 October, 2022; originally announced October 2022.

Comments: 25 pages, 6 figures, Appendix by Shuyu Wang, accepted by the Astrophysical Journal on July 29, 2023

Journal ref: ApJ 955 (2023) 2

Mathematical modelling of adjuvant-enhanced active ingredient leaf uptake of pesticides

Authors: J. Delos Reyes, T. Shardlow, M. B. Delgado-Charro, S. Webb, K. A. J. White

Abstract: The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of th… ▽ More The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of their formulation development toolbox. In this work, we develop such a model to describe uptake of pesticide spray droplets across the leaf surface. We simplify the leaf structure by identifying the outer cuticle as the main barrier to uptake; the result is a novel, hybrid model in which two well-mixed compartments are separated by a membrane in which we describe the spatio-temporal distribution of the pesticide. This leads to a boundary value partial differential equation problem coupled to a pair of ordinary differential equation systems which we solve numerically. We also simplify the pesticide formulation into two key components: the Active Ingredient which produces the desired effect of the pesticide and an Adjuvant which is present in the formulation to facilitate effective absorption of the Active Ingredient into the leaf. This approach gives rise to concentration-dependent diffusion. We take an intuitive approach to parameter estimation using a small experimental data set and subsequently demonstrate the importance of the concentration-dependent diffusion in replicating the data. Finally, we demonstrate the need for further work to identify how the physicochemical properties of pesticides affect flow into and across the leaf surface. △ Less

Submitted 20 October, 2022; originally announced October 2022.

MSC Class: 9210; 92F05

Weakly Isolated Horizons: $3+1$ decomposition and canonical formulations in self-dual variables

Authors: Alejandro Corichi, Juan D Reyes, Tatjana Vukašinac

Abstract: The notion of Isolated Horizons has played an important role in gravitational physics, being useful from the characterization of the endpoint of black hole mergers to (quantum) black hole entropy. In particular, the definition of {\it weakly} isolated horizons (WIHs) as quasilocal generalizations of event horizons is purely geometrical, and is independent of the variables used in describing the gr… ▽ More The notion of Isolated Horizons has played an important role in gravitational physics, being useful from the characterization of the endpoint of black hole mergers to (quantum) black hole entropy. In particular, the definition of {\it weakly} isolated horizons (WIHs) as quasilocal generalizations of event horizons is purely geometrical, and is independent of the variables used in describing the gravitational field. Here we consider a canonical decomposition of general relativity in terms of connection and vierbein variables starting from a first order action. Within this approach, the information about the existence of a (weakly) isolated horizon is obtained through a set of boundary conditions on an internal boundary of the spacetime region under consideration. We employ, for the self-dual action, a generalization of the Dirac algorithm for regions with boundary. While the formalism for treating gauge theories with boundaries is unambiguous, the choice of dynamical variables on the boundary is not. We explore this freedom and consider different canonical formulations for non-rotating black holes as defined by WIHs. We show that both the notion of horizon degrees of freedom and energy associated to the horizon is not unique, even when the descriptions might be self-consistent. This represents a generalization of previous work on isolated horizons both in the exploration of this freedom and in the type of horizons considered. We comment on previous results found in the literature. △ Less

Submitted 22 September, 2022; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: 33 pages, no figures. Typos corrected

Incommensurate charge density wave on multiband intermetallic systems exhibiting competing orders

Authors: Nei Lopes, Daniel Reyes, Natanael C. Costa, Mucio A. Continentino, Christopher Thomas

Abstract: The appearance of an incommensurate charge density wave vector $\textbf{Q} = (Q_x,Q_y)$ on multiband intermetallic systems presenting commensurate charge density wave (CDW) and superconductivity (SC) orders is investigated. We consider a two-band model in a square lattice, where the bands have distinct effective masses. The incommensurate CDW (inCDW) and CDW phases arise from an interband Coulomb… ▽ More The appearance of an incommensurate charge density wave vector $\textbf{Q} = (Q_x,Q_y)$ on multiband intermetallic systems presenting commensurate charge density wave (CDW) and superconductivity (SC) orders is investigated. We consider a two-band model in a square lattice, where the bands have distinct effective masses. The incommensurate CDW (inCDW) and CDW phases arise from an interband Coulomb repulsive interaction, while the SC emerges due to a local intraband attractive interaction. For simplicity, all the interactions, the order parameters and hybridization between bands are considered $\textbf{k}$-independent. The multiband systems that we are interested are intermetallic systems with a $d$-band coexisting with a large $c$-band, for which a mean-field approach has proved suitable. We obtain the eigenvalues and eigenvectors of the Hamiltonian numerically and minimize the free energy density with respect to the diverse parameters of the model by means of the Hellmann-Feynman theorem. We investigate the system in real as well as momentum space and we find an inCDW phase with wave vector $\textbf{Q} = (π, Q_y) = (Q_x, π)$. Our numerical results show that the arising of an inCDW state depends on parameters, such as the magnitude of the inCDW and CDW interactions, band filling, hybridization and the relative depth of the bands. In general, inCDW tends to emerge at low temperatures, away from half-filling. We also show that, whether the CDW ordering is commensurate or incommensurate, large values of the relative depth between bands may suppress it. We discuss how each parameter of the model affects the emergence of an inCDW phase. △ Less

Submitted 10 April, 2023; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 12 pages and 8 figures

Journal ref: Phys. Rev. B 107, 205141 (2023)

Horizons: Nuclear Astrophysics in the 2020s and Beyond

Authors: H. Schatz, A. D. Becerril Reyes, A. Best, E. F. Brown, K. Chatziioannou, K. A. Chipps, C. M. Deibel, R. Ezzeddine, D. K. Galloway, C. J. Hansen, F. Herwig, A. P. Ji, M. Lugaro, Z. Meisel, D. Norman, J. S. Read, L. F. Roberts, A. Spyrou, I. Tews, F. X. Timmes, C. Travaglio, N. Vassh, C. Abia, P. Adsley, S. Agarwal , et al. (140 additional authors not shown)

Abstract: Nuclear Astrophysics is a field at the intersection of nuclear physics and astrophysics, which seeks to understand the nuclear engines of astronomical objects and the origin of the chemical elements. This white paper summarizes progress and status of the field, the new open questions that have emerged, and the tremendous scientific opportunities that have opened up with major advances in capabilit… ▽ More Nuclear Astrophysics is a field at the intersection of nuclear physics and astrophysics, which seeks to understand the nuclear engines of astronomical objects and the origin of the chemical elements. This white paper summarizes progress and status of the field, the new open questions that have emerged, and the tremendous scientific opportunities that have opened up with major advances in capabilities across an ever growing number of disciplines and subfields that need to be integrated. We take a holistic view of the field discussing the unique challenges and opportunities in nuclear astrophysics in regards to science, diversity, education, and the interdisciplinarity and breadth of the field. Clearly nuclear astrophysics is a dynamic field with a bright future that is entering a new era of discovery opportunities. △ Less

Submitted 16 May, 2022; originally announced May 2022.

Comments: 96 pages. Submitted to Journal of Physics G

Report number: LA-UR-22-23997

Do As I Can, Not As I Say: Grounding Language in Robotic Affordances

Authors: Michael Ahn, Anthony Brohan, Noah Brown, Yevgen Chebotar, Omar Cortes, Byron David, Chelsea Finn, Chuyuan Fu, Keerthana Gopalakrishnan, Karol Hausman, Alex Herzog, Daniel Ho, Jasmine Hsu, Julian Ibarz, Brian Ichter, Alex Irpan, Eric Jang, Rosario Jauregui Ruano, Kyle Jeffrey, Sally Jesmonth, Nikhil J Joshi, Ryan Julian, Dmitry Kalashnikov, Yuheng Kuang, Kuang-Huei Lee , et al. (20 additional authors not shown)

Abstract: Large language models can encode a wealth of semantic knowledge about the world. Such knowledge could be extremely useful to robots aiming to act upon high-level, temporally extended instructions expressed in natural language. However, a significant weakness of language models is that they lack real-world experience, which makes it difficult to leverage them for decision making within a given embo… ▽ More Large language models can encode a wealth of semantic knowledge about the world. Such knowledge could be extremely useful to robots aiming to act upon high-level, temporally extended instructions expressed in natural language. However, a significant weakness of language models is that they lack real-world experience, which makes it difficult to leverage them for decision making within a given embodiment. For example, asking a language model to describe how to clean a spill might result in a reasonable narrative, but it may not be applicable to a particular agent, such as a robot, that needs to perform this task in a particular environment. We propose to provide real-world grounding by means of pretrained skills, which are used to constrain the model to propose natural language actions that are both feasible and contextually appropriate. The robot can act as the language model's "hands and eyes," while the language model supplies high-level semantic knowledge about the task. We show how low-level skills can be combined with large language models so that the language model provides high-level knowledge about the procedures for performing complex and temporally-extended instructions, while value functions associated with these skills provide the grounding necessary to connect this knowledge to a particular physical environment. We evaluate our method on a number of real-world robotic tasks, where we show the need for real-world grounding and that this approach is capable of completing long-horizon, abstract, natural language instructions on a mobile manipulator. The project's website and the video can be found at https://say-can.github.io/. △ Less

Submitted 16 August, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: See website at https://say-can.github.io/ V1. Initial Upload. V2. Added PaLM results. Added study about new capabilities (drawer manipulation, chain of thought prompting, multilingual instructions). Added an ablation study of language model size. Added an open-source version of \algname on a simulated tabletop environment. Improved readability

Optimal control of a nonsmooth PDE arising in the modeling of shear-thickening fluids

Authors: Juan Carlos De los Reyes, Paola Quiloango

Abstract: This paper focuses on the analysis of an optimal control problem governed by a nonsmooth quasilinear partial differential equation that models a stationary incompressible shear-thickening fluid. We start by studying the directional differentiability of the non-smooth term within the state equation as a prior step to demonstrate the directional differentiability of the solution operator. Thereafter… ▽ More This paper focuses on the analysis of an optimal control problem governed by a nonsmooth quasilinear partial differential equation that models a stationary incompressible shear-thickening fluid. We start by studying the directional differentiability of the non-smooth term within the state equation as a prior step to demonstrate the directional differentiability of the solution operator. Thereafter, we establish a primal first order necessary optimality condition (Bouligand (B) stationarity), which is derived from the directional differentiability of the solution operator. By using a local regularization of the nonsmooth term and carrying out an asymptotic analysis thereafter, we rigourously derive a weak stationarity system for local minima. By combining the B- and weak stationarity conditions, and using the regularity of the Lagrange multiplier, we are able to obtain a strong stationarity system that includes an inequality for the scalar product between the symmetrized gradient of the state and the Lagrange multiplier. △ Less

Submitted 5 March, 2023; v1 submitted 6 March, 2022; originally announced March 2022.

MSC Class: 49J20; 49K20; 90C46

ALMA-IMF I -- Investigating the origin of stellar masses: Introduction to the Large Program and first results

Authors: F. Motte, S. Bontemps, T. Csengeri, Y. Pouteau, F. Louvet, A. M. Stutz, N. Cunningham, A. López-Sepulcre, N. Brouillet, R. Galván-Madrid, A. Ginsburg, L. Maud, A. Men'shchikov, F. Nakamura, T. Nony, P. Sanhueza, R. H. Álvarez-Gutiérrez, M. Armante, T. Baug, M. Bonfand, G. Busquet, E. Chapillon, D. Díaz-González, M. Fernández-López, A. E. Guzmán , et al. (39 additional authors not shown)

Abstract: The ALMA-IMF Large Program imaged a total noncontiguous area of 53pc2, covering 15 extreme, nearby protoclusters of the Milky Way. They were selected to span relevant early protocluster evolutionary stages. Our 1.3mm and 3mm observations provide continuum images that are homogeneously sensitive to point-like cores with masses of 0.2 and 0.6Msun, respectively, with a matched spatial resolution of 2… ▽ More The ALMA-IMF Large Program imaged a total noncontiguous area of 53pc2, covering 15 extreme, nearby protoclusters of the Milky Way. They were selected to span relevant early protocluster evolutionary stages. Our 1.3mm and 3mm observations provide continuum images that are homogeneously sensitive to point-like cores with masses of 0.2 and 0.6Msun, respectively, with a matched spatial resolution of 2000au. We also detect lines that probe the protocluster structure, kinematics, chemistry, and feedback over scales from clouds to filaments to cores. We classify ALMA-IMF protoclusters as Young, Intermediate, or Evolved based on the amount of dense gas in the cloud that has potentially been impacted by HII regions. The ALMA-IMF catalog contains 700 cores that span a mass range of 0.15-250Msun at a typical size of 2100au. We show that this core sample has no significant distance bias and can be used to build core mass functions at similar physical scales. Significant gas motions, which we highlight here in the G353.41 region, are traced down to core scales and can be used to look for inflowing gas streamers and to quantify the impact of the possible associated core mass growth on the shape of the CMF with time. Our first analysis does not reveal any significant evolution of the matter concentration from clouds to cores or from the youngest to more evolved protoclusters, indicating that cloud dynamical evolution and stellar feedback have for the moment only had a slight effect on the structure of high-density gas in our sample. Furthermore, the first-look analysis of the line richness toward bright cores indicates that the survey encompasses several tens of hot cores, of which we highlight the most massive in the G351.77 cloud. Their homogeneous characterization can be used to constrain the emerging molecular complexity in protostars of high to intermediate masses. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Comments: 27 pages, 9 figures, accepted for publication by A&A

Journal ref: A&A 662, A8 (2022)

Bilevel Imaging Learning Problems as Mathematical Programs with Complementarity Constraints: Reformulation and Theory

Authors: Juan Carlos De los Reyes

Abstract: We investigate a family of bilevel imaging learning problems where the lower-level instance corresponds to a convex variational model involving first- and second-order nonsmooth sparsity-based regularizers. By using geometric properties of the primal-dual reformulation of the lower-level problem and introducing suitable auxiliar variables, we are able to reformulate the original bilevel problems a… ▽ More We investigate a family of bilevel imaging learning problems where the lower-level instance corresponds to a convex variational model involving first- and second-order nonsmooth sparsity-based regularizers. By using geometric properties of the primal-dual reformulation of the lower-level problem and introducing suitable auxiliar variables, we are able to reformulate the original bilevel problems as Mathematical Programs with Complementarity Constraints (MPCC). For the latter, we prove tight constraint qualification conditions (MPCC-RCPLD and partial MPCC-LICQ) and derive Mordukhovich (M-) and Strong (S-) stationarity conditions. The stationarity systems for the MPCC turn also into stationarity conditions for the original formulation. Second-order sufficient optimality conditions are derived as well, together with a local uniqueness result for stationary points. The proposed reformulation may be extended to problems in function spaces, leading to MPCC's with constraints on the gradient of the state. The MPCC reformulation also leads to the efficient use of available large-scale nonlinear programming solvers, as shown in a companion paper, where different imaging applications are studied. △ Less

Submitted 20 March, 2023; v1 submitted 5 October, 2021; originally announced October 2021.

MSC Class: 49K99; 90C33; 68U10; 68T99; 65K10

Simultaneous Constraints on the Star Formation History and Nucleosynthesis of Sculptor dSph

Authors: Mithi A. C. de los Reyes, Evan N. Kirby, Alexander P. Ji, Evan H. Nuñez

Abstract: We demonstrate that using up to seven stellar abundance ratios can place observational constraints on the star formation histories (SFHs) of Local Group dSphs, using the Sculptor dSph as a test case. We use a one-zone chemical evolution model to fit the overall abundance patterns of $α$ elements (which probe the core-collapse supernovae that occur shortly after star formation), $s$-process element… ▽ More We demonstrate that using up to seven stellar abundance ratios can place observational constraints on the star formation histories (SFHs) of Local Group dSphs, using the Sculptor dSph as a test case. We use a one-zone chemical evolution model to fit the overall abundance patterns of $α$ elements (which probe the core-collapse supernovae that occur shortly after star formation), $s$-process elements (which probe AGB nucleosynthesis at intermediate delay times), and iron-peak elements (which probe delayed Type Ia supernovae). Our best-fit model indicates that Sculptor dSph has an ancient SFH, consistent with previous estimates from deep photometry. However, we derive a total star formation duration of $\sim0.9$ Gyr, which is shorter than photometrically-derived SFHs. We explore the effect of various model assumptions on our measurement and find that modifications to these assumptions still produce relatively short SFHs of duration $\lesssim1.4$ Gyr. Our model is also able to compare sets of predicted nucleosynthetic yields for supernovae and AGB stars, and can provide insight into the nucleosynthesis of individual elements in Sculptor dSph. We find that observed [Mn/Fe] and [Ni/Fe] trends are most consistent with sub-$M_{\mathrm{Ch}}$ Type Ia supernova models, and that a combination of "prompt" (delay times similar to core-collapse supernovae) and "delayed" (minimum delay times $\gtrsim50$ Myr) $r$-process events may be required to reproduce observed [Ba/Mg] and [Eu/Mg] trends. △ Less

Submitted 24 November, 2021; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: 25 pages including appendix and references; version accepted to ApJ

Independent, Incidence Independent and Weakly Reversible Decompositions of Chemical Reaction Networks

Authors: Bryan S. Hernandez, Deza A. Amistas, Ralph John L. De la Cruz, Lauro L. Fontanil, Aurelio A. de los Reyes V, Eduardo R. Mendoza

Abstract: Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks can be considered as the most important class of reaction networks. Now, the stoichiometric subspace of a network is the linear span of the reaction vectors (i.e.… ▽ More Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks can be considered as the most important class of reaction networks. Now, the stoichiometric subspace of a network is the linear span of the reaction vectors (i.e., difference between the product and the reactant complexes). A decomposition of a CRN is independent (incidence independent) if the direct sum of the stoichiometric subspaces (incidence maps) of the subnetworks equals the stoichiometric subspace (incidence map) of the whole network. Decompositions can be used to study relationships between steady states of the whole system (induced from partitioning the reaction set of the underlying network) and those of its subsystems. In this work, we revisit our novel method of finding independent decomposition, and use it to expand applicability on (vector) components of steady states. We also explore CRNs with embedded deficiency zero independent subnetworks. In addition, we establish a method for finding incidence independent decomposition of a CRN. We determine all the forms of independent and incidence independent decompositions of a network, and provide the number of such decompositions. Lastly, for weakly reversible networks, we determine that incidence independence is a sufficient condition for weak reversibility of a decomposition, and we identify subclasses of weakly reversible networks where any independent decomposition is weakly reversible. △ Less

Submitted 23 August, 2021; v1 submitted 12 August, 2021; originally announced August 2021.

Optimality Conditions for Bilevel Imaging Learning Problems with Total Variation Regularization

Authors: Juan Carlos De los Reyes, David Villacís

Abstract: We address the problem of optimal scale-dependent parameter learning in total variation image denoising. Such problems are formulated as bilevel optimization instances with total variation denoising problems as lower-level constraints. For the bilevel problem, we are able to derive M-stationarity conditions, after characterizing the corresponding Mordukhovich generalized normal cone and verifying… ▽ More We address the problem of optimal scale-dependent parameter learning in total variation image denoising. Such problems are formulated as bilevel optimization instances with total variation denoising problems as lower-level constraints. For the bilevel problem, we are able to derive M-stationarity conditions, after characterizing the corresponding Mordukhovich generalized normal cone and verifying suitable constraint qualification conditions. We also derive B-stationarity conditions, after investigating the Lipschitz continuity and directional differentiability of the lower-level solution operator. A characterization of the Bouligand subdifferential of the solution mapping, by means of a properly defined linear system, is provided as well. Based on this characterization, we propose a two-phase non-smooth trust-region algorithm for the numerical solution of the bilevel problem and test it computationally for two particular experimental settings. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 33 pages, 9 figures, 4 tables

MSC Class: 49K99; 90C33; 68U10; 68T99; 65K10

NGC 147 Corroborates the Break in the Stellar Mass-Stellar Metallicity Relation for Galaxies

Authors: Zhuyun Zhuang, Evan N. Kirby, Nicha Leethochawalit, Mithi A. C. de los Reyes

Abstract: The stellar mass-stellar metallicity relation (MZR) is an essential approach to probe the chemical evolution of galaxies. It reflects the balance between galactic feedback and gravitational potential as a function of stellar mass. However, the current MZR of local dwarf satellite galaxies (M* <~ 10^8 Msun, measured from resolved stellar spectroscopy) may not be reconcilable with that of more massi… ▽ More The stellar mass-stellar metallicity relation (MZR) is an essential approach to probe the chemical evolution of galaxies. It reflects the balance between galactic feedback and gravitational potential as a function of stellar mass. However, the current MZR of local dwarf satellite galaxies (M* <~ 10^8 Msun, measured from resolved stellar spectroscopy) may not be reconcilable with that of more massive galaxies (M* >~ 10^9.5 Msun, measured from integrated-light spectroscopy). Such a discrepancy may result from a systematic difference between the two methods, or it may indicate a break in the MZR around 10^9 Msun. To address this question, we measured the stellar metallicity of NGC 147 from integrated light using the Palomar Cosmic Web Imager (PCWI). We compared the stellar metallicity estimates from integrated light with the measurements from resolved stellar spectroscopy and found them to be consistent within 0.1 dex. On the other hand, the high-mass MZR overpredicts the metallicity by 0.6 dex at the mass of NGC 147. Therefore, our results tentatively suggest that the discrepancy between the low-mass MZR and high-mass MZR should not be attributed to a systematic difference in techniques. Instead, real physical processes cause the transition in the MZR. In addition, we discovered a positive age gradient in the innermost region and a negative metallicity gradient from the resolved stars at larger radii, suggesting a possible outside-in formation of NGC 147. △ Less

Submitted 18 October, 2021; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 20 pages, 8 figures. Updated to match the published version in ApJ. Table 3 is available as a machine-readable table under "Other Formats."

Interplay between charge density wave and superconductivity in multi-band systems with inter-band Coulomb interaction

Authors: Nei Lopes, Daniel Reyes, Mucio A. Continentino, Christopher Thomas

Abstract: In this work we study the competition or coexistence between charge density wave (CDW) and superconductivity (SC) in a two-band model system in a square lattice. One of the bands has a net attractive interaction ($J_d$) that is responsible for SC. The model includes on-site Coulomb repulsion between quasi-particles in different bands ($U_{dc}$) and the hybridization ($V$) between them. We are inte… ▽ More In this work we study the competition or coexistence between charge density wave (CDW) and superconductivity (SC) in a two-band model system in a square lattice. One of the bands has a net attractive interaction ($J_d$) that is responsible for SC. The model includes on-site Coulomb repulsion between quasi-particles in different bands ($U_{dc}$) and the hybridization ($V$) between them. We are interested in describing inter-metallic systems with a $d$-band of moderately correlated electrons, for which a mean-field approximation is adequate, coexisting with a large $sp$-band. For simplicity, all interactions and the hybridization $V$ are considered site-independent. We obtain the eigenvalues of the Hamiltonian numerically and minimize the free energy density with respect to the relevant parameters to obtain the phase diagrams as function of $J_d$, $U_{dc}$, $V$, composition ($n_{\mathrm{tot}}$) and the relative depth of the bands ($ε_{d0}$). We consider two types of superconducting ground states coexisting with the CDW. One is a homogeneous ground state and the other is a pair density wave where the SC order parameter has the same spatial modulation of the CDW. Our results show that the CDW and SC orders compete, but depending on the parameters of the model these phases may coexist. The model reproduces most of the experimental features of high dimensionality ($d>1$) metals with competing CDW and SC states, including the existence of first and second-order phase transitions in their phase diagrams. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Comments: 11 pages and 10 figures

Journal ref: Phys. Rev. B 103, 195150 (2021)

Impact of metals on (star)dust chemistry: a laboratory astrophysics approach

Authors: Rémi Bérard, Kremena Makasheva, Karine Demyk, Aude Simon, Dianailys Nuñez Reyes, Fabrizio Mastrorocco, Hassan Sabbah, Christine Joblin

Abstract: Laboratory experiments are essential in exploring the mechanisms involved in stardust formation. One key question is how a metal is incorporated into dust for an environment rich in elements involved in stardust formation (C, H, O, Si). To address experimentally this question we have used a radiofrequency cold plasma reactor in which cyclic organosilicon dust formation is observed. Metallic (silve… ▽ More Laboratory experiments are essential in exploring the mechanisms involved in stardust formation. One key question is how a metal is incorporated into dust for an environment rich in elements involved in stardust formation (C, H, O, Si). To address experimentally this question we have used a radiofrequency cold plasma reactor in which cyclic organosilicon dust formation is observed. Metallic (silver) atoms were injected in the plasma during the dust nucleation phase to study their incorporation in the dust. The experiments show formation of silver nanoparticles (~15 nm) under conditions in which organosilicon dust of size 200 nm or less is grown. The presence of AgSiO bonds, revealed by infrared spectroscopy, suggests the presence of junctions between the metallic nanoparticles and the organosilicon dust. Even after annealing we could not conclude on the formation of silver silicates, emphasizing that most of silver is included in the metallic nanoparticles. The molecular analysis performed by laser mass spectrometry exhibits a complex chemistry leading to a variety of molecules including large hydrocarbons and organometallic species. The reactivity of silver atoms/ions with acetylene was also studied in a laser vaporization source. Key organometallic species, AgnC2Hm (n=1-3; m=0-2), were identified and their structures and energetic data computed using density functional theory. This allows us to propose that molecular Ag-C seeds promote the formation of Ag clusters but also catalyze hydrocarbon growth. Throughout the article, we show how the developed methodology can be used to characterize the incorporation of metal atoms both in the molecular and dust phases. The reported methodology is a demonstration laying down the ground for future studies on metals of astrophysical interest such as iron. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Comments: Frontiers in Astronomy and Space Sciences, in press

Journal ref: Front. Astron. Space Sci., 2021, Volume 8, Article 654879

A characterization of Continuous Logic by using quantale-valued logics

Authors: David Reyes, Pedro H. Zambrano

Abstract: In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof of a version of the Tarski-Vaught test (Proposition 4.2) and Łoś Theorem (Theorem 5.27) in our setti… ▽ More In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof of a version of the Tarski-Vaught test (Proposition 4.2) and Łoś Theorem (Theorem 5.27) in our setting. Iovino proved in [Iov01] that there is no any logic extending (equivalent logics to) Continuous Logic satisfying both Countable Tarski-Vaught chain Theorem and Compactness Theorem. Since [0, 1] satisfies all of the assumptions given above, we get new logics by dropping any of those assumptions. △ Less

Submitted 11 June, 2024; v1 submitted 11 February, 2021; originally announced February 2021.

MSC Class: 3C90; 03B60; 03C65; 03C20; 03C50; 06F07; 18B35; 03C66

Revisiting the Integrated Star Formation Law. II. Starbursts and the Combined Global Schmidt Law

Authors: Robert C. Kennicutt Jr., Mithi A. C. de los Reyes

Abstract: We compile observations of molecular gas contents and infrared-based star formation rates (SFRs) for 112 circumnuclear star forming regions, in order to re-investigate the form of the disk-averaged Schmidt surface density star formation law in starbursts. We then combine these results with total gas and SFR surface densities for 153 nearby non-starbursting disk galaxies from de los Reyes \& Kennic… ▽ More We compile observations of molecular gas contents and infrared-based star formation rates (SFRs) for 112 circumnuclear star forming regions, in order to re-investigate the form of the disk-averaged Schmidt surface density star formation law in starbursts. We then combine these results with total gas and SFR surface densities for 153 nearby non-starbursting disk galaxies from de los Reyes \& Kennicutt (2019), to investigate the properties of the combined star formation law, following Kennicutt (1998; K98). We confirm that the combined Schmidt law can be fitted with a single power law with slope $n = 1.5\pm0.05$ (including fitting method uncertainties), somewhat steeper than the value $n = 1.4\pm0.15$ found by K98. Fitting separate power laws to the non-starbursting and starburst galaxies, however, produces very different slopes ($n = 1.34\pm0.07$ and $0.98\pm0.07$, respectively), with a pronounced offset in the zeropoint ($\sim$0.6\,dex) of the starburst relation to higher SFR surface densities. This offset is seen even when a common conversion factor between CO intensity and molecular hydrogen surface density is applied, and is confirmed when disk surface densities of interstellar dust are used as proxies for gas measurements. Tests for possible systematic biases in the starburst data fail to uncover any spurious sources for such a large offset. We tentatively conclude that the global Schmidt law in galaxies, at least as it is conventionally measured, is bimodal or possibly multi-modal. Possible causes may include changes in the small-scale structure of the molecular ISM or the stellar initial mass function. A single $n \sim 1.5$ power law still remains as a credible approximation or "recipe" for analytical or numerical models of galaxy formation and evolution. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 29 pages, 14 figures, 3 tables. Accepted for publication in The Astrophysical Journal

Effect of ageing on the properties of the W-containing IRIS-TiAl alloy

Authors: Alain Couret, David Reyes, Marc Thomas, Nicolas Ratel-Ramond, Christophe Deshayes, Jean-Philippe Monchoux

Abstract: The effects of ageing at 800 $^\circ$C on the properties of the IRIS alloy (Ti$_{49.9}$Al$_{48}$W$_2$B$_{0.1}$) are studied. The initial microstructure of this alloy densified by Spark Plasma Sintering (SPS) is mainly composed of lamellar colonies which are surrounded by $γ$ grains. The evolutions of the alloy strength and creep resistance resulting from this ageing treatment are measured by the r… ▽ More The effects of ageing at 800 $^\circ$C on the properties of the IRIS alloy (Ti$_{49.9}$Al$_{48}$W$_2$B$_{0.1}$) are studied. The initial microstructure of this alloy densified by Spark Plasma Sintering (SPS) is mainly composed of lamellar colonies which are surrounded by $γ$ grains. The evolutions of the alloy strength and creep resistance resulting from this ageing treatment are measured by the related mechanical tests. The microstructural changes are investigated by scanning and transmission electron microscopies and by X-ray diffraction. The main structural evolutions consist in a shrinkage of the lamellar areas and in a precipitation of $β_0$ phase, which is accompanied by a moderate segregation of tungsten and a decrease of the $α_2$ lamellar width. However, these evolutions are relatively limited and the microstructural stability is found to result mainly from the low diffusivity of tungsten. Conversely, a moderate effect of this ageing treatment on mechanical properties, at room and high temperatures, is measured. Such experimental results are interpreted and discussed in terms of the microstructural evolutions and of the deformation mechanisms which are activated at different temperatures under various solicitations. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Journal ref: Acta Materialia, Elsevier, 2020, 199, pp.169-180

An enriched second-order method for nonconvex composite sparse optimization problems

Authors: Pedro Merino, Juan Carlos De Los Reyes

Abstract: In this paper we propose a second--order method for solving \emph{linear composite sparse optimization problems} consisting of minimizing the sum of a differentiable (possibly nonconvex function) and a nondifferentiable convex term. The composite nondifferentiable convex penalizer is given by $\ell_1$--norm of a matrix multiplied with the coefficient vector. The algorithm that we propose for the c… ▽ More In this paper we propose a second--order method for solving \emph{linear composite sparse optimization problems} consisting of minimizing the sum of a differentiable (possibly nonconvex function) and a nondifferentiable convex term. The composite nondifferentiable convex penalizer is given by $\ell_1$--norm of a matrix multiplied with the coefficient vector. The algorithm that we propose for the case of the linear composite $\ell_1$ problem relies on the three main ingredients that power the OESOM algorithm \cite{dlrlm07}: the minimum norm subgradient, a projection step and, in particular, the second--order information associated to the nondifferentiable term. By extending these devices, we obtain a full second--order method for solving composite sparse optimization problems which includes a wide range of applications. For instance, problems involving the minimization of a general class \emph{differential graph operators} can be solved with the proposed algorithm. We present several computational experiments to show the efficiency of our approach for different application examples. △ Less

Submitted 11 February, 2021; v1 submitted 3 September, 2020; originally announced September 2020.

A Computational Approach to Multistationarity in Poly-PL Kinetic Systems

Authors: Daryl M. Magpantay, Bryan S. Hernandez, Aurelio A. de los Reyes V, Eduardo R. Mendoza, Ederlina G. Nocon

Abstract: One important question that interests those who work in chemical reaction network theory (CRNT) is this: Does the system obtained from a reaction network admit a positive equilibrium and if it does, can there be more than one within a stoichiometric class? The higher deficiency algorithm (HDA) of Ji and Feinberg provided a method of determining the multistationarity capacity of a CRN with mass act… ▽ More One important question that interests those who work in chemical reaction network theory (CRNT) is this: Does the system obtained from a reaction network admit a positive equilibrium and if it does, can there be more than one within a stoichiometric class? The higher deficiency algorithm (HDA) of Ji and Feinberg provided a method of determining the multistationarity capacity of a CRN with mass action kinetics (MAK). An extension of this, called Multistationarity Algorithm (MSA), recently came into the scene tackling CRNs with power law kinetics (PLK), a kinetic system which is more general (having MAK systems as a special case). For this paper, we provide a computational approach to study the multistationarity feature of reaction networks endowed with kinetics which are non-negative linear combinations of power law functions called poly-PL kinetics (PYK). The idea is to use MSA and combine it with a transformation called STAR-MSC (i.e., $S$-invariant Termwise Addition of Reactions via Maximal Stoichiometric Coefficients) producing PLKs that are dynamically equivalent to PYKs. This leads us to being able to determinine the multistationarity capacity of a much larger class of kinetic systems. We show that if the transformed dynamically equivalent PLK system is multistationary for a stoichiometric class for a set of particular rate constants, then so is its original corresponding PYK system. Moreover, the monostationarity property of the transformed PLK system also implies the monostationarity property of the original PYK system. △ Less

Submitted 19 August, 2020; v1 submitted 12 July, 2020; originally announced July 2020.