Showing 1–50 of 499 results for author: Romero, J

Stable Machine-Learning Parameterization of Subgrid Processes with Real Geography and Full-physics Emulation

Authors: Zeyuan Hu, Akshay Subramaniam, Zhiming Kuang, Jerry Lin, Sungduk Yu, Walter M. Hannah, Noah D. Brenowitz, Josh Romero, Michael S. Pritchard

Abstract: Modern climate projections often suffer from inadequate spatial and temporal resolution due to computational limitations, resulting in inaccurate representations of sub-resolution processes. A promising technique to address this is the Multiscale Modeling Framework (MMF), which embeds a small-domain, kilometer-resolution cloud-resolving model within each atmospheric column of a host climate model… ▽ More Modern climate projections often suffer from inadequate spatial and temporal resolution due to computational limitations, resulting in inaccurate representations of sub-resolution processes. A promising technique to address this is the Multiscale Modeling Framework (MMF), which embeds a small-domain, kilometer-resolution cloud-resolving model within each atmospheric column of a host climate model to replace traditional convection and cloud parameterizations. Machine learning (ML) offers a unique opportunity to make MMF more accessible by emulating the embedded cloud-resolving model and thereby reducing its substantial computational cost. Although many studies have demonstrated proof-of-concept success of emulating the MMF model with stable hybrid simulations, it remains a challenge to achieve operational-level success with real geography and comprehensive variable emulation, such as explicit cloud condensate coupling. In this study, we present a stable hybrid model capable of integrating for at least 5 years with near operational-level complexity, including real geography and explicit predictions of cloud condensate and wind tendencies. Our model demonstrates state-of-the-art online performance such as 5-year zonal mean biases when comparing to previous MMF emulation studies. Key factors contributing to this online performance include the use of an expressive U-Net architecture, leveraging input features that includes large-scale forcings and convective memory, and incorporating microphysics constraints. The microphysics constraints mitigate unrealistic cloud formations such as liquid clouds at freezing temperatures or excessive ice clouds in the stratosphere, which would occur in online simulations with an unconstrained ML model. △ Less

Submitted 27 June, 2024; originally announced July 2024.

Hyperuniformity and non-hyperuniformity of zeros of Gaussian Weyl-Heisenberg Functions

Authors: Naomi Feldheim, Antti Haimi, Günther Koliander, José Luis Romero

