-
Application of federated learning techniques for arrhythmia classification using 12-lead ECG signals
Authors:
Daniel Mauricio Jimenez Gutierrez,
Hafiz Muuhammad Hassan,
Lorella Landi,
Andrea Vitaletti,
Ioannis Chatzigiannakis
Abstract:
Artificial Intelligence-based (AI) analysis of large, curated medical datasets is promising for providing early detection, faster diagnosis, and more effective treatment using low-power Electrocardiography (ECG) monitoring devices information. However, accessing sensitive medical data from diverse sources is highly restricted since improper use, unsafe storage, or data leakage could violate a pers…
▽ More
Artificial Intelligence-based (AI) analysis of large, curated medical datasets is promising for providing early detection, faster diagnosis, and more effective treatment using low-power Electrocardiography (ECG) monitoring devices information. However, accessing sensitive medical data from diverse sources is highly restricted since improper use, unsafe storage, or data leakage could violate a person's privacy. This work uses a Federated Learning (FL) privacy-preserving methodology to train AI models over heterogeneous sets of high-definition ECG from 12-lead sensor arrays collected from six heterogeneous sources. We evaluated the capacity of the resulting models to achieve equivalent performance compared to state-of-the-art models trained in a Centralized Learning (CL) fashion. Moreover, we assessed the performance of our solution over Independent and Identical distributed (IID) and non-IID federated data. Our methodology involves machine learning techniques based on Deep Neural Networks and Long-Short-Term Memory models. It has a robust data preprocessing pipeline with feature engineering, selection, and data balancing techniques. Our AI models demonstrated comparable performance to models trained using CL, IID, and non-IID approaches. They showcased advantages in reduced complexity and faster training time, making them well-suited for cloud-edge architectures.
△ Less
Submitted 5 January, 2024; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Dimensionless solutions of the wave equation
Authors:
J. Blas,
J. L. Gutiérrez,
E. J. Abril
Abstract:
Plane waves are regarded as the general solution of the wave equation. However the plane wave expansion of standing waves by means of complex phasors leads to a theory in which the time coordinate does not receive the same treatment as the three space coordinates. An equal treatment is possible using our alternative approach built upon the dimensionless version of the wave equation. As a result, t…
▽ More
Plane waves are regarded as the general solution of the wave equation. However the plane wave expansion of standing waves by means of complex phasors leads to a theory in which the time coordinate does not receive the same treatment as the three space coordinates. An equal treatment is possible using our alternative approach built upon the dimensionless version of the wave equation. As a result, the usual standing wave solution written as sum of plane waves is just one of the available geometrical projections and therefore removes a part of the available information. The existence of these alternative projections and the constraints that they introduce, produce verifiable consequences. We present an experimental verification of one of this consequences by means of acoustic waves. In particular a resonant cavity is radiated from an external source through a squared aperture. The predicted flows of phase based on Pólya potentials allow us to find the direction of arrival without using temporal coordinates. Although this work is limited to the wave equation, the background concept is the relationship between space and time and therefore could have far reaching consequences in other physical models.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
On the Complexity of Rational Verification
Authors:
Julian Gutierrez,
Muhammad Najib,
Giuseppe Perelli,
Michael Wooldridge
Abstract:
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choose strategies that form a game-theoretic equilibrium. Rational verification can be understood as a counterpart to model checking for multiagent systems, but while classical model checking can be done in polynomial time fo…
▽ More
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choose strategies that form a game-theoretic equilibrium. Rational verification can be understood as a counterpart to model checking for multiagent systems, but while classical model checking can be done in polynomial time for some temporal logic specification languages such as CTL, and polynomial space with LTL specifications, rational verification is much harder: the key decision problems for rational verification are 2EXPTIME-complete with LTL specifications, even when using explicit-state system representations. Against this background, our contributions in this paper are threefold. First, we show that the complexity of rational verification can be greatly reduced by restricting specifications to GR(1), a fragment of LTL that can represent a broad and practically useful class of response properties of reactive systems. In particular, we show that for a number of relevant settings, rational verification can be done in polynomial space and even in polynomial time. Second, we provide improved complexity results for rational verification when considering players' goals given by mean-payoff utility functions; arguably the most widely used approach for quantitative objectives in concurrent and multiagent systems. Finally, we consider the problem of computing outcomes that satisfy social welfare constraints. To this end, we consider both utilitarian and egalitarian social welfare and show that computing such outcomes is either PSPACE-complete or NP-complete.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Precision measurement of Compton scattering in silicon with a skipper CCD for dark matter detection
Authors:
D. Norcini,
N. Castello-Mor,
D. Baxter,
N. J. Corso,
J. Cuevas-Zepeda,
C. De Dominicis,
A. Matalon,
S. Munagavalasa,
S. Paul,
P. Privitera,
K. Ramanathan,
R. Smida,
R. Thomas,
R. Yajur,
A. E. Chavarria,
K. McGuire,
P. Mitra,
A. Piers,
M. Settimo,
J. Cortabitarte Gutierrez,
J. Duarte-Campderros,
A. Lantero-Barreda,
A. Lopez-Virto,
I. Vila,
R. Vilar
, et al. (19 additional authors not shown)
Abstract:
Experiments aiming to directly detect dark matter through particle recoils can achieve energy thresholds of $\mathcal{O}(1\,\mathrm{eV})$. In this regime, ionization signals from small-angle Compton scatters of environmental $γ$-rays constitute a significant background. Monte Carlo simulations used to build background models have not been experimentally validated at these low energies. We report a…
▽ More
Experiments aiming to directly detect dark matter through particle recoils can achieve energy thresholds of $\mathcal{O}(1\,\mathrm{eV})$. In this regime, ionization signals from small-angle Compton scatters of environmental $γ$-rays constitute a significant background. Monte Carlo simulations used to build background models have not been experimentally validated at these low energies. We report a precision measurement of Compton scattering on silicon atomic shell electrons down to 23$\,$eV. A skipper charge-coupled device (CCD) with single-electron resolution, developed for the DAMIC-M experiment, was exposed to a $^{241}$Am $γ$-ray source over several months. Features associated with the silicon K, L$_{1}$, and L$_{2,3}$-shells are clearly identified, and scattering on valence electrons is detected for the first time below 100$\,$eV. We find that the relativistic impulse approximation for Compton scattering, which is implemented in Monte Carlo simulations commonly used by direct detection experiments, does not reproduce the measured spectrum below 0.5$\,$keV. The data are in better agreement with $ab$ $initio$ calculations originally developed for X-ray absorption spectroscopy.
△ Less
Submitted 2 July, 2022;
originally announced July 2022.
-
Primordial black holes capture by stars and induced collapse to low-mass stellar black holes
Authors:
Marc Oncins,
Jordi Miralda-Escudé,
Jordi L. Gutiérrez,
Pilar Gil-Pons
Abstract:
Primordial black holes in the asteroid-mass window ($\sim 10^{-16}$ to $10^{-11} \rm M_{\odot}$), which might constitute all the dark matter, can be captured by stars when they traverse them at low enough velocity. After being placed on a bound orbit during star formation, they can repeatedly cross the star if the orbit happens to be highly eccentric, slow down by dynamical friction and end up in…
▽ More
Primordial black holes in the asteroid-mass window ($\sim 10^{-16}$ to $10^{-11} \rm M_{\odot}$), which might constitute all the dark matter, can be captured by stars when they traverse them at low enough velocity. After being placed on a bound orbit during star formation, they can repeatedly cross the star if the orbit happens to be highly eccentric, slow down by dynamical friction and end up in the stellar core. The rate of these captures is highest in halos of high dark matter density and low velocity dispersion, when the first stars form at redshift $z \sim 20$. We compute this capture rate for low-metallicity stars of $0.3$ to $1\rm M_{\odot}$, and find that a high fraction of these stars formed in the first dwarf galaxies would capture a primordial black hole, which would then grow by accretion up to a mass that may be close to the total star mass. We show the capture rate of primordial black holes does not depend on their mass over this asteroid-mass window, and should not be much affected by external tidal perturbations. These low-mass stellar black holes could be discovered today in low-metallicity, old binary systems in the Milky Way containing a surviving low-mass main-sequence star or a white dwarf, or via gravitational waves emitted in a merger with another compact object. No mechanisms in standard stellar evolution theory are known to form black holes of less than a Chandrasekhar mass, so detecting a low-mass black hole would fundamentally impact our understanding of stellar evolution, dark matter and the early Universe.
△ Less
Submitted 27 September, 2022; v1 submitted 25 May, 2022;
originally announced May 2022.
-
Emerging Immersive Communication Systems: Overview, Taxonomy, and Good Practises for QoE Assessment
Authors:
Pablo Pérez,
Ester Gonzalez-Sosa,
Jesús Gutiérrez,
Narciso García
Abstract:
Several technological and scientific advances have been achieved recently in the fields of immersive systems, which are offering new possibilities to applications and services in different communication domains, such as entertainment, virtual conferencing, working meetings, social relations, healthcare, and industry. Users of these immersive technologies can explore and experience the stimuli in a…
▽ More
Several technological and scientific advances have been achieved recently in the fields of immersive systems, which are offering new possibilities to applications and services in different communication domains, such as entertainment, virtual conferencing, working meetings, social relations, healthcare, and industry. Users of these immersive technologies can explore and experience the stimuli in a more interactive and personalized way than previous technologies. Thus, considering the new technological challenges related to these systems and the new perceptual dimensions and interaction behaviors involved, a deep understanding of the users' Quality of Experience is required to satisfy their demands and expectations. In this sense, it is essential to foster the research on evaluating the QoE of immersive communication systems, since this will provide useful outcomes to optimize them and to identify the factors that can deteriorate the user experience. With this aim, subjective tests are usually performed following standard methodologies, which are designed for specific technologies and services. Although numerous user studies have been already published, there are no recommendations or standards that define common testing methodologies to be applied to evaluate immersive communication systems, such as those developed for images and video. Therefore, a revision of the QoE evaluation methods designed for previous technologies is required to develop robust and reliable methodologies for immersive communication systems. Thus, the objective of this paper is to provide an overview of existing immersive communication systems and related user studies, which can help on the definition of basic guidelines and testing methodologies to be used when performing user tests of immersive communication systems, such as 360-degree video-based telepresence, avatar-based social VR, cooperative AR, etc.
△ Less
Submitted 1 September, 2022; v1 submitted 12 May, 2022;
originally announced May 2022.
-
Local permutation polynomials and the action of e-Klenian groups
Authors:
Jaime Gutierrez,
Jorge Jimenez Urroz
Abstract:
Permutation polynomials of finite fields have many applications in Coding Theory, Cryptography and Combinatorics. In the first part of this paper we present a new family of local permutation polynomials based on a class of symmetric subgroups without fixed points, the so called e-Klenian groups. In the second part we use the fact that bivariate local permutation polynomials define Latin Squares, t…
▽ More
Permutation polynomials of finite fields have many applications in Coding Theory, Cryptography and Combinatorics. In the first part of this paper we present a new family of local permutation polynomials based on a class of symmetric subgroups without fixed points, the so called e-Klenian groups. In the second part we use the fact that bivariate local permutation polynomials define Latin Squares, to discuss several constructions of Mutually Orthogonal Latin Squares (MOLS) and, in particular, we provide a new family of MOLS on size a prime power.
△ Less
Submitted 29 April, 2022;
originally announced May 2022.
-
Implementation of FAIR principles in the IPCC: The WGI AR6 Atlas repository
Authors:
Maialen Iturbide,
Jesús Fernández,
José M. Gutiérrez,
Anna Pirani,
David Huard,
Alaa Al Khourdajie,
Jorge Baño-Medina,
Joaquin Bedia,
Ana Casanueva,
Ezequiel Cimadevilla,
Antonio S. Cofiño,
Matteo De Felice,
Javier Diez-Sierra,
Markel García-Díez,
James Goldie,
Dimitris A. Herrera,
Sixto Herrera,
Rodrigo Manzanas,
Josipa Milovac,
Aparna Radhakrishnan,
Daniel San-Martín,
Alessandro Spinuso,
Kristen Thyng,
Claire Trenham,
Özge Yelekçi
Abstract:
The Sixth Assessment Report (AR6) of the Intergovernmental Panel on Climate Change (IPCC) has adopted the FAIR Guiding Principles. The Atlas chapter of Working Group I (WGI) is presented as a test case. Here, we describe the application of these principles in the Atlas, the challenges faced during its implementation, and those that remain for the future. We present the open source repository resul…
▽ More
The Sixth Assessment Report (AR6) of the Intergovernmental Panel on Climate Change (IPCC) has adopted the FAIR Guiding Principles. The Atlas chapter of Working Group I (WGI) is presented as a test case. Here, we describe the application of these principles in the Atlas, the challenges faced during its implementation, and those that remain for the future. We present the open source repository resulting from this process, which collects the code (including annotated Jupyter notebooks), data provenance, and some aggregated datasets underpinning the key figures in the Atlas chapter and its interactive companion (the Interactive Atlas), open to scrutiny by the scientific community and the general public. We describe the informal pilot review conducted on this repository to gather recommendations that led to significant improvements. Finally, a working example illustrates the use of the repository to produce customized regional information, extending the Interactive Atlas products and running the code interactively in a web browser using Jupyter notebooks. Atlas repository: doi:10.5281/zenodo.5171760.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
A Probabilistic Chemical Programmable Computer
Authors:
Abhishek Sharma,
Marcus Tze-Kiat Ng,
Juan Manuel Parrilla Gutierrez,
Yibin Jiang,
Leroy Cronin
Abstract:
The exponential growth of the power of modern digital computers is based upon the miniaturisation of vast nanoscale arrays of electronic switches, but this will be eventually constrained by fabrication limits and power dissipation. Chemical processes have the potential to scale beyond these limits performing computations through chemical reactions, yet the lack of well-defined programmability limi…
▽ More
The exponential growth of the power of modern digital computers is based upon the miniaturisation of vast nanoscale arrays of electronic switches, but this will be eventually constrained by fabrication limits and power dissipation. Chemical processes have the potential to scale beyond these limits performing computations through chemical reactions, yet the lack of well-defined programmability limits their scalability and performance. We present a hybrid digitally programmable chemical array as a probabilistic computational machine that uses chemical oscillators partitioned in interconnected cells as a computational substrate. This hybrid architecture performs efficient computation by distributing between chemical and digital domains together with error correction. The efficiency is gained by combining digital with probabilistic chemical logic based on nearest neighbour interactions and hysteresis effects. We demonstrated the implementation of one- and two- dimensional Chemical Cellular Automata and solutions to combinatorial optimization problems.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Meteorological indicators of dengue epidemics in non-endemic Northwest Argentina
Authors:
Javier Armando Gutierrez,
Karina Laneri,
Juan Pablo Aparicio,
Gustavo Javier Sibona
Abstract:
In the last two decades dengue cases increased significantly throughout the world. In several regions dengue re-emerged, particularly in Latin America, where dengue cases not only increased but also occurred more frequently. It is therefore necessary to understand the mechanisms that drive epidemic outbreaks in non-endemic regions, to help in the design of control strategies. We develop a stochast…
▽ More
In the last two decades dengue cases increased significantly throughout the world. In several regions dengue re-emerged, particularly in Latin America, where dengue cases not only increased but also occurred more frequently. It is therefore necessary to understand the mechanisms that drive epidemic outbreaks in non-endemic regions, to help in the design of control strategies. We develop a stochastic model that includes climate variables, social structure, and mobility between a non-endemic city and an endemic area. We choose as a case study the non-endemic city of San Ram{ó}n de la Nueva Or{á}n, located in Northwest Argentina. Human mobility is intense through the border with Bolivia, where dengue transmission is sustained during the whole year. City population was modelled as a meta-population taking into account households and population data for each patch. Climate variability was considered by including rainfall, relative humidity and temperature time series into the models. Those climatic variables were input of a mosquito population ecological model, which in turn is coupled to an epidemiological model. Different hypotheses regarding people's mobility between an endemic and non-endemic area are tested, taking into account the local climatic variation, typical of the non-endemic city. Simulations are qualitatively consistent with weekly clinical data reported from 2009 to 2016. Our model results allow to explain the observed pattern of outbreaks, that alternates large dengue epidemics and several years with smaller outbreaks. We found that the number of vectors per host and an effective reproductive number are proxies for large epidemics, both related with climate variability such as rainfall and temperature, opening the possibility to test these meteorological variables for forecast purposes.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Machine Learning architectures for price formation models
Authors:
Diogo Gomes,
Julián Gutiérrez,
Mathieu Laurière
Abstract:
Here, we study machine learning (ML) architectures to solve a mean-field games (MFGs) system arising in price formation models. We formulate a training process that relies on a min-max characterization of the optimal control and price variables. Our main theoretical contribution is the development of a posteriori estimates as a tool to evaluate the convergence of the training process. We illustrat…
▽ More
Here, we study machine learning (ML) architectures to solve a mean-field games (MFGs) system arising in price formation models. We formulate a training process that relies on a min-max characterization of the optimal control and price variables. Our main theoretical contribution is the development of a posteriori estimates as a tool to evaluate the convergence of the training process. We illustrate our results with numerical experiments for linear dynamics and both quadratic and non-quadratic models.
△ Less
Submitted 25 January, 2023; v1 submitted 8 April, 2022;
originally announced April 2022.
-
The Potential Method For Price-Formation Models
Authors:
Yuri Ashrafyan,
Tigran Bakaryan,
Diogo Gomes,
Julian Gutierrez
Abstract:
We consider the mean-field game price formation model introduced by Gomes and Saúde.
In this MFG model, agents trade a commodity whose supply can be deterministic or stochastic. Agents maximize profit, taking into account current and future prices. The balance between supply and demand determines the price. We introduce a potential function that converts the MFG into a convex variational problem.…
▽ More
We consider the mean-field game price formation model introduced by Gomes and Saúde.
In this MFG model, agents trade a commodity whose supply can be deterministic or stochastic. Agents maximize profit, taking into account current and future prices. The balance between supply and demand determines the price. We introduce a potential function that converts the MFG into a convex variational problem. This variational formulation is particularly suitable for machine learning approaches. Here, we use a recurrent neural network to solve this problem. In the last section of the paper, we compare our results with known analytical solutions.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
A Variational Approach For Price Formation Models In One Dimension
Authors:
Yuri Ashrafyan,
Tigran Bakaryan,
Diogo Gomes,
Julian Gutierrez
Abstract:
In this paper, we study a class of first-order mean-field games (MFGs) that model price formation. Using Poincar{é} Lemma, we eliminate one of the equations and obtain a variational problem for a single function. This variational problem offers an alternative approach for the numerical solution of the original MFGs system. We show a correspondence between solutions of the MFGs system and the varia…
▽ More
In this paper, we study a class of first-order mean-field games (MFGs) that model price formation. Using Poincar{é} Lemma, we eliminate one of the equations and obtain a variational problem for a single function. This variational problem offers an alternative approach for the numerical solution of the original MFGs system. We show a correspondence between solutions of the MFGs system and the variational problem. Moreover, we address the existence of solutions for the variational problem using the direct method in the calculus of variations. We end the paper with numerical results for a linear-quadratic model.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Formation of Two-Ion Crystals by Injection from a Paul-Trap Source into a High-Magnetic-Field Penning Trap
Authors:
Joaquín Berrocal,
Emilio Altozano,
Francisco Domínguez,
Manuel Jesús Gutiérrez,
Javier Cerrillo,
Francisco Javier Fernández,
Michael Block,
Christian Ospelkaus,
Daniel Rodríguez
Abstract:
Two-ion crystals constitute a platform for investigations of quantum nature that can be extended to any ion species or charged particle provided one of the ions in the crystal can be directly laser-cooled and manipulated with laser radiation. This paper presents the formation of two-ion crystals for quantum metrology in a 7-tesla open-ring Penning trap. $^{40}$Ca$^+$ ions are produced either inter…
▽ More
Two-ion crystals constitute a platform for investigations of quantum nature that can be extended to any ion species or charged particle provided one of the ions in the crystal can be directly laser-cooled and manipulated with laser radiation. This paper presents the formation of two-ion crystals for quantum metrology in a 7-tesla open-ring Penning trap. $^{40}$Ca$^+$ ions are produced either internally by photoionization or externally in a (Paul-trap) source, transported through the strong magnetic field gradient of the superconducting solenoid, and captured in-flight with a mean kinetic energy of a few electronvolts with respect to the minimum of the Penning-trap potential well. Laser cooling of the two-ion crystal in a strong magnetic field towards reaching the quantum regime is also presented with particular emphasis on the cooling of the radial modes.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Thinking about GPT-3 In-Context Learning for Biomedical IE? Think Again
Authors:
Bernal Jiménez Gutiérrez,
Nikolas McNeal,
Clay Washington,
You Chen,
Lang Li,
Huan Sun,
Yu Su
Abstract:
The strong few-shot in-context learning capability of large pre-trained language models (PLMs) such as GPT-3 is highly appealing for application domains such as biomedicine, which feature high and diverse demands of language technologies but also high data annotation costs. In this paper, we present the first systematic and comprehensive study to compare the few-shot performance of GPT-3 in-contex…
▽ More
The strong few-shot in-context learning capability of large pre-trained language models (PLMs) such as GPT-3 is highly appealing for application domains such as biomedicine, which feature high and diverse demands of language technologies but also high data annotation costs. In this paper, we present the first systematic and comprehensive study to compare the few-shot performance of GPT-3 in-context learning with fine-tuning smaller (i.e., BERT-sized) PLMs on two highly representative biomedical information extraction tasks, named entity recognition and relation extraction. We follow the true few-shot setting to avoid overestimating models' few-shot performance by model selection over a large validation set. We also optimize GPT-3's performance with known techniques such as contextual calibration and dynamic in-context example retrieval. However, our results show that GPT-3 still significantly underperforms compared to simply fine-tuning a smaller PLM. In addition, GPT-3 in-context learning also yields smaller gains in accuracy when more training data becomes available. Our in-depth analyses further reveal issues of the in-context learning setting that may be detrimental to information extraction tasks in general. Given the high cost of experimenting with GPT-3, we hope our study provides guidance for biomedical researchers and practitioners towards more promising directions such as fine-tuning small PLMs.
△ Less
Submitted 5 November, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Path eccentricity of graphs
Authors:
Renzo Gómez,
Juan Gutiérrez
Abstract:
Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in t…
▽ More
Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in trees, but it is known to be NP-hard in many classes of graphs such as chordal bipartite graphs, planar 3-connected graphs, split graphs, etc.
We investigate the path eccentricity of a connected graph~$G$ as a parameter. Let pe$(G)$ denote the value of ecc$_G(P)$ for a central path $P$ of $G$. We obtain tight upper bounds for pe$(G)$ in some graph classes. We show that pe$(G) \leq 1$ on biconvex graphs and that pe$(G) \leq 2$ on bipartite convex graphs. Moreover, we design algorithms that find such a path in linear time. On the other hand, by investigating the longest paths of a graph, we obtain tight upper bounds for pe$(G)$ on general graphs and $k$-connected graphs.
Finally, we study the relation between a central path and a longest path in a graph. We show that on trees, and bipartite permutation graphs, a longest path is also a central path. Furthermore, for superclasses of these graphs, we exhibit counterexamples for this property.
△ Less
Submitted 5 February, 2022;
originally announced February 2022.
-
Cosmology and direct detection of the Dark Axion Portal
Authors:
Juan Cortabitarte Gutiérrez,
Bradley J. Kavanagh,
Núria Castelló-Mor,
Francisco J. Casas,
Jose M. Diego,
Enrique Martínez-González,
Rocío Vilar Cortabitarte
Abstract:
The Dark Axion Portal provides a model for Dark Matter (DM) in which both Dark Photons $γ^\prime$ and Axions $a$ can contribute to the present day abundance of DM. We study the parameter space of the Dark Axion Portal to pinpoint regions of the parameter space where $γ^\prime$ and $a$ can be produced with sufficient abundance to account for the cosmic DM density, while still being detectable in pl…
▽ More
The Dark Axion Portal provides a model for Dark Matter (DM) in which both Dark Photons $γ^\prime$ and Axions $a$ can contribute to the present day abundance of DM. We study the parameter space of the Dark Axion Portal to pinpoint regions of the parameter space where $γ^\prime$ and $a$ can be produced with sufficient abundance to account for the cosmic DM density, while still being detectable in planned direct detection and axion haloscope experiments. In particular, we explore the production of eV-scale Dark Photons in the Dark Axion Portal, taking into account a possible kinetic mixing between the dark and visible photons, which is essential for the detection of dark photons through absorption in direct searches. We show that a non-zero kinetic mixing does not generally spoil the phenomenology of the model, leaving both the axion and dark photon stable. Viable production mechanisms point to a sub-dominant population of dark photons making up $\lesssim 10\%$ of the DM, with the remainder consisting of axion DM. Dark photons in the mass range $m_{γ^\prime} \sim 20-200\,\mathrm{eV}$ and axions in the mass range $m_a \sim 30 - 400\,μ\mathrm{eV}$ may be produced with these abundances self-consistently in the Dark Axion Portal and are within the reach of future direct searches.
△ Less
Submitted 3 February, 2022; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Tailoring the Cyber Security Framework: How to Overcome the Complexities of Secure Live Virtual Machine Migration in Cloud Computing
Authors:
Hanif Deylami,
Jairo Gutierrez,
Roopak Sinha
Abstract:
This paper proposes a novel secure live virtual machine migration framework by using a virtual trusted platform module instance to improve the integrity of the migration process from one virtual machine to another on the same platform. The proposed framework, called Kororā, is designed and developed on a public infrastructure-as-a-service cloud-computing environment and runs concurrently on the sa…
▽ More
This paper proposes a novel secure live virtual machine migration framework by using a virtual trusted platform module instance to improve the integrity of the migration process from one virtual machine to another on the same platform. The proposed framework, called Kororā, is designed and developed on a public infrastructure-as-a-service cloud-computing environment and runs concurrently on the same hardware components (Input/Output, Central Processing Unit, Memory) and the same hypervisor (Xen); however, a combination of parameters needs to be evaluated before implementing Kororā. The implementation of Kororā is not practically feasible in traditional distributed computing environments. It requires fixed resources with high-performance capabilities, connected through a high-speed, reliable network. The following research objectives were determined to identify the integrity features of live virtual machine migration in the cloud system:
To understand the security issues associated with cloud computing, virtual trusted platform modules, virtualization, live virtual machine migration, and hypervisors; To identify the requirements for the proposed framework, including those related to live VM migration among different hypervisors; To design and validate the model, processes, and architectural features of the proposed framework; To propose and implement an end-to-end security architectural blueprint for cloud environments, providing an integrated view of protection mechanisms, and then to validate the proposed framework to improve the integrity of live VM migration. This is followed by a comprehensive review of the evaluation system architecture and the proposed framework state machine. The overarching aim of this paper, therefore, is to present a detailed analysis of the cloud computing security problem, from the perspective of cloud architectures and the cloud... [Abridged]
△ Less
Submitted 9 October, 2021;
originally announced October 2021.
-
DNN-assisted Particle-based Bayesian Joint Synchronization and Localization
Authors:
Meysam Goodarzi,
Vladica Sark,
Nebojsa Maletic,
Jesús Gutiérrez,
Giuseppe Caire,
Eckhard Grass
Abstract:
In this work, we propose a Deep neural network-assisted Particle Filter-based (DePF) approach to address the Mobile User (MU) joint synchronization and localization (sync\&loc) problem in ultra dense networks. In particular, DePF deploys an asymmetric time-stamp exchange mechanism between the MUs and the Access Points (APs), which, traditionally, provides us with information about the MUs' clock o…
▽ More
In this work, we propose a Deep neural network-assisted Particle Filter-based (DePF) approach to address the Mobile User (MU) joint synchronization and localization (sync\&loc) problem in ultra dense networks. In particular, DePF deploys an asymmetric time-stamp exchange mechanism between the MUs and the Access Points (APs), which, traditionally, provides us with information about the MUs' clock offset and skew. However, information about the distance between an AP and an MU is also intrinsic to the propagation delay experienced by exchanged time-stamps. In addition, to estimate the angle of arrival of the received synchronization packet, DePF draws on the multiple signal classification algorithm that is fed by Channel Impulse Response (CIR) experienced by the sync packets. The CIR is also leveraged on to determine the link condition, i.e. Line-of-Sight (LoS) or Non-LoS. Finally, to perform joint sync\&loc, DePF capitalizes on particle Gaussian mixtures that allow for a hybrid particle-based and parametric Bayesian Recursive Filtering (BRF) fusion of the aforementioned pieces of information and thus jointly estimate the position and clock parameters of the MUs. The simulation results verifies the superiority of the proposed algorithm over the state-of-the-art schemes, especially that of Extended Kalman filter- and linearized BRF-based joint sync\&loc. In particular, only drawing on the synchronization time-stamp exchange and CIRs, for 90$\%$of the cases, the absolute position and clock offset estimation error remain below 1 meter and 2 nanoseconds, respectively.
△ Less
Submitted 2 June, 2022; v1 submitted 29 September, 2021;
originally announced October 2021.
-
Thin Film (High Temperature) Superconducting Radiofrequency Cavities for the Search of Axion Dark Matter
Authors:
J. Golm,
S. Arguedas Cuendis,
S. Calatroni,
C. Cogollos,
B. Döbrich,
J. D. Gallego,
J. M. García Barceló,
X. Granados,
J. Gutierrez,
I. G. Irastorza,
T. Koettig,
N. Lamas,
J. Liberadzka-Porret,
C. Malbrunot,
W. L. Millar,
P. Navarro,
C. Pereira Carlos,
T. Puig,
G. J. Rosaz,
M. Siodlaczek,
G. Telles,
W. Wuensch
Abstract:
The axion is a hypothetical particle which is a candidate for cold dark matter. Haloscope experiments directly search for these particles in strong magnetic fields with RF cavities as detectors. The Relic Axion Detector Exploratory Setup (RADES) at CERN in particular is searching for axion dark matter in a mass range above 30 $μ$eV. The figure of merit of our detector depends linearly on the quali…
▽ More
The axion is a hypothetical particle which is a candidate for cold dark matter. Haloscope experiments directly search for these particles in strong magnetic fields with RF cavities as detectors. The Relic Axion Detector Exploratory Setup (RADES) at CERN in particular is searching for axion dark matter in a mass range above 30 $μ$eV. The figure of merit of our detector depends linearly on the quality factor of the cavity and therefore we are researching the possibility of coating our cavities with different superconducting materials to increase the quality factor. Since the experiment operates in strong magnetic fields of 11 T and more, superconductors with high critical magnetic fields are necessary. Suitable materials for this application are for example REBa$_2$Cu$_3$O$_{7-x}$, Nb$_3$Sn or NbN. We designed a microwave cavity which resonates at around 9~GHz, with a geometry optimized to facilitate superconducting coating and designed to fit in the bore of available high-field accelerator magnets at CERN. Several prototypes of this cavity were coated with different superconducting materials, employing different coating techniques. These prototypes were characterized in strong magnetic fields at 4.2 K.
△ Less
Submitted 9 February, 2022; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Assessing Distribution Network Flexibility via Reliability-based P-Q Area Segmentation
Authors:
Andrey Churkin,
Wangwei Kong,
Jose N. Melchor Gutierrez,
Pierluigi Mancarella,
Eduardo A. Martinez Cesena
Abstract:
This paper proposes a framework to assess the flexibility of active distribution networks (ADNs) via P-Q area segmentation, considering the reliability of flexible units (FUs). A mixed-integer quadratically constrained programming (MIQCP) model is formulated to analyse flexible active and reactive power support at the interface with transmission networks, explicitly capturing the contributions and…
▽ More
This paper proposes a framework to assess the flexibility of active distribution networks (ADNs) via P-Q area segmentation, considering the reliability of flexible units (FUs). A mixed-integer quadratically constrained programming (MIQCP) model is formulated to analyse flexible active and reactive power support at the interface with transmission networks, explicitly capturing the contributions and reliability of FUs that provide flexibility services within an ADN. The numerical simulations performed for a real 124-bus UK distribution network demonstrate the optimal flexibility provision by different FUs, as well as the corresponding reliability and the impact of network reconfiguration. Distribution system operators (DSOs) can use the proposed framework to identify critical units, select an adequate combination of flexibility volumes, and manage its reliability.
△ Less
Submitted 17 April, 2023; v1 submitted 3 October, 2021;
originally announced October 2021.
-
A duality approach to a price formation MFG model
Authors:
Yuri Ashrafyan,
Tigran Bakaryan,
Diogo Gomes,
Julian Gutierrez
Abstract:
We study the connection between the Aubry-Mather theory and a mean-field game (MFG) price-formation model. We introduce a framework for Mather measures that is suited for constrained time-dependent problems in R. Then, we propose a variational problem on a space of measures, from which we obtain a duality relation involving the MFG problem examined in [36].
We study the connection between the Aubry-Mather theory and a mean-field game (MFG) price-formation model. We introduce a framework for Mather measures that is suited for constrained time-dependent problems in R. Then, we propose a variational problem on a space of measures, from which we obtain a duality relation involving the MFG problem examined in [36].
△ Less
Submitted 11 September, 2021; v1 submitted 4 September, 2021;
originally announced September 2021.
-
A random-supply Mean Field Game price model
Authors:
Diogo Gomes,
Julian Gutierrez,
Ricardo Ribeiro
Abstract:
We consider a market where a finite number of players trade an asset whose supply is a stochastic process. The price formation problem consists of finding a price process that ensures that when agents act optimally to minimize their trading costs, the market clears, and supply meets demand. This problem arises in market economies, including electricity generation from renewable sources in smart gr…
▽ More
We consider a market where a finite number of players trade an asset whose supply is a stochastic process. The price formation problem consists of finding a price process that ensures that when agents act optimally to minimize their trading costs, the market clears, and supply meets demand. This problem arises in market economies, including electricity generation from renewable sources in smart grids. Our model includes noise on the supply side, which is counterbalanced on the consumption side by storing energy or reducing the demand according to a dynamic price process. By solving a constrained minimization problem, we prove that the Lagrange multiplier corresponding to the market-clearing condition defines the solution of the price formation problem. For the linear-quadratic structure, we characterize the price process of a continuum population using optimal control techniques. We include numerical schemes for the price computation in the finite and infinite games, and we illustrate the model using real data.
△ Less
Submitted 12 August, 2022; v1 submitted 3 September, 2021;
originally announced September 2021.
-
Rational Verification for Probabilistic Systems
Authors:
Julian Gutierrez,
Lewis Hammond,
Anthony W. Lin,
Muhammad Najib,
Michael Wooldridge
Abstract:
Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally, by choosing strategies that collectively form a game-theoretic equilibrium. Previous work in this area has largely focussed on deterministic systems. In this paper, we develop the theory and algorithms for rational ver…
▽ More
Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally, by choosing strategies that collectively form a game-theoretic equilibrium. Previous work in this area has largely focussed on deterministic systems. In this paper, we develop the theory and algorithms for rational verification in probabilistic systems. We focus on concurrent stochastic games (CSGs), which can be used to model uncertainty and randomness in complex multi-agent environments. We study the rational verification problem for both non-cooperative games and cooperative games in the qualitative probabilistic setting. In the former case, we consider LTL properties satisfied by the Nash equilibria of the game and in the latter case LTL properties satisfied by the core. In both cases, we show that the problem is 2EXPTIME-complete, thus not harder than the much simpler verification problem of model checking LTL properties of systems modelled as Markov decision processes (MDPs).
△ Less
Submitted 26 July, 2021; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Learning complex dependency structure of gene regulatory networks from high dimensional micro-array data with Gaussian Bayesian networks
Authors:
Catharina Elisabeth Graafland,
José Manuel Gutiérrez
Abstract:
Gene expression datasets consist of thousand of genes with relatively small samplesizes (i.e. are large-$p$-small-$n$). Moreover, dependencies of various orders co-exist in the datasets. In the Undirected probabilistic Graphical Model (UGM) framework the Glasso algorithm has been proposed to deal with high dimensional micro-array datasets forcing sparsity. Also, modifications of the default Glasso…
▽ More
Gene expression datasets consist of thousand of genes with relatively small samplesizes (i.e. are large-$p$-small-$n$). Moreover, dependencies of various orders co-exist in the datasets. In the Undirected probabilistic Graphical Model (UGM) framework the Glasso algorithm has been proposed to deal with high dimensional micro-array datasets forcing sparsity. Also, modifications of the default Glasso algorithm are developed to overcome the problem of complex interaction structure. In this work we advocate the use of a simple score-based Hill Climbing algorithm (HC) that learns Gaussian Bayesian Networks (BNs) leaning on Directed Acyclic Graphs (DAGs). We compare HC with Glasso and its modifications in the UGM framework on their capability to reconstruct GRNs from micro-array data belonging to the Escherichia Coli genome. We benefit from the analytical properties of the Joint Probability Density (JPD) function on which both directed and undirected PGMs build to convert DAGs to UGMs.
We conclude that dependencies in complex data are learned best by the HC algorithm, presenting them most accurately and efficiently, simultaneously modelling strong local and weaker but significant global connections coexisting in the gene expression dataset. The HC algorithm adapts intrinsically to the complex dependency structure of the dataset, without forcing a specific structure in advance. On the contrary, Glasso and modifications model unnecessary dependencies at the expense of the probabilistic information in the network and of a structural bias in the JPD function that can only be relieved including many parameters.
△ Less
Submitted 14 February, 2022; v1 submitted 28 June, 2021;
originally announced June 2021.
-
Equilibrium Design for Concurrent Games
Authors:
Julian Gutierrez,
Muhammad Najib,
Giuseppe Perelli,
Michael Wooldridge
Abstract:
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibrium satisfying a given temporal logic property -- a problem that we call equilibrium design. We base our study on a framework where system specificati…
▽ More
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibrium satisfying a given temporal logic property -- a problem that we call equilibrium design. We base our study on a framework where system specifications are represented as temporal logic formulae, games as quantitative concurrent game structures, and players' goals as mean-payoff objectives. In particular, we consider system specifications given by LTL and GR(1) formulae, and show that implementing a mechanism to ensure that a given temporal logic property is satisfied on some/every Nash equilibrium of the game, whenever such a mechanism exists, can be done in PSPACE for LTL properties and in NP/$Σ^{P}_{2}$ for GR(1) specifications. We also study the complexity of various related decision and optimisation problems, such as optimality and uniqueness of solutions, and show that the complexities of all such problems lie within the polynomial hierarchy. As an application, equilibrium design can be used as an alternative solution to the rational synthesis and verification problems for concurrent games with mean-payoff objectives whenever no solution exists, or as a technique to repair, whenever possible, concurrent games with undesirable rational outcomes (Nash equilibria) in an optimal way.
△ Less
Submitted 18 June, 2021;
originally announced June 2021.
-
Minimal graph in which the intersection of two longest paths is not a separator
Authors:
Juan Gutiérrez,
Christian Valqui
Abstract:
We prove that for a connected simple graph $G$ with $n\le 10$ vertices, and two longest paths $C$ and $D$ in $G$, the intersection of vertex sets $V(C)\cap V(D)$ is a separator. This shows that the graph found previously with $n=11$, in which the complement of the intersection of vertex sets $V(C)\cap V(D)$ of two longest paths is connected, is minimal.
We prove that for a connected simple graph $G$ with $n\le 10$ vertices, and two longest paths $C$ and $D$ in $G$, the intersection of vertex sets $V(C)\cap V(D)$ is a separator. This shows that the graph found previously with $n=11$, in which the complement of the intersection of vertex sets $V(C)\cap V(D)$ of two longest paths is connected, is minimal.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Common high-performance semiconducting polymers are not amorphous but semi-para-crystalline
Authors:
Sara Marina,
Edgar Gutierrez-Fernandez,
Junkal Gutierrez,
Marco Gobbi,
Eduardo Solano,
Jeromy Rech,
Wei You,
Luis Hueso,
Agnieszka Tercjak,
Harald Ade,
Jaime Martin
Abstract:
Precise determination of the solid-state microstructure of semiconducting polymers is of paramount importance for the further development of these materials in various organic electronic technologies. Yet, prior characterization of the ordering of semiconducting polymers often resulted in conundrums in which X-ray scattering and microscopy yielded seemingly contradicting results. Here, based on fa…
▽ More
Precise determination of the solid-state microstructure of semiconducting polymers is of paramount importance for the further development of these materials in various organic electronic technologies. Yet, prior characterization of the ordering of semiconducting polymers often resulted in conundrums in which X-ray scattering and microscopy yielded seemingly contradicting results. Here, based on fast scanning calorimetry, we introduce for the first time the concept of the semi-para-crystallinity and measurement of the degree of para-crystallinity (ordered volume/mass fraction) in a set of materials that previously eluded understanding. In combination with lattice distortion determination within para-crystals (g-parameter from X-ray scattering) and nanomorphology, the complete solid-state microstructure is correlated with device properties. Our data show that the long-range charge carrier transport in these materials is more sensitive to the interconnection of para-crystal units than to the amount of structural order itself.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Non-equilibrium Coupling of a Quartz Resonator to Ions for Penning-Trap Fast Resonant Detection
Authors:
Joaquín Berrocal,
Steffen Lohse,
Francisco Domínguez,
Manuel J. Gutiérrez,
Francisco J. Fernández,
Michael Block,
Juan J. García-Ripoll,
Daniel Rodríguez
Abstract:
The coherent coupling between a quartz electro-mechanical resonator at room temperature and trapped ions in a 7-tesla Penning trap has been demonstrated for the first time. The signals arising from the coupling remain for integration times in the orders of seconds. From the measurements carried out, we demonstrate that the coupling allows detecting the reduced-cyclotron frequency ($ν_+$) within ti…
▽ More
The coherent coupling between a quartz electro-mechanical resonator at room temperature and trapped ions in a 7-tesla Penning trap has been demonstrated for the first time. The signals arising from the coupling remain for integration times in the orders of seconds. From the measurements carried out, we demonstrate that the coupling allows detecting the reduced-cyclotron frequency ($ν_+$) within times below 10~ms and with an improved resolution compared to conventional electronic detection schemes. A resolving power $ν_+/Δν_+=2.4\times10^{7}$ has been reached in single measurements. In this publication we present the first results, emphasizing the novel features of the quartz resonator as fast non-destructive ion-trap detector together with different ways to analyze the data and considering aspects like precision, resolution and sensitivity.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
All longest cycles intersect in partial 3-trees
Authors:
Juan Gutiérrez
Abstract:
We show that all longest cycles intersect in 2-connected partial 3-trees.
We show that all longest cycles intersect in 2-connected partial 3-trees.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Methodology to Assess Quality, Presence, Empathy, Attitude, and Attention in 360-degree Videos for Immersive Communications
Authors:
Marta Orduna,
Pablo Pérez,
Jesús Gutiérrez,
Narciso García
Abstract:
This paper analyzes the joint assessment of quality, spatial and social presence, empathy, attitude, and attention in three conditions: (A)visualizing and rating the quality of contents in a Head-Mounted Display (HMD), (B)visualizing the contents in an HMD,and (C)visualizing the contents in an HMD where participants can see their hands and take notes. The experiment simulates an immersive communic…
▽ More
This paper analyzes the joint assessment of quality, spatial and social presence, empathy, attitude, and attention in three conditions: (A)visualizing and rating the quality of contents in a Head-Mounted Display (HMD), (B)visualizing the contents in an HMD,and (C)visualizing the contents in an HMD where participants can see their hands and take notes. The experiment simulates an immersive communication where participants attend conversations of different genres and from different acquisition perspectives in the context of international experiences. Video quality is evaluated with Single-Stimulus Discrete Quality Evaluation (SSDQE) methodology. Spatial and social presence are evaluated with questionnaires adapted from the literature. Initial empathy is assessed with Interpersonal Reactivity Index(IRI) and a questionnaire is designed to evaluate attitude. Attention is evaluated with 3 questions that had pass/fail answers. 54 participants were evenly distributed among A, B, and C conditions taking into account their international experience backgrounds, obtaining a diverse sample of participants. The results from the subjective test validate the proposed methodology in VR communications, showing that video quality experiments can be adapted to conditions imposed by experiments focused on the evaluation of socioemotional features in terms of contents of long-duration, actor and observer acquisition perspectives, and genre. In addition, the positive results related to the sense of presence imply that technology can be relevant in the analyzed use case. The acquisition perspective greatly influences social presence and all the contents have a positive impact on all participants on their attitude towards international experiences. The annotated dataset, Student Experiences Around the World dataset (SEAW-dataset), obtained from the experiment is made publicly available.
△ Less
Submitted 9 February, 2022; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Newly Evaluated Neutron Reaction Data on Chromium Isotopes
Authors:
G. P. A. Nobre,
M. T. Pigni,
D. A. Brown,
R. Capote,
A. Trkov,
K. H. Guber,
R. Arcilla,
J. Gutierrez,
A. Cuadra,
G. Arbanas,
B. Kos,
D. Bernard,
P. Leconte
Abstract:
Neutron reaction data for the set of major chromium isotopes were reevaluated from the thermal energy range up to 20 MeV. In the low energy region, updates to the thermal values together with an improved $R$-matrix analysis of the resonance parameters characterizing the cluster of large $s$-wave resonances for $^{50,53}$Cr isotopes were performed. In the intermediate and high energy range up to 20…
▽ More
Neutron reaction data for the set of major chromium isotopes were reevaluated from the thermal energy range up to 20 MeV. In the low energy region, updates to the thermal values together with an improved $R$-matrix analysis of the resonance parameters characterizing the cluster of large $s$-wave resonances for $^{50,53}$Cr isotopes were performed. In the intermediate and high energy range up to 20 MeV, the evaluation methodology used statistical nuclear reaction models implemented in the EMPIRE code within the Hauser-Feshbach framework to evaluate the reaction cross sections and angular distributions. Exceptionally, experimental data were used to evaluate relevant cross sections above the resonance region up to 5 MeV in the major $^{52}$Cr isotope. Evaluations were benchmarked with Monte Carlo simulations of a small suite of critical assemblies highly sensitive to Chromium data, and with the Oktavian shielding benchmark to judge deep penetration performance with a 14-MeV D-T neutron source. A significant improvement in performance is demonstrated compared to existing evaluations.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
Authors:
Lewis Hammond,
Alessandro Abate,
Julian Gutierrez,
Michael Wooldridge
Abstract:
In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour. From a learning perspective these specifications provide a rich formal language with which to capture tasks or objectives, while from a logic and automated verification perspective the introduction of learning capabili…
▽ More
In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour. From a learning perspective these specifications provide a rich formal language with which to capture tasks or objectives, while from a logic and automated verification perspective the introduction of learning capabilities allows for practical applications in large, stochastic, unknown environments. The existing work in this area is, however, limited. Of the frameworks that consider full linear temporal logic or have correctness guarantees, all methods thus far consider only the case of a single temporal logic specification and a single agent. In order to overcome this limitation, we develop the first multi-agent reinforcement learning technique for temporal logic specifications, which is also novel in its ability to handle multiple specifications. We provide correctness and convergence guarantees for our main algorithm - ALMANAC (Automaton/Logic Multi-Agent Natural Actor-Critic) - even when using function approximation. Alongside our theoretical results, we further demonstrate the applicability of our technique via a set of preliminary experiments.
△ Less
Submitted 9 February, 2021; v1 submitted 31 January, 2021;
originally announced February 2021.
-
Bi-traceable graphs, the intersection of three longest paths and Hippchen's conjecture
Authors:
Juan Gutiérrez,
Christian Valqui
Abstract:
Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then…
▽ More
Let $P,Q$ be longest paths in a simple graph. We analyze the possible connections between the components of $P\cup Q\setminus (V(P)\cap V(Q))$ and introduce the notion of a bi-traceable graph. We use the results for all the possible configurations of the intersection points when $\#V(P)\cap V(Q)\le 5$ in order to prove that if the intersection of three longest paths $P,Q,R$ is empty, then $\#(V(P)\cap V(Q))\ge 6$. We also prove Hippchen's conjecture for $k\le 6$: If a graph $G$ is $k$-connected for $k\le 6$, and $P$ and $Q$ are longest paths in $G$, then $\#(V(P)\cap V(Q))\ge 6$.
△ Less
Submitted 24 May, 2021; v1 submitted 19 January, 2021;
originally announced January 2021.
-
On the structure of certain $Γ$-difference modules
Authors:
Ehud de Shalit,
José Gutiérrez
Abstract:
This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Schäfke and Singer supplied new proofs to the main theorems of [Bez-Bou, Ad-Be], on the rationality of power series satisfying a pair of independent q-difference, or Mahler, equations.
We emphasize the language of $Γ$-difference module…
▽ More
This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Schäfke and Singer supplied new proofs to the main theorems of [Bez-Bou, Ad-Be], on the rationality of power series satisfying a pair of independent q-difference, or Mahler, equations.
We emphasize the language of $Γ$-difference modules, instead of difference equations or systems. Although in the two cases mentioned above this is only a semantic change, we also treat a new case, which may be labeled 1M1Q. Here the group $Γ$ is generalized dihedral rather than abelian, and the language of equations is inadequate.
In the last section we explain how to generalize the main theorems in case 2Q to finite characteristic.
△ Less
Submitted 2 January, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Asteroseismology of sz lyn using multi-band high time resolution photometry from ground and space
Authors:
J. Adassuriya,
S. Ganesh,
J. L. Gutierrez,
G. Handler,
Santosh Joshi,
K. P. S. C. Jayaratne,
K. S. Baliyan
Abstract:
We report the analysis of high temporal resolution ground and space based photometric observations of SZ Lyncis, a binary star one of whose components is a high amplitude $δ$ Scuti. UBVR photometric observations were obtained from Mt. Abu Infrared Observatory and Fairborn Observatory; archival observations from the WASP project were also included. Furthermore, the continuous, high quality light cu…
▽ More
We report the analysis of high temporal resolution ground and space based photometric observations of SZ Lyncis, a binary star one of whose components is a high amplitude $δ$ Scuti. UBVR photometric observations were obtained from Mt. Abu Infrared Observatory and Fairborn Observatory; archival observations from the WASP project were also included. Furthermore, the continuous, high quality light curve from the TESS project was extensively used for the analysis. The well resolved light curve from TESS reveals the presence of 23 frequencies with four independent modes, 13 harmonics of the main pulsation frequency of 8.296943$\pm$0.000002 d$^{-1}$ and their combinations. The frequency 8.296 d$^{-1}$ is identified as the fundamental radial mode by amplitude ratio method and using the estimated pulsation constant. The frequencies 14.535 d$^{-1}$, 32.620 d$^{-1}$ and 4.584 d$^{-1}$ are newly discovered for SZ Lyn. Out of these three, 14.535 d$^{-1}$ and 32.620 d$^{-1}$ are identified as non-radial lower order p-modes and 4.584 d$^{-1}$ could be an indication of a g-mode in a $δ$ Scuti star. As a result of frequency determination and mode identification, the physical parameters of SZ Lyn were revised by optimizations of stellar pulsation models with the observed frequencies. The theoretical models correspond to 7500 K $\le $T$_{\rm eff}$ $\le$ 7800 K, log(g)=3.81$\pm$0.06. The mass of SZ Lyn was estimated to be close to 1.7--2.0 M$_\odot$ using evolutionary sequences. The period-density relation estimates a mean density $ρ$ of 0.1054$\pm$0.0016 g cm$^{-3}$
△ Less
Submitted 22 December, 2020;
originally announced December 2020.
-
A characterization of the dynamics of Schröder's method for polynomials with two roots
Authors:
José M. Gutiérrez,
Víctor Galilea
Abstract:
The purpose of this work is to give a first approach to the dynamical behavior of Schröder's method, a well known iterative process for solving nonlinear equations. In this context we consider equations defined in the complex plane. By using topological conjugations, we characterize the basins of attraction of Schröder's method applied to polynomials with two roots and different multiplicities. Ac…
▽ More
The purpose of this work is to give a first approach to the dynamical behavior of Schröder's method, a well known iterative process for solving nonlinear equations. In this context we consider equations defined in the complex plane. By using topological conjugations, we characterize the basins of attraction of Schröder's method applied to polynomials with two roots and different multiplicities. Actually, we show that these basins are half-planes or circles, depending on the multiplicities of the roots. We finish our study with a graphical gallery that allow us to compare the basins of attraction of Newton's and Schröoder's method applied to some given polynomials.
Key: Schröder's method; basin of attraction; nonlinear equation.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
The formation of ultra-massive carbon-oxygen core white dwarfs and their evolutionary and pulsational properties
Authors:
Leandro G. Althaus,
Pilar Gil Pons,
Alejandro H. Córsico,
Marcelo Miller Bertolami,
Francisco De Gerónimo,
María E. Camisassa,
Santiago Torres,
Jordi Gutierrez,
Alberto Rebassa-Mansergas
Abstract:
(Abridged abstract) We explore the formation of ultra-massive (M_{\rm WD} \gtrsim 1.05 M_\sun$), carbon-oxygen core white dwarfs resulting from single stellar evolution. We also study their evolutionary and pulsational properties and compare them with those of the ultra-massive white dwarfs with oxygen-neon cores resulting from carbon burning in single progenitor stars, and with binary merger pred…
▽ More
(Abridged abstract) We explore the formation of ultra-massive (M_{\rm WD} \gtrsim 1.05 M_\sun$), carbon-oxygen core white dwarfs resulting from single stellar evolution. We also study their evolutionary and pulsational properties and compare them with those of the ultra-massive white dwarfs with oxygen-neon cores resulting from carbon burning in single progenitor stars, and with binary merger predictions. We consider two single-star evolution scenarios for the formation of ultra-massive carbon-oxygen core white dwarfs that involve rotation of the degenerate core after core helium burning and reduced mass-loss rates in massive asymptotic giant-branch stars. We compare our findings with the predictions from ultra-massive white dwarfs resulting from the merger of two equal-mass carbon-oxygen core white dwarfs, by assuming complete mixing between them and a carbon-oxygen core for the merged remnant. The resulting ultra-massive carbon-oxygen core white dwarfs evolve markedly slower than their oxygen-neon counterparts. Our study strongly suggests the formation of ultra-massive white dwarfs with carbon-oxygen core from single stellar evolution. We find that both the evolutionary and pulsation properties of these white dwarfs are markedly different from those of their oxygen-neon core counterparts and from those white dwarfs with carbon-oxygen core that might result from double degenerate mergers. This can eventually be used to discern the core composition of ultra-massive white dwarfs and their formation scenario.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
Nucleosynthetic yields of Z=$10^{-5}$ intermediate-mass stars
Authors:
P. Gil-Pons,
C. L. Doherty,
J. Gutiérrez,
S. W. Campbell,
L. Siess,
J. C. Lattanzio
Abstract:
Abridged: Observed abundances of extremely metal-poor (EMP) stars in the Halo hold clues for the understanding of the ancient universe. Interpreting these clues requires theoretical stellar models at the low-Z regime. We provide the nucleosynthetic yields of intermediate-mass Z=$10^{-5}$ stars between 3 and 7.5 $M_{sun}$, and quantify the effects of the uncertain wind rates. We expect these yields…
▽ More
Abridged: Observed abundances of extremely metal-poor (EMP) stars in the Halo hold clues for the understanding of the ancient universe. Interpreting these clues requires theoretical stellar models at the low-Z regime. We provide the nucleosynthetic yields of intermediate-mass Z=$10^{-5}$ stars between 3 and 7.5 $M_{sun}$, and quantify the effects of the uncertain wind rates. We expect these yields can be eventually used to assess the contribution to the chemical inventory of the early universe, and to help interpret abundances of selected C-enhanced EMP stars. By comparing our models and other existing in the literature, we explore evolutionary and nucleosynthetic trends with wind prescriptions and with initial metallicity. We compare our results to observations of CEMP-s stars belonging to the Halo. The yields of intermediate-mass EMP stars reflect the effects of very deep second dredge-up (for the most massive models), superimposed with the combined signatures of hot-bottom burning and third dredge-up. We confirm the reported trend that models with initial metallicity Z$_{ini}$ <= 0.001 give positive yields of $^{12}C, ^{15}N, ^{16}O$, and $^{26}Mg$. The $^{20}Ne, ^{21}Ne$, and $^{24}Mg$ yields, which were reported to be negative at Z$_{ini}$ = 0.0001, become positive for Z=$10^{-5}$. The results using two different prescriptions for mass-loss rates differ widely in terms of the duration of the thermally-pulsing (Super) AGB phase, overall efficiency of the third dredge-up episode, and nucleosynthetic yields. The most efficient of the standard wind rates frequently used in the literature seems to favour agreement between our yield results and observational data. Regardless of the wind prescription, all our models become N-enhanced EMP stars.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Bayesian Joint Synchronization and Localization Based on Asymmetric Time-stamp Exchange
Authors:
Meysam Goodarzi,
Nebojsa Maletic,
Jesus Gutierrez,
Eckhard Grass
Abstract:
In this work, we study the joint synchronization and localization (sync&loc) of Mobile Nodes (MNs) in ultra dense networks. In particular, we deploy an asymmetric timestamp exchange mechanism between MNs and Access Nodes (ANs), that, traditionally, provides us with information about the MNs' clock offset and skew. However, information about the distance between an AN and a MN is also intrinsic to…
▽ More
In this work, we study the joint synchronization and localization (sync&loc) of Mobile Nodes (MNs) in ultra dense networks. In particular, we deploy an asymmetric timestamp exchange mechanism between MNs and Access Nodes (ANs), that, traditionally, provides us with information about the MNs' clock offset and skew. However, information about the distance between an AN and a MN is also intrinsic to the propagation delay experienced by exchanged time-stamps. In addition, we utilize Angle of Arrival (AoA) estimation to determine the incoming direction of time-stamp exchange packets, which gives further information about the MNs' location. Finally, we employ Bayesian Recursive Filtering (BRF) to combine the aforementioned pieces of information and jointly estimate the position and clock parameters of MNs. The simulation results indicate that the Root Mean Square Errors (RMSEs) of position and clock offset estimation are kept below 1 meter and 1 ns, respectively.
△ Less
Submitted 19 August, 2020;
originally announced August 2020.
-
Multi-Player Games with LDL Goals over Finite Traces
Authors:
Julian Gutierrez,
Giuseppe Perelli,
Michael Wooldridge
Abstract:
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems.
In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDLf. This study builds upon a generalisation of Boolean games, a logic-based game m…
▽ More
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems.
In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDLf. This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way.
Because LDLf goals are considered, in the settings we study -- Reactive Modules games and iterated Boolean games with goals over finite traces -- players' goals can be defined to be regular properties while achieved in a finite, but arbitrarily large, trace.
In particular, using alternating automata, the paper investigates automata-theoretic approaches to the characterisation and verification of (pure strategy Nash) equilibria, shows that the set of Nash equilibria in multi-player games with LDLf objectives is regular, and provides complexity results for the associated automata constructions.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
Equilibria for Games with Combined Qualitative and Quantitative Objectives
Authors:
Julian Gutierrez,
Aniello Murano,
Giuseppe Perelli,
Sasha Rubin,
Thomas Steeples,
Michael Wooldridge
Abstract:
The overall aim of our research is to develop techniques to reason about the equilibrium properties of multi-agent systems. We model multi-agent systems as concurrent games, in which each player is a process that is assumed to act independently and strategically in pursuit of personal preferences. In this article, we study these games in the context of finite-memory strategies, and we assume playe…
▽ More
The overall aim of our research is to develop techniques to reason about the equilibrium properties of multi-agent systems. We model multi-agent systems as concurrent games, in which each player is a process that is assumed to act independently and strategically in pursuit of personal preferences. In this article, we study these games in the context of finite-memory strategies, and we assume players' preferences are defined by a qualitative and a quantitative objective, which are related by a lexicographic order: a player first prefers to satisfy its qualitative objective (given as a formula of Linear Temporal Logic) and then prefers to minimise costs (given by a mean-payoff function). Our main result is that deciding the existence of a strict epsilon Nash equilibrium in such games is 2ExpTime-complete (and hence decidable), even if players' deviations are implemented as infinite-memory strategies.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Authors:
Julian Gutierrez,
Muhammad Najib,
Giuseppe Perelli,
Michael Wooldridge
Abstract:
In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of individual objectives. Typically, those objectives are expressed as temporal logic formulae which the relevant agent desires to see satisfied. Unfortunat…
▽ More
In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of individual objectives. Typically, those objectives are expressed as temporal logic formulae which the relevant agent desires to see satisfied. Unfortunately, rational verification is computationally complex, and requires specialised techniques in order to obtain practically useable implementations. In this paper, we present such a technique. This technique relies on a reduction of the rational verification problem to the solution of a collection of parity games. Our approach has been implemented in the Equilibrium Verification Environment (EVE) system. The EVE system takes as input a model of a concurrent/multi-agent system represented using the Simple Reactive Modules Language (SRML), where agent goals are represented as Linear Temporal Logic (LTL) formulae, together with a claim about the equilibrium behaviour of the system, also expressed as an LTL formula. EVE can then check whether the LTL claim holds on some (or every) computation of the system that could arise through agents choosing Nash equilibrium strategies; it can also check whether a system has a Nash equilibrium, and synthesise individual strategies for players in the multi-player game. After presenting our basic framework, we describe our new technique and prove its correctness. We then describe our implementation in the EVE system, and present experimental results which show that EVE performs favourably in comparison to other existing tools that support rational verification.
△ Less
Submitted 12 August, 2020;
originally announced August 2020.
-
On the intersection of two longest paths in $k$-connected graphs
Authors:
Juan Gutiérrez
Abstract:
We show that every pair of longest paths in a $k$-connected graph on $n$ vertices intersect each other in at least $(8k-n+2)/5$ vertices. We also show that, in a 4-connected graph, every pair of longest paths intersect each other in at least four vertices. This confirms a conjecture of Hippchen for $k$-connected graphs when $k\leq 4$ or $k\geq (n-2)/3$.
We show that every pair of longest paths in a $k$-connected graph on $n$ vertices intersect each other in at least $(8k-n+2)/5$ vertices. We also show that, in a 4-connected graph, every pair of longest paths intersect each other in at least four vertices. This confirms a conjecture of Hippchen for $k$-connected graphs when $k\leq 4$ or $k\geq (n-2)/3$.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Dynamical properties of feedback signalling in B lymphopoiesis: A mathematical modelling approach
Authors:
Salvador Chulián,
Alvaro Martínez-Rubio,
Anna Marciniak-Czochra,
Thomas Stiehl,
Cristina Blázquez Goñi,
Juan Francisco Rodríguez Gutiérrez,
Manuel Ramirez Orellana,
Ana Castillo Robleda,
Víctor M. Pérez-García,
María Rosa
Abstract:
Haematopoiesis is the process of generation of blood cells. Lymphopoiesis generates lymphocytes, the cells in charge of the adaptive immune response. Disruptions of this process are associated with diseases like leukaemia, which is especially incident in children. The characteristics of self-regulation of this process make them suitable for a mathematical study.
In this paper we develop mathemat…
▽ More
Haematopoiesis is the process of generation of blood cells. Lymphopoiesis generates lymphocytes, the cells in charge of the adaptive immune response. Disruptions of this process are associated with diseases like leukaemia, which is especially incident in children. The characteristics of self-regulation of this process make them suitable for a mathematical study.
In this paper we develop mathematical models of lymphopoiesis using currently available data. We do this by drawing inspiration from existing structured models of cell lineage development and integrating them with paediatric bone marrow data, with special focus on regulatory mechanisms. A formal analysis of the models is carried out, giving steady states and their stability conditions. We use this analysis to obtain biologically relevant regions of the parameter space and to understand the dynamical behaviour of B-cell renovation. Finally, we use numerical simulations to obtain further insight into the influence of proliferation and maturation rates on the reconstitution of the cells in the B line. We conclude that a model including feedback regulation of cell proliferation represents a biologically plausible depiction for B-cell reconstitution in bone marrow. Research into haematological disorders could benefit from a precise dynamical description of B lymphopoiesis.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
QUALINET White Paper on Definitions of Immersive Media Experience (IMEx)
Authors:
Andrew Perkis,
Christian Timmerer,
Sabina Baraković,
Jasmina Baraković Husić,
Søren Bech,
Sebastian Bosse,
Jean Botev,
Kjell Brunnström,
Luis Cruz,
Katrien De Moor,
Andrea de Polo Saibanti,
Wouter Durnez,
Sebastian Egger-Lampl,
Ulrich Engelke,
Tiago H. Falk,
Jesús Gutiérrez,
Asim Hameed,
Andrew Hines,
Tanja Kojic,
Dragan Kukolj,
Eirini Liotou,
Dragorad Milovanovic,
Sebastian Möller,
Niall Murray,
Babak Naderi
, et al. (19 additional authors not shown)
Abstract:
With the coming of age of virtual/augmented reality and interactive media, numerous definitions, frameworks, and models of immersion have emerged across different fields ranging from computer graphics to literary works. Immersion is oftentimes used interchangeably with presence as both concepts are closely related. However, there are noticeable interdisciplinary differences regarding definitions,…
▽ More
With the coming of age of virtual/augmented reality and interactive media, numerous definitions, frameworks, and models of immersion have emerged across different fields ranging from computer graphics to literary works. Immersion is oftentimes used interchangeably with presence as both concepts are closely related. However, there are noticeable interdisciplinary differences regarding definitions, scope, and constituents that are required to be addressed so that a coherent understanding of the concepts can be achieved. Such consensus is vital for paving the directionality of the future of immersive media experiences (IMEx) and all related matters. The aim of this white paper is to provide a survey of definitions of immersion and presence which leads to a definition of immersive media experience (IMEx). The Quality of Experience (QoE) for immersive media is described by establishing a relationship between the concepts of QoE and IMEx followed by application areas of immersive media experience. Influencing factors on immersive media experience are elaborated as well as the assessment of immersive media experience. Finally, standardization activities related to IMEx are highlighted and the white paper is concluded with an outlook related to future developments.
△ Less
Submitted 24 November, 2020; v1 submitted 10 June, 2020;
originally announced July 2020.
-
The miniJPAS survey: a preview of the Universe in 56 colours
Authors:
S. Bonoli,
A. Marín-Franch,
J. Varela,
H. Vázquez Ramió,
L. R. Abramo,
A. J. Cenarro,
R. A. Dupke,
J. M. Vílchez,
D. Cristóbal-Hornillos,
R. M. González Delgado,
C. Hernández-Monteagudo,
C. López-Sanjuan,
D. J. Muniesa,
T. Civera,
A. Ederoclite,
A. Hernán-Caballero,
V. Marra,
P. O. Baqui,
A. Cortesi,
E. S. Cypriano,
S. Daflon,
A. L. de Amorim,
L. A. Díaz-García,
J. M. Diego,
G. Martínez-Solaeche
, et al. (144 additional authors not shown)
Abstract:
The Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) will soon start to scan thousands of square degrees of the northern extragalactic sky with a unique set of $56$ optical filters from a dedicated $2.55$m telescope, JST, at the Javalambre Astrophysical Observatory. Before the arrival of the final instrument (a 1.2 Gpixels, 4.2deg$^2$ field-of-view camera), the JST was…
▽ More
The Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) will soon start to scan thousands of square degrees of the northern extragalactic sky with a unique set of $56$ optical filters from a dedicated $2.55$m telescope, JST, at the Javalambre Astrophysical Observatory. Before the arrival of the final instrument (a 1.2 Gpixels, 4.2deg$^2$ field-of-view camera), the JST was equipped with an interim camera (JPAS-Pathfinder), composed of one CCD with a 0.3deg$^2$ field-of-view and resolution of 0.23 arcsec pixel$^{-1}$. To demonstrate the scientific potential of J-PAS, with the JPAS-Pathfinder camera we carried out a survey on the AEGIS field (along the Extended Groth Strip), dubbed miniJPAS. We observed a total of $\sim 1$ deg$^2$, with the $56$ J-PAS filters, which include $54$ narrow band (NB, $\rm{FWHM} \sim 145$Angstrom) and two broader filters extending to the UV and the near-infrared, complemented by the $u,g,r,i$ SDSS broad band (BB) filters. In this paper we present the miniJPAS data set, the details of the catalogues and data access, and illustrate the scientific potential of our multi-band data. The data surpass the target depths originally planned for J-PAS, reaching $\rm{mag}_{\rm {AB}}$ between $\sim 22$ and $23.5$ for the NB filters and up to $24$ for the BB filters ($5σ$ in a $3$~arcsec aperture). The miniJPAS primary catalogue contains more than $64,000$ sources extracted in the $r$ detection band with forced photometry in all other bands. We estimate the catalogue to be complete up to $r=23.6$ for point-like sources and up to $r=22.7$ for extended sources. Photometric redshifts reach subpercent precision for all sources up to $r=22.5$, and a precision of $\sim 0.3$% for about half of the sample. (Abridged)
△ Less
Submitted 9 July, 2020; v1 submitted 3 July, 2020;
originally announced July 2020.
-
Document Classification for COVID-19 Literature
Authors:
Bernal Jiménez Gutiérrez,
Juncheng Zeng,
Dongdong Zhang,
** Zhang,
Yu Su
Abstract:
The global pandemic has made it more important than ever to quickly and accurately retrieve relevant scientific literature for effective consumption by researchers in a wide range of fields. We provide an analysis of several multi-label document classification models on the LitCovid dataset, a growing collection of 23,000 research papers regarding the novel 2019 coronavirus. We find that pre-train…
▽ More
The global pandemic has made it more important than ever to quickly and accurately retrieve relevant scientific literature for effective consumption by researchers in a wide range of fields. We provide an analysis of several multi-label document classification models on the LitCovid dataset, a growing collection of 23,000 research papers regarding the novel 2019 coronavirus. We find that pre-trained language models fine-tuned on this dataset outperform all other baselines and that BioBERT surpasses the others by a small margin with micro-F1 and accuracy scores of around 86% and 75% respectively on the test set. We evaluate the data efficiency and generalizability of these models as essential features of any system prepared to deal with an urgent situation like the current health crisis. Finally, we explore 50 errors made by the best performing models on LitCovid documents and find that they often (1) correlate certain labels too closely together and (2) fail to focus on discriminative sections of the articles; both of which are important issues to address in future work. Both data and code are available on GitHub.
△ Less
Submitted 9 September, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
ISeeU2: Visually Interpretable ICU mortality prediction using deep learning and free-text medical notes
Authors:
William Caicedo-Torres,
Jairo Gutierrez
Abstract:
Accurate mortality prediction allows Intensive Care Units (ICUs) to adequately benchmark clinical practice and identify patients with unexpected outcomes. Traditionally, simple statistical models have been used to assess patient death risk, many times with sub-optimal performance. On the other hand deep learning holds promise to positively impact clinical practice by leveraging medical data to ass…
▽ More
Accurate mortality prediction allows Intensive Care Units (ICUs) to adequately benchmark clinical practice and identify patients with unexpected outcomes. Traditionally, simple statistical models have been used to assess patient death risk, many times with sub-optimal performance. On the other hand deep learning holds promise to positively impact clinical practice by leveraging medical data to assist diagnosis and prediction, including mortality prediction. However, as the question of whether powerful Deep Learning models attend correlations backed by sound medical knowledge when generating predictions remains open, additional interpretability tools are needed to foster trust and encourage the use of AI by clinicians. In this work we show a Deep Learning model trained on MIMIC-III to predict mortality using raw nursing notes, together with visual explanations for word importance. Our model reaches a ROC of 0.8629 (+/-0.0058), outperforming the traditional SAPS-II score and providing enhanced interpretability when compared with similar Deep Learning approaches.
△ Less
Submitted 19 May, 2020;
originally announced May 2020.
-
The large Trans-Neptunian Object 2002 TC$_{302}$ from combined stellar occultation, photometry and astrometry data
Authors:
J. L. Ortiz,
P. Santos-Sanz,
B. Sicardy,
G. Benedetti-Rossi,
R. Duffard,
N. Morales,
F. Braga-Ribas,
E. Fernández-Valenzuela,
V. Nascimbeni,
D. Nardiello,
A. Carbognani,
L. Buzzi,
A. Aletti,
P. Bacci,
M. Maestripieri,
L. Mazzei,
H. Mikuz,
J. Skvarc,
F. Ciabattari,
F. Lavalade,
G. Scarfi,
J. M. Mari,
M. Conjat,
S. Sposetti,
M. Bachini
, et al. (56 additional authors not shown)
Abstract:
On 28th January 2018, the large Trans-Neptunian Object (TNO) 2002TC302 occulted a m$_v= $15.3 star with ID 130957813463146112 in the Gaia DR2 stellar catalog. 12 positive occultation chords were obtained from Italy, France, Slovenia and Switzerland. Also, 4 negative detections were obtained near the north and south limbs. This represents the best observed stellar occultation by a TNO other than Pl…
▽ More
On 28th January 2018, the large Trans-Neptunian Object (TNO) 2002TC302 occulted a m$_v= $15.3 star with ID 130957813463146112 in the Gaia DR2 stellar catalog. 12 positive occultation chords were obtained from Italy, France, Slovenia and Switzerland. Also, 4 negative detections were obtained near the north and south limbs. This represents the best observed stellar occultation by a TNO other than Pluto, in terms of the number of chords published thus far. From the 12 chords, an accurate elliptical fit to the instantaneous projection of the body, compatible with the near misses, can be obtained. The resulting ellipse has major and minor axes of 543 $\pm$ 18 km and 460 $\pm$ 11 km, respectively, with a position angle of 3 $\pm$ 1 degrees for the minor axis. This information, combined with rotational light curves obtained with the 1.5m telescope at Sierra Nevada Observatory and the 1.23m telescope at Calar Alto observatory, allows us to derive possible 3D shapes and density estimations for the body, based on hydrostatic equilibrium assumptions. The effective area equivalent diameter is $\sim$ 84 km smaller than the radiometrically derived diameter using thermal data from Herschel and Spitzer Space Telescopes. This might indicate the existence of an unresolved satellite of up to $\sim$ 300 km in diameter, to account for all the thermal flux, although the occultation and thermal diameters are compatible within their error bars given the considerable uncertainty of the thermal results. The existence of a potential satellite also appears to be consistent with other ground-based data presented here. From the effective occultation diameter combined with H$_V$ measurements we derive a geometric albedo of 0.147 $\pm$ 0.005, which would be somewhat smaller if 2002TC302 has a satellite. The best occultation light curves do not show any signs of ring features or any signatures of a global atmosphere.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.