Showing 1–50 of 726 results for author: Pérez, J

When LLMs Play the Telephone Game: Cumulative Changes and Attractors in Iterated Cultural Transmissions

Authors: Jérémy Perez, Corentin Léger, Grgur Kovač, Cédric Colas, Gaia Molinaro, Maxime Derex, Pierre-Yves Oudeyer, Clément Moulin-Frier

Abstract: As large language models (LLMs) start interacting with each other and generating an increasing amount of text online, it becomes crucial to better understand how information is transformed as it passes from one LLM to the next. While significant research has examined individual LLM behaviors, existing studies have largely overlooked the collective behaviors and information distortions arising from… ▽ More As large language models (LLMs) start interacting with each other and generating an increasing amount of text online, it becomes crucial to better understand how information is transformed as it passes from one LLM to the next. While significant research has examined individual LLM behaviors, existing studies have largely overlooked the collective behaviors and information distortions arising from iterated LLM interactions. Small biases, negligible at the single output level, risk being amplified in iterated interactions, potentially leading the content to evolve towards attractor states. In a series of telephone game experiments, we apply a transmission chain design borrowed from the human cultural evolution literature: LLM agents iteratively receive, produce, and transmit texts from the previous to the next agent in the chain. By tracking the evolution of text toxicity, positivity, difficulty, and length across transmission chains, we uncover the existence of biases and attractors, and study their dependence on the initial text, the instructions, language model, and model size. For instance, we find that more open-ended instructions lead to stronger attraction effects compared to more constrained tasks. We also find that different text properties display different sensitivity to attraction effects, with toxicity leading to stronger attractors than length. These findings highlight the importance of accounting for multi-step transmission dynamics and represent a first step towards a more comprehensive understanding of LLM cultural dynamics. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: Code available at https://github.com/jeremyperez2/TelephoneGameLLM. Companion website with a Data Explorer tool at https://sites.google.com/view/telephone-game-llm

MSC Class: 68T50 ACM Class: I.2.7

Linking microscopic structure to optical properties in soft plasmonic complexes

Authors: Francesco Brasili, Angela Capocefalo, Giovanni Del Monte, Rodrigo Rivas-Barbosa, Javier Pérez, Edouard Chauveau, Federico Bordi, Domenico Truzzolillo, Emanuela Zaccarelli, Simona Sennato

Abstract: The complexation of plasmonic nanoparticles (NPs) and thermoresponsive microgels is widely exploited for applications. Yet, a microscopic description of the mechanisms governing spatial organization of the NPs is still lacking. Combining small angle X-ray scattering, state-of-the-art numerical simulations and a simple toy model, we uncover how the volume phase transition of microgels drives NP-NP… ▽ More The complexation of plasmonic nanoparticles (NPs) and thermoresponsive microgels is widely exploited for applications. Yet, a microscopic description of the mechanisms governing spatial organization of the NPs is still lacking. Combining small angle X-ray scattering, state-of-the-art numerical simulations and a simple toy model, we uncover how the volume phase transition of microgels drives NP-NP interactions, inducing NP progressive rearrangement with temperature. These results are directly compared to the extinction spectra of microgel-NPs complexes, allowing us to establish for the first time a microscopic link between plasmon coupling and NP local structure. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Symmetries and Interactions of $\mathcal{N}=1$ SUGRA: from Constructive and BCFW to KLT formulations

Authors: Dibya Chakraborty, J. Lorenzo Díaz-Cruz, Jonathan Reyes Pérez, Pablo Ortega Ruiz

Abstract: In this paper, we study the coupling of the gravity supermultiplet (graviton and gravitino) of minimal $\mathcal{N}=1$ SUGRA following a constructive approach. Firstly, we use the master formulae that follows from considering the scaling behavior of the spinor variables under the little group. Secondly, we derive the 4-point couplings using BFCW. Then, we verify these results for the general 3-poi… ▽ More In this paper, we study the coupling of the gravity supermultiplet (graviton and gravitino) of minimal $\mathcal{N}=1$ SUGRA following a constructive approach. Firstly, we use the master formulae that follows from considering the scaling behavior of the spinor variables under the little group. Secondly, we derive the 4-point couplings using BFCW. Then, we verify these results for the general 3-point interactions that can be derived using the KLT-type relations, i.e., they can be written as the square of the coupling of the gluons and gluinos. Finally, we consider SUGRA Compton effect for graviton-gravitino. For completeness, we present in the appendix the $\mathcal{N}=1$ Sugra lagrangian in the 2-component Weyl formalism, including the proofs of SUSY and gauge invariance. △ Less

Submitted 2 July, 2024; v1 submitted 16 June, 2024; originally announced June 2024.

Comments: 28 pages, 5 figures, 1 table, minor typos fixed, reference added

Towards a Personal Health Large Language Model

Authors: Justin Cosentino, Anastasiya Belyaeva, Xin Liu, Nicholas A. Furlotte, Zhun Yang, Chace Lee, Erik Schenck, Yojan Patel, Jian Cui, Logan Douglas Schneider, Robby Bryant, Ryan G. Gomes, Allen Jiang, Roy Lee, Yun Liu, Javier Perez, Jameson K. Rogers, Cathy Speed, Shyam Tailor, Megan Walker, Jeffrey Yu, Tim Althoff, Conor Heneghan, John Hernandez, Mark Malhotra , et al. (9 additional authors not shown)

Abstract: In health, most large language model (LLM) research has focused on clinical tasks. However, mobile and wearable devices, which are rarely integrated into such tasks, provide rich, longitudinal data for personal health monitoring. Here we present Personal Health Large Language Model (PH-LLM), fine-tuned from Gemini for understanding and reasoning over numerical time-series personal health data. We… ▽ More In health, most large language model (LLM) research has focused on clinical tasks. However, mobile and wearable devices, which are rarely integrated into such tasks, provide rich, longitudinal data for personal health monitoring. Here we present Personal Health Large Language Model (PH-LLM), fine-tuned from Gemini for understanding and reasoning over numerical time-series personal health data. We created and curated three datasets that test 1) production of personalized insights and recommendations from sleep patterns, physical activity, and physiological responses, 2) expert domain knowledge, and 3) prediction of self-reported sleep outcomes. For the first task we designed 857 case studies in collaboration with domain experts to assess real-world scenarios in sleep and fitness. Through comprehensive evaluation of domain-specific rubrics, we observed that Gemini Ultra 1.0 and PH-LLM are not statistically different from expert performance in fitness and, while experts remain superior for sleep, fine-tuning PH-LLM provided significant improvements in using relevant domain knowledge and personalizing information for sleep insights. We evaluated PH-LLM domain knowledge using multiple choice sleep medicine and fitness examinations. PH-LLM achieved 79% on sleep and 88% on fitness, exceeding average scores from a sample of human experts. Finally, we trained PH-LLM to predict self-reported sleep quality outcomes from textual and multimodal encoding representations of wearable data, and demonstrate that multimodal encoding is required to match performance of specialized discriminative models. Although further development and evaluation are necessary in the safety-critical personal health domain, these results demonstrate both the broad knowledge and capabilities of Gemini models and the benefit of contextualizing physiological data for personal health applications as done with PH-LLM. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 72 pages

Transforming Wearable Data into Health Insights using Large Language Model Agents

Authors: Mike A. Merrill, Akshay Paruchuri, Naghmeh Rezaei, Geza Kovacs, Javier Perez, Yun Liu, Erik Schenck, Nova Hammerquist, Jake Sunshine, Shyam Tailor, Kumar Ayush, Hao-Wei Su, Qian He, Cory Y. McLean, Mark Malhotra, Shwetak Patel, Jiening Zhan, Tim Althoff, Daniel McDuff, Xin Liu

Abstract: Despite the proliferation of wearable health trackers and the importance of sleep and exercise to health, deriving actionable personalized insights from wearable data remains a challenge because doing so requires non-trivial open-ended analysis of these data. The recent rise of large language model (LLM) agents, which can use tools to reason about and interact with the world, presents a promising… ▽ More Despite the proliferation of wearable health trackers and the importance of sleep and exercise to health, deriving actionable personalized insights from wearable data remains a challenge because doing so requires non-trivial open-ended analysis of these data. The recent rise of large language model (LLM) agents, which can use tools to reason about and interact with the world, presents a promising opportunity to enable such personalized analysis at scale. Yet, the application of LLM agents in analyzing personal health is still largely untapped. In this paper, we introduce the Personal Health Insights Agent (PHIA), an agent system that leverages state-of-the-art code generation and information retrieval tools to analyze and interpret behavioral health data from wearables. We curate two benchmark question-answering datasets of over 4000 health insights questions. Based on 650 hours of human and expert evaluation we find that PHIA can accurately address over 84% of factual numerical questions and more than 83% of crowd-sourced open-ended questions. This work has implications for advancing behavioral health across the population, potentially enabling individuals to interpret their own wearable data, and paving the way for a new era of accessible, personalized wellness regimens that are informed by data-driven insights. △ Less

Submitted 11 June, 2024; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: 38 pages

The frequency process in a non-neutral two-type continuous-state branching process with competition and its genealogy

Authors: Imanol Nuñez, José Luis Pérez

Abstract: We consider a population growth model given by a two-type continuous-state branching process with immigration and competition, introduced by Ma. We study the relative frequency of one of the types in the population when the total mass is forced to be constant at a dense set of times. The resulting process is described as the solution to an SDE, which we call the culled frequency process, generaliz… ▽ More We consider a population growth model given by a two-type continuous-state branching process with immigration and competition, introduced by Ma. We study the relative frequency of one of the types in the population when the total mass is forced to be constant at a dense set of times. The resulting process is described as the solution to an SDE, which we call the culled frequency process, generalizing the $Λ$-asymmetric frequency process introduced by Caballero et al. We obtain conditions for the culled frequency process to have a moment dual and show that it is given by a branching-coalescing continuous-time Markov chain that describes the genealogy of the two-type CBI with competition. Finally, we obtain a large population limit of the culled frequency process, resulting in a deterministic ordinary differential equation (ODE). Two particular cases of the limiting ODE are studied to determine if general two-type branching mechanisms and general Malthusians can lead to the coexistence of the two types in the population. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Simulation of Single-Phase Natural Circulation within the BEPU Framework: Sketching Scaling Uncertainty Principle by Multi-Scale CFD Approaches