Abstract: We study zero sets of twisted stationary Gaussian random functions on the complex plane, i.e., Gaussian random functions that are stochastically invariant under the action of the Weyl-Heisenberg group. This model includes translation invariant Gaussian entire functions (GEFs), and also many other non-analytic examples, in which case winding numbers around zeros can be either positive or negative.… ▽ More We study zero sets of twisted stationary Gaussian random functions on the complex plane, i.e., Gaussian random functions that are stochastically invariant under the action of the Weyl-Heisenberg group. This model includes translation invariant Gaussian entire functions (GEFs), and also many other non-analytic examples, in which case winding numbers around zeros can be either positive or negative. We investigate zero statistics both when zeros are weighted with their winding numbers (charged zero set) and when they are not (uncharged zero set). We show that the variance of the charged zero statistic always grows linearly with the radius of the observation disk (hyperuniformity). Importantly, this holds for functions with possibly non-zero means and without assuming additional symmetries such as radiality. With respect to uncharged zero statistics, we provide an example for which the variance grows with the area of the observation disk (non-hyperuniformity). This is used to show that, while the zeros of GEFs are hyperuniform, the set of their critical points fails to be so. Our work contributes to recent developments in statistical signal processing, where the time-frequency profile of a non-stationary signal embedded into noise is revealed by performing a statistical test on the zeros of its spectrogram (``silent points''). We show that empirical spectrogram zero counts enjoy moderate deviation from their ensemble averages over large observation windows (something that was previously known only for pure noise). In contrast, we also show that spectogram maxima (``loud points") fail to enjoy a similar property. This gives the first formal evidence for the statistical superiority of silent points over the competing feature of loud points, a fact that has been noted by practitioners. △ Less

Submitted 28 June, 2024; originally announced June 2024.

MSC Class: 60G15; 60G55; 94A12; 42A61

$N$-bein formalism for the parameter space of quantum geometry

Authors: Jorge Romero, Carlos A. Velasquez, J David Vergara

Abstract: This work introduces a geometrical object that generalizes the quantum geometric tensor; we call it $N$-bein. Analogous to the vielbein (orthonormal frame) used in the Cartan formalism, the $N$-bein behaves like a ``square root'' of the quantum geometric tensor. Using it, we present a quantum geometric tensor of two states that measures the possibility of moving from one state to another after two… ▽ More This work introduces a geometrical object that generalizes the quantum geometric tensor; we call it $N$-bein. Analogous to the vielbein (orthonormal frame) used in the Cartan formalism, the $N$-bein behaves like a ``square root'' of the quantum geometric tensor. Using it, we present a quantum geometric tensor of two states that measures the possibility of moving from one state to another after two consecutive parameter variations. This new tensor determines the commutativity of such variations through its anti-symmetric part. In addition, we define a connection different from the Berry connection, and combining it with the $N$-bein allows us to introduce a notion of torsion and curvature à la Cartan that satisfies the Bianchi identities. Moreover, the torsion coincides with the anti-symmetric part of the two-state quantum geometric tensor previously mentioned, and thus, it is related to the commutativity of the parameter variations. We also describe our formalism using differential forms and discuss the possible physical interpretations of the new geometrical objects. Furthermore, we define different gauge invariants constructed from the geometrical quantities introduced in this work, resulting in new physical observables. Finally, we present two examples to illustrate these concepts: a harmonic oscillator and a generalized oscillator, both immersed in an electric field. We found that the new tensors quantify correlations between quantum states that were unavailable by other methods. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: The preprint has been sent to Journal of Physics A: Mathematical and Theoretical

Optimizing measurement tradeoffs in multiparameter spatial superresolution

Authors: J. Řeháček, J. L. Romero, A. Z. Goldberg, Z. Hradil, L. L. Sánchez-Soto

Abstract: The quantum Cramér-Rao bound for the joint estimation of the centroid and the separation between two incoherent point sources cannot be saturated. As such, the optimal measurements for extracting maximal information about both at the same time are not known. In this work, we ascertain these optimal measurements for an arbitrary point spread function, in the most relevant regime of a small separati… ▽ More The quantum Cramér-Rao bound for the joint estimation of the centroid and the separation between two incoherent point sources cannot be saturated. As such, the optimal measurements for extracting maximal information about both at the same time are not known. In this work, we ascertain these optimal measurements for an arbitrary point spread function, in the most relevant regime of a small separation between the sources. Our measurement can be adjusted within a set of tradeoffs, allowing more information to be extracted from the separation or the centroid while ensuring that the total information is the maximum possible. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 5 pages; comments always welcome

Towards Explainable Test Case Prioritisation with Learning-to-Rank Models

Authors: Aurora Ramírez, Mario Berrios, José Raúl Romero, Robert Feldt

Abstract: Test case prioritisation (TCP) is a critical task in regression testing to ensure quality as software evolves. Machine learning has become a common way to achieve it. In particular, learning-to-rank (LTR) algorithms provide an effective method of ordering and prioritising test cases. However, their use poses a challenge in terms of explainability, both globally at the model level and locally for p… ▽ More Test case prioritisation (TCP) is a critical task in regression testing to ensure quality as software evolves. Machine learning has become a common way to achieve it. In particular, learning-to-rank (LTR) algorithms provide an effective method of ordering and prioritising test cases. However, their use poses a challenge in terms of explainability, both globally at the model level and locally for particular results. Here, we present and discuss scenarios that require different explanations and how the particularities of TCP (multiple builds over time, test case and test suite variations, etc.) could influence them. We include a preliminary experiment to analyse the similarity of explanations, showing that they do not only vary depending on test case-specific predictions, but also on the relative ranks. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 3rd International Workshop on Artificial Intelligence in Software Testing (AIST) - International Conference on Software Testing and Validation (ICST)

ACM Class: D.2.5; I.2.6

Journal ref: Proc. 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 66-69

Ultraslow calorimetric studies of the martensitic transformation of NiFeGa alloys: detection and analysis of avalanche phenomena

Authors: José-María Martín-Olalla, Antonio Vidal-Crespo, Alejandro F. Manchón-Gordón, Francisco Javier Romero, Javier S. Blázquez, María Carmen Gallardo, Clara F. Conde

Abstract: We study the thermal properties of a bulk Ni55Fe19Ga26 Heusler alloy in a conduction calorimeter. At slow heating and cooling rates (1K/h), we compare as-cast and annealed samples. We report a smaller thermal hysteresis after the thermal treatment due to the stabilization of the 14M modulated structure in the martensite phase. In ultraslow experiments (40mK/h), we detect and analyze the calorimetr… ▽ More We study the thermal properties of a bulk Ni55Fe19Ga26 Heusler alloy in a conduction calorimeter. At slow heating and cooling rates (1K/h), we compare as-cast and annealed samples. We report a smaller thermal hysteresis after the thermal treatment due to the stabilization of the 14M modulated structure in the martensite phase. In ultraslow experiments (40mK/h), we detect and analyze the calorimetric avalanches associated with the direct and reverse martensitic transformation from cubic to 14M phase. This reveals a distribution of events characterized by a power law with exponential cutoff $p(u) \propto u^{-\varepsilon}\exp(-u/ξ)$ where $\varepsilon\sim 2$ and damping energies $ξ=370$uJ (direct) and $ξ=27$uJ (reverse) that characterize the asymmetry of the transformation. △ Less

Submitted 19 May, 2024; originally announced May 2024.

Comments: 13 pages; 6 figures; 3 tables

Journal ref: Journal of Thermal Analysis and Calorimetry 2024

Enhancement of swimmer diffusion through regular kicks: analytic mapping of a scale independent parameter space

Authors: Arnau Jurado Romero, Carles Calero, Rossend Rey

Abstract: Depending on their mechanism of self-propulsion, active particles can exhibit a time-dependent, often periodic, propulsion velocity. The precise propulsion velocity profile determines their mean square displacement and their effective diffusion coefficient at long times. Here we demonstrate that any periodic propulsion profile results in a larger diffusion coefficient than the corresponding case w… ▽ More Depending on their mechanism of self-propulsion, active particles can exhibit a time-dependent, often periodic, propulsion velocity. The precise propulsion velocity profile determines their mean square displacement and their effective diffusion coefficient at long times. Here we demonstrate that any periodic propulsion profile results in a larger diffusion coefficient than the corresponding case with constant propulsion velocity. We investigate in detail the case of periodic exponentially decaying velocity pulses, expected in propulsion mechanisms based on sudden absorption of finite amounts of energy. We show both analytically and with numerical simulations that in these cases the effective diffusion coefficient can be arbitrarily enhanced with respect to the case with constant velocity equal to the average speed. Our results may help interpret in a new light observations on the diffusion enhancement of active particles. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Phase transition and polar cluster behavior above Curie temperature in ferroelectric BaTi$_{0.8}$Zr$_{0.2}$O$_3$

Authors: Oktay Aktas, Francisco Javier Romero, Zhengwang He, Gan Linyu, Xiangdong Ding, José-María Martín-Olalla, Maria-Carmen Gallardo, Turab Lookman

Abstract: We study the phase transition behavior of the ferroelectric BaTi$_{0.8}$Zr$_{0.2}$O$_3$ in the paraelectric region. The temperature dependencies of thermal, polar, elastic and dielectric properties indicate the presence of local structures above the paraelectric-ferroelectric transition temperature Tc = 292 K. The non-zero remnant polarization is measured up to a characteristic temperature T* ~350… ▽ More We study the phase transition behavior of the ferroelectric BaTi$_{0.8}$Zr$_{0.2}$O$_3$ in the paraelectric region. The temperature dependencies of thermal, polar, elastic and dielectric properties indicate the presence of local structures above the paraelectric-ferroelectric transition temperature Tc = 292 K. The non-zero remnant polarization is measured up to a characteristic temperature T* ~350 K, which coincides with the temperature where the dielectric constant deviates from Curie-Weiss law. Resonant Piezoelectric Spectroscopy shows that DC field-cooling above Tc using fields smaller than the coercive field leads to an elastic response and remnant piezoelectricity below T*, which likely corresponds to the coherence temperature associated with polar nanostructures in ferroelectrics. The observed remnant effect is attributed to the reorientation of polar nanostructures above Tc. △ Less

Submitted 6 May, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

Comments: Accepted version in Applied Physics Letters. 13 pages; 4 figures. (Supp Material in version 1)

Journal ref: App. Phys. Lett. 124 (19) 192901 2024

Photonic Quantum Computing

Authors: Jacquiline Romero, Gerard Milburn

Abstract: Photonic quantum computation refers to quantum computation that uses photons as the physical system for doing the quantum computation. Photons are ideal quantum systems because they operate at room temperature, and photonic technologies are relatively mature. The field is largely divided between discrete- and continuous-variable photonic quantum computation. In discrete-variable (DV) photonic quan… ▽ More Photonic quantum computation refers to quantum computation that uses photons as the physical system for doing the quantum computation. Photons are ideal quantum systems because they operate at room temperature, and photonic technologies are relatively mature. The field is largely divided between discrete- and continuous-variable photonic quantum computation. In discrete-variable (DV) photonic quantum computation, quantum information is represented by one or more modal properties (e.g. polarization) that take on distinct values from a finite set. Quantum information is processed via operations on these modal properties and eventually measured using single photon detectors. In continuous-variable (CV) photonic quantum computation, quantum information is represented by properties of the electromagnetic field that take on any value in an interval (e.g. position). The electromagnetic field is transformed via Gaussian and non-Gaussian operations, and then detected via homodyne detection. Both CV and DV photonic quantum computation have been realized experimentally and they each have a unique set of challenges that need to be overcome to achieve scalable photonic universal quantum computation. This article is an introduction to photonic quantum computing, charting its development from the early days of linear optical quantum computing to recent developments in quantum machine learning. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 26 pages, 1 table, 13 figures

JCLEC-MO: a Java suite for solving many-objective optimization engineering problems

Authors: Aurora Ramírez, José Raúl Romero, Carlos García-Martínez, Sebastián Ventura

Abstract: Although metaheuristics have been widely recognized as efficient techniques to solve real-world optimization problems, implementing them from scratch remains difficult for domain-specific experts without programming skills. In this scenario, metaheuristic optimization frameworks are a practical alternative as they provide a variety of algorithms composed of customized elements, as well as experime… ▽ More Although metaheuristics have been widely recognized as efficient techniques to solve real-world optimization problems, implementing them from scratch remains difficult for domain-specific experts without programming skills. In this scenario, metaheuristic optimization frameworks are a practical alternative as they provide a variety of algorithms composed of customized elements, as well as experimental support. Recently, many engineering problems require to optimize multiple or even many objectives, increasing the interest in appropriate metaheuristic algorithms and frameworks that might integrate new specific requirements while maintaining the generality and reusability principles they were conceived for. Based on this idea, this paper introduces JCLEC-MO, a Java framework for both multi- and many-objective optimization that enables engineers to apply, or adapt, a great number of multi-objective algorithms with little coding effort. A case study is developed and explained to show how JCLEC-MO can be used to address many-objective engineering problems, often requiring the inclusion of domain-specific elements, and to analyze experimental outcomes by means of conveniently connected R utilities. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 41 pages, 5 figures, journal paper

MSC Class: 68T20 ACM Class: D.0; I.2.8

Journal ref: Engineering Applications of Artificial Intelligence, Volume 81, May 2019, Pages 14-28

Evolving machine learning workflows through interactive AutoML

Authors: Rafael Barbudo, Aurora Ramírez, José Raúl Romero

Abstract: Automatic workflow composition (AWC) is a relevant problem in automated machine learning (AutoML) that allows finding suitable sequences of preprocessing and prediction models together with their optimal hyperparameters. This problem can be solved using evolutionary algorithms and, in particular, grammar-guided genetic programming (G3P). Current G3P approaches to AWC define a fixed grammar that fo… ▽ More Automatic workflow composition (AWC) is a relevant problem in automated machine learning (AutoML) that allows finding suitable sequences of preprocessing and prediction models together with their optimal hyperparameters. This problem can be solved using evolutionary algorithms and, in particular, grammar-guided genetic programming (G3P). Current G3P approaches to AWC define a fixed grammar that formally specifies how workflow elements can be combined and which algorithms can be included. In this paper we present \ourmethod, an interactive G3P algorithm that allows users to dynamically modify the grammar to prune the search space and focus on their regions of interest. Our proposal is the first to combine the advantages of a G3P method with ideas from interactive optimisation and human-guided machine learning, an area little explored in the context of AutoML. To evaluate our approach, we present an experimental study in which 20 participants interact with \ourmethod to evolve workflows according to their preferences. Our results confirm that the collaboration between \ourmethod and humans allows us to find high-performance workflows in terms of accuracy that require less tuning time than those found without human intervention. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 40 pages, 5 figures, 3 tables. Paper submitted to journal. Under review

MSC Class: 68T05 ACM Class: I.2.6; I.2.8

Precision mass measurements in the zirconium region pin down the mass surface across the neutron midshell at $N=66$

Authors: M. Hukkanen, W. Ryssens, P. Ascher, M. Bender, T. Eronen, S. Grévy, A. Kankainen, M. Stryjczyk, O. Beliuskina, Z. Ge, S. Geldhof, M. Gerbaux, W. Gins, A. Husson, D. A. Nesterenko, A. Raggio, M. Reponen, S. Rinta-Antila, J. Romero, A. de Roubin, V. Virtanen, A. Zadvornaya

Abstract: Precision mass measurements of $^{104}$Y, $^{106}$Zr, $^{104,104m,109}$Nb, and $^{111,112}$Mo have been performed with the JYFLTRAP double Penning trap mass spectrometer at the Ion Guide Isotope Separator On-Line facility. The order of the long-lived states in $^{104}$Nb was unambiguously established. The trend in two-neutron separation energies around the $N=66$ neutron midshell appeared to be st… ▽ More Precision mass measurements of $^{104}$Y, $^{106}$Zr, $^{104,104m,109}$Nb, and $^{111,112}$Mo have been performed with the JYFLTRAP double Penning trap mass spectrometer at the Ion Guide Isotope Separator On-Line facility. The order of the long-lived states in $^{104}$Nb was unambiguously established. The trend in two-neutron separation energies around the $N=66$ neutron midshell appeared to be steeper with respect to the Atomic Mass Evaluation 2020 extrapolations for the $_{39}$Y and $_{40}$Zr isotopic chains and less steep for the $_{41}$Nb chain, indicating a possible gap opening around $Z=40$. The experimental results were compared to the BSkG2 model calculations performed with and without vibrational and rotational corrections. All of them predict two low-lying minima for $^{106}$Zr. While the unaltered BSkG2 model fails to predict the trend in two-neutron separation energies, selecting the more deformed minima in calculations and removing the vibrational correction, the calculations are more in line with experimental data. The same is also true for the $2^+_1$ excitation energies and differences in charge radii in the Zr isotopes. The results stress the importance of improved treatment of collective corrections in large-scale models and further development of beyond-mean-field techniques. △ Less

Submitted 10 July, 2024; v1 submitted 19 February, 2024; originally announced February 2024.

Comments: 10 pages, 4 figures

Artificial Intelligence-Enabled Optimization of Battery-Grade Lithium Carbonate Production

Authors: S. Shayan Mousavi Masouleh, Corey A. Sanz, Ryan P. Jansonius, Samuel Shi, Maria J. Gendron Romero, Jason E. Hein, Jason Hattrick-Simpers

Abstract: By 2035, the need for battery-grade lithium is expected to quadruple. About half of this lithium is currently sourced from brines and must be converted from a chloride into lithium carbonate (Li2CO3) through a process called softening. Conventional softening methods using sodium or potassium salts contribute to carbon emissions during reagent mining and battery manufacturing, exacerbating global w… ▽ More By 2035, the need for battery-grade lithium is expected to quadruple. About half of this lithium is currently sourced from brines and must be converted from a chloride into lithium carbonate (Li2CO3) through a process called softening. Conventional softening methods using sodium or potassium salts contribute to carbon emissions during reagent mining and battery manufacturing, exacerbating global warming. This study introduces an alternative approach using carbon dioxide (CO2(g)) as the carbonating reagent in the lithium softening process, offering a carbon capture solution. We employed an active learning-driven high-throughput method to rapidly capture CO2(g) and convert it to lithium carbonate. The model was simplified by focusing on the elemental concentrations of C, Li, and N for practical measurement and tracking, avoiding the complexities of ion speciation equilibria. This approach led to an optimized lithium carbonate process that capitalizes on CO2(g) capture and improves the battery metal supply chain's carbon efficiency. △ Less

Submitted 20 February, 2024; v1 submitted 10 February, 2024; originally announced February 2024.

Grammar-based evolutionary approach for automated workflow composition with domain-specific operators and ensemble diversity

Authors: Rafael Barbudo, Aurora Ramírez, José Raúl Romero

Abstract: The process of extracting valuable and novel insights from raw data involves a series of complex steps. In the realm of Automated Machine Learning (AutoML), a significant research focus is on automating aspects of this process, specifically tasks like selecting algorithms and optimising their hyper-parameters. A particularly challenging task in AutoML is automatic workflow composition (AWC). AWC a… ▽ More The process of extracting valuable and novel insights from raw data involves a series of complex steps. In the realm of Automated Machine Learning (AutoML), a significant research focus is on automating aspects of this process, specifically tasks like selecting algorithms and optimising their hyper-parameters. A particularly challenging task in AutoML is automatic workflow composition (AWC). AWC aims to identify the most effective sequence of data preprocessing and ML algorithms, coupled with their best hyper-parameters, for a specific dataset. However, existing AWC methods are limited in how many and in what ways they can combine algorithms within a workflow. Addressing this gap, this paper introduces EvoFlow, a grammar-based evolutionary approach for AWC. EvoFlow enhances the flexibility in designing workflow structures, empowering practitioners to select algorithms that best fit their specific requirements. EvoFlow stands out by integrating two innovative features. First, it employs a suite of genetic operators, designed specifically for AWC, to optimise both the structure of workflows and their hyper-parameters. Second, it implements a novel updating mechanism that enriches the variety of predictions made by different workflows. Promoting this diversity helps prevent the algorithm from overfitting. With this aim, EvoFlow builds an ensemble whose workflows differ in their misclassified instances. To evaluate EvoFlow's effectiveness, we carried out empirical validation using a set of classification benchmarks. We begin with an ablation study to demonstrate the enhanced performance attributable to EvoFlow's unique components. Then, we compare EvoFlow with other AWC approaches, encompassing both evolutionary and non-evolutionary techniques. Our findings show that EvoFlow's specialised genetic operators and updating mechanism substantially outperform current leading methods[..] △ Less

Submitted 3 February, 2024; originally announced February 2024.

Comments: 32 pages, 7 figures, 6 tables, journal paper

MSC Class: 68T05 ACM Class: I.2.6

Journal ref: Applied Soft Computing, 111292. 2024

On the generalization of learned constraints for ASP solving in temporal domains

Authors: Javier Romero, Torsten Schaub, Klaus Strauch

Abstract: The representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or via an action or temporal language. The multiplication of variables and constraints is commonly done during grounding and the solver is completely ignorant about the temporal relationship among the different instances.… ▽ More The representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or via an action or temporal language. The multiplication of variables and constraints is commonly done during grounding and the solver is completely ignorant about the temporal relationship among the different instances. On the other hand, a key factor in the performance of today's ASP solvers is conflict-driven constraint learning. Our question is now whether a constraint learned for particular time steps can be generalized and reused at other time stamps, and ultimately whether this enhances the overall solver performance on temporal problems. Knowing full well the domain of time, we study conditions under which learned dynamic constraints can be generalized. We propose a simple translation of the original logic program such that, for the translated programs, the learned constraints can be generalized to other time points. Additionally, we identify a property of temporal problems that allows us to generalize all learned constraints to all time steps. It turns out that this property is satisfied by many planning problems. Finally, we empirically evaluate the impact of adding the generalized constraints to an ASP solver △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: 28 pages, 3 figures

Artificial intelligence to automate the systematic review of scientific literature

Authors: José de la Torre-López, Aurora Ramírez, José Raúl Romero

Abstract: Artificial intelligence (AI) has acquired notorious relevance in modern computing as it effectively solves complex tasks traditionally done by humans. AI provides methods to represent and infer knowledge, efficiently manipulate texts and learn from vast amount of data. These characteristics are applicable in many activities that human find laborious or repetitive, as is the case of the analysis of… ▽ More Artificial intelligence (AI) has acquired notorious relevance in modern computing as it effectively solves complex tasks traditionally done by humans. AI provides methods to represent and infer knowledge, efficiently manipulate texts and learn from vast amount of data. These characteristics are applicable in many activities that human find laborious or repetitive, as is the case of the analysis of scientific literature. Manually preparing and writing a systematic literature review (SLR) takes considerable time and effort, since it requires planning a strategy, conducting the literature search and analysis, and reporting the findings. Depending on the area under study, the number of papers retrieved can be of hundreds or thousands, meaning that filtering those relevant ones and extracting the key information becomes a costly and error-prone process. However, some of the involved tasks are repetitive and, therefore, subject to automation by means of AI. In this paper, we present a survey of AI techniques proposed in the last 15 years to help researchers conduct systematic analyses of scientific literature. We describe the tasks currently supported, the types of algorithms applied, and available tools proposed in 34 primary studies. This survey also provides a historical perspective of the evolution of the field and the role that humans can play in an increasingly automated SLR process. △ Less

Submitted 13 January, 2024; originally announced January 2024.

Comments: 25 pages, 3 figures, 1 table, journal paper

MSC Class: 68T01 ACM Class: I.2.m; A.1

Journal ref: Computing, Volume 105, pages 2171-2194, 2023

High-precision mass measurements of neutron deficient silver isotopes probe the robustness of the $N$ = 50 shell closure

Authors: Zhuang Ge, Mikael Reponen, Tommi Eronen, Baishan Hu, Markus Kortelainen, Anu Kankainen, Iain Moore, Dmitrii Nesterenko, Cenxi Yuan, Olga Beliuskina, Laetitia Cañete, Ruben de Groote, Celement Delafosse, Pierre Delahaye, Timo Dickel, Antoine de Roubin, Sarina Geldhof, Wouter Gins, Jason Holt, Marjut Hukkanen, Arthur Jaries, Ari Jokinen, Ágota Koszorús, Gabriella Kripkó-Koncz, Sonja Kujanpää , et al. (14 additional authors not shown)

Abstract: High-precision mass measurements of exotic $^{95-97}$Ag isotopes close to the $N = Z$ line have been conducted with the JYFLTRAP double Penning trap mass spectrometer, with the silver ions produced using the recently commissioned inductively-heated hot cavity catcher laser ion source at the Ion Guide Isotope Separator On-Line facility. The atomic mass of $^{95}$Ag was directly determined for the f… ▽ More High-precision mass measurements of exotic $^{95-97}$Ag isotopes close to the $N = Z$ line have been conducted with the JYFLTRAP double Penning trap mass spectrometer, with the silver ions produced using the recently commissioned inductively-heated hot cavity catcher laser ion source at the Ion Guide Isotope Separator On-Line facility. The atomic mass of $^{95}$Ag was directly determined for the first time. In addition, the atomic masses of $β$-decaying 2$^+$ and 8$^+$ states in $^{96}$Ag have been identified and measured for the first time, and the precision of the $^{97}$Ag mass has been improved. The newly measured masses, with a precision of $\approx$ 1 keV/c$^2$, have been used to investigate the $N =$ 50 neutron shell closure confirming it to be robust. Empirical shell-gap and pairing energies determined with the new ground-state mass data are compared with the state-of-the-art \textit{ab initio} calculations with various chiral effective field theory Hamiltonians. The precise determination of the excitation energy of the $^{96m}$Ag isomer in particular serves as a benchmark for \textit{ab initio} predictions of nuclear properties beyond the ground state, specifically for odd-odd nuclei situated in proximity to the proton dripline below $^{100}$Sn. In addition, density functional theory (DFT) calculations and configuration-interaction shell-model (CISM) calculations are compared with the experimental results. All theoretical approaches face challenges to reproduce the trend of nuclear ground-state properties in the silver isotopic chain across the $N =$50 neutron shell and toward the proton drip-line. △ Less

Submitted 14 June, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Comments: 9 pages, 3 figures

Multipoles from Majorana constellations

Authors: J. L. Romero, A. B. Klimov, A. Z. Goldberg, G. Leuchs, L. L. Sanchez-Soto

Abstract: Majorana stars, the $2S$ spin coherent states that are orthogonal to a spin-$S$ state, offer an elegant method to visualize quantum states, disclosing their intrinsic symmetries. These states are naturally described by the corresponding multipoles. These quantities can be experimentally determined and allow for an SU(2)-invariant analysis. We investigate the relationship between Majorana constella… ▽ More Majorana stars, the $2S$ spin coherent states that are orthogonal to a spin-$S$ state, offer an elegant method to visualize quantum states, disclosing their intrinsic symmetries. These states are naturally described by the corresponding multipoles. These quantities can be experimentally determined and allow for an SU(2)-invariant analysis. We investigate the relationship between Majorana constellations and state multipoles, thus providing insights into the underlying symmetries of the system. We illustrate our approach with some relevant and informative examples. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: 9 pages, 6 figures. Comments welcome

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment

Authors: Pedro Delgado-Pérez, Aurora Ramírez, Kevin J. Valle-Gómez, Inmaculada Medina-Bulo, José Raúl Romero

Abstract: Automated test case generation has proven to be useful to reduce the usually high expenses of software testing. However, several studies have also noted the skepticism of testers regarding the comprehension of generated test suites when compared to manually designed ones. This fact suggests that involving testers in the test generation process could be helpful to increase their acceptance of autom… ▽ More Automated test case generation has proven to be useful to reduce the usually high expenses of software testing. However, several studies have also noted the skepticism of testers regarding the comprehension of generated test suites when compared to manually designed ones. This fact suggests that involving testers in the test generation process could be helpful to increase their acceptance of automatically-produced test suites. In this paper, we propose incorporating interactive readability assessments made by a tester into EvoSuite, a widely-known evolutionary test generation tool. Our approach, InterEvo-TR, interacts with the tester at different moments during the search and shows different test cases covering the same coverage target for their subjective evaluation. The design of such an interactive approach involves a schedule of interaction, a method to diversify the selected targets, a plan to save and handle the readability values, and some mechanisms to customize the level of engagement in the revision, among other aspects. To analyze the potential and practicability of our proposal, we conduct a controlled experiment in which 39 participants, including academics, professional developers, and student collaborators, interact with InterEvo-TR. Our results show that the strategy to select and present intermediate results is effective for the purpose of readability assessment. Furthermore, the participants' actions and responses to a questionnaire allowed us to analyze the aspects influencing test code readability and the benefits and limitations of an interactive approach in the context of test case generation, paving the way for future developments based on interactivity. △ Less

Submitted 13 January, 2024; originally announced January 2024.

Comments: 17 pages, 10 figures, 5 tables, journal paper

MSC Class: 68T20 ACM Class: D.2.5; I.2.8

Journal ref: IEEE Transactions on Software Engineering (Volume: 49, Issue: 4, 01 April 2023)

GEML: A Grammar-based Evolutionary Machine Learning Approach for Design-Pattern Detection

Authors: Rafael Barbudo, Aurora Ramírez, Francisco Servant, José Raúl Romero

Abstract: Design patterns (DPs) are recognised as a good practice in software development. However, the lack of appropriate documentation often hampers traceability, and their benefits are blurred among thousands of lines of code. Automatic methods for DP detection have become relevant but are usually based on the rigid analysis of either software metrics or specific properties of the source code. We propos… ▽ More Design patterns (DPs) are recognised as a good practice in software development. However, the lack of appropriate documentation often hampers traceability, and their benefits are blurred among thousands of lines of code. Automatic methods for DP detection have become relevant but are usually based on the rigid analysis of either software metrics or specific properties of the source code. We propose GEML, a novel detection approach based on evolutionary machine learning using software properties of diverse nature. Firstly, GEML makes use of an evolutionary algorithm to extract those characteristics that better describe the DP, formulated in terms of human-readable rules, whose syntax is conformant with a context-free grammar. Secondly, a rule-based classifier is built to predict whether new code contains a hidden DP implementation. GEML has been validated over five DPs taken from a public repository recurrently adopted by machine learning studies. Then, we increase this number up to 15 diverse DPs, showing its effectiveness and robustness in terms of detection capability. An initial parameter study served to tune a parameter setup whose performance guarantees the general applicability of this approach without the need to adjust complex parameters to a specific pattern. Finally, a demonstration tool is also provided. △ Less

Submitted 13 January, 2024; originally announced January 2024.

Comments: 27 pages, 18 tables, 10 figures, journal paper

MSC Class: 68W50 ACM Class: D.2.7; I.2.8

Journal ref: Journal of Systems and Software, Volume 175, May 2021, 110919

First investigation on the isomeric ratio in multinucleon transfer reactions: Entrance channel effects on the spin distribution

Authors: D. Kumar, T. Dickel, A. Zadvornaya, O. Beliuskin, A. Kankainen, P. Constantin, S. Purushothaman, A. Spataru, M. Stryjczyk, L. Al Ayoubi, M. Brunet, L. Canete, C. Delafosse, R. P. de Groote, A. de Roubin, T. Eronen, Z. Ge, W. Gins, C. Hornung, M. Hukkanenc, A. Illana Sison, A. Jokinen, D. Kahl, B. Kindler, B. Lommel , et al. (17 additional authors not shown)

Abstract: The multinucleon transfer (MNT) reaction approach was successfully employed for the first time to measure the isomeric ratios (IRs) of $^{211}$Po (25/2$^+$) isomer and its (9/2$^+$) ground state at the IGISOL facility using a 945 MeV $^{136}$Xe beam impinged on $^{209}$Bi and $^{\rm nat}$Pb targets. The dominant production of isomers compared to the corresponding ground states was consistently rev… ▽ More The multinucleon transfer (MNT) reaction approach was successfully employed for the first time to measure the isomeric ratios (IRs) of $^{211}$Po (25/2$^+$) isomer and its (9/2$^+$) ground state at the IGISOL facility using a 945 MeV $^{136}$Xe beam impinged on $^{209}$Bi and $^{\rm nat}$Pb targets. The dominant production of isomers compared to the corresponding ground states was consistently revealed in the $α$-decay spectra. Deduced IR of $^{211}$Po populated through the $^{136}$Xe+$^{\rm nat}$Pb reaction was found to enhance $\approx$1.8-times than observed for $^{136}$Xe+$^{209}$Bi. State-of-the-art Langevin-type model calculations have been utilized to estimate the spin distribution of an MNT residue. The computations qualitatively corroborate with the considerable increase in IRs of $^{211}$Po produced from $^{136}$Xe+$^{\rm nat}$Pb compared to $^{136}$Xe+$^{209}$Bi. Theoretical investigations indicate a weak influence of target spin on IRs. The enhancement of the $^{211}$Po isomer in the $^{136}$Xe+$^{\rm nat}$Pb over $^{136}$Xe+$^{209}$Bi can be attributed to the different proton ($p$)-transfer production routes. Estimations demonstrate an increment in the angular momentum transfer, favorable for isomer production, with increasing projectile energy. Comparative analysis indicates the two entrance channel parameters, projectile mass and $p$-transfer channels, strongly influencing the population of the high-spin isomer of $^{211}$Po (25/2$^+$). This is the first experimental and theoretical investigation on the IRs of nuclei produced via different channels of MNT reactions, with the latter quantitatively underestimating the former by a factor of two. △ Less

Submitted 15 January, 2024; v1 submitted 11 January, 2024; originally announced January 2024.

Comments: 5 figures

URHand: Universal Relightable Hands

Authors: Zhaoxi Chen, Gyeongsik Moon, Kaiwen Guo, Chen Cao, Stanislav Pidhorskyi, Tomas Simon, Rohan Joshi, Yuan Dong, Yichen Xu, Bernardo Pires, He Wen, Lucas Evans, Bo Peng, Julia Buffalini, Autumn Trimble, Kevyn McPhail, Melissa Schoeller, Shoou-I Yu, Javier Romero, Michael Zollhöfer, Yaser Sheikh, Ziwei Liu, Shunsuke Saito

Abstract: Existing photorealistic relightable hand models require extensive identity-specific observations in different views, poses, and illuminations, and face challenges in generalizing to natural illuminations and novel identities. To bridge this gap, we present URHand, the first universal relightable hand model that generalizes across viewpoints, poses, illuminations, and identities. Our model allows f… ▽ More Existing photorealistic relightable hand models require extensive identity-specific observations in different views, poses, and illuminations, and face challenges in generalizing to natural illuminations and novel identities. To bridge this gap, we present URHand, the first universal relightable hand model that generalizes across viewpoints, poses, illuminations, and identities. Our model allows few-shot personalization using images captured with a mobile phone, and is ready to be photorealistically rendered under novel illuminations. To simplify the personalization process while retaining photorealism, we build a powerful universal relightable prior based on neural relighting from multi-view images of hands captured in a light stage with hundreds of identities. The key challenge is scaling the cross-identity training while maintaining personalized fidelity and sharp details without compromising generalization under natural illuminations. To this end, we propose a spatially varying linear lighting model as the neural renderer that takes physics-inspired shading as input feature. By removing non-linear activations and bias, our specifically designed lighting model explicitly keeps the linearity of light transport. This enables single-stage training from light-stage data while generalizing to real-time rendering under arbitrary continuous illuminations across diverse identities. In addition, we introduce the joint learning of a physically based model and our neural relighting model, which further improves fidelity and generalization. Extensive experiments show that our approach achieves superior performance over existing methods in terms of both quality and generalizability. We also demonstrate quick personalization of URHand from a short phone scan of an unseen identity. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: Project Page https://frozenburning.github.io/projects/urhand/

Interactive Multi-Objective Evolutionary Optimization of Software Architectures

Authors: Aurora Ramírez, José Raúl Romero, Sebastián Ventura

Abstract: While working on a software specification, designers usually need to evaluate different architectural alternatives to be sure that quality criteria are met. Even when these quality aspects could be expressed in terms of multiple software metrics, other qualitative factors cannot be numerically measured, but they are extracted from the engineer's know-how and prior experiences. In fact, detecting n… ▽ More While working on a software specification, designers usually need to evaluate different architectural alternatives to be sure that quality criteria are met. Even when these quality aspects could be expressed in terms of multiple software metrics, other qualitative factors cannot be numerically measured, but they are extracted from the engineer's know-how and prior experiences. In fact, detecting not only strong but also weak points in the different solutions seems to fit better with the way humans make their decisions. Putting the human in the loop brings new challenges to the search-based software engineering field, especially for those human-centered activities within the early analysis phase. This paper explores how the interactive evolutionary computation can serve as a basis for integrating the human's judgment into the search process. An interactive approach is proposed to discover software architectures, in which both quantitative and qualitative criteria are applied to guide a multi-objective evolutionary algorithm. The obtained feedback is incorporated into the fitness function using architectural preferences allowing the algorithm to discern between promising and poor solutions. Experimentation with real users has revealed that the proposed interaction mechanism can effectively guide the search towards those regions of the search space that are of real interest to the expert. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 41 pages, 5 figures, journal "Information Sciences"

MSC Class: 68 ACM Class: D.2.11; F.2.2

Journal ref: Information Sciences, vol. 463-464, pp. 92-109, 2018

From Audio to Photoreal Embodiment: Synthesizing Humans in Conversations

Authors: Evonne Ng, Javier Romero, Timur Bagautdinov, Shaojie Bai, Trevor Darrell, Angjoo Kanazawa, Alexander Richard

Abstract: We present a framework for generating full-bodied photorealistic avatars that gesture according to the conversational dynamics of a dyadic interaction. Given speech audio, we output multiple possibilities of gestural motion for an individual, including face, body, and hands. The key behind our method is in combining the benefits of sample diversity from vector quantization with the high-frequency… ▽ More We present a framework for generating full-bodied photorealistic avatars that gesture according to the conversational dynamics of a dyadic interaction. Given speech audio, we output multiple possibilities of gestural motion for an individual, including face, body, and hands. The key behind our method is in combining the benefits of sample diversity from vector quantization with the high-frequency details obtained through diffusion to generate more dynamic, expressive motion. We visualize the generated motion using highly photorealistic avatars that can express crucial nuances in gestures (e.g. sneers and smirks). To facilitate this line of research, we introduce a first-of-its-kind multi-view conversational dataset that allows for photorealistic reconstruction. Experiments show our model generates appropriate and diverse gestures, outperforming both diffusion- and VQ-only methods. Furthermore, our perceptual evaluation highlights the importance of photorealism (vs. meshes) in accurately assessing subtle motion details in conversational gestures. Code and dataset available online. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Plug-and-Play regularized 3D seismic inversion with 2D pre-trained denoisers

Authors: Nick Luiken, Juan Romero, Miguel Corrales, Matteo Ravasi

Abstract: Post-stack seismic inversion is a widely used technique to retrieve high-resolution acoustic impedance models from migrated seismic data. Its modelling operator assumes that a migrated seismic data can be generated from the convolution of a source wavelet and the time derivative of the acoustic impedance model. Given the band-limited nature of the seismic wavelet, the convolutional model acts as a… ▽ More Post-stack seismic inversion is a widely used technique to retrieve high-resolution acoustic impedance models from migrated seismic data. Its modelling operator assumes that a migrated seismic data can be generated from the convolution of a source wavelet and the time derivative of the acoustic impedance model. Given the band-limited nature of the seismic wavelet, the convolutional model acts as a filtering operator on the acoustic impedance model, thereby making the problem of retrieving acoustic impedances from seismic data ambiguous. In order to compensate for missing frequencies, post-stack seismic inversion is often regularized, meaning that prior information about the structure of the subsurface is included in the inversion process. Recently, the Plug-and-Play methodology has gained wide interest in the inverse problem community as a new form of implicit regularization, often outperforming state-of-the-art regularization. Plug-and-Play can be applied to any proximal algorithm by simply replacing the proximal operator of the regularizer with any denoiser of choice. We propose to use Plug-and-Play regularization with a 2D pre-trained, deep denoiser for 2D post-stack seismic inversion. Additionally, we show that a generalization of Plug-and-Play, called Multi-Agent Consensus Equilibrium, can be adopted to solve 3D post-stack inversion whilst leveraging the same 2D pre-trained denoiser used in the 2D case. More precisely, Multi-Agent Consensus Equilibrium combines the results of applying such 2D denoiser in the inline, crossline, and time directions in an optimal manner. We verify the proposed methods on a portion of the SEAM Phase 1 velocity model and the Sleipner field dataset. 1 △ Less

Submitted 1 January, 2024; originally announced January 2024.

Comments: 24 pages, 10 figures

Collision-Free Navigation of Wheeled Mobile Robots: An Integrated Path Planning and Tube-Following Control Approach

Authors: Xiaodong Shao, Bin Zhang, Jose Guadalupe Romero, Bowen Fan, Qinglei Hu, David Navarro-Alarcon

Abstract: In this paper, an integrated path planning and tube-following control scheme is proposed for collision-free navigation of a wheeled mobile robot (WMR) in a compact convex workspace cluttered with sufficiently separated spherical obstacles. An analytical path planning algorithm is developed based on Bouligand's tangent cones and Nagumo's invariance theorem, which enables the WMR to navigate towards… ▽ More In this paper, an integrated path planning and tube-following control scheme is proposed for collision-free navigation of a wheeled mobile robot (WMR) in a compact convex workspace cluttered with sufficiently separated spherical obstacles. An analytical path planning algorithm is developed based on Bouligand's tangent cones and Nagumo's invariance theorem, which enables the WMR to navigate towards a designated goal location from almost all initial positions in the free space, without entering into augmented obstacle regions with safety margins. We further construct a virtual "safe tube" around the reference trajectory, ensuring that its radius does not exceed the size of the safety margin. Subsequently, a saturated adaptive controller is designed to achieve safe trajectory tracking in the presence of disturbances. It is shown that this tube-following controller guarantees that the WMR tracks the reference trajectory within the predefined tube, while achieving uniform ultimate boundedness of both the position tracking and parameter estimation errors. This indicates that the WMR will not collide with any obstacles along the way. Finally, we report simulation and experimental results to validate the effectiveness of the proposed method. △ Less

Submitted 19 December, 2023; originally announced December 2023.

IntraSeismic: a coordinate-based learning approach to seismic inversion

Authors: Juan Romero, Wolfgang Heidrich, Nick Luiken, Matteo Ravasi

Abstract: Seismic imaging is the numerical process of creating a volumetric representation of the subsurface geological structures from elastic waves recorded at the surface of the Earth. As such, it is widely utilized in the energy and construction sectors for applications ranging from oil and gas prospection, to geothermal production and carbon capture and storage monitoring, to geotechnical assessment of… ▽ More Seismic imaging is the numerical process of creating a volumetric representation of the subsurface geological structures from elastic waves recorded at the surface of the Earth. As such, it is widely utilized in the energy and construction sectors for applications ranging from oil and gas prospection, to geothermal production and carbon capture and storage monitoring, to geotechnical assessment of infrastructures. Extracting quantitative information from seismic recordings, such as an acoustic impedance model, is however a highly ill-posed inverse problem, due to the band-limited and noisy nature of the data. This paper introduces IntraSeismic, a novel hybrid seismic inversion method that seamlessly combines coordinate-based learning with the physics of the post-stack modeling operator. Key features of IntraSeismic are i) unparalleled performance in 2D and 3D post-stack seismic inversion, ii) rapid convergence rates, iii) ability to seamlessly include hard constraints (i.e., well data) and perform uncertainty quantification, and iv) potential data compression and fast randomized access to portions of the inverted model. Synthetic and field data applications of IntraSeismic are presented to validate the effectiveness of the proposed method. △ Less

