SearcharxivSearch

arXiv subjects

Nicos Georgiou

Publications and source records attributed to Nicos Georgiou.

At least 19 recordsLinked to original sources

Convergence of an algorithm for constructing Lyapunov functions for switched systems using meshfree collocation

Switched systems are a class of dynamical systems where trajectories switch between different systems based on a switching rule. This rule can depend on time and/or the position of the trajectory in the state space. The existence of a Lyapunov function implies the existence of a uniformly asymptotically stable equilibrium point at the origin, which we prove in this paper. A method to construct Lyapunov functions for switched systems using meshfree collocation and quadratic programming was described in a related article. We prove that, under suitable assumptions, the algorithm described in this previous work converges as the fill distance between the collocation points tends to zero.

math.DS

Construction of Lyapunov Functions for Switched Systems using Meshfree Collocation

Switched systems are a family of dynamical systems where a switching rule indicates which system is "switched on". This rule can be dependent on time and/or position in the state space. Stability of switched systems is a property that is often investigated using the existence of one (or multiple) Lyapunov function(s). We develop an algorithm using a scattered approximation method to construct a Lyapunov function for switched systems, accompanied with stability results. The construction adapts a previous method for autonomous ODEs that uses meshfree collocation and quadratic programming.

math.DS

Hydrodynamic limits for TASEP with space-time discontinuities

We develop a hydrodynamic theory for a height-dependent version of the totally asymmetric simple exclusion process in which the jump rate at a growth site is sampled from a macroscopic two-dimensional speed function evaluated at the spatial coordinate and the current height level. The speed function is allowed to have discontinuities along locally finitely many curves. Through the TASEP height-function representation, the process is coupled to an inhomogeneous directed last-passage percolation model whose exponential rates vary discontinuously in the two macroscopic LPP coordinates. Combining the law of large numbers for this last-passage model with an extension of the variational coupling method, we prove a hydrodynamic limit for the height function and for the associated particle density. The limiting current is characterised by a Lax-Oleinik type variational formula built from the discontinuous last-passage shape function. We then identify the first-order PDE structure selected by the microscopic dynamics. At points of differentiability of the limiting current and continuity of the sampled coefficient, the current solves a Hamilton-Jacobi equation whose Hamiltonian depends discontinuously on the spatial variable and on the value of the solution itself. At discontinuities, the variational formula leads to a natural envelope-based discontinuous viscosity formulation, and we prove that the limiting current satisfies this formulation. Finally, when the coefficient has only spatial discontinuities, we prove uniqueness of the Hamilton-Jacobi solution in the natural class of nondecreasing Lipschitz currents, and identify its spatial derivative as the maximal-current weak solution of the associated scalar conservation law with discontinuous flux.

math.PR

Likelihood-based inference for birth-death processes with composite birth mechanisms

We develop a likelihood-based inference for finite-state birth-death processes with composite birth rates, in which multiple distinct mechanisms contribute additively to the total birth intensity. Our main motivating example is an SIS epidemic model with pairwise and higher-order transmission. The process is observed through a single aggregate trajectory, and in the main setting of interest, birth events are unmarked. This creates a deconvolution problem in event space: the state is one-dimensional, but the mechanism underlying each birth is latent. We formulate the inference under a Doob $h$-transformed $Q$-process, which is time-homogeneous and ergodic and which provides a time-homogeneous asymptotic surrogate for the law of the original process conditioned on long survival. We derive the corresponding conditional likelihood and study both the conditional maximum likelihood estimator and a quasi-maximum likelihood estimator which is based on a simplified working score. Under the Doob-transform law, we prove consistency and asymptotic normality for both estimators, with asymptotic covariance determined by the inverse Fisher and inverse Godambe information matrices, respectively. We also showcase a practical one-dimensional test for the presence of a specific higher-order birth mechanism.

math.ST

A restless time-fractional multiclass queue

We study a single-server priority queue with a finite number of classes, in which the arrivals follow a fractional Poisson process of index $α\in (0,1]$ and the service completions are triggered by an independent fractional Poisson process of index $β\in (0,1]$. Each of the customers arriving is assigned at random to one of the priority classes. This assignment is independent of the rest of the system and follows a fixed probability distribution. Using a time-change representation of a fractional Poisson process, we first give a multinomial thinning decomposition: the total number of arrivals in each class are independent standard Poisson processes of appropriate intensities, time-changed by a common independent random clock that is the inverse of an $α$-stable subordinator. This yields a process-level law of large numbers and a functional central limit theorem for the process of arrivals. For the queueing system itself, we identify process-level scaling limits for the cumulative and individual queue lengths of the classes. We also prove that the queue gets empty infinitely often when $α\le β$, which does include the critical case $α= β$. A final example shows how the model can be extended to a continuum of classes.

math.PR