Authors: Haifu Huang, Jorge Perez, Nicolas Alpy, Marc Medale

Abstract: In order to enhance safety, nuclear reactors in the design phase consider natural circulation as a mean to remove residual power. The simulation of this passive mechanism must be qualified between the validation range and the scope of utilization (reactor case), introducing potential physical and numerical distortion effects. In this study, we simulate the flow of liquid sodium using the TrioCFD c… ▽ More In order to enhance safety, nuclear reactors in the design phase consider natural circulation as a mean to remove residual power. The simulation of this passive mechanism must be qualified between the validation range and the scope of utilization (reactor case), introducing potential physical and numerical distortion effects. In this study, we simulate the flow of liquid sodium using the TrioCFD code, employing both higher-fidelity (HF) LES and lower-fidelity (LF) URANS models. We tackle respectively numerical uncertainties through the Grid Convergence Index method, and physical modelling uncertainties through the Polynomial Chaos Expansion method available on the URANIE platform. HF simulations are shown to exhibit a strong resilience to physical distortion effects, with numerical uncertainties being intricately correlated. Conversely, the LF approach, the only one applicable at the reactor scale, is likely to present a reduced predictability. If so, the HF approach should be effective in pinpointing the LF weaknesses: the concept of scaling uncertainty is inline introduced as the growth of the LF simulation uncertainty associated with distortion effects. Thus, the paper outlines that a specific methodology within the BEPU framework - leveraging both HF and LF approaches - could pragmatically enable correlating distortion effects with scaling uncertainty, thereby providing a metric principle. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Journal ref: Best Estimate Plus Uncertainty International Conference (BEPU 2024), May 2024, Lucca, Italy

Compressed-Language Models for Understanding Compressed File Formats: a JPEG Exploration

Authors: Juan C. Pérez, Alejandro Pardo, Mattia Soldan, Hani Itani, Juan Leon-Alcazar, Bernard Ghanem

Abstract: This study investigates whether Compressed-Language Models (CLMs), i.e. language models operating on raw byte streams from Compressed File Formats~(CFFs), can understand files compressed by CFFs. We focus on the JPEG format as a representative CFF, given its commonality and its representativeness of key concepts in compression, such as entropy coding and run-length encoding. We test if CLMs unders… ▽ More This study investigates whether Compressed-Language Models (CLMs), i.e. language models operating on raw byte streams from Compressed File Formats~(CFFs), can understand files compressed by CFFs. We focus on the JPEG format as a representative CFF, given its commonality and its representativeness of key concepts in compression, such as entropy coding and run-length encoding. We test if CLMs understand the JPEG format by probing their capabilities to perform along three axes: recognition of inherent file properties, handling of files with anomalies, and generation of new files. Our findings demonstrate that CLMs can effectively perform these tasks. These results suggest that CLMs can understand the semantics of compressed data when directly operating on the byte streams of files produced by CFFs. The possibility to directly operate on raw compressed files offers the promise to leverage some of their remarkable characteristics, such as their ubiquity, compactness, multi-modality and segment-nature. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Using non-DESI data to confirm and strengthen the DESI 2024 spatially-flat $w_0w_a$CDM cosmological parameterization result

Authors: Chan-Gyung Park, Javier de Cruz Perez, Bharat Ratra

Abstract: We use a combination of Planck cosmic microwave background (CMB) anisotropy data and non-CMB data that include Pantheon+ type Ia supernovae, Hubble parameter [$H(z)$], growth factor ($fσ_8$) measurements, and a collection of baryon acoustic oscillation (BAO) data, but not recent DESI 2024 BAO measurements, to confirm the DESI 2024 (DESI+CMB+PantheonPlus) data compilation support for dynamical dark… ▽ More We use a combination of Planck cosmic microwave background (CMB) anisotropy data and non-CMB data that include Pantheon+ type Ia supernovae, Hubble parameter [$H(z)$], growth factor ($fσ_8$) measurements, and a collection of baryon acoustic oscillation (BAO) data, but not recent DESI 2024 BAO measurements, to confirm the DESI 2024 (DESI+CMB+PantheonPlus) data compilation support for dynamical dark energy with an evolving equation of state parameter $w(z) = w_0 + w_a z/(1+z)$. From our joint compilation of CMB and non-CMB data, in a spatially-flat cosmological model, we obtain $w_0 = -0.850 \pm 0.059$ and $w_a = -0.59^{+0.26}_{-0.22}$ and find that this dynamical dark energy is favored over a cosmological constant by $\sim 2σ$. Our data constraints on the flat $w_0w_a$CDM model are slightly more restrictive than the DESI 2024 constraints, with the DESI 2024 and our values of $w_0$ and $w_a$ differing by $-0.27σ$ and $0.44σ$, respectively. Our data compilation slightly more strongly favors the flat $w_0w_a$CDM model over the flat $Λ$CDM model than does the DESI 2024 data compilation. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 9 pages, 3 figures

Updated observational constraints on spatially-flat and non-flat $Λ$CDM and XCDM cosmological models

Authors: Javier de Cruz Perez, Chan-Gyung Park, Bharat Ratra

Abstract: We study 6 LCDM models, with 4 allowing for non-flat geometry and 3 allowing for a non-unity lensing consistency parameter $A_L$. We also study 6 XCDM models with a dynamical dark energy density X-fluid with equation of state $w$. For the non-flat models we use two different primordial power spectra, Planck $P(q)$ and new $P(q)$. These models are tested against: Planck 2018 CMB power spectra (P18)… ▽ More We study 6 LCDM models, with 4 allowing for non-flat geometry and 3 allowing for a non-unity lensing consistency parameter $A_L$. We also study 6 XCDM models with a dynamical dark energy density X-fluid with equation of state $w$. For the non-flat models we use two different primordial power spectra, Planck $P(q)$ and new $P(q)$. These models are tested against: Planck 2018 CMB power spectra (P18) and lensing potential power spectrum (lensing), and an updated compilation of BAO, SNIa, $H(z)$, and $fσ_8$ data [non-CMB data]. P18 data favor closed geometry for the LCDM and XCDM models and $w<-1$ (phantom-like dark energy) for the XCDM models while non-CMB data favor open geometry for the LCDM models and closed geometry and $w>-1$ (quintessence-like dark energy) for the XCDM models. When P18 and non-CMB data are jointly analyzed there is weak evidence for open geometry and moderate evidence for quintessence-like dark energy. Regardless of data used, $A_L>1$ is always favored. The XCDM model constraints obtained from CMB data and from non-CMB data are incompatible, ruling out the 3 $A_L = 1$ XCDM models at $> 3σ$. In the 9 models not ruled out, for the P18+lensing+non-CMB data set we find little deviation from flat geometry and moderate deviation from $w=-1$. In all 6 non-flat models (not ruled out), open geometry is mildly favored, and in all 3 XCDM+$A_L$ models (not ruled out) quintessence-like dark energy is moderately favored (by at most $1.6 σ$). In the $A_L = 1$ non-flat LCDM cases, we find for P18+lensing+non-CMB data $Ω_k = 0.0009 \pm 0.0017$ [$0.0008 \pm 0.0017$] for the Planck [new] $P(q)$ model, favoring open geometry. The flat LCDM model remains the simplest (largely) observationally-consistent cosmological model. Our cosmological parameter constraints obtained for the flat LCDM model (and other models) are the most restrictive results to date (Abridged). △ Less

Submitted 4 June, 2024; v1 submitted 29 April, 2024; originally announced April 2024.

Comments: 71 pages, 33 figures. Accepted for publication in Physical Review D

Analysis of the Annealing Budget of Metal Oxide Thin-Film Transistors Prepared by an Aqueous Blade-Coating Process

Authors: Tianyu Tang, Preetam Dacha, Katherina Haase, Joshua Kreß, Christian Hänisch, Jonathan Perez, Yulia Krupskaya, Alexander Tahn, Darius Pohl, Sebastian Schneider, Felix Talnack, Mike Hambsch, Sebastian Reineke, Yana Vaynzof, Stefan C. B. Mannsfeld

Abstract: Metal oxide (MO) semiconductors are widely used in electronic devices due to their high optical transmittance and promising electrical performance. This work describes the advancement toward an eco-friendly, streamlined method for preparing thin-film transistors (TFTs) via a pure water-solution blade-coating process with focus on a low thermal budget. Low temperature and rapid annealing of triple-… ▽ More Metal oxide (MO) semiconductors are widely used in electronic devices due to their high optical transmittance and promising electrical performance. This work describes the advancement toward an eco-friendly, streamlined method for preparing thin-film transistors (TFTs) via a pure water-solution blade-coating process with focus on a low thermal budget. Low temperature and rapid annealing of triple-coated indium oxide thin-film transistors (3C-TFTs) and indium oxide/zinc oxide/indium oxide thin-film transistors (IZI-TFTs) on a 300 nm SiO2 gate dielectric at 300 $^{\circ}$C for only 60 s yields devices with an average field effect mobility of 10.7 and 13.8 cm2/Vs, respectively. The devices show an excellent on/off ratio (>10^6), and a threshold voltage close to 0 V when measured in air. Flexible MO-TFTs on polyimide substrates with AlOx dielectrics fabricated by rapid annealing treatment can achieve a remarkable mobility of over 10 cm2/Vs at low operating voltage. When using a longer post-coating annealing period of 20 min, high-performance 3C-TFTs (over 18 cm2/Vs) and IZI-TFTs (over 38 cm2/Vs) using MO semiconductor layers annealed at 300 $^{\circ}$C are achieved. △ Less