Submitted 16 December, 2023; originally announced December 2023.

Comments: -

Drivable 3D Gaussian Avatars

Authors: Wojciech Zielonka, Timur Bagautdinov, Shunsuke Saito, Michael Zollhöfer, Justus Thies, Javier Romero

Abstract: We present Drivable 3D Gaussian Avatars (D3GA), the first 3D controllable model for human bodies rendered with Gaussian splats. Current photorealistic drivable avatars require either accurate 3D registrations during training, dense input images during testing, or both. The ones based on neural radiance fields also tend to be prohibitively slow for telepresence applications. This work uses the rece… ▽ More We present Drivable 3D Gaussian Avatars (D3GA), the first 3D controllable model for human bodies rendered with Gaussian splats. Current photorealistic drivable avatars require either accurate 3D registrations during training, dense input images during testing, or both. The ones based on neural radiance fields also tend to be prohibitively slow for telepresence applications. This work uses the recently presented 3D Gaussian Splatting (3DGS) technique to render realistic humans at real-time framerates, using dense calibrated multi-view videos as input. To deform those primitives, we depart from the commonly used point deformation method of linear blend skinning (LBS) and use a classic volumetric deformation method: cage deformations. Given their smaller size, we drive these deformations with joint angles and keypoints, which are more suitable for communication applications. Our experiments on nine subjects with varied body shapes, clothes, and motions obtain higher-quality results than state-of-the-art methods when using the same training and test data. △ Less

