Showing 101–150 of 779 results for author: Pérez, J

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 mapping 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 24 October, 2024; v1 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.

Enhancing Neural Rendering Methods with Image Augmentations

Authors: Juan C. Pérez, Sara Rojas, Jesus Zarzar, Bernard Ghanem

Abstract: Faithfully reconstructing 3D geometry and generating novel views of scenes are critical tasks in 3D computer vision. Despite the widespread use of image augmentations across computer vision applications, their potential remains underexplored when learning neural rendering methods (NRMs) for 3D scenes. This paper presents a comprehensive analysis of the use of image augmentations in NRMs, where we… ▽ More Faithfully reconstructing 3D geometry and generating novel views of scenes are critical tasks in 3D computer vision. Despite the widespread use of image augmentations across computer vision applications, their potential remains underexplored when learning neural rendering methods (NRMs) for 3D scenes. This paper presents a comprehensive analysis of the use of image augmentations in NRMs, where we explore different augmentation strategies. We found that introducing image augmentations during training presents challenges such as geometric and photometric inconsistencies for learning NRMs from images. Specifically, geometric inconsistencies arise from alterations in shapes, positions, and orientations from the augmentations, disrupting spatial cues necessary for accurate 3D reconstruction. On the other hand, photometric inconsistencies arise from changes in pixel intensities introduced by the augmentations, affecting the ability to capture the underlying 3D structures of the scene. We alleviate these issues by focusing on color manipulations and introducing learnable appearance embeddings that allow NRMs to explain away photometric variations. Our experiments demonstrate the benefits of incorporating augmentations when learning NRMs, including improved photometric quality and surface reconstruction, as well as enhanced robustness against data quality issues, such as reduced training data and image degradations. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Monitoring Blackbox Implementations of Multiparty Session Protocols

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

Abstract: We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types. We improve over prior works by (i) supporting components whose exact specification is unknown ("blackboxes") and (ii) covering protocols that cannot be analyzed by existing techniques. We first give a procedure for syn… ▽ More We present a framework for the distributed monitoring of networks of components that coordinate by message-passing, following multiparty session protocols specified as global types. We improve over prior works by (i) supporting components whose exact specification is unknown ("blackboxes") and (ii) covering protocols that cannot be analyzed by existing techniques. We first give a procedure for synthesizing monitors for blackboxes from global types, and precisely define when a blackbox correctly satisfies its global type. Then, we prove that monitored blackboxes are sound (they correctly follow the protocol) and transparent (blackboxes with and without monitors are behaviorally equivalent). △ Less

Submitted 3 October, 2023; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: Full version with appendices of our RV'23 paper

Generation of Probabilistic Synthetic Data for Serious Games: A Case Study on Cyberbullying

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

Abstract: Synthetic data generation has been a growing area of research in recent years. However, its potential applications in serious games have not been thoroughly explored. Advances in this field could anticipate data modelling and analysis, as well as speed up the development process. To try to fill this gap in the literature, we propose a simulator architecture for generating probabilistic synthetic d… ▽ More Synthetic data generation has been a growing area of research in recent years. However, its potential applications in serious games have not been thoroughly explored. Advances in this field could anticipate data modelling and analysis, as well as speed up the development process. To try to fill this gap in the literature, we propose a simulator architecture for generating probabilistic synthetic data for serious games based on interactive narratives. This architecture is designed to be generic and modular so that it can be used by other researchers on similar problems. To simulate the interaction of synthetic players with questions, we use a cognitive testing model based on the Item Response Theory framework. We also show how probabilistic graphical models (in particular Bayesian networks) can be used to introduce expert knowledge and external data into the simulation. Finally, we apply the proposed architecture and methods in a use case of a serious game focused on cyberbullying. We perform Bayesian inference experiments using a hierarchical model to demonstrate the identifiability and robustness of the generated data. △ Less

Submitted 3 July, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Journal ref: Knowledge-Based Systems, Volume 286, 2024, pp. 111440, 2024

The ancestral selection graph for a $Λ$-asymmetric Moran model

Authors: Adrián González Casanova, Noemi Kurt, José Luis Pérez

Abstract: Motivated by the question of the impact of selective advantage in populations with skewed reproduction mechanims, we study a Moran model with selection. We assume that there are two types of individuals, where the reproductive success of one type is larger than the other. The higher reproductive success may stem from either more frequent reproduction, or from larger numbers of offspring, and is en… ▽ More Motivated by the question of the impact of selective advantage in populations with skewed reproduction mechanims, we study a Moran model with selection. We assume that there are two types of individuals, where the reproductive success of one type is larger than the other. The higher reproductive success may stem from either more frequent reproduction, or from larger numbers of offspring, and is encoded in a measure $Λ$ for each of the two types. Our approach consists of constructing a $Λ$-asymmetric Moran model in which individuals of the two populations compete, rather than considering a Moran model for each population. Under certain conditions, that we call the "partial order of adaptation", we can couple these measures. This allows us to construct the central object of this paper, the $Λ-$asymmetric ancestral selection graph, leading to a pathwise duality of the forward in time $Λ$-asymmetric Moran model with its ancestral process. Interestingly, the construction also provides a connection to the theory of optimal transport. We apply the ancestral selection graph in order to obtain scaling limits of the forward and backward processes, and note that the frequency process converges to the solution of an SDE with discontinous paths. Finally, we derive a Griffiths representation for the generator of the SDE and use it to find a semi-explicit formula for the probability of fixation of the less beneficial of the two types. △ Less

Submitted 5 January, 2024; v1 submitted 31 May, 2023; originally announced June 2023.

Comments: Substantially revised. The results are unchanged with respect to v1, but the presentation has been changed. References added and corrected

Debunking Cantor: New Set-Theoretical and Logical Considerations

Authors: Juan A Perez

Abstract: For more than a century, Cantor's theory of transfinite numbers has played a pivotal role in set theory, with ramifications that extend to many areas of mathematics. This article extends earlier findings with a fresh look at the critical facts of Cantor's theory: i) Cantor's widely renowned Diagonalization Argument (CDA) is fully refuted by a set of counter-examples that expose the fallacy of this… ▽ More For more than a century, Cantor's theory of transfinite numbers has played a pivotal role in set theory, with ramifications that extend to many areas of mathematics. This article extends earlier findings with a fresh look at the critical facts of Cantor's theory: i) Cantor's widely renowned Diagonalization Argument (CDA) is fully refuted by a set of counter-examples that expose the fallacy of this proof. ii) The logical inconsistencies of CDA are revisited, exposing the short-comings of CDA's implementation of the method of proof by contradiction. iii) The denumerability of the power set of the set of the natural numbers, P(N), is substantiated by a proof that takes full account of all the infinite subsets of N. Such a result confirms the denumerability of the set of the real numbers, R, and with it the countable nature of the continuum. iv) Given that the denumerable character of (probably) all infinite sets makes their comparison in terms of one-to-one correspondences a rather pointless exercise, a new concept of relative cardinality is introduced which facilitates a quantitative evaluation of their different magnitudes. △ Less

Submitted 14 March, 2023; originally announced May 2023.

Comments: 22 pages, 2 figures, 1 table

MSC Class: Primary 03B10; 03B30; 03B50; Secondary 03F07; 03F40

Resonant elastic X-ray scattering of antiferromagnetic superstructures in EuPtSi$_{3}$

Authors: Wolfgang Simeth, Andreas Bauer, Christian Franz, Aisha Aqeel, Pablo J. Bereciartua Perez, Jennifer A. Sears, Sonia Francoual, Christian H. Back, Christian Pfleiderer

Abstract: We report resonant elastic X-ray scattering (REXS) of long-range magnetic order in EuPtSi$_{\text{3}}$, combining different scattering geometries with full linear polarization analysis to unambiguously identify magnetic scattering contributions. At low temperatures, EuPtSi$_{\text{3}}$ stabilizes type A antiferromagnetism featuring various long-wavelength modulations. For magnetic fields applied i… ▽ More We report resonant elastic X-ray scattering (REXS) of long-range magnetic order in EuPtSi$_{\text{3}}$, combining different scattering geometries with full linear polarization analysis to unambiguously identify magnetic scattering contributions. At low temperatures, EuPtSi$_{\text{3}}$ stabilizes type A antiferromagnetism featuring various long-wavelength modulations. For magnetic fields applied in the hard magnetic basal plane, well-defined regimes of cycloidal, conical, and fan-like superstructures may be distinguished that encompass a pocket of commensurate type A order without superstructure. For magnetic field applied along the easy axis, the phase diagram comprises the cycloidal and conical superstructures only. Highlighting the power of polarized REXS, our results reveal a combination of magnetic phases that suggest a highly unusual competition between antiferromagnetic exchange interactions with Dzyaloshinsky--Moriya spin--orbit coupling of similar strength. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies

Authors: James Paul Mason, Alexandra Werth, Colin G. West, Allison A. Youngblood, Donald L. Woodraska, Courtney Peck, Kevin Lacjak, Florian G. Frick, Moutamen Gabir, Reema A. Alsinan, Thomas Jacobsen, Mohammad Alrubaie, Kayla M. Chizmar, Benjamin P. Lau, Lizbeth Montoya Dominguez, David Price, Dylan R. Butler, Connor J. Biron, Nikita Feoktistov, Kai Dewey, N. E. Loomis, Michal Bodzianowski, Connor Kuybus, Henry Dietrick, Aubrey M. Wolfe , et al. (977 additional authors not shown)

