Showing 51–100 of 275 results for author: Martinez, S

Intermediate-mass Black Holes on the Run from Young Star Clusters

Authors: Elena González Prieto, Kyle Kremer, Giacomo Fragione, Miguel A. S. Martinez, Newlin C. Weatherford, Michael Zevin, Frederic A. Rasio

Abstract: The existence of black holes (BHs) with masses in the range between stellar remnants and supermassive BHs has only recently become unambiguously established. GW190521, a gravitational wave signal detected by the LIGO/Virgo Collaboration, provides the first direct evidence for the existence of such intermediate-mass BHs (IMBHs). This event sparked and continues to fuel discussion on the possible fo… ▽ More The existence of black holes (BHs) with masses in the range between stellar remnants and supermassive BHs has only recently become unambiguously established. GW190521, a gravitational wave signal detected by the LIGO/Virgo Collaboration, provides the first direct evidence for the existence of such intermediate-mass BHs (IMBHs). This event sparked and continues to fuel discussion on the possible formation channels for such massive BHs. As the detection revealed, IMBHs can form via binary mergers of BHs in the "upper mass gap" ($\approx40 -120\,M_{\odot}$). Alternatively, IMBHs may form via the collapse of a very massive star formed through stellar collisions and mergers in dense star clusters. In this study, we explore the formation of IMBHs with masses between $120$ and $500\,M_{\odot}$ in young, massive star clusters using state-of-the-art Cluster Monte Carlo ($\texttt{CMC}$) models. We examine the evolution of IMBHs throughout their dynamical lifetimes, ending with their ejection from the parent cluster due to gravitational radiation recoil from BH mergers, or dynamical recoil kicks from few-body scattering encounters. We find that $ \textit{all}$ of the IMBHs in our models are ejected from the host cluster within the first $\sim 500$ Myr, indicating a low retention probability of IMBHs in this mass range for globular clusters today. We estimate the peak IMBH merger rate to be $\mathcal{R} \approx 2 \, \rm{Gpc}^{-3}\,\rm{yr}^{-1}$ at redshift $z \approx 2$. △ Less

Submitted 17 October, 2022; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: Accepted for ApJ. Comments welcome. 16 pages and 10 figures

Using data informativity for online stabilization of unknown switched linear systems

Authors: Jaap Eising, Shenyu Liu, Sonia Martinez, Jorge Cortes

Abstract: This work studies data-driven switched controller design for discrete-time switched linear systems. Instead of having access to the full system dynamics, an initialization phase is performed, during which noiseless measurements of the state and the input are collected for each mode. Under certain conditions on these measurements, we develop a stabilizing switched controller for the switched system… ▽ More This work studies data-driven switched controller design for discrete-time switched linear systems. Instead of having access to the full system dynamics, an initialization phase is performed, during which noiseless measurements of the state and the input are collected for each mode. Under certain conditions on these measurements, we develop a stabilizing switched controller for the switched system. To be precise, the controller switches between identifying the active mode of the system and applying a predetermined stabilizing feedback. We prove that if the system switches according to certain specifications, this controller stabilizes the closed-loop system. Simulations on a network example illustrate our approach. △ Less

Submitted 12 September, 2022; v1 submitted 29 July, 2022; originally announced July 2022.

Diabatic Representation of Exotic Hadrons in the Dynamical Diquark Model

Authors: Richard F. Lebed, Steven R. Martinez

Abstract: We apply the diabatic formalism, an extension of the adiabatic approximation inherent to the Born-Oppenheimer (BO) approach of atomic physics, to the problem of mixing between exotic multiquark hadrons and their nearby di-hadron thresholds. The unperturbed BO eigenstates are obtained using the dynamical diquark model, while the diabatic calculation introduces a mixing potential between these state… ▽ More We apply the diabatic formalism, an extension of the adiabatic approximation inherent to the Born-Oppenheimer (BO) approach of atomic physics, to the problem of mixing between exotic multiquark hadrons and their nearby di-hadron thresholds. The unperturbed BO eigenstates are obtained using the dynamical diquark model, while the diabatic calculation introduces a mixing potential between these states and the threshold states. We solve the resulting coupled Schrödinger equations numerically for hidden-charm tetraquarks of both open and closed strangeness to obtain physical mass eigenvalues, and explore the di-hadron state content and spatial extent of the eigenstates. As an explicit example, $X(3872)$ emerges with a dominant $D^0 \bar D^{*0}$ component, but also contains a considerable diquark-antidiquark component that can contribute significantly to its radiative decay widths, and this component also generates a full multiplet of other diquark-based exotic hadrons to be compared with experiment. △ Less

Submitted 27 October, 2022; v1 submitted 3 July, 2022; originally announced July 2022.

Comments: 9 pages - Version accepted to Physical Review D

Journal ref: Phys. Rev. D 106, 074007 (2022)

Should alterations in water viscosity be addressed in soil carbon models?

Authors: Newton La Scala Jr., Alexandre Souto Martinez, Kurt Arnold Spokas, Daniel Ruiz Potma Gonçalves, Rafael Mazer Etto

Abstract: Despite all the efforts, there is no agreement on how temperature affects soil carbon decay and consequently soil CO2 emission, due to overlap** of environmental constraints. To gain further insight into the driving forces of soil microbial processes, we herein examine the abiotic physical environment and its potential influence on microbial activity. In this work we discuss a mechanism which is… ▽ More Despite all the efforts, there is no agreement on how temperature affects soil carbon decay and consequently soil CO2 emission, due to overlap** of environmental constraints. To gain further insight into the driving forces of soil microbial processes, we herein examine the abiotic physical environment and its potential influence on microbial activity. In this work we discuss a mechanism which is related to temperature sensitivity of soil carbon stability following a first-order kinetic theory. Soil carbon decomposition is linked to diffusion and consequently to water viscosity, splitting the effects of temperature from viscosity, here we suggest that viscosity could be a controlling factor on bacterial mobility and nutrient diffusion. As a result, viscosity effect on the potential soil carbon losses is demonstrated and could be an important influence in the feedbacks of climate change on soil carbon cycling kinetics. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 15 pages and 3 figures

Diversifying the Genomic Data Science Research Community

Authors: The Genomic Data Science Community Network, Rosa Alcazar, Maria Alvarez, Rachel Arnold, Mentewab Ayalew, Lyle G. Best, Michael C. Campbell, Kamal Chowdhury, Katherine E. L. Cox, Christina Daulton, You** Deng, Carla Easter, Karla Fuller, Shazia Tabassum Hakim, Ava M. Hoffman, Natalie Kucher, Andrew Lee, Joslynn Lee, Jeffrey T. Leek, Robert Meller, Loyda B. Méndez, Miguel P. Méndez-González, Stephen Mosher, Michele Nishiguchi, Siddharth Pratap , et al. (13 additional authors not shown)