Submitted 17 April, 2024; originally announced April 2024.

On the Heating of the Slow Solar-Wind by Imbalanced Alfvén-Wave Turbulence from 0.06 au to 1 au: Parker Solar Probe and Solar Orbiter observations

Authors: Sofiane Bourouaine, Jean C. Perez, Benjamin D. G. Chandran, Vamsee K. Jagarlamudi, Nour E. Raouafi, Jasper S. Halekas

Abstract: In this work we analyze plasma and magnetic field data provided by the Parker Solar Probe (\emph{PSP}) and Solar Orbiter (\emph{SO}) missions to investigate the radial evolution of the heating of Alfvénic slow wind (ASW) by imbalanced Alfvén-Wave (AW) turbulent fluctuations from 0.06 au to 1 au. in our analysis we focus on slow solar-wind intervals with highly imbalanced and incompressible turbule… ▽ More In this work we analyze plasma and magnetic field data provided by the Parker Solar Probe (\emph{PSP}) and Solar Orbiter (\emph{SO}) missions to investigate the radial evolution of the heating of Alfvénic slow wind (ASW) by imbalanced Alfvén-Wave (AW) turbulent fluctuations from 0.06 au to 1 au. in our analysis we focus on slow solar-wind intervals with highly imbalanced and incompressible turbulence (i.e., magnetic compressibility $C_B=δB/B\leq 0.25$, plasma compressibility $C_n=δn/n\leq 0.25$ and normalized cross-helicity $σ_c\geq 0.65$). First, we estimate the AW turbulent dissipation rate from the wave energy equation and find that the radial profile trend is similar to the proton heating rate. Second, we find that the scaling of the empirical AW turbulent dissipation rate $Q_W$ obtained from the wave energy equation matches the scaling from the phenomenological AW turbulent dissipation rate $Q_{\rm CH09}$ (with $Q_{\rm CH09}\simeq 1.55 Q_W$) derived by~\cite{chandran09} based on the model of reflection-driven turbulence. Our results suggest that, as in the fast solar wind, AW turbulence plays a major role in the ion heating that occurs in incompressible slow-wind streams. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: This paper has been accepted for publication in the Astrophysical Journal Letters

On the Bailout Dividend Problem with Periodic Dividend Payments and Fixed Transaction Costs

Authors: Harold A. Moreno-Franco, Jose-Luis Pérez

Abstract: We study the optimal bailout dividend problem with transaction costs for an insurance company, where shareholder payouts align with the arrival times of an independent Poisson process. In this scenario, the underlying risk model follows a spectrally negative Lévy process. Our analysis confirms the optimality of a periodic $(b_{1},b_{2})$-barrier policy with classical reflection at zero. This strat… ▽ More We study the optimal bailout dividend problem with transaction costs for an insurance company, where shareholder payouts align with the arrival times of an independent Poisson process. In this scenario, the underlying risk model follows a spectrally negative Lévy process. Our analysis confirms the optimality of a periodic $(b_{1},b_{2})$-barrier policy with classical reflection at zero. This strategy involves reducing the surplus to $b_1$ when it exceeds $b_{2}$ at the Poisson arrival times and pushes the surplus to 0 whenever it goes below zero. △ Less

Submitted 24 March, 2024; originally announced March 2024.

MSC Class: 91B30; 60G51; 93E20

Cultural evolution in populations of Large Language Models

Authors: Jérémy Perez, Corentin Léger, Marcela Ovando-Tellez, Chris Foulon, Joan Dussauld, Pierre-Yves Oudeyer, Clément Moulin-Frier

Abstract: Research in cultural evolution aims at providing causal explanations for the change of culture over time. Over the past decades, this field has generated an important body of knowledge, using experimental, historical, and computational methods. While computational models have been very successful at generating testable hypotheses about the effects of several factors, such as population structure o… ▽ More Research in cultural evolution aims at providing causal explanations for the change of culture over time. Over the past decades, this field has generated an important body of knowledge, using experimental, historical, and computational methods. While computational models have been very successful at generating testable hypotheses about the effects of several factors, such as population structure or transmission biases, some phenomena have so far been more complex to capture using agent-based and formal models. This is in particular the case for the effect of the transformations of social information induced by evolved cognitive mechanisms. We here propose that leveraging the capacity of Large Language Models (LLMs) to mimic human behavior may be fruitful to address this gap. On top of being an useful approximation of human cultural dynamics, multi-agents models featuring generative agents are also important to study for their own sake. Indeed, as artificial agents are bound to participate more and more to the evolution of culture, it is crucial to better understand the dynamics of machine-generated cultural evolution. We here present a framework for simulating cultural evolution in populations of LLMs, allowing the manipulation of variables known to be important in cultural evolution, such as network structure, personality, and the way social information is aggregated and transformed. The software we developed for conducting these simulations is open-source and features an intuitive user-interface, which we hope will help to build bridges between the fields of cultural evolution and generative artificial intelligence. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 17 pages, 20 figures. Open-source code available at https://github.com/jeremyperez2/LLM-Culture

MSC Class: 68T50 ACM Class: I.2.7

Quantifying and Mitigating Privacy Risks for Tabular Generative Models

Authors: Chaoyi Zhu, Jiayi Tang, Hans Brouwer, Juan F. Pérez, Marten van Dijk, Lydia Y. Chen

Abstract: Synthetic data from generative models emerges as the privacy-preserving data-sharing solution. Such a synthetic data set shall resemble the original data without revealing identifiable private information. The backbone technology of tabular synthesizers is rooted in image generative models, ranging from Generative Adversarial Networks (GANs) to recent diffusion models. Recent prior work sheds ligh… ▽ More Synthetic data from generative models emerges as the privacy-preserving data-sharing solution. Such a synthetic data set shall resemble the original data without revealing identifiable private information. The backbone technology of tabular synthesizers is rooted in image generative models, ranging from Generative Adversarial Networks (GANs) to recent diffusion models. Recent prior work sheds light on the utility-privacy tradeoff on tabular data, revealing and quantifying privacy risks on synthetic data. We first conduct an exhaustive empirical analysis, highlighting the utility-privacy tradeoff of five state-of-the-art tabular synthesizers, against eight privacy attacks, with a special focus on membership inference attacks. Motivated by the observation of high data quality but also high privacy risk in tabular diffusion, we propose DP-TLDM, Differentially Private Tabular Latent Diffusion Model, which is composed of an autoencoder network to encode the tabular data and a latent diffusion model to synthesize the latent tables. Following the emerging f-DP framework, we apply DP-SGD to train the auto-encoder in combination with batch clip** and use the separation value as the privacy metric to better capture the privacy gain from DP algorithms. Our empirical evaluation demonstrates that DP-TLDM is capable of achieving a meaningful theoretical privacy guarantee while also significantly enhancing the utility of synthetic data. Specifically, compared to other DP-protected tabular generative models, DP-TLDM improves the synthetic quality by an average of 35% in data resemblance, 15% in the utility for downstream tasks, and 50% in data discriminability, all while preserving a comparable level of privacy risk. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Second gadolinium loading to Super-Kamiokande

Authors: K. Abe, C. Bronner, Y. Hayato, K. Hiraide, K. Hosokawa, K. Ieki, M. Ikeda, J. Kameda, Y. Kanemura, R. Kaneshima, Y. Kashiwagi, Y. Kataoka, S. Miki, S. Mine, M. Miura, S. Moriyama, Y. Nakano, M. Nakahata, S. Nakayama, Y. Noguchi, K. Sato, H. Sekiya, H. Shiba, K. Shimizu, M. Shiozawa , et al. (225 additional authors not shown)

Abstract: The first loading of gadolinium (Gd) into Super-Kamiokande in 2020 was successful, and the neutron capture efficiency on Gd reached 50\%. To further increase the Gd neutron capture efficiency to 75\%, 26.1 tons of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was additionally loaded into Super-Kamiokande (SK) from May 31 to July 4, 2022. As the amount of loaded $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was do… ▽ More The first loading of gadolinium (Gd) into Super-Kamiokande in 2020 was successful, and the neutron capture efficiency on Gd reached 50\%. To further increase the Gd neutron capture efficiency to 75\%, 26.1 tons of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was additionally loaded into Super-Kamiokande (SK) from May 31 to July 4, 2022. As the amount of loaded $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was doubled compared to the first loading, the capacity of the powder dissolving system was doubled. We also developed new batches of gadolinium sulfate with even further reduced radioactive impurities. In addition, a more efficient screening method was devised and implemented to evaluate these new batches of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$. Following the second loading, the Gd concentration in SK was measured to be $333.5\pm2.5$ ppm via an Atomic Absorption Spectrometer (AAS). From the mean neutron capture time constant of neutrons from an Am/Be calibration source, the Gd concentration was independently measured to be 332.7 $\pm$ 6.8(sys.) $\pm$ 1.1(stat.) ppm, consistent with the AAS result. Furthermore, during the loading the Gd concentration was monitored continually using the capture time constant of each spallation neutron produced by cosmic-ray muons,and the final neutron capture efficiency was shown to become 1.5 times higher than that of the first loaded phase, as expected. △ Less

Submitted 18 June, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: 34 pages, 13 figures, submitted to Nuclear Inst. and Methods in Physics Research, A

Journal ref: Nuclear Inst. and Methods in Physics Research, A 1065 (2024) 169480

Ultralight vector dark matter search using data from the KAGRA O3GK run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, H. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi , et al. (1778 additional authors not shown)

Abstract: Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese… ▽ More Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 20 pages, 5 figures

