-
Maxentropy completion and properties of some partially defined Stationary Markov chains
Authors:
Pierre Collet,
Servet Martínez
Abstract:
We consider a stationary Markovian evolution with values on a disjointly partitioned set space $I\sqcup {\cal E}$. The evolution is visible (in the sense of knowing the transition probabilities) on the states in $I$ but not for the states in ${\cal E}$. One only knows some partial information on the transition probabilities on ${\cal E}$, the input and output transition probabilities and some cons…
▽ More
We consider a stationary Markovian evolution with values on a disjointly partitioned set space $I\sqcup {\cal E}$. The evolution is visible (in the sense of knowing the transition probabilities) on the states in $I$ but not for the states in ${\cal E}$. One only knows some partial information on the transition probabilities on ${\cal E}$, the input and output transition probabilities and some constraints of the transition probabilities on ${\cal E}$. Under some conditions we supply the transition probabilities on ${\cal E}$ that satisfies the maximum entropy principle.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
A note on the convergence of the Bayesian entropy estimator for exchangeable partitions
Authors:
Servet Martinez
Abstract:
We show that when the proportions of a countable set of species are organized as an exchangeable partition of the unit interval and we take a sample on it, then the Bayesian posterior entropy converges a.s. and in L^1 to the entropy of the species when the sample size diverges to infinity.
We show that when the proportions of a countable set of species are organized as an exchangeable partition of the unit interval and we take a sample on it, then the Bayesian posterior entropy converges a.s. and in L^1 to the entropy of the species when the sample size diverges to infinity.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Distributed Task Allocation for Self-Interested Agents with Partially Unknown Rewards
Authors:
Nirabhra Mandal,
Mohammad Khajenejad,
Sonia Martínez
Abstract:
This paper provides a novel solution to a task allocation problem, by which a group of agents decides on the assignment of a discrete set of tasks in a distributed manner. In this setting, heterogeneous agents have individual preferences and associated rewards for doing each task; however, these rewards are only known asymptotically. We start by formulating the assignment problem by means of a com…
▽ More
This paper provides a novel solution to a task allocation problem, by which a group of agents decides on the assignment of a discrete set of tasks in a distributed manner. In this setting, heterogeneous agents have individual preferences and associated rewards for doing each task; however, these rewards are only known asymptotically. We start by formulating the assignment problem by means of a combinatorial partition game for known rewards, with no constraints on number of tasks per agent. We relax this into a weight game, which together with the former, are shown to contain the optimal task allocation in the corresponding set of Nash Equilibria (NE). We then propose a projected, best-response, ascending gradient dynamics (PBRAG) that converges to a NE in finite time. This forms the basis of a distributed online version that can deal with a converging sequence of rewards by means of an agreement sub-routine. We present simulations that support our results
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
Level numbers preserving transformations on excursionsdefined by random walks with state dependent jump laws
Authors:
Thierry Huillet,
Servet Martinez
Abstract:
We study the number of individuals per level defined by excursions of random walks with state dependent jump law. These level numbersdetermine the probability of the excursion, and the set of transformations preserving the level numbers is, generically, the set of transformation that preserve the probability law of excursions.We compute the number of excursions having a fixed level numbers and w…
▽ More
We study the number of individuals per level defined by excursions of random walks with state dependent jump law. These level numbersdetermine the probability of the excursion, and the set of transformations preserving the level numbers is, generically, the set of transformation that preserve the probability law of excursions.We compute the number of excursions having a fixed level numbers and we show that the class of shifts of excursions generate all the excursions having a fixed level numbers. We study the behaviorof the level numbers under the Vervaat transform and the Doob transform.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems
Authors:
Scott Brown,
Mohammad Khajenejad,
Sze Zheng Yong,
Sonia MartInez
Abstract:
In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows us to guarantee the invariance of the resulting n…
▽ More
In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows us to guarantee the invariance of the resulting near-maximal CIS while also computing sets of control inputs that enforce the invariance. Further, we propose an accelerated version of this procedure which refines the CIS by computing backward reachable sets of individual components of set unions, rather than all at once. This reduces the total number of iterations required for convergence, especially when compared with existing methods. Finally, we compare our methods to a sampling-based approach and demonstrate the improved accuracy and faster convergence.
△ Less
Submitted 23 April, 2023;
originally announced April 2023.
-
Tessellation-valued processes that are generated by cell division
Authors:
Servet Martínez,
Werner Nagel
Abstract:
Processes of random tessellations of the Euclidean space $\mathbb{R}^d$, $d\geq 1$, are considered which are generated by subsequent division of their cells. Such processes are characterized by the laws of the life times of the cells until their division and by the laws for the random hyperplanes that divide the cells at the end of their life times. The STIT tessellation processes are a reference…
▽ More
Processes of random tessellations of the Euclidean space $\mathbb{R}^d$, $d\geq 1$, are considered which are generated by subsequent division of their cells. Such processes are characterized by the laws of the life times of the cells until their division and by the laws for the random hyperplanes that divide the cells at the end of their life times. The STIT tessellation processes are a reference model. In the present paper a generalization concerning the life time distributions is introduced, a sufficient condition for the existence of such cell division tessellation processes is provided and a construction is described. In particular, for the case that the random dividing hyperplanes have a Mondrian distribution -- which means that all cells of the tessellations are cuboids -- it is shown that the intrinsic volumes, except the Euler characteristic, can be used as the parameter for the exponential life time distribution of the cells.
△ Less
Submitted 4 April, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Data-driven mode detection and stabilization of unknown switched linear systems
Authors:
Jaap Eising,
Shenyu Liu,
Sonia Martinez,
Jorge Cortes
Abstract:
This paper considers the stabilization of unknown switched linear systems using data. Instead of a full system model, we have access to a finite number of trajectories of each of the different modes prior to the online operation of the system. On the basis of informative enough measurements, formally characterized in terms of linear matrix inequalities, we design an online switched controller that…
▽ More
This paper considers the stabilization of unknown switched linear systems using data. Instead of a full system model, we have access to a finite number of trajectories of each of the different modes prior to the online operation of the system. On the basis of informative enough measurements, formally characterized in terms of linear matrix inequalities, we design an online switched controller that alternates between a mode detection phase and a stabilization phase. Since the specific currently-active mode is unknown, the controller employs the most recent online measurements to determine it by implementing computationally efficient tests that check compatibility with the set of systems consistent with the pre-collected measurements. The stabilization phase applies the stabilizing feedback gain corresponding to the identified active mode and monitors the evolution of the associated Lyapunov function to detect switches. When a switch is detected, the controller returns to the mode-detection phase. Under average dwell- and activation-time assumptions on the switching signal, we show that the proposed controller guarantees an input-to-state-like stability property of the closed-loop switched system. Various simulations illustrate our results.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
Grzegorczyk and Whitehead points: the story continues
Authors:
Rafał Gruszczyński,
Santiago Jockwich Martinez
Abstract:
One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual…
▽ More
One of the main goals of region-based theories of space is to formulate a geometrically appealing definition of points. The paper is devoted to the analysis of two such seminal definitions: Alfred N. Whitehead's (1929) and Andrzej Grzegorczyk's (1960). Relying on the work of Loredana Biacino's and Ginagiacomo Gerla's (1996), we improve their results, solve some open problems concerning the mutual relationship between Whitehead and Grzegorczyk points, and put forward open problems for future investigation.
△ Less
Submitted 30 September, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Sterile versus prolific individuals pertaining to linear-fractional Bienaym{é}-Galton-Watson trees
Authors:
Thierry Huillet,
Servet Martinez
Abstract:
In a Bienaymé-Galton-Watson process for which there is a positiveprobability for individuals of having no offspring, there is a subtlebalance and dependence between the sterile nodes (the dead nodes or leaves)and the prolific ones (the productive nodes) both at and up to the currentgeneration. We explore the many facets of this problem, especially in thecontext of an exactly solvable linear-fracti…
▽ More
In a Bienaymé-Galton-Watson process for which there is a positiveprobability for individuals of having no offspring, there is a subtlebalance and dependence between the sterile nodes (the dead nodes or leaves)and the prolific ones (the productive nodes) both at and up to the currentgeneration. We explore the many facets of this problem, especially in thecontext of an exactly solvable linear-fractional branching mechanism at allgeneration. Eased asymptotic issues are investigated. Relation of thisspecial branching process to skip-free to the left and simple random walks'excursions is then investigated. Mutual statistical information on theirshapes can be learnt from this association.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
One step entropy variation in sequential sampling of species for the Poisson-Dirichlet Process
Authors:
Servet Martínez,
Javier Santibáñez
Abstract:
We consider the sequential sampling of species, where observed samples are classified into the species they belong to. We are particularly interested in studying some quantities describing the sampling process when there is a new species discovery. We assume that the observations and species are organized as a two-parameter Poisson-Dirichlet Process, which is commonly used as a Bayesian prior in t…
▽ More
We consider the sequential sampling of species, where observed samples are classified into the species they belong to. We are particularly interested in studying some quantities describing the sampling process when there is a new species discovery. We assume that the observations and species are organized as a two-parameter Poisson-Dirichlet Process, which is commonly used as a Bayesian prior in the context of entropy estimation, and we use the computation of the mean posterior entropy given a sample developed in [4]. Our main result shows the existence of a monotone functional, constructed from the difference between the maximal entropy and the mean entropy throughout the sampling process. We show that this functional remains constant only when a new species discovery occurs.
△ Less
Submitted 31 January, 2023;
originally announced January 2023.
-
Guaranteed Privacy of Distributed Nonconvex Optimization via Mixed-Monotone Functional Perturbations
Authors:
Mohammad Khajenejad,
Sonia Martinez
Abstract:
In this paper, we introduce a new notion of guaranteed privacy that requires that the change of the range of the corresponding inclusion function to the true function is small. In particular, leveraging mixed-monotone inclusion functions, we propose a privacy-preserving mechanism for nonconvex distributed optimization, which is based on deterministic, but unknown, affine perturbation of the local…
▽ More
In this paper, we introduce a new notion of guaranteed privacy that requires that the change of the range of the corresponding inclusion function to the true function is small. In particular, leveraging mixed-monotone inclusion functions, we propose a privacy-preserving mechanism for nonconvex distributed optimization, which is based on deterministic, but unknown, affine perturbation of the local objective functions, which is stronger than probabilistic differential privacy. The design requires a robust optimization method to characterize the best accuracy that can be achieved by an optimal perturbation. Subsequently, this is used to guide the refinement of a guaranteed-private perturbation mechanism that can achieve a quantifiable accuracy via a theoretical upper bound that is shown to be independent of the chosen optimization algorithm.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
A singularity as a break point for the multiplicity of solutions to quasilinear elliptic problems
Authors:
Salvador López Martínez
Abstract:
We study a boundary value elliptic problem having a lower order nonlinear term with subquadratic growth in the gradient of the solution and possibly singular when the solution vanishes. If the singularity is mild enough (and even in the absence of the singularity), we prove an existence and multiplicity result. On the contrary, we prove an existence and uniqueness result for strong singularities.
We study a boundary value elliptic problem having a lower order nonlinear term with subquadratic growth in the gradient of the solution and possibly singular when the solution vanishes. If the singularity is mild enough (and even in the absence of the singularity), we prove an existence and multiplicity result. On the contrary, we prove an existence and uniqueness result for strong singularities.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
Finding magic squares with the Douglas-Rachford algorithm
Authors:
Francisco J. Aragón Artacho,
Paula Segura Martínez
Abstract:
In this expository paper, we show how to use the Douglas-Rachford algorithm as a successful heuristic for finding magic squares. The Douglas-Rachford algorithm is an iterative projection method for solving feasibility problems. Although its convergence is only guaranteed in the convex setting, the algorithm has been successfully applied to a number of similar nonconvex problems, such as solving Su…
▽ More
In this expository paper, we show how to use the Douglas-Rachford algorithm as a successful heuristic for finding magic squares. The Douglas-Rachford algorithm is an iterative projection method for solving feasibility problems. Although its convergence is only guaranteed in the convex setting, the algorithm has been successfully applied to a number of similar nonconvex problems, such as solving Sudoku puzzles. We present two formulations of the nonconvex feasibility problem of finding magic squares, which are inspired by those of Sudoku, and test the Douglas-Rachford algorithm on them.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Data assimilation and online optimization with performance guarantees
Authors:
Dan Li,
Sonia Martinez
Abstract:
This paper considers a class of real-time stochastic optimization problems dependent on an unknown probability distribution. In the considered scenario, data is streaming frequently while trying to reach a decision. Thus, we aim to devise a procedure that incorporates samples (data) of the distribution sequentially and adjusts decisions accordingly. We approach this problem in a distributionally r…
▽ More
This paper considers a class of real-time stochastic optimization problems dependent on an unknown probability distribution. In the considered scenario, data is streaming frequently while trying to reach a decision. Thus, we aim to devise a procedure that incorporates samples (data) of the distribution sequentially and adjusts decisions accordingly. We approach this problem in a distributionally robust optimization framework and propose a novel Online Data Assimilation Algorithm (ONDA Algorithm) for this purpose. This algorithm guarantees out-of-sample performance of decisions with high probability, and gradually improves the quality of the decisions by incorporating the streaming data. We show that the ONDA Algorithm converges under a sufficiently slow data streaming rate, and provide a criteria for its termination after certain number of data have been collected. Simulations illustrate the results.
△ Less
Submitted 30 June, 2020; v1 submitted 17 January, 2019;
originally announced January 2019.
-
A Probabilistic Framework for Moving-Horizon Estimation: Stability and Privacy Guarantees
Authors:
Vishaal Krishnan,
Sonia Martínez
Abstract:
This work proposes a unifying probabilistic framework for the design of robustly asymptotically stable moving-horizon estimators (MHE) for discrete-time nonlinear systems, and a mechanism to incorporate differential privacy in moving-horizon estimation. We begin with an investigation of the classical notion of strong local observability of nonlinear systems and its relationship to optimization-bas…
▽ More
This work proposes a unifying probabilistic framework for the design of robustly asymptotically stable moving-horizon estimators (MHE) for discrete-time nonlinear systems, and a mechanism to incorporate differential privacy in moving-horizon estimation. We begin with an investigation of the classical notion of strong local observability of nonlinear systems and its relationship to optimization-based state estimation. We then present a general moving-horizon estimation framework for strongly locally observable systems, as an iterative minimization scheme in the space of probability measures. This framework allows for the minimization of the estimation cost with respect to different metrics. In particular, we consider two variants, which we name $W_2$-MHE and KL-MHE, where the minimization scheme uses the 2-Wasserstein distance and the KL-divergence, respectively. The $W_2$-MHE yields a gradient-based estimator whereas the KL-MHE yields a particle filter, for which we investigate asymptotic stability and robustness properties. Stability results for these moving-horizon estimators are derived in the probabilistic setting, against the backdrop of the classical notion of strong local observability which, to the best of our knowledge, differentiates it from other previous works. We then propose a mechanism to encode differential privacy of the measurements used by the estimator via an entropy regularization of the MHE objective functional. In particular, we find sufficient bounds on the regularization parameter to achieve the desired level of differential privacy. Numerical simulations demonstrate the performance of these estimators.
△ Less
Submitted 18 December, 2019; v1 submitted 23 December, 2018;
originally announced December 2018.
-
Data-driven Variable Speed Limit Design for Highways via Distributionally Robust Optimization
Authors:
Dan Li,
Dariush Fooladivanda,
Sonia Martinez
Abstract:
This paper introduces an optimization problem (P) and a solution strategy to design variable-speed-limit controls for a highway that is subject to traffic congestion and uncertain vehicle arrival and departure. By employing a finite data-set of samples of the uncertain variables, we aim to find a data-driven solution that has a guaranteed out-of-sample performance. In principle, such formulation l…
▽ More
This paper introduces an optimization problem (P) and a solution strategy to design variable-speed-limit controls for a highway that is subject to traffic congestion and uncertain vehicle arrival and departure. By employing a finite data-set of samples of the uncertain variables, we aim to find a data-driven solution that has a guaranteed out-of-sample performance. In principle, such formulation leads to an intractable problem (P) as the distribution of the uncertainty variable is unknown. By adopting a distributionally robust optimization approach, this work presents a tractable reformulation of (P) and an efficient algorithm that provides a suboptimal solution that retains the out-of-sample performance guarantee. A simulation illustrates the effectiveness of this method.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
A probabilistic analysis of a continuous-time evolution in recombination
Authors:
Ian Letter,
Servet Martínez
Abstract:
We study the continuous-time evolution of the recombination equation of population genetics. This evolution is given by a differential equation that acts on a product probability space, and its solution can be described by a Markov chain on a set of partitions that converges to the finest partition. We study an explicit form of the law of this process by using a family of trees. We also describe t…
▽ More
We study the continuous-time evolution of the recombination equation of population genetics. This evolution is given by a differential equation that acts on a product probability space, and its solution can be described by a Markov chain on a set of partitions that converges to the finest partition. We study an explicit form of the law of this process by using a family of trees. We also describe the geometric decay rate to the finest partition and the quasi-stationary behavior of the Markov chain when conditioned on the event that the chain does not hit the limit.
△ Less
Submitted 16 April, 2020; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Superresolution method for data deconvolution by superposition of point sources
Authors:
Sandra Martínez,
Oscar E. Martínez
Abstract:
In this work we present a new algorithm for data deconvolution that allows the retrieval of the target function with super-resolution with a simple approach that after a precis e measurement of the instrument response function (IRF), the measured data are fit by a superposition of point sources (SUPPOSe) of equal intensity. In this manner only the positions of the sources need to be determined by…
▽ More
In this work we present a new algorithm for data deconvolution that allows the retrieval of the target function with super-resolution with a simple approach that after a precis e measurement of the instrument response function (IRF), the measured data are fit by a superposition of point sources (SUPPOSe) of equal intensity. In this manner only the positions of the sources need to be determined by an algorithm that minimizes the norm of the difference between the measured data and the convolution of the superposed point sources with the IRF. An upper bound for the uncertainty in the position of the sources was derived and two very different experimental situations were used for the test (an optical spectrum and fluorescent microscopy images) showing excellent reconstructions and agreement with the predicted uncertainties, achieving λ/10 resolution for the microscope and a fivefold improvement in the spectral resolution for the spectrometer. The method also provides a way to determine the optimum number of sources to be used for the fit.
△ Less
Submitted 5 December, 2018; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Distributed Approximate Newton Algorithms and Weight Design for Constrained Optimization
Authors:
Tor Anderson,
Chin-Yao Chang,
Sonia Martinez
Abstract:
Motivated by economic dispatch and linearly-constrained resource allocation problems, this paper proposes a class of novel Distributed-Approx Newton algorithms that approximate the standard Newton optimization method. We first develop the notion of an optimal edge weighting for the communication graph over which agents implement the second-order algorithm, and propose a convex approximation for th…
▽ More
Motivated by economic dispatch and linearly-constrained resource allocation problems, this paper proposes a class of novel Distributed-Approx Newton algorithms that approximate the standard Newton optimization method. We first develop the notion of an optimal edge weighting for the communication graph over which agents implement the second-order algorithm, and propose a convex approximation for the nonconvex weight design problem. We next build on the optimal weight design to develop a discrete Distributed Approx-Newton algorithm which converges linearly to the optimal solution for economic dispatch problems with unknown cost functions and relaxed local box constraints. For the full box-constrained problem, we develop a continuous Distributed Approx-Newton algorithm which is inspired by first-order saddle-point methods and rigorously prove its convergence to the primal and dual optimizers. A main property of each of these distributed algorithms is that they only require agents to exchange constant-size communication messages, which lends itself to scalable implementations. Simulations demonstrate that the Distributed Approx-Newton algorithms with our weight design have superior convergence properties compared to existing weighting strategies for first-order saddle-point and gradient descent methods.
△ Less
Submitted 19 November, 2019; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Distributed Online Optimization for Multi-Agent Optimal Transport
Authors:
Vishaal Krishnan,
Sonia Martínez
Abstract:
We propose a scalable, distributed algorithm for the optimal transport of large-scale multi-agent systems. We formulate the problem as one of steering the collective towards a target probability measure while minimizing the total cost of transport, with the additional constraint of distributed implementation. Using optimal transport theory, we realize the solution as an iterative transport based o…
▽ More
We propose a scalable, distributed algorithm for the optimal transport of large-scale multi-agent systems. We formulate the problem as one of steering the collective towards a target probability measure while minimizing the total cost of transport, with the additional constraint of distributed implementation. Using optimal transport theory, we realize the solution as an iterative transport based on a proximal descent scheme. At each stage of the transport, the agents implement an online, distributed primal-dual algorithm to obtain local estimates of the Kantorovich potential for optimal transport from the current distribution of the collective to the target distribution. Using these estimates as their local objective functions, the agents then implement the transport by proximal descent. This two-step process is carried out recursively by the agents to converge asymptotically to the target distribution. We rigorously establish the underlying theoretical framework for the algorithm and test its behavior via numerical experiments.
△ Less
Submitted 30 November, 2022; v1 submitted 4 April, 2018;
originally announced April 2018.
-
Online data assimilation in distributionally robust optimization
Authors:
Dan Li,
Sonia Martinez
Abstract:
This paper considers a class of real-time decision making problems to minimize the expected value of a function that depends on a random variable $ξ$ under an unknown distribution $\mathbb{P}$. In this process, samples of $ξ$ are collected sequentially in real time, and the decisions are made, using the real-time data, to guarantee out-of-sample performance. We approach this problem in a distribut…
▽ More
This paper considers a class of real-time decision making problems to minimize the expected value of a function that depends on a random variable $ξ$ under an unknown distribution $\mathbb{P}$. In this process, samples of $ξ$ are collected sequentially in real time, and the decisions are made, using the real-time data, to guarantee out-of-sample performance. We approach this problem in a distributionally robust optimization framework and propose a novel Online Data Assimilation Algorithm for this purpose. This algorithm guarantees the out-of-sample performance in high probability, and gradually improves the quality of the data-driven decisions by incorporating the streaming data. We show that the Online Data Assimilation Algorithm guarantees convergence under the streaming data, and a criteria for termination of the algorithm after certain number of data has been collected.
△ Less
Submitted 27 March, 2020; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Diffusions from Infinity
Authors:
Vincent Bansaye,
Pierre Collet,
Servet Martinez,
Sylvie Méléard,
Jaime San Martin
Abstract:
In this paper we consider diffusions on the half line (0, $\infty$) such that the expectation of the arrival time at the origin is uniformly bounded in the initial point. This implies that there is a well defined diffusion process starting from infinity, which takes finite values at positive times. We study the behaviour of hitting times of large barriers and in a dual way, the behaviour of the pr…
▽ More
In this paper we consider diffusions on the half line (0, $\infty$) such that the expectation of the arrival time at the origin is uniformly bounded in the initial point. This implies that there is a well defined diffusion process starting from infinity, which takes finite values at positive times. We study the behaviour of hitting times of large barriers and in a dual way, the behaviour of the process starting at infinity for small time. In particular we prove that the process coming down from infinity is in small time governed by a specific deterministic function. Suitably normalized fluctuations of the hitting times are asymptotically Gaussian. We also derive the tail of the distribution of the hitting time of the origin and a Yaglom limit for the diffusion starting from infinity. We finally prove that the distribution of this process killed at the origin is absolutely continuous with respect to the speed measure. The density is expressed in terms of the eigenvalues and eigenfunctions of the generator of the killed diffusion.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
A Note on the Quasi-Stationary Distribution of the Shiryaev Martingale on the Positive Half-Line
Authors:
Aleksey S. Polunchenko,
Servet Martinez,
Jaime San Martin
Abstract:
We obtain a closed-form formula for the quasi-stationary distribution of the classical Shiryaev martingale diffusion considered on the positive half-line $[A,+\infty)$ with $A>0$ fixed; the state space's left endpoint is assumed to be the killing boundary. The formula is obtained analytically as the solution of the appropriate singular Sturm-Liouville problem; the latter was first considered in Se…
▽ More
We obtain a closed-form formula for the quasi-stationary distribution of the classical Shiryaev martingale diffusion considered on the positive half-line $[A,+\infty)$ with $A>0$ fixed; the state space's left endpoint is assumed to be the killing boundary. The formula is obtained analytically as the solution of the appropriate singular Sturm-Liouville problem; the latter was first considered in Section 7.8.2 of Collet et al. (2013), but has heretofore remained unsolved.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
Maximizing Algebraic Connectivity of Constrained Graphs in Adversarial Environments
Authors:
Tor Anderson,
Chin-Yao Chang,
Sonia Martinez
Abstract:
This paper aims to maximize algebraic connectivity of networks via topology design under the presence of constraints and an adversary. We are concerned with three problems. First, we formulate the concave maximization topology design problem of adding edges to an initial graph, which introduces a nonconvex binary decision variable, in addition to subjugation to general convex constraints on the fe…
▽ More
This paper aims to maximize algebraic connectivity of networks via topology design under the presence of constraints and an adversary. We are concerned with three problems. First, we formulate the concave maximization topology design problem of adding edges to an initial graph, which introduces a nonconvex binary decision variable, in addition to subjugation to general convex constraints on the feasible edge set. Unlike previous methods, our method is justifiably not greedy and capable of accommodating these additional constraints. We also study a scenario in which a coordinator must selectively protect edges of the network from a chance of failure due to a physical disturbance or adversarial attack. The coordinator needs to strategically respond to the adversary's action without presupposed knowledge of the adversary's feasible attack actions. We propose three heuristic algorithms for the coordinator to accomplish the objective and identify worst-case preventive solutions. Each algorithm is shown to be effective in simulation and we provide some discussion on their compared performance.
△ Less
Submitted 11 November, 2017;
originally announced November 2017.
-
Virtual-Voltage Partition-Based Approach to Optimal Transmission Switching
Authors:
Chin-Yao Chang,
Sonia Martinez,
Jorge Cortes
Abstract:
This paper deals with optimal transmission switching (OTS) problems involving discrete binary decisions about network topology and non-convex power flow constraints. We adopt a semidefinite programming formulation for the OPF problem which, however, remains nonconvex due to the presence of discrete variables and bilinear products between the decision variables. To tackle the latter, we introduce a…
▽ More
This paper deals with optimal transmission switching (OTS) problems involving discrete binary decisions about network topology and non-convex power flow constraints. We adopt a semidefinite programming formulation for the OPF problem which, however, remains nonconvex due to the presence of discrete variables and bilinear products between the decision variables. To tackle the latter, we introduce a novel physically-inspired, virtual-voltage approximation that leads to provable lower and upper bounds on the solution of the original problem. To deal with the exponential complexity caused by the discrete variables, we introduce a graph partition-based algorithm which breaks the problem into several parallel mixed-integer subproblems of smaller size. Simulations demonstrate the high degree of accuracy and affordable computational requirements of our approach.
△ Less
Submitted 23 July, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Scheduled-Asynchronous Distributed Algorithm for Optimal Power Flow
Authors:
Chin-Yao Chang,
Jorge Cortes,
Sonia Martinez
Abstract:
Optimal power flow (OPF) problems are non-convex and large-scale optimization problems with important applications in power networks. This paper proposes the scheduled-asynchronous algorithm to solve a distributed semidefinite programming (SDP) formulation of the OPF problem. In this formulation, every agent seeks to solve a local optimization with its own cost function, physical constraints on it…
▽ More
Optimal power flow (OPF) problems are non-convex and large-scale optimization problems with important applications in power networks. This paper proposes the scheduled-asynchronous algorithm to solve a distributed semidefinite programming (SDP) formulation of the OPF problem. In this formulation, every agent seeks to solve a local optimization with its own cost function, physical constraints on its nodal power injection, voltage, and power flow of the lines it is connected to, and decision constraints on variables shared with neighbors to ensure consistency of the obtained solution. In the scheduled-asynchronous algorithm, every pair of connected nodes in the electrical network update their local variables in an alternating fashion. This strategy is asynchronous, in the sense that no clock synchronization is required, and relies on an orientation of the electrical network that prescribes the precise ordering of node updates. We establish the asymptotic convergence properties to the primal-dual optimizer when the orientation is acyclic. Given the dependence of the convergence rate on the network orientation, we also develop a distributed graph coloring algorithm that finds an orientation with diameter at most five for electrical networks with geometric degree distribution. Simulations illustrate our results on various IEEE bus test cases.
△ Less
Submitted 8 October, 2017;
originally announced October 2017.
-
Identification of critical nodes in large-scale spatial networks
Authors:
Vishaal Krishnan,
Sonia Martínez
Abstract:
The notion of network connectivity is used to characterize the robustness and failure tolerance of networks, with high connectivity being a desirable feature. In this paper, we develop a novel approach to the problem of identifying critical nodes in large-scale networks, with algebraic connectivity (the second smallest eigenvalue of the graph Laplacian) as the chosen metric. Employing a graph-embe…
▽ More
The notion of network connectivity is used to characterize the robustness and failure tolerance of networks, with high connectivity being a desirable feature. In this paper, we develop a novel approach to the problem of identifying critical nodes in large-scale networks, with algebraic connectivity (the second smallest eigenvalue of the graph Laplacian) as the chosen metric. Employing a graph-embedding technique, we reduce the class of considered weight-balanced graphs to spatial networks with uniformly distributed nodes and nearest-neighbors communication topologies. Through a continuum approximation, we consider the Laplace operator on a manifold (with the Neumann boundary condition) as the limiting case of the graph Laplacian. We then reduce the critical node set identification problem to that of finding a ball of fixed radius, whose removal minimizes the second (Neumann) eigenvalue of the Laplace operator on the residual domain. This leads us to consider two functional and nested optimization problems. Resorting to the min-max theorem, we first treat the problem of determining the second smallest eigenvalue for a fixed domain by minimizing an energy functional. We then obtain a projected gradient flow that converges to the set of points satisfying the KKT conditions and prove that the only locally asymptotically stable critical point is the second eigenfunction of the Laplace operator. Building on these results, we consider the critical ball identification problem and construct a dynamics to converge asymptotically to these points. Finally, we provide a characterization of the location of critical nodes (for infinitesimally-small balls) as those points which belong to the nodal set of the second eigenfunction of the Laplace operator.
△ Less
Submitted 25 October, 2019; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Regenerative processes for Poisson zero polytopes
Authors:
Servet Martínez,
Werner Nagel
Abstract:
Let $(M_t: t > 0)$ be a Markov process of tessellations of ${\mathbb R}^\ell$ and $({\cal C}_t:\, t > 0)$ the process of their zero cells (zero polytopes) which has the same distribution as the corresponding process for Poisson hyperplane tessellations. Let $a>1$. Here we describe the stationary zero cell process $(a^t {\cal C}_{a^t}:\, t\in {\mathbb R})$ in terms of some regenerative structure an…
▽ More
Let $(M_t: t > 0)$ be a Markov process of tessellations of ${\mathbb R}^\ell$ and $({\cal C}_t:\, t > 0)$ the process of their zero cells (zero polytopes) which has the same distribution as the corresponding process for Poisson hyperplane tessellations. Let $a>1$. Here we describe the stationary zero cell process $(a^t {\cal C}_{a^t}:\, t\in {\mathbb R})$ in terms of some regenerative structure and we prove that it is a Bernoulli flow. An important application are the STIT tessellation processes.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
Distributed Control for Spatial Self-Organization of Multi-Agent Swarms
Authors:
Vishaal Krishnan,
Sonia Martínez
Abstract:
In this work, we design distributed control laws for spatial self-organization of multi-agent swarms in 1D and 2D spatial domains. The objective is to achieve a desired density distribution over a simply-connected spatial domain. Since individual agents in a swarm are not themselves of interest and we are concerned only with the macroscopic objective, we view the network of agents in the swarm as…
▽ More
In this work, we design distributed control laws for spatial self-organization of multi-agent swarms in 1D and 2D spatial domains. The objective is to achieve a desired density distribution over a simply-connected spatial domain. Since individual agents in a swarm are not themselves of interest and we are concerned only with the macroscopic objective, we view the network of agents in the swarm as a discrete approximation of a continuous medium and design control laws to shape the density distribution of the continuous medium. The key feature of this work is that the agents in the swarm do not have access to position information. Each individual agent is capable of measuring the current local density of agents and can communicate with its spatial neighbors. The network of agents implement a Laplacian-based distributed algorithm, which we call pseudo-localization, to localize themselves in a new coordinate frame, and a distributed control law to converge to the desired spatial density distribution. We start by studying self-organization in one-dimension, which is then followed by the two-dimensional case.
△ Less
Submitted 13 August, 2018; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Weight Design of Distributed Approximate Newton Algorithms for Constrained Optimization
Authors:
Tor Anderson,
Chin-Yao Chang,
Sonia Martinez
Abstract:
Motivated by economic dispatch and linearly-constrained resource allocation problems, this paper proposes a novel Distributed Approx-Newton algorithm that approximates the standard Newton optimization method. A main property of this distributed algorithm is that it only requires agents to exchange constant-size communication messages. The convergence of this algorithm is discussed and rigorously a…
▽ More
Motivated by economic dispatch and linearly-constrained resource allocation problems, this paper proposes a novel Distributed Approx-Newton algorithm that approximates the standard Newton optimization method. A main property of this distributed algorithm is that it only requires agents to exchange constant-size communication messages. The convergence of this algorithm is discussed and rigorously analyzed. In addition, we aim to address the problem of designing communication topologies and weightings that are optimal for second-order methods. To this end, we propose an effective approximation which is loosely based on completing the square to address the NP-hard bilinear optimization involved in the design. Simulations demonstrate that our proposed weight design applied to the Distributed Approx-Newton algorithm has a superior convergence property compared to existing weighted and distributed first-order gradient descent methods.
△ Less
Submitted 22 March, 2017;
originally announced March 2017.