Abstract: Over the last 20 years, there has been an explosion of genomic data collected for disease association, functional analyses, and other large-scale discoveries. At the same time, there have been revolutions in cloud computing that enable computational and data science research, while making data accessible to anyone with a web browser and an internet connection. However, students at institutions wit… ▽ More Over the last 20 years, there has been an explosion of genomic data collected for disease association, functional analyses, and other large-scale discoveries. At the same time, there have been revolutions in cloud computing that enable computational and data science research, while making data accessible to anyone with a web browser and an internet connection. However, students at institutions with limited resources have received relatively little exposure to curricula or professional development opportunities that lead to careers in genomic data science. To broaden participation in genomics research, the scientific community needs to support students, faculty, and administrators at Underserved Institutions (UIs) including Community Colleges, Historically Black Colleges and Universities, Hispanic-Serving Institutions, and Tribal Colleges and Universities in taking advantage of these tools in local educational and research programs. We have formed the Genomic Data Science Community Network (http://www.gdscn.org/) to identify opportunities and support broadening access to cloud-enabled genomic data science. Here, we provide a summary of the priorities for faculty members at UIs, as well as administrators, funders, and R1 researchers to consider as we create a more diverse genomic data science community. △ Less

Submitted 9 June, 2022; v1 submitted 20 January, 2022; originally announced January 2022.

Comments: 42 pages, 3 figures

Risk-perception-aware control design under dynamic spatial risks

Authors: Aamodh Suresh, Sonia Martinez

Abstract: This work proposes a novel risk-perception-aware (RPA) control design using non-rational perception of risks associated with uncertain dynamic spatial costs. We use Cumulative Prospect Theory (CPT) to model the risk perception of a decision maker (DM) and use it to construct perceived risk functions that transform the uncertain dynamic spatial cost to deterministic perceived risks of a DM. These r… ▽ More This work proposes a novel risk-perception-aware (RPA) control design using non-rational perception of risks associated with uncertain dynamic spatial costs. We use Cumulative Prospect Theory (CPT) to model the risk perception of a decision maker (DM) and use it to construct perceived risk functions that transform the uncertain dynamic spatial cost to deterministic perceived risks of a DM. These risks are then used to build safety sets which can represent risk-averse to risk-insensitive perception. We define a notions of "inclusiveness" and "versatility" based on safety sets and use it to compare with other models such as Conditional value at Risk (CVaR) and Expected risk (ER). We theoretically prove that CPT is the most "inclusive" and "versatile" model of the lot in the context of risk-perception-aware controls. We further use the perceived risk function along with ideas from control barrier functions (CBF) to construct a class of perceived risk CBFs. For a class of truncated-Gaussian costs, we find sufficient geometric conditions for the validity of this class of CBFs, thus guaranteeing safety. Then, we generate perceived-safety-critical controls using a Quadratic program (QP) to guide an agent safely according to a given perceived risk model. We present simulations in a 2D environment to illustrate the performance of the proposed controller. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 8 pages

A Numerical Verification Framework for Differential Privacy in Estimation

Authors: Yunhai Han, Sonia Martínez

Abstract: This work proposes an algorithmic method to verify differential privacy for estimation mechanisms with performance guarantees. Differential privacy makes it hard to distinguish outputs of a mechanism produced by adjacent inputs. While obtaining theoretical conditions that guarantee differential privacy may be possible, evaluating these conditions in practice can be hard. This is especially true fo… ▽ More This work proposes an algorithmic method to verify differential privacy for estimation mechanisms with performance guarantees. Differential privacy makes it hard to distinguish outputs of a mechanism produced by adjacent inputs. While obtaining theoretical conditions that guarantee differential privacy may be possible, evaluating these conditions in practice can be hard. This is especially true for estimation mechanisms that take values in continuous spaces, as this requires checking for an infinite set of inequalities. Instead, our verification approach consists of testing the differential privacy condition for a suitably chosen finite collection of events at the expense of some information loss. More precisely, our data-driven, test framework for continuous range mechanisms first finds a highly-likely, compact event set, as well as a partition of this event, and then evaluates differential privacy wrt this partition. This results into a type of differential privacy with high confidence, which we are able to quantify precisely. This approach is then used to evaluate the differential-privacy properties of the recently proposed $W_2$ Moving Horizon Estimator. We confirm its properties, while comparing its performance with alternative approaches in simulation. △ Less

Submitted 2 December, 2021; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: The paper is accepted by IEEE Control System Letter (L-CSS)

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Authors: Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin

Abstract: Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial automation software is typically developed in a model-driven fashion where abstractions of physical processes called plant models are co-developed and iteratively refined along with the control code. Testing such multi-d… ▽ More Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial automation software is typically developed in a model-driven fashion where abstractions of physical processes called plant models are co-developed and iteratively refined along with the control code. Testing such multi-dimensional systems is extremely difficult because often models might not be accurate, do not correspond accurately with subsequent refinements, and the software must eventually be tested on the real plant, especially in safety-critical systems like nuclear plants. This paper proposes a framework wherein high-level functional requirements are used to automatically generate test cases for designs at all abstraction levels in the model-driven engineering process. Requirements are initially specified in natural language and then analyzed and specified using a formalized ontology. The requirements ontology is then refined along with controller and plant models during design and development stages such that test cases can be generated automatically at any stage. A representative industrial water process system case study illustrates the strengths of the proposed formalism. The requirements meta-model proposed by the CESAR European project is used for requirements engineering while IEC 61131-3 and model-driven concepts are used in the design and development phases. A tool resulting from the proposed framework called REBATE (Requirements Based Automatic Testing Engine) is used to generate and execute test cases for increasingly concrete controller and plant models. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: Conference paper, 5 pages, 5 figures

Journal ref: Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015). Gold Coast, QLD, Australia, IEEE Computer Society Press, pp.198-201

Modeling cooperation and competition in biological communities

Authors: F. Meloni, G. Nakamura, B. Grammaticos, A. S. Martinez, M. Badoual

Abstract: The far-reaching consequences of ecological interactions in the dynamics of biological communities remain an intriguing subject. For decades, competition has been a cornerstone in ecological processes, but mounting evidence shows that cooperation does also contribute to the structure of biological communities. Here, we propose a simple deterministic model for the study of the effects of facilitati… ▽ More The far-reaching consequences of ecological interactions in the dynamics of biological communities remain an intriguing subject. For decades, competition has been a cornerstone in ecological processes, but mounting evidence shows that cooperation does also contribute to the structure of biological communities. Here, we propose a simple deterministic model for the study of the effects of facilitation and competition in the dynamics of such systems. The simultaneous inclusion of both effects produces rich dynamics and captures the context-dependence observed in the formation of ecological communities. The approach reproduces relevant aspects of primary and secondary plant succession, the effect invasive species, and the survival of rare species. The model also takes into account the role of the ecological priority effect and stress the crucial role of facilitation in conservation efforts and species coexistence. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 24 pages, 16 figures

Sensitivity to light sterile neutrino mixing parameters with KM3NeT/ORCA

Authors: S. Aiello, A. Albert, M. Alshamsi, S. Alves Garre, Z. Aly, A. Ambrosone, F. Ameli, M. Andre, G. Androulakis, M. Anghinolfi, M. Anguita, G. Anton, M. Ardid, S. Ardid, J. Aublin, C. Bagatelas, B. Baret, S. Basegmez du Pree, M. Bendahman, F. Benfenati, E. Berbee, A. M. van den Berg, V. Bertin, S. Biagi, M. Bissinger , et al. (223 additional authors not shown)

Abstract: KM3NeT/ORCA is a next-generation neutrino telescope optimised for atmospheric neutrino oscillations studies. In this paper, the sensitivity of ORCA to the presence of a light sterile neutrino in a 3+1 model is presented. After three years of data taking, ORCA will be able to probe the active-sterile mixing angles $θ_{14}$, $θ_{24}$, $θ_{34}$ and the effective angle $θ_{μe}$, over a broad range of… ▽ More KM3NeT/ORCA is a next-generation neutrino telescope optimised for atmospheric neutrino oscillations studies. In this paper, the sensitivity of ORCA to the presence of a light sterile neutrino in a 3+1 model is presented. After three years of data taking, ORCA will be able to probe the active-sterile mixing angles $θ_{14}$, $θ_{24}$, $θ_{34}$ and the effective angle $θ_{μe}$, over a broad range of mass squared difference $Δm^2_{41} \sim [10^{-5}, 10]$ $\rm{eV}^2$, allowing to test the eV-mass sterile neutrino hypothesis as the origin of short baseline anomalies, as well as probing the hypothesis of a very light sterile neutrino, not yet constrained by cosmology. ORCA will be able to explore a relevant fraction of the parameter space not yet reached by present measurements. △ Less

Submitted 23 November, 2021; v1 submitted 1 July, 2021; originally announced July 2021.

Ultra-Sharp Nanowire Arrays Natively Permeate, Record, and Stimulate Intracellular Activity in Neuronal and Cardiac Networks

Authors: Ren Liu, Jihwan Lee, Youngbin Tchoe, Deborah Pre, Andrew M. Bourhis, Agnieszka D'Antonio-Chronowska, Gaelle Robin, Sang Heon Lee, Yun Goo Ro, Ritwik Vatsyayan, Karen J. Tonsfeldt, Lorraine A. Hossain, M. Lisa Phipps, **kyoung Yoo, John Nogan, Jennifer S. Martinez, Kelly A. Frazer, Anne G. Bang, Shadi A. Dayeh

Abstract: Intracellular access with high spatiotemporal resolution can enhance our understanding of how neurons or cardiomyocytes regulate and orchestrate network activity, and how this activity can be affected with pharmacology or other interventional modalities. Nanoscale devices often employ electroporation to transiently permeate the cell membrane and record intracellular potentials, which tend to decre… ▽ More Intracellular access with high spatiotemporal resolution can enhance our understanding of how neurons or cardiomyocytes regulate and orchestrate network activity, and how this activity can be affected with pharmacology or other interventional modalities. Nanoscale devices often employ electroporation to transiently permeate the cell membrane and record intracellular potentials, which tend to decrease rapidly to extracellular potential amplitudes with time. Here, we report innovative scalable, vertical, ultra-sharp nanowire arrays that are individually addressable to enable long-term, native recordings of intracellular potentials. We report large action potential amplitudes that are indicative of intracellular access from 3D tissue-like networks of neurons and cardiomyocytes across recording days and that do not decrease to extracellular amplitudes for the duration of the recording of several minutes. Our findings are validated with cross-sectional microscopy, pharmacology, and electrical interventions. Our experiments and simulations demonstrate that individual electrical addressability of nanowires is necessary for high-fidelity intracellular electrophysiological recordings. This study advances our understanding of and control over high-quality multi-channel intracellular recordings, and paves the way toward predictive, high-throughput, and low-cost electrophysiological drug screening platforms. △ Less

Submitted 5 July, 2021; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: Main manuscript: 33 pages, 4 figures, Supporting information: 43 pages, 27 figures, Submitted to Advanced Materials

Spectrum of Hidden-Charm, Open-Strange Exotics in the Dynamical Diquark Model

Authors: Jesse F. Giron, Richard F. Lebed, Steven R. Martinez