Report number: LIGO-P2300250

SLIM: Skill Learning with Multiple Critics

Authors: David Emukpere, Bingbing Wu, Julien Perez, Jean-Michel Renders

Abstract: Self-supervised skill learning aims to acquire useful behaviors that leverage the underlying dynamics of the environment. Latent variable models, based on mutual information maximization, have been successful in this task but still struggle in the context of robotic manipulation. As it requires impacting a possibly large set of degrees of freedom composing the environment, mutual information maxim… ▽ More Self-supervised skill learning aims to acquire useful behaviors that leverage the underlying dynamics of the environment. Latent variable models, based on mutual information maximization, have been successful in this task but still struggle in the context of robotic manipulation. As it requires impacting a possibly large set of degrees of freedom composing the environment, mutual information maximization fails alone in producing useful and safe manipulation behaviors. Furthermore, tackling this by augmenting skill discovery rewards with additional rewards through a naive combination might fail to produce desired behaviors. To address this limitation, we introduce SLIM, a multi-critic learning approach for skill discovery with a particular focus on robotic manipulation. Our main insight is that utilizing multiple critics in an actor-critic framework to gracefully combine multiple reward functions leads to a significant improvement in latent-variable skill discovery for robotic manipulation while overcoming possible interference occurring among rewards which hinders convergence to useful skills. Furthermore, in the context of tabletop manipulation, we demonstrate the applicability of our novel skill discovery approach to acquire safe and efficient motor primitives in a hierarchical reinforcement learning fashion and leverage them through planning, significantly surpassing baseline approaches for skill discovery. △ Less

Submitted 21 March, 2024; v1 submitted 1 February, 2024; originally announced February 2024.

Comments: Accepted at IEEE ICRA 2024

A novel ANROA based control approach for grid-tied multi-functional solar energy conversion system

Authors: Dinanath Prasad, Narendra Kumar, Rakhi Sharma, Hasmat Malik, Fausto Pedro García Márquez, Jesús María Pinar Pérez

Abstract: An adaptive control approach for a three-phase grid-interfaced solar photovoltaic system based on the new Neuro-Fuzzy Inference System with Rain Optimization Algorithm (ANROA) methodology is proposed and discussed in this manuscript. This method incorporates an Adaptive Neuro-fuzzy Inference System (ANFIS) with a Rain Optimization Algorithm (ROA). The ANFIS controller has excellent maximum trackin… ▽ More An adaptive control approach for a three-phase grid-interfaced solar photovoltaic system based on the new Neuro-Fuzzy Inference System with Rain Optimization Algorithm (ANROA) methodology is proposed and discussed in this manuscript. This method incorporates an Adaptive Neuro-fuzzy Inference System (ANFIS) with a Rain Optimization Algorithm (ROA). The ANFIS controller has excellent maximum tracking capability because it includes features of both neural and fuzzy techniques. The ROA technique is in charge of controlling the voltage source converter switching. Avoiding power quality problems including voltage fluctuations, harmonics, and flickers as well as unbalanced loads and reactive power usage is the major goal. Besides, the proposed method performs at zero voltage regulation and unity power factor modes. The suggested control approach has been modeled and simulated, and its performance has been assessed using existing alternative methods. A statistical analysis of proposed and existing techniques has been also presented and discussed. The results of the simulations demonstrate that, when compared to alternative approaches, the suggested strategy may properly and effectively identify the best global solutions. Furthermore, the system's robustness has been studied by using MATLAB/SIMULINK environment and experimentally by Field Programmable Gate Arrays Controller (FPGA)-based Hardware-in-Loop (HLL). △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: The paper was published in Energy Reports journal (ELSEVIER). Cite as: Prasad, D., Kumar, N., Sharma, R., Malik, H., Márquez, F. P. G., & Pinar-Pérez, J. M. (2023). A novel ANROA based control approach for grid-tied multi-functional solar energy conversion system. Energy Reports, 9, 2044-2057

Journal ref: Energy Reports (2023) Elsevier

Comparing Session Type Systems derived from Linear Logic

Authors: Bas van den Heuvel, Jorge A. Pérez

