-
Last passage percolation and limit theorems in Barak-Erdős directed random graphs and related models
Authors:
Sergey Foss,
Takis Konstantopoulos,
Bastien Mallein,
Sanjay Ramassamy
Abstract:
We consider directed random graphs, the prototype of which being the Barak-Erdős graph $\overrightarrow G(\mathbb Z, p)$, and study the way that long (or heavy, if weights are present) paths grow. This is done by relating the graphs to certain particle systems that we call Infinite Bin Models (IBM). A number of limit theorems are shown. The goal of this paper is to present results along with techn…
▽ More
We consider directed random graphs, the prototype of which being the Barak-Erdős graph $\overrightarrow G(\mathbb Z, p)$, and study the way that long (or heavy, if weights are present) paths grow. This is done by relating the graphs to certain particle systems that we call Infinite Bin Models (IBM). A number of limit theorems are shown. The goal of this paper is to present results along with techniques that have been used in this area. In the case of $\overrightarrow G(\mathbb Z, p)$ the last passage percolation constant $C(p)$ is studied in great detail. It is shown that $C(p)$ is analytic for $p>0$, has an interesting asymptotic expansion at $p=1$ and that $C(p)/p$ converges to $e$ like $1/(\log p)^2$ as $p \to 0$. The paper includes the study of IBMs as models on their own as well as their connections to stochastic models of branching processes in continuous or discrete time with selection. Several proofs herein are new or simplified versions of published ones. Regenerative techniques are used where possible, exhibiting random sets of vertices over which the graphs regenerate. When edges have random weights we show how the last passage percolation constants behave and when central limit theorems exist. When the underlying vertex set is partially ordered, new phenomena occur, e.g., there are relations with last passage Brownian percolation. We also look at weights that may possibly take negative values and study in detail some special cases that require combinatorial/graph theoretic techniques that exhibit some interesting non-differentiability properties of the last passage percolation constant. We also explain how to approach the problem of estimation of last passage percolation constants by means of perfect simulation.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
A new class of solutions to the van Dantzig problem, the Lee-Yang property, and the Riemann hypothesis
Authors:
T. Konstantopoulos,
P. Patie,
R. Sarkar
Abstract:
The purpose of this paper is to carry out an in-depth analysis of the intriguing van Dantzig problem which consists on characterizing the set $\mathbb{D}$ of analytic characteristic functions $\mathcal{F}$ which remains stable by the action of the map** $V\mathcal{F}(t)=1/\mathcal{F}(it)$, $t\in\mathbb{R}$. % is also a characteristic function. We start by observing that the celebrated Lee-Yang p…
▽ More
The purpose of this paper is to carry out an in-depth analysis of the intriguing van Dantzig problem which consists on characterizing the set $\mathbb{D}$ of analytic characteristic functions $\mathcal{F}$ which remains stable by the action of the map** $V\mathcal{F}(t)=1/\mathcal{F}(it)$, $t\in\mathbb{R}$. % is also a characteristic function. We start by observing that the celebrated Lee-Yang property, appearing in statistical mechanics and quantum field theory, and the Riemann hypothesis can be both rephrased in terms of the van Dantzig problem, and, more specifically, in terms of the set $\mathbb{D}_L \subset \mathbb{D}$ of real-valued characteristic functions that belong to the Laguerre-Pólya class. Motivated by these facts, we proceed by identifying several non-trivial closure properties of the set $\mathbb{D}$ and $\mathbb{D}_L$. This not only revisits but also, by means of probabilistic techniques, deepens the fascinating studies of the set of even characteristic functions in the Laguerre-Pólya class carried out by Pólya, de Bruijn, Lukacs, Newman and more recently by Newman and Wu, among others. We continue by providing a new class of entire functions that belong to the set $\mathbb{D}$ but not necessarily to $\mathbb{D}_L$, offering the first examples outside the set $\mathbb{D}_L$. This class, which is derived from some entire functions introduced by the second author, is in bijection with a subset of continuous negative-definite functions and includes several notable generalized hypergeometric-type functions. Besides identifying the characteristic functions, we also manage to characterize the pair of the corresponding van Dantzig random variables revealing that one of them is infinitely divisible. Finally, we investigate the possibility that the Riemann $ξ$ function belongs to this class.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Estimation of the last passage percolation constant in a charged complete directed acyclic graph via perfect simulation
Authors:
Sergey Foss,
Takis Konstantopoulos,
Bastien Mallein,
Sanjay Ramassamy
Abstract:
Our object of study is the asymptotic growth of heaviest paths in a charged (weighted with signed weights) complete directed acyclic graph. Edge charges are i.i.d. random variables with common distribution $F$ supported on $[-\infty,1]$ with essential supremum equal to $1$ (a charge of $-\infty$ is understood as the absence of an edge). The asymptotic growth rate is a constant that we denote by…
▽ More
Our object of study is the asymptotic growth of heaviest paths in a charged (weighted with signed weights) complete directed acyclic graph. Edge charges are i.i.d. random variables with common distribution $F$ supported on $[-\infty,1]$ with essential supremum equal to $1$ (a charge of $-\infty$ is understood as the absence of an edge). The asymptotic growth rate is a constant that we denote by $C(F)$. Even in the simplest case where $F=pδ_1 + (1-p)δ_{-\infty}$, corresponding to the longest path in the Barak-Erdős random graph, there is no closed-form expression for this function, but good bounds do exist. In this paper we construct a Markovian particle system that we call "Max Growth System" (MGS), and show how it is related to the charged random graph. The MGS is a generalization of the Infinite Bin Model that has been the object of study of a number of papers. We then identify a random functional of the process that admits a stationary version and whose expectation equals the unknown constant $C(F)$. Furthermore, we construct an effective perfect simulation algorithm for this functional which produces samples from the random functional.
△ Less
Submitted 27 September, 2023; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Age of Information for Small Buffer Systems
Authors:
George Kesidis,
Takis Konstantopoulos,
Michael Zazanis
Abstract:
Consider a message processing system whose objective is to produce the most current information as measured by the quantity known as "age of information". We have argued in previous papers that if we are allowed to design the message processing policy ad libitum, we should keep a small buffer and operate according to a LIFO policy. In this small note we provide an analysis for the AoI of the P_m s…
▽ More
Consider a message processing system whose objective is to produce the most current information as measured by the quantity known as "age of information". We have argued in previous papers that if we are allowed to design the message processing policy ad libitum, we should keep a small buffer and operate according to a LIFO policy. In this small note we provide an analysis for the AoI of the P_m system which uses a buffer of size m, a single server, operating without service preemption and in a LIFO manner for stored messages. Analytical expressions for the mean (or even distribution) of the AoI in steady-state are possible but with the aid computer algebra. We explain the the analysis for m=3.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
Age of information distribution under dynamic service preemption
Authors:
George Kesidis,
Takis Konstantopoulos,
Michael A. Zazanis
Abstract:
Age of Information (AoI) has emerged as an important quality-of-service measure for applications that prioritize delivery of the freshest information, e.g., virtual or augmented reality over mobile devices and wireless sensor networks used in the control of cyber-physical systems. We derive the Laplace transform of the stationary AoI for the M/GI/1/2 system with a "dynamic" service preemption and…
▽ More
Age of Information (AoI) has emerged as an important quality-of-service measure for applications that prioritize delivery of the freshest information, e.g., virtual or augmented reality over mobile devices and wireless sensor networks used in the control of cyber-physical systems. We derive the Laplace transform of the stationary AoI for the M/GI/1/2 system with a "dynamic" service preemption and pushout policy depending on the existing service time of the in-service message. Thus, our system generalizes both the static M/GI/1/2 queue-pushout system without service preemption and the M/GI/1/1 bufferless system with service preemption - two systems considered to provide very good AoI performance. Based on our analysis, for a service-time distribution that is a mixture of deterministic and exponential, we numerically show that the dynamic policy has lower mean AoI than that of these two static policies and also that of the well studied M/GI/1/1 blocking system.
△ Less
Submitted 17 October, 2021; v1 submitted 22 April, 2021;
originally announced April 2021.
-
Age of information without service preemption
Authors:
George Kesidis,
Takis Konstantopoulos,
Michael A. Zazanis
Abstract:
When designing a message transmission system, from the point of view of making sure that the information transmitted is as fresh as possible, two rules of thumb seem reasonable: use small buffers and adopt a last-in-first-out policy. In this paper, we measure freshness of information using the "age of information" performance measure. Considering it as a stochastic process operating in a stationar…
▽ More
When designing a message transmission system, from the point of view of making sure that the information transmitted is as fresh as possible, two rules of thumb seem reasonable: use small buffers and adopt a last-in-first-out policy. In this paper, we measure freshness of information using the "age of information" performance measure. Considering it as a stochastic process operating in a stationary regime, we compute not just the first moment but the whole marginal distribution of the age of information (something important in applications) for two well-performing systems. In neither case do we allow for preemption of the message being processed because this may be difficult to implement in practice. We assume that the arrival process is Poisson and that the messages have independent sizes (service times) with common distribution. We use Palm and Markov-renewal theory to derive explicit results for Laplace transforms. In particular, this approach can be used to analyze more complex last-in-first-out systems with larger buffer sizes.
△ Less
Submitted 17 October, 2021; v1 submitted 16 April, 2021;
originally announced April 2021.
-
Limit theorems for the maximal path weight in a directed graph on the line with random weights of edges
Authors:
S. Foss,
T. Konstantopoulos,
A. Logachev,
A. Mogulski
Abstract:
We consider the infinite directed graph with vertices the set of integers ...,-2,-1,0,1,2,... . Let v be a random variable taking either finite values or value "minus infinity". Consider random weights v(j,k), indexed by pairs (j,k) of integers with j<k, and assume that they are i.i.d. copies of v. The set of edges of the graph is the set (j,k), j<k. A path in the graph from vertex j to vertex k,…
▽ More
We consider the infinite directed graph with vertices the set of integers ...,-2,-1,0,1,2,... . Let v be a random variable taking either finite values or value "minus infinity". Consider random weights v(j,k), indexed by pairs (j,k) of integers with j<k, and assume that they are i.i.d. copies of v. The set of edges of the graph is the set (j,k), j<k. A path in the graph from vertex j to vertex k, j<k, is a finite sequence of edges (j(0), j(1)), (j(1), j(2)), ..., (j(m-1), j(m)) with j(0)=j and j(m)=j; the weight of this path is taken to be the sum v(j(0),j(1))+v(j(1),j(2))+...+v(j(m-1),j(m)) of the weights of its edges. Let w(0,n) be the maximal weight of all paths from 0 to n. We study the asymptotic behaviour of the sequence w(0,n), n=1, 2, ..., as n tends to infinity, under the assumptions that P(v>0)>0, the conditional distribution of v, given v>0, is not degenerate, and that E exp(Cv) is finite, for some C>0. We derive local limit theorems in the normal and moderate large deviations regimes in the case where v has an arithmetic distribution. We also derive an integro-local theorem in the case where v has a non-lattice distribution.
△ Less
Submitted 29 September, 2021; v1 submitted 19 November, 2020;
originally announced November 2020.
-
Probabilistic and analytical properties of the last passage percolation constant in a weighted random directed graph
Authors:
Sergey Foss,
Takis Konstantopoulos,
Artem Pyatkin
Abstract:
To each edge (i,j), i<j of the complete directed graph on the integers we assign unit weight with probability p or weight x with probability 1-p, independently from edge to edge, and give to each path weight equal to the sum of its edge weights. If W^x_{0,n} is the maximum weight of all paths from 0 to n then W^x_{0,n}/n \to C_p(x), as n\to\infty, almost surely, where C_p(x) is positive and determ…
▽ More
To each edge (i,j), i<j of the complete directed graph on the integers we assign unit weight with probability p or weight x with probability 1-p, independently from edge to edge, and give to each path weight equal to the sum of its edge weights. If W^x_{0,n} is the maximum weight of all paths from 0 to n then W^x_{0,n}/n \to C_p(x), as n\to\infty, almost surely, where C_p(x) is positive and deterministic. We study C_p(x) as a function of x, for fixed 0<p<1 and show that it is a strictly increasing convex function that is not differentiable if and only if x is a nonpositive rational or a positive integer except 1 or the reciprocal of it. We allow x to be any real number, even negative, or, possibly, -\infty. The case x=-\infty corresponds to the well-studied directed version of the Erd"os-R'enyi random graph (known as Barak-Erd"os graph) for which C_p(-\infty) = lim_{x\to -\infty} C_p(x) has been studied as a function of p in a number of papers.
△ Less
Submitted 28 June, 2022; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Does the ratio of Laplace transforms of powers of a function identify the function?
Authors:
Takis Konstantopoulos,
Linglong Yuan
Abstract:
We study the following question: if $f$ is a nonzero measurable function on $[0,\infty)$ and $m$ and $n$ distinct nonnegative integers, does the ratio $\widehat{f^n}/\widehat{f^m}$ of the Laplace transforms of the powers $f^n$ and $f^m$ of $f$ uniquely determine $f$? The answer is yes if one of $m, n$ is zero, by the inverse Laplace transform. Under some assumptions on the smoothness of $f$ we sho…
▽ More
We study the following question: if $f$ is a nonzero measurable function on $[0,\infty)$ and $m$ and $n$ distinct nonnegative integers, does the ratio $\widehat{f^n}/\widehat{f^m}$ of the Laplace transforms of the powers $f^n$ and $f^m$ of $f$ uniquely determine $f$? The answer is yes if one of $m, n$ is zero, by the inverse Laplace transform. Under some assumptions on the smoothness of $f$ we show that the answer in the general case is also affirmative. The question arose from a problem in economics, specifically in auction theory where $f$ is the cumulative distribution function of a certain random variable. This is also discussed in the paper.
△ Less
Submitted 10 September, 2020; v1 submitted 4 September, 2019;
originally announced September 2019.
-
The log-Sobolev inequality for spin systems of higher order interactions
Authors:
Takis Konstantopoulos,
Ioannis Papageorgiou
Abstract:
We study the infinite-dimensional log-Sobolev inequality for spin systems on $\mathbb{Z}^d$ with interactions of power higher than quadratic. We assume that the one site measure without a boundary $e^{-φ(x)}dx/Z$ satisfies a log-Sobolev inequality and we determine conditions so that the infinite-dimensional Gibbs measure also satisfies the inequality. As a concrete application, we prove that a cer…
▽ More
We study the infinite-dimensional log-Sobolev inequality for spin systems on $\mathbb{Z}^d$ with interactions of power higher than quadratic. We assume that the one site measure without a boundary $e^{-φ(x)}dx/Z$ satisfies a log-Sobolev inequality and we determine conditions so that the infinite-dimensional Gibbs measure also satisfies the inequality. As a concrete application, we prove that a certain class of nontrivial Gibbs measures with non-quadratic interaction potentials on an infinite product of Heisenberg groups satisfy the log-Sobolev inequality.
△ Less
Submitted 3 September, 2023; v1 submitted 27 June, 2019;
originally announced June 2019.
-
On a caching system with object sharing
Authors:
George Kesidis,
Nader Alfares,
Xi Li,
Bhuvan Urgaonkar,
Mahmut Kandemir,
Takis Konstantopoulos
Abstract:
We consider a content-caching system thatis shared by a number of proxies. The cache could belocated in an edge-cloud datacenter and the proxies couldeach serve a large population of mobile end-users. Eachproxy operates its own LRU-list of a certain capacity inthe shared cache. The length of objects simultaneouslyappearing in plural LRU-lists is equally divided amongthem,i.e., object sharing among…
▽ More
We consider a content-caching system thatis shared by a number of proxies. The cache could belocated in an edge-cloud datacenter and the proxies couldeach serve a large population of mobile end-users. Eachproxy operates its own LRU-list of a certain capacity inthe shared cache. The length of objects simultaneouslyappearing in plural LRU-lists is equally divided amongthem,i.e., object sharing among the LRUs. We provide a "working-set" approximation for this system to quicklyestimate the cache-hit probabilities under such objectsharing, which can be used to facilitate admission control.Also, a way to reduce ripple evictions,i.e.,setrequestoverhead, is suggested. We give numerical results for ourMemCacheD with Object Sharing (MCD-OS) prototype.
△ Less
Submitted 23 July, 2020; v1 submitted 18 May, 2019;
originally announced May 2019.
-
The distribution of age-of-information performance measures for message processing systems
Authors:
George Kesidis,
Takis Konstantopoulos,
Michael Zazanis
Abstract:
The idea behind the recently introduced "age of information" performance measure of a networked message processing system is that it indicates our knowledge regarding the "freshness" of the most recent piece of information that can be used as a criterion for real-time control. In this foundational paper, we examine two such measures, one that has been extensively studied in the recent literature a…
▽ More
The idea behind the recently introduced "age of information" performance measure of a networked message processing system is that it indicates our knowledge regarding the "freshness" of the most recent piece of information that can be used as a criterion for real-time control. In this foundational paper, we examine two such measures, one that has been extensively studied in the recent literature and a new one that could be more relevant from the point of view of the processor. Considering these measures as stochastic processes in a stationary environment (defined by the arrival processes, message processing times and admission controls in bufferless systems), we characterize their distributions using the Palm inversion formula. Under renewal assumptions we derive explicit solutions for their Laplace transforms and show some interesting decomposition properties. Previous work has mostly focused on computation of expectations in very particular cases. We argue that using bufferless or very small buffer systems is best and support this by simulation. We also pose some open problems including assessment of enqueueing policies that may be better in cases where one wishes to minimize more general functionals of the age of information measures.
△ Less
Submitted 7 March, 2020; v1 submitted 11 April, 2019;
originally announced April 2019.
-
Limiting properties of random graph models with vertex and edge weights
Authors:
Sergey Foss,
Takis Konstantopoulos
Abstract:
This paper provides an overview of results, concerning longest or heaviest paths, in the area of random directed graphs on the integers along with some extensions. We study first-order asymptotics of heaviest paths allowing weights both on edges and vertices and assuming that weights on edges are signed. We aim at an exposition that summarizes, simplifies, and extends proof ideas. We also study sp…
▽ More
This paper provides an overview of results, concerning longest or heaviest paths, in the area of random directed graphs on the integers along with some extensions. We study first-order asymptotics of heaviest paths allowing weights both on edges and vertices and assuming that weights on edges are signed. We aim at an exposition that summarizes, simplifies, and extends proof ideas. We also study sparse graph asymptotics, showing convergence of the weighted random graphs to a certain weighted graph that can be constructed in terms of Poisson processes. We are motivated by numerous applications, ranging from ecology to parallel computing model. It is the latter set of applications that necessitates the introduction of vertex weights. Finally, we discuss some open problems and research directions.
△ Less
Submitted 8 August, 2018;
originally announced August 2018.
-
Relative Age of Information: Maintaining Freshness while Considering the Most Recently Generated Information
Authors:
George Kesidis,
Takis Konstantopoulos,
Michael Zazanis
Abstract:
A queueing system handling a sequence of message arrivals is considered where each message obsoletes all previous messages. The objective is to assess the freshness of the latest message/information that has been successfully transmitted, i.e., "age of information" (AoI). We study a variation of traditional AoI, the "Relative AoI", here defined so as to account for the presence of newly arrived me…
▽ More
A queueing system handling a sequence of message arrivals is considered where each message obsoletes all previous messages. The objective is to assess the freshness of the latest message/information that has been successfully transmitted, i.e., "age of information" (AoI). We study a variation of traditional AoI, the "Relative AoI", here defined so as to account for the presence of newly arrived messages/information to the queue to be transmitted.
△ Less
Submitted 10 October, 2018; v1 submitted 1 August, 2018;
originally announced August 2018.
-
Moving-target Defense against Botnet Reconnaissance and an Adversarial Coupon-Collection Model
Authors:
Neda Nasiriani,
Yuquan Shan,
George Kesidis,
Takis Konstantopoulos,
Daniel Fleck,
Angelos Stavrou
Abstract:
We consider a cloud based multiserver system consisting of a set of replica application servers behind a set of proxy (indirection) servers which interact directly with clients over the Internet. We study a proactive moving-target defense to thwart a DDoS attacker's reconnaissance phase and consequently reduce the attack's impact. The defense is effectively a moving-target (motag) technique in whi…
▽ More
We consider a cloud based multiserver system consisting of a set of replica application servers behind a set of proxy (indirection) servers which interact directly with clients over the Internet. We study a proactive moving-target defense to thwart a DDoS attacker's reconnaissance phase and consequently reduce the attack's impact. The defense is effectively a moving-target (motag) technique in which the proxies dynamically change. The system is evaluated using an AWS prototype of HTTP redirection and by numerical evaluations of an adversarial coupon-collector mathematical model, the latter allowing larger-scale extrapolations.
△ Less
Submitted 26 April, 2018; v1 submitted 4 December, 2017;
originally announced December 2017.
-
Polynomial approximations to continuous functions and stochastic compositions
Authors:
Takis Konstantopoulos,
Linglong Yuan,
Michael A. Zazanis
Abstract:
This paper presents a stochastic approach to theorems concerning the behavior of iterations of the Bernstein operator $B_n$ taking a continuous function $f \in C[0,1]$ to a degree-$n$ polynomial when the number of iterations $k$ tends to infinity and $n$ is kept fixed or when $n$ tends to infinity as well. In the first instance, the underlying stochastic process is the so-called Wright-Fisher mode…
▽ More
This paper presents a stochastic approach to theorems concerning the behavior of iterations of the Bernstein operator $B_n$ taking a continuous function $f \in C[0,1]$ to a degree-$n$ polynomial when the number of iterations $k$ tends to infinity and $n$ is kept fixed or when $n$ tends to infinity as well. In the first instance, the underlying stochastic process is the so-called Wright-Fisher model, whereas, in the second instance, the underlying stochastic process is the Wright-Fisher diffusion. Both processes are probably the most basic ones in mathematical genetics. By using Markov chain theory and stochastic compositions, we explain probabilistically a theorem due to Kelisky and Rivlin, and by using stochastic calculus we compute a formula for the application of $B_n$ a number of times $k=k(n)$ to a polynomial $f$ when $k(n)/n$ tends to a constant.
△ Less
Submitted 18 January, 2016;
originally announced January 2016.
-
Laplace transform asymptotics and large deviation principles for longest success runs in Bernoulli trials
Authors:
Takis Konstantopoulos,
Zhenxia Liu,
Xiangfeng Yang
Abstract:
The longest stretch $L(n)$ of consecutive heads in $n$ i.i.d. coin tosses is seen from the prism of large deviations. We first establish precise asymptotics for the moment generating function of $L(n)$ and then show that there are precisely two large deviation principles, one concerning the behavior of the distribution of $L(n)$ near its nominal value $\log_{1/p} n$ and one away from it. We discus…
▽ More
The longest stretch $L(n)$ of consecutive heads in $n$ i.i.d. coin tosses is seen from the prism of large deviations. We first establish precise asymptotics for the moment generating function of $L(n)$ and then show that there are precisely two large deviation principles, one concerning the behavior of the distribution of $L(n)$ near its nominal value $\log_{1/p} n$ and one away from it. We discuss applications to inference and to logarithmic asymptotics of functionals of $L(n)$.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
On the extendibility of finitely exchangeable probability measures
Authors:
Takis Konstantopoulos,
Linglong Yuan
Abstract:
A length-$n$ random sequence $X_1,\ldots,X_n$ in a space $S$ is finitely exchangeable if its distribution is invariant under all $n!$ permutations of coordinates. Given $N > n$, we study the extendibility problem: when is it the case that there is a length-$N$ exchangeable random sequence $Y_1,\ldots, Y_N$ so that $(Y_1,\ldots,Y_n)$ has the same distribution as $(X_1,\ldots,X_n)$? In this paper, w…
▽ More
A length-$n$ random sequence $X_1,\ldots,X_n$ in a space $S$ is finitely exchangeable if its distribution is invariant under all $n!$ permutations of coordinates. Given $N > n$, we study the extendibility problem: when is it the case that there is a length-$N$ exchangeable random sequence $Y_1,\ldots, Y_N$ so that $(Y_1,\ldots,Y_n)$ has the same distribution as $(X_1,\ldots,X_n)$? In this paper, we give a necessary and sufficient condition so that, for given $n$ and $N$, the extendibility problem admits a solution. This is done by employing functional-analytic and measure-theoretic arguments that take into account the symmetry. We also address the problem of infinite extendibility. Our results are valid when $X_1$ has a regular distribution in a locally compact Hausdorff space $S$. We also revisit the problem of representation of the distribution of a finitely exchangeable sequence.
△ Less
Submitted 13 December, 2016; v1 submitted 25 January, 2015;
originally announced January 2015.
-
On a representation theorem for finitely exchangeable random vectors
Authors:
Svante Janson,
Takis Konstantopoulos,
Linglong Yuan
Abstract:
A random vector $X=(X_1,\ldots,X_n)$ with the $X_i$ taking values in an arbitrary measurable space $(S, \mathscr{S})$ is exchangeable if its law is the same as that of $(X_{σ(1)}, \ldots, X_{σ(n)})$ for any permutation $σ$. We give an alternative and shorter proof of the representation result (Jaynes \cite{Jay86} and Kerns and Székely \cite{KS06}) stating that the law of $X$ is a mixture of produc…
▽ More
A random vector $X=(X_1,\ldots,X_n)$ with the $X_i$ taking values in an arbitrary measurable space $(S, \mathscr{S})$ is exchangeable if its law is the same as that of $(X_{σ(1)}, \ldots, X_{σ(n)})$ for any permutation $σ$. We give an alternative and shorter proof of the representation result (Jaynes \cite{Jay86} and Kerns and Székely \cite{KS06}) stating that the law of $X$ is a mixture of product probability measures with respect to a signed mixing measure. The result is "finitistic" in nature meaning that it is a matter of linear algebra for finite $S$. The passing from finite $S$ to an arbitrary one may pose some measure-theoretic difficulties which are avoided by our proof. The mixing signed measure is not unique (examples are given), but we pay more attention to the one constructed in the proof ("canonical mixing measure") by pointing out some of its characteristics. The mixing measure is, in general, defined on the space of probability measures on $S$, but for $S=\mathbb{R}$, one can choose a mixing measure on $\mathbb{R}^n$.
△ Less
Submitted 18 March, 2016; v1 submitted 7 October, 2014;
originally announced October 2014.
-
Power law condition for stability of Poisson hail
Authors:
Sergey Foss,
Takis Konstantopoulos,
Thomas Mountford
Abstract:
We consider the Poisson hail model introduced by Baccelli and Foss. We give a power law condition for the tails (spatial and temporal) of the distribution of jobs to ensure stability as the rate parameter $λ$ tends to zero. We then show that in a weak sense it is optimal.
We consider the Poisson hail model introduced by Baccelli and Foss. We give a power law condition for the tails (spatial and temporal) of the distribution of jobs to ensure stability as the rate parameter $λ$ tends to zero. We then show that in a weak sense it is optimal.
△ Less
Submitted 9 November, 2016; v1 submitted 3 October, 2014;
originally announced October 2014.
-
The mobile Boolean model: an overview and further results
Authors:
Takis Konstantopoulos
Abstract:
This paper offers an overview of the mobile Boolean stochastic geometric model which is a time-dependent version of the ordinary Boolean model in a Euclidean space of dimension $d$. The main question asked is that of obtaining the law of the detection time of a fixed set. We give various ways of thinking about this which result into some general formulas. The formulas are solvable in some special…
▽ More
This paper offers an overview of the mobile Boolean stochastic geometric model which is a time-dependent version of the ordinary Boolean model in a Euclidean space of dimension $d$. The main question asked is that of obtaining the law of the detection time of a fixed set. We give various ways of thinking about this which result into some general formulas. The formulas are solvable in some special cases, such the inertial and Brownian mobile Boolean models. In the latter case, we obtain some expressions for the distribution of the detection time of a ball, when the dimension $d$ is odd and asymptotics when $d$ is even. Finally, we pose some questions for future research.
△ Less
Submitted 25 July, 2014;
originally announced July 2014.
-
Runs in coin tossing: a general approach for deriving distributions for functionals
Authors:
Lars Holst,
Takis Konstantopoulos
Abstract:
We take a fresh look at the classical problem of runs in a sequence of i.i.d.\ coin tosses and derive a general identity/recursion which can be used to compute (joint) distributions of functionals of run types. This generalizes and unifies already existing approaches. We give several examples, derive asymptotics, and pose some further questions.
We take a fresh look at the classical problem of runs in a sequence of i.i.d.\ coin tosses and derive a general identity/recursion which can be used to compute (joint) distributions of functionals of run types. This generalizes and unifies already existing approaches. We give several examples, derive asymptotics, and pose some further questions.
△ Less
Submitted 25 July, 2014;
originally announced July 2014.
-
A multilinear algebra proof of the Cauchy-Binet formula and a multilinear version of Parseval's identity
Authors:
Takis Konstantopoulos
Abstract:
We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a corollary, a generalization of the classical Parseval identity.
We give a short proof of the Cauchy-Binet determinantal formula using multilinear algebra by first generalizing it to an identity {\em not} involving determinants. By extending the formula to abstract Hilbert spaces we obtain, as a corollary, a generalization of the classical Parseval identity.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
Convergence to the Tracy-Widom distribution for longest paths in a directed random graph
Authors:
Takis Konstantopoulos,
Katja Trinajstić
Abstract:
We consider a directed graph on the 2-dimensional integer lattice, placing a directed edge from vertex $(i_1,i_2)$ to $(j_1,j_2)$, whenever $i_1 \le j_1$, $i_2 \le j_2$, with probability $p$, independently for each such pair of vertices. Let $L_{n,m}$ denote the maximum length of all paths contained in an $n \times m$ rectangle. We show that there is a positive exponent $a$, such that, if…
▽ More
We consider a directed graph on the 2-dimensional integer lattice, placing a directed edge from vertex $(i_1,i_2)$ to $(j_1,j_2)$, whenever $i_1 \le j_1$, $i_2 \le j_2$, with probability $p$, independently for each such pair of vertices. Let $L_{n,m}$ denote the maximum length of all paths contained in an $n \times m$ rectangle. We show that there is a positive exponent $a$, such that, if $m/n^a \to 1$, as $n \to \infty$, then a properly centered/rescaled version of $L_{n,m}$ converges weakly to the Tracy-Widom distribution. A generalization to graphs with non-constant probabilities is also discussed.
△ Less
Submitted 23 August, 2013; v1 submitted 25 March, 2013;
originally announced March 2013.
-
Iterating Brownian motions, ad libitum
Authors:
Nicolas Curien,
Takis Konstantopoulos
Abstract:
Let B_1,B_2, ... be independent one-dimensional Brownian motions defined over the whole real line such that B_i(0)=0. We consider the nth iterated Brownian motion W_n(t)= B_n(B_{n-1}(...(B_2(B_1(t)))...)). Although the sequences of processes (W_n) do not converge in a functional sense, we prove that the finite-dimensional marginals converge. As a consequence, we deduce that the random occupation m…
▽ More
Let B_1,B_2, ... be independent one-dimensional Brownian motions defined over the whole real line such that B_i(0)=0. We consider the nth iterated Brownian motion W_n(t)= B_n(B_{n-1}(...(B_2(B_1(t)))...)). Although the sequences of processes (W_n) do not converge in a functional sense, we prove that the finite-dimensional marginals converge. As a consequence, we deduce that the random occupation measures of W_n converge towards a random probability measure μ_\infty. We then prove that μ_\infty almost surely has a continuous density which must be thought of as the local time process of the infinite iteration of independent Brownian motions.
△ Less
Submitted 16 December, 2011;
originally announced December 2011.
-
On the excursions of reflected local time processes and stochastic fluid queues
Authors:
Takis Konstantopoulos,
Andreas E. Kyprianou,
Paavo Salminen
Abstract:
This paper extends previous work by the authors. We consider the local time process of a strong Markov process, add negative drift, and reflect it à la Skorokhod. The resulting process is used to model a fluid queue. We derive an expression for the joint law of the duration of an excursion, the maximum value of the process on it, and the time distance between successive excursions. We work with a…
▽ More
This paper extends previous work by the authors. We consider the local time process of a strong Markov process, add negative drift, and reflect it à la Skorokhod. The resulting process is used to model a fluid queue. We derive an expression for the joint law of the duration of an excursion, the maximum value of the process on it, and the time distance between successive excursions. We work with a properly constructed stationary version of the process. Examples are also given in the paper.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Limit theorems for a random directed slab graph
Authors:
Denis Denisov,
Sergey Foss,
Takis Konstantopoulos
Abstract:
We consider a stochastic directed graph on the integers whereby a directed edge between $i$ and a larger integer $j$ exists with probability $p_{j-i}$ depending solely on the distance between the two integers. Under broad conditions, we identify a regenerative structure that enables us to prove limit theorems for the maximal path length in a long chunk of the graph. The model is an extension of a…
▽ More
We consider a stochastic directed graph on the integers whereby a directed edge between $i$ and a larger integer $j$ exists with probability $p_{j-i}$ depending solely on the distance between the two integers. Under broad conditions, we identify a regenerative structure that enables us to prove limit theorems for the maximal path length in a long chunk of the graph. The model is an extension of a special case of graphs studied by Foss and Konstantopoulos, Markov Process and Related Fields, 9, 413-468. We then consider a similar type of graph but on the `slab' $\Z \times I$, where $I$ is a finite partially ordered set. We extend the techniques introduced in the in the first part of the paper to obtain a central limit theorem for the longest path. When $I$ is linearly ordered, the limiting distribution can be seen to be that of the largest eigenvalue of a $|I| \times |I|$ random matrix in the Gaussian unitary ensemble (GUE).
△ Less
Submitted 26 May, 2010;
originally announced May 2010.
-
Integral representation of Skorokhod reflection
Authors:
Venkat Anantharam,
Takis Konstantopoulos
Abstract:
We show that a certain integral representation of the one-sided Skorokhod reflection of a continuous bounded variation function characterizes the reflection in that it possesses a unique maximal solution which solves the Skorokhod reflection problem.
We show that a certain integral representation of the one-sided Skorokhod reflection of a continuous bounded variation function characterizes the reflection in that it possesses a unique maximal solution which solves the Skorokhod reflection problem.
△ Less
Submitted 29 March, 2010;
originally announced March 2010.
-
A stochastic epidemiological model and a deterministic limit for BitTorrent-like peer-to-peer file-sharing networks
Authors:
George Kesidis,
Takis Konstantopoulos,
Perla Sousi
Abstract:
In this paper, we propose a stochastic model for a file-sharing peer-to-peer network which resembles the popular BitTorrent system: large files are split into chunks and a peer can download or swap from another peer only one chunk at a time. We prove that the fluid limits of a scaled Markov model of this system are of the coagulation form, special cases of which are well-known epidemiological (S…
▽ More
In this paper, we propose a stochastic model for a file-sharing peer-to-peer network which resembles the popular BitTorrent system: large files are split into chunks and a peer can download or swap from another peer only one chunk at a time. We prove that the fluid limits of a scaled Markov model of this system are of the coagulation form, special cases of which are well-known epidemiological (SIR) models. In addition, Lyapunov stability and settling-time results are explored. We derive conditions under which the BitTorrent incentives under consideration result in shorter mean file-acquisition times for peers compared to client-server (single chunk) systems. Finally, a diffusion approximation is given and some open questions are discussed.
△ Less
Submitted 6 November, 2008;
originally announced November 2008.
-
Analysis of stochastic fluid queues driven by local time processes
Authors:
Takis Konstantopoulos,
Andreas Kyprianou,
Marina Sirvio,
Paavo Salminen
Abstract:
We consider a stochastic fluid queue served by a constant rate server and driven by a process which is the local time of a certain Markov process. Such a stochastic system can be used as a model in a priority service system, especially when the time scales involved are fast. The input (local time) in our model is always singular with respect to the Lebesgue measure which in many applications is…
▽ More
We consider a stochastic fluid queue served by a constant rate server and driven by a process which is the local time of a certain Markov process. Such a stochastic system can be used as a model in a priority service system, especially when the time scales involved are fast. The input (local time) in our model is always singular with respect to the Lebesgue measure which in many applications is ``close'' to reality. We first discuss how to rigorously construct the (necessarily) unique stationary version of the system under some natural stability conditions. We then consider the distribution of performance steady-state characteristics, namely, the buffer content, the idle period and the busy period. These derivations are much based on the fact that the inverse of the local time of a Markov process is a Lévy process (a subordinator) hence making the theory of Lévy processes applicable. Another important ingredient in our approach is the Palm calculus coming from the point process point of view.
△ Less
Submitted 10 September, 2007;
originally announced September 2007.
-
A note on the convergence of renewal and regenerative processes to a Brownian bridge
Authors:
Sergey Foss,
Takis Konstantopoulos
Abstract:
The standard functional central limit theorem for a renewal process with finite mean and variance, results in a Brownian motion limit. This note shows how to obtain a Brownian bridge process by a direct procedure that does not involve conditioning. Several examples are also considered.
The standard functional central limit theorem for a renewal process with finite mean and variance, results in a Brownian motion limit. This note shows how to obtain a Brownian bridge process by a direct procedure that does not involve conditioning. Several examples are also considered.
△ Less
Submitted 27 August, 2007;
originally announced August 2007.
-
Stationary flows and uniqueness of invariant measures
Authors:
Francois Baccelli,
Takis Konstantopoulos
Abstract:
In this short paper, we consider a quadruple $(Ω, Å, θ, μ)$,where $Å$ is a $σ$-algebra of subsets of $Ω$, and $θ$ is a measurable bijection from $Ω$ into itself that preserves the measure $μ$. For each $B \in Å$, we consider the measure $μ_B$ obtained by taking cycles (excursions) of iterates of $θ$ from $B$. We then derive a relation for $μ_B$ that involves the forward and backward hitting time…
▽ More
In this short paper, we consider a quadruple $(Ω, Å, θ, μ)$,where $Å$ is a $σ$-algebra of subsets of $Ω$, and $θ$ is a measurable bijection from $Ω$ into itself that preserves the measure $μ$. For each $B \in Å$, we consider the measure $μ_B$ obtained by taking cycles (excursions) of iterates of $θ$ from $B$. We then derive a relation for $μ_B$ that involves the forward and backward hitting times of $B$ by the trajectory $(θ^n ω, n \in \Z)$ at a point $ω\in Ω$. Although classical in appearance, its use in obtaining uniqueness of invariant measures of various stochastic models seems to be new. We apply the concept to countable Markov chains and Harris processes.
△ Less
Submitted 13 February, 2007;
originally announced February 2007.
-
The principle of a single big jump: discrete and continuous time modulated random walks with heavy-tailed increments
Authors:
Sergey Foss,
Takis Konstantopoulos,
Stan Zachary
Abstract:
We consider a modulated process S which, conditional on a background process X, has independent increments. Assuming that S drifts to -infinity and that its increments (jumps) are heavy-tailed (in a sense made precise in the paper), we exhibit natural conditions under which the asymptotics of the tail distribution of the overall maximum of S can be computed. We present results in discrete and in…
▽ More
We consider a modulated process S which, conditional on a background process X, has independent increments. Assuming that S drifts to -infinity and that its increments (jumps) are heavy-tailed (in a sense made precise in the paper), we exhibit natural conditions under which the asymptotics of the tail distribution of the overall maximum of S can be computed. We present results in discrete and in continuous time. In particular, in the absence of modulation, the process S in continuous time reduces to a Levy process with heavy-tailed Levy measure. A central point of the paper is that we make full use of the so-called ``principle of a single big jump'' in order to obtain both upper and lower bounds. Thus, the proofs are entirely probabilistic. The paper is motivated by queueing and Levy stochastic networks.
△ Less
Submitted 26 September, 2005;
originally announced September 2005.