Showing 1–50 of 344 results for author: Martínez, G

Performance of MAGIC stellar intensity interferometer and expansion to MAGIC + CTAO-LST1 stellar intensity interferometer

Authors: Alejo Cifuentes, V. A. Acciari, F. Barnes, G. Chon, E. Colombo, J. Cortina, C. Delgado, C. Díaz, M. Fiori, D. Fink, T. Hassan, I. Jiménez Martínez, I. Jorge, D. Kerszberg, E. Lyard, G. Martínez, R. Mirzoyan, M. Polo, N. Produit, J. J. Rodríguez-Vázquez, P. Saha, T. Schweizer, D. Strom, R. Walter, C. W. Wunderlich , et al. (2 additional authors not shown)

Abstract: A new generation of optical intensity interferometers are emerging in recent years taking advantage of the existing infrastructure of Imaging Atmospheric Cherenkov Telescopes (IACTs). The MAGIC SII (Stellar Intensity Interferometer) in La Palma, Spain, has been operating since its first successful measurements in 2019 and its current design allows it to operate regularly. The current setup is read… ▽ More A new generation of optical intensity interferometers are emerging in recent years taking advantage of the existing infrastructure of Imaging Atmospheric Cherenkov Telescopes (IACTs). The MAGIC SII (Stellar Intensity Interferometer) in La Palma, Spain, has been operating since its first successful measurements in 2019 and its current design allows it to operate regularly. The current setup is ready to follow up on bright optical transients, as changing from regular gamma-ray observations to SII mode can be done in a matter of minutes. A paper studying the system performance, first measurements and future upgrades has been recently published. MAGIC SII's first scientific results are the measurement of the angular size of 22 stars, 13 of which with no previous measurements in the B band. More recently the Large Sized Telescope prototype from the Cherenkov Telescope Array Observatory (CTAOLST1) has been upgraded to operate together with MAGIC as a SII, leading to its first correlation measurements at the beginning of 2024. MAGIC+CTAO-LST1 SII will be further upgraded by adding the remaining CTAOLSTs at the north site to the system (which are foreseen to be built by the end of 2025). MAGIC+CTAO-LST1 SII shows a feasible technical solution to extend SII to the whole CTAO. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: Proceedings of the SPIE

Journal ref: Volume 13095, id. 1309527 16 pp. (2024)

A chip-scale atomic beam source for non-classical light

Authors: Braden J. Larsen, Hagan Hensley, Gabriela D. Martinez, Alexander Staron, William R. McGehee, John Kitching, James K. Thompson

Abstract: Room temperature thermal atoms have proven to be a powerful resource for magnetometry, electrometry, atom-entanglement generation, and robust atomic clocks. Recent efforts have sought to realize compact and highly manufacturable atomic vapors and atomic beams for chip-scale magnetometry and atomic clocks. Here, we show that a chip-scale rubidium beam source can be integrated with a high finesse ca… ▽ More Room temperature thermal atoms have proven to be a powerful resource for magnetometry, electrometry, atom-entanglement generation, and robust atomic clocks. Recent efforts have sought to realize compact and highly manufacturable atomic vapors and atomic beams for chip-scale magnetometry and atomic clocks. Here, we show that a chip-scale rubidium beam source can be integrated with a high finesse cavity-QED system to generate non-classical light. By demonstrating the compatibility of these two technologies, we open a new path for distributed sources of non-classical light and set the stage for using cavity-QED to enhance the performance of chip-scale magnetometers and atomic clocks. △ Less

Submitted 30 May, 2025; originally announced June 2025.

Comments: Main Text with Supporting Material, 10 pages, 4 figures

Detection of the Geminga pulsar at energies down to 20 GeV with the LST-1 of CTAO

Authors: The CTAO-LST Project, :, K. Abe, S. Abe, A. Abhishek, F. Acero, A. Aguasca-Cabot, I. Agudo, C. Alispach, D. Ambrosino, F. Ambrosino, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, T. T. H. Arnesen, K. Asano, P. Aubert, A. Baktash, M. Balbo, A. Bamba, A. Baquero Larriva, U. Barres de Almeida, J. A. Barrio, L. Barrios Jiménez , et al. (309 additional authors not shown)

Abstract: Geminga is the third gamma-ray pulsar firmly detected by imaging atmospheric Cherenkov telescopes (IACTs) after the Crab and the Vela pulsars. Most of its emission is expected at tens of GeV, and, out of the planned telescopes of the upcoming Cherenkov Telescope Array Observatory (CTAO), the Large-Sized Telescopes (LSTs) are the only ones with optimised sensitivity at these energies. We aim to cha… ▽ More Geminga is the third gamma-ray pulsar firmly detected by imaging atmospheric Cherenkov telescopes (IACTs) after the Crab and the Vela pulsars. Most of its emission is expected at tens of GeV, and, out of the planned telescopes of the upcoming Cherenkov Telescope Array Observatory (CTAO), the Large-Sized Telescopes (LSTs) are the only ones with optimised sensitivity at these energies. We aim to characterise the gamma-ray pulse shape and spectrum of Geminga as observed by the first LST (hereafter LST-1) of the CTAO-North. Furthermore, this study confirms the great performance and the improved energy threshold of the telescope, as low as 10 GeV for pulsar analysis, with respect to current-generation Cherenkov telescopes. We analysed 60 hours of good-quality data taken by the LST-1 at zenith angles below 50$^\circ$. Additionally, a new Fermi-LAT analysis of 16.6 years of data was carried out to extend the spectral analysis down to 100 MeV. Lastly, a detailed study of the systematic effects was performed. We report the detection of Geminga in the energy range between 20 and 65 GeV. Of the two peaks of the phaseogram, the second one, P2, is detected with a significance of 12.2$σ$, while the first (P1) reaches a significance level of 2.6$σ$. The best-fit model for the spectrum of P2 was found to be a power law with $Γ= (4.5 \pm 0.4_{stat})^{+0.2_{sys}}_{-0.6_{sys}}$, compatible with the previous results obtained by the MAGIC. No evidence of curvature is found in the LST-1 energy range. The joint fit with Fermi data confirms a preference for a sub-exponential cut-off over a pure exponential, even though both models fail to reproduce the data above several tens of GeV. The overall results presented in this paper prove that the LST-1 is an excellent telescope for the observation of pulsars, and improved sensitivity is expected to be achieved with the full CTAO-North. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: 12 pages, 5 figures. Accepted for publication in Astronomy & Astrophysics

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE

Authors: Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy

Abstract: Incorrect handling of security-critical data formats, particularly in low-level languages, are the root cause of many security vulnerabilities. Provably correct parsing and serialization tools that target languages like C can help. Towards this end, we present PulseParse, a library of verified parser and serializer combinators for non-malleable binary formats. Specifications and proofs in PulsePar… ▽ More Incorrect handling of security-critical data formats, particularly in low-level languages, are the root cause of many security vulnerabilities. Provably correct parsing and serialization tools that target languages like C can help. Towards this end, we present PulseParse, a library of verified parser and serializer combinators for non-malleable binary formats. Specifications and proofs in PulseParse are in separation logic, offering a more abstract and compositional interface, with full support for data validation, parsing, and serialization. PulseParse also supports a class of recursive formats -- with a focus on security and handling adversarial inputs, we show how to parse such formats with only a constant amount of stack space. We use PulseParse at scale by providing the first formalization of CBOR, a recursive, binary data format standard, with growing adoption in various industrial standards. We prove that the deterministic fragment of CBOR is non-malleable and provide EverCBOR, a verified library in both C and Rust to validate, parse, and serialize CBOR objects implemented using PulseParse. Next, we provide the first formalization of CDDL, a schema definition language for CBOR. We identify well-formedness conditions on CDDL definitions that ensure that they yield unambiguous, non-malleable formats, and implement EverCDDL, a tool that checks that a CDDL definition is well-formed, and then produces verified parsers and serializers for it. To evaluate our work, we use EverCDDL to generate verified parsers and serializers for various security-critical applications. Notably, we build a formally verified implementation of COSE signing, a standard for cryptographically signed objects. We also use our toolchain to generate verified code for other standards specified in CDDL, including DICE Protection Environment, a secure boot protocol standard. △ Less

Submitted 22 May, 2025; originally announced May 2025.

A computational system to handle the orthographic layer of tajwid in contemporary Quranic Orthography

Authors: Alicia González Martínez

Abstract: Contemporary Quranic Orthography (CQO) relies on a precise system of phonetic notation that can be traced back to the early stages of Islam, when the Quran was mainly oral in nature and the first written renderings of it served as memory aids for this oral tradition. The early systems of diacritical marks created on top of the Quranic Consonantal Text (QCT) motivated the creation and further devel… ▽ More Contemporary Quranic Orthography (CQO) relies on a precise system of phonetic notation that can be traced back to the early stages of Islam, when the Quran was mainly oral in nature and the first written renderings of it served as memory aids for this oral tradition. The early systems of diacritical marks created on top of the Quranic Consonantal Text (QCT) motivated the creation and further development of a fine-grained system of phonetic notation that represented tajwid-the rules of recitation. We explored the systematicity of the rules of tajwid, as they are encountered in the Cairo Quran, using a fully and accurately encoded digital edition of the Quranic text. For this purpose, we developed a python module that can remove or add the orthographic layer of tajwid from a Quranic text in CQO. The interesting characteristic of these two sets of rules is that they address the complete Quranic text of the Cairo Quran, so they can be used as precise witnesses to study its phonetic and prosodic processes. From a computational point of view, the text of the Cairo Quran can be used as a linchpin to align and compare Quranic manuscripts, due to its richness and completeness. This will let us create a very powerful framework to work with the Arabic script, not just within an isolated text, but automatically exploring a specific textual phenomenon in other connected manuscripts. Having all the texts mapped among each other can serve as a powerful tool to study the nature of the notation systems of diacritics added to the consonantal skeleton. △ Less

Submitted 16 May, 2025; originally announced May 2025.

It's the same but not the same: Do LLMs distinguish Spanish varieties?

Authors: Marina Mayor-Rocher, Cristina Pozo, Nina Melero, Gonzalo Martínez, María Grandury, Pedro Reviriego