Coupling derivation of optimal-order central moment bounds in exponential last-passage percolation

We introduce new probabilistic arguments to derive optimal-order central moment bounds in planar directed last-passage percolation. Our technique is based on couplings with the increment-stationary variants of the model, and is presented in the context of i.i.d. exponential weights for both zero and near-stationary boundary conditions. A main technical novelty in our approach is a new proof of the left-tail fluctuation upper bound with exponent 3/2 for the last-passage times.

math.PR

The TASEP on Galton-Watson trees

We study the totally asymmetric simple exclusion process (TASEP) on trees where particles are generated at the root. Particles can only jump away from the root, and they jump from $x$ to $y$ at rate $r_{x,y}$ provided $y$ is empty. Starting from the all empty initial condition, we show that the distribution of the configuration at time $t$ converges to an equilibrium. We study the current and give conditions on the transition rates such that the current is of linear order or such that there is zero current, i.e. the particles block each other. A key step, which is of independent interest, is to bound the first generation at which the particle trajectories of the first $n$ particles decouple.

math.PR

Insights from exact social contagion dynamics on networks with higher-order structures

Recently there has been an increasing interest in studying dynamical processes on networks exhibiting higher-order structures, such as simplicial complexes, where the dynamics acts above and beyond dyadic interactions. Using simulations or heuristically derived epidemic spreading models it was shown that new phenomena can emerge, such as bi-stability/multistability. Here, we show that such new emerging phenomena do not require complex contact patterns, such as community structures, but naturally result from the higher-order contagion mechanisms. We show this by deriving an exact higher-order SIS model and its limiting mean-field equivalent for fully connected simplicial complexes. Going beyond previous results, we also give the global bifurcation picture for networks with 3- and 4-body interactions, with the latter allowing for two non-trivial stable endemic steady states. Differently from previous approaches, we are able to study systems featuring interactions of arbitrary order. In addition, we characterise the contributions from higher-order infections to the endemic equilibrium as perturbations of the pairwise baseline, finding that these diminish as the pairwise rate of infection increases. Our approach represents a first step towards a principled understanding of higher-order contagion processes beyond triads and opens up further directions for analytical investigations.

physics.soc-ph

Queuing models with Mittag-Leffler inter-event times