Abstract: The observation by BESIII and LHCb of states with hidden charm and open strangeness ($c\bar c q\bar s$) presents new opportunities for the development of a global model of heavy-quark exotics. Here we extend the dynamical diquark model to encompass such states, using the same values of Hamiltonian parameters previously obtained from the nonstrange and hidden-strange sectors. The large mass splitti… ▽ More The observation by BESIII and LHCb of states with hidden charm and open strangeness ($c\bar c q\bar s$) presents new opportunities for the development of a global model of heavy-quark exotics. Here we extend the dynamical diquark model to encompass such states, using the same values of Hamiltonian parameters previously obtained from the nonstrange and hidden-strange sectors. The large mass splitting between $Z_{cs}(4000)$ and $Z_{cs}(4220)$ suggests substantial SU(3)$_{\rm flavor}$ mixing between all $J^P \! = \! 1^+$ states, while their average mass compared to that of other sectors offers a direct probe of flavor octet-singlet mixing among exotics. We also explore the inclusion of $η$-like exchanges within the states, and find their effects to be quite limited. In addition, using the same diquark-mass parameters, we find $P_c(4312)$ and $P_{cs}(4459)$ to fit well as corresponding nonstrange and open-strange pentaquarks. △ Less

Submitted 5 August, 2021; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 12 pages. Version accepted for publication at Phys. Rev. D. Includes reference update

Journal ref: Phys. Rev. D 104, 054001 (2021)

Conformational analysis of tannic acid: environment effects in electronic and reactivity properties

Authors: Romana Petry, Bruno Focassio, Gabriel R. Schleder, Diego S. T. Martinez, Adalberto Fazzio

Abstract: Polyphenols are natural molecules of crucial importance in many applications, of which tannic acid (TA) is one of the most abundant and established. Most high-value applications require precise control of TA interactions with the system of interest. However, the molecular structure of TA is still not comprehended at the atomic level, of which all electronic and reactivity properties depend. Here,… ▽ More Polyphenols are natural molecules of crucial importance in many applications, of which tannic acid (TA) is one of the most abundant and established. Most high-value applications require precise control of TA interactions with the system of interest. However, the molecular structure of TA is still not comprehended at the atomic level, of which all electronic and reactivity properties depend. Here, we combine an enhanced sampling global optimization method with density functional theory (DFT)-based calculations to explore the conformational space of TA assisted by unsupervised machine learning visualization, and then investigate its lowest energy conformers. We study the external environment's effect on the TA structure and properties. We find that vacuum favors compact structures by stabilizing peripheral atoms' weak interactions, while in water, the molecule adopts more open conformations. The frontier molecular orbitals of the conformers with lowest harmonic vibrational free energy have a HOMO-LUMO energy gap of 2.21 (3.27) eV, increasing to 2.82 (3.88) eV in water, at the DFT generalized gradient approximation (and hybrid) level of theory. Structural differences also change the distribution of potential reactive sites. We establish the fundamental importance of accurate structural consideration in determining TA and related polyphenols interactions in relevant technological applications. △ Less

Submitted 21 May, 2021; originally announced May 2021.

Iterative Algorithms for Assessing Network Resilience Against Structured Perturbations

Authors: Shenyu Liu, Sonia Martinez, Jorge Cortes

Abstract: This paper studies network resilience against structured additive perturbations to its topology. We consider dynamic networks modeled as linear time-invariant systems subject to perturbations of bounded energy satisfying specific sparsity and entry-wise constraints. Given an energy level, the structured pseudospectral abscissa captures the worst-possible perturbation an adversary could employ to d… ▽ More This paper studies network resilience against structured additive perturbations to its topology. We consider dynamic networks modeled as linear time-invariant systems subject to perturbations of bounded energy satisfying specific sparsity and entry-wise constraints. Given an energy level, the structured pseudospectral abscissa captures the worst-possible perturbation an adversary could employ to de-stabilize the network, and the structured stability radius is the maximum energy in the structured perturbation that the network can withstand without becoming unstable. Building on a novel characterization of the worst-case structured perturbation, we propose iterative algorithms that efficiently compute the structured pseudospectral abscissa and structured stability radius. We provide theoretical guarantees of the local convergence of the algorithms and illustrate their efficacy and accuracy on several network examples. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: 13 pages, 5 figures, 2 tables, intended for TCNS

On the Mass Ratio Distribution of Black Hole Mergers in Triple Systems

Authors: Miguel A. S. Martinez, Carl L. Rodriguez, Giacomo Fragione

Abstract: Observations have shown that the majority of massive stars, progenitors of black holes (BHs), have on average more than one stellar companion. In triple systems, wide inner binaries can be driven to a merger by the third body due to long-term secular interactions, most notably by the eccentric Lidov-Kozai effect. In this study, we explore the properties of BH mergers in triple systems and compare… ▽ More Observations have shown that the majority of massive stars, progenitors of black holes (BHs), have on average more than one stellar companion. In triple systems, wide inner binaries can be driven to a merger by the third body due to long-term secular interactions, most notably by the eccentric Lidov-Kozai effect. In this study, we explore the properties of BH mergers in triple systems and compare their population properties to those of binaries produced in isolation and assembled in dense star clusters. Using the same stellar physics and identical assumptions for the initial populations of binaries and triples, we show that stellar triples yield a significantly flatter mass ratio distribution from $q=1$ down to $q\sim0.3$ than either binary stars or dense stellar clusters, similar to the population properties inferred from the most recent catalog of gravitational-wave events, though we do not claim that all the observed events can be accounted for with triples. While hierarchical mergers in clusters can also produce asymmetric mass ratios, the unique spins of such mergers can be used to distinguished them from those produced from stellar triples. All three channels occupy distinct regions in total mass-mass ratio space, which may allow them to be disentangled as more BH mergers are detected by LIGO, Virgo, and KAGRA. △ Less

Submitted 28 September, 2022; v1 submitted 4 May, 2021; originally announced May 2021.

Comments: 13 pages, 4 figures, accepted to ApJL. Comments welcome

A Multiscale Analysis of Multi-Agent Coverage Control Algorithms

Authors: Vishaal Krishnan, Sonia Martínez

Abstract: This paper presents a theoretical framework for the design and analysis of gradient descent-based algorithms for coverage control tasks involving robot swarms. We adopt a multiscale approach to analysis and design to ensure consistency of the algorithms in the large-scale limit. First, we represent the macroscopic configuration of the swarm as a probability measure and formulate the macroscopic co… ▽ More This paper presents a theoretical framework for the design and analysis of gradient descent-based algorithms for coverage control tasks involving robot swarms. We adopt a multiscale approach to analysis and design to ensure consistency of the algorithms in the large-scale limit. First, we represent the macroscopic configuration of the swarm as a probability measure and formulate the macroscopic coverage task as the minimization of a convex objective function over probability measures. We then construct a macroscopic dynamics for swarm coverage, which takes the form of a proximal descent scheme in the $L^2$-Wasserstein space. Our analysis exploits the generalized geodesic convexity of the coverage objective function, proving convergence in the $L^2$-Wasserstein sense to the target probability measure. We then obtain a consistent gradient descent algorithm in the Euclidean space that is implementable by a finite collection of agents, via a "variational" discretization of the macroscopic coverage objective function. We establish the convergence properties of the gradient descent and its behavior in the continuous-time and large-scale limits. Furthermore, we establish a connection with well-known Lloyd-based algorithms, seen as a particular class of algorithms within our framework, and demonstrate our results via numerical experiments. △ Less

Submitted 7 June, 2022; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: 26 pages, 3 figures, 1 table

Online Optimization and Learning in Uncertain Dynamical Environments with Performance Guarantees

Authors: Dan Li, Dariush Fooladivanda, Sonia Martinez

Abstract: We propose a new framework to solve online optimization and learning problems in unknown and uncertain dynamical environments. This framework enables us to simultaneously learn the uncertain dynamical environment while making online decisions in a quantifiably robust manner. The main technical approach relies on the theory of distributional robust optimization that leverages adaptive probabilistic… ▽ More We propose a new framework to solve online optimization and learning problems in unknown and uncertain dynamical environments. This framework enables us to simultaneously learn the uncertain dynamical environment while making online decisions in a quantifiably robust manner. The main technical approach relies on the theory of distributional robust optimization that leverages adaptive probabilistic ambiguity sets. However, as defined, the ambiguity set usually leads to online intractable problems, and the first part of our work is directed to find reformulations in the form of online convex problems for two sub-classes of objective functions. To solve the resulting problems in the proposed framework, we further introduce an online version of the Nesterov accelerated-gradient algorithm. We determine how the proposed solution system achieves a probabilistic regret bound under certain conditions. Two applications illustrate the applicability of the proposed framework. △ Less

Submitted 17 February, 2021; originally announced February 2021.

High-Confidence Data-Driven Ambiguity Sets for Time-Varying Linear Systems

Authors: Dimitris Boskos, Jorge Cortés, Sonia Martínez