Abstract: In recent years, large language models (LLMs) have demonstrated a high capacity for understanding and generating text in Spanish. However, with five hundred million native speakers, Spanish is not a homogeneous language but rather one rich in diatopic variations spanning both sides of the Atlantic. For this reason, in this study, we evaluate the ability of nine language models to identify and dist… ▽ More In recent years, large language models (LLMs) have demonstrated a high capacity for understanding and generating text in Spanish. However, with five hundred million native speakers, Spanish is not a homogeneous language but rather one rich in diatopic variations spanning both sides of the Atlantic. For this reason, in this study, we evaluate the ability of nine language models to identify and distinguish the morphosyntactic and lexical peculiarities of seven varieties of Spanish (Andean, Antillean, Continental Caribbean, Chilean, Peninsular, Mexican and Central American and Rioplatense) through a multiple-choice test. The results indicate that the Peninsular Spanish variety is the best identified by all models and that, among them, GPT-4o is the only model capable of recognizing the variability of the Spanish language. -- En los últimos años, los grandes modelos de lenguaje (LLMs, por sus siglas en inglés) han demostrado una alta capacidad para comprender y generar texto en español. Sin embargo, con quinientos millones de hablantes nativos, la española no es una lengua homogénea, sino rica en variedades diatópicas que se extienden a ambos lados del Atlántico. Por todo ello, evaluamos en este trabajo la capacidad de nueve modelos de lenguaje de identificar y discernir las peculiaridades morfosintácticas y léxicas de siete variedades de español (andino, antillano, caribeño continental, chileno, español peninsular, mexicano y centroamericano y rioplatense) mediante un test de respuesta múltiple. Los resultados obtenidos indican que la variedad de español peninsular es la mejor identificada por todos los modelos y que, de entre todos, GPT-4o es el único modelo capaz de identificar la variabilidad de la lengua española. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Comments: in Spanish language

Journal ref: SEPLN, 2025

Thin-wall Single-crystal Gold Nanoelectrodes towards Advanced Chemical Probing and Imaging

Authors: Milad Sabzehparvar, Fatemeh Kiani, Germán García Martínez, Omer Can Karaman, Victor Boureau, Lucie Navratilova, Giulia Tagliabue

Abstract: Thin-wall metal ultramicro- and nanoelectrodes (UMEs/NEs), especially gold NEs, are indispensable for high-resolution electrochemical microscopy, biosensing, and fundamental research. However, their damage susceptibility and the lack of scalable fabrication methods hinder broader adoption. We present a versatile wet-chemical approach for high-throughput fabrication of thin-wall Au NEs/UMEs and mul… ▽ More Thin-wall metal ultramicro- and nanoelectrodes (UMEs/NEs), especially gold NEs, are indispensable for high-resolution electrochemical microscopy, biosensing, and fundamental research. However, their damage susceptibility and the lack of scalable fabrication methods hinder broader adoption. We present a versatile wet-chemical approach for high-throughput fabrication of thin-wall Au NEs/UMEs and multifunctional NEs with ~80% reproducibility. This method is based on a unique template-assisted 1D growth of single-crystalline Au in borosilicate nanopipettes followed by electrochemical contacting with tungsten microwires, and focused ion beam milling, ensuring precise control over NEs dimensions. Adaptable to various metals and integrable in multifunctional probes, the method facilitates batch production of high-quality NEs with standardized electrical connections. Structural and electrochemical characterization reveals a twinned single-crystalline Au core, a seamless Au/glass interface, and highly stable electrochemical performance. Notably, smaller electrodes exhibit higher current densities, enhancing chemical detection sensitivity. Specifically, we demonstrate outstanding spatial (< 200 nm) and current (< 1 pA) resolutions, low limit of detection (~11.0 μM) and high stability (7 h) in scanning photoelectrochemical microscopy (photo-SECM), by detecting photo-oxidation reaction on atomically smooth Au micro-flakes. We also demonstrate growth in double-barrel pipettes for SECM/SICM probes as well as Pt NEs. Overall, this scalable method addresses longstanding challenges in NEs, paving the way for advanced electrochemical and spectro-electrochemical microscopy, including SERS/TERS integration. With single-crystalline surfaces, these electrodes open new frontiers in catalysis, interfacial electrochemistry, biosensing, and molecular-scale investigations. △ Less

Submitted 28 April, 2025; originally announced April 2025.

A Novel Nonlinear Fertility Catastrophe Model Based on Thom's Differential Equations of Morphogenesis

Authors: Rolando Gonzales Martinez

Abstract: A novel fertility model based on Thom's nonlinear differential equations of morphogenesis is presented, utilizing a three-dimensional catastrophe surface to capture the interaction between latent non-catastrophic fertility factors and catastrophic shocks. The model incorporates key socioeconomic and environmental variables and is applicable at macro-, meso-, and micro-demographic levels, addressin… ▽ More A novel fertility model based on Thom's nonlinear differential equations of morphogenesis is presented, utilizing a three-dimensional catastrophe surface to capture the interaction between latent non-catastrophic fertility factors and catastrophic shocks. The model incorporates key socioeconomic and environmental variables and is applicable at macro-, meso-, and micro-demographic levels, addressing global fertility declines, regional population disparities, and micro-level phenomena such as teenage pregnancies. This approach enables a comprehensive analysis of reproductive health at aggregate, sub-national, and age-group-specific levels. An agent-based model for teenage pregnancy is described to illustrate how latent factors -- such as education, contraceptive use, and parental guidance -- interact with catastrophic shocks like socioeconomic deprivation, violence, and substance abuse. The bifurcation set analysis shows how minor shifts in socioeconomic conditions can lead to significant changes in fertility rates, revealing critical points in fertility transitions. By integrating Thom's morphogenesis equations with traditional fertility theory, this paper proposes a groundbreaking approach to understanding fertility dynamics, offering valuable insights for the development of public health policies that address both stable fertility patterns and abrupt demographic shifts. △ Less

Submitted 9 April, 2025; originally announced April 2025.

2D transmons with lifetimes and coherence times exceeding 1 millisecond

Authors: Matthew P. Bland, Faranak Bahrami, Jeronimo G. C. Martinez, Paal H. Prestegaard, Basil M. Smitham, Atharv Joshi, Elizabeth Hedrick, Alex Pakpour-Tabrizi, Shashwat Kumar, Apoorv Jindal, Ray D. Chang, Ambrose Yang, Guangming Cheng, Nan Yao, Robert J. Cava, Nathalie P. de Leon, Andrew A. Houck

Abstract: Materials improvements are a powerful approach to reducing loss and decoherence in superconducting qubits because such improvements can be readily translated to large scale processors. Recent work improved transmon coherence by utilizing tantalum (Ta) as a base layer and sapphire as a substrate. The losses in these devices are dominated by two-level systems (TLSs) with comparable contributions fro… ▽ More Materials improvements are a powerful approach to reducing loss and decoherence in superconducting qubits because such improvements can be readily translated to large scale processors. Recent work improved transmon coherence by utilizing tantalum (Ta) as a base layer and sapphire as a substrate. The losses in these devices are dominated by two-level systems (TLSs) with comparable contributions from both the surface and bulk dielectrics, indicating that both must be tackled to achieve major improvements in the state of the art. Here we show that replacing the substrate with high-resistivity silicon (Si) dramatically decreases the bulk substrate loss, enabling 2D transmons with time-averaged quality factors (Q) exceeding 1.5 x 10^7, reaching a maximum Q of 2.5 x 10^7, corresponding to a lifetime (T_1) of up to 1.68 ms. This low loss allows us to observe decoherence effects related to the Josephson junction, and we use improved, low-contamination junction deposition to achieve Hahn echo coherence times (T_2E) exceeding T_1. We achieve these material improvements without any modifications to the qubit architecture, allowing us to readily incorporate standard quantum control gates. We demonstrate single qubit gates with 99.994% fidelity. The Ta-on-Si platform comprises a simple material stack that can potentially be fabricated at wafer scale, and therefore can be readily translated to large-scale quantum processors. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Tracking the Hidden Forces Behind Laos' 2022 Exchange Rate Crisis and Balance of Payments Instability

Authors: Mariza Cooray, Rolando Gonzales Martinez

Abstract: This working paper uses a Dynamic Factor Model ('the model') to identify underlying factors contributing to the debt-induced economic crisis in the People's Democratic Republic of Laos ('Laos'). The analysis aims to use the latent macroeconomic insights to propose ways forward for forecasting. We focus on Laos's historic structural weaknesses to identify when a balance of payments crisis with eith… ▽ More This working paper uses a Dynamic Factor Model ('the model') to identify underlying factors contributing to the debt-induced economic crisis in the People's Democratic Republic of Laos ('Laos'). The analysis aims to use the latent macroeconomic insights to propose ways forward for forecasting. We focus on Laos's historic structural weaknesses to identify when a balance of payments crisis with either a persistent current account imbalance or rapid capital outflows would occur. By extracting latent economic factors from macroeconomic indicators, the model provides a starting point for analyzing the structural vulnerabilities leading to the value of the kip in USD terms dropping and contributing to inflation in the country. This findings of this working paper contribute to the broader literature on exchange rate instability and external sector vulnerabilities in emerging economies, offering insights on what constitutes as 'signals' as opposed to plain 'noise' from a macroeconomic forecasting standpoint. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Detection of RS Oph with LST-1 and modelling of its HE/VHE gamma-ray emission

Authors: CTA-LST Project, :, K. Abe, S. Abe, A. Abhishek, F. Acero, A. Aguasca-Cabot, I. Agudo, C. Alispach, N. Alvarez Crespo, D. Ambrosino, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, K. Asano, P. Aubert, A. Baktash, M. Balbo, A. Bamba, A. Baquero Larriva, U. Barres de Almeida, J. A. Barrio, L. Barrios Jiménez, I. Batkovic , et al. (294 additional authors not shown)

Abstract: The recurrent nova RS Ophiuchi (RS Oph) underwent a thermonuclear eruption in August 2021. In this event, RS Oph was detected by the High Energy Stereoscopic System (H.E.S.S.), the Major Atmospheric Gamma Imaging Cherenkov (MAGIC), and the first Large-Sized Telescope (LST-1) of the future Cherenkov Telescope Array Observatory (CTAO) at very-high gamma-ray energies above 100 GeV. This means that no… ▽ More The recurrent nova RS Ophiuchi (RS Oph) underwent a thermonuclear eruption in August 2021. In this event, RS Oph was detected by the High Energy Stereoscopic System (H.E.S.S.), the Major Atmospheric Gamma Imaging Cherenkov (MAGIC), and the first Large-Sized Telescope (LST-1) of the future Cherenkov Telescope Array Observatory (CTAO) at very-high gamma-ray energies above 100 GeV. This means that novae are a new class of very-high-energy (VHE) gamma-ray emitters. We report the analysis of the RS Oph observations with LST-1. We constrain the particle population that causes the observed emission in hadronic and leptonic scenarios. Additionally, we study the prospects of detecting further novae using LST-1 and the upcoming LST array of CTAO-North. We conducted target-of-opportunity observations with LST-1 from the first day of this nova event. The data were analysed in the framework of cta-lstchain and Gammapy, the official CTAO-LST reconstruction and analysis packages. One-zone hadronic and leptonic models were considered to model the gamma-ray emission of RS Oph using the spectral information from Fermi-LAT and LST-1, together with public data from the MAGIC and H.E.S.S. telescopes. RS Oph was detected at $6.6σ$ with LST-1 in the first 6.35 hours of observations following the eruption. The hadronic scenario is preferred over the leptonic scenario considering a proton energy spectrum with a power-law model with an exponential cutoff whose position increases from $(0.26\pm 0.08)$ TeV on day 1 up to $(1.6\pm 0.6)$ TeV on day 4 after the eruption. The deep sensitivity and low energy threshold of the LST-1/LST array will allow us to detect faint novae and increase their discovery rate. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Comments: 18 pages, 9 figures. Published in Astronomy & Astrophysics