Submitted 14 November, 2023; originally announced November 2023.

Comments: Website: https://zielon.github.io/d3ga/

Diffusion Shape Prior for Wrinkle-Accurate Cloth Registration

Authors: Jingfan Guo, Fabian Prada, Donglai Xiang, Javier Romero, Chenglei Wu, Hyun Soo Park, Takaaki Shiratori, Shunsuke Saito

Abstract: Registering clothes from 4D scans with vertex-accurate correspondence is challenging, yet important for dynamic appearance modeling and physics parameter estimation from real-world data. However, previous methods either rely on texture information, which is not always reliable, or achieve only coarse-level alignment. In this work, we present a novel approach to enabling accurate surface registrati… ▽ More Registering clothes from 4D scans with vertex-accurate correspondence is challenging, yet important for dynamic appearance modeling and physics parameter estimation from real-world data. However, previous methods either rely on texture information, which is not always reliable, or achieve only coarse-level alignment. In this work, we present a novel approach to enabling accurate surface registration of texture-less clothes with large deformation. Our key idea is to effectively leverage a shape prior learned from pre-captured clothing using diffusion models. We also propose a multi-stage guidance scheme based on learned functional maps, which stabilizes registration for large-scale deformation even when they vary significantly from training data. Using high-fidelity real captured clothes, our experiments show that the proposed approach based on diffusion models generalizes better than surface registration with VAE or PCA-based priors, outperforming both optimization-based and learning-based non-rigid registration methods for both interpolation and extrapolation tests. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: Project page: https://www-users.cse.umn.edu/~guo00109/projects/3dv2024/