Abstract: Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong logical foundations via Curry-Howard correspondences with linear logic, a resource-aware logic that naturally captures structured interactions. These logical foundations provide an elegant framework to specify and (static… ▽ More Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong logical foundations via Curry-Howard correspondences with linear logic, a resource-aware logic that naturally captures structured interactions. These logical foundations provide an elegant framework to specify and (statically) verify message-passing processes. In this paper, we rigorously compare different type systems for concurrency derived from the Curry-Howard correspondence between linear logic and session types. We address the main divide between these type systems: the classical and intuitionistic presentations of linear logic. Along the years, these presentations have given rise to separate research strands on logical foundations for concurrency; the differences between their derived type systems have only been addressed informally. To formally assess these differences, we develop $π\mathsf{ULL}$, a session type system that encompasses type systems derived from classical and intuitionistic interpretations of linear logic. Based on a fragment of Girard's Logic of Unity, $π\mathsf{ULL}$ provides a basic reference framework: we compare existing session type systems by characterizing fragments of $π\mathsf{ULL}$ that coincide with classical and intuitionistic formulations. We analyze the significance of our characterizations by considering the locality principle (enforced by intuitionistic interpretations but not by classical ones) and forms of process composition induced by the interpretations. △ Less

Submitted 26 January, 2024; originally announced January 2024.

Comments: Revised/extended version of https://doi.org/10.4204/EPTCS.314.1

A techno-economic model for avoiding conflicts of interest between owners of offshore wind farms and maintenance suppliers

Authors: Alberto Pliego Marugán, Fausto Pedro García Márquez, Jesús María Pinar Pérez

Abstract: Currently, wind energy is one of the most important sources of renewable energy. Offshore locations for wind turbines are increasingly exploited because of their numerous advantages. However, offshore wind farms require high investment in maintenance service. Due to its complexity and special requirements, maintenance service is usually outsourced by wind farm owners. In this paper, we propose a n… ▽ More Currently, wind energy is one of the most important sources of renewable energy. Offshore locations for wind turbines are increasingly exploited because of their numerous advantages. However, offshore wind farms require high investment in maintenance service. Due to its complexity and special requirements, maintenance service is usually outsourced by wind farm owners. In this paper, we propose a novel approach to determine, quantify, and reduce the possible conflicts of interest between owners and maintenance suppliers. We created a complete techno-economic model to address this problem from an impartial point of view. An iterative process was developed to obtain statistical results that can help stakeholders negotiate the terms of the contract, in which the availability of the wind farm is the reference parameter by which to determine penalisations and incentives. Moreover, a multi-objective programming problem was addressed that maximises the profits of both parties without losing the alignment of their interests. The main scientific contribution of this paper is the maintenance analysis of offshore wind farms from two perspectives: that of the owner and the maintenance supplier. This analysis evaluates the conflicts of interest of both parties. In addition, we demonstrate that proper adjustment of some parameters, such as penalisation, incentives, and resources, and adequate control of availability can help reduce this conflict of interests. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: Published in Renewable and Sustainable Energy Reviews (ELSEVIER) 10 July 2022. DOI: https://doi.org/10.1016/j.rser.2022.112753 Cite as: Marugán, A. P., Márquez, F. P. G., & Pérez, J. M. P. (2022). A techno-economic model for avoiding conflicts of interest between owners of offshore wind farms and maintenance suppliers. Renewable and Sustainable Energy Reviews, 168, 112753

Orbifolds and the modular curve

Authors: Juan Martín Pérez, Florent Schaffhauser

Abstract: We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston's point of view on the subject (discrete groups acting properly and effectively on differentiable manifolds), the construction of the modular orbi-curve and its universal family of elliptic curves ends up requiring a bit more technology, in order to allow fo… ▽ More We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston's point of view on the subject (discrete groups acting properly and effectively on differentiable manifolds), the construction of the modular orbi-curve and its universal family of elliptic curves ends up requiring a bit more technology, in order to allow for non-effective actions. The paper is entirely expository and makes no claims to originality: its main goal is to be self-contained enough in order to be useful to young researchers who are entering the field and are interested in the interactions between differential and algebraic geometry. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Comments: To appear in 'In the tradition of Thurston III. Geometry and dynamics'

Adaptive Guidance: Training-free Acceleration of Conditional Diffusion Models

Authors: Angela Castillo, Jonas Kohler, Juan C. Pérez, Juan Pablo Pérez, Albert Pumarola, Bernard Ghanem, Pablo Arbeláez, Ali Thabet

Abstract: This paper presents a comprehensive study on the role of Classifier-Free Guidance (CFG) in text-conditioned diffusion models from the perspective of inference efficiency. In particular, we relax the default choice of applying CFG in all diffusion steps and instead search for efficient guidance policies. We formulate the discovery of such policies in the differentiable Neural Architecture Search fr… ▽ More This paper presents a comprehensive study on the role of Classifier-Free Guidance (CFG) in text-conditioned diffusion models from the perspective of inference efficiency. In particular, we relax the default choice of applying CFG in all diffusion steps and instead search for efficient guidance policies. We formulate the discovery of such policies in the differentiable Neural Architecture Search framework. Our findings suggest that the denoising steps proposed by CFG become increasingly aligned with simple conditional steps, which renders the extra neural network evaluation of CFG redundant, especially in the second half of the denoising process. Building upon this insight, we propose "Adaptive Guidance" (AG), an efficient variant of CFG, that adaptively omits network evaluations when the denoising process displays convergence. Our experiments demonstrate that AG preserves CFG's image quality while reducing computation by 25%. Thus, AG constitutes a plug-and-play alternative to Guidance Distillation, achieving 50% of the speed-ups of the latter while being training-free and retaining the capacity to handle negative prompts. Finally, we uncover further redundancies of CFG in the first half of the diffusion process, showing that entire neural function evaluations can be replaced by simple affine transformations of past score estimates. This method, termed LinearAG, offers even cheaper inference at the cost of deviating from the baseline model. Our findings provide insights into the efficiency of the conditional denoising process that contribute to more practical and swift deployment of text-conditioned diffusion models. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Split and Rephrase with Large Language Models

Authors: David Ponce, Thierry Etchegoyhen, Jesús Calleja Pérez, Harritxu Gete

Abstract: The Split and Rephrase (SPRP) task, which consists in splitting complex sentences into a sequence of shorter grammatical sentences, while preserving the original meaning, can facilitate the processing of complex texts for humans and machines alike. It is also a valuable testbed to evaluate natural language processing models, as it requires modelling complex grammatical aspects. In this work, we ev… ▽ More The Split and Rephrase (SPRP) task, which consists in splitting complex sentences into a sequence of shorter grammatical sentences, while preserving the original meaning, can facilitate the processing of complex texts for humans and machines alike. It is also a valuable testbed to evaluate natural language processing models, as it requires modelling complex grammatical aspects. In this work, we evaluate large language models on the task, showing that they can provide large improvements over the state of the art on the main metrics, although still lagging in terms of splitting compliance. Results from two human evaluations further support the conclusions drawn from automated metric results. We provide a comprehensive study that includes prompting variants, domain shift, fine-tuned pretrained language models of varying parameter size and training data volumes, contrasted with both zero-shot and few-shot approaches on instruction-tuned language models. Although the latter were markedly outperformed by fine-tuned models, they may constitute a reasonable off-the-shelf alternative. Our results provide a fine-grained analysis of the potential and limitations of large language models for SPRP, with significant improvements achievable using relatively small amounts of training data and model parameters overall, and remaining limitations for all models on the task. △ Less

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

Flavon vacuum alignment beyond SUSY

Authors: Claudia Hagedorn, M. L. López-Ibáñez, M. Jay Pérez, Moinul Hossain Rahat, Oscar Vives

Abstract: In flavor models the vacuum alignment of flavons is typically achieved via the $F$-terms of certain fields in the supersymmetric limit. We propose a method for preserving such alignments, up to a rescaling of the vacuum expectation values, even after supersymmetry (and the flavor symmetry) are softly broken, facilitating the vacuum alignment in models which are non-supersymmetric at low energies.… ▽ More In flavor models the vacuum alignment of flavons is typically achieved via the $F$-terms of certain fields in the supersymmetric limit. We propose a method for preserving such alignments, up to a rescaling of the vacuum expectation values, even after supersymmetry (and the flavor symmetry) are softly broken, facilitating the vacuum alignment in models which are non-supersymmetric at low energies. Examples of models with different flavor groups, namely $A_4$, $T_7$, $S_4$ and $Δ(27)$, are discussed. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 28 pages + references

Report number: IFIC/23-25, FTUV/23-0718

Detection of an Arbitrary Number of Communities in a Block Spin Ising Model

Authors: Miguel Ballesteros, Ramsés H. Mena, José Luis Pérez, Gabor Toth

Abstract: We study the problem of community detection in a general version of the block spin Ising model featuring M groups, a model inspired by the Curie-Weiss model of ferromagnetism in statistical mechanics. We solve the general problem of identifying any number of groups with any possible coupling constants. Up to now, the problem was only solved for the specific situation with two groups of identical s… ▽ More We study the problem of community detection in a general version of the block spin Ising model featuring M groups, a model inspired by the Curie-Weiss model of ferromagnetism in statistical mechanics. We solve the general problem of identifying any number of groups with any possible coupling constants. Up to now, the problem was only solved for the specific situation with two groups of identical size and identical interactions. Our results can be applied to the most realistic situations, in which there are many groups of different sizes and different interactions. In addition, we give an explicit algorithm that permits the reconstruction of the structure of the model from a sample of observations based on the comparison of empirical correlations of the spin variables, thus unveiling easy applications of the model to real-world voting data and communities in biology. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 31 pages

MSC Class: 62H22; 82B20; 60F05

A unified TDiff invariant field theory for the dark sector

Authors: David Alonso-López, Javier de Cruz Pérez, Antonio L. Maroto

Abstract: In this work we present a unified model for the cosmological dark sector. The theory is based on a simple minimally coupled scalar field whose action only contains a canonical kinetic term and is invariant under transverse diffeomorphisms (TDiff). The model has the same number of free parameters as $Λ$CDM. We confront the predictions of the model at the background level with data from Planck 2018… ▽ More In this work we present a unified model for the cosmological dark sector. The theory is based on a simple minimally coupled scalar field whose action only contains a canonical kinetic term and is invariant under transverse diffeomorphisms (TDiff). The model has the same number of free parameters as $Λ$CDM. We confront the predictions of the model at the background level with data from Planck 2018 CMB distance priors, Pantheon+ and SH0ES SNIa distance moduli, BAO data points from 6dFGS, BOSS, eBOSS and DES and measurements of the Hubble parameter from cosmic chronometers. The model provides excellent results in the joint fit analysis, showing very strong evidence compared to $Λ$CDM in the deviance information criterion (DIC). We also show that the Hubble tension between Planck 2018 and SH0ES measurements can be alleviated in the unified TDiff model although further analysis is still needed. △ Less

Submitted 4 February, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: 17 pages, 8 figures. Final version published in PRD

Report number: IPARCOS-UCM-23-130

The distribution amplitude of the $η_c$ meson

Authors: Miguel Teseo San José Pérez, Benoît Blossier, Mariane Mangin-Brinet, José Manuel Morgado Chávez

Abstract: We report on the first lattice determination of the pseudoscalar meson $η_c$ light-cone distribution amplitude, using a set of three CLS $N_f=2$ ensembles at a pion mass $m_π \sim 270~\text{MeV}$ and lattice spacings $a \sim 0.076~\text{fm}$, $0.066~\text{fm}$ and $0.049~\text{fm}$. Employing Short Distance Factorization, we extract the pseudo-DA on the lattice for Ioffe times $ν\leq 4.5$, and the… ▽ More We report on the first lattice determination of the pseudoscalar meson $η_c$ light-cone distribution amplitude, using a set of three CLS $N_f=2$ ensembles at a pion mass $m_π \sim 270~\text{MeV}$ and lattice spacings $a \sim 0.076~\text{fm}$, $0.066~\text{fm}$ and $0.049~\text{fm}$. Employing Short Distance Factorization, we extract the pseudo-DA on the lattice for Ioffe times $ν\leq 4.5$, and the various lattice spacings allow us to take the continuum limit. We employ a basis of Jacobi polynomials to parametrize the distribution amplitude, which allows to express the matching to the pseudo distribution in closed form, and we observe a strong effect which we attribute to the heavy charm-quark mass. △ Less

Submitted 20 November, 2023; v1 submitted 16 November, 2023; originally announced November 2023.

Comments: Contribution to the 40th International Symposium on Lattice Field Theory (Lattice 2023), July 31st - August 4th, 2023. Fermi National Accelerator Laboratory

Security in Drones

Authors: Jonathan Morgan, Julio Perez, Jordan Wade, Sundar Krishnan

Abstract: Drones are used in our everyday world for private, commercial, and government uses. It is important to establish both the cyber threats drone users face and security practices to combat those threats. Privacy will always be the main concern when using drones. Protecting information legally collected on drones and protecting people from the illegal collection of their data are topics that security… ▽ More Drones are used in our everyday world for private, commercial, and government uses. It is important to establish both the cyber threats drone users face and security practices to combat those threats. Privacy will always be the main concern when using drones. Protecting information legally collected on drones and protecting people from the illegal collection of their data are topics that security professionals should consider before their organization uses drones. In this article, the authors discuss the importance of security in drones. △ Less

Submitted 13 November, 2023; originally announced November 2023.

MELCHIORS: The Mercator Library of High Resolution Stellar Spectroscopy

Authors: P. Royer, T. Merle, K. Dsilva, S. Sekaran, H. Van Winckel, Y. Frémat, M. Van der Swaelmen, S. Gebruers, A. Tkachenko, M. Laverick, M. Dirickx, G. Raskin, H. Hensberge, M. Abdul-Masih, B. Acke, M. L. Alonso, S. Bandhu Mahato, P. G. Beck, N. Behara, S. Bloemen, B. Buysschaert, N. Cox, J. Debosscher, P. De Cat, P. Degroote , et al. (49 additional authors not shown)

Abstract: Over the past decades, libraries of stellar spectra have been used in a large variety of science cases, including as sources of reference spectra for a given object or a given spectral type. Despite the existence of large libraries and the increasing number of projects of large-scale spectral surveys, there is to date only one very high-resolution spectral library offering spectra from a few hundr… ▽ More Over the past decades, libraries of stellar spectra have been used in a large variety of science cases, including as sources of reference spectra for a given object or a given spectral type. Despite the existence of large libraries and the increasing number of projects of large-scale spectral surveys, there is to date only one very high-resolution spectral library offering spectra from a few hundred objects from the southern hemisphere (UVES-POP) . We aim to extend the sample, offering a finer coverage of effective temperatures and surface gravity with a uniform collection of spectra obtained in the northern hemisphere. Between 2010 and 2020, we acquired several thousand echelle spectra of bright stars with the Mercator-HERMES spectrograph located in the Roque de Los Muchachos Observatory in La Palma, whose pipeline offers high-quality data reduction products. We have also developed methods to correct for the instrumental response in order to approach the true shape of the spectral continuum. Additionally, we have devised a normalisation process to provide a homogeneous normalisation of the full spectral range for most of the objects. We present a new spectral library consisting of 3256 spectra covering 2043 stars. It combines high signal-to-noise and high spectral resolution over the entire range of effective temperatures and luminosity classes. The spectra are presented in four versions: raw, corrected from the instrumental response, with and without correction from the atmospheric molecular absorption, and normalised (including the telluric correction). △ Less

Submitted 5 November, 2023; originally announced November 2023.

Comments: 17 pages, 18 figures Preview and access to the library: https://www.royer.se/melchiors.html

Journal ref: A&A 681, A107 (2024)

Bespoke Solvers for Generative Flow Models

Authors: Neta Shaul, Juan Perez, Ricky T. Q. Chen, Ali Thabet, Albert Pumarola, Yaron Lipman

Abstract: Diffusion or flow-based models are powerful generative paradigms that are notoriously hard to sample as samples are defined as solutions to high-dimensional Ordinary or Stochastic Differential Equations (ODEs/SDEs) which require a large Number of Function Evaluations (NFE) to approximate well. Existing methods to alleviate the costly sampling process include model distillation and designing dedica… ▽ More Diffusion or flow-based models are powerful generative paradigms that are notoriously hard to sample as samples are defined as solutions to high-dimensional Ordinary or Stochastic Differential Equations (ODEs/SDEs) which require a large Number of Function Evaluations (NFE) to approximate well. Existing methods to alleviate the costly sampling process include model distillation and designing dedicated ODE solvers. However, distillation is costly to train and sometimes can deteriorate quality, while dedicated solvers still require relatively large NFE to produce high quality samples. In this paper we introduce "Bespoke solvers", a novel framework for constructing custom ODE solvers tailored to the ODE of a given pre-trained flow model. Our approach optimizes an order consistent and parameter-efficient solver (e.g., with 80 learnable parameters), is trained for roughly 1% of the GPU time required for training the pre-trained model, and significantly improves approximation and generation quality compared to dedicated solvers. For example, a Bespoke solver for a CIFAR10 model produces samples with Fréchet Inception Distance (FID) of 2.73 with 10 NFE, and gets to 1% of the Ground Truth (GT) FID (2.59) for this model with only 20 NFE. On the more challenging ImageNet-64$\times$64, Bespoke samples at 2.2 FID with 10 NFE, and gets within 2% of GT FID (1.71) with 20 NFE. △ Less

Submitted 29 October, 2023; originally announced October 2023.

In situ digestion of canola protein gel observed by synchrotron X-Ray Scattering

Authors: Maja Napieraj, Annie Brûlet, Javier Perez, François Boué, Evelyne Lutton

Abstract: We address the issue of structure changes of a canola protein gel (as a solid food model) during gastrointestinal digestion. We present a method for synchrotron Small-Angle X-ray Scattering analysis of the digestion of a gel in a capillary. Scanning the capillary allows tracking the digestion under diffusion of enzymatic juices. The fitting parameters characterizing the sizes, scattering intensiti… ▽ More We address the issue of structure changes of a canola protein gel (as a solid food model) during gastrointestinal digestion. We present a method for synchrotron Small-Angle X-ray Scattering analysis of the digestion of a gel in a capillary. Scanning the capillary allows tracking the digestion under diffusion of enzymatic juices. The fitting parameters characterizing the sizes, scattering intensities and structures allow to distinguish the compact, unfolded or aggregated states of proteins. The evolutions of these parameters enable to detail the complex changes of proteins during gel digestion, involving back-and-forth evolutions with proteins unfolding (1 st and 3 rd steps), re-compaction (2 nd step) due to gastrointestinal pH and enzyme actions, before final protein scissions (4 th step) resulting in small peptides. This complexity is related to the wide ranges of successive pH and enzyme activity acting on large and charged protein assemblies. Digestion is therefore impacted by the conditions of food preparation. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Simulating high-pressure surface reactions with molecular beams

Authors: Amjad Al Taleb, Frederik Schiller, Denis V. Vyalikh, José Maria Pérez, Sabine V. Auras, Daniel Farías, J. Enrique Ortega

Abstract: Using a reactive molecular beam with high kinetic energy ($E_{kin}$) it is possible to speed gas-surface reactions involving high activation barriers ($E_{act}$), which would require elevated pressures ($P_0$) if a random gas with a Maxwell-Boltzmann distribution is used. By simply computing the number of molecules that overcome the activation barrier in a random gas at $P_0$ and in a molecular be… ▽ More Using a reactive molecular beam with high kinetic energy ($E_{kin}$) it is possible to speed gas-surface reactions involving high activation barriers ($E_{act}$), which would require elevated pressures ($P_0$) if a random gas with a Maxwell-Boltzmann distribution is used. By simply computing the number of molecules that overcome the activation barrier in a random gas at $P_0$ and in a molecular beam at $E_{kin}$=$E_{act}$, we establish an $E_{kin}$-$P_0$ equivalence curve, through which we postulate that molecular beams are ideal tools to investigate gas-surface reactions that involve high activation energies. In particular, we foresee the use of molecular beams to simulate gas surface reactions within the industrial-range ($>$ 10 bar) using surface-sensitive Ultra-High Vacuum (UHV) techniques, such as X-ray photoemission spectroscopy (XPS). To test this idea, we revisit the oxidation of the Cu(111) surface combining O$_2$ molecular beams and XPS experiments. By tuning the kinetic energy of the O$_2$ beam in the range 0.24-1 eV we achieve the same sequence of surface oxides obtained in Ambient Pressure Photoemission (AP-XPS) experiments, in which the Cu(111) surface was exposed to a random O$_2$ gas up to 1 mbar. We observe the same surface oxidation kinetics as in the random gas, but with a much lower dose, close to the expected value derived from the equivalence curve. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Unleashing quantum algorithms with Qinterpreter: bridging the gap between theory and practice across leading quantum computing platforms

Authors: Wilmer Contreras Sepúlveda, Ángel David Torres-Palencia, José Javier Sánchez Mondragón, Braulio Misael Villegas-Martínez, J. Jesús Escobedo-Alatorre, Sandra Gesing, Néstor Lozano-Crisóstomo, Julio César García-Melgarejo, Juan Carlos Sánchez Pérez, Eddie Nelson Palacios- Pérez, Omar PalilleroSandoval

Abstract: Quantum computing is a rapidly emerging and promising field that has the potential to revolutionize numerous research domains, including drug design, network technologies and sustainable energy. Due to the inherent complexity and divergence from classical computing, several major quantum computing libraries have been developed to implement quantum algorithms, namely IBM Qiskit, Amazon Braket, Cirq… ▽ More Quantum computing is a rapidly emerging and promising field that has the potential to revolutionize numerous research domains, including drug design, network technologies and sustainable energy. Due to the inherent complexity and divergence from classical computing, several major quantum computing libraries have been developed to implement quantum algorithms, namely IBM Qiskit, Amazon Braket, Cirq, PyQuil, and PennyLane. These libraries allow for quantum simulations on classical computers and facilitate program execution on corresponding quantum hardware, e.g., Qiskit programs on IBM quantum computers. While all platforms have some differences, the main concepts are the same. QInterpreter is a tool embedded in the Quantum Science Gateway QubitHub using Jupyter Notebooks that translates seamlessly programs from one library to the other and visualizes the results. It combines the five well-known quantum libraries: into a unified framework. Designed as an educational tool for beginners, Qinterpreter enables the development and execution of quantum circuits across various platforms in a straightforward way. The work highlights the versatility and accessibility of Qinterpreter in quantum programming and underscores our ultimate goal of pervading Quantum Computing through younger, less specialized, and diverse cultural and national communities. △ Less

Submitted 13 October, 2023; v1 submitted 10 October, 2023; originally announced October 2023.

Controlling the Solo12 Quadruped Robot with Deep Reinforcement Learning

Authors: Michel Aractingi, Pierre-Alexandre Léziart, Thomas Flayols, Julien Perez, Tomi Silander, Philippe Souères

Abstract: Quadruped robots require robust and general locomotion skills to exploit their mobility potential in complex and challenging environments. In this work, we present the first implementation of a robust end-to-end learning-based controller on the Solo12 quadruped. Our method is based on deep reinforcement learning of joint impedance references. The resulting control policies follow a commanded veloc… ▽ More Quadruped robots require robust and general locomotion skills to exploit their mobility potential in complex and challenging environments. In this work, we present the first implementation of a robust end-to-end learning-based controller on the Solo12 quadruped. Our method is based on deep reinforcement learning of joint impedance references. The resulting control policies follow a commanded velocity reference while being efficient in its energy consumption, robust and easy to deploy. We detail the learning procedure and method for transfer on the real robot. In our experiments, we show that the Solo12 robot is a suitable open-source platform for research combining learning and control because of the easiness in transferring and deploying learned controllers. △ Less

Submitted 2 August, 2023; originally announced September 2023.

Report number: Rapport LAAS no 22263

Journal ref: Scientific Reports, 2023, 13 (11945), pp.12

Virtual Harassment, Real Understanding: Using a Serious Game and Bayesian Networks to Study Cyberbullying

Authors: Jaime Pérez, Mario Castro, Edmond Awad, Gregorio López

Abstract: Cyberbullying among minors is a pressing concern in our digital society, necessitating effective prevention and intervention strategies. Traditional data collection methods often intrude on privacy and yield limited insights. This study explores an innovative approach, employing a serious game - designed with purposes beyond entertainment - as a non-intrusive tool for data collection and education… ▽ More Cyberbullying among minors is a pressing concern in our digital society, necessitating effective prevention and intervention strategies. Traditional data collection methods often intrude on privacy and yield limited insights. This study explores an innovative approach, employing a serious game - designed with purposes beyond entertainment - as a non-intrusive tool for data collection and education. In contrast to traditional correlation-based analyses, we propose a causality-based approach using Bayesian Networks to unravel complex relationships in the collected data and quantify result uncertainties. This robust analytical tool yields interpretable outcomes, enhances transparency in assumptions, and fosters open scientific discourse. Preliminary pilot studies with the serious game show promising results, surpassing the informative capacity of traditional demographic and psychological questionnaires, suggesting its potential as an alternative methodology. Additionally, we demonstrate how our approach facilitates the examination of risk profiles and the identification of intervention strategies to mitigate this cybercrime. We also address research limitations and potential enhancements, considering the noise and variability of data in social studies and video games. This research advances our understanding of cyberbullying and showcase the potential of serious games and causality-based approaches in studying complex social issues. △ Less

Submitted 15 September, 2023; originally announced September 2023.

BatMan-CLR: Making Few-shots Meta-Learners Resilient Against Label Noise

Authors: Jeroen M. Galjaard, Robert Birke, Juan Perez, Lydia Y. Chen

Abstract: The negative impact of label noise is well studied in classical supervised learning yet remains an open research question in meta-learning. Meta-learners aim to adapt to unseen learning tasks by learning a good initial model in meta-training and consecutively fine-tuning it according to new tasks during meta-testing. In this paper, we present the first extensive analysis of the impact of varying l… ▽ More The negative impact of label noise is well studied in classical supervised learning yet remains an open research question in meta-learning. Meta-learners aim to adapt to unseen learning tasks by learning a good initial model in meta-training and consecutively fine-tuning it according to new tasks during meta-testing. In this paper, we present the first extensive analysis of the impact of varying levels of label noise on the performance of state-of-the-art meta-learners, specifically gradient-based $N$-way $K$-shot learners. We show that the accuracy of Reptile, iMAML, and foMAML drops by up to 42% on the Omniglot and CifarFS datasets when meta-training is affected by label noise. To strengthen the resilience against label noise, we propose two sampling techniques, namely manifold (Man) and batch manifold (BatMan), which transform the noisy supervised learners into semi-supervised ones to increase the utility of noisy labels. We first construct manifold samples of $N$-way $2$-contrastive-shot tasks through augmentation, learning the embedding via a contrastive loss in meta-training, and then perform classification through zeroing on the embedding in meta-testing. We show that our approach can effectively mitigate the impact of meta-training label noise. Even with 60% wrong labels \batman and \man can limit the meta-testing accuracy drop to ${2.5}$, ${9.4}$, ${1.1}$ percent points, respectively, with existing meta-learners across the Omniglot, CifarFS, and MiniImagenet datasets. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 10 pages,3 figures

Benchmarking 5G MEC and Cloud infrastructures for planning IoT messaging of CCAM data

Authors: Felipe Mogollón, Zaloa Fernández, Josu Pérez, Ángel Martín

Abstract: Vehicles embed lots of sensors supporting driving and safety. Combined with connectivity, they bring new possibilities for Connected, Cooperative and Automated Mobility (CCAM) services that exploit local and global data for a wide understanding beyond the myopic view of local sensors. Internet of Things (IoT) messaging solutions are ideal for vehicular data as they ship core features like the sepa… ▽ More Vehicles embed lots of sensors supporting driving and safety. Combined with connectivity, they bring new possibilities for Connected, Cooperative and Automated Mobility (CCAM) services that exploit local and global data for a wide understanding beyond the myopic view of local sensors. Internet of Things (IoT) messaging solutions are ideal for vehicular data as they ship core features like the separation of geographic areas, the fusion of different producers on data/sensor types, and concurrent subscription support. Multi-access Edge Computing (MEC) and Cloud infrastructures are key to hosting a virtualized and distributed IoT platform. Currently, the are no benchmarks for assessing the appropriate size of an IoT platform for multiple vehicular data types such as text, image, binary point clouds and video-formatted samples. This paper formulates and executes the tests to get a benchmarking of the performance of a MEC and Cloud platform according to actors' concurrency, data volumes and business levels parameters. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: 6 pages, 5 figures, 6 tables, IEEE International Conference on Intelligent Transportation Systems

A Joint Fermi-GBM and Swift-BAT Analysis of Gravitational-Wave Candidates from the Third Gravitational-wave Observing Run

Authors: C. Fletcher, J. Wood, R. Hamburg, P. Veres, C. M. Hui, E. Bissaldi, M. S. Briggs, E. Burns, W. H. Cleveland, M. M. Giles, A. Goldstein, B. A. Hristov, D. Kocevski, S. Lesage, B. Mailyan, C. Malacaria, S. Poolakkil, A. von Kienlin, C. A. Wilson-Hodge, The Fermi Gamma-ray Burst Monitor Team, M. Crnogorčević, J. DeLaunay, A. Tohuvavohu, R. Caputo, S. B. Cenko , et al. (1674 additional authors not shown)

Abstract: We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses,… ▽ More We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses, the Targeted Search and the Untargeted Search, we investigate whether there are any coincident GRBs associated with the GWs. We also search the Swift-BAT rate data around the GW times to determine whether a GRB counterpart is present. No counterparts are found. Using both the Fermi-GBM Targeted Search and the Swift-BAT search, we calculate flux upper limits and present joint upper limits on the gamma-ray luminosity of each GW. Given these limits, we constrain theoretical models for the emission of gamma-rays from binary black hole mergers. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Refraction strategies in stochastic control: optimality for a general Lévy process model

Authors: Kei Noba, José Luis Pérez, Kazutoshi Yamazaki

Abstract: We revisit an absolutely-continuous version of the stochastic control problem driven by a Lévy process. A strategy must be absolutely continuous with respect to the Lebesgue measure and the running cost function is assumed to be convex. We show the optimality of a refraction strategy, which adjusts the drift of the state process at a constant rate whenever it surpasses a certain threshold. The opt… ▽ More We revisit an absolutely-continuous version of the stochastic control problem driven by a Lévy process. A strategy must be absolutely continuous with respect to the Lebesgue measure and the running cost function is assumed to be convex. We show the optimality of a refraction strategy, which adjusts the drift of the state process at a constant rate whenever it surpasses a certain threshold. The optimality holds for a general Lévy process, generalizing the spectrally negative case presented in Hernández-Hernández et al.(2016). △ Less

Submitted 16 August, 2023; originally announced August 2023.

Comments: 24 pages

MSC Class: 60G51; 93E20; 90B05

Search for Eccentric Black Hole Coalescences during the Third Observing Run of LIGO and Virgo

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, H. Abe, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi , et al. (1750 additional authors not shown)

Abstract: Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effect… ▽ More Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass $M>70$ $M_\odot$) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities $0 < e \leq 0.3$ at $0.33$ Gpc$^{-3}$ yr$^{-1}$ at 90\% confidence level. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: 24 pages, 5 figures