Journal ref: A&A, 695 (2025) A152

Sub-resonant wideband superconducting Purcell filters

Authors: Basil M. Smitham, Jeronimo G. C. Martinez, Christie S. Chiu, Andrew A. Houck

Abstract: In superconducting quantum devices, Purcell filters protect qubit information from decaying into external lines by reducing external coupling at qubit frequencies while maintaining it at readout frequencies. Here, we introduce and demonstrate a novel Purcell filter design that places the readout resonator frequencies in a "linewidth plateau" below the filter's first resonant mode. This approach, b… ▽ More In superconducting quantum devices, Purcell filters protect qubit information from decaying into external lines by reducing external coupling at qubit frequencies while maintaining it at readout frequencies. Here, we introduce and demonstrate a novel Purcell filter design that places the readout resonator frequencies in a "linewidth plateau" below the filter's first resonant mode. This approach, based on direct admittance engineering, can simultaneously achieve strong qubit protection and nearly constant external coupling across a wide readout bandwidth, addressing the traditional tradeoff between these properties. We first present a lumped-element analysis of our filters. We then experimentally demonstrate a compact on-chip linewidth-plateau filter, coupled to four resonators across its approximately 1 GHz readout band. We compare the measured linewidths to numerical predictions, and show how the filter protects a frequency-tunable transmon qubit from external decay. We envision that our flexible design paradigm will aid in efforts to create multiplexed readout architectures for superconducting quantum circuits, with well-controlled external couplings. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 11 pages, 7 figures

Enhancing Poverty Targeting with Spatial Machine Learning: An application to Indonesia

Authors: Rolando Gonzales Martinez, Mariza Cooray

Abstract: This study leverages spatial machine learning (SML) to enhance the accuracy of Proxy Means Testing (PMT) for poverty targeting in Indonesia. Conventional PMT methodologies are prone to exclusion and inclusion errors due to their inability to account for spatial dependencies and regional heterogeneity. By integrating spatial contiguity matrices, SML models mitigate these limitations, facilitating a… ▽ More This study leverages spatial machine learning (SML) to enhance the accuracy of Proxy Means Testing (PMT) for poverty targeting in Indonesia. Conventional PMT methodologies are prone to exclusion and inclusion errors due to their inability to account for spatial dependencies and regional heterogeneity. By integrating spatial contiguity matrices, SML models mitigate these limitations, facilitating a more precise identification and comparison of geographical poverty clusters. Utilizing household survey data from the Social Welfare Integrated Data Survey (DTKS) for the periods 2016 to 2020 and 2016 to 2021, this study examines spatial patterns in income distribution and delineates poverty clusters at both provincial and district levels. Empirical findings indicate that the proposed SML approach reduces exclusion errors from 28% to 20% compared to standard machine learning models, underscoring the critical role of spatial analysis in refining machine learning-based poverty targeting. These results highlight the potential of SML to inform the design of more equitable and effective social protection policies, particularly in geographically diverse contexts. Future research can explore the applicability of spatiotemporal models and assess the generalizability of SML approaches across varying socio-economic settings. △ Less

Submitted 6 March, 2025; originally announced March 2025.

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*

Authors: Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter

Abstract: We introduce SecRef*, a secure compilation framework protecting stateful programs verified in F* against linked unverified code, with which the program dynamically shares ML-style mutable references. To ease program verification in this setting, we propose a way of tracking which references are shareable with the unverified code, and which ones are not shareable and whose contents are thus guarant… ▽ More We introduce SecRef*, a secure compilation framework protecting stateful programs verified in F* against linked unverified code, with which the program dynamically shares ML-style mutable references. To ease program verification in this setting, we propose a way of tracking which references are shareable with the unverified code, and which ones are not shareable and whose contents are thus guaranteed to be unchanged after calling into unverified code. This universal property of non-shareable references is exposed in the interface on which the verified program can rely when calling into unverified code. The remaining refinement types and pre- and post-conditions that the verified code expects from the unverified code are converted into dynamic checks about the shared references by using higher-order contracts. We prove formally in F* that this strategy ensures sound and secure interoperability with unverified code. Since SecRef* is built on top of the Monotonic State effect of F*, these proofs rely on the first monadic representation for this effect, which is a contribution of our work that can be of independent interest. Finally, we use SecRef* to build a simple cooperative multi-threading scheduler that is verified and that securely interacts with unverified threads. △ Less

Submitted 1 March, 2025; originally announced March 2025.

Comments: ICFP'25 submission

Understanding the Impact of Artificial Intelligence in Academic Writing: Metadata to the Rescue

Authors: Javier Conde, Pedro Reviriego, Joaquín Salvachúa, Gonzalo Martínez, José Alberto Hernández, Fabrizio Lombardi

Abstract: This column advocates for including artificial intelligence (AI)-specific metadata on those academic papers that are written with the help of AI in an attempt to analyze the use of such tools for disseminating research. This column advocates for including artificial intelligence (AI)-specific metadata on those academic papers that are written with the help of AI in an attempt to analyze the use of such tools for disseminating research. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Journal ref: Computer (Volume: 57, Issue: 1, January 2024)

Can ChatGPT Learn to Count Letters?

Authors: Javier Conde, Gonzalo Martínez, Pedro Reviriego, Zhen Gao, Shanshan Liu, Fabrizio Lombardi

Abstract: Large language models (LLMs) struggle on simple tasks such as counting the number of occurrences of a letter in a word. In this paper, we investigate if ChatGPT can learn to count letters and propose an efficient solution. Large language models (LLMs) struggle on simple tasks such as counting the number of occurrences of a letter in a word. In this paper, we investigate if ChatGPT can learn to count letters and propose an efficient solution. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Journal ref: Computer (Volume: 58, Issue: 3, March 2025)

Discovery and Timing of 49 Pulsars from the Arecibo 327-MHz Drift Survey

Authors: Timothy E. E. Olszanski, Evan F. Lewis, Julia S. Deneva, Maura A. McLaughlin, Kevin Stovall, Paulo C. C. Freire, Benetge B. P. Perera, Manjari Bagchi, Jose G. Martinez

Abstract: We present 18 pulsar discoveries from the AO327 pulsar survey, along with their timing solutions and those for an additional 31 AO327-discovered pulsars. Timing solutions were constructed using observations from a follow-up timing campaign taken between the periods of 2013 -- 2019 using the Arecibo Observatory's 327-MHz receiver. Aside from PSR J0916+0658, an isolated pulsar that shows evidence fo… ▽ More We present 18 pulsar discoveries from the AO327 pulsar survey, along with their timing solutions and those for an additional 31 AO327-discovered pulsars. Timing solutions were constructed using observations from a follow-up timing campaign taken between the periods of 2013 -- 2019 using the Arecibo Observatory's 327-MHz receiver. Aside from PSR J0916+0658, an isolated pulsar that shows evidence for partial recycling, the remaining discoveries are non-recycled pulsars. We present a brief census of emission features for all pulsars with the following standouts. PSR~J1942+0142 is found to exhibit the very rare phenomenon of subpulse bi-drifting and PSR~J0225+1727 has an interpulse. We also report distance estimates using the NE2001 and YMW16 Galactic electron density models, and identify at least 10 sources where either one or both models underestimate the maximum Galactic line of sight dispersion measure. △ Less

Submitted 6 February, 2025; originally announced February 2025.

Comments: 30 pages, 19 figures, submitted to ApJ

Multiple Choice Questions: Reasoning Makes Large Language Models (LLMs) More Self-Confident Even When They Are Wrong

Authors: Tairan Fu, Javier Conde, Gonzalo Martínez, María Grandury, Pedro Reviriego

Abstract: One of the most widely used methods to evaluate LLMs are Multiple Choice Question (MCQ) tests. MCQ benchmarks enable the testing of LLM knowledge on almost any topic at scale as the results can be processed automatically. To help the LLM answer, a few examples called few shots can be included in the prompt. Moreover, the LLM can be asked to answer the question directly with the selected option or… ▽ More One of the most widely used methods to evaluate LLMs are Multiple Choice Question (MCQ) tests. MCQ benchmarks enable the testing of LLM knowledge on almost any topic at scale as the results can be processed automatically. To help the LLM answer, a few examples called few shots can be included in the prompt. Moreover, the LLM can be asked to answer the question directly with the selected option or to first provide the reasoning and then the selected answer, which is known as chain of thought. In addition to checking whether the selected answer is correct, the evaluation can look at the LLM-estimated probability of its response as an indication of the confidence of the LLM in the response. In this paper, we study how the LLM confidence in its answer depends on whether the model has been asked to answer directly or to provide the reasoning before answering. The results of the evaluation of questions on a wide range of topics in seven different models show that LLMs are more confident in their answers when they provide reasoning before the answer. This occurs regardless of whether the selected answer is correct. Our hypothesis is that this behavior is due to the reasoning that modifies the probability of the selected answer, as the LLM predicts the answer based on the input question and the reasoning that supports the selection made. Therefore, LLM estimated probabilities seem to have intrinsic limitations that should be understood in order to use them in evaluation procedures. Interestingly, the same behavior has been observed in humans, for whom explaining an answer increases confidence in its correctness. △ Less

Submitted 24 January, 2025; v1 submitted 16 January, 2025; originally announced January 2025.

Martian atmospheric disturbances from orbital images and surface pressure at Jezero Crater, Mars, during Martian Year 36

Authors: A. Sánchez-Lavega, E. Larsen, T. del Río-Gaztelurrrutia, J. Hernández-Bernal, I. Ordóñez-Etxebarría, R. Hueso, B. Tanguy, M. Lemmon, M. de la Torre Juarez, G. M. Martínez, A. Munguira, J. A. Rodríguez-Manfredi, A. -M. Harri, J. Pla-García, D. Toledo, C. Newman