Nuclear charge radius of $^{26m}$Al and its implication for V$_{ud}$ in the quark-mixing matrix

Authors: P. Plattner, E. Wood, L. Al Ayoubi, O. Beliuskina, M. L. Bissell, K. Blaum, P. Campbell, B. Cheal, R. P. de Groote, C. S. Devlin, T. Eronen, L. Filippin, R. F. García Ruíz, Z. Ge, S. Geldhof, W. Gins, M. Godefroid, H. Heylen, M. Hukkanen, P. Imgram, A. Jaries, A. Jokinen, A. Kanellakopoulos, A. Kankainen, S. Kaufmann , et al. (28 additional authors not shown)

Abstract: Collinear laser spectroscopy was performed on the isomer of the aluminium isotope $^{26m}$Al. The measured isotope shift to $^{27}$Al in the $3s^{2}3p\;^{2}\!P^\circ_{3/2} \rightarrow 3s^{2}4s\;^{2}\!S_{1/2}$ atomic transition enabled the first experimental determination of the nuclear charge radius of $^{26m}$Al, resulting in $R_c$=\qty{3.130\pm.015}{\femto\meter}. This differs by 4.5 standard de… ▽ More Collinear laser spectroscopy was performed on the isomer of the aluminium isotope $^{26m}$Al. The measured isotope shift to $^{27}$Al in the $3s^{2}3p\;^{2}\!P^\circ_{3/2} \rightarrow 3s^{2}4s\;^{2}\!S_{1/2}$ atomic transition enabled the first experimental determination of the nuclear charge radius of $^{26m}$Al, resulting in $R_c$=\qty{3.130\pm.015}{\femto\meter}. This differs by 4.5 standard deviations from the extrapolated value used to calculate the isospin-symmetry breaking corrections in the superallowed $β$ decay of $^{26m}$Al. Its corrected $\mathcal{F}t$ value, important for the estimation of $V_{ud}$ in the CKM matrix, is thus shifted by one standard deviation to \qty{3071.4\pm1.0}{\second}. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 5 pages, 2 figures, submitted to Phys. Rev. Lett

Leader-Follower Formation Control of Perturbed Nonholonomic Agents along Parametric Curves with Directed Communication

Authors: Bin Zhang, Hui Zhi, Jose Guadalupe Romero, David Navarro-Alarcon