Abstract: Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th… ▽ More Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 1,002 authors, 14 pages, 4 figures, 3 tables, published by The Astrophysical Journal on 2023-05-09, volume 948, page 71

Running vacuum in the Universe: phenomenological status in light of the latest observations, and its impact on the $σ_8$ and $H_0$ tensions

Authors: Joan Sola Peracaula, Adria Gomez-Valent, Javier de Cruz Perez, Cristian Moreno-Pulido

Abstract: A substantial body of phenomenological and theoretical work over the last few years strengthens the possibility that the vacuum energy density (VED) of the universe is dynamical, and in particular that it adopts the `running vacuum model' (RVM) form, in which the VED evolves mildly as $δρ_{\rm vac}(H)\sim ν_{\rm eff} m_{\rm Pl}^2{\cal O}\left(H^2\right)$, where $H$ is the Hubble rate and… ▽ More A substantial body of phenomenological and theoretical work over the last few years strengthens the possibility that the vacuum energy density (VED) of the universe is dynamical, and in particular that it adopts the `running vacuum model' (RVM) form, in which the VED evolves mildly as $δρ_{\rm vac}(H)\sim ν_{\rm eff} m_{\rm Pl}^2{\cal O}\left(H^2\right)$, where $H$ is the Hubble rate and $ν_{\rm eff}$ is a (small) free parameter. This dynamical scenario is grounded on recent studies of quantum field theory (QFT) in curved spacetime and also on string theory. It turns out that what we call the `cosmological constant', $Λ$, is no longer a rigid parameter but the nearly sustained value of $8πG(H)ρ_{\rm vac}(H)$ around (any) given epoch $H(t)$, where $G(H)$ is the gravitational coupling, which can also be very mildly running (logarithmically). Of particular interest is the possibility suggested in past works that such a running may help to cure the cosmological tensions afflicting the $Λ$CDM. In the current study, we reanalyze it in full and we find it becomes further buttressed. Using the modern cosmological data, namely a compilation of the latest $SNIa+BAO+$H(z)$+LSS+CMB$ observations, we probe to which extent the RVM provides a quality fit better than the concordance $Λ$CDM model, paying particular emphasis on its impact on the $σ_8$ and $H_0$ tensions. We utilize the Einstein-Boltzmann system solver $CLASS$ and the Monte Carlo sampler $MontePython$ for the statistical analysis, as well as the statistical $DIC$ criterion to compare the running vacuum against the rigid vacuum ($ν_{\rm eff} = 0$). We show that with a tiny amount of vacuum dynamics ($|ν_{\rm eff}|\ll 1$) the global fit can improve significantly with respect to the $Λ$CDM and the mentioned tensions may subside to inconspicuous levels. △ Less

Submitted 25 May, 2023; v1 submitted 21 April, 2023; originally announced April 2023.

Comments: 47 pages, 11 Tables and 4 Figures. Expanded discussion and references added. Version accepted for publication in Universe

Journal ref: Universe 2023, Volume 9, Issue 6, 262

Residence Time Distribution Analysis of Aerosol Transport and Associated Healthcare Worker Exposure in a Mock Hospital Isolation Room via Computational Fluid Dynamics

Authors: Anthony J. Perez, Juan Penaloza-Gutierrez, Tauhidur Rahman, Andrés E. Tejada-Martínez

Abstract: The transport of aerosol discharge in the form of a passive scalar or tracer discharged from a single cough of a patient in a ventilated mock hospital isolation room is investigated via computational fluid dynamics (CFD). Healthcare worker (HCW) exposure to the aerosol is assessed through residence time analysis of the aerosol transported through the imperfect mixing conditions in the room. Flow f… ▽ More The transport of aerosol discharge in the form of a passive scalar or tracer discharged from a single cough of a patient in a ventilated mock hospital isolation room is investigated via computational fluid dynamics (CFD). Healthcare worker (HCW) exposure to the aerosol is assessed through residence time analysis of the aerosol transported through the imperfect mixing conditions in the room. Flow features responsible for imperfect mixing, including short-circuiting or channeling between the patient and exhaust air vent (which leads to rapid expulsion of aerosols from the room), dead zones or re-circulation flow regions in the room, and the turbulent diffusion or spreading of aerosol across the room, are shown to play important factors determining the HCW exposure to the aerosol. The importance of each of these factors varies depending on the ventilation rate (ACH) and the placement of the exhaust air vent relative to the patient. For example, reducing ACH from 12 to 6 diminishes the importance of these flow features and the aerosol transport may be approximately modeled through the classical perfectly mixed assumption. At ACH = 12, especially when the ceiling exhaust is placed above the patient and the HCW, short-circuiting is the dominant feature in determining HCW exposure. But when the ceiling exhaust is placed away from the patient and HCW, the short-circuiting is weakened and the influence of dead zones, which trap aerosol, and turbulent diffusion, which allow the aerosol to escape, becomes more important. It is shown that the importance of these flow features and the resulting impact on HCW exposure can be quantified in terms of residence time distribution (RTD) metrics such as mean residence time and cumulative RTD. The results suggest that residence time analysis is a useful technique to be employed when designing a hospital isolation room and assessing HCW exposure to aerosols. △ Less

Submitted 5 March, 2023; originally announced April 2023.

Comments: 37 pages, Under review in the Journal of Occupational and Environmental Hygiene

Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network

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

Abstract: Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated… ▽ More Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated signals from strong lensing by 1) performing targeted searches for subthreshold signals, 2) calculating the degree of overlap amongst the intrinsic parameters and sky location of pairs of signals, 3) comparing the similarities of the spectrograms amongst pairs of signals, and 4) performing dual-signal Bayesian analysis that takes into account selection effects and astrophysical knowledge. We also search for distortions to the gravitational waveform caused by 1) frequency-independent phase shifts in strongly lensed images, and 2) frequency-dependent modulation of the amplitude and phase due to point masses. None of these searches yields significant evidence for lensing. Finally, we use the non-detection of gravitational-wave lensing to constrain the lensing rate based on the latest merger-rate estimates and the fraction of dark matter composed of compact objects. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 28 pages, 11 figures

Report number: LIGO-P2200031

Evaluation of Test-Time Adaptation Under Computational Time Constraints

Authors: Motasem Alfarra, Hani Itani, Alejandro Pardo, Shyma Alhuwaider, Merey Ramazanova, Juan C. Pérez, Zhipeng Cai, Matthias Müller, Bernard Ghanem

Abstract: This paper proposes a novel online evaluation protocol for Test Time Adaptation (TTA) methods, which penalizes slower methods by providing them with fewer samples for adaptation. TTA methods leverage unlabeled data at test time to adapt to distribution shifts. Although many effective methods have been proposed, their impressive performance usually comes at the cost of significantly increased compu… ▽ More This paper proposes a novel online evaluation protocol for Test Time Adaptation (TTA) methods, which penalizes slower methods by providing them with fewer samples for adaptation. TTA methods leverage unlabeled data at test time to adapt to distribution shifts. Although many effective methods have been proposed, their impressive performance usually comes at the cost of significantly increased computation budgets. Current evaluation protocols overlook the effect of this extra computation cost, affecting their real-world applicability. To address this issue, we propose a more realistic evaluation protocol for TTA methods, where data is received in an online fashion from a constant-speed data stream, thereby accounting for the method's adaptation speed. We apply our proposed protocol to benchmark several TTA methods on multiple datasets and scenarios. Extensive experiments show that, when accounting for inference speed, simple and fast approaches can outperform more sophisticated but slower methods. For example, SHOT from 2020, outperforms the state-of-the-art method SAR from 2023 in this setting. Our results reveal the importance of developing practical TTA methods that are both accurate and efficient. △ Less

Submitted 23 May, 2024; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: Accepted to ICML 2024

Re-ReND: Real-time Rendering of NeRFs across Devices

Authors: Sara Rojas, Jesus Zarzar, Juan Camilo Perez, Artsiom Sanakoyeu, Ali Thabet, Albert Pumarola, Bernard Ghanem

Abstract: This paper proposes a novel approach for rendering a pre-trained Neural Radiance Field (NeRF) in real-time on resource-constrained devices. We introduce Re-ReND, a method enabling Real-time Rendering of NeRFs across Devices. Re-ReND is designed to achieve real-time performance by converting the NeRF into a representation that can be efficiently processed by standard graphics pipelines. The propose… ▽ More This paper proposes a novel approach for rendering a pre-trained Neural Radiance Field (NeRF) in real-time on resource-constrained devices. We introduce Re-ReND, a method enabling Real-time Rendering of NeRFs across Devices. Re-ReND is designed to achieve real-time performance by converting the NeRF into a representation that can be efficiently processed by standard graphics pipelines. The proposed method distills the NeRF by extracting the learned density into a mesh, while the learned color information is factorized into a set of matrices that represent the scene's light field. Factorization implies the field is queried via inexpensive MLP-free matrix multiplications, while using a light field allows rendering a pixel by querying the field a single time-as opposed to hundreds of queries when employing a radiance field. Since the proposed representation can be implemented using a fragment shader, it can be directly integrated with standard rasterization frameworks. Our flexible implementation can render a NeRF in real-time with low memory requirements and on a wide range of resource-constrained devices, including mobiles and AR/VR headsets. Notably, we find that Re-ReND can achieve over a 2.6-fold increase in rendering speed versus the state-of-the-art without perceptible losses in quality. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Alpha-stable branching and beta-Frequency processes, beyond the IID assumption