Abstract: We present a study of atmospheric disturbances at Jezero Crater, Mars, using ground-based measurements of surface pressure by the Perseverance rover in combination with orbital images from the Mars Express and Mars Reconnaissance Orbiter missions. The study starts at Ls $\sim$ 13.3° in MY36 (March 6th, 2021) and extends up to Ls $\sim$ 30.3° in MY37 (February 28th, 2023). We focus on the character… ▽ More We present a study of atmospheric disturbances at Jezero Crater, Mars, using ground-based measurements of surface pressure by the Perseverance rover in combination with orbital images from the Mars Express and Mars Reconnaissance Orbiter missions. The study starts at Ls $\sim$ 13.3° in MY36 (March 6th, 2021) and extends up to Ls $\sim$ 30.3° in MY37 (February 28th, 2023). We focus on the characterization of the major atmospheric phenomena at synoptic and planetary-scales. These are the thermal tides (measured up to the sixth component), long-period pressure oscillations (periods > 1 sol), the Aphelion Cloud Belt, and the occasional development of regional dust storms over Jezero. We present the seasonal evolution of the amplitudes and phases of the thermal tides and their relation with the atmospheric dust content (optical depth). Three regional dust storms and one polar storm extending over Jezero produced an increase in the diurnal and semidiurnal amplitudes but resulted in inverse responses in their phases. We show that the primary regular wave activity is due to baroclinic disturbances with periods of 2-4 sols and amplitudes $\sim$ 1-15 Pa increasing with dust content, in good agreement with theoretical predictions by model calculations. The spacecraft images show a number of arc-shaped, spiral and irregular cyclonic vortices, traced by dust and clouds at the edge of the North Polar Cap, that could be behind some of the pressure oscillations measured at Jezero. △ Less

Submitted 9 January, 2025; originally announced January 2025.

MICG-AI: A multidimensional index of child growth based on digital phenotyping with Bayesian artificial intelligence

Authors: Rolando Gonzales Martinez, Hinke Haisma

Abstract: This document proposes an algorithm for a mobile application designed to monitor multidimensional child growth through digital phenotyping. Digital phenotyping offers a unique opportunity to collect and analyze high-frequency data in real time, capturing behavioral, psychological, and physiological states of children in naturalistic settings. Traditional models of child growth primarily focus on p… ▽ More This document proposes an algorithm for a mobile application designed to monitor multidimensional child growth through digital phenotyping. Digital phenotyping offers a unique opportunity to collect and analyze high-frequency data in real time, capturing behavioral, psychological, and physiological states of children in naturalistic settings. Traditional models of child growth primarily focus on physical metrics, often overlooking multidimensional aspects such as emotional, social, and cognitive development. In this paper, we introduce a Bayesian artificial intelligence (AI) algorithm that leverages digital phenotyping to create a Multidimensional Index of Child Growth (MICG). This index integrates data from various dimensions of child development, including physical, emotional, cognitive, and environmental factors. By incorporating probabilistic modeling, the proposed algorithm dynamically updates its learning based on data collected by the mobile app used by mothers and children. The app also infers uncertainty from response times, adjusting the importance of each dimension of child growth accordingly. Our contribution applies state-of-the-art technology to track multidimensional child development, enabling families and healthcare providers to make more informed decisions in real time. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Comments: 15 pages, 0 figures

Development of a High-Resolution, High-Dynamic-Range Charge Detector for Ion Beam Monitoring

Authors: O. Adriani, E. Berti, P. Betti, J. Casaus, R. DAlessandro, S. Detti, C. Diaz, J. Marin, G. Martinez, N. Mori, L. Pacini, C. Pizzolotto, A. Tiberio, M. Scaringella, O. Starodubtsev, G. Zampa, N. Zampa

Abstract: We present an innovative charge detector with high resolution and wide dynamic range designed to fulfill the requirements of a monitoring system for a high energy ion beam. The detector prototype, constructed using Si photodiodes and a custom readout electronics, underwent extensive testing during HERD and AMS beam tests at CERN SPS facilities. Initial testing showcased the detector's exceptional… ▽ More We present an innovative charge detector with high resolution and wide dynamic range designed to fulfill the requirements of a monitoring system for a high energy ion beam. The detector prototype, constructed using Si photodiodes and a custom readout electronics, underwent extensive testing during HERD and AMS beam tests at CERN SPS facilities. Initial testing showcased the detector's exceptional performance, emphasizing both high resolution and a dynamic range capable of measuring nuclei with atomic numbers ranging from 1 to 80. The prototype's compatibility with fast, quasi real-time data analysis qualifies it as an ideal candidate for online applications. This article presents the results from the testing phase of the prototype, highlighting its capabilities and performance. Ongoing detector development, potential applications, and future developments aimed at enhancing the detector's functionality and versatility are also discussed. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: 13 pages, 9 figures

Report number: Review report: JINST_133P_1124_EDREP027771224

Stabilization of macroscopic dynamics by fine-grained disorder in many-species ecosystems

Authors: Juan Giral Martínez, Silvia de Monte, Matthieu Barbier

Abstract: A central feature of complex systems is the relevance and entanglement of different levels of description. For instance, the dynamics of ecosystems can be alternatively described in terms of large ecological processes and classes of organisms, or of individual species and their relations. Low-dimensional heuristic 'macroscopic' models that are widely used to capture ecological relationships -- and… ▽ More A central feature of complex systems is the relevance and entanglement of different levels of description. For instance, the dynamics of ecosystems can be alternatively described in terms of large ecological processes and classes of organisms, or of individual species and their relations. Low-dimensional heuristic 'macroscopic' models that are widely used to capture ecological relationships -- and commonly evidence out-of equilibrium regimes -- implicitly assume that species-level 'microscopic' heterogeneity can be neglected. Here, we address the stability of such macroscopic descriptions to the addition of disordered microscopic interactions. We find that increased heterogeneity can stabilize collective as well as species fluctuations -- contrary to the well-known destabilizing effect of disorder on fixed points. We analytically find the conditions for the existence of heterogeneity-driven equilibria, and relate their stability to a mismatch in microscopic time scales. This may shed light onto the empirical observation that many-species ecosystems often appear stable at aggregated levels despite highly diverse interactions and large fluctuations at the species level. △ Less

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

Comments: 7 pages, 5 figures

New Evidence for a Flux-independent Spectral Index of Sgr A* in the Near-infrared

Authors: Hadrien Paugnat, Tuan Do, Abhimat K. Gautam, Gregory D. Martinez, Andrea M. Ghez, Shoko Sakai, Grant C. Weldon, Matthew W. Hosek Jr., Zoë Haggard, Kelly Kosmo O'Neil, Eric E. Becklin, Gunther Witzel, Jessica R. Lu, Keith Matthews

Abstract: In this work, we measure the spectral index of Sagittarius A* (Sgr A*) between the $H$ (1.6 $μ$m) and $K^\prime$ (2.2 $μ$m) broadband filters in the near-infrared (NIR), sampling over a factor $\sim 40$ in brightness, the largest range probed to date by a factor $\sim 3$. Sgr A*-NIR is highly variable, and studying the spectral index $α$ (with $F_ν\propto ν^α$) is essential to determine the underl… ▽ More In this work, we measure the spectral index of Sagittarius A* (Sgr A*) between the $H$ (1.6 $μ$m) and $K^\prime$ (2.2 $μ$m) broadband filters in the near-infrared (NIR), sampling over a factor $\sim 40$ in brightness, the largest range probed to date by a factor $\sim 3$. Sgr A*-NIR is highly variable, and studying the spectral index $α$ (with $F_ν\propto ν^α$) is essential to determine the underlying emission mechanism. For example, variations in $α$ with flux may arise from shifts in the synchrotron cutoff frequency, changes in the distribution of electrons, or multiple concurrent emission mechanisms. We investigate potential variations of $α_{H-K^\prime}$ with flux by analyzing 7 epochs (2005 to 2022) of Keck Observatory imaging observations from the Galactic Center Orbits Initiative (GCOI). We remove the flux contribution of known sources confused with Sgr A*-NIR, which can significantly impact color at faint flux levels. We interpolate between the interleaved $H$ and $K^\prime$ observations using Multi-Output Gaussian Processes. We introduce a flexible empirical model to quantify $α$ variations and probe different scenarios. The observations are best fit by an $α_{H-K^\prime} = - 0.50 \pm 0.08 _{\rm stat} \pm 0.17_{\rm sys}$ that is constant from $\sim 1$ mJy to $\sim 40$ mJy (dereddened 2 $μ$m flux). We find no evidence for a flux-dependence of Sgr A*'s intrinsic spectral index. In particular, we rule out a model explaining NIR variability purely by shifts in the synchrotron cutoff frequency. We also constrain the presence of redder, quiescent emission from the black hole, concluding that the dereddened 2 $μ$m flux contribution must be $\leq 0.3$ mJy at 95% confidence level. △ Less

Submitted 18 November, 2024; originally announced November 2024.

Comments: Accepted for publication in The Astrophysical Journal, 42 pages, 18 figures

Classification of Adventitious Sounds Combining Cochleogram and Vision Transformers

Authors: Loredana Daria Mang, Francisco David Gonzalez Martinez, Damian Martinez Munoz, Sebastian Garcia Galan, Raquel Cortina

Abstract: Early identification of respiratory irregularities is critical for improving lung health and reducing global mortality rates. The analysis of respiratory sounds plays a significant role in characterizing the respiratory system's condition and identifying abnormalities. The main contribution of this study is to investigate the performance when the input data, represented by cochleogram, is used to… ▽ More Early identification of respiratory irregularities is critical for improving lung health and reducing global mortality rates. The analysis of respiratory sounds plays a significant role in characterizing the respiratory system's condition and identifying abnormalities. The main contribution of this study is to investigate the performance when the input data, represented by cochleogram, is used to feed the Vision Transformer architecture, since this input classifier combination is the first time it has been applied to adventitious sound classification to our knowledge. Although ViT has shown promising results in audio classification tasks by applying self attention to spectrogram patches, we extend this approach by applying the cochleogram, which captures specific spectro-temporal features of adventitious sounds. The proposed methodology is evaluated on the ICBHI dataset. We compare the classification performance of ViT with other state of the art CNN approaches using spectrogram, Mel frequency cepstral coefficients, constant Q transform, and cochleogram as input data. Our results confirm the superior classification performance combining cochleogram and ViT, highlighting the potential of ViT for reliable respiratory sound classification. This study contributes to the ongoing efforts in developing automatic intelligent techniques with the aim to significantly augment the speed and effectiveness of respiratory disease detection, thereby addressing a critical need in the medical field. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Journal ref: Sensors 2024, 24(2), 682

Bayesian algorithmic perfumery: A Hierarchical Relevance Vector Machine for the Estimation of Personalized Fragrance Preferences based on Three Sensory Layers and Jungian Personality Archetypes

Authors: Rolando Gonzales Martinez

Abstract: This study explores a Bayesian algorithmic approach to personalized fragrance recommendation by integrating hierarchical Relevance Vector Machines (RVM) and Jungian personality archetypes. The paper proposes a structured model that links individual scent preferences for top, middle, and base notes to personality traits derived from Jungian archetypes, such as the Hero, Caregiver, and Explorer, amo… ▽ More This study explores a Bayesian algorithmic approach to personalized fragrance recommendation by integrating hierarchical Relevance Vector Machines (RVM) and Jungian personality archetypes. The paper proposes a structured model that links individual scent preferences for top, middle, and base notes to personality traits derived from Jungian archetypes, such as the Hero, Caregiver, and Explorer, among others. The algorithm utilizes Bayesian updating to dynamically refine predictions as users interact with each fragrance note. This iterative process allows for the personalization of fragrance experiences based on prior data and personality assessments, leading to adaptive and interpretable recommendations. By combining psychological theory with Bayesian machine learning, this approach addresses the complexity of modeling individual preferences while capturing user-specific and population-level trends. The study highlights the potential of hierarchical Bayesian frameworks in creating customized olfactory experiences, informed by psychological and demographic factors, contributing to advancements in personalized product design and machine learning applications in sensory-based industries. △ Less