Report number: LIGO-P2300080

Spanish Pre-trained BERT Model and Evaluation Data

Authors: José Cañete, Gabriel Chaperon, Rodrigo Fuentes, Jou-Hui Ho, Ho** Kang, Jorge Pérez

Abstract: The Spanish language is one of the top 5 spoken languages in the world. Nevertheless, finding resources to train or evaluate Spanish language models is not an easy task. In this paper we help bridge this gap by presenting a BERT-based language model pre-trained exclusively on Spanish data. As a second contribution, we also compiled several tasks specifically for the Spanish language in a single re… ▽ More The Spanish language is one of the top 5 spoken languages in the world. Nevertheless, finding resources to train or evaluate Spanish language models is not an easy task. In this paper we help bridge this gap by presenting a BERT-based language model pre-trained exclusively on Spanish data. As a second contribution, we also compiled several tasks specifically for the Spanish language in a single repository much in the spirit of the GLUE benchmark. By fine-tuning our pre-trained Spanish model, we obtain better results compared to other BERT-based models pre-trained on multilingual corpora for most of the tasks, even achieving a new state-of-the-art on some of them. We have publicly released our model, the pre-training data, and the compilation of the Spanish benchmarks. △ Less

Submitted 5 August, 2023; originally announced August 2023.

Comments: Published as workshop paper at Practical ML for Develo** Countries Workshop @ ICLR 2020