Abstract: In this paper, we propose a novel formation controller for nonholonomic agents to form general parametric curves. First, we derive a unified parametric representation for both open and closed curves. Then, a leader-follower formation controller is designed to form the parametric curves. We consider directed communications and constant input disturbances rejection in the controller design. Rigorous… ▽ More In this paper, we propose a novel formation controller for nonholonomic agents to form general parametric curves. First, we derive a unified parametric representation for both open and closed curves. Then, a leader-follower formation controller is designed to form the parametric curves. We consider directed communications and constant input disturbances rejection in the controller design. Rigorous Lyapunov-based stability analysis proves the asymptotic stability of the proposed controller. Detailed numerical simulations and experimental studies are conducted to verify the performance of the proposed method. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 6 pages, 6 figures

DeepSpeed4Science Initiative: Enabling Large-Scale Scientific Discovery through Sophisticated AI System Technologies

Authors: Shuaiwen Leon Song, Bonnie Kruft, Minjia Zhang, Conglong Li, Shiyang Chen, Chengming Zhang, Masahiro Tanaka, Xiaoxia Wu, Jeff Rasley, Ammar Ahmad Awan, Connor Holmes, Martin Cai, Adam Ghanem, Zhongzhu Zhou, Yuxiong He, Pete Luferenko, Divya Kumar, Jonathan Weyn, Ruixiong Zhang, Sylwester Klocek, Volodymyr Vragov, Mohammed AlQuraishi, Gustaf Ahdritz, Christina Floristean, Cristina Negri , et al. (67 additional authors not shown)

Abstract: In the upcoming decade, deep learning may revolutionize the natural sciences, enhancing our capacity to model and predict natural occurrences. This could herald a new era of scientific exploration, bringing significant advancements across sectors from drug development to renewable energy. To answer this call, we present DeepSpeed4Science initiative (deepspeed4science.ai) which aims to build unique… ▽ More In the upcoming decade, deep learning may revolutionize the natural sciences, enhancing our capacity to model and predict natural occurrences. This could herald a new era of scientific exploration, bringing significant advancements across sectors from drug development to renewable energy. To answer this call, we present DeepSpeed4Science initiative (deepspeed4science.ai) which aims to build unique capabilities through AI system technology innovations to help domain experts to unlock today's biggest science mysteries. By leveraging DeepSpeed's current technology pillars (training, inference and compression) as base technology enablers, DeepSpeed4Science will create a new set of AI system technologies tailored for accelerating scientific discoveries by addressing their unique complexity beyond the common technical approaches used for accelerating generic large language models (LLMs). In this paper, we showcase the early progress we made with DeepSpeed4Science in addressing two of the critical system challenges in structural biology research. △ Less

Submitted 11 October, 2023; v1 submitted 6 October, 2023; originally announced October 2023.

Robust Integral Consensus Control of Multi-Agent Networks Perturbed by Matched and Unmatched Disturbances: The Case of Directed Graphs

Authors: Jose Guadalupe Romero, David Navarro-Alarcon

Abstract: This work presents a new method to design consensus controllers for perturbed double integrator systems whose interconnection is described by a directed graph containing a rooted spanning tree. We propose new robust controllers to solve the consensus and synchronization problems when the systems are under the effects of matched and unmatched disturbances. In both problems, we present simple contin… ▽ More This work presents a new method to design consensus controllers for perturbed double integrator systems whose interconnection is described by a directed graph containing a rooted spanning tree. We propose new robust controllers to solve the consensus and synchronization problems when the systems are under the effects of matched and unmatched disturbances. In both problems, we present simple continuous controllers, whose integral actions allow us to handle the disturbances. A rigorous stability analysis based on Lyapunov's direct method for unperturbed networked systems is presented. To assess the performance of our result, a representative simulation study is presented. △ Less

Submitted 25 March, 2024; v1 submitted 30 September, 2023; originally announced October 2023.

Synergistic Integration of Large Language Models and Cognitive Architectures for Robust AI: An Exploratory Analysis

Authors: Oscar J. Romero, John Zimmerman, Aaron Steinfeld, Anthony Tomasic

Abstract: This paper explores the integration of two AI subdisciplines employed in the development of artificial agents that exhibit intelligent behavior: Large Language Models (LLMs) and Cognitive Architectures (CAs). We present three integration approaches, each grounded in theoretical models and supported by preliminary empirical evidence. The modular approach, which introduces four models with varying d… ▽ More This paper explores the integration of two AI subdisciplines employed in the development of artificial agents that exhibit intelligent behavior: Large Language Models (LLMs) and Cognitive Architectures (CAs). We present three integration approaches, each grounded in theoretical models and supported by preliminary empirical evidence. The modular approach, which introduces four models with varying degrees of integration, makes use of chain-of-thought prompting, and draws inspiration from augmented LLMs, the Common Model of Cognition, and the simulation theory of cognition. The agency approach, motivated by the Society of Mind theory and the LIDA cognitive architecture, proposes the formation of agent collections that interact at micro and macro cognitive levels, driven by either LLMs or symbolic components. The neuro-symbolic approach, which takes inspiration from the CLARION cognitive architecture, proposes a model where bottom-up learning extracts symbolic representations from an LLM layer and top-down guidance utilizes symbolic representations to direct prompt engineering in the LLM layer. These approaches aim to harness the strengths of both LLMs and CAs, while mitigating their weaknesses, thereby advancing the development of more robust AI systems. We discuss the tradeoffs and challenges associated with each approach. △ Less

Submitted 28 September, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: AAAI 2023 Fall Symposium

Sampling in the shift-invariant space generated by the bivariate Gaussian function

Authors: José Luis Romero, Alexander Ulanovskii, Ilya Zlotnikov

Abstract: We study the space spanned by the integer shifts of a bivariate Gaussian function and the problem of reconstructing any function in that space from samples scattered across the plane. We identify a large class of lattices, or more generally semi-regular sampling patterns spread along parallel lines, that lead to stable reconstruction while having densities close to the critical value given by Land… ▽ More We study the space spanned by the integer shifts of a bivariate Gaussian function and the problem of reconstructing any function in that space from samples scattered across the plane. We identify a large class of lattices, or more generally semi-regular sampling patterns spread along parallel lines, that lead to stable reconstruction while having densities close to the critical value given by Landau's limit. At the critical density, we construct examples of sampling patterns for which reconstruction fails. In the same vein, we also investigate continuous sampling along non-uniformly scattered families of parallel lines and identify the threshold density of line configurations at which reconstruction is possible. In a remarkable contrast with Paley-Wiener spaces, the results are completely different for lines with rational or irrational slopes. Finally, we apply the sampling results to Gabor systems with bivariate Gaussian windows. As a main contribution, we provide a large list of new examples of Gabor frames with non-complex lattices having volume close to 1. △ Less

Submitted 23 June, 2023; originally announced June 2023.

MSC Class: 42C40; 42C30; 94A20; 32A10; 30H05; 30B60

Mapping and Cleaning Open Commonsense Knowledge Bases with Generative Translation

Authors: Julien Romero, Simon Razniewski

Abstract: Structured knowledge bases (KBs) are the backbone of many know\-ledge-intensive applications, and their automated construction has received considerable attention. In particular, open information extraction (OpenIE) is often used to induce structure from a text. However, although it allows high recall, the extracted knowledge tends to inherit noise from the sources and the OpenIE algorithm. Beside… ▽ More Structured knowledge bases (KBs) are the backbone of many know\-ledge-intensive applications, and their automated construction has received considerable attention. In particular, open information extraction (OpenIE) is often used to induce structure from a text. However, although it allows high recall, the extracted knowledge tends to inherit noise from the sources and the OpenIE algorithm. Besides, OpenIE tuples contain an open-ended, non-canonicalized set of relations, making the extracted knowledge's downstream exploitation harder. In this paper, we study the problem of mapping an open KB into the fixed schema of an existing KB, specifically for the case of commonsense knowledge. We propose approaching the problem by generative translation, i.e., by training a language model to generate fixed-schema assertions from open ones. Experiments show that this approach occupies a sweet spot between traditional manual, rule-based, or classification-based canonicalization and purely generative KB construction like COMET. Moreover, it produces higher mapping accuracy than the former while avoiding the association-based noise of the latter. △ Less

Submitted 22 June, 2023; originally announced June 2023.

High-precision measurements of low-lying isomeric states in $^{120-124}$In with JYFLTRAP double Penning trap

Authors: D. A. Nesterenko, J. Ruotsalainen, M. Stryjczyk, A. Kankainen, L. Al Ayoubi, O. Beliuskina, P. Delahaye, T. Eronen, M. Flayol, Z. Ge, W. Gins, M. Hukkanen, A. Jaries, D. Kahl, D. Kumar, S. Nikas, A. Ortiz-Cortes, H. Penttilä, D. Pitman-Weymouth, A. Raggio, M. Ramalho, M. Reponen, S. Rinta-Antila, J. Romero, A. de Roubin , et al. (4 additional authors not shown)

Abstract: Neutron-rich $^{120-124}$In isotopes have been studied utilizing the double Penning trap mass spectrometer JYFLTRAP at the IGISOL facility. Using the phase-imaging ion-cyclotron-resonance technique, the isomeric states were resolved from ground states and their excitation energies measured with high precision in $^{121,123,124}$In. In $^{120,122}$In, the $1^+$ states were separated and their masse… ▽ More Neutron-rich $^{120-124}$In isotopes have been studied utilizing the double Penning trap mass spectrometer JYFLTRAP at the IGISOL facility. Using the phase-imaging ion-cyclotron-resonance technique, the isomeric states were resolved from ground states and their excitation energies measured with high precision in $^{121,123,124}$In. In $^{120,122}$In, the $1^+$ states were separated and their masses were measured while the energy difference between the unresolved $5^+$ and $8^-$ states, whose presence was confirmed by post-trap decay spectroscopy was determined to be $\leq15$ keV. In addition, the half-life of $^{122}$Cd, $T_{1/2} = 5.98(10)$ s, was extracted. Experimental results were compared with energy density functionals, density functional theory and shell-model calculations. △ Less

Submitted 1 September, 2023; v1 submitted 20 June, 2023; originally announced June 2023.

Comments: 11 pages, 7 figures

Journal ref: Phys. Rev. C 108, 054301 (2023)

$β^-$ decay $Q$-value measurement of $^{136}$Cs and its implications to neutrino studies

Authors: Z. Ge, T. Eronen, A. de Roubin, M. Ramalho, J. Kostensalo, J. Kotila, J. Suhonen, D. A. Nesterenko, A. Kankainen, P. Ascher, O. Beliuskina, M. Flayol, M. Gerbaux, S. Grévy, M. Hukkanen, A. Husson, A. Jaries, A. Jokinen, I. D. Moore, P. Pirinen, J. Romero, M. Stryjczyk, V. Virtanen, A. Zadvornaya