Submitted 6 November, 2024; originally announced November 2024.

Comments: 15 pages, 0 figures

Convolutional neural networks applied to differential dynamic microscopy reduces noise when quantifying heterogeneous dynamics

Authors: Gildardo Martinez, Justin Siu, Steven Dang, Dylan Gage, Emma Kao, Juan Carlos Avila, Ruilin You, Ryan McGorty

Abstract: Differential dynamic microscopy (DDM) typically relies on movies containing hundreds or thousands of frames to accurately quantify motion in soft matter systems. Using movies much shorter in duration produces noisier and less accurate results. This limits the applicability of DDM to situations where the dynamics are stationary over extended times. Here, we investigate a method to denoise the DDM p… ▽ More Differential dynamic microscopy (DDM) typically relies on movies containing hundreds or thousands of frames to accurately quantify motion in soft matter systems. Using movies much shorter in duration produces noisier and less accurate results. This limits the applicability of DDM to situations where the dynamics are stationary over extended times. Here, we investigate a method to denoise the DDM process, particularly suited to when a limited number of imaging frames are available or when dynamics are quickly evolving in time. We use a convolutional neural network encoder-decoder (CNN-ED) model to reduce the noise in the intermediate scattering function that is computed via DDM. We demonstrate this approach of combining machine learning and DDM on samples containing diffusing micron-sized colloidal particles. We quantify how the particles' diffusivities change over time as the fluid they are suspended in gels. We also quantify how the diffusivity of particles varies with position in a sample containing a viscosity gradient. These test cases demonstrate how studies of non-equilibrium dynamics and high-throughput screens could benefit from a method to denoise the outputs of DDM. △ Less

Submitted 4 November, 2024; originally announced November 2024.

Profiling Near-Surface Winds on Mars Using Attitude Data from Mars 2020 Ingenuity

Authors: Brian Jackson, Lori Fenton, Travis Brown, Asier Munguira, German Martinez, Claire Newman, Daniel Viúdez-Moreiras, Matthew Golombek, Ralph Lorenz, Mark D. Paton, Dylan Conway

Abstract: We used attitude data from the Mars Ingenuity helicopter with a simple steady-state model to estimate windspeeds and directions at altitudes of 3 meters up to 24 meters, the first time winds at such altitudes have been probed on Mars. We compared our estimates to concurrent wind data at 1.5 m height from the meteorology package MEDA onboard the Mars 2020 Perseverance rover and to predictions from… ▽ More We used attitude data from the Mars Ingenuity helicopter with a simple steady-state model to estimate windspeeds and directions at altitudes of 3 meters up to 24 meters, the first time winds at such altitudes have been probed on Mars. We compared our estimates to concurrent wind data at 1.5 m height from the meteorology package MEDA onboard the Mars 2020 Perseverance rover and to predictions from meteorological models. Wind directions inferred from the Ingenuity data agreed to within uncertainties with the directions measured by MEDA, when the latter were available, but deviated from model-predicted directions by as much as 180 deg in some cases. Also, the inferred windspeeds are often much higher than expected. For example, meteorological predictions tailored to the time and location of Ingenuity's 59th flight suggest Ingenuity should not have seen windspeeds above about 15 m/s, but we inferred speeds reaching nearly 25 m/s. By contrast, the 61st flight was at a similar time and season and showed weaker winds then the 59th flight, suggesting winds shaped by transient phenomena. For flights during which we have MEDA data to compare to, inferred windspeeds imply friction velocities exceeding 1 m/s and roughness lengths of more than 10 cm based on a boundary layer model that incorporates convective instability, which seem implausibly large. These results suggest Ingenuity was probing winds sensitive to aerodynamic conditions hundreds of meters upwind instead of the conditions very near Mars 2020, but they may also reflect a need for updated boundary layer wind models. An improved model for Ingenuity's aerodynamic response that includes the effects of transient winds may also modify our results. In any case, the work here provides a foundation for exploration of planetary boundary layers using drones and suggests important future avenues for research and development. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Comments: Accepted by PSJ

A new method of reconstructing images of gamma-ray telescopes applied to the LST-1 of CTAO

Authors: CTA-LST Project, :, K. Abe, S. Abe, A. Abhishek, F. Acero, A. Aguasca-Cabot, I. Agudo, C. Alispach, N. Alvarez Crespo, D. Ambrosino, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, K. Asano, P. Aubert, A. Baktash, M. Balbo, A. Bamba, A. Baquero Larriva, U. Barres de Almeida, J. A. Barrio, L. Barrios Jiménez, I. Batkovic , et al. (283 additional authors not shown)

Abstract: Imaging atmospheric Cherenkov telescopes (IACTs) are used to observe very high-energy photons from the ground. Gamma rays are indirectly detected through the Cherenkov light emitted by the air showers they induce. The new generation of experiments, in particular the Cherenkov Telescope Array Observatory (CTAO), sets ambitious goals for discoveries of new gamma-ray sources and precise measurements… ▽ More Imaging atmospheric Cherenkov telescopes (IACTs) are used to observe very high-energy photons from the ground. Gamma rays are indirectly detected through the Cherenkov light emitted by the air showers they induce. The new generation of experiments, in particular the Cherenkov Telescope Array Observatory (CTAO), sets ambitious goals for discoveries of new gamma-ray sources and precise measurements of the already discovered ones. To achieve these goals, both hardware and data analysis must employ cutting-edge techniques. This also applies to the LST-1, the first IACT built for the CTAO, which is currently taking data on the Canary island of La Palma. This paper introduces a new event reconstruction technique for IACT data, aiming to improve the image reconstruction quality and the discrimination between the signal and the background from misidentified hadrons and electrons. The technique models the development of the extensive air shower signal, recorded as a waveform per pixel, seen by CTAO telescopes' cameras. Model parameters are subsequently passed to random forest regressors and classifiers to extract information on the primary particle. The new reconstruction was applied to simulated data and to data from observations of the Crab Nebula performed by the LST-1. The event reconstruction method presented here shows promising performance improvements. The angular and energy resolution, and the sensitivity, are improved by 10 to 20% over most of the energy range. At low energy, improvements reach up to 22%, 47%, and 50%, respectively. A future extension of the method to stereoscopic analysis for telescope arrays will be the next important step. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Comments: Accepted in A&A

Journal ref: A&A 691, A328 (2024)

The formula for the completion time of project networks

Authors: Manuel Castejón-Limas, Gabriel Medina Martínez, Virginia Riego del Castillo, Laura Fernández-Robles

Abstract: This paper formulates the completion time $τ$ of a project network as $ τ=\|\mathbf{R} \mathbf{t} \|_\infty $ where the rows of $\mathbf{R}$ are simple paths of the network and $\mathbf{t}$ is a column vector representing the duration of the activities. Considering this product as a linear transformation leads to interesting findings on the topological relevance of both paths and activities using… ▽ More This paper formulates the completion time $τ$ of a project network as $ τ=\|\mathbf{R} \mathbf{t} \|_\infty $ where the rows of $\mathbf{R}$ are simple paths of the network and $\mathbf{t}$ is a column vector representing the duration of the activities. Considering this product as a linear transformation leads to interesting findings on the topological relevance of both paths and activities using singular value decomposition. The notion of spectral networks is introduced to condense the fundamental structure of the project network. A definition of project stress is introduced to establish a comparison index between two alternatives in terms of slack. Additionally, the Moore-Penrose inverse of $\mathbf{R}$ is presented to find the configuration of the durations of the activities resulting in a given simple path duration vector. Then, the systematic mapping review process carried out to assess our claims' novelty is reported. Finally, we reflect on the notion of relevance for paths and activities and the relationship of the incidence matrix with the proposed approach. △ Less

Submitted 14 October, 2024; originally announced October 2024.

Comments: 20 pages, 2 figures

Performance assessment of the HERD calorimeter with a photo-diode read-out system for high-energy electron beams

Authors: O. Adriani, G. Ambrosi, M. Antonelli, Y. Bai, X. Bai, T. Bao, M. Barbanera, E. Berti, P. Betti, G. Bigongiari, M. Bongi, V. Bonvicini, S. Bottai, I. Cagnoli, W. Cao, J. Casaus, D. Cerasole, Z. Chen, X. Cui, R. D'Alessandro, L. Di Venere, C. Diaz, Y. Dong, S. Detti, M. Duranti , et al. (41 additional authors not shown)

Abstract: The measurement of cosmic rays at energies exceeding 100 TeV per nucleon is crucial for enhancing the understanding of high-energy particle propagation and acceleration models in the Galaxy. HERD is a space-borne calorimetric experiment that aims to extend the current direct measurements of cosmic rays to unexplored energies. The payload is scheduled to be installed on the Chinese Space Station in… ▽ More The measurement of cosmic rays at energies exceeding 100 TeV per nucleon is crucial for enhancing the understanding of high-energy particle propagation and acceleration models in the Galaxy. HERD is a space-borne calorimetric experiment that aims to extend the current direct measurements of cosmic rays to unexplored energies. The payload is scheduled to be installed on the Chinese Space Station in 2027. The primary peculiarity of the instrument is its capability to measure particles coming from all directions, with the main detector being a deep, homogeneous, 3D calorimeter. The active elements are read out using two independent systems: one based on wavelength shifter fibers coupled to CMOS cameras, and the other based on photo-diodes read-out with custom front-end electronics. A large calorimeter prototype was tested in 2023 during an extensive beam test campaign at CERN. In this paper, the performance of the calorimeter for high-energy electron beams, as obtained from the photo-diode system data, is presented. The prototype demonstrated excellent performance, e.g., an energy resolution better than 1% for electrons at 250 GeV. A comparison between beam test data and Monte Carlo simulation data is also presented. △ Less

Submitted 4 October, 2024; originally announced October 2024.

Journal ref: JINST 20 P02015 (2025)

Global Stabilization for the BBM-KP equations on R2

Authors: F. A. Gallego, V. H. Gonzalez Martinez, J. C. Muñoz Grajales

Abstract: In this paper, we present results on the energy decay of the BBM-KP equations (I and II) posed on $\R^2$ with localized damping. This model offers an alternative to the KP equations, analogous to how the regularized long-wave equation relates to the classical Korteweg-de Vries (KdV) equation. We show that the energy associated with the Cauchy problem decays exponentially when a localized dissipati… ▽ More In this paper, we present results on the energy decay of the BBM-KP equations (I and II) posed on $\R^2$ with localized damping. This model offers an alternative to the KP equations, analogous to how the regularized long-wave equation relates to the classical Korteweg-de Vries (KdV) equation. We show that the energy associated with the Cauchy problem decays exponentially when a localized dissipative mechanism is present in a subdomain. Finally, we validate the theoretical results on the exponential stabilization of solutions to the BBM-KP equations with damping through numerical experiments using a spectral-finite difference scheme. △ Less