Abstract: This paper builds Wasserstein ambiguity sets for the unknown probability distribution of dynamic random variables leveraging noisy partial-state observations. The constructed ambiguity sets contain the true distribution of the data with quantifiable probability and can be exploited to formulate robust stochastic optimization problems with out-of-sample guarantees. We assume the random variable evo… ▽ More This paper builds Wasserstein ambiguity sets for the unknown probability distribution of dynamic random variables leveraging noisy partial-state observations. The constructed ambiguity sets contain the true distribution of the data with quantifiable probability and can be exploited to formulate robust stochastic optimization problems with out-of-sample guarantees. We assume the random variable evolves in discrete time under uncertain initial conditions and dynamics, and that noisy partial measurements are available. All random elements have unknown probability distributions and we make inferences about the distribution of the state vector using several output samples from multiple realizations of the process. To this end, we leverage an observer to estimate the state of each independent realization and exploit the outcome to construct the ambiguity sets. We illustrate our results in an economic dispatch problem involving distributed energy resources over which the scheduler has no direct control. △ Less

Submitted 20 July, 2021; v1 submitted 1 February, 2021; originally announced February 2021.

A simple finite delayed multi-type branching process for infectious disease modeling

Authors: Andrew Hart, Servet Martínez

Abstract: We study a model for the spread of an infectious disease which incorporates spatial and temporal effects. The model is a delayed multi-type branching process in which types represent geographic regions while infected individuals reproduce offspring during a finite time interval and have convalescence times and random death/recovery outcomes. We give simple expressions for the limit of the geometri… ▽ More We study a model for the spread of an infectious disease which incorporates spatial and temporal effects. The model is a delayed multi-type branching process in which types represent geographic regions while infected individuals reproduce offspring during a finite time interval and have convalescence times and random death/recovery outcomes. We give simple expressions for the limit of the geometrically weighted mean evolution of the process. △ Less

Submitted 25 January, 2023; v1 submitted 17 January, 2021; originally announced January 2021.

Comments: 8 pages

MSC Class: 60J80 (Primary); 60J85; 92D30 (Secondary)

Achieving Security and Privacy in Federated Learning Systems: Survey, Research Challenges and Future Directions

Authors: Alberto Blanco-Justicia, Josep Domingo-Ferrer, Sergio Martínez, David Sánchez, Adrian Flanagan, Kuan Eeik Tan

Abstract: Federated learning (FL) allows a server to learn a machine learning (ML) model across multiple decentralized clients that privately store their own training data. In contrast with centralized ML approaches, FL saves computation to the server and does not require the clients to outsource their private data to the server. However, FL is not free of issues. On the one hand, the model updates sent by… ▽ More Federated learning (FL) allows a server to learn a machine learning (ML) model across multiple decentralized clients that privately store their own training data. In contrast with centralized ML approaches, FL saves computation to the server and does not require the clients to outsource their private data to the server. However, FL is not free of issues. On the one hand, the model updates sent by the clients at each training epoch might leak information on the clients' private data. On the other hand, the model learnt by the server may be subjected to attacks by malicious clients; these security attacks might poison the model or prevent it from converging. In this paper, we first examine security and privacy attacks to FL and critically survey solutions proposed in the literature to mitigate each attack. Afterwards, we discuss the difficulty of simultaneously achieving security and privacy protection. Finally, we sketch ways to tackle this open problem and attain both security and privacy. △ Less

Submitted 12 December, 2020; originally announced December 2020.

Comments: 40 pages, 19 figures

Algorithm To Calculate Pulse from PPG Signal After Eliminating Touch Errors from the Fingertip Video Captured by Smartphone Camera

Authors: Ayan Chatterjee, Sundar Gopalakrishnan, Martin Gerdes, Santiago Martinez, Nibedita Pahari, Pankaj Khatiwada

Abstract: With the ongoing heart problems of the population worldwide, the medical requirements of the people are expected to increase. Electrocardiogram (ECG) is one of the proven to capture the heart response signal to assess the electrical and muscular functions of the heart. The ECG setup is expensive and needs proper training, and of course, it is not instant. For fast, accurate heart parameter monitor… ▽ More With the ongoing heart problems of the population worldwide, the medical requirements of the people are expected to increase. Electrocardiogram (ECG) is one of the proven to capture the heart response signal to assess the electrical and muscular functions of the heart. The ECG setup is expensive and needs proper training, and of course, it is not instant. For fast, accurate heart parameter monitoring, scientists pay attention to the photoplethysmogram signal (PPG), based on the light intensity of a particular wavelength. Android smartphone with a good quality camera has come to ordinary people's reach and has become one of the most necessary and rugged devices for today and future generations. We can use its powerful features to solve or assess heart state monitoring by capturing the image's necessary data. The mobile camera has a photo emitting diode and a photodetector. The light source illuminates the tissue. The photodetector calculates the small variation in light intensity associated with blood volume change in the vessels (mainly fingertips, toes, and ears). We have captured unfocused contact video to capture PPG using an Android Smartphone. Then, we removed a certain percent of camera touch errors based on average pixel intensity count in the red plane, and it is a new approach that has been introduced in this research. We used a 2nd order Butterworth (IIR) band pass filter for noise removal, FFT Hann Window for frequency analysis and leakage reduction. We have developed an algorithm using MATLAB as a development platform, for accurate pulse (BPM) measurement. Moreover, we have done a comparative analysis of developed algorithm with other available algorithms for PPG-based pulse calculation. In this study, the fingertip video was captured when the body was at rest △ Less

Submitted 6 September, 2021; v1 submitted 30 November, 2020; originally announced December 2020.

Comments: Results of some sections are incorrect. Requires more proof

Leveraging Technology for Healthcare and Retaining Access to Personal Health Data to Enhance Personal Health and Well-being

Authors: Ayan Chatterjee, Ali Shahaab, Martin W. Gerdes, Santiago Martinez, Pankaj Khatiwada

Abstract: Health data is a sensitive category of personal data. It might result in a high risk to individual and health information handling rights and opportunities unless there is a palatable defense. Reasonable security standards are needed to protect electronic health records (EHR). All personal data handling needs adequate explanation. Maintaining access to medical data even in the develo** world wou… ▽ More Health data is a sensitive category of personal data. It might result in a high risk to individual and health information handling rights and opportunities unless there is a palatable defense. Reasonable security standards are needed to protect electronic health records (EHR). All personal data handling needs adequate explanation. Maintaining access to medical data even in the develo** world would favor health and well-being across the world. Unfortunately, there are still countries that hinder the portability of medical records. Numerous occurrences have shown that it still takes weeks for the medical data to be ported from one general physician (GP) to another. Cross border portability is nearly impossible due to the lack of technical infrastructure and standardization. We demonstrate the difficulty of the portability of medical records with some example case studies as a collaborative engagement exercise through a data map** process to describe how different people and datapoints interact and evaluate EHR portability techniques. We then propose a blockchain-based EHR system that allows secure, and cross border sharing of medical data. The ethical and technical challenges around having such a system have also been discussed in this study. △ Less

Submitted 20 October, 2020; originally announced October 2020.

Black Hole Mergers from Hierarchical Triples in Dense Star Clusters

Authors: Miguel A. S. Martinez, Giacomo Fragione, Kyle Kremer, Sourav Chatterjee, Carl L. Rodriguez, Johan Samsing, Claire S. Ye, Newlin C. Weatherford, Michael Zevin, Smadar Naoz, Frederic A. Rasio

Abstract: Hierarchical triples are expected to be produced by the frequent binary-mediated interactions in the cores of globular clusters. In some of these triples, the tertiary companion can drive the inner binary to merger following large eccentricity oscillations, as a result of the eccentric Kozai-Lidov mechanism. In this paper, we study the dynamics and merger rates of black hole (BH) hierarchical trip… ▽ More Hierarchical triples are expected to be produced by the frequent binary-mediated interactions in the cores of globular clusters. In some of these triples, the tertiary companion can drive the inner binary to merger following large eccentricity oscillations, as a result of the eccentric Kozai-Lidov mechanism. In this paper, we study the dynamics and merger rates of black hole (BH) hierarchical triples, formed via binary--binary encounters in the CMC Cluster Catalog, a suite of cluster simulations with present-day properties representative of the Milky Way's globular clusters. We compare the properties of the mergers from triples to the other merger channels in dense star clusters, and show that triple systems do not produce significant differences in terms of mass and effective spin distribution. However, they represent an important pathway for forming eccentric mergers, which could be detected by LIGO--Virgo/KAGRA (LVK), and future missions such as LISA and DECIGO. We derive a conservative lower limit for the merger rate from this channel of $0.35$ Gpc$^{-3}$yr$^{-1}$ in the local Universe and up to $\sim9\%$ of these events may have a detectable eccentricity at LVK design sensitivity. Additionally, we find that triple systems could play an important role in retaining second-generation BHs, which can later merge again in the core of the host cluster. △ Less

Submitted 21 September, 2020; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: 21 Pages, 11 Figures, 2 Tables, Accepted for publication in ApJ

Online Learning of Parameterized Uncertain Dynamical Environments with Finite-sample Guarantees

Authors: Dan Li, Dariush Fooladivanda, Sonia Martinez