Abstract: The $β^-$ decay $Q$-value of $^{136}$Cs ($J^π= 5^+$, $t_{1/2} \approx 13$~days) was measured with the JYFLTRAP Penning trap setup at the Ion Guide Isotope Separator On-Line (IGISOL) facility of the University of Jyväskylä, Finland. The mono-isotopic samples required in the measurements were prepared with a new scheme utilised for the cleaning, based on the coupling of dipolar excitation with Ramse… ▽ More The $β^-$ decay $Q$-value of $^{136}$Cs ($J^π= 5^+$, $t_{1/2} \approx 13$~days) was measured with the JYFLTRAP Penning trap setup at the Ion Guide Isotope Separator On-Line (IGISOL) facility of the University of Jyväskylä, Finland. The mono-isotopic samples required in the measurements were prepared with a new scheme utilised for the cleaning, based on the coupling of dipolar excitation with Ramsey's method of time-separated oscillatory fields and the phase-imaging ion-cyclotron-resonance (PI-ICR) technique. The $Q$ value is determined to be 2536.83(45) keV, which is $\sim$4 times more precise and 11.4(20) keV ($\sim$ 6$σ$) smaller than the adopted value in the most recent Atomic Mass Evaluation AME2020. The daughter, $^{136}$Ba, has a 4$^+$ state at 2544.481(24) keV and a $3^-$ state at 2532.653(23) keV, both of which can potentially be ultralow $Q$-value end-states for the $^{136}$Cs decay. With our new ground-to-ground state $Q$ value, the decay energies to these two states become -7.65(45) keV and 4.18(45) keV, respectively. The former is confirmed to be negative at the level of $\sim$ 17$σ$, which verifies that this transition is not a suitable candidate for neutrino mass determination. On the other hand, the slightly negative $Q$ value makes this transition an interesting candidate for the study of virtual $β$-$γ$ transitions. The decay to the 3$^{-}$ state is validated to have a positive low $Q$ value which makes it a viable candidate for neutrino mass determination. For this transition, we obtained a shell-model-based half-life estimate of $2.1_{-0.8}^{+1.6}\times10^{12}$ yr. △ Less

Submitted 8 June, 2023; v1 submitted 7 June, 2023; originally announced June 2023.

Comments: 9 pages, 8 figures

Simultaneous Position-and-Stiffness Control of Underactuated Antagonistic Tendon-Driven Continuum Robots

Authors: Bowen Yi, Yeman Fan, Dikai Liu, Jose Guadalupe Romero

Abstract: Continuum robots have gained widespread popularity due to their inherent compliance and flexibility, particularly their adjustable levels of stiffness for various application scenarios. Despite efforts to dynamic modeling and control synthesis over the past decade, few studies have incorporated stiffness regulation into their feedback control design; however, this is one of the initial motivations… ▽ More Continuum robots have gained widespread popularity due to their inherent compliance and flexibility, particularly their adjustable levels of stiffness for various application scenarios. Despite efforts to dynamic modeling and control synthesis over the past decade, few studies have incorporated stiffness regulation into their feedback control design; however, this is one of the initial motivations to develop continuum robots. This paper addresses the crucial challenge of controlling both the position and stiffness of underactuated continuum robots actuated by antagonistic tendons. We begin by presenting a rigid-link dynamical model that can analyze the open-loop stiffening of tendon-driven continuum robots. Based on this model, we propose a novel passivity-based position-and-stiffness controller that adheres to the non-negative tension constraint. Comprehensive experiments on our continuum robot validate the theoretical results and demonstrate the efficacy and precision of this approach. △ Less

Submitted 13 October, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

Random periodic sampling patterns for shift-invariant spaces

Authors: Jorge Antezana, Diana Carbajal, José Luis Romero

Abstract: We consider multi-variate signals spanned by the integer shifts of a set of generating functions with distinct frequency profiles and the problem of reconstructing them from samples taken on a random periodic set. We show that such a sampling strategy succeeds with high probability provided that the density of the sampling pattern exceeds the number of frequency profiles by a logarithmic factor.… ▽ More We consider multi-variate signals spanned by the integer shifts of a set of generating functions with distinct frequency profiles and the problem of reconstructing them from samples taken on a random periodic set. We show that such a sampling strategy succeeds with high probability provided that the density of the sampling pattern exceeds the number of frequency profiles by a logarithmic factor. The signal model includes bandlimited functions with multi-band spectra. While in this well-studied setting delicate constructions provide sampling strategies that meet the information theoretic benchmark of Shannon and Landau, the sampling pattern that we consider provides, at the price of a logarithmic oversampling factor, a simple alternative that is accompanied by favorable a priori stability margins (snug frames). More generally, we also treat bandlimited functions with arbitrary compact spectra, and different measures of its complexity and approximation rates by integer tiles. At the technical level, we elaborate on recent work on relevant sampling, with the key difference that the reconstruction guarantees that we provide hold uniformly for all signals, rather than for a subset of well-concentrated ones. This is achieved by methods of concentration of measure formulated on the Zak domain. △ Less

Submitted 12 October, 2023; v1 submitted 24 May, 2023; originally announced May 2023.

MSC Class: 42B35; 60B20; 94A20

Hang-Time HAR: A Benchmark Dataset for Basketball Activity Recognition using Wrist-Worn Inertial Sensors

Authors: Alexander Hoelzemann, Julia Lee Romero, Marius Bock, Kristof Van Laerhoven, Qin Lv

Abstract: We present a benchmark dataset for evaluating physical human activity recognition methods from wrist-worn sensors, for the specific setting of basketball training, drills, and games. Basketball activities lend themselves well for measurement by wrist-worn inertial sensors, and systems that are able to detect such sport-relevant activities could be used in applications toward game analysis, guided… ▽ More We present a benchmark dataset for evaluating physical human activity recognition methods from wrist-worn sensors, for the specific setting of basketball training, drills, and games. Basketball activities lend themselves well for measurement by wrist-worn inertial sensors, and systems that are able to detect such sport-relevant activities could be used in applications toward game analysis, guided training, and personal physical activity tracking. The dataset was recorded for two teams from separate countries (USA and Germany) with a total of 24 players who wore an inertial sensor on their wrist, during both repetitive basketball training sessions and full games. Particular features of this dataset include an inherent variance through cultural differences in game rules and styles as the data was recorded in two countries, as well as different sport skill levels, since the participants were heterogeneous in terms of prior basketball experience. We illustrate the dataset's features in several time-series analyses and report on a baseline classification performance study with two state-of-the-art deep learning architectures. △ Less

Submitted 18 March, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

Journal ref: MDPI Sensors, 25 June 2023, Special Issue Inertial Measurement Units in Sport

$\mathcal{C}^{\infty}$-structures in the integration of involutive distributions

Authors: A. J. Pan-Collantes, C. Muriel, A. Ruiz, J. L. Romero