Submitted 18 March, 2025; v1 submitted 2 October, 2024; originally announced October 2024.

Analyzing Recursiveness in Multimodal Generative Artificial Intelligence: Stability or Divergence?

Authors: Javier Conde, Tobias Cheung, Gonzalo Martínez, Pedro Reviriego, Rik Sarkar

Abstract: One of the latest trends in generative Artificial Intelligence is tools that generate and analyze content in different modalities, such as text and images, and convert information from one to the other. From a conceptual point of view, it is interesting to study whether these modality changes incur information loss and to what extent. This is analogous to variants of the classical game telephone,… ▽ More One of the latest trends in generative Artificial Intelligence is tools that generate and analyze content in different modalities, such as text and images, and convert information from one to the other. From a conceptual point of view, it is interesting to study whether these modality changes incur information loss and to what extent. This is analogous to variants of the classical game telephone, where players alternate between describing images and creating drawings based on those descriptions leading to unexpected transformations of the original content. In the case of AI, modality changes can be applied recursively, starting from an image to extract a text that describes it; using the text to generate a second image, extracting a text that describes it, and so on. As this process is applied recursively, AI tools are generating content from one mode to use them to create content in another mode and so on. Ideally, the embeddings of all of them would remain close to those of the original content so that only small variations are observed in the generated content versus the original one. However, it may also be the case the distance to the original embeddings increases in each iteration leading to a divergence in the process and to content that is barely related to the original one. In this paper, we present the results of an empirical study on the impact of recursive modality changes using GPT-4o, a state-of-the-art AI multimodal tool, and DALL-E 3. The results show that the multimodality loop diverges from the initial image without converging to anything specific. We have observed differences depending on the type of initial image and the configuration of the models. These findings are particularly relevant due to the increasing use of these tools for content generation, reconstruction, and adaptation, and their potential implications for the content on the Internet of the future. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Using large language models to estimate features of multi-word expressions: Concreteness, valence, arousal

Authors: Gonzalo Martínez, Juan Diego Molero, Sandra González, Javier Conde, Marc Brysbaert, Pedro Reviriego

Abstract: This study investigates the potential of large language models (LLMs) to provide accurate estimates of concreteness, valence and arousal for multi-word expressions. Unlike previous artificial intelligence (AI) methods, LLMs can capture the nuanced meanings of multi-word expressions. We systematically evaluated ChatGPT-4o's ability to predict concreteness, valence and arousal. In Study 1, ChatGPT-4… ▽ More This study investigates the potential of large language models (LLMs) to provide accurate estimates of concreteness, valence and arousal for multi-word expressions. Unlike previous artificial intelligence (AI) methods, LLMs can capture the nuanced meanings of multi-word expressions. We systematically evaluated ChatGPT-4o's ability to predict concreteness, valence and arousal. In Study 1, ChatGPT-4o showed strong correlations with human concreteness ratings (r = .8) for multi-word expressions. In Study 2, these findings were repeated for valence and arousal ratings of individual words, matching or outperforming previous AI models. Study 3 extended the prevalence and arousal analysis to multi-word expressions and showed promising results despite the lack of large-scale human benchmarks. These findings highlight the potential of LLMs for generating valuable psycholinguistic data related to multiword expressions. To help researchers with stimulus selection, we provide datasets with AI norms of concreteness, valence and arousal for 126,397 English single words and 63,680 multi-word expressions △ Less

Submitted 16 August, 2024; originally announced August 2024.

Feedback boundary stabilization for the Hirota-Satsuma system with time-delay

Authors: Victor Hugo Gonzalez Martinez, Juan Ricardo Muñoz

Abstract: This work investigates the boundary stabilization problem of the Hirota-Satsuma system. In the problem under consideration, a boundary feedback law consisting of a linear combination of a damping mechanism and a time-delay term is designed. The study shows that, with time delay feedback and a smallness restriction on the size of the initial data the energy of the Hirota-Satsuma system decays expon… ▽ More This work investigates the boundary stabilization problem of the Hirota-Satsuma system. In the problem under consideration, a boundary feedback law consisting of a linear combination of a damping mechanism and a time-delay term is designed. The study shows that, with time delay feedback and a smallness restriction on the size of the initial data the energy of the Hirota-Satsuma system decays exponentially by employing two approaches: the Lyapunov method and an observability inequality combined with a contradiction argument. △ Less

Submitted 21 October, 2024; v1 submitted 28 August, 2024; originally announced August 2024.

Comments: submitted to Applied Mathematics Letters

MSC Class: 35Q53; 93D15; 93D30; 93C20

Electron-beam-induced modification of gold microparticles in an SEM

Authors: Kristina Weinel, Marc Benjamin Hahn, Axel Lubk, Wen Feng, Ignacio Gonzalez Martinez, Bernd Büchner, Leonardo Agudo Jácome

Abstract: Electron-beam-induced conversion of materials in a transmission electron microscope uses the high power density of a localized electron beam of acceleration voltages above 100 kV as an energy source to transform matter at the sub-micron scale. Here, the e-beam-induced transformation of precursor microparticles employing a low-energy e-beam with an acceleration voltage of 30 kV in a scanning electr… ▽ More Electron-beam-induced conversion of materials in a transmission electron microscope uses the high power density of a localized electron beam of acceleration voltages above 100 kV as an energy source to transform matter at the sub-micron scale. Here, the e-beam-induced transformation of precursor microparticles employing a low-energy e-beam with an acceleration voltage of 30 kV in a scanning electron microscope is developed to increase the versatility and efficiency of the technique. Under these conditions, the technique can be classified between e-beam lithography, where the e-beam is used to mill holes in or grow some different material onto a substrate, and e-beam welding, where matter can be welded together when overcoming the melting phase. Modifying gold microparticles on an amorphous SiOx substrate reveals the dominant role of inelastic electron-matter interaction and subsequent localized heating for the observed melting and vaporization of the precursor microparticles under the electron beam. Monte-Carlo scattering simulations and thermodynamic modeling further support the findings. △ Less

Submitted 5 August, 2024; originally announced August 2024.

A symmetry-based approach to species-rich ecological communities

Authors: Juan Giral Martínez

Abstract: Disordered systems theory provides powerful tools to analyze the generic behaviors of highdimensional systems, such as species-rich ecological communities or neural networks. By assuming randomness in their interactions, universality ensures that many microscopic details are irrelevant to system-wide dynamics; but the choice of a random ensemble still limits the generality of results. We show here… ▽ More Disordered systems theory provides powerful tools to analyze the generic behaviors of highdimensional systems, such as species-rich ecological communities or neural networks. By assuming randomness in their interactions, universality ensures that many microscopic details are irrelevant to system-wide dynamics; but the choice of a random ensemble still limits the generality of results. We show here, in the context of ecological dynamics, that these analytical tools do not require a specific choice of ensemble, and that solutions can be found based only on a fundamental rotational symmetry in the interactions, encoding the idea that traits can be recombined into new species without altering global features. Dynamical outcomes then depend on the spectrum of the interaction matrix as a free parameter, allowing us to bridge between results found in different models of interactions, and extend beyond them to previously unidentified behaviors. The distinctive feature of ecological models is the possibility of species extinctions, which leads to an increased universality of dynamics as the fraction of extinct species increases. We expect that these findings can inform new developments in theoretical ecology as well as for other families of complex systems. △ Less

Submitted 19 March, 2025; v1 submitted 18 July, 2024; originally announced July 2024.

Comments: 12 pages, 3 figures

Recursive InPainting (RIP): how much information is lost under recursive inferences?

Authors: Javier Conde, Miguel González, Gonzalo Martínez, Fernando Moral, Elena Merino-Gómez, Pedro Reviriego

Abstract: The rapid adoption of generative artificial intelligence (AI) is accelerating content creation and modification. For example, variations of a given content, be it text or images, can be created almost instantly and at a low cost. This will soon lead to the majority of text and images being created directly by AI models or by humans assisted by AI. This poses new risks; for example, AI-generated co… ▽ More The rapid adoption of generative artificial intelligence (AI) is accelerating content creation and modification. For example, variations of a given content, be it text or images, can be created almost instantly and at a low cost. This will soon lead to the majority of text and images being created directly by AI models or by humans assisted by AI. This poses new risks; for example, AI-generated content may be used to train newer AI models and degrade their performance, or information may be lost in the transformations made by AI which could occur when the same content is processed over and over again by AI tools. An example of AI image modifications is inpainting in which an AI model completes missing fragments of an image. The incorporation of inpainting tools into photo editing programs promotes their adoption and encourages their recursive use to modify images. Inpainting can be applied recursively, starting from an image, removing some parts, applying inpainting to reconstruct the image, revising it, and then starting the inpainting process again on the reconstructed image, etc. This paper presents an empirical evaluation of recursive inpainting when using one of the most widely used image models: Stable Diffusion. The inpainting process is applied by randomly selecting a fragment of the image, reconstructing it, selecting another fragment, and repeating the process a predefined number of iterations. The images used in the experiments are taken from a publicly available art data set and correspond to different styles and historical periods. Additionally, photographs are also evaluated as a reference. The modified images are compared with the original ones by both using quantitative metrics and performing a qualitative analysis. The results show that recursive inpainting in some cases modifies the image so that it still resembles the original one while in others leads to degeneration. △ Less

Submitted 25 May, 2025; v1 submitted 27 June, 2024; originally announced July 2024.

Comments: AI & Soc (2025)

General Relativistic effects and the NIR variability of Sgr A* II: A systematic approach to temporal asymmetry

Authors: Sebastiano D. von Fellenberg, Gunther Witzel, Michi Bauboeck, Hui-Hsuan Chung, Nicola Marchili, Greg Martinez, Matteo Sadun-Bordoni, Guillaume Bourdarot, Tuan Do, Antonia Drescher, Giovanni Fazio, Frank Eisenhauer, Reinhard Genzel, Stefan Gillessen, Joseph L. Hora, Felix Mang, Thomas Ott, Howard A. Smith, Eduardo Ros, Diogo C. Ribeiro, Felix Widmann, S. P. Willner, J. Anton Zensus