Edge Dynamic Map architecture for C-ITS applications

Authors: Mikel García, Gorka Velez, Josu Pérez, Ángel Martín, Zaloa Fernández, Naiara Aginako

Abstract: Cooperative Intelligent Transport Systems (C-ITS) create, share and process massive amounts of data which needs to be real-time managed to enable new cooperative and autonomous driving applications. Vehicle-to-Everything (V2X) communications facilitate information exchange among vehicles and infrastructures using various protocols. By providing computer power, data storage, and low latency capabil… ▽ More Cooperative Intelligent Transport Systems (C-ITS) create, share and process massive amounts of data which needs to be real-time managed to enable new cooperative and autonomous driving applications. Vehicle-to-Everything (V2X) communications facilitate information exchange among vehicles and infrastructures using various protocols. By providing computer power, data storage, and low latency capabilities, Multi-access Edge Computing (MEC) has become a key enabling technology in the transport industry. The Local Dynamic Map (LDM) concept has consequently been extended to its utilisation in MECs, into an efficient, collaborative, and centralised Edge Dynamic Map (EDM) for C-ITS applications. This research presents an EDM architecture for V2X communications and implements a real-time proof-of-concept using a Time-Series Database (TSDB) engine to store vehicular message information. The performance evaluation includes data insertion and querying, assessing the system's capacity and scale for low-latency Cooperative Awareness Message (CAM) applications. Traffic simulations using SUMO have been employed to generate virtual routes for thousands of vehicles, demonstrating the transmission of virtual CAM messages to the EDM. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: Accepted in the 26th IEEE International Conference on Intelligent Transportation Systems (ITSC 2023)

An optimal multibarrier strategy for a singular stochastic control problem with a state-dependent reward

Authors: Mauricio Junca, Harold Moreno-Franco, Jose Luis Perez