Abstract: For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered. Among the many approaches to this problem, solvable structures provide a systematic procedure of integration via Pfaffian equations that are integrable by quadratures. In this paper structures more general than solvable structures (na… ▽ More For a system of ordinary differential equations (ODEs) or, more generally, an involutive distribution of vector fields, the problem of its integration is considered. Among the many approaches to this problem, solvable structures provide a systematic procedure of integration via Pfaffian equations that are integrable by quadratures. In this paper structures more general than solvable structures (named cinf-structures) are considered. The symmetry condition in the concept of solvable structure is weakened for cinf-structures by requiring their vector fields be just cinf-symmetries. For cinf-structures there is also an integration procedure, but the corresponding Pfaffian equations, although completely integrable, are not necessarily integrable by quadratures. The well-known result on the relationship between integrating factors and Lie point symmetries for first-order ODEs is generalized for cinf-structures and involutive distributions of arbitrary corank by introducing symmetrizing factors. The role of these symmetrizing factors on the integrability by quadratures of the Pfaffian equations associated with the \cinf-structure is also established. Some examples that show how these objects and results can be applied in practice are also presented. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Journal ref: 2023 Phys. Scr. 98 085222

Quantum Inspired Optimization for Industrial Scale Problems

Authors: William P. Banner, Shima Bab Hadiashar, Grzegorz Mazur, Tim Menke, Marcin Ziolkowski, Ken Kennedy, Jhonathan Romero, Yudong Cao, Jeffrey A. Grover, William D. Oliver

Abstract: Model-based optimization, in concert with conventional black-box methods, can quickly solve large-scale combinatorial problems. Recently, quantum-inspired modeling schemes based on tensor networks have been developed which have the potential to better identify and represent correlations in datasets. Here, we use a quantum-inspired model-based optimization method TN-GEO to assess the efficacy of th… ▽ More Model-based optimization, in concert with conventional black-box methods, can quickly solve large-scale combinatorial problems. Recently, quantum-inspired modeling schemes based on tensor networks have been developed which have the potential to better identify and represent correlations in datasets. Here, we use a quantum-inspired model-based optimization method TN-GEO to assess the efficacy of these quantum-inspired methods when applied to realistic problems. In this case, the problem of interest is the optimization of a realistic assembly line based on BMW's currently utilized manufacturing schedule. Through a comparison of optimization techniques, we found that quantum-inspired model-based optimization, when combined with conventional black-box methods, can find lower-cost solutions in certain contexts. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: 10 pages, 7 figures

Nonparametric Confidence Intervals for Generalized Lorenz Curve using Modified Empirical Likelihood

Authors: Suthakaran Ratnasingam, Spencer Wallace, Imran Amani, Jade Romero

Abstract: The Lorenz curve portrays the inequality of income distribution. In this article, we develop three modified empirical likelihood (EL) approaches including adjusted empirical likelihood, transformed empirical likelihood, and transformed adjusted empirical likelihood to construct confidence intervals for the generalized Lorenz ordinate. We have shown that the limiting distribution of the modified EL… ▽ More The Lorenz curve portrays the inequality of income distribution. In this article, we develop three modified empirical likelihood (EL) approaches including adjusted empirical likelihood, transformed empirical likelihood, and transformed adjusted empirical likelihood to construct confidence intervals for the generalized Lorenz ordinate. We have shown that the limiting distribution of the modified EL ratio statistics for the generalized Lorenz ordinate follows the scaled Chi-Squared distributions with one degree of freedom. The coverage probabilities and mean lengths of confidence intervals are compared of the proposed methods with the traditional EL method through simulations under various scenarios. Finally, the proposed methods are illustrated using a real data application to construct confidence intervals. △ Less

Submitted 24 November, 2023; v1 submitted 8 April, 2023; originally announced April 2023.

Comments: 17 pages

Journal ref: Computational Statistics (2023)

Seeing through the CO2 plume: joint inversion-segmentation of the Sleipner 4D Seismic Dataset

Authors: Juan Romero, Nick Luiken, Matteo Ravasi

Abstract: 4D seismic inversion is the leading method to quantitatively monitor fluid flow dynamics in the subsurface, with applications ranging from enhanced oil recovery to subsurface CO2 storage. The process of inverting seismic data for reservoir properties is, however, a notoriously ill-posed inverse problem due to the band-limited and noisy nature of seismic data. This comes with additional challenges… ▽ More 4D seismic inversion is the leading method to quantitatively monitor fluid flow dynamics in the subsurface, with applications ranging from enhanced oil recovery to subsurface CO2 storage. The process of inverting seismic data for reservoir properties is, however, a notoriously ill-posed inverse problem due to the band-limited and noisy nature of seismic data. This comes with additional challenges for 4D applications, given inaccuracies in the repeatability of the time-lapse acquisition surveys. Consequently, adding prior information to the inversion process in the form of properly crafted regularization terms is essential to obtain geologically meaningful subsurface models. Motivated by recent advances in the field of convex optimization, we propose a joint inversion-segmentation algorithm for 4D seismic inversion, which integrates Total-Variation and segmentation priors as a way to counteract the missing frequencies and noise present in 4D seismic data. The proposed inversion framework is applied to a pair of surveys from the open Sleipner 4D Seismic Dataset. Our method presents three main advantages over state-of-the-art least-squares inversion methods: 1. it produces high-resolution baseline and monitor acoustic models, 2. by leveraging similarities between multiple data, it mitigates the non-repeatable noise and better highlights the real time-lapse changes, and 3. it provides a volumetric classification of the acoustic impedance 4D difference model (time-lapse changes) based on user-defined classes. Such advantages may enable more robust stratigraphic and quantitative 4D seismic interpretation and provide more accurate inputs for dynamic reservoir simulations. Alongside our novel inversion method, in this work, we introduce a streamlined data pre-processing sequence for the 4D Sleipner post-stack seismic dataset, which includes time-shift estimation and well-to-seismic tie. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: This paper proposes a novel algorithm to jointly regularize a 4D seismic inversion problem and segment the 4D difference volume into percentages of acoustic impedance changes. We validate our algorithm with the 4D Sleipner seismic dataset. Furthermore, this paper comprehensively explains the data preparation workflow for 4D seismic inversion

Journal ref: Volume 42 Issue 7 Jul 2023 Pages 446 516

Randomness-free Test of Non-classicality: a Proof of Concept

Authors: Zhonghua Ma, Markus Rambach, Kaumudibikash Goswami, Some Sankar Bhattacharya, Manik Banik, Jacquiline Romero

Abstract: Quantum correlations and non-projective measurements underlie a plethora of information-theoretic tasks, otherwise impossible in the classical world. Existing schemes to certify such non-classical resources in a device-independent manner require seed randomness, which is often costly and vulnerable to loopholes, for choosing the local measurements performed on different parts of a multipartite qua… ▽ More Quantum correlations and non-projective measurements underlie a plethora of information-theoretic tasks, otherwise impossible in the classical world. Existing schemes to certify such non-classical resources in a device-independent manner require seed randomness, which is often costly and vulnerable to loopholes, for choosing the local measurements performed on different parts of a multipartite quantum system. In this letter, we propose and experimentally implement a semi-device independent certification technique for both quantum correlations and non-projective measurements without seed randomness. Our test is semi-device independent in the sense that it requires only prior knowledge of the dimensions of the parts. We experimentally show a novel quantum advantage in correlated coin tossing by producing specific correlated coins from pairs of photons entangled in their transverse spatial modes. We establish the advantage by showing that the correlated coin obtained from the entangled photons cannot be obtained from two 2-level classical correlated coins. The quantum advantage requires performing qubit trine positive operator-valued measures (POVMs) on each part of the entangled pair, thus also certifying such POVMs in a semi-device-independent manner. This proof of concept firmly establishes a new cost-effective certification technique for both generating non-classical shared randomness and implementing non-classical measurements, which will be important for future multi-party quantum communications. △ Less

Submitted 5 September, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: Accepted in PRL. This is the accepted version

Improved Segmentation of Deep Sulci in Cortical Gray Matter Using a Deep Learning Framework Incorporating Laplace's Equation

Authors: Sadhana Ravikumar, Ranjit Ittyerah, Sydney Lim, Long Xie, Sandhitsu Das, Pulkit Khandelwal, Laura E. M. Wisse, Madigan L. Bedard, John L. Robinson, Terry Schuck, Murray Grossman, John Q. Trojanowski, Edward B. Lee, M. Dylan Tisdall, Karthik Prabhakaran, John A. Detre, David J. Irwin, Winifred Trotman, Gabor Mizsei, Emilio Artacho-Pérula, Maria Mercedes Iñiguez de Onzono Martin, Maria del Mar Arroyo Jiménez, Monica Muñoz, Francisco Javier Molina Romero, Maria del Pilar Marcos Rabal , et al. (7 additional authors not shown)

Abstract: When developing tools for automated cortical segmentation, the ability to produce topologically correct segmentations is important in order to compute geometrically valid morphometry measures. In practice, accurate cortical segmentation is challenged by image artifacts and the highly convoluted anatomy of the cortex itself. To address this, we propose a novel deep learning-based cortical segmentat… ▽ More When developing tools for automated cortical segmentation, the ability to produce topologically correct segmentations is important in order to compute geometrically valid morphometry measures. In practice, accurate cortical segmentation is challenged by image artifacts and the highly convoluted anatomy of the cortex itself. To address this, we propose a novel deep learning-based cortical segmentation method in which prior knowledge about the geometry of the cortex is incorporated into the network during the training process. We design a loss function which uses the theory of Laplace's equation applied to the cortex to locally penalize unresolved boundaries between tightly folded sulci. Using an ex vivo MRI dataset of human medial temporal lobe specimens, we demonstrate that our approach outperforms baseline segmentation networks, both quantitatively and qualitatively. △ Less

Submitted 3 March, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: Accepted at the 28th biennial international conference on Information Processing in Medical Imaging (IPMI 2023)

Linking the ADM formulation to other Hamiltonian formulations of general relativity

Authors: Merced Montesinos, Jorge Romero

Abstract: We obtain the Arnowitt-Deser-Misner formulation of general relativity in $n$ dimensions ($n \geq 3$) from its either $SO(n-1,1)$ [$SO(n)$] or $SO(n-1)$ Palatini Hamiltonian formulations and vice versa [we recall that $SO(n-1,1)$ [$SO(n)$] requires no gauge fixing whereas $SO(n-1)$ involves the time gauge]. Similarly, the Hamiltonian formulation of general relativity in terms of Ashtekar-Barbero va… ▽ More We obtain the Arnowitt-Deser-Misner formulation of general relativity in $n$ dimensions ($n \geq 3$) from its either $SO(n-1,1)$ [$SO(n)$] or $SO(n-1)$ Palatini Hamiltonian formulations and vice versa [we recall that $SO(n-1,1)$ [$SO(n)$] requires no gauge fixing whereas $SO(n-1)$ involves the time gauge]. Similarly, the Hamiltonian formulation of general relativity in terms of Ashtekar-Barbero variables can also be directly obtained from the Arnowitt-Deser-Misner Hamiltonian formulation and vice versa, which is an alternative approach to the way followed by Barbero. We give the relevant maps among the phase-space variables and relate the corresponding symplectic structures and the first-class constraints. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: It matches the published version

Journal ref: Physical Review D 107, 044052 (2023)

A Globally Convergent Estimator of the Parameters of the Classical Model of a Continuous Stirred Tank Reactor

Authors: Anton Pyrkin, Alexey Bobtsov, Romeo Ortega, Jose Guadalupe Romero, Denis Dochain

Abstract: In this paper we provide the first solution to the challenging problem of designing a globally exponentially convergent estimator for the parameters of the standard model of a continuous stirred tank reactor. Because of the presence of non-separable exponential nonlinearities in the system dynamics that appear in Arrhenius law, none of the existing parameter estimators is able to deal with them in… ▽ More In this paper we provide the first solution to the challenging problem of designing a globally exponentially convergent estimator for the parameters of the standard model of a continuous stirred tank reactor. Because of the presence of non-separable exponential nonlinearities in the system dynamics that appear in Arrhenius law, none of the existing parameter estimators is able to deal with them in an efficient way and, in spite of many attempts, the problem was open for many years. To establish our result we propose a novel procedure to obtain a suitable nonlinearly parameterized regression equation and introduce a radically new estimation algorithm - derived applying the Immersion and Invariance methodology - that is applicable to these regression equations. A further contribution of the paper is that parameter convergence is guaranteed with weak excitation requirements. △ Less

Submitted 11 February, 2023; originally announced February 2023.

Approximate reconstructability of quantum states and noisy quantum secret sharing schemes

Authors: Yingkai Ouyang, Kaumudibikash Goswami, Jacquiline Romero, Barry C. Sanders, Min-Hsiu Hsieh, Marco Tomamichel

Abstract: We introduce and analyse approximate quantum secret sharing in a formal cryptographic setting, wherein a dealer encodes and distributes a quantum secret to players such that authorized structures (sets of subsets of players) can approximately reconstruct the quantum secret and omnipotent adversarial agents controlling non-authorized subsets of players are approximately denied the quantum secret. I… ▽ More We introduce and analyse approximate quantum secret sharing in a formal cryptographic setting, wherein a dealer encodes and distributes a quantum secret to players such that authorized structures (sets of subsets of players) can approximately reconstruct the quantum secret and omnipotent adversarial agents controlling non-authorized subsets of players are approximately denied the quantum secret. In particular, viewing the map encoding the quantum secret to shares for players in an authorized structure as a quantum channel, we show that approximate reconstructability of the quantum secret by these players is possible if and only if the information leakage, given in terms of a certain entanglement-assisted capacity of the complementary quantum channel to the players outside the structure and the environment, is small. △ Less

Submitted 15 August, 2023; v1 submitted 5 February, 2023; originally announced February 2023.

Comments: 6 pages, 1 figure

Journal ref: Phys. Rev. A 108, 012425, Published 21 July 2023