Abstract: A systematic study, based on the third-moment structure function, of Sgr A*'s variability finds an exponential rise time $τ_{1,\rm{obs}}=14.8^{+0.4}_{-1.5}~\mathrm{minutes}$ and decay time $τ_{2,\rm{obs}}=13.1^{+1.3}_{-1.4}~\mathrm{minutes}$. This symmetry of the flux-density variability is consistent with earlier work, and we interpret it as caused by the dominance of Doppler boosting, as opposed… ▽ More A systematic study, based on the third-moment structure function, of Sgr A*'s variability finds an exponential rise time $τ_{1,\rm{obs}}=14.8^{+0.4}_{-1.5}~\mathrm{minutes}$ and decay time $τ_{2,\rm{obs}}=13.1^{+1.3}_{-1.4}~\mathrm{minutes}$. This symmetry of the flux-density variability is consistent with earlier work, and we interpret it as caused by the dominance of Doppler boosting, as opposed to gravitational lensing, in Sgr~A*'s light curve. A relativistic, semi-physical model of Sgr~A* confirms an inclination angle $i<45$ degrees. The model also shows that the emission of the intrinsic radiative process can have some asymmetry even though the observed emission does not. The third-moment structure function, which is a measure of the skewness of the light-curve increments, may be a useful summary statistic in other contexts of astronomy because it senses only temporal asymmetry, i.e., it averages to zero for any temporally symmetric signal. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: Accepted for publication in A&A letters

Journal ref: A&A 688, L12 (2024)

A detailed study of the very-high-energy Crab pulsar emission with the LST-1

Authors: CTA-LST Project, :, K. Abe, S. Abe, A. Abhishek, F. Acero, A. Aguasca-Cabot, I. Agudo, N. Alvarez Crespo, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, M. Artero, K. Asano, P. Aubert, A. Baktash, A. Bamba, A. Baquero Larriva, L. Baroncelli, U. Barres de Almeida, J. A. Barrio, I. Batkovic, J. Baxter, J. Becerra González , et al. (272 additional authors not shown)

Abstract: Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov… ▽ More Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov Telescope Array Observatory (CTAO). Its improved performance over previous IACTs makes it well suited for studying pulsars. Aims: To study the Crab pulsar emission with the LST-1, improving and complementing the results from other telescopes. These observations can also be used to characterize the potential of the LST-1 to study other pulsars and detect new ones. Methods: We analyzed a total of $\sim$103 hours of gamma-ray observations of the Crab pulsar conducted with the LST-1 in the period from September 2020 to January 2023. The observations were carried out at zenith angles less than 50 degrees. A new analysis of the Fermi-LAT data was also performed, including $\sim$14 years of observations. Results: The Crab pulsar phaseogram, long-term light-curve, and phase-resolved spectra are reconstructed with the LST-1 from 20 GeV to 450 GeV for P1 and up to 700 GeV for P2. The pulsed emission is detected with a significance of 15.2$σ$. The two characteristic emission peaks of the Crab pulsar are clearly detected (>10$σ$), as well as the so-called bridge emission (5.7$σ$). We find that both peaks are well described by power laws, with spectral indices of $\sim$3.44 and $\sim$3.03 respectively. The joint analysis of Fermi-LAT and LST-1 data shows a good agreement between both instruments in the overlapping energy range. The detailed results obtained in the first observations of the Crab pulsar with LST-1 show the potential that CTAO will have to study this type of sources. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: Accepted by A&A

Count-Min sketches for Telemetry: analysis of performance in P4 implementations

Authors: José A. Hernández, Davide Scano, Filippo Cugini, Gonzalo Martínez, Natalia Koneva, Alvaro Sánchez-Macián, Óscar González de Dios

Abstract: Monitoring streams of packets at 100~Gb/s and beyond requires using compact and efficient hashing-techniques like HyperLogLog (HLL) or Count-Min Sketch (CMS). In this work, we evaluate the uses and applications of Count-Min Sketch for Metro Networks employing P4-based packet-optical nodes. We provide dimensioning rules for CMS at 100~Gb/s and 400~Gb/s and evaluate its performance in a real impleme… ▽ More Monitoring streams of packets at 100~Gb/s and beyond requires using compact and efficient hashing-techniques like HyperLogLog (HLL) or Count-Min Sketch (CMS). In this work, we evaluate the uses and applications of Count-Min Sketch for Metro Networks employing P4-based packet-optical nodes. We provide dimensioning rules for CMS at 100~Gb/s and 400~Gb/s and evaluate its performance in a real implementation testbed. △ Less

Submitted 21 June, 2024; v1 submitted 18 June, 2024; originally announced June 2024.

Journal ref: The 28th International Conference on Optical Network Design and Modelling (ONDM 2024)

Using graph neural networks to reconstruct charged pion showers in the CMS High Granularity Calorimeter

Authors: M. Aamir, G. Adamov, T. Adams, C. Adloff, S. Afanasiev, C. Agrawal, C. Agrawal, A. Ahmad, H. A. Ahmed, S. Akbar, N. Akchurin, B. Akgul, B. Akgun, R. O. Akpinar, E. Aktas, A. Al Kadhim, V. Alexakhin, J. Alimena, J. Alison, A. Alpana, W. Alshehri, P. Alvarez Dominguez, M. Alyari, C. Amendola, R. B. Amir , et al. (550 additional authors not shown)

Abstract: A novel method to reconstruct the energy of hadronic showers in the CMS High Granularity Calorimeter (HGCAL) is presented. The HGCAL is a sampling calorimeter with very fine transverse and longitudinal granularity. The active media are silicon sensors and scintillator tiles readout by SiPMs and the absorbers are a combination of lead and Cu/CuW in the electromagnetic section, and steel in the hadr… ▽ More A novel method to reconstruct the energy of hadronic showers in the CMS High Granularity Calorimeter (HGCAL) is presented. The HGCAL is a sampling calorimeter with very fine transverse and longitudinal granularity. The active media are silicon sensors and scintillator tiles readout by SiPMs and the absorbers are a combination of lead and Cu/CuW in the electromagnetic section, and steel in the hadronic section. The shower reconstruction method is based on graph neural networks and it makes use of a dynamic reduction network architecture. It is shown that the algorithm is able to capture and mitigate the main effects that normally hinder the reconstruction of hadronic showers using classical reconstruction methods, by compensating for fluctuations in the multiplicity, energy, and spatial distributions of the shower's constituents. The performance of the algorithm is evaluated using test beam data collected in 2018 prototype of the CMS HGCAL accompanied by a section of the CALICE AHCAL prototype. The capability of the method to mitigate the impact of energy leakage from the calorimeter is also demonstrated. △ Less

Submitted 18 December, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Journal ref: JINST 19 (2024) P11025

On complexity of colloid cellular automata

Authors: Andrew Adamatzky, Nic Roberts, Raphael Fortulan, Noushin Raeisi Kheirabadi, Panagiotis Mougkogiannis, Michail-Antisthenis Tsompanas, Genaro J. Martinez, Georgios Ch. Sirakoulis, Alessandro Chiolerio