Abstract: We present a novel online learning algorithm for a class of unknown and uncertain dynamical environments that are fully observable. First, we obtain a novel probabilistic characterization of systems whose mean behavior is known but which are subject to additive, unknown subGaussian disturbances. This characterization relies on recent concentration of measure results and is given in terms of ambigu… ▽ More We present a novel online learning algorithm for a class of unknown and uncertain dynamical environments that are fully observable. First, we obtain a novel probabilistic characterization of systems whose mean behavior is known but which are subject to additive, unknown subGaussian disturbances. This characterization relies on recent concentration of measure results and is given in terms of ambiguity sets. Second, we extend the results to environments whose mean behavior is also unknown but described by a parameterized class of possible mean behaviors. Our algorithm adapts the ambiguity set dynamically by learning the parametric dependence online, and retaining similar probabilistic guarantees with respect to the additive, unknown disturbance. We illustrate the results on a differential-drive robot subject to environmental uncertainty. △ Less

Submitted 4 September, 2020; originally announced September 2020.

Distributed Stochastic Nested Optimization via Cubic Regularization

Authors: Tor Anderson, Sonia Martinez

Abstract: This paper considers a nested stochastic distributed optimization problem. In it, approximate solutions to realizations of the inner-problem are leveraged to obtain a Distributed Stochastic Cubic Regularized Newton (DiSCRN) update to the decision variable of the outer problem. We provide an example involving electric vehicle users with various preferences which demonstrates that this model is appr… ▽ More This paper considers a nested stochastic distributed optimization problem. In it, approximate solutions to realizations of the inner-problem are leveraged to obtain a Distributed Stochastic Cubic Regularized Newton (DiSCRN) update to the decision variable of the outer problem. We provide an example involving electric vehicle users with various preferences which demonstrates that this model is appropriate and sufficiently complex for a variety of data-driven multi-agent settings, in contrast to non-nested models. The main two contributions of the paper are: (i) development of local stop** criterion for solving the inner optimization problem which guarantees sufficient accuracy for the outer-problem update, and (ii) development of the novel DiSCRN algorithm for solving the outer-problem and a theoretical justification of its efficacy. Simulations demonstrate that this approach is more stable and converges faster than standard gradient and Newton outer-problem updates in a highly nonconvex scenario, and we also demonstrate that the method extends to an EV charging scenario in which resistive battery losses and a time-of-use pricing model are considered over a time horizon. △ Less

Submitted 4 August, 2021; v1 submitted 30 August, 2020; originally announced August 2020.

Toppling pencils -- Macroscopic Randomness from Microscopic Fluctuations

Authors: Thomas Dittrich, Santiago Peña Martínez

Abstract: We construct a microscopic model to study discrete randomness in bistable systems coupled to an environment comprising many degrees of freedom. A quartic double well is bilinearly coupled to a finite number $N$ of harmonic oscillators. Solving the time-reversal invariant Hamiltonian equations of motion numerically, we show that for $N = 1$, the system exhibits a transition with increasing coupling… ▽ More We construct a microscopic model to study discrete randomness in bistable systems coupled to an environment comprising many degrees of freedom. A quartic double well is bilinearly coupled to a finite number $N$ of harmonic oscillators. Solving the time-reversal invariant Hamiltonian equations of motion numerically, we show that for $N = 1$, the system exhibits a transition with increasing coupling strength from integrable to chaotic motion, following the KAM scenario. Raising $N$ to values of the order of 10 and higher, the dynamics crosses over to a quasi-relaxation, approaching either one of the stable equilibria at the two minima of the potential. We corroborate the irreversibility of this relaxation on other characteristic timescales of the system by recording the time dependences of autocorrelation, partial entropy, and the frequency of jumps between the wells as functions of $N$ and other parameters. Preparing the central system in the unstable equilibrium at the top of the barrier and the bath in a random initial state drawn from a Gaussian distribution, symmetric under spatial reflection, we demonstrate that the decision whether to relax into the left or the right well is determined reproducibly by residual asymmetries in the initial positions and momenta of the bath oscillators. This result reconciles the randomness and spontaneous symmetry breaking of the asymptotic state with the conservation of entropy under canonical transformations and the manifest symmetry of potential and initial condition of the bistable system. △ Less

Submitted 28 August, 2020; originally announced August 2020.

Comments: 22 pages, 10 figures

Journal ref: Entropy 22, 1046 (2020)

Demographics of triple systems in dense star clusters

Authors: Giacomo Fragione, Miguel A. S. Martinez, Kyle Kremer, Sourav Chatterjee, Carl L. Rodriguez, Claire S. Ye, Newlin C. Weatherford, Smadar Naoz, Frederic A. Rasio

Abstract: Depending on the stellar type, more than $\sim 50$\% and $\sim 15\%$ of stars in the field have at least one and two stellar companions, respectively. Hierarchical systems can be assembled dynamically in dense star clusters, as a result of few-body encounters among stars and/or compact remnants in the cluster core. In this paper, we present the demographics of stellar and compact-object triples fo… ▽ More Depending on the stellar type, more than $\sim 50$\% and $\sim 15\%$ of stars in the field have at least one and two stellar companions, respectively. Hierarchical systems can be assembled dynamically in dense star clusters, as a result of few-body encounters among stars and/or compact remnants in the cluster core. In this paper, we present the demographics of stellar and compact-object triples formed via binary--binary encounters in the \texttt{CMC Cluster Catalog}, a suite of cluster simulations with present-day properties representative of the globular clusters (GCs) observed in the Milky Way. We show how the initial properties of the host cluster set the typical orbital parameters and formation times of the formed triples. We find that a cluster typically assembles hundreds of triples with at least one black hole (BH) in the inner binary, while only clusters with sufficiently small virial radii are efficient in producing triples with no BHs, as a result of the BH-burning process. We show that a typical GC is expected to host tens of triples with at least one luminous component at present day. We discuss how the Lidov-Kozai mechanism can drive the inner binary of the formed triples to high eccentricities, whenever it takes place before the triple is dynamically reprocessed by encountering another cluster member. Some of these systems can reach sufficiently large eccentricities to form a variety of transients and sources, such as blue stragglers, X-ray binaries, Type Ia Supernovae, Thorne-Zytkow objects, and LIGO/Virgo sources. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 28 pages, 12 figures, 2 tables, accepted by ApJ

Frequency Regulation with Heterogeneous Energy Resources: A Realization using Distributed Control

Authors: Tor Anderson, Manasa Muralidharan, Priyank Srivastava, Hamed Valizadeh Haghi, Jorge Cortes, Jan Kleissl, Sonia Martinez, Byron Washom

Abstract: This paper presents one of the first real-life demonstrations of coordinated and distributed resource control for secondary frequency response in a power distribution grid. We conduct a series of tests with up to 69 heterogeneous active devices consisting of air handling units, unidirectional and bidirectional electric vehicle charging stations, a battery energy storage system, and 107 passive dev… ▽ More This paper presents one of the first real-life demonstrations of coordinated and distributed resource control for secondary frequency response in a power distribution grid. We conduct a series of tests with up to 69 heterogeneous active devices consisting of air handling units, unidirectional and bidirectional electric vehicle charging stations, a battery energy storage system, and 107 passive devices consisting of building loads and photovoltaic generators. Actuation commands for the test devices are obtained by solving an economic dispatch problem at every regulation instant using distributed ratio-consensus, primal-dual, and Newton-like algorithms. The distributed control setup consists of a set of Raspberry Pi end-points exchanging messages via an ethernet switch. The problem formulation minimizes the sum of device costs while tracking the setpoints provided by the system operator. We demonstrate accurate and fast real-time distributed computation of the optimization solution and effective tracking of the regulation signal by measuring physical device outputs over 40-minute time horizons. We also perform an economic benefit analysis which confirms eligibility to participate in an ancillary services market and demonstrates up to $53K of potential annual revenue for the selected population of devices. △ Less

Submitted 4 February, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Comparison of different ML methods applied to the classification of events with ttbar in the final state at the ATLAS experiment

Authors: Samuel Campo Martínez, José Salt, Santiago González de la Hoz, Miguel Villaplana

Abstract: This contribution describes the experience with the application of different Machine Learning (ML) techniques to a physics analysis case. The use case chosen is the classification of top-antitop events coming from BSM or from SM using data from a repository of simulated events. The features of these events are represented by their kinematic observables. The initial objective was to compare differe… ▽ More This contribution describes the experience with the application of different Machine Learning (ML) techniques to a physics analysis case. The use case chosen is the classification of top-antitop events coming from BSM or from SM using data from a repository of simulated events. The features of these events are represented by their kinematic observables. The initial objective was to compare different ML methods in order to see whether they can lead to an improvement in the classification, but the work has also helped us to test many variations in the methods by changing hyper-parameters, using different optimisers, ensembles, etc. With this information we have been able to conduct a comparative study that is useful for ensuring as complete control as possible of the methodology. △ Less

Submitted 14 May, 2020; originally announced June 2020.

Comments: Presented at Connecting the Dots and Workshop on Intelligent Trackers (CTD/WIT 2019), Instituto de Física Corpuscular (IFIC), Valencia, Spain, April 2-5, 2019

Report number: PROC-CTD19-012

Reproduction matrix for an epidemic and lockdowns in a city