Authors: Adrián González Casanova, Imanol Nuñez, J. -L. Pérez

Abstract: Birkner et al. obtained necessary and sufficient conditions for the frequency between two independent and identically distributed continuous-state branching processes time-changed by a functional of the total mass process to be a Markov process. Foucart et al. extended this result to continuous-state branching processes with immigration. We generalize these results by dropping the independent and… ▽ More Birkner et al. obtained necessary and sufficient conditions for the frequency between two independent and identically distributed continuous-state branching processes time-changed by a functional of the total mass process to be a Markov process. Foucart et al. extended this result to continuous-state branching processes with immigration. We generalize these results by dropping the independent and identically distributed assumption. Our result clarifies under which conditions a multi-type $Λ$-coalescent can be constructed from a multi-type branching process by a time change using the total mass. Finally, we address a problem formulated by Griffiths, by clarifying the relation between 2-type $α$-stable continuous-state branching processes and 2-type $β$-Fleming--Viot processes with mutation and selection. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Deformation mechanisms in PBT at elevated temperatures

Authors: Laurent Farge, François Tournilhac, Javier Perez, Sandrine Hoppe, Isabelle Bihannic, Jérémy Bianchin, Julien Boisse, Stéphane André

Abstract: The plastic deformation of Polybutylene terephthalate (PBT) is investigated at three temperatures (120$^\circ$C, 150$^\circ$C, 180$^\circ$C) representative of the span between glass transition, $T_g \approx 55^\circ$C and melting $T_m \approx 225^\circ$C temperatures. The mechanisms of tensile deformation are analyzed as a function of the true strain using a combination of temperature-controlled t… ▽ More The plastic deformation of Polybutylene terephthalate (PBT) is investigated at three temperatures (120$^\circ$C, 150$^\circ$C, 180$^\circ$C) representative of the span between glass transition, $T_g \approx 55^\circ$C and melting $T_m \approx 225^\circ$C temperatures. The mechanisms of tensile deformation are analyzed as a function of the true strain using a combination of temperature-controlled tensile experiments coupled with 2D digital image correlation and synchrotron sourced wide angle (WAXS) and small angle (SAXS) X-ray scattering the amorphous and crystalline regions causing the transition between polymorphs, respectively from the isotropic amorphous phase to a smectic phase and from the $α$ crystalline phase to the $β$ phase. △ Less

Submitted 13 February, 2023; originally announced March 2023.

High-Order Elasticity Interpolants for Microstructure Simulation

Authors: Antoine Chan-Lock, Jesus Perez, Miguel Otaduy

Abstract: We propose a novel formulation of elastic materials based on high-order interpolants, which fits accurately complex elastic behaviors, but remains conservative. The proposed high-order interpolants can be regarded as a high-dimensional extension of radial basis functions, and they allow the interpolation of derivatives of elastic energy, in particular stress and stiffness. Given the proposed param… ▽ More We propose a novel formulation of elastic materials based on high-order interpolants, which fits accurately complex elastic behaviors, but remains conservative. The proposed high-order interpolants can be regarded as a high-dimensional extension of radial basis functions, and they allow the interpolation of derivatives of elastic energy, in particular stress and stiffness. Given the proposed parameterization of elasticity models, we devise an algorithm to find optimal model parameters based on training data. We have tested our methodology for the homogenization of 2D microstructures, and we show that it succeeds to match complex behaviors with high accuracy. △ Less

Submitted 22 February, 2023; originally announced March 2023.

Comments: Published at Computer Graphics Forum (Proc. of ACM/SIGGRAPH SCA), 2022. Project website http://mslab.es/projects/HiOInterp/

QuickCent: a fast and frugal heuristic for harmonic centrality estimation on scale-free networks

Authors: Francisco Plana, Andrés Abeliuk, Jorge Pérez

Abstract: We present a simple and quick method to approximate network centrality indexes. Our approach, called QuickCent, is inspired by so-called fast and frugal heuristics, which are heuristics initially proposed to model some human decision and inference processes. The centrality index that we estimate is the harmonic centrality, which is a measure based on shortest-path distances, so infeasible to compu… ▽ More We present a simple and quick method to approximate network centrality indexes. Our approach, called QuickCent, is inspired by so-called fast and frugal heuristics, which are heuristics initially proposed to model some human decision and inference processes. The centrality index that we estimate is the harmonic centrality, which is a measure based on shortest-path distances, so infeasible to compute on large networks. We compare QuickCent with known machine learning algorithms on synthetic data generated with preferential attachment, and some empirical networks. Our experiments show that QuickCent is able to make estimates that are competitive in accuracy with the best alternative methods tested, either on synthetic scale-free networks or empirical networks. QuickCent has the feature of achieving low error variance estimates, even with a small training set. Moreover, QuickCent is comparable in efficiency -- accuracy and time cost -- to those produced by more complex methods. We discuss and provide some insight into how QuickCent exploits the fact that in some networks, such as those generated by preferential attachment, local density measures such as the in-degree, can be a proxy for the size of the network region to which a node has access, opening up the possibility of approximating centrality indices based on size such as the harmonic centrality. Our initial results show that simple heuristics and biologically inspired computational methods are a promising line of research in the context of network measure estimations. △ Less

Submitted 9 June, 2024; v1 submitted 1 March, 2023; originally announced March 2023.

Running vacuum in Brans-Dicke theory: a possible cure for the $σ_8$ and $H_0$ tensions

Authors: Javier de Cruz Perez, Joan Sola Peracaula