Abstract: The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from the colloids. We analyse the space-time complexity of Boolean circuits derived from the electrical responses of colloids: ZnO (zinc oxide, an inorganic compound also known as calamine or zinc white, which naturally occurs as the mineral zincite), proteinoids (microsphe… ▽ More The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from the colloids. We analyse the space-time complexity of Boolean circuits derived from the electrical responses of colloids: ZnO (zinc oxide, an inorganic compound also known as calamine or zinc white, which naturally occurs as the mineral zincite), proteinoids (microspheres and crystals of thermal abiotic proteins), and combinations thereof to electrical stimulation. To extract Boolean circuits from colloids, we send all possible configurations of two-, four-, and eight-bit binary strings, encoded as electrical potential values, to the colloids, record their responses, and thereby infer the Boolean functions they implement. We map the discovered functions onto the cell-state transition rules of cellular automata (arrays of binary state machines that update their states synchronously according to the same rule) -- the colloid cellular automata. We then analyse the phenomenology of the space-time configurations of the automata and evaluate their complexity using measures such as compressibility, Shannon entropy, Simpson diversity, and expressivity. A hierarchy of phenomenological and measurable space-time complexity is constructed. △ Less

Submitted 31 May, 2024; originally announced June 2024.

Orbital and Atmospheric Characterization of the 1RXS J034231.8+121622 System Using High-Resolution Spectroscopy Confirms That The Companion is a Low-Mass Star

Authors: Clarissa R. Do Ó, Ben Sappey, Quinn M. Konopacky, Jean-Baptiste Ruffio, Kelly K. O'Neil, Tuan Do, Gregory Martinez, Travis S. Barman, Jayke S. Nguyen, Jerry W. Xuan, Christopher A. Theissen, Sarah Blunt, William Thompson, Chih-Chun Hsu, Ashley Baker, Randall Bartos, Geoffrey A. Blake, Benjamin Calvin, Sylvain Cetre, Jacques-Robert Delorme, Greg Doppmann, Daniel Echeverri, Luke Finnerty, Michael P. Fitzgerald, Julie Inglis , et al. (11 additional authors not shown)

Abstract: The 1RXS J034231.8+121622 system consists of an M dwarf primary and a directly imaged low-mass stellar companion. We use high resolution spectroscopic data from Keck/KPIC to estimate the objects' atmospheric parameters and radial velocities (RVs). Using PHOENIX stellar models, we find that the primary has a temperature of 3460 $\pm$ 50 K a metallicity of 0.16 $\pm$ 0.04, while the secondary has a… ▽ More The 1RXS J034231.8+121622 system consists of an M dwarf primary and a directly imaged low-mass stellar companion. We use high resolution spectroscopic data from Keck/KPIC to estimate the objects' atmospheric parameters and radial velocities (RVs). Using PHOENIX stellar models, we find that the primary has a temperature of 3460 $\pm$ 50 K a metallicity of 0.16 $\pm$ 0.04, while the secondary has a temperature of 2510 $\pm$ 50 K and a metallicity of $0.13\substack{+0.12 \\ -0.11}$. Recent work suggests this system is associated with the Hyades, placing it an older age than previous estimates. Both metallicities agree with current $[Fe/H]$ Hyades measurements (0.11 -- 0.21). Using stellar evolutionary models, we obtain significantly higher masses for the objects, of 0.30 $\pm$ 0.15 $M_\odot$ and 0.08 $\pm$ 0.01 $M_\odot$ (84 $\pm$ 11 $M_{Jup}$) respectively. Using the RVs and a new astrometry point from Keck/NIRC2, we find that the system is likely an edge-on, moderately eccentric ($0.41\substack{+0.27 \\ -0.08}$) configuration. We also estimate the C/O ratio of both objects using custom grid models, obtaining 0.42 $\pm$ 0.10 (primary) and 0.55 $\pm$ 0.10 (companion). From these results, we confirm that this system most likely went through a binary star formation process in the Hyades. The significant changes in this system's parameters since its discovery highlight the importance of high resolution spectroscopy for both orbital and atmospheric characterization of directly imaged companions. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 30 pages, 18 figures, accepted for publication in AJ

Open Conversational LLMs do not know most Spanish words

Authors: Javier Conde, Miguel González, Nina Melero, Raquel Ferrando, Gonzalo Martínez, Elena Merino-Gómez, José Alberto Hernández, Pedro Reviriego

Abstract: The growing interest in Large Language Models (LLMs) and in particular in conversational models with which users can interact has led to the development of a large number of open-source chat LLMs. These models are evaluated on a wide range of benchmarks to assess their capabilities in answering questions or solving problems on almost any possible topic or to test their ability to reason or interpr… ▽ More The growing interest in Large Language Models (LLMs) and in particular in conversational models with which users can interact has led to the development of a large number of open-source chat LLMs. These models are evaluated on a wide range of benchmarks to assess their capabilities in answering questions or solving problems on almost any possible topic or to test their ability to reason or interpret texts. Instead, the evaluation of the knowledge that these models have of the languages has received much less attention. For example, the words that they can recognize and use in different languages. In this paper, we evaluate the knowledge that open-source chat LLMs have of Spanish words by testing a sample of words in a reference dictionary. The results show that open-source chat LLMs produce incorrect meanings for an important fraction of the words and are not able to use most of the words correctly to write sentences with context. These results show how Spanish is left behind in the open-source LLM race and highlight the need to push for linguistic fairness in conversational LLMs ensuring that they provide similar performance across languages. △ Less

Submitted 24 September, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: Procesamiento del Lenguaje Natural, 73, 95-108

Journal ref: Procesamiento del Lenguaje Natural, n. 73, 2024. http://journal.sepln.org/sepln/ojs/ojs/index.php/pln/article/view/6603

Dark Matter Line Searches with the Cherenkov Telescope Array

Authors: S. Abe, J. Abhir, A. Abhishek, F. Acero, A. Acharyya, R. Adam, A. Aguasca-Cabot, I. Agudo, A. Aguirre-Santaella, J. Alfaro, R. Alfaro, N. Alvarez-Crespo, R. Alves Batista, J. -P. Amans, E. Amato, G. Ambrosi, L. Angel, C. Aramo, C. Arcaro, T. T. H. Arnesen, L. Arrabito, K. Asano, Y. Ascasibar, J. Aschersleben, H. Ashkar , et al. (540 additional authors not shown)

Abstract: Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of sele… ▽ More Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of selected dwarf spheroidal galaxies. We find that current limits and detection prospects for dark matter masses above 300 GeV will be significantly improved, by up to an order of magnitude in the multi-TeV range. This demonstrates that CTA will set a new standard for gamma-ray astronomy also in this respect, as the world's largest and most sensitive high-energy gamma-ray observatory, in particular due to its exquisite energy resolution at TeV energies and the adopted observational strategy focussing on regions with large dark matter densities. Throughout our analysis, we use up-to-date instrument response functions, and we thoroughly model the effect of instrumental systematic uncertainties in our statistical treatment. We further present results for other potential signatures with sharp spectral features, e.g.~box-shaped spectra, that would likewise very clearly point to a particle dark matter origin. △ Less

Submitted 23 July, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

Comments: 44 pages JCAP style (excluding author list and references), 19 figures; minor changes to match published version

Journal ref: JCAP 07 (2024) 047

Beware of Words: Evaluating the Lexical Diversity of Conversational LLMs using ChatGPT as Case Study

Authors: Gonzalo Martínez, José Alberto Hernández, Javier Conde, Pedro Reviriego, Elena Merino

Abstract: The performance of conversational Large Language Models (LLMs) in general, and of ChatGPT in particular, is currently being evaluated on many different tasks, from logical reasoning or maths to answering questions on a myriad of topics. Instead, much less attention is being devoted to the study of the linguistic features of the texts generated by these LLMs. This is surprising since LLMs are model… ▽ More The performance of conversational Large Language Models (LLMs) in general, and of ChatGPT in particular, is currently being evaluated on many different tasks, from logical reasoning or maths to answering questions on a myriad of topics. Instead, much less attention is being devoted to the study of the linguistic features of the texts generated by these LLMs. This is surprising since LLMs are models for language, and understanding how they use the language is important. Indeed, conversational LLMs are poised to have a significant impact on the evolution of languages as they may eventually dominate the creation of new text. This means that for example, if conversational LLMs do not use a word it may become less and less frequent and eventually stop being used altogether. Therefore, evaluating the linguistic features of the text they produce and how those depend on the model parameters is the first step toward understanding the potential impact of conversational LLMs on the evolution of languages. In this paper, we consider the evaluation of the lexical richness of the text generated by LLMs and how it depends on the model parameters. A methodology is presented and used to conduct a comprehensive evaluation of lexical richness using ChatGPT as a case study. The results show how lexical richness depends on the version of ChatGPT and some of its parameters, such as the presence penalty, or on the role assigned to the model. The dataset and tools used in our analysis are released under open licenses with the goal of drawing the much-needed attention to the evaluation of the linguistic features of LLM-generated text. △ Less

Submitted 21 October, 2024; v1 submitted 11 February, 2024; originally announced February 2024.

Journal ref: ACM Transactions on Intelligent Systems and Technology, 2024

Mars 2020 Perseverance rover studies of the Martian atmosphere over Jezero from pressure measurements

Authors: A. Sánchez-Lavega, T. del Rio-Gaztelurrutia, R. Hueso, M. de la Torre Juárez, G. M. Martínez, A. -M. Harri, M. Genzer, M. Hieta, J. Polkko, J. A. Rodríguez-Manfredi, M. T. Lemmon, J. Pla-García, D. Toledo, A. Vicente-Retortillo, Daniel Viúdez-Moreiras, A. Munguira, L. K. Tamppari, C. Newman, J. Gómez-Elvira, S. Guzewich, T. Bertrand, V. Apéstigue, I. Arruego, M. Wolff, D. Banfield , et al. (2 additional authors not shown)

Abstract: The pressure sensors on Mars rover Perseverance measure the pressure field in the Jezero crater on regular hourly basis starting in sol 15 after landing. The present study extends up to sol 460 encompassing the range of solar longitudes from Ls 13° - 241° (Martian Year (MY) 36). The data show the changing daily pressure cycle, the sol-to-sol seasonal evolution of the mean pressure field driven by… ▽ More The pressure sensors on Mars rover Perseverance measure the pressure field in the Jezero crater on regular hourly basis starting in sol 15 after landing. The present study extends up to sol 460 encompassing the range of solar longitudes from Ls 13° - 241° (Martian Year (MY) 36). The data show the changing daily pressure cycle, the sol-to-sol seasonal evolution of the mean pressure field driven by the CO2 sublimation and deposition cycle at the poles, the characterization of up to six components of the atmospheric tides and their relationship to dust content in the atmosphere. They also show the presence of wave disturbances with periods 2-5 sols, exploring their baroclinic nature, short period oscillations (mainly at night-time) in the range 8-24 minutes that we interpret as internal gravity waves, transient pressure drops with duration 1-150 s produced by vortices, and rapid turbulent fluctuations. We also analyze the effects on pressure measurements produced by a regional dust storm over Jezero at Ls 155°. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Journal ref: Journal of Geophysical Research: Planets, 128, e2022JE007480 (2023)

Multiple Protein Profiler 1.0 (MPP): A webserver for predicting and visualizing physiochemical properties of proteins at the proteome level

Authors: Gustavo Sganzerla Martinez, Mansi Dutt, Anuj Kumar, David J Kelvin

Abstract: Determining the physicochemical properties of a protein can reveal important insights in their structure, biological functions, stability, and interactions with other molecules. Although tools for computing properties of proteins already existed, we could not find a comprehensive tool that enables the calculations of multiple properties for multiple input proteins on the proteome level at once. Fa… ▽ More Determining the physicochemical properties of a protein can reveal important insights in their structure, biological functions, stability, and interactions with other molecules. Although tools for computing properties of proteins already existed, we could not find a comprehensive tool that enables the calculations of multiple properties for multiple input proteins on the proteome level at once. Facing this limitation, we have developed Multiple Protein Profiler (MPP) 1.0 as an integrated tool that allows the profiling of 12 individual properties of multiple proteins in a significant manner. MPP provides a tabular and graphic visualization of properties of multiple proteins. The tool is freely accessible at https://mproteinprofiler.microbiologyandimmunology.dal.ca/ △ Less

Submitted 17 November, 2023; originally announced December 2023.

Agile, User-Centered Design and Quality in Software Processes for Mobile Application Development Teaching

Authors: Manuel Ignacio Castillo López, Ana Libia Eslava Cervantes, Gustavo de la Cruz Martínez, Jorge Luis Ortega Arjona

Abstract: Agile methods in undergraduate courses have been explored in an effort to close the gap between industry and professional profiles. We have structured an Android application development course based on a tailored user-centered Agile process for development of educational digital tools. This process is based on Scrum and Extreme Programming in combination with User Experience (UX) approaches. The c… ▽ More Agile methods in undergraduate courses have been explored in an effort to close the gap between industry and professional profiles. We have structured an Android application development course based on a tailored user-centered Agile process for development of educational digital tools. This process is based on Scrum and Extreme Programming in combination with User Experience (UX) approaches. The course is executed in two phases: the first half of the semester presents theory on Agile and mobile applications development, the latter half is managed as a workshop where students develop for an actual client. The introduction of UX and user-centered design exploiting the close relationship with stakeholders expected from Agile processes allows for different quality features development. Since 2019 two of the projects have been extended and one project has been developed with the described process and course alumni. Students and stakeholders have found value in the generated products and process. △ Less

Submitted 25 September, 2023; originally announced November 2023.

Comments: 17 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:2308.07494

Journal ref: International Journal of Software Engineering & Applications (2023), vol. 15, no. 5, pages 1-17

Establishing Vocabulary Tests as a Benchmark for Evaluating Large Language Models

Authors: Gonzalo Martínez, Javier Conde, Elena Merino-Gómez, Beatriz Bermúdez-Margaretto, José Alberto Hernández, Pedro Reviriego, Marc Brysbaert

Abstract: Vocabulary tests, once a cornerstone of language modeling evaluation, have been largely overlooked in the current landscape of Large Language Models (LLMs) like Llama, Mistral, and GPT. While most LLM evaluation benchmarks focus on specific tasks or domain-specific knowledge, they often neglect the fundamental linguistic aspects of language understanding and production. In this paper, we advocate… ▽ More Vocabulary tests, once a cornerstone of language modeling evaluation, have been largely overlooked in the current landscape of Large Language Models (LLMs) like Llama, Mistral, and GPT. While most LLM evaluation benchmarks focus on specific tasks or domain-specific knowledge, they often neglect the fundamental linguistic aspects of language understanding and production. In this paper, we advocate for the revival of vocabulary tests as a valuable tool for assessing LLM performance. We evaluate seven LLMs using two vocabulary test formats across two languages and uncover surprising gaps in their lexical knowledge. These findings shed light on the intricacies of LLM word representations, their learning mechanisms, and performance variations across models and languages. Moreover, the ability to automatically generate and perform vocabulary tests offers new opportunities to expand the approach and provide a more complete picture of LLMs' language skills. △ Less

Submitted 29 January, 2024; v1 submitted 23 October, 2023; originally announced October 2023.