Authors: Vicente Acuña, María Paz Cortés, Andrew Hart, Servet Martínez, Juan Carlos Maureira

Abstract: We consider an epidemic spreading in a city which is divided geographically into different districts. We introduce the reproduction matrix $\R=\bigl(R(i,j)\bigr)$ between districts, where $R(i,j)$ is the mean number of individuals in district $j$ infected by an individual from district $i$. We analyse policies of partial lockdowns of the city, that is of a set of districts, based on the study of m… ▽ More We consider an epidemic spreading in a city which is divided geographically into different districts. We introduce the reproduction matrix $\R=\bigl(R(i,j)\bigr)$ between districts, where $R(i,j)$ is the mean number of individuals in district $j$ infected by an individual from district $i$. We analyse policies of partial lockdowns of the city, that is of a set of districts, based on the study of matrix $\R$, where rows and columns corresponding to districts in lockdown are set to zero. This schema can also be applied to a country divided into regions or other appropriate units, provided the relevant information is available. We conclude by analyzing a matrix~$\R$ which was constructed for the spread of COVID-19 in Santiago, Chile, with the aid of an agent-based simulator for generating surrogate district data. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Comments: 10 pages

MSC Class: 60J20; 92D30

GW190412 as a Third-Generation Black Hole Merger from a Super Star Cluster

Authors: Carl L. Rodriguez, Kyle Kremer, Michael Y. Grudić, Zachary Hafen, Sourav Chatterjee, Giacomo Fragione, Astrid Lamberts, Miguel A. S. Martinez, Frederic A. Rasio, Newlin Weatherford, Claire S. Ye

Abstract: We explore the possibility that GW190412, a binary black hole merger with a non-equal-mass ratio and significantly spinning primary, was formed through repeated black hole mergers in a dense super star cluster. Using a combination of semi-analytic prescriptions for the remnant spin and recoil kick of black hole mergers, we show that the mass ratio and spin of GW190412 are consistent with a binary… ▽ More We explore the possibility that GW190412, a binary black hole merger with a non-equal-mass ratio and significantly spinning primary, was formed through repeated black hole mergers in a dense super star cluster. Using a combination of semi-analytic prescriptions for the remnant spin and recoil kick of black hole mergers, we show that the mass ratio and spin of GW190412 are consistent with a binary black hole whose primary component has undergone two successive mergers from a population of $\sim 10M_{\odot}$ black holes in a high-metallicity environment. We then explore the production of GW190412-like analogs in the CMC Cluster Catalog, a grid of 148 $N$-body star cluster models, as well as a new model, behemoth, with nearly $10^7$ particles and initial conditions taken from a cosmological MHD simulation of galaxy formation. We show that the production of binaries with GW190412-like masses and spins is dominated by massive super star clusters with high metallicities and large central escape speeds. While many are observed in the local universe, our results suggest that a careful treatment of these massive clusters, many of which may have been disrupted before the present day, is necessary to characterize the production of unique gravitational-wave events produced through dynamics. △ Less

Submitted 27 May, 2020; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: 9 pages, 4 figures, matches version accepted by ApJL

Solving the migration-recombination equation from a genealogical point of view

Authors: Frederic Alberti, Ellen Baake, Ian Letter, Servet Martinez

Abstract: We consider the discrete-time migration-recombination equation, a deterministic, nonlinear dynamical system that describes the evolution of the genetic type distribution of a population evolving under migration and recombination in a law of large numbers setting. We relate this dynamics (forward in time) to a Markov chain, namely a labelled partitioning process, backward in time. This way, we obta… ▽ More We consider the discrete-time migration-recombination equation, a deterministic, nonlinear dynamical system that describes the evolution of the genetic type distribution of a population evolving under migration and recombination in a law of large numbers setting. We relate this dynamics (forward in time) to a Markov chain, namely a labelled partitioning process, backward in time. This way, we obtain a stochastic representation of the solution of the migration-recombination equation. As a consequence, one obtains an explicit solution of the nonlinear dynamics, simply in terms of powers of the transition matrix of the Markov chain. Finally, we investigate the limiting and quasi-limiting behaviour of the Markov chain, which gives immediate access to the asymptotic behaviour of the dynamical system. We finally sketch the analogous situation in continuous time. △ Less

Submitted 14 February, 2021; v1 submitted 19 April, 2020; originally announced April 2020.

MSC Class: 92D15; 60C05; 05C80; 37N25

Journal ref: J. Math. Biol. 82 (2021) 1-27

Powers of Brownian Green Potentials

Authors: Claude Dellacherie, Mauricio Duarte, Servet Martínez, Jaime San Martín, Pierre Vandaele

Abstract: In this article we study stability properties of $g_O$, the standard Green kernel for $O$ an open regular set in $R^d$. In $d\ge 3$ we show that $g_O^β$ is again a Green kernel of a Markov Feller process, for any power $β\in [1,d/(d-2))$. In dimension $d=2$, if $O$ is an open Greenian regular set, we show the same result for $g_O^β$, for any $β\ge 1$ and for the kernel $\exp(αg_O)$, when… ▽ More In this article we study stability properties of $g_O$, the standard Green kernel for $O$ an open regular set in $R^d$. In $d\ge 3$ we show that $g_O^β$ is again a Green kernel of a Markov Feller process, for any power $β\in [1,d/(d-2))$. In dimension $d=2$, if $O$ is an open Greenian regular set, we show the same result for $g_O^β$, for any $β\ge 1$ and for the kernel $\exp(αg_O)$, when $α\in (0,2π)$. △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 30 pages

MSC Class: 60J45; 60J65; 60J25

High-Confidence Attack Detection via Wasserstein-Metric Computations

Authors: Dan Li, Sonia Martínez

Abstract: This paper considers a sensor attack and fault detection problem for linear cyber-physical systems, which are subject to system noise that can obey an unknown light-tailed distribution. We propose a new threshold-based detection mechanism that employs the Wasserstein metric, and which guarantees system performance with high confidence employing a finite number of measurements. The proposed detecto… ▽ More This paper considers a sensor attack and fault detection problem for linear cyber-physical systems, which are subject to system noise that can obey an unknown light-tailed distribution. We propose a new threshold-based detection mechanism that employs the Wasserstein metric, and which guarantees system performance with high confidence employing a finite number of measurements. The proposed detector may generate false alarms with a rate $Δ$ in normal operation, where $Δ$ can be tuned to be arbitrarily small by means of a benchmark distribution which is part of our mechanism. Thus, the proposed detector is sensitive to sensor attacks and faults which have a statistical behavior that is different from that of the system's noise. We quantify the impact of stealthy attacks---which aim to perturb the system operation while producing false alarms that are consistent with the natural system's noise---via a probabilistic reachable set. To enable tractable implementation of our methods, we propose a linear optimization problem that computes the proposed detection measure and a semidefinite program that produces the proposed reachable set. △ Less

Submitted 21 May, 2020; v1 submitted 17 March, 2020; originally announced March 2020.

Comments: Submitted to Control system letters

Dynamics of Data-driven Ambiguity Sets for Hyperbolic Conservation Laws with Uncertain Inputs

Authors: Francesca Boso, Dimitris Boskos, Jorge Cortés, Sonia Martínez, Daniel M. Tartakovsky

Abstract: Ambiguity sets of probability distributions are used to hedge against uncertainty about the true probabilities of random quantities of interest (QoIs). When available, these ambiguity sets are constructed from both data (collected at the initial time and along the boundaries of the physical domain) and concentration-of-measure results on the Wasserstein metric. To propagate the ambiguity sets into… ▽ More Ambiguity sets of probability distributions are used to hedge against uncertainty about the true probabilities of random quantities of interest (QoIs). When available, these ambiguity sets are constructed from both data (collected at the initial time and along the boundaries of the physical domain) and concentration-of-measure results on the Wasserstein metric. To propagate the ambiguity sets into the future, we use a physics-dependent equation governing the evolution of cumulative distribution functions (CDF) obtained through the method of distributions. This study focuses on the latter step by investigating the spatio-temporal evolution of data-driven ambiguity sets and their associated guarantees when the random QoIs they describe obey hyperbolic partial-differential equations with random inputs. For general nonlinear hyperbolic equations with smooth solutions, the CDF equation is used to propagate the upper and lower envelopes of pointwise ambiguity bands. For linear dynamics, the CDF equation allows us to construct an evolution equation for tighter ambiguity balls. We demonstrate that, in both cases, the ambiguity sets are guaranteed to contain the true (unknown) distributions within a prescribed confidence. △ Less

Submitted 14 March, 2020; originally announced March 2020.

Inverse M-matrix, a new characterization

Authors: Claude Dellacherie, Servet Martinez, Jaime San Martin

Abstract: In this article we present a new characterization of inverse M-matrices, inverse row diagonally dominant M-matrices and inverse row and column diagonally dominant M-matrices, based on the positivity of certain inner products. In this article we present a new characterization of inverse M-matrices, inverse row diagonally dominant M-matrices and inverse row and column diagonally dominant M-matrices, based on the positivity of certain inner products. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 9 pages

MSC Class: 15B35 (Primary); 15B51; 60J10 ACM Class: G.3