Abstract: We consider a singular control problem where the reward function depends on the state of the process. The main objective of this paper is to establish sufficient conditions for determining the optimality of the one-barrier and $(2n+1)$-barrier strategies in two distinct scenarios. Firstly, when the uncontrolled process $X$ follows a spectrally negative Lévy process with a Lévy measure defined by a… ▽ More We consider a singular control problem where the reward function depends on the state of the process. The main objective of this paper is to establish sufficient conditions for determining the optimality of the one-barrier and $(2n+1)$-barrier strategies in two distinct scenarios. Firstly, when the uncontrolled process $X$ follows a spectrally negative Lévy process with a Lévy measure defined by a completely monotone density. Secondly, when $X$ is a Brownian motion with a drift. Additionally, we provide an algorithm to compute the barrier values in the latter case. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Termination in Concurrency, Revisited

Authors: Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho

Abstract: Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A variety of type systems that enforce termination by ty** have been developed. In this paper, we rigorously compare several type systems for $π$-calculus proce… ▽ More Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A variety of type systems that enforce termination by ty** have been developed. In this paper, we rigorously compare several type systems for $π$-calculus processes from the unifying perspective of termination. Adopting session types as reference framework, we consider two different type systems: one follows Deng and Sangiorgi's weight-based approach; the other is Caires and Pfenning's Curry-Howard correspondence between linear logic and session types. Our technical results precisely connect these very different type systems, and shed light on the classes of client/server interactions they admit as correct. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Electronic structure and lattice dynamics of 1T-VSe$_2$: origin of the 3D-CDW

Authors: Josu Diego, D. Subires, A. H. Said, D. A. Chaney, A. Korshunov, G. Garbarino, F. Diekmann, K. Mahatha, V. Pardo, J. Strempfer, Pablo J. Bereciartua Perez, S. Francoual, C. Popescu, M. Tallarida, J. Dai, Raffaello Bianco, Lorenzo Monacelli, Matteo Calandra, A. Bosak, Francesco Mauri, K. Rossnagel, Adolfo O. Fumega, Ion Errea, S. Blanco-Canosa

Abstract: In order to characterize in detail the charge density wave (CDW) transition of 1$T$-VSe$_2$, its electronic structure and lattice dynamics are comprehensively studied by means of x-ray diffraction, angle resolved photoemission (ARPES), diffuse and inelastic x-ray scattering (IXS), and state-of-the-art first principles density functional theory calculations. Resonant elastic x-ray scattering (REXS)… ▽ More In order to characterize in detail the charge density wave (CDW) transition of 1$T$-VSe$_2$, its electronic structure and lattice dynamics are comprehensively studied by means of x-ray diffraction, angle resolved photoemission (ARPES), diffuse and inelastic x-ray scattering (IXS), and state-of-the-art first principles density functional theory calculations. Resonant elastic x-ray scattering (REXS) does not show any resonant enhancement at either V or Se K-edges, indicating that the CDW peak describes a purely structural modulation of the electronic ordering. ARPES identifies (i) a pseudogap at T$>$T$_{CDW}$, which leads to a depletion of the density of states in the $ML-M'L'$ plane at T$<$T$_{CDW}$, and (ii) anomalies in the electronic dispersion reflecting a sizable impact of phonons on it. A diffuse scattering precursor, characteristic of soft phonons, is observed at room temperature (RT) and leads to the full collapse of the low-energy phonon ($ω_1$) with propagation vector (0.25 0 -0.3) r.l.u. We show that the frequency and linewidth of this mode are anisotropic in momentum space, reflecting the momentum dependence of the electron-phonon interaction (EPI), hence demonstrating that the origin of the CDW is, to a much larger extent, due to the momentum dependence EPI with a small contribution from nesting. The pressure dependence of the $ω_1$ soft mode remains nearly constant up to 13 GPa at RT, with only a modest softening before the transition to the high-pressure monoclinic $C2/m$ phase. The wide set of experimental data are well captured by our state-of-the art first-principles anharmonic calculations with the inclusion of van der Waals (vdW) corrections in the exchange-correlation functional. The description of the electronics and dynamics of VSe$_2$ reported here adds important pieces of information to the understanding of the electronic modulations of TMDs. △ Less

Submitted 28 July, 2023; originally announced July 2023.

On Coefficient Module of Arbitrary Modules

Authors: M. D. Ferrari, V. H. Jorge Perez, P. H. Lima

Abstract: Let $(R, \mathfrak{m})$ be a $d$-dimensional Noetherian local ring that is formally equidimensional, and let $M$ be an arbitrary $R$-submodule of the free module $F = R^p$ with an analytic spread $s:=s(M)$. In this work, inspired by Herzog-Puthenpurakal-Verma in \cite{herzog}, we show the existence of an unique largest $R$-module $M_{k}$ with $\ell_R(M_{k}/M)<\infty$ and… ▽ More Let $(R, \mathfrak{m})$ be a $d$-dimensional Noetherian local ring that is formally equidimensional, and let $M$ be an arbitrary $R$-submodule of the free module $F = R^p$ with an analytic spread $s:=s(M)$. In this work, inspired by Herzog-Puthenpurakal-Verma in \cite{herzog}, we show the existence of an unique largest $R$-module $M_{k}$ with $\ell_R(M_{k}/M)<\infty$ and $M\subseteq M_{s}\subseteq\cdots\subseteq M_{1}\subseteq M_{0}\subseteq q(M),$ such that $°(P_{M_{k}/M}(n))<s-k,$ where $q(M)$ is the relative integral closure of $M,$ defined by $q(M):=\overline{M}\cap M^{sat},$ where $M^{sat}=\cup_{n\geq 1}(M:_F\mathfrak{m}^n)$ is the saturation of $M$. We also provide a structure theorem for these modules. Furthermore, we establish the existence of coefficient modules between $I(M)M$ and $M$, where $I(M)$ denotes the $0$-th Fitting ideal of $F/M$, and discuss their structural properties. Finally, we present some applications and discuss some properties. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Self-Assembly of Rhamnolipids Bioamphiphiles: Understanding Structure-Properties Relationship using Small-Angle X-Ray Scattering

Authors: Niki Baccile, Alexandre Poirier, Javier Perez, Petra Pernot, Patrick Legriel, Christian C. Blesken, Conrad Müller, Lars Blank, Till Tiso

Abstract: The structure-properties relationship of rhamnolipids, RLs, well known microbial bioamphiphiles (biosurfactants), is exlored in detail by coupling cryogenic transmission electron microscopy (cryo-TEM) and both ex situ and in situ small angle X-ray scattering (SAXS). The self-assembly of three RLs with reasoned variation of their molecular structure (RhaC10, RhaC10C10 and RhaRhaC10C10) and a rhamno… ▽ More The structure-properties relationship of rhamnolipids, RLs, well known microbial bioamphiphiles (biosurfactants), is exlored in detail by coupling cryogenic transmission electron microscopy (cryo-TEM) and both ex situ and in situ small angle X-ray scattering (SAXS). The self-assembly of three RLs with reasoned variation of their molecular structure (RhaC10, RhaC10C10 and RhaRhaC10C10) and a rhamnose-free C10C10 fatty acid is studied in water as a function of pH. It is found that RhaC10 and RhaRhaC10C10 form micelles in a broad pH range and RhaC10C10 undergoes a micelle-to-vesicle transition from basic to acid pH occurring at pH 6.5. Modelling coupled to fitting SAXS data allows a good estimation of the hydrophobic core radius (or length), the hydrophilic shell thickness, the aggregation number and the surface area per RL. The essentially micellar morphology found for RhaC10 and △ Less

Submitted 26 June, 2023; originally announced June 2023.

Optimal dividends and capital injection: A general Lévy model with extensions to regime-switching models

Authors: Dante Mata López, Kei Noba, José-Luis Pérez, Kazutoshi Yamazaki

Abstract: This paper studies a general Lévy process model of the bail-out optimal dividend problem with an exponential time horizon, and further extends it to the regime-switching model. We first show the optimality of a double barrier strategy in the single-regime setting with a concave terminal payoff function. This is then applied to show the optimality of a Markov-modulated double barrier strategy in th… ▽ More This paper studies a general Lévy process model of the bail-out optimal dividend problem with an exponential time horizon, and further extends it to the regime-switching model. We first show the optimality of a double barrier strategy in the single-regime setting with a concave terminal payoff function. This is then applied to show the optimality of a Markov-modulated double barrier strategy in the regime-switching model via contraction map** arguments. We solve these for a general Lévy model with both positive and negative jumps, greatly generalizing the existing results on spectrally one-sided models. △ Less

Submitted 21 June, 2023; originally announced June 2023.

LARG, Language-based Automatic Reward and Goal Generation

Authors: Julien Perez, Denys Proux, Claude Roux, Michael Niemaz

Abstract: Goal-conditioned and Multi-Task Reinforcement Learning (GCRL and MTRL) address numerous problems related to robot learning, including locomotion, navigation, and manipulation scenarios. Recent works focusing on language-defined robotic manipulation tasks have led to the tedious production of massive human annotations to create dataset of textual descriptions associated with trajectories. To levera… ▽ More Goal-conditioned and Multi-Task Reinforcement Learning (GCRL and MTRL) address numerous problems related to robot learning, including locomotion, navigation, and manipulation scenarios. Recent works focusing on language-defined robotic manipulation tasks have led to the tedious production of massive human annotations to create dataset of textual descriptions associated with trajectories. To leverage reinforcement learning with text-based task descriptions, we need to produce reward functions associated with individual tasks in a scalable manner. In this paper, we leverage recent capabilities of Large Language Models (LLMs) and introduce \larg, Language-based Automatic Reward and Goal Generation, an approach that converts a text-based task description into its corresponding reward and goal-generation functions We evaluate our approach for robotic manipulation and demonstrate its ability to train and execute policies in a scalable manner, without the need for handcrafted reward functions. △ Less

Submitted 19 June, 2023; originally announced June 2023.