We study three non-equivalent queueing models in continuous time that each generalise the classical M/M/1 queue in a different way. Inter-event times in all models are Mittag-Leffler distributed, which is a heavy tail distribution with no moments. For each of the models we answer the question of the queue being at zero infinitely often (the `recurrence' or `stable' regime) or not (the transient regime). Aside from this question, the different analytical properties of each models allow us to answer a number of questions such as existence and description of equilibrium distributions, mixing times, asymptotic behaviour of return probabilities and moments and functional limit theorems.

math.PR

Bounds for mixing times for finite semi-Markov processes with heavy-tail jump distribution

Consider a Markov chain with finite state space and suppose you wish to change time replacing the integer step index $n$ with a random counting process $N(t)$. What happens to the mixing time of the Markov chain? We present a partial reply in a particular case of interest in which $N(t)$ is a counting renewal process with power-law distributed inter-arrival times of index $β$. We then focus on $β\in (0,1)$, leading to infinite expectation for inter-arrival times and further study the situation in which inter-arrival times follow the Mittag-Leffler distribution of order $β$.

math.PR

A stylized model for wealth distribution

The recent book by T. Piketty (Capital in the Twenty-First Century) promoted the important issue of wealth inequality. In the last twenty years, physicists and mathematicians developed models to derive the wealth distribution using discrete and continuous stochastic processes (random exchange models) as well as related Boltzmann-type kinetic equations. In this literature, the usual concept of equilibrium in Economics is either replaced or completed by statistical equilibrium. In order to illustrate this activity with a concrete example, we present a stylised random exchange model for the distribution of wealth. We first discuss a fully discrete version (a Markov chain with finite state space). We then study its discrete-time continuous-state-space version and we prove the existence of the equilibrium distribution. Finally, we discuss the connection of these models with Boltzmann-like kinetic equations for the marginal distribution of wealth. This paper shows in practice how it is possible to start from a finitary description and connect it to continuous models following Boltzmann's original research program.

math.PR

Continuum and thermodynamic limits for a simple random-exchange model

We discuss various limits of a simple random exchange model that can be used for the distribution of wealth. We start from a discrete state space - discrete time version of this model and, under suitable scaling, we show its functional convergence to a continuous space - discrete time model. Then, we show a thermodynamic limit of the empirical distribution to the solution of a kinetic equation of Boltzmann type. We solve this equation and we show that the solutions coincide with the appropriate limits of the invariant measure for the Markov chain. In this way we complete Boltzmann's program of deriving kinetic equations from random dynamics for this simple model. Three families of invariant measures for the mean field limit are discovered and we show that only two of those families can be obtained as limits of the discrete system and the third is extraneous. Finally, we cast our results in the framework of integer partitions and strengthen some results already available in the literature.

math.PR

Theoretical and numerical considerations of the assumptions behind triple closures in epidemic models on networks

Networks are widely used to model the contact structure within a population and in the resulting models of disease spread. While networks provide a high degree of realism, the analysis of the exact model is out of reach and even numerical methods fail for modest network size. Hence, mean-field models (e.g. pairwise) focusing on describing the evolution of some summary statistics from the exact model gained a lot of traction over the last few decades. In this paper we revisit the problem of deriving triple closures for pairwise models and we investigate in detail the assumptions behind some of the well-known closures as well as their validity. Using a top-down approach we start at the level of the entire graph and work down to the level of triples and combine this with information around nodes and pairs. We use our approach to derive many of the existing closures and propose new ones and theoretically connect the two well-studied models of multinomial link and Poisson link selection. The theoretical work is backed up by numerical examples to highlight where the commonly used assumptions may fail and provide some recommendations for how to choose the most appropriate closure when using graphs with no or modest degree heterogeneity.

q-bio.QM

A new method for the robust characterisation of pairwise statistical dependency between point processes

The robust detection of statistical dependencies between the components of a complex system is a key step in gaining a network-based understanding of the system. Because of their simplicity and low computation cost, pairwise statistics are commonly used in a variety of fields. Those approaches, however, typically suffer from one or more limitations such as lack of confidence intervals requiring reliance on surrogate data, sensitivity to binning, sparsity of the signals, or short duration of the records. In this paper we develop a method for assessing pairwise dependencies in point processes that overcomes these challenges. Given two point processes $X$ and $Y$ each emitting a given number of events $m$ and $n$ in a fixed period of time $T$, we derive exact analytical expressions for the expected value and standard deviation of the number of pairs events $X_i,Y_j$ separated by a delay of less than $τ$ one should expect to observe if $X$ and $Y$ were i.i.d. uniform random variables. We prove that this statistic is normally distributed in the limit of large $T$, which enables the definition of a Z-score characterising the likelihood of the observed number of coincident events happening by chance. We numerically confirm the analytical results and show that the property of normality is robust in a wide range of experimental conditions. We then experimentally demonstrate the predictive power of the method using a noisy version of the common shock model. Our results show that our approach has excellent behaviour even in scenarios with low event density and/or when the recordings are short.

math.ST

A Large deviation principle for last passage times in an asymmetric Bernoulli potential

We prove a large deviation principle and give an expression for the rate function, for the last passage time in a Bernoulli environment. The model is exactly solvable and its invariant version satisfies a Burke-type property. Finally, we compute explicit limiting logarithmic moment generating functions for both the classical and the invariant models. The shape function of this model exhibits a flat edge in certain directions, and we also discuss the rate function and limiting log-moment generating functions in those directions.

math.PR

Last passage percolation in an exponential environment with discontinuous rates

We prove a strong law of large numbers for directed last passage times in an independent but inhomogeneous exponential environment. Rates for the exponential random variables are obtained from a discretisation of a speed function that may be discontinuous on a locally finite set of discontinuity curves. The limiting shape is cast as a variational formula that maximises a certain functional over a set of weakly increasing curves. Using this result, we present two examples that allow for partial analytical tractability and show that the shape function may not be strictly concave, and it may exhibit points of non-differentiability, flat segments, and non-uniqueness of the optimisers of the variational formula. Finally, in a specific example, we analyse further the macroscopic optimisers and uncover a phase transition for their behaviour.

math.PR

Optimality Regions and Fluctuations for Bernoulli Last Passage Models

We study the sequence alignment problem and its independent version, the discrete Hammersley process with an exploration penalty. We obtain rigorous upper bounds for the number of optimality regions in both models near the soft edge. At zero penalty the independent model becomes an exactly solvable model and we identify cases for which the law of the last passage time converges to a Tracy-Widom law.

math.PR

The Mathematics of Human Contact: Developing a Model for Social Interaction in School Children

In this paper, we provide a statistical analysis of high-resolution contact pattern data within primary and secondary schools as collected by the SocioPatterns collaboration. Students are graphically represented as nodes in a temporally evolving network, in which links represent proximity or interaction between students. This article focuses on link- and node-level statistics, such as the on- and off-durations of links as well as the activity potential of nodes and links. Parametric models are fitted to the on- and off-durations of links, inter-event times and node activity potentials and, based on these, we propose a number of theoretical models that are able to reproduce the collected data within varying levels of accuracy. By doing so, we aim to identify the minimal network-level properties that are needed to closely match the real-world data, with the aim of combining this contact pattern model with epidemic models in future work.

physics.soc-ph