Measuring privacy in smart metering anonymized data

Authors: Santi Martínez, Francesc Sebé, Christoph Sorge

Abstract: In recent years, many proposals have arisen from research on privacy in smart metering. In one of the considered approaches, referred to as anonymization, smart meters transmit fine-grained electricity consumption values in such a way that the energy supplier can not exactly determine procedence. This paper measures the real privacy provided by such approach by taking into account that at the end… ▽ More In recent years, many proposals have arisen from research on privacy in smart metering. In one of the considered approaches, referred to as anonymization, smart meters transmit fine-grained electricity consumption values in such a way that the energy supplier can not exactly determine procedence. This paper measures the real privacy provided by such approach by taking into account that at the end of a billing period the energy supplier collects the overall electricity consumption of each meter for billing purposes. An entropy-based measure is proposed for quantifying privacy and determine the extent to which knowledge on the overall consumption of meters allows to re-identify anonymous fine-grained consumption values. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Data-driven Predictive Control for a Class of Uncertain Control-Affine Systems

Authors: Dan Li, Dariush Fooladivanda, Sonia Martinez

Abstract: This paper studies a data-driven predictive control for a class of control-affine systems which is subject to uncertainty. With the accessibility to finite sample measurements of the uncertain variables, we aim to find controls which are feasible and provide superior performance guarantees with high probability. This results into the formulation of a stochastic optimization problem (P), which is i… ▽ More This paper studies a data-driven predictive control for a class of control-affine systems which is subject to uncertainty. With the accessibility to finite sample measurements of the uncertain variables, we aim to find controls which are feasible and provide superior performance guarantees with high probability. This results into the formulation of a stochastic optimization problem (P), which is intractable due to the unknown distribution of the uncertainty variables. By develo** a distributionally robust optimization framework, we present an equivalent and yet tractable reformulation of (P). Further, we propose an efficient algorithm that provides online suboptimal data-driven solutions and guarantees performance with high probability. To illustrate the effectiveness of the proposed approach, we consider a highway speed-limit control problem. We then develop a set of data-driven speed controls that allow us to prevent traffic congestion with high probability. Finally, we employ the resulting control method on a traffic simulator to illustrate the effectiveness of this approach numerically. △ Less

Submitted 29 April, 2021; v1 submitted 22 November, 2019; originally announced November 2019.

Comments: A prelimineary version appeared in arxiv:1810.11385 or DOI: 10.23919/ECC.2019.8796026

Revisiting John Lamperti's maximal branching process

Authors: Thierry Huillet, Servet Martinez

Abstract: Lamperti's maximal branching process is revisited, with emphasis on the description of the shape of the invariant measures in both the recurrent and transient regimes. A truncated version of this chain is exhibited, preserving the monotonicity of the original Lamperti chain supported by the integers. The Brown theory of hitting times applies to the latter chain with finite state-space, including s… ▽ More Lamperti's maximal branching process is revisited, with emphasis on the description of the shape of the invariant measures in both the recurrent and transient regimes. A truncated version of this chain is exhibited, preserving the monotonicity of the original Lamperti chain supported by the integers. The Brown theory of hitting times applies to the latter chain with finite state-space, including sharp strong time to stationarity. Additional information on these hitting time problems are drawn from the quasi-stationary point of view. △ Less

Submitted 18 November, 2019; originally announced November 2019.

MSC Class: 60J10; 60J80; 92D25

Distributed Resource Allocation with Binary Decisions via Newton-like Neural Network Dynamics

Authors: Tor Anderson, Sonia Martinez

Abstract: This paper aims to solve a distributed resource allocation problem with binary local constraints. The problem is formulated as a binary program with a cost function defined by the summation of agent costs plus a global mismatch/penalty term. We propose a modification of the Hopfield Neural Network (HNN) dynamics in order to solve this problem while incorporating a novel Newton-like weighting facto… ▽ More This paper aims to solve a distributed resource allocation problem with binary local constraints. The problem is formulated as a binary program with a cost function defined by the summation of agent costs plus a global mismatch/penalty term. We propose a modification of the Hopfield Neural Network (HNN) dynamics in order to solve this problem while incorporating a novel Newton-like weighting factor. This addition lends itself to fast avoidance of saddle points, which the gradient-like HNN is susceptible to. Turning to a multi-agent setting, we reformulate the problem and develop a distributed implementation of the Newton-like dynamics. We show that if a local solution to the distributed reformulation is obtained, it is also a local solution to the centralized problem. A main contribution of this work is to show that the probability of converging to a saddle point of an appropriately defined energy function in both the centralized and distributed settings is zero under light assumptions. Finally, we enlarge our algorithm with an annealing technique which gradually learns a feasible binary solution. Simulation results demonstrate that the proposed methods are competitive with centralized greedy and SDP relaxation approaches in terms of solution quality, while the main advantage of our approach is a significant improvement in runtime over the SDP relaxation method and the distributed quality of implementation. △ Less

Submitted 27 July, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Truncation in Duality and Intertwining Kernels

Authors: Thierry Huillet, Servet Martinez

Abstract: We study properties of truncations in the dual and intertwining process in the monotone case. The main properties are stated for the time-reversed process and the time of absorption of the truncated intertwining process. We study properties of truncations in the dual and intertwining process in the monotone case. The main properties are stated for the time-reversed process and the time of absorption of the truncated intertwining process. △ Less

Submitted 4 November, 2019; originally announced November 2019.

MSC Class: 60J10; 60J70; 60J80

Entropy of absorbed Markov chains

Authors: Servet Martínez

Abstract: We consider a strictly substochastic matrix or an stochastic matrix with absorbing states. By using quasi-stationary distributions one shows there is a canonical associated stationary Markov chain. Based upon $2-$stringing representation of the resurrected chain we supply a stationary representation of the killed and the absorbed chains. The entropies of these representations has a clear meaning w… ▽ More We consider a strictly substochastic matrix or an stochastic matrix with absorbing states. By using quasi-stationary distributions one shows there is a canonical associated stationary Markov chain. Based upon $2-$stringing representation of the resurrected chain we supply a stationary representation of the killed and the absorbed chains. The entropies of these representations has a clear meaning when one identifies the probability measure of natural factors. The balance between the entropies of these representations and the canonical chain, serves to check the suitability of the whole construction. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: 24 pages

MSC Class: 60J10

Data-driven ambiguity sets with probabilistic guarantees for dynamic processes

Authors: Dimitris Boskos, Jorge Cortés, Sonia Martínez

Abstract: Distributional ambiguity sets provide quantifiable ways to characterize the uncertainty about the true probability distribution of random variables of interest. This makes them a key element in data-driven robust optimization by exploiting high-confidence guarantees to hedge against uncertainty. This paper explores the construction of Wasserstein ambiguity sets in dynamic scenarios where data is c… ▽ More Distributional ambiguity sets provide quantifiable ways to characterize the uncertainty about the true probability distribution of random variables of interest. This makes them a key element in data-driven robust optimization by exploiting high-confidence guarantees to hedge against uncertainty. This paper explores the construction of Wasserstein ambiguity sets in dynamic scenarios where data is collected progressively and may only reveal partial information about the unknown random variable. For random variables evolving according to known dynamics, we leverage assimilated samples to make inferences about their unknown distribution at the end of the sampling horizon. Under exact knowledge of the flow map, we provide sufficient conditions that relate the growth of the trajectories with the sampling rate to establish a reduction of the ambiguity set size as the horizon increases. Further, we characterize the exploitable sample history that results in a guaranteed reduction of ambiguity sets under errors in the computation of the flow and when the dynamics is subject to bounded unknown disturbances. Our treatment deals with both full- and partial-state measurements and, in the latter case, exploits the sampled-data observability properties of linear time-varying systems under irregular sampling. Simulations on a UAV detection application show the superior performance resulting from the proposed dynamic ambiguity sets. △ Less

Submitted 24 September, 2019; originally announced September 2019.

The hyperspaces $HS(p,X)$

Authors: Florencio Corona-Vázquez, Russell Aarón Quiñones-Estrella, Javier Sánchez Martínez

Abstract: Let $X$ be a continuum and let $C(X)$ denote the hyperspace of subcontinua of $X$, endowed with the Hausdorff metric. For $p\in X$, define the hyperspace $C(p,X)=\{A\in C(X):p\in A\}$ as a subspace of $C(X)$. In this paper we introduced the quotient space $HS(p,X)=C(X)/C(p,X)$. We present some general properties of $HS(p,X)$ and we study the relationship between the continuum $X$ and the hyperspac… ▽ More Let $X$ be a continuum and let $C(X)$ denote the hyperspace of subcontinua of $X$, endowed with the Hausdorff metric. For $p\in X$, define the hyperspace $C(p,X)=\{A\in C(X):p\in A\}$ as a subspace of $C(X)$. In this paper we introduced the quotient space $HS(p,X)=C(X)/C(p,X)$. We present some general properties of $HS(p,X)$ and we study the relationship between the continuum $X$ and the hyperspaces $C(X)$ and $HS(p,X)$. △ Less