Abstract: Extensions of the gravitational framework of Brans-Dicke (BD) are studied by considering two different scenarios: i) `BD-$Λ$CDM', in which a rigid cosmological constant, $Λ$, is included, thus constituting a BD version of the vanilla concordance $Λ$CDM model (the current standard model of cosmology with flat three-dimensional geometry), and ii) `BD-RVM', a generalization of i) in which the vacuum… ▽ More Extensions of the gravitational framework of Brans-Dicke (BD) are studied by considering two different scenarios: i) `BD-$Λ$CDM', in which a rigid cosmological constant, $Λ$, is included, thus constituting a BD version of the vanilla concordance $Λ$CDM model (the current standard model of cosmology with flat three-dimensional geometry), and ii) `BD-RVM', a generalization of i) in which the vacuum energy density (VED), $ρ_{\textrm{vac}}$, is a running quantity evolving with the square of the Hubble rate: $δρ_{\textrm{vac}}(H)\propto ν\, m^2_{\textrm{Pl}} (H^2-H_0^2)$ (with $|ν|\ll 1$). This dynamical scenario is motivated by recent studies of quantum field theory (QFT) in curved spacetime, which lead to the running vacuum model (RVM). We solve the background as well as the perturbation equations for each cosmological model and test their performance against the modern wealth of cosmological data, namely a compilation of the latest SNIa+$H(z)$+BAO+LSS+CMB observations. We utilize the AIC and DIC statistical information criteria in order to determine if they can fit better the observations than the concordance model. The two BD extensions are tested by considering three different datasets. According to the AIC and DIC criteria, both BD extensions i) and ii) are competitive, but the second one (the BD-RVM scenario) is particularly favored when it is compared with the vanilla model. This fact may indicate that the current observations favor a mild dynamical evolution of the Newtonian coupling $G_N$ as well as of the VED. This is in agreement with recent studies suggesting that the combination of these two features can be favorable for a possible resolution of the $σ_8$ and $H_0$ tensions. In this work, we show that the Brans-Dicke theory with running vacuum has the potential to alleviate the two tensions at the same time. △ Less

Submitted 19 December, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Comments: Accepted for publication in Phys.Dark Univ., extended discussions, references added, additional figures and tables, 33 pages, 14 figures

Journal ref: Physics of the Dark Universe 43 (2024) 101406

Open data from the third observing run of LIGO, Virgo, KAGRA and GEO

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R. Abbott, H. Abe, F. Acernese, K. Ackley, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi, A. Al-Jodah, C. Alléné, A. Allocca , et al. (1719 additional authors not shown)

Abstract: The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasti… ▽ More The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasting 2 weeks. In this paper we describe these data and various other science products that can be freely accessed through the Gravitational Wave Open Science Center at https://gwosc.org. The main dataset, consisting of the gravitational-wave strain time series that contains the astrophysical signals, is released together with supporting data useful for their analysis and documentation, tutorials, as well as analysis software packages. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: 27 pages, 3 figures

Report number: LIGO-P2200316

Serious Games and AI: Challenges and Opportunities for Computational Social Science

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

Abstract: The video game industry plays an essential role in the entertainment sphere of our society. However, from Monopoly to Flight Simulators, serious games have also been appealing tools for learning a new language, conveying values, or training skills. Furthermore, the resurgence of Artificial Intelligence (AI) and data science in the last decade has created a unique opportunity since the amount of da… ▽ More The video game industry plays an essential role in the entertainment sphere of our society. However, from Monopoly to Flight Simulators, serious games have also been appealing tools for learning a new language, conveying values, or training skills. Furthermore, the resurgence of Artificial Intelligence (AI) and data science in the last decade has created a unique opportunity since the amount of data collected through a game is immense, as is the amount of data needed to feed such AI algorithms. This paper aims to identify relevant research lines using Serious Games as a novel research tool, especially in Computational Social Sciences. To contextualize, we also conduct a (non-systematic) literature review of this field. We conclude that the synergy between games and data can foster the use of AI for good and open up new strategies to empower humanity and support social research with novel computational tools. We also discuss the challenges and new opportunities that arise from aspiring to such lofty goals. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Journal ref: IEEE Access, vol. 11, pp. 62051-62061, 2023

Harmonizing DevOps Taxonomies -- Theory Operationalization and Testing

Authors: Isaque Alves, Jorge Pérez, Jessica Díaz, Daniel López-Fernández, Manuel Pais, Fabio Kon, Carla Rocha

Abstract: DevOps responds the growing need of companies to streamline the software development process and, thus, has experienced widespread adoption in the past years. However, the successful adoption of DevOps requires companies to address significant cultural and organizational changes. Understanding the organizational structure and characteristics of teams adopting DevOps is key, and comprehending the e… ▽ More DevOps responds the growing need of companies to streamline the software development process and, thus, has experienced widespread adoption in the past years. However, the successful adoption of DevOps requires companies to address significant cultural and organizational changes. Understanding the organizational structure and characteristics of teams adopting DevOps is key, and comprehending the existing theories and representations of team taxonomies is critical to guide companies in a more systematic and structured DevOps adoption process. As there was no unified theory to explain the different topologies of DevOps teams, in previous work, we built a theory to represent the organizational structure and characteristics of teams adopting DevOps, harmonizing the existing knowledge. In this paper, we expand the theory-building in the context of DevOps Team Taxonomies. Our main contributions are presenting and executing the Operationalization and Testing phases for a continuously evolving theory on DevOps team structures. We operationalize the constructs and propositions that make up our theory to generate empirically testable hypotheses to confirm or disconfirm the theory. Specifically, we focus on the research operation side of the theory-research cycle: identifying propositions, deriving empirical indicators from constructs, establishing testable hypotheses, and testing them. We performed the operationalization and testing of the DevOps Team Taxonomies Theory, which resulted in an empirically verified and trustworthy theory. Our theory has 28 propositions representing this model that map properties to the constructs of our theory. The operationalization generated 34 testable hypotheses, and we thoroughly tested 11 of them. The testing has proved the effectiveness of the theoretical framework, while the operationalization of the constructs has enhanced the initial framework. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: Submitted to Empirical Software Engineering

Optimizing the use of pressurized bladders for the assembly of HL-LHC MQXFB magnets

Authors: J. Ferradas Troitino, G. Ambrosio, N. Bourcey, D. Cheng, A. Devred, H. Felice, P. Ferracin, M. Guinchard, S. Izquierdo Bermudez, K. Kandemir, N. Lusa, A. Milanese, S. Mugnier, J. C. Perez, E. Todesco, S. Triquet, G. Vallone

Abstract: The use of pressurized bladders for stress control of superconducting magnets was firstly proposed at Lawrence Berkeley National Laboratory (LBNL) in the early 2000s. Since then, the so-called bladders and keys procedure has become one of the reference techniques for the assembly of high-field accelerator magnets and demonstrators. Exploiting the advantages of this method is today of critical impo… ▽ More The use of pressurized bladders for stress control of superconducting magnets was firstly proposed at Lawrence Berkeley National Laboratory (LBNL) in the early 2000s. Since then, the so-called bladders and keys procedure has become one of the reference techniques for the assembly of high-field accelerator magnets and demonstrators. Exploiting the advantages of this method is today of critical importance for Nb3Sn-based accelerator magnets, whose production requires the preservation of tight stress targets in the superconducting coils to limit the effects of the strain sensitivity and brittleness of the conductor. The present manuscript reports on the results of an experimental campaign focused on the optimization of the bladders and keys assembly process in the MQXFB quadrupoles. These 7.2 m long magnets shall be among the first Nb3Sn cryomagnets to be installed in a particle accelerator as a part of the High Luminosity upgrade of the LHC. One of the main practical implications of the bladders technique, especially important when applied to long magnets like MQXFB, is that to insert the loading keys, the opening of a certain clearance in the support structure is required. The procedure used so far for MQXF magnets involved an overstress in the coils during bladder inflation. The work presented here shows that such an overshoot can be eliminated thanks to additional bladders properly positioned in the structure. This optimized method was validated in a short model magnet and in a full-length mechanical model, becoming the new baseline for the series production at CERN. Furthermore, the results are supported by numerical predictions using Finite Element models. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Report number: FERMILAB-PUB-22-911-TD

Challenges and Lessons Learned from fabrication, testing and analysis of eight MQXFA Low Beta Quadrupole magnets for HL-LHC

Authors: G. Ambrosio, K. Amm, M. Anerella, G. Apollinari, G. Arnau Izquierdo, M. Baldini, A. Ballarino, C. Barth, A. Ben Yahia, J. Blowers, P. Borges De Sousa, R. Bossert, B. Bulat, R. Carcagno, D. W. Cheng, G. Chlachidze, L. Cooley, M. Crouvizier, A. Devred, J. DiMarco, S. Feher, P. Ferracin, J. Ferradas Troitino, L. Garcia Fajardo, S. Gourlay , et al. (33 additional authors not shown)

Abstract: By the end of October 2022, the US HL-LHC Accelerator Upgrade Project (AUP) had completed fabrication of ten MQXFA magnets and tested eight of them. The MQXFA magnets are the low beta quadrupole magnets to be used in the Q1 and Q3 Inner Triplet elements of the High Luminosity LHC. This AUP effort is shared by BNL, Fermilab, and LBNL, with strand verification tests at NHMFL. An important step of th… ▽ More By the end of October 2022, the US HL-LHC Accelerator Upgrade Project (AUP) had completed fabrication of ten MQXFA magnets and tested eight of them. The MQXFA magnets are the low beta quadrupole magnets to be used in the Q1 and Q3 Inner Triplet elements of the High Luminosity LHC. This AUP effort is shared by BNL, Fermilab, and LBNL, with strand verification tests at NHMFL. An important step of the AUP QA plan is the testing of MQXFA magnets in a vertical cryostat at BNL. The acceptance criteria that could be tested at BNL were all met by the first four production magnets (MQXFA03-MQXFA06). Subsequently, two magnets (MQXFA07 and MQXFA08) did not meet some criteria and were disassembled. Lessons learned during the disassembly of MQXFA07 caused a revision to the assembly specifications that were used for MQXFA10 and subsequent magnets. In this paper, we present a summary of: 1) the fabrication and test data of all the MQXFA magnets; 2) the analysis of MQXFA07/A08 test results with characterization of the limiting mechanism; 3) the outcome of the investigation, including the lessons learned during MQXFA07 disassembly; and 4) the finite element analysis correlating observations with test performance. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Report number: FERMILAB-PUB-22-855-TD

Lévy bandits under Poissonian decision times

Authors: José-Luis Pérez, Kazutoshi Yamazaki

Abstract: We consider a version of the continuous-time multi-armed bandit problem where decision opportunities arrive at Poisson arrival times, and study its Gittins index policy. When driven by spectrally one-sided Lévy processes, the Gittins index can be written explicitly in terms of the scale function, and is shown to converge to that in the classical Lévy bandit of Kaspi and Mandelbaum (1995). We consider a version of the continuous-time multi-armed bandit problem where decision opportunities arrive at Poisson arrival times, and study its Gittins index policy. When driven by spectrally one-sided Lévy processes, the Gittins index can be written explicitly in terms of the scale function, and is shown to converge to that in the classical Lévy bandit of Kaspi and Mandelbaum (1995). △ Less

Submitted 18 January, 2023; originally announced January 2023.

MSC Class: 60G51; 93E20; 90B36

A Minimal Formulation of Session Types: The Sessions of Trios in Concert

Authors: Alen Arslanagić, Jorge A. Pérez, Dan Frumin

Abstract: Session types are a type-based approach to the verification of message-passing programs. They specify communication structures essential to enforcing program correctness; by relying on sequencing constructs, a session type can precisely describe the intended order of communication actions through a channel. In this paper we study a fragment of session types that makes a very limited use of seque… ▽ More Session types are a type-based approach to the verification of message-passing programs. They specify communication structures essential to enforcing program correctness; by relying on sequencing constructs, a session type can precisely describe the intended order of communication actions through a channel. In this paper we study a fragment of session types that makes a very limited use of sequencing; we call it minimal session types. In the context of a core process calculus with sessions and higher-order concurrency, we establish two technical results. First, we prove that every process P typable with standard session types can be compiled down into a process D(P) typable with minimal session types. Second, we prove that P and D(P) are behaviorally equivalent. These results show that having sequencing in both processes and session types is convenient, but that only sequencing in processes is truly indispensable, as it can correctly codify sequencing in types. Our developments draw inspiration from work by Parrow on behavior-preserving decompositions of untyped processes using trios, i.e., processes with exactly three nested prefixes. By casting Parrow's approach in the realm of typed processes, our developments reveal a conceptually simple formulation of session types, supported by static and dynamic correctness results. △ Less

Submitted 12 May, 2025; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: arXiv admin note: text overlap with arXiv:1906.03836

Parker Solar Probe: Four Years of Discoveries at Solar Cycle Minimum

Authors: N. E. Raouafi, L. Matteini, J. Squire, S. T. Badman, M. Velli, K. G. Klein, C. H. K. Chen, W. H. Matthaeus, A. Szabo, M. Linton, R. C. Allen, J. R. Szalay, R. Bruno, R. B. Decker, M. Akhavan-Tafti, O. V. Agapitov, S. D. Bale, R. Bandyopadhyay, K. Battams, L. Berčič, S. Bourouaine, T. Bowen, C. Cattell, B. D. G. Chandran, R. Chhiber , et al. (32 additional authors not shown)

Abstract: Launched on 12 Aug. 2018, NASA's Parker Solar Probe had completed 13 of its scheduled 24 orbits around the Sun by Nov. 2022. The mission's primary science goal is to determine the structure and dynamics of the Sun's coronal magnetic field, understand how the solar corona and wind are heated and accelerated, and determine what processes accelerate energetic particles. Parker Solar Probe returned a… ▽ More Launched on 12 Aug. 2018, NASA's Parker Solar Probe had completed 13 of its scheduled 24 orbits around the Sun by Nov. 2022. The mission's primary science goal is to determine the structure and dynamics of the Sun's coronal magnetic field, understand how the solar corona and wind are heated and accelerated, and determine what processes accelerate energetic particles. Parker Solar Probe returned a treasure trove of science data that far exceeded quality, significance, and quantity expectations, leading to a significant number of discoveries reported in nearly 700 peer-reviewed publications. The first four years of the 7-year primary mission duration have been mostly during solar minimum conditions with few major solar events. Starting with orbit 8 (i.e., 28 Apr. 2021), Parker flew through the magnetically dominated corona, i.e., sub-Alfvénic solar wind, which is one of the mission's primary objectives. In this paper, we present an overview of the scientific advances made mainly during the first four years of the Parker Solar Probe mission, which go well beyond the three science objectives that are: (1) Trace the flow of energy that heats and accelerates the solar corona and solar wind; (2) Determine the structure and dynamics of the plasma and magnetic fields at the sources of the solar wind; and (3) Explore mechanisms that accelerate and transport energetic particles. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Comments: 157 pages, 65 figures

Journal ref: Space Science Reviews 2023

Geometry of CMC surfaces of finite index

Authors: William H. Meeks III, Joaquin Perez

Abstract: Given $r_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq 0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq r_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let $M\looparrowright X$ be a complete immersed surface of constant mean curvature $H\in [0,H_0]$ and with index at most $I$. We will obtain geometric estimates for such… ▽ More Given $r_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq 0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq r_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let $M\looparrowright X$ be a complete immersed surface of constant mean curvature $H\in [0,H_0]$ and with index at most $I$. We will obtain geometric estimates for such an $M\looparrowright X$ as a consequence of the Hierarchy Structure Theorem in [9]. The Hierarchy Structure Theorem (see Theorem 2.2 below) will be applied to understand global properties of $M\looparrowright X$, especially results related to the area and diameter of $M$. By item E of Theorem 2.2, the area of such a non-compact $M\looparrowright X$ is infinite. We will improve this area result by proving the following when $M$ is connected; here $g(M)$ denotes the genus of the orientable cover of $M$: 1. There exists $C_1=C_1(I,r_0,K_0,H_0)>0$ such that Area$(M)\geq C_1(g(M)+1)$. 2. There exists $C>0,G(I)\in \mathbb{N}$ independent of $r_0,K_0,H_0$ and also $C$ independent of $I$ such that if $g(M)\geq G(I)$, then Area$(M)\geq \frac{C}{(\max\{1,\frac{1}{r_0},\sqrt{K_0}, H_0\})^2}(g(M)+1)$. 3. If the scalar curvature $ρ$ of $X$ satisfies $3H^2+\frac{1}{2}ρ\geq c$ in $X$ for some $c>0$, then there exist $A,D>0$ depending on $c,I,r_0,K_0,H_0$ such that Area$(M)\leq A$ and Diameter$(M)\leq D$. Hence, $M$ is compact and, by item 1, $g(M)\leq A/C -1$. △ Less

Submitted 27 March, 2023; v1 submitted 29 December, 2022; originally announced December 2022.

Comments: 25 pages, 3 figures. Improved version according to referee's suggestions. arXiv admin note: text overlap with arXiv:2212.13594

MSC Class: 53A10; 49Q05; 53C42

Hierarchy structures in finite index CMC surfaces

Authors: William H. Meeks III, Joaquin Perez

Abstract: Given $\varepsilon_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq \varepsilon_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let $M \looparrowright X$ be a complete immersed surface of constant mean curvature $H\in [0,H_0]$ with index at most $I$. For such… ▽ More Given $\varepsilon_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq \varepsilon_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let $M \looparrowright X$ be a complete immersed surface of constant mean curvature $H\in [0,H_0]$ with index at most $I$. For such $M \looparrowright X$, we prove Structure Theorem 1.2 which describes how the interesting ambient geometry of the immersion is organized locally around at most $I$ points of $M$ where the norm of the second fundamental form takes on large local maximum values. △ Less

Submitted 27 March, 2023; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: 78 pages, 6 figures. Version 3: Minor changes made throughout paper. Version to appear in Adv. Calc. Var

MSC Class: 53A10; 49Q05; 53C42

Forecasting through deep learning and modal decomposition in two-phase concentric jets

Authors: León Mata, Rodrigo Abadía-Heredia, Manuel Lopez-Martin, José M. Pérez, Soledad Le Clainche

Abstract: This work aims to improve fuel chamber injectors' performance in turbofan engines, thus implying improved performance and reduction of pollutants. This requires the development of models that allow real-time prediction and improvement of the fuel/air mixture. However, the work carried out to date involves using experimental data (complicated to measure) or the numerical resolution of the complete… ▽ More This work aims to improve fuel chamber injectors' performance in turbofan engines, thus implying improved performance and reduction of pollutants. This requires the development of models that allow real-time prediction and improvement of the fuel/air mixture. However, the work carried out to date involves using experimental data (complicated to measure) or the numerical resolution of the complete problem (computationally prohibitive). The latter involves the resolution of a system of partial differential equations (PDE). These problems make difficult to develop a real-time prediction tool. Therefore, in this work, we propose using machine learning in conjunction with (complementarily cheaper) single-phase flow numerical simulations in the presence of tangential discontinuities to estimate the mixing process in two-phase flows. In this meaning we study the application of two proposed neural network (NN) models as PDE surrogate models. Where the future dynamics is predicted by the NN, given some preliminary information. We show the low computational cost required by these models, both in their training and inference phases. We also show how NN training can be improved by reducing data complexity through a modal decomposition technique called higher order dynamic mode decomposition (HODMD), which identifies the main structures inside flow dynamics and reconstructs the original flow using only these main structures. This reconstruction has the same number of samples and spatial dimension as the original flow, but with a less complex dynamics and preserving its main features. The core idea of this work is to test the limits of applicability of deep learning models to data forecasting in complex fluid dynamics problems. Generalization capabilities of the models are demonstrated by using the same NN architectures to forecast the future dynamics of four different two-phase flows. △ Less

Submitted 12 June, 2023; v1 submitted 24 December, 2022; originally announced December 2022.

Comments: 48 pages, 21 figures, 13 tables. Submitted to Expert Systems with Applications

E-TEST prototype design report

Authors: A. Sider, L. Amez-Droz, A. Amorosi, F. Badaracco, P. Baer, G. Bruno, A. Bertolini, C. Collette, P. Cebeci, C. Di Fronzo, J. Ebert, B. Erben, R. Esteves, E. Ferreira, A. Gatti, M. Giesberts, T. Hebbeker, J. S. Hennig, M. Hennig, S. Hild, M. Hoefer, H. D. Hoffmann, L. Jacques, R. Jamshidi, R. Joppe , et al. (16 additional authors not shown)

Abstract: E-TEST (Einstein Telescope Euregio-Meuse-Rhin Site and Technology) is a project recently funded by the European program Ineterreg Euregio Meuse-Rhine. This program is dedicated to innovative cross boarder activities between Belgium, The Netherlands and Germany. With a total budget of15MC and a consortium of 11 partners from the three countries, the objective of the project is twofold. Firstly, to… ▽ More E-TEST (Einstein Telescope Euregio-Meuse-Rhin Site and Technology) is a project recently funded by the European program Ineterreg Euregio Meuse-Rhine. This program is dedicated to innovative cross boarder activities between Belgium, The Netherlands and Germany. With a total budget of15MC and a consortium of 11 partners from the three countries, the objective of the project is twofold. Firstly, to develop an eco-friendly and non-invasive imaging of the geological conditions as well as the development of an observatory of the underground in the EMR region. Secondly, to develop technologies necessary for 3rd generation gravitational wave detectors. In particular, it is proposed to develop a prototype of large suspended cryogenic silicon mirror, isolated from seismic vibrations at low frequency. The total budget of the project is equally spread over the two activities. The first activity is not discussed at all in this report. The E-TEST prototype will have some key unique features: a silicon mirror of 100 kg, a radiative cooling strategy (non contact), a low-frequency hybrid isolation stage, cryogenic sensors and electronics, a laser and optics at 2 microns, a low thermal noise coating. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Search for subsolar-mass black hole binaries in the second part of Advanced LIGO's and Advanced Virgo's third observing run

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

Abstract: We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate t… ▽ More We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate the sensitivity of our search over the entirety of Advanced LIGO's and Advanced Virgo's third observing run, and present the most stringent limits to date on the merger rate of binary black holes with at least one subsolar-mass component. We use the upper limits to constrain two fiducial scenarios that could produce subsolar-mass black holes: primordial black holes (PBH) and a model of dissipative dark matter. The PBH model uses recent prescriptions for the merger rate of PBH binaries that include a rate suppression factor to effectively account for PBH early binary disruptions. If the PBHs are monochromatically distributed, we can exclude a dark matter fraction in PBHs $f_\mathrm{PBH} \gtrsim 0.6$ (at 90% confidence) in the probed subsolar-mass range. However, if we allow for broad PBH mass distributions we are unable to rule out $f_\mathrm{PBH} = 1$. For the dissipative model, where the dark matter has chemistry that allows a small fraction to cool and collapse into black holes, we find an upper bound $f_{\mathrm{DBH}} < 10^{-5}$ on the fraction of atomic dark matter collapsed into black holes. △ Less

Submitted 26 January, 2024; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: https://dcc.ligo.org/P2200139

Loewner Theory for Bernstein functions II: applications to inhomogeneous continuous-state branching processes

Authors: Pavel Gumenyuk, Takahiro Hasebe, José-Luis Pérez

Abstract: The main purpose of this paper is to study time-inhomogeneous one-dimensional branching processes (mainly on a continuous but also on a discrete state space) with the help of recent achievements in Loewner Theory dealing with evolution families of holomorphic self-maps in simply connected domains of the complex plane. Under a suitable stochastic continuity condition, we show that the families of t… ▽ More The main purpose of this paper is to study time-inhomogeneous one-dimensional branching processes (mainly on a continuous but also on a discrete state space) with the help of recent achievements in Loewner Theory dealing with evolution families of holomorphic self-maps in simply connected domains of the complex plane. Under a suitable stochastic continuity condition, we show that the families of the Laplace exponents of branching processes on $[0,\infty]$ can be characterized as topological (i.e. depending continuously on the time parameters) reverse evolution families whose elements are Bernstein functions. For the case of a stronger regularity w.r.t. time, we establish a Loewner - Kufarev type ODE for the Laplace exponents and characterize branching processes with finite mean in terms of the vector field driving this ODE. Similar results are obtained for families of probability generating functions for branching processes on the discrete state space $\{0,1,2,\ldots\}\cup\{\infty\}$. In addition, we find necessary and sufficient conditions for "spatial" embeddability of such branching processes into branching processes on $[0,\infty]$. Finally, we give some probabilistic interpretations of the Denjoy - Wolff point at $0$ and at $\infty$. △ Less

Submitted 25 November, 2022; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: Reference [16] has been updated

MSC Class: 60J80; 37F44; 30D05

Current data are consistent with flat spatial hypersurfaces in the $Λ$CDM cosmological model but favor more lensing than the model predicts

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

Abstract: We study the performance of three pairs of tilted $Λ$CDM cosmological models, two pairs allowing for non-flat spatial hypersurfaces with CMB temperature and polarization power spectrum data (P18) from Planck, P18 lensing (lensing), and non-CMB data (non-CMB). For the six models, we measure cosmological parameters and study whether or not pairs of the data sets are mutually consistent in these mode… ▽ More We study the performance of three pairs of tilted $Λ$CDM cosmological models, two pairs allowing for non-flat spatial hypersurfaces with CMB temperature and polarization power spectrum data (P18) from Planck, P18 lensing (lensing), and non-CMB data (non-CMB). For the six models, we measure cosmological parameters and study whether or not pairs of the data sets are mutually consistent in these models. Half of these models allow the lensing consistency parameter $A_L$ to be an additional free parameter, while the other three have $A_L = 1$. The tilted spatially-flat models assume the usual primordial spatial inhomogeneity power spectrum. The tilted non-flat models assume either the primordial power spectrum used in the Planck group analyses [Planck $P(q)$] or a recently computed power spectrum [new $P(q)$]. In the tilted non-flat models with $A_L=1$ we find differences between P18 data and non-CMB data cosmological parameter constraints, which are large enough to rule out the Planck $P(q)$ model at 3$σ$ but not the new $P(q)$ model. While both P18 data and non-CMB data separately favor a closed geometry when P18+non-CMB data are jointly analyzed the evidence in favor of non-flat hypersurfaces subsides. Differences between P18 data and non-CMB data cosmological constraints subside when $A_L$ is allowed to vary. From the most restrictive P18+lensing+non-CMB data combination we get almost model-independent constraints and find that the $A_L>1$ option is preferred over the $Ω_k<0$ one, with the $A_L$ parameter, for all models, being larger than unity by $\sim 2.5σ$. According to the deviance information criterion, in the P18+lensing+non-CMB analysis, the varying $A_L$ option is on the verge of being strongly favored over the $A_L=1$ one, which could indicate a problem for the standard tilted flat $Λ$CDM model (Abridged abstract). △ Less

Submitted 16 February, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 83 pages, 39 figures. PRD accepted version, minor changes only

Geometry of branched minimal surfaces of finite index

Authors: William H. Meeks III, Joaquin Perez

Abstract: Given $I,B\in\mathbb{N}\cup \{0\}$, we investigate the existence and geometry of complete finitely branched minimal surfaces $M$ in $\mathbb{R}^3$ with Morse index at most $I$ and total branching order at most $B$. Previous works of Fischer-Colbrie and Ros explain that such surfaces are precisely the complete minimal surfaces in $\mathbb{R}^3$ of finite total curvature and finite total branching o… ▽ More Given $I,B\in\mathbb{N}\cup \{0\}$, we investigate the existence and geometry of complete finitely branched minimal surfaces $M$ in $\mathbb{R}^3$ with Morse index at most $I$ and total branching order at most $B$. Previous works of Fischer-Colbrie and Ros explain that such surfaces are precisely the complete minimal surfaces in $\mathbb{R}^3$ of finite total curvature and finite total branching order. Among other things, we derive scale-invariant weak chord-arc type results for such an $M$ with estimates that are given in terms of $I$ and $B$. In order to obtain some of our main results for these special surfaces, we obtain general intrinsic monotonicity of area formulas for $m$-dimensional submanifolds $Σ$ of an $n$-dimensional Riemannian manifold $X$, where these area estimates depend on the geometry of $X$ and upper bounds on the lengths of the mean curvature vectors of $Σ$. We also describe a family of complete, finitely branched minimal surfaces in $\mathbb{R}^3$ that are stable and non-orientable; these examples generalize the classical Henneberg minimal surface. △ Less

Submitted 8 November, 2022; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 20 pages, no figures. Minor improvements from previous version

MSC Class: 53A10; 49Q05; 53C42

On the Polishness of the inverse semigroup $Γ(X)$ on a compact metric space $X$

Authors: Jerson Pérez, Carlos Uzcátegui

Abstract: Let $Γ(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $τ_{hco}$, that makes $Γ(X)$ a topological inverse semigroup. We address the question of whether $τ_{hco}$ is Polish. For a 0-dimensional compact metric space $X$, we prove that $(Γ(X), τ_{hco})$ is Polish by showing that it is topologically isomorphic to a… ▽ More Let $Γ(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $τ_{hco}$, that makes $Γ(X)$ a topological inverse semigroup. We address the question of whether $τ_{hco}$ is Polish. For a 0-dimensional compact metric space $X$, we prove that $(Γ(X), τ_{hco})$ is Polish by showing that it is topologically isomorphic to a closed subsemigroup of the Polish symmetric inverse semigroup $I(\N)$. We present examples, similar to the classical Munn semigroups, of Polish inverse semigroups consisting of partial isomorphism on lattices of open sets. △ Less

Submitted 22 July, 2023; v1 submitted 5 November, 2022; originally announced November 2022.

Don't Let Me Down! Offloading Robot VFs Up to the Cloud

Authors: Khasa Gillani, Jorge Martín Pérez, Milan Groshev, Antonio de la Oliva, Robert Gazda

Abstract: Recent trends in robotic services propose offloading robot functionalities to the Edge to meet the strict latency requirements of networked robotics. However, the Edge is typically an expensive resource and sometimes the Cloud is also an option, thus, decreasing the cost. Following this idea, we propose Don't Let Me Down! (DLMD), an algorithm that promotes offloading robot functions to the Cloud w… ▽ More Recent trends in robotic services propose offloading robot functionalities to the Edge to meet the strict latency requirements of networked robotics. However, the Edge is typically an expensive resource and sometimes the Cloud is also an option, thus, decreasing the cost. Following this idea, we propose Don't Let Me Down! (DLMD), an algorithm that promotes offloading robot functions to the Cloud when possible to minimize the consumption of Edge resources. Additionally, DLMD takes the appropriate migration, traffic steering, and radio handover decisions to meet robotic service requirements as strict latency constraints. In the paper, we formulate the optimization problem that DLMD aims to solve, compare DLMD performance against state of art, and perform stress tests to assess DLMD performance in small & large networks. Results show that DLMD (i) always finds solutions in less than 30ms; (ii) is optimal in a local warehousing use case, and (iii) consumes only 5% of the Edge resources upon network stress. △ Less

Submitted 14 February, 2023; v1 submitted 25 October, 2022; originally announced October 2022.

Comments: 5 Pages, 6 figures, submitted to 2023 IEEE 9th International Conference on Network Softwarization (NetSoft)

Search for gravitational-wave transients associated with magnetar bursts in Advanced LIGO and Advanced Virgo data from the third observing run

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

Abstract: Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bu… ▽ More Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bursts come from two magnetars, SGR 1935$+$2154 and Swift J1818.0$-$1607. We also include three other electromagnetic burst events detected by Fermi GBM which were identified as likely coming from one or more magnetars, but they have no association with a known magnetar. No magnetar giant flares were detected during the analysis period. We find no evidence of gravitational waves associated with any of these 16 bursts. We place upper bounds on the root-sum-square of the integrated gravitational-wave strain that reach $2.2 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at 100 Hz for the short-duration search and $8.7 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at $450$ Hz for the long-duration search, given a detection efficiency of 50%. For a ringdown signal at 1590 Hz targeted by the short-duration search the limit is set to $1.8 \times 10^{-22}$ $/\sqrt{\text{Hz}}$. Using the estimated distance to each magnetar, we derive upper bounds on the emitted gravitational-wave energy of $3.2 \times 10^{43}$ erg ($7.3 \times 10^{43}$ erg) for SGR 1935$+$2154 and $8.2 \times 10^{42}$ erg ($2.8 \times 10^{43}$ erg) for Swift J1818.0$-$1607, for the short-duration (long-duration) search. Assuming isotropic emission of electromagnetic radiation of the burst fluences, we constrain the ratio of gravitational-wave energy to electromagnetic energy for bursts from SGR 1935$+$2154 with available fluence information. The lowest of these ratios is $3 \times 10^3$. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 30 pages with appendices, 5 figures, 10 tables

Report number: LIGO-P2100387

Topological connection between vesicles and nanotubes in single-molecule lipid membranes driven by head-tail interactions

Authors: Niki Baccile, Cédric Lorthioir, Abdoul Aziz Ba, Patrick Le Griel, Javier Perez, Daniel Hermida Merino, Wim Soetaert, Sophie L K W Roelants

Abstract: Lipid nanotube-vesicle networks are important channels for intercellular communication and transport of matter. Experimentally observed in neighboring mammalian cells, but also reproduced in model membrane systems, a broad consensus exists on their formation and stability. Lipid membranes must be composed of at least two molecular components, each stabilizing low (generally a phospholipid) and hig… ▽ More Lipid nanotube-vesicle networks are important channels for intercellular communication and transport of matter. Experimentally observed in neighboring mammalian cells, but also reproduced in model membrane systems, a broad consensus exists on their formation and stability. Lipid membranes must be composed of at least two molecular components, each stabilizing low (generally a phospholipid) and high curvatures. Strong anisotropy or enhanced conical shape of the second amphiphile is crucial for the formation of nanotunnels. Anisotropic driving forces generally favor nanotube protrusions from vesicles. In the present work, we report the unique case of topologically-connected nanotubes-vesicles obtained in the absence of directional forces, in single-molecule membranes, composed of an anisotropic bolaform glucolipid, above its melting temperature, Tm. Cryo-TEM and fluorescence confocal microscopy show the interconnection between vesicles and nanotubes in a single-phase region, between 60{\textdegree} and 90{\textdegree}C under diluted conditions. Solid-state NMR demonstrates that the glucolipid can assume two distinct configurations, head-head and head-tail. These arrangements, seemingly of comparable energy above the Tm, could explain the existence and stability of the topologically-connected vesicles and nanotubes, which are generally not observed for classical single-molecule phospholipid-based membranes above their Tm. △ Less

Submitted 18 November, 2022; v1 submitted 18 October, 2022; originally announced October 2022.

Geo-imagery management and statistical processing in a regional context using Open Data Cube

Authors: U. Otamendi, I. Azpiroz, M. Quartulli, I. Olaizola, F. J. Perez, D. Alda, X. Garitano

Abstract: We propose a methodology to manage and process remote sensing and geo-imagery data for non-expert users. The proposed system provides automated data ingestion and manipulation capability for analytical data-driven purposes. In this paper, we describe the technological basis of the proposed method in addition to describing the tool architecture, the inherent data flow, and its operation in a specif… ▽ More We propose a methodology to manage and process remote sensing and geo-imagery data for non-expert users. The proposed system provides automated data ingestion and manipulation capability for analytical data-driven purposes. In this paper, we describe the technological basis of the proposed method in addition to describing the tool architecture, the inherent data flow, and its operation in a specific use case to provide statistical summaries of Sentinel-2 regions of interest corresponding to the cultivation of polygonal areas located in the Basque Country (ES). △ Less

Submitted 4 October, 2022; originally announced October 2022.

Comments: 4 pages, 4 figures, Published in 2021 IEEE International Geoscience and Remote Sensing Symposium IGARSS

Journal ref: 2021 IEEE International Geoscience and Remote Sensing Symposium IGARSS

Assessing the impact of contextual information in hate speech detection

Authors: Juan Manuel Pérez, Franco Luque, Demian Zayat, Martín Kondratzky, Agustín Moro, Pablo Serrati, Joaquín Zajac, Paula Miguel, Natalia Debandi, Agustín Gravano, Viviana Cotik

Abstract: In recent years, hate speech has gained great relevance in social networks and other virtual media because of its intensity and its relationship with violent acts against members of protected groups. Due to the great amount of content generated by users, great effort has been made in the research and development of automatic tools to aid the analysis and moderation of this speech, at least in its… ▽ More In recent years, hate speech has gained great relevance in social networks and other virtual media because of its intensity and its relationship with violent acts against members of protected groups. Due to the great amount of content generated by users, great effort has been made in the research and development of automatic tools to aid the analysis and moderation of this speech, at least in its most threatening forms. One of the limitations of current approaches to automatic hate speech detection is the lack of context. Most studies and resources are performed on data without context; that is, isolated messages without any type of conversational context or the topic being discussed. This restricts the available information to define if a post on a social network is hateful or not. In this work, we provide a novel corpus for contextualized hate speech detection based on user responses to news posts from media outlets on Twitter. This corpus was collected in the Rioplatense dialectal variety of Spanish and focuses on hate speech associated with the COVID-19 pandemic. Classification experiments using state-of-the-art techniques show evidence that adding contextual information improves hate speech detection performance for two proposed tasks (binary and multi-label prediction). We make our code, models, and corpus available for further research. △ Less

Submitted 11 March, 2023; v1 submitted 2 October, 2022; originally announced October 2022.

On the Statistics of Elsasser Increments in Solar Wind and Magnetohydrodynamic Turbulence

Authors: Juan C. Palacios, Sofiane Bourouaine, Jean C. Perez

Abstract: We investigate the dependency with scale of the empirical probability distribution functions (PDF) of Elsasser increments using large sets of WIND data (collected between 1995 and 2017) near 1 au. The empirical PDF are compared to the ones obtained from high-resolution numerical simulations of steadily driven, homogeneous Reduced MHD turbulence on a $2048^3$ rectangular mesh. A large statistical s… ▽ More We investigate the dependency with scale of the empirical probability distribution functions (PDF) of Elsasser increments using large sets of WIND data (collected between 1995 and 2017) near 1 au. The empirical PDF are compared to the ones obtained from high-resolution numerical simulations of steadily driven, homogeneous Reduced MHD turbulence on a $2048^3$ rectangular mesh. A large statistical sample of Alfvénic increments is obtained by using conditional analysis based on the solar wind average properties. The PDF tails obtained from observations and numerical simulations are found to have exponential behavior in the inertial range, with an exponential decrement that satisfies power-laws of the form $α_l\propto l^{-μ}$, where $l$ the scale size, with $μ$ around 0.2 for observations and 0.4 for simulations. PDF tails were extrapolated assuming their exponential behavior extends to arbitrarily large increments in order to determine structure function scaling laws at very high orders. Our results points to potentially universal scaling laws governing the PDF of Elsasser increments and to an alternative methodology to investigate high-order statistics in solar wind observations. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 7 pages, 4 figures. Accepted for publication in the Astrophysical Journal Letters

Development of Ultra-pure Gadolinium Sulfate for the Super-Kamiokande Gadolinium Project

Authors: K. Hosokawa, M. Ikeda, T. Okada, H. Sekiya, P. Fernandez, L. Labarga, I. Bandac, J. Perez, S. Ito, M. Harada, Y. Koshio, M. D. Thiesse, L. F. Thompson, P. R. Scovell, E. Meehan, K. Ichimura, Y. Kishimoto, Y. Nakajima, M. R. Vagins, H. Ito, Y. Takaku, Y. Tanaka, Y. Yamaguchi

Abstract: This paper reports the development and detailed properties of about 13 tons of gadolinium sulfate octahydrate, $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$, which has been dissolved into Super-Kamiokande (SK) in the summer of 2020. We evaluate the impact of radioactive impurities in $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ on DSNB searches and solar neutrino observation and confirm the need to reduce radioa… ▽ More This paper reports the development and detailed properties of about 13 tons of gadolinium sulfate octahydrate, $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$, which has been dissolved into Super-Kamiokande (SK) in the summer of 2020. We evaluate the impact of radioactive impurities in $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ on DSNB searches and solar neutrino observation and confirm the need to reduce radioactive and fluorescent impurities by about three orders of magnitude from commercially available high-purity $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$. In order to produce ultra-high-purity $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$, we have developed a method to remove impurities from gadolinium oxide, Gd$_2$O$_3$, consisting of acid dissolution, solvent extraction, and pH control processes, followed by a high-purity sulfation process. All of the produced ultra-high-purity $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ is assayed by ICP-MS and HPGe detectors to evaluate its quality. Because of the long measurement time of HPGe detectors, we have employed several underground laboratories for making parallel measurements including LSC in Spain, Boulby in the UK, and Kamioka in Japan. In the first half of production, the measured batch purities were found to be consistent with the specifications. However,in the latter half, the $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ contained one order of magnitude more $^{228}$Ra than the budgeted mean contamination. This was correlated with the corresponding characteristics of the raw material Gd$_2$O$_3$, in which an intrinsically large contamination was present. Based on their modest impact on SK physics, they were nevertheless introduced into the detector. To reduce $^{228}$Ra for the next stage of Gd loading to SK, a new process has been successfully establised. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Comments: 32 pages, 9 figures

Asynchronous Functional Sessions: Cyclic and Concurrent

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

Abstract: We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concurrent evaluation and for cyclic network topologies. The design of CGV draws on APCP, a session-typed asynchronous pi-calculus developed in prior work. Technical contributions are (i) the syntax, semantics, and type syste… ▽ More We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concurrent evaluation and for cyclic network topologies. The design of CGV draws on APCP, a session-typed asynchronous pi-calculus developed in prior work. Technical contributions are (i) the syntax, semantics, and type system of CGV; (ii) a correct translation of CGV into APCP; (iii) a technique for establishing deadlock-free CGV programs, by resorting to APCP's priority-based type system. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777. arXiv admin note: substantial text overlap with arXiv:2208.07644

Journal ref: EPTCS 368, 2022, pp. 75-94

A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

Authors: Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez

Abstract: The emergence of propositions-as-sessions, a Curry-Howard correspondence between propositions of Linear Logic and session types for concurrent processes, has settled the logical foundations of message-passing concurrency. Central to this approach is the resource consumption paradigm heralded by Linear Logic. In this paper, we investigate a new point in the design space of session type systems fo… ▽ More The emergence of propositions-as-sessions, a Curry-Howard correspondence between propositions of Linear Logic and session types for concurrent processes, has settled the logical foundations of message-passing concurrency. Central to this approach is the resource consumption paradigm heralded by Linear Logic. In this paper, we investigate a new point in the design space of session type systems for message-passing concurrent programs. We identify O'Hearn and Pym's Logic of Bunched Implications (BI) as a fruitful basis for an interpretation of the logic as a concurrent programming language. This leads to a treatment of non-linear resources that is radically different from existing approaches based on Linear Logic. We introduce a new $π$-calculus with sessions, called $π$BI; its most salient feature is a construct called spawn, which expresses new forms of sharing that are induced by structural principles in BI. We illustrate the expressiveness of $π$BI and lay out its fundamental theory: type preservation, deadlock-freedom, and weak normalization results for well-typed processes; an operationally sound and complete typed encoding of an affine $λ$-calculus; and a non-interference result for access of resources. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 27 pages + the appendices

A geometrically intrinsic Lagrangian-Eulerian scheme for 2D Shallow Water Equations with variable topography and discontinuous data

Authors: Eduardo Abreu, Elena Bachini, John Perez, Mario Putti

Abstract: We present a Lagrangian-Eulerian scheme to solve the shallow water equations in the case of spatially variable bottom geometry. Using a local curvilinear reference system anchored on the bottom surface, we develop an effective first-order and high-resolution space-time discretization of the no-flow surfaces and solve a Lagrangian initial value problem that describes the evolution of the balance la… ▽ More We present a Lagrangian-Eulerian scheme to solve the shallow water equations in the case of spatially variable bottom geometry. Using a local curvilinear reference system anchored on the bottom surface, we develop an effective first-order and high-resolution space-time discretization of the no-flow surfaces and solve a Lagrangian initial value problem that describes the evolution of the balance laws governing the geometrically intrinsic shallow water equations. The evolved solution set is then projected back to the original surface grid to complete the proposed Lagrangian-Eulerian formulation. The resulting scheme maintains monotonicity and captures shocks without providing excessive numerical dissipation also in the presence of non-autonomous fluxes such as those arising from the geometrically intrinsic shallow water equation on variable topographies. We provide a representative set of numerical examples to illustrate the accuracy and robustness of the proposed Lagrangian-Eulerian formulation for two-dimensional surfaces with general curvatures and discontinuous initial conditions. △ Less

Submitted 8 September, 2022; originally announced September 2022.

Model-based cross-correlation search for gravitational waves from the low-mass X-ray binary Scorpius X-1 in LIGO O3 data

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

Abstract: We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to bala… ▽ More We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to balance sensitivity with computing cost. The search covered a range of gravitational-wave frequencies from 25Hz to 1600Hz, as well as ranges in orbital speed, frequency and phase determined from observational constraints. No significant detection candidates were found, and upper limits were set as a function of frequency. The most stringent limits, between 100Hz and 200Hz, correspond to an amplitude h0 of about 1e-25 when marginalized isotropically over the unknown inclination angle of the neutron star's rotation axis, or less than 4e-26 assuming the optimal orientation. The sensitivity of this search is now probing amplitudes predicted by models of torque balance equilibrium. For the usual conservative model assuming accretion at the surface of the neutron star, our isotropically-marginalized upper limits are close to the predicted amplitude from about 70Hz to 100Hz; the limits assuming the neutron star spin is aligned with the most likely orbital angular momentum are below the conservative torque balance predictions from 40Hz to 200Hz. Assuming a broader range of accretion models, our direct limits on gravitational-wave amplitude delve into the relevant parameter space over a wide range of frequencies, to 500Hz or more. △ Less

Submitted 2 January, 2023; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: 19 pages, Open Access Journal PDF

Report number: LIGO-P2100110-v13

Journal ref: The Astrophysical Journal Letters, 941, L30 (2022)

Cross-Lingual and Cross-Domain Crisis Classification for Low-Resource Scenarios

Authors: Cinthia Sánchez, Hernan Sarmiento, Andres Abeliuk, Jorge Pérez, Barbara Poblete

Abstract: Social media data has emerged as a useful source of timely information about real-world crisis events. One of the main tasks related to the use of social media for disaster management is the automatic identification of crisis-related messages. Most of the studies on this topic have focused on the analysis of data for a particular type of event in a specific language. This limits the possibility of… ▽ More Social media data has emerged as a useful source of timely information about real-world crisis events. One of the main tasks related to the use of social media for disaster management is the automatic identification of crisis-related messages. Most of the studies on this topic have focused on the analysis of data for a particular type of event in a specific language. This limits the possibility of generalizing existing approaches because models cannot be directly applied to new types of events or other languages. In this work, we study the task of automatically classifying messages that are related to crisis events by leveraging cross-language and cross-domain labeled data. Our goal is to make use of labeled data from high-resource languages to classify messages from other (low-resource) languages and/or of new (previously unseen) types of crisis situations. For our study we consolidated from the literature a large unified dataset containing multiple crisis events and languages. Our empirical findings show that it is indeed possible to leverage data from crisis events in English to classify the same type of event in other languages, such as Spanish and Italian (80.0% F1-score). Furthermore, we achieve good performance for the cross-domain task (80.0% F1-score) in a cross-lingual setting. Overall, our work contributes to improving the data scarcity problem that is so important for multilingual crisis classification. In particular, mitigating cold-start situations in emergency events, when time is of essence. △ Less

Submitted 31 October, 2022; v1 submitted 5 September, 2022; originally announced September 2022.

Comments: Accepted at the International AAAI Conference on Web and Social Media (ICWSM 2023)

A Spanish dataset for Targeted Sentiment Analysis of political headlines

Authors: Tomás Alves Salgueiro, Emilio Recart Zapata, Damián Furman, Juan Manuel Pérez, Pablo Nicolás Fernández Larrosa

Abstract: Subjective texts have been studied by several works as they can induce certain behaviours in their users. Most work focuses on user-generated texts in social networks, but some other texts also comprise opinions on certain topics and could influence judgement criteria during political decisions. In this work, we address the task of Targeted Sentiment Analysis for the domain of news headlines, publ… ▽ More Subjective texts have been studied by several works as they can induce certain behaviours in their users. Most work focuses on user-generated texts in social networks, but some other texts also comprise opinions on certain topics and could influence judgement criteria during political decisions. In this work, we address the task of Targeted Sentiment Analysis for the domain of news headlines, published by the main outlets during the 2019 Argentinean Presidential Elections. For this purpose, we present a polarity dataset of 1,976 headlines mentioning candidates in the 2019 elections at the target level. Preliminary experiments with state-of-the-art classification algorithms based on pre-trained linguistic models suggest that target information is helpful for this task. We make our data and pre-trained models publicly available. △ Less

Submitted 29 August, 2022; originally announced August 2022.