Submitted 20 August, 2019; v1 submitted 16 August, 2019; originally announced August 2019.

Comments: 23 pages

MSC Class: 54B05; 54B20; 54F65

Universal One-Dimensional Cellular Automata Derived for Turing Machines and its Dynamical Behaviour

Authors: Sergio J. Martinez, Ivan M. Mendoza, Genaro J. Martinez, Shigeru Ninagawa

Abstract: Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, t… ▽ More Universality in cellular automata theory is a central problem studied and developed from their origins by John von Neumann. In this paper, we present an algorithm where any Turing machine can be converted to one-dimensional cellular automaton with a 2-linear time and display its spatial dynamics. Three particular Turing machines are converted in three universal one-dimensional cellular automata, they are: binary sum, rule 110 and a universal reversible Turing machine. △ Less

Submitted 6 July, 2019; originally announced July 2019.

Comments: 18 pages, 8 tables, 3 figures. https://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-14-number-2-2019/ijuc-14-2-p-121-138/

Journal ref: International Journal of Unconventional Computing 14(2) pages 121-138, 2019

Orphaned Exomoons: Tidal Detachment and Evaporation Following an Exoplanet-Star Collision

Authors: Miguel Martinez, Nicholas C. Stone, Brian D. Metzger

Abstract: Gravitational perturbations on an exoplanet from a massive outer body, such as the Kozai-Lidov mechanism, can pump the exoplanet's eccentricity up to values that will destroy it via a collision or strong interaction with its parent star. During the final stages of this process, any exomoons orbiting the exoplanet will be detached by the star's tidal force and placed into orbit around the star. Usi… ▽ More Gravitational perturbations on an exoplanet from a massive outer body, such as the Kozai-Lidov mechanism, can pump the exoplanet's eccentricity up to values that will destroy it via a collision or strong interaction with its parent star. During the final stages of this process, any exomoons orbiting the exoplanet will be detached by the star's tidal force and placed into orbit around the star. Using ensembles of three and four-body simulations, we demonstrate that while most of these detached bodies either collide with their star or are ejected from the system, a substantial fraction, ~10%, of such "orphaned" exomoons (with initial properties similar to those of the Galilean satellites in our own solar system) will outlive their parent exoplanet. The detached exomoons generally orbit inside the ice line, so that strong radiative heating will evaporate any volatile-rich layers, producing a strong outgassing of gas and dust, analogous to a comet's perihelion passage. Small dust grains ejected from the exomoon may help generate an opaque cloud surrounding the orbiting body but are quickly removed by radiation blow-out. By contrast, larger solid particles inherit the orbital properties of the parent exomoon, feeding an eccentric disk of solids that drains more gradually onto the star via Poynting-Robertson drag, and which could result in longer-timescale dimming of the star. For characteristic exomoon evaporation times of ~ 1e5-1e6 yr, attenuation of the stellar light arising from one or more out-gassing exomoons provides a promising explanation for both the dip** and secular dimming behavior observed from KIC 8462852 (Boyajian's Star). △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 16 pages, 7 figures, submitted to MNRAS

Quasi-Stationary Distributions and Resilience: What to get from a sample?

Authors: J. -R. Chazottes, P. Collet, S. Martínez, S. Méléard

Abstract: We study a class of multi-species birth-and-death processes going almost surely to extinction and admitting a unique quasi-stationary distribution (qsd for short). When rescaled by $K$ and in the limit $K\to+\infty$, the realizations of such processes get close, in any fixed finite-time window, to the trajectories of a dynamical system whose vector field is defined by the birth and death rates. As… ▽ More We study a class of multi-species birth-and-death processes going almost surely to extinction and admitting a unique quasi-stationary distribution (qsd for short). When rescaled by $K$ and in the limit $K\to+\infty$, the realizations of such processes get close, in any fixed finite-time window, to the trajectories of a dynamical system whose vector field is defined by the birth and death rates. Assuming that this dynamical has a unique attracting fixed point, we analyzed in a previous work what happens for large but finite $K$, especially the different time scales showing up. In the present work, we are mainly interested in the following question: Observing a realization of the process, can we determine the so-called engineering resilience? To answer this question, we establish two relations which intermingle the resilience, which is a macroscopic quantity defined for the dynamical system, and the fluctuations of the process, which are microscopic quantities. Analogous relations are well known in nonequilibrium statistical mechanics. To exploit these relations, we need to introduce several estimators which we control for times between $\log K$ (time scale to converge to the qsd) and $\exp(K)$ (time scale of mean time to extinction). △ Less

Submitted 19 June, 2020; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: This is, up to layout details, the published version (2020) in the Journal de l'École polytechnique. See https://jep.centre-mersenne.org/item/JEP_2020__7__943_0/

Global controllability tests for geometric hybrid control systems

Authors: M. Barbero Liñán, J. Cortés, D. Martín de Diego, S. Martínez, M. C. Muñoz Lecanda

Abstract: Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, w… ▽ More Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, where the instantaneous change of dynamics take place. Controllability is understood as the existence of a feasible trajectory for the system joining any two given points. As a result we describe examples where none of the continuous control systems are controllable, but the associated hybrid system is controllable because of the characteristics of the jump set. △ Less

Submitted 22 June, 2020; v1 submitted 7 May, 2019; originally announced May 2019.

Comments: 27 pages, 5 figures

MSC Class: 93C30; 93B05; 93B27

High energy muons in extensive air showers

Authors: Carmen Gámez, Miguel Gutiérrez, Juan S. Martínez, Manuel Masip

Abstract: The production of very high energy muons inside an extensive air shower is observable at $ν$ telescopes and sensitive to the composition of the primary cosmic ray. Here we discuss five different sources of these muons: pion and kaon decays; charmed hadron decays; rare decays of unflavored mesons; photon conversion into a muon pair; and photon conversion into a $J/ψ$ vector meson decaying into muon… ▽ More The production of very high energy muons inside an extensive air shower is observable at $ν$ telescopes and sensitive to the composition of the primary cosmic ray. Here we discuss five different sources of these muons: pion and kaon decays; charmed hadron decays; rare decays of unflavored mesons; photon conversion into a muon pair; and photon conversion into a $J/ψ$ vector meson decaying into muons. We solve the cascade equations for a $10^{10.5}$ GeV proton primary and find that unflavored mesons and gamma conversions are the two main sources of $E\ge 10^{8.5}$ GeV muons, while charm decays dominate at $10^{5.5}\,{\rm GeV}< E< 10^{8.5}\,{\rm GeV}$. In inclined events one of these muons may deposite a large fraction of its energy near the surface, implying fluctuations in the longitudinal profile of the shower and in the muon to electron count at the ground level. In particular, we show that 1 out of 6 proton showers of $10^{10.5}$ GeV include an $E>10^6$ GeV deposition within 500 g/cm$^2$, while only in 1 out of 330 showers it is above $10^7$ GeV. We also show that the production of high energy muons is very different in proton, iron or photon showers ({e.g., conversions $γ\to μ^+ μ^-$ are the main source of $E\ge 10^4$ GeV muons in photon showers). Finally, we use Monte Carlo simulations to discuss the validity of our results. △ Less

Submitted 29 January, 2020; v1 submitted 29 April, 2019; originally announced April 2019.

Comments: 17 pages. LPM effect included in cascade equations. New section with Monte Carlo simulations added. Version to appear in JCAP

Planning under non-rational perception of uncertain spatial costs

Authors: Aamodh Suresh, Sonia Martinez

Abstract: This work investigates the design of risk-perception-aware motion-planning strategies that incorporate non-rational perception of risks associated with uncertain spatial costs. Our proposed method employs the Cumulative Prospect Theory (CPT) to generate a perceived risk map over a given environment. CPT-like perceived risks and path-length metrics are then combined to define a cost function that i… ▽ More This work investigates the design of risk-perception-aware motion-planning strategies that incorporate non-rational perception of risks associated with uncertain spatial costs. Our proposed method employs the Cumulative Prospect Theory (CPT) to generate a perceived risk map over a given environment. CPT-like perceived risks and path-length metrics are then combined to define a cost function that is compliant with the requirements of asymptotic optimality of sampling-based motion planners (RRT*). The modeling power of CPT is illustrated in theory and in simulation, along with a comparison to other risk perception models like Conditional Value at Risk (CVaR). Theoretically, we define a notion of expressiveness for a risk perception model and show that CPT's is higher than that of CVaR and expected risk. We then show that this expressiveness translates to our path planning setting, where we observe that a planner equipped with CPT together with a simultaneous perturbation stochastic approximation (SPSA) method can better approximate arbitrary paths in an environment. Additionally, we show in simulation that our planner captures a rich set of meaningful paths, representative of different risk perceptions in a custom environment. We then compare the performance of our planner with T-RRT* (a planner for continuous cost spaces) and Risk-RRT* (a risk-aware planner for dynamic human obstacles) through simulations in cluttered and dynamic environments respectively, showing the advantage of our proposed planner. △ Less

Submitted 20 October, 2020; v1 submitted 4 April, 2019; originally announced April 2019.

Comments: 12 pages and 10 figures. This revision adds more explanation and clearer figures