-
A Double Chebyshev Series: Derivation And Evaluation
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
In this paper we use a contour integral method to derive a generating function in the form of a double series involving the product of two Chebyshev polynomials over generalized independent indices expressed in terms of the incomplete gamma function. The generating function represents a more generalized form relative to current literature. A possible application of this function to solving partial…
▽ More
In this paper we use a contour integral method to derive a generating function in the form of a double series involving the product of two Chebyshev polynomials over generalized independent indices expressed in terms of the incomplete gamma function. The generating function represents a more generalized form relative to current literature. A possible application of this function to solving partial differential equations is discussed and some special cases of this generating function are derived. The work involved in the computation of this generating function is easier relative to previous methods as we have a closed form solution as opposed to numerical methods.
△ Less
Submitted 15 October, 2022;
originally announced October 2022.
-
Mixing time of random walk on dynamical random cluster
Authors:
Andrea Lelli,
Alexandre Stauffer
Abstract:
We study the mixing time of a random walker who moves inside a dynamical random cluster model on the d-dimensional torus of side-length n. In this model, edges switch at rate μbetween open and closed, following a Glauber dynamics for the random cluster model with parameters p,q. At the same time, the walker jumps at rate 1 as a simple random walk on the torus, but is only allowed to traverse open…
▽ More
We study the mixing time of a random walker who moves inside a dynamical random cluster model on the d-dimensional torus of side-length n. In this model, edges switch at rate μbetween open and closed, following a Glauber dynamics for the random cluster model with parameters p,q. At the same time, the walker jumps at rate 1 as a simple random walk on the torus, but is only allowed to traverse open edges. We show that for small enough p the mixing time of the random walker is of order n^2/μ. In our proof we construct of a non-Markovian coupling through a multi-scale analysis of the environment, which we believe could be more widely applicable.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Sum of the Hurwitz-Lerch Zeta Function over Prime Numbers: Derivation and Evaluation
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
For the function $f(m,p,q,n)$, where $k,s,a$ general complex numbers and $q$ any positive integer, we establish the sum of values of the Hurwitz-Lerch zeta function $Φ(f(m,p,q,n),k,a)$ taken at prime numbers $n$. Special cases of this sum are evaluated in terms of products of trigonometric functions and Catalan's constant $K$.
For the function $f(m,p,q,n)$, where $k,s,a$ general complex numbers and $q$ any positive integer, we establish the sum of values of the Hurwitz-Lerch zeta function $Φ(f(m,p,q,n),k,a)$ taken at prime numbers $n$. Special cases of this sum are evaluated in terms of products of trigonometric functions and Catalan's constant $K$.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
A Sextuple Integral Containing the Product of Associated Legendre polynomials $P_v^u(x) P_{ν}^{μ}(y)$: Derivation and Evaluation
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
In this present paper we derive a six dimensional integral containing the product of the Associated Legendre Polynomials $P_v^u(x) P_{ν}^{μ}(y)$ where the indices are different and general. Included in the kernel of this integral is the generalized logarithmic function and coefficient logarithmic functions. The derivation of this integral is written in terms of the Hurwitz-Lerch zeta function and…
▽ More
In this present paper we derive a six dimensional integral containing the product of the Associated Legendre Polynomials $P_v^u(x) P_{ν}^{μ}(y)$ where the indices are different and general. Included in the kernel of this integral is the generalized logarithmic function and coefficient logarithmic functions. The derivation of this integral is written in terms of the Hurwitz-Lerch zeta function and constant coefficients raised to a power. Special cases of this integral are derived in terms of fundamental constants and other special functions. All the results in this work are new.
△ Less
Submitted 6 January, 2022;
originally announced January 2022.
-
Growing uniform planar maps face by face
Authors:
Alessandra Caraceni,
Alexandre Stauffer
Abstract:
We provide "growth schemes" for inductively generating uniform random $2p$-angulations of the sphere with $n$ faces, as well as uniform random simple triangulations of the sphere with $2n$ faces. In the case of $2p$-angulations, we provide a way to insert a new face at a random location in a uniform $2p$-angulation with $n$ faces in such a way that the new map is precisely a uniform $2p$-angulatio…
▽ More
We provide "growth schemes" for inductively generating uniform random $2p$-angulations of the sphere with $n$ faces, as well as uniform random simple triangulations of the sphere with $2n$ faces. In the case of $2p$-angulations, we provide a way to insert a new face at a random location in a uniform $2p$-angulation with $n$ faces in such a way that the new map is precisely a uniform $2p$-angulation with $n+1$ faces. Similarly, given a uniform simple triangulation of the sphere with $2n$ faces, we describe a way to insert two new adjacent triangles so as to obtain a uniform simple triangulation of the sphere with $2n+2$ faces. The latter is based on a new bijective presentation of simple triangulations that relies on a construction by Poulalhon and Schaeffer.
△ Less
Submitted 12 January, 2022; v1 submitted 27 October, 2021;
originally announced October 2021.
-
First passage percolation in hostile environment is not monotone
Authors:
Elisabetta Candellero,
Alexandre Stauffer
Abstract:
We study a natural growth process with competition, modeled by two first passage percolation processes, $FPP_1$ and $FPP_λ$, spreading on a graph. $FPP_1$ starts at the origin and spreads at rate $1$, whereas $FPP_λ$ starts from a random set of \emph{inactive seeds} distributed as Bernoulli percolation of parameter $μ\in (0,1)$. A seed of $FPP_λ$ gets activated when one of the two processes attemp…
▽ More
We study a natural growth process with competition, modeled by two first passage percolation processes, $FPP_1$ and $FPP_λ$, spreading on a graph. $FPP_1$ starts at the origin and spreads at rate $1$, whereas $FPP_λ$ starts from a random set of \emph{inactive seeds} distributed as Bernoulli percolation of parameter $μ\in (0,1)$. A seed of $FPP_λ$ gets activated when one of the two processes attempts to occupy its location, and from this moment onwards spreads at some fixed rate $λ>0$. In previous works~[17, 3, 7] it has been shown that when both $μ$ or $λ$ are small enough, then $FPP_1$ \emph{survives} (i.e., it occupies an infinite set of vertices) with positive probability. It might seem intuitive that decreasing $μ$ or $λ$ is beneficial to $FPP_1$. However, we prove that, in general, this is indeed false by constructing a graph for which the probability that $FPP_1$ survives is not a monotone function of $μ$ or $λ$, implying the existence of multiple phase transitions. This behavior contrasts with other natural growth processes such as the $2$-type Richardson model.
△ Less
Submitted 18 June, 2024; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Coexistence in competing first passage percolation with conversion
Authors:
Thomas Finn,
Alexandre Stauffer
Abstract:
We introduce a two-type first passage percolation competition model on infinite connected graphs as follows. Type 1 spreads through the edges of the graph at rate 1 from a single distinguished site, while all other sites are initially vacant. Once a site is occupied by type 1, it converts to type 2 at rate $ρ>0$. Sites occupied by type 2 then spread at rate $λ>0$ through vacant sites \emph{and} si…
▽ More
We introduce a two-type first passage percolation competition model on infinite connected graphs as follows. Type 1 spreads through the edges of the graph at rate 1 from a single distinguished site, while all other sites are initially vacant. Once a site is occupied by type 1, it converts to type 2 at rate $ρ>0$. Sites occupied by type 2 then spread at rate $λ>0$ through vacant sites \emph{and} sites occupied by type 1, whereas type 1 can only spread through vacant sites. If the set of sites occupied by type 1 is non-empty at all times, we say type 1 \emph{survives}. In the case of a regular $d$-ary tree for $d\geq 3$, we show type 1 can survive when it is slower than type 2, provided $ρ$ is small enough. This is in contrast to when the underlying graph is $\mathbb{Z}^d$, where for any $ρ>0$, type 1 dies out almost surely if $λ>1$.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
Absorbing-state phase transition and activated random walks with unbounded capacities
Authors:
Leandro Chiarini,
Alexandre Stauffer
Abstract:
In this article, we study the existence of an absorbing-state phase transition of an Abelian process that generalises the Activated Random Walk (ARW). Given a vertex transitive $G=(V,E)$, we associate to each site $x \in V$ a capacity $w_x \ge 0$, which describes how many inactive particles $x$ can hold, where $\{w_x\}_{x \in V}$ is a collection of i.i.d random variables. When $G$ is an amenable g…
▽ More
In this article, we study the existence of an absorbing-state phase transition of an Abelian process that generalises the Activated Random Walk (ARW). Given a vertex transitive $G=(V,E)$, we associate to each site $x \in V$ a capacity $w_x \ge 0$, which describes how many inactive particles $x$ can hold, where $\{w_x\}_{x \in V}$ is a collection of i.i.d random variables. When $G$ is an amenable graph, we prove that if $\mathbb E[w_x]<\infty$, the model goes through an absorbing state phase transition and if $\mathbb E[w_x]=\infty$, the model fixates for all $λ>0$. Moreover, in the former case, we provide bounds for the critical density that match the ones available in the classical Activated Random Walk.
△ Less
Submitted 15 June, 2022; v1 submitted 6 August, 2021;
originally announced August 2021.
-
Local and global survival for infections with recovery
Authors:
Rangel Baldasso,
Alexandre Stauffer
Abstract:
We establish two open problems from Kesten and Sidoravicius [8]. Particles are initially placed on $\Z^{d}$ with a given density and evolve as independent continuous-time random walks. Particles initially placed at the origin are declared as infected. Infection transmits instantaneously to healthy particles on the same site and infected particles become healthy with a positive rate. We prove that,…
▽ More
We establish two open problems from Kesten and Sidoravicius [8]. Particles are initially placed on $\Z^{d}$ with a given density and evolve as independent continuous-time random walks. Particles initially placed at the origin are declared as infected. Infection transmits instantaneously to healthy particles on the same site and infected particles become healthy with a positive rate. We prove that, for small enough recovery rates, the infection process survives and visits the origin infinitely many times on the event of survival. Second, we establish the existence of density parameters for which the infection survives for all choices of the recovery rate.
△ Less
Submitted 16 March, 2023; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Double integral of logarithm and exponential function expressed in terms of the Lerch function
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
In this work the authors use their contour integral method to derive a double integral connected to the modified Bessel function of the second kind and express it in terms of the Lerch function. There are some useful results relating double integrals of certain kinds of functions to ordinary integrals for which we know no general reference. Thus a table of integral pairs is given for interested re…
▽ More
In this work the authors use their contour integral method to derive a double integral connected to the modified Bessel function of the second kind and express it in terms of the Lerch function. There are some useful results relating double integrals of certain kinds of functions to ordinary integrals for which we know no general reference. Thus a table of integral pairs is given for interested readers. The majority of the results in this work are new.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
An integral's journey over the real line
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
In 1826 Cauchy presented an Integral over the real line. Al and I thought a derivation would be mighty fine. So we packed our contour integral bags that day, and we now present an analytic continuation this time.
In 1826 Cauchy presented an Integral over the real line. Al and I thought a derivation would be mighty fine. So we packed our contour integral bags that day, and we now present an analytic continuation this time.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
Definite integrals involving combinations of powers and logarithmic functions of complicated arguments expressed in terms of the Hurwitz zeta function
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
In this manuscript, the authors derive closed formula for definite integrals of combinations of powers and logarithmic functions of complicated arguments and express these integrals in terms of the Hurwitz zeta. These derivations are then expressed in terms of fundamental constants, elementary and special functions. A summary of the results is produced in the form of a table of definite integrals…
▽ More
In this manuscript, the authors derive closed formula for definite integrals of combinations of powers and logarithmic functions of complicated arguments and express these integrals in terms of the Hurwitz zeta. These derivations are then expressed in terms of fundamental constants, elementary and special functions. A summary of the results is produced in the form of a table of definite integrals for easy referencing by readers.
△ Less
Submitted 28 April, 2021; v1 submitted 4 March, 2021;
originally announced March 2021.
-
Table in Gradshteyn and Ryzhik: Derivation of definite integrals of a Hyperbolic Function
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage of using special functions is their analytic continuation which widens the range of the parameters of the definite integral over which the formula is valid. We…
▽ More
We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage of using special functions is their analytic continuation which widens the range of the parameters of the definite integral over which the formula is valid. We give as examples definite integrals of logarithmic functions times a trigonometric function. In various cases these generalizations evaluate to known mathematical constants such as Catalan's constant and $π$.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
Local survival of spread of infection among biased random walks
Authors:
Rangel Baldasso,
Alexandre Stauffer
Abstract:
We study infection spread among biased random walks on $\mathbb{Z}^{d}$. The random walks move independently and an infected particle is placed at the origin at time zero. Infection spreads instantaneously when particles share the same site and there is no recovery. If the initial density of particles is small enough, the infected cloud travels in the direction of the bias of the random walks, imp…
▽ More
We study infection spread among biased random walks on $\mathbb{Z}^{d}$. The random walks move independently and an infected particle is placed at the origin at time zero. Infection spreads instantaneously when particles share the same site and there is no recovery. If the initial density of particles is small enough, the infected cloud travels in the direction of the bias of the random walks, implying that the infection does not survive locally. When the density is large, the infection spreads to the whole $\mathbb{Z}^{d}$. The proofs rely on two different techniques. For the small density case, we use a description of the infected cloud through genealogical paths, while the large density case relies on a renormalization scheme.
△ Less
Submitted 7 October, 2022; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Non-equilibrium multi-scale analysis and coexistence in competing first passage percolation
Authors:
Thomas Finn,
Alexandre Stauffer
Abstract:
The main contribution of this paper is the development of a novel approach to multi-scale analysis that we believe can be used to analyse processes with non-equilibrium dynamics. Our approach will be referred to as \emph{multi-scale analysis with non-equilibrium feedback} and will be used to analyse a natural random growth process with competition on $\mathbb{Z}^d$ called \emph{first passage perco…
▽ More
The main contribution of this paper is the development of a novel approach to multi-scale analysis that we believe can be used to analyse processes with non-equilibrium dynamics. Our approach will be referred to as \emph{multi-scale analysis with non-equilibrium feedback} and will be used to analyse a natural random growth process with competition on $\mathbb{Z}^d$ called \emph{first passage percolation in a hostile environment} that consists of two first passage percolation processes $FPP_1$ and $FPP_λ$ that compete for the occupancy of sites. Initially, $FPP_1$ occupies the origin and spreads through the edges of $\mathbb{Z}^d$ at rate 1, while $FPP_λ$ is initialised at sites called \emph{seeds} that are distributed according to a product of Bernoulli measures of parameter $p\in(0,1)$, where a seed remains dormant until $FPP_1$ or $FPP_λ$ attempts to occupy it before then spreading through the edges of $\mathbb{Z}^d$ at rate $λ>0$. Particularly challenging aspects of FPPHE are its non-equilibrium dynamics and its lack of monotonicity (for instance, adding seeds could be benefitial to $FPP_1$ instead of $FPP_λ$); such characteristics, for example, prevent the application of a more standard multi-scale analysis. As a consequence of our main result for FPPHE, we establish a coexistence phase for the model for $d\geq3$, answering an open question in \cite{sidoravicius2019multi}. This exhibits a rare situation where a natural random competition model on $\mathbb{Z}^d$ observes coexistence for processes with \emph{different} speeds. Moreover, we are able to establish the stronger result that $FPP_1$ and $FPP_λ$ can both occupy a \emph{positive density} of sites with positive probability, which is in stark contrast with other competition processes.
△ Less
Submitted 26 July, 2022; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Random Memory Walk
Authors:
Alexander Fribergh,
Daniel Kious,
Vladas Sidoravicius,
Alexandre Stauffer
Abstract:
We present a simple model of a random walk with partial memory, which we call the \emph{random memory walk}. We introduce this model motivated by the belief that it mimics the behavior of the once-reinforced random walk in high dimensions and with small reinforcement. We establish the transience of the random memory walk in dimensions three and higher, and show that its scaling limit is a Brownian…
▽ More
We present a simple model of a random walk with partial memory, which we call the \emph{random memory walk}. We introduce this model motivated by the belief that it mimics the behavior of the once-reinforced random walk in high dimensions and with small reinforcement. We establish the transience of the random memory walk in dimensions three and higher, and show that its scaling limit is a Brownian motion.
△ Less
Submitted 21 April, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
A Method for Evaluating Definite Integrals in terms of Special Functions with Examples
Authors:
Robert Reynolds,
Allan Stauffer
Abstract:
We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage of using special functions is their analytic continuation which widens the range of the parameters of the definite integral over which the formula is valid. We…
▽ More
We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage of using special functions is their analytic continuation which widens the range of the parameters of the definite integral over which the formula is valid. We give as examples definite integrals of logarithmic functions times a trigonometric function. In various cases these generalizations evaluate to known mathematical constants such as Catalan's constant and $π$.
△ Less
Submitted 27 August, 2021; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Abelian oil and water dynamics does not have an absorbing-state phase transition
Authors:
Elisabetta Candellero,
Alexandre Stauffer,
Lorenzo Taggi
Abstract:
The oil and water model is an interacting particle system with two types of particles and a dynamics that conserves the number of particles, which belongs to the so-called class of Abelian networks. Widely studied processes in this class are sandpiles models and activated random walks, which are known (at least for some choice of the underlying graph) to undergo an absorbing-state phase transition…
▽ More
The oil and water model is an interacting particle system with two types of particles and a dynamics that conserves the number of particles, which belongs to the so-called class of Abelian networks. Widely studied processes in this class are sandpiles models and activated random walks, which are known (at least for some choice of the underlying graph) to undergo an absorbing-state phase transition. This phase transition characterizes the existence of two regimes, depending on the particle density: a regime of fixation at low densities, where the dynamics converges towards an absorbing state and each particle jumps only finitely many times, and a regime of activity at large densities, where particles jump infinitely often and activity is sustained indefinitely. In this work we show that the oil and water model is substantially different than sandpiles models and activated random walks, in the sense that it does not undergo an absorbing-state phase transition and is in the regime of fixation at all densities. Our result works in great generality: for any graph that is vertex transitive and for a large class of initial configurations.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Coexistence of competing first passage percolation on hyperbolic graphs
Authors:
Elisabetta Candellero,
Alexandre Stauffer
Abstract:
We study a natural growth process with competition, which was recently introduced to analyze MDLA, a challenging model for the growth of an aggregate by diffusing particles. The growth process consists of two first-passage percolation processes $\text{FPP}_1$ and $\text{FPP}_λ$, spreading with rates $1$ and $λ>0$ respectively, on a graph $G$. $\text{FPP}_1$ starts from a single vertex at the origi…
▽ More
We study a natural growth process with competition, which was recently introduced to analyze MDLA, a challenging model for the growth of an aggregate by diffusing particles. The growth process consists of two first-passage percolation processes $\text{FPP}_1$ and $\text{FPP}_λ$, spreading with rates $1$ and $λ>0$ respectively, on a graph $G$. $\text{FPP}_1$ starts from a single vertex at the origin $o$, while the initial configuration of $\text{FPP}_λ$ consists of infinitely many \emph{seeds} distributed according to a product of Bernoulli measures of parameter $μ>0$ on $V(G)\setminus \{o\}$. $\text{FPP}_1$ starts spreading from time 0, while each seed of $\text{FPP}_λ$ only starts spreading after it has been reached by either $\text{FPP}_1$ or $\text{FPP}_λ$. A fundamental question in this model, and in growth processes with competition in general, is whether the two processes coexist (i.e., both produce infinite clusters) with positive probability. We show that this is the case when $G$ is vertex transitive, non-amenable and hyperbolic, in particular, for any $λ>0$ there is a $μ_0=μ_0(G,λ)>0$ such that for all $μ\in(0,μ_0)$ the two processes coexist with positive probability. This is the first non-trivial instance where coexistence is established for this model. We also show that $\text{FPP}_λ$ produces an infinite cluster almost surely for any positive $λ,μ$, establishing fundamental differences with the behavior of such processes on $\mathbb{Z}^d$.
△ Less
Submitted 7 December, 2020; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Polynomial mixing time of edge flips on quadrangulations
Authors:
Alessandra Caraceni,
Alexandre Stauffer
Abstract:
We establish the first polynomial upper bound for the mixing time of random edge flips on rooted quadrangulations: we show that the spectral gap of the edge flip Markov chain on quadrangulations with $n$ faces admits, up to constants, an upper bound of $n^{-5/4}$ and a lower bound of $n^{-11/2}$. In order to obtain the lower bound, we also consider a very natural Markov chain on plane trees (or, e…
▽ More
We establish the first polynomial upper bound for the mixing time of random edge flips on rooted quadrangulations: we show that the spectral gap of the edge flip Markov chain on quadrangulations with $n$ faces admits, up to constants, an upper bound of $n^{-5/4}$ and a lower bound of $n^{-11/2}$. In order to obtain the lower bound, we also consider a very natural Markov chain on plane trees (or, equivalently, on Dyck paths) and improve the previous lower bound for its spectral gap obtained by Shor and Movassagh.
△ Less
Submitted 12 January, 2022; v1 submitted 13 September, 2018;
originally announced September 2018.
-
The dispersion time of random walks on finite graphs
Authors:
Nicolas Rivera,
Alexandre Stauffer,
Thomas Sauerwald,
John Sylvester
Abstract:
We study two random processes on an $n$-vertex graph inspired by the internal diffusion limited aggregation (IDLA) model. In both processes $n$ particles start from an arbitrary but fixed origin. Each particle performs a simple random walk until first encountering an unoccupied vertex, and at which point the vertex becomes occupied and the random walk terminates. In one of the processes, called \t…
▽ More
We study two random processes on an $n$-vertex graph inspired by the internal diffusion limited aggregation (IDLA) model. In both processes $n$ particles start from an arbitrary but fixed origin. Each particle performs a simple random walk until first encountering an unoccupied vertex, and at which point the vertex becomes occupied and the random walk terminates. In one of the processes, called \textit{Sequential-IDLA}, only one particle moves until settling and only then does the next particle start whereas in the second process, called \textit{Parallel-IDLA}, all unsettled particles move simultaneously. Our main goal is to analyze the so-called dispersion time of these processes, which is the maximum number of steps performed by any of the $n$ particles.
In order to compare the two processes, we develop a coupling which shows the dispersion time of the Parallel-IDLA stochastically dominates that of the Sequential-IDLA; however, the total number of steps performed by all particles has the same distribution in both processes. This coupling also gives us that dispersion time of Parallel-IDLA is bounded in expectation by dispersion time of the Sequential-IDLA up to a multiplicative $\log n$ factor. Moreover, we derive asymptotic upper and lower bound on the dispersion time for several graph classes, such as cliques, cycles, binary trees, $d$-dimensional grids, hypercubes and expanders. Most of our bounds are tight up to a multiplicative constant.
△ Less
Submitted 26 November, 2019; v1 submitted 28 August, 2018;
originally announced August 2018.
-
Percolation of Lipschitz surface and tight bounds on the spread of information among mobile agents
Authors:
Peter Gracar,
Alexandre Stauffer
Abstract:
We consider the problem of spread of information among mobile agents on the torus. The agents are initially distributed as a Poisson point process on the torus, and move as independent simple random walks. Two agents can share information whenever they are at the same vertex of the torus. We study the so-called flooding time: the amount of time it takes for information to be known by all agents. W…
▽ More
We consider the problem of spread of information among mobile agents on the torus. The agents are initially distributed as a Poisson point process on the torus, and move as independent simple random walks. Two agents can share information whenever they are at the same vertex of the torus. We study the so-called flooding time: the amount of time it takes for information to be known by all agents. We establish a tight upper bound on the flooding time, and introduce a technique which we believe can be applicable to analyze other processes involving mobile agents.
△ Less
Submitted 4 June, 2018;
originally announced June 2018.
-
Voices Obscured in Complex Environmental Settings (VOICES) corpus
Authors:
Colleen Richey,
Maria A. Barrios,
Zeb Armstrong,
Chris Bartels,
Horacio Franco,
Martin Graciarena,
Aaron Lawson,
Mahesh Kumar Nandwana,
Allen Stauffer,
Julien van Hout,
Paul Gamble,
Jeff Hetherly,
Cory Stephenson,
Karl Ni
Abstract:
This paper introduces the Voices Obscured In Complex Environmental Settings (VOICES) corpus, a freely available dataset under Creative Commons BY 4.0. This dataset will promote speech and signal processing research of speech recorded by far-field microphones in noisy room conditions. Publicly available speech corpora are mostly composed of isolated speech at close-range microphony. A typical appro…
▽ More
This paper introduces the Voices Obscured In Complex Environmental Settings (VOICES) corpus, a freely available dataset under Creative Commons BY 4.0. This dataset will promote speech and signal processing research of speech recorded by far-field microphones in noisy room conditions. Publicly available speech corpora are mostly composed of isolated speech at close-range microphony. A typical approach to better represent realistic scenarios, is to convolve clean speech with noise and simulated room response for model training. Despite these efforts, model performance degrades when tested against uncurated speech in natural conditions. For this corpus, audio was recorded in furnished rooms with background noise played in conjunction with foreground speech selected from the LibriSpeech corpus. Multiple sessions were recorded in each room to accommodate for all foreground speech-background noise combinations. Audio was recorded using twelve microphones placed throughout the room, resulting in 120 hours of audio per microphone. This work is a multi-organizational effort led by SRI International and Lab41 with the intent to push forward state-of-the-art distant microphone approaches in signal processing and speech recognition.
△ Less
Submitted 15 May, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Multi-scale Lipschitz percolation of increasing events for Poisson random walks
Authors:
Peter Gracar,
Alexandre Stauffer
Abstract:
Consider the graph induced by $\mathbb{Z}^d$, equipped with uniformly elliptic random conductances. At time $0$, place a Poisson point process of particles on $\mathbb{Z}^d$ and let them perform independent simple random walks. Tessellate the graph into cubes indexed by $i\in\mathbb{Z}^d$ and tessellate time into intervals indexed by $τ$. Given a local event $E(i,τ)$ that depends only on the parti…
▽ More
Consider the graph induced by $\mathbb{Z}^d$, equipped with uniformly elliptic random conductances. At time $0$, place a Poisson point process of particles on $\mathbb{Z}^d$ and let them perform independent simple random walks. Tessellate the graph into cubes indexed by $i\in\mathbb{Z}^d$ and tessellate time into intervals indexed by $τ$. Given a local event $E(i,τ)$ that depends only on the particles inside the space time region given by the cube $i$ and the time interval $τ$, we prove the existence of a Lipschitz connected surface of cells $(i,τ)$ that separates the origin from infinity on which $E(i,τ)$ holds. This gives a directly applicable and robust framework for proving results in this setting that need a multi-scale argument. For example, this allows us to prove that an infection spreads with positive speed among the particles.
△ Less
Submitted 8 August, 2018; v1 submitted 28 February, 2017;
originally announced February 2017.
-
Random walks in random conductances: decoupling and spread of infection
Authors:
Peter Gracar,
Alexandre Stauffer
Abstract:
Let $(G,μ)$ be a uniformly elliptic random conductance graph on $\mathbb{Z}^d$ with a Poisson point process of particles at time $t=0$ that perform independent simple random walks. We show that inside a cube $Q_K$ of side length $K$, if all subcubes of side length $\ell<K$ inside $Q_K$ have sufficiently many particles, the particles return to stationarity after $c\ell^2$ time with a probability cl…
▽ More
Let $(G,μ)$ be a uniformly elliptic random conductance graph on $\mathbb{Z}^d$ with a Poisson point process of particles at time $t=0$ that perform independent simple random walks. We show that inside a cube $Q_K$ of side length $K$, if all subcubes of side length $\ell<K$ inside $Q_K$ have sufficiently many particles, the particles return to stationarity after $c\ell^2$ time with a probability close to $1$. We also show this result for percolation clusters on locally finite graphs. Using this mixing result, we show that in this setup, an infection spreads with positive speed in any direction. Our framework is robust enough to allow us to also extend the result to infection with recovery, where we show positive speed and that the infection survives indefinitely with positive probability.
△ Less
Submitted 7 July, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
Polynomial mixing of the edge-flip Markov chain for unbiased dyadic tilings
Authors:
Sarah Cannon,
David Levin,
Alexandre Stauffer
Abstract:
We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall, and Spencer in 2002. A dyadic tiling of size n is a tiling of the unit square by n non-overlap** dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2^{-s}…
▽ More
We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall, and Spencer in 2002. A dyadic tiling of size n is a tiling of the unit square by n non-overlap** dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2^{-s}, (a+1)2^{-s}] \times [b2^{-t}, (b+1)2^{-t}] for non-negative integers a,b,s,t. The edge-flip Markov chain selects a random edge of the tiling and replaces it with its perpendicular bisector if doing so yields a valid dyadic tiling. Specifically, we show that the relaxation time of the edge-flip Markov chain for dyadic tilings is at most O(n^{4.09}), which implies that the mixing time is at most O(n^{5.09}). We complement this by showing that the relaxation time is at least Ω(n^{1.38}), improving upon the previously best lower bound of Ω(n\log n) coming from the diameter of the chain.
△ Less
Submitted 11 November, 2016;
originally announced November 2016.
-
Multi-Particle Diffusion Limited Aggregation
Authors:
Vladas Sidoravicius,
Alexandre Stauffer
Abstract:
We consider a stochastic aggregation model on Z^d. Start with particles located at the vertices of the lattice, initially distributed according to the product Bernoulli measure with parameter μ. In addition, there is an aggregate, which initially consists of the origin. Non-aggregated particles move as continuous time simple random walks obeying the exclusion rule, whereas aggregated particles do…
▽ More
We consider a stochastic aggregation model on Z^d. Start with particles located at the vertices of the lattice, initially distributed according to the product Bernoulli measure with parameter μ. In addition, there is an aggregate, which initially consists of the origin. Non-aggregated particles move as continuous time simple random walks obeying the exclusion rule, whereas aggregated particles do not move. The aggregate grows by attaching particles to its surface whenever a particle attempts to jump onto it. This evolution is referred to as multi-particle diffusion limited aggregation.
Our main result states that if on d>1 the initial density of particles is large enough, then with positive probability the aggregate has linearly growing arms, i.e. if F(t) denotes the point of the aggregate furthest away from the origin at time t>0, then there exists a constant c>0 so that |F(t)|>ct, for all t eventually.
The key conceptual element of our analysis is the introduction and study of a new growth process. Consider a first passage percolation process, called type 1, starting from the origin. Whenever type 1 is about to occupy a new vertex, with positive probability, instead of doing it, it gives rise to another first passage percolation process, called type 2, which starts to spread from that vertex. Each vertex gets occupied only by the process that arrives to it first. This process may have three phases: an extinction phase, where type 1 gets eventually surrounded by type 2 clusters, a coexistence phase, where infinite clusters of both types emerge, and a strong survival phase, where type 1 produces an infinite cluster that successfully surrounds all type 2 clusters. Understanding the behavior of this process in its various phases is of mathematical interest on its own right. We establish the existence of a strong survival phase, and use this to show our main result.
△ Less
Submitted 19 April, 2019; v1 submitted 10 March, 2016;
originally announced March 2016.
-
Critical density of activated random walks on transitive graphs
Authors:
Alexandre Stauffer,
Lorenzo Taggi
Abstract:
We consider the activated random walk model on general vertex-transitive graphs. A central question in this model is whether the critical density $μ_c$ for sustained activity is strictly between 0 and 1. It was known that $μ_c>0$ on $\mathbb{Z}^d$, $d\geq 1$, and that $μ_c<1$ on $\mathbb{Z}$ for small enough slee** rate. We show that $μ_c\to 0$ as $λ\to 0$ in all vertex-transitive transient grap…
▽ More
We consider the activated random walk model on general vertex-transitive graphs. A central question in this model is whether the critical density $μ_c$ for sustained activity is strictly between 0 and 1. It was known that $μ_c>0$ on $\mathbb{Z}^d$, $d\geq 1$, and that $μ_c<1$ on $\mathbb{Z}$ for small enough slee** rate. We show that $μ_c\to 0$ as $λ\to 0$ in all vertex-transitive transient graphs, implying that $μ_c<1$ for small enough slee** rate. We also show that $μ_c<1$ for any slee** rate in any vertex-transitive graph in which simple random walk has positive speed. Furthermore, we prove that $μ_c>0$ in any vertex-transitive amenable graph, and that $μ_c\in(0,1)$ for any slee** rate on regular trees.
△ Less
Submitted 13 December, 2017; v1 submitted 8 December, 2015;
originally announced December 2015.
-
Dynamics of Lattice Triangulations on Thin Rectangles
Authors:
Pietro Caputo,
Fabio Martinelli,
Alistair Sinclair,
Alexandre Stauffer
Abstract:
We consider random lattice triangulations of $n\times k$ rectangular regions with weight $λ^{|σ|}$ where $λ>0$ is a parameter and $|σ|$ denotes the total edge length of the triangulation. When $λ\in(0,1)$ and $k$ is fixed, we prove a tight upper bound of order $n^2$ for the mixing time of the edge-flip Glauber dynamics. Combined with the previously known lower bound of order $\exp(Ω(n^2))$ for…
▽ More
We consider random lattice triangulations of $n\times k$ rectangular regions with weight $λ^{|σ|}$ where $λ>0$ is a parameter and $|σ|$ denotes the total edge length of the triangulation. When $λ\in(0,1)$ and $k$ is fixed, we prove a tight upper bound of order $n^2$ for the mixing time of the edge-flip Glauber dynamics. Combined with the previously known lower bound of order $\exp(Ω(n^2))$ for $λ>1$ [3], this establishes the existence of a dynamical phase transition for thin rectangles with critical point at $λ=1$.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
A Lyapunov function for Glauber dynamics on lattice triangulations
Authors:
Alexandre Stauffer
Abstract:
We study random triangulations of the integer points $[0,n]^2 \cap\mathbb{Z}^2$, where each triangulation $σ$ has probability measure $λ^{|σ|}$ with $|σ|$ denoting the sum of the length of the edges in $σ$. Such triangulations are called \emph{lattice triangulations}. We construct a height function on lattice triangulations and prove that, in the whole subcritical regime $λ<1$, the function behave…
▽ More
We study random triangulations of the integer points $[0,n]^2 \cap\mathbb{Z}^2$, where each triangulation $σ$ has probability measure $λ^{|σ|}$ with $|σ|$ denoting the sum of the length of the edges in $σ$. Such triangulations are called \emph{lattice triangulations}. We construct a height function on lattice triangulations and prove that, in the whole subcritical regime $λ<1$, the function behaves as a \emph{Lyapunov function} with respect to Glauber dynamics; that is, the function is a supermartingale. We show the applicability of the above result by establishing several features of lattice triangulations, such as tightness of local measures, exponential tail of edge lengths, crossings of small triangles, and decay of correlations in thin rectangles. These are the first results on lattice triangulations that are valid in the whole subcritical regime $λ<1$. In a very recent work with Caputo, Martinelli and Sinclair, we apply this Lyapunov function to establish tight bounds on the mixing time of Glauber dynamics in thin rectangles that hold for all $λ<1$. The Lyapunov function result here holds in great generality; it holds for triangulations of general lattice polygons (instead of the $[0,n]^2$ square) and also in the presence of arbitrary constraint edges.
△ Less
Submitted 29 April, 2015;
originally announced April 2015.
-
Intersection and mixing times for reversible chains
Authors:
Yuval Peres,
Thomas Sauerwald,
Perla Sousi,
Alexandre Stauffer
Abstract:
Suppose X and Y are two independent irreducible Markov chains on n states. We consider the intersection time, which is the first time their trajectories intersect. We show for reversible and lazy chains that the total variation mixing time is always upper bounded by the expected intersection time taken over the worst starting states. For random walks on trees we show the two quantities are equival…
▽ More
Suppose X and Y are two independent irreducible Markov chains on n states. We consider the intersection time, which is the first time their trajectories intersect. We show for reversible and lazy chains that the total variation mixing time is always upper bounded by the expected intersection time taken over the worst starting states. For random walks on trees we show the two quantities are equivalent. We obtain an expression for the expected intersection time in terms of the eigenvalues for reversible and transitive chains. For such chains we also show that it is up to constants the geometric mean of n and E[I], where I is the number of intersections up to the uniform mixing time. Finally for random walks on regular graphs we obtain sharp inequalities that relate the expected intersection time to maximum hitting time and mixing time.
△ Less
Submitted 29 December, 2014;
originally announced December 2014.
-
Phase transition for finite-speed detection among moving particles
Authors:
Vladas Sidoravicius,
Alexandre Stauffer
Abstract:
Consider the model where particles are initially distributed on $\mathbb{Z}^d, \, d\geq 2$, according to a Poisson point process of intensity $λ>0$, and are moving in continuous time as independent simple symmetric random walks. We study the escape versus detection problem, in which the target, initially placed at the origin of $\mathbb{Z}^d, \, d\geq 2$, and changing its location on the lattice i…
▽ More
Consider the model where particles are initially distributed on $\mathbb{Z}^d, \, d\geq 2$, according to a Poisson point process of intensity $λ>0$, and are moving in continuous time as independent simple symmetric random walks. We study the escape versus detection problem, in which the target, initially placed at the origin of $\mathbb{Z}^d, \, d\geq 2$, and changing its location on the lattice in time according to some rule, is said to be detected if at some finite time its position coincides with the position of a particle. We consider the case where the target can move with speed at most 1, according to any continuous function and can adapt its motion based on the location of the particles. We show that there exists sufficiently small $λ_* > 0$, so that if the initial density of particles $λ< λ_*$, then the target can avoid detection forever.
△ Less
Submitted 30 December, 2013;
originally announced December 2013.
-
Searching for a highly unlikely frame dependent speed of light using a one-way test
Authors:
Md. Farid Ahmed,
Brendan M. Quine,
Spiros Pagiatakis,
A. D. Stauffer
Abstract:
At first blush, what appears to be a purely physical question to measure any velocity: how to measure the velocity on a one-way trip? However, due to the debates of the clock-synchronization and the successes of Special Relativity (SR), searching of the possibility of one-way speed of light measurement did not receive wider attention since the declaration of the constancy of the speed of light in…
▽ More
At first blush, what appears to be a purely physical question to measure any velocity: how to measure the velocity on a one-way trip? However, due to the debates of the clock-synchronization and the successes of Special Relativity (SR), searching of the possibility of one-way speed of light measurement did not receive wider attention since the declaration of the constancy of the speed of light in vacuum by Maxwell's Electrodynamics in 1864. However, our analysis suggests that the debates of the clock synchronization are insignificant when one uses a one-way experiment to test the isotropy of the speed of light - the fundamental postulate of SR. Searching of the possibility of one-way speed of light to test SR is introduced by reviewing recent one-way tests.
△ Less
Submitted 16 October, 2013;
originally announced October 2013.
-
Results of a one-way experiment to test the isotropy of the speed of light
Authors:
Md. Farid Ahmed,
Brendan M. Quine,
Spiros Pagiatakis,
A. D. Stauffer
Abstract:
This paper presents the outcome of an experiment based on an improved version of Fizeau's coupled-slotted-discs that tests the fundamental postulates of Special Relativity for the one-way speed of light propagation. According to our methodology, important phenomena - a limit on and the diurnal regularity of the variation of the speed of light due to the movements of the Earth (assuming that the sp…
▽ More
This paper presents the outcome of an experiment based on an improved version of Fizeau's coupled-slotted-discs that tests the fundamental postulates of Special Relativity for the one-way speed of light propagation. According to our methodology, important phenomena - a limit on and the diurnal regularity of the variation of the speed of light due to the movements of the Earth (assuming that the speed of light follows a Galilean transformation) - can be tested by the present experiment. However, these measurements do not indicate any significant diurnal variation. Consequently, the limit of the present outcome on the variation of the speed of light is insignificant. Assuming that the speed of light is not invariant and performing a rigorous statistical analysis, the limit established is approximately 1/50 of the previous Fizeau-type experiment with 95% confidence level. These outcomes are consistent with the assumptions of Einstein's Special Relativity.
△ Less
Submitted 4 October, 2013;
originally announced October 2013.
-
Balls into bins via local search: cover time and maximum load
Authors:
Karl Bringmann,
Thomas Sauerwald,
Alexandre Stauffer,
He Sun
Abstract:
We study a natural process for allocating m balls into n bins that are organized as the vertices of an undirected graph G. Balls arrive one at a time. When a ball arrives, it first chooses a vertex u in G uniformly at random. Then the ball performs a local search in G starting from u until it reaches a vertex with local minimum load, where the ball is finally placed on. Then the next ball arrives…
▽ More
We study a natural process for allocating m balls into n bins that are organized as the vertices of an undirected graph G. Balls arrive one at a time. When a ball arrives, it first chooses a vertex u in G uniformly at random. Then the ball performs a local search in G starting from u until it reaches a vertex with local minimum load, where the ball is finally placed on. Then the next ball arrives and this procedure is repeated. For the case m = n, we give an upper bound for the maximum load on graphs with bounded degrees. We also propose the study of the cover time of this process, which is defined as the smallest m so that every bin has at least one ball allocated to it. We establish an upper bound for the cover time on graphs with bounded degrees. Our bounds for the maximum load and the cover time are tight when the graph is transitive or sufficiently homogeneous. We also give upper bounds for the maximum load when m > n.
△ Less
Submitted 15 February, 2014; v1 submitted 2 October, 2013;
originally announced October 2013.
-
Random walks on dynamical percolation: mixing times, mean squared displacement and hitting times
Authors:
Yuval Peres,
Alexandre Stauffer,
Jeffrey E. Steif
Abstract:
We study the behavior of random walk on dynamical percolation. In this model, the edges of a graph G are either open or closed and refresh their status at rate μ while at the same time a random walker moves on G at rate 1 but only along edges which are open. On the d-dimensional torus with side length n, we prove that in the subcritical regime, the mixing times for both the full system and the ran…
▽ More
We study the behavior of random walk on dynamical percolation. In this model, the edges of a graph G are either open or closed and refresh their status at rate μ while at the same time a random walker moves on G at rate 1 but only along edges which are open. On the d-dimensional torus with side length n, we prove that in the subcritical regime, the mixing times for both the full system and the random walker are n^2/μ up to constants. We also obtain results concerning mean squared displacement and hitting times. Finally, we show that the usual recurrence transience dichotomy for the lattice Z^d holds for this model as well.
△ Less
Submitted 28 August, 2013;
originally announced August 2013.
-
Random lattice triangulations: Structure and algorithms
Authors:
Pietro Caputo,
Fabio Martinelli,
Alistair Sinclair,
Alexandre Stauffer
Abstract:
The paper concerns lattice triangulations, that is, triangulations of the integer points in a polygon in $\mathbb{R}^2$ whose vertices are also integer points. Lattice triangulations have been studied extensively both as geometric objects in their own right and by virtue of applications in algebraic geometry. Our focus is on random triangulations in which a triangulation $σ$ has weight $λ^{|σ|}$,…
▽ More
The paper concerns lattice triangulations, that is, triangulations of the integer points in a polygon in $\mathbb{R}^2$ whose vertices are also integer points. Lattice triangulations have been studied extensively both as geometric objects in their own right and by virtue of applications in algebraic geometry. Our focus is on random triangulations in which a triangulation $σ$ has weight $λ^{|σ|}$, where $λ$ is a positive real parameter, and $|σ|$ is the total length of the edges in $σ$. Empirically, this model exhibits a "phase transition" at $λ=1$ (corresponding to the uniform distribution): for $λ<1$ distant edges behave essentially independently, while for $λ>1$ very large regions of aligned edges appear. We substantiate this picture as follows. For $λ<1$ sufficiently small, we show that correlations between edges decay exponentially with distance (suitably defined), and also that the Glauber dynamics (a local Markov chain based on flip** edges) is rapidly mixing (in time polynomial in the number of edges in the triangulation). This dynamics has been proposed by several authors as an algorithm for generating random triangulations. By contrast, for $λ>1$ we show that the mixing time is exponential. These are apparently the first rigorous quantitative results on the structure and dynamics of random lattice triangulations.
△ Less
Submitted 2 June, 2015; v1 submitted 8 November, 2012;
originally announced November 2012.
-
Balls into Bins via Local Search
Authors:
Paul Bogdan,
Thomas Sauerwald,
Alexandre Stauffer,
He Sun
Abstract:
We propose a natural process for allocating n balls into n bins that are organized as the vertices of an undirected graph G. Each ball first chooses a vertex u in G uniformly at random. Then the ball performs a local search in G starting from u until it reaches a vertex with local minimum load, where the ball is finally placed on. In our main result, we prove that this process yields a maximum loa…
▽ More
We propose a natural process for allocating n balls into n bins that are organized as the vertices of an undirected graph G. Each ball first chooses a vertex u in G uniformly at random. Then the ball performs a local search in G starting from u until it reaches a vertex with local minimum load, where the ball is finally placed on. In our main result, we prove that this process yields a maximum load of only Θ(\log \log n) on expander graphs. In addition, we show that for d-dimensional grids the maximum load is Θ\Big(\big(\frac{\log n}{\log \log n}\big)^{\frac{1}{d+1}}\Big). Finally, for almost regular graphs with minimum degree Ω(\log n), we prove that the maximum load is constant and also reveal a fundamental difference between random and arbitrary tie-breaking rules.
△ Less
Submitted 9 July, 2012;
originally announced July 2012.
-
Space-time percolation and detection by mobile nodes
Authors:
Alexandre Stauffer
Abstract:
Consider the model where nodes are initially distributed as a Poisson point process with intensity $λ$ over $\mathbb{R}^d$ and are moving in continuous time according to independent Brownian motions. We assume that nodes are capable of detecting all points within distance $r$ of their location and study the problem of determining the first time at which a target particle, which is initially placed…
▽ More
Consider the model where nodes are initially distributed as a Poisson point process with intensity $λ$ over $\mathbb{R}^d$ and are moving in continuous time according to independent Brownian motions. We assume that nodes are capable of detecting all points within distance $r$ of their location and study the problem of determining the first time at which a target particle, which is initially placed at the origin of $\mathbb{R}^d$, is detected by at least one node. We consider the case where the target particle can move according to any continuous function and can adapt its motion based on the location of the nodes. We show that there exists a sufficiently large value of $λ$ so that the target will eventually be detected almost surely. This means that the target cannot evade detection even if it has full information about the past, present and future locations of the nodes. Also, this establishes a phase transition for $λ$ since, for small enough $λ$, with positive probability the target can avoid detection forever. A key ingredient of our proof is to use fractal percolation and multi-scale analysis to show that cells with a small density of nodes do not percolate in space and time.
△ Less
Submitted 9 September, 2015; v1 submitted 31 August, 2011;
originally announced August 2011.
-
The Isolation Time of Poisson Brownian Motions
Authors:
Yuval Peres,
Perla Sousi,
Alexandre Stauffer
Abstract:
Let the nodes of a Poisson point process move independently in $\R^d$ according to Brownian motions. We study the isolation time for a target particle that is placed at the origin, namely how long it takes until there is no node of the Poisson point process within distance $r$ of it. In the case when the target particle does not move, we obtain asymptotics for the tail {probability} which are tigh…
▽ More
Let the nodes of a Poisson point process move independently in $\R^d$ according to Brownian motions. We study the isolation time for a target particle that is placed at the origin, namely how long it takes until there is no node of the Poisson point process within distance $r$ of it. In the case when the target particle does not move, we obtain asymptotics for the tail {probability} which are tight up to constants in the exponent in dimension $d\geq 3$ and tight up to logarithmic factors in the exponent for dimensions $d=1,2$. In the case when the target particle is allowed to move independently of the Poisson point process, we show that the best strategy for the target to avoid isolation is to stay put.
△ Less
Submitted 14 March, 2012; v1 submitted 29 August, 2011;
originally announced August 2011.
-
A Monte Carlo study of the fluctuations in Xe electroluminescence yield: pure Xe vs Xe doped with CH4 or CF4 and planar vs cylindrical geometries
Authors:
J. Escada,
T. H. V. T. Dias,
F. P. Santos,
P. J. B. M. Rachinhas,
C. A. N. Conde,
A. D. Stauffer
Abstract:
Monte Carlo simulation is used to investigate the fluctuations in the Xe proportional electroluminescence (EL) yield H (also known as secondary scintillation) produced by sub-ionization primary electrons drifting in the gas under appropriate electric fields, comparing pure Xe gas with Xe doped with CH4 or CF4. The work is modeled on gas detectors of the gas proportional-scintillation type, where a…
▽ More
Monte Carlo simulation is used to investigate the fluctuations in the Xe proportional electroluminescence (EL) yield H (also known as secondary scintillation) produced by sub-ionization primary electrons drifting in the gas under appropriate electric fields, comparing pure Xe gas with Xe doped with CH4 or CF4. The work is modeled on gas detectors of the gas proportional-scintillation type, where amplification is achieved through the production of EL under a charge-multiplication free regime. The addition of the molecular gases to Xe reduces electron diffusion, a desirable effect in large size detectors where primary electrons drift across a long absorption/drift region. However, the presence of the molecules reduces H and increases its fluctuations. In the case of CF4, the effects are very strong due to significant electron attachment in the EL field range, ruling out CF4 as an acceptable additive. The addition of CH4 affects H and its fluctuations to a much lower extent, and CH4 concentrations lower than ~1% may be an appropriate choice. In addition, Monte Carlo calculations in pure Xe under cylindrical geometry in a regime below charge multiplication have shown that fluctuations in the EL yield H are an order of magnitude higher than for planar geometry. For both geometries, though, the fluctuations have a negligible effect on the energy resolution, and variations of the anode radius in cylindrical geometry or grid parallelism in planar geometry may be a more significant cause of concern.
△ Less
Submitted 25 August, 2011; v1 submitted 27 July, 2011;
originally announced July 2011.
-
Perturbing the hexagonal circle packing: a percolation perspective
Authors:
Itai Benjamini,
Alexandre Stauffer
Abstract:
We consider the hexagonal circle packing with radius 1/2 and perturb it by letting the circles move as independent Brownian motions for time t. It is shown that, for large enough t, if Π_t is the point process given by the center of the circles at time t, then, as t\to\infty, the critical radius for circles centered at Π_t to contain an infinite component converges to that of continuum percolation…
▽ More
We consider the hexagonal circle packing with radius 1/2 and perturb it by letting the circles move as independent Brownian motions for time t. It is shown that, for large enough t, if Π_t is the point process given by the center of the circles at time t, then, as t\to\infty, the critical radius for circles centered at Π_t to contain an infinite component converges to that of continuum percolation (which was shown---based on a Monte Carlo estimate---by Balister, Bollobás and Walters to be strictly bigger than 1/2). On the other hand, for small enough t, we show (using a Monte Carlo estimate for a fixed but high dimensional integral) that the union of the circles contains an infinite connected component. We discuss some extensions and open problems.
△ Less
Submitted 12 January, 2012; v1 submitted 5 April, 2011;
originally announced April 2011.
-
To Re-Consider the One-Way Speed of Light Using Fizeau-Type-Coupled-Slotted-Disks
Authors:
Md. Farid Ahmed,
Brendan M. Quine,
Stoyan Sargoytchev,
A. D. Stauffer
Abstract:
The isotropy of the speed of light - the fundamental postulate of Special Relativity (SR) constrains conceptions of time, space and the existence of a preferred cosmological reference frame. Consequently, this phenomenon has been subject to considerable experimental scrutiny. Most isotropy tests are two-way Michelson-Morley type tests which established the isotropy of the two-way speed in 1881. Th…
▽ More
The isotropy of the speed of light - the fundamental postulate of Special Relativity (SR) constrains conceptions of time, space and the existence of a preferred cosmological reference frame. Consequently, this phenomenon has been subject to considerable experimental scrutiny. Most isotropy tests are two-way Michelson-Morley type tests which established the isotropy of the two-way speed in 1881. These approaches provide no experimental limit for the one-way (single-trip) isotropy of the speed of light which is still unresolved. Here we consider Fizeau-type experiments to test the isotropy of the one-way speed of light. Our theoretical and experimental design suggests that our approach is 2600 times more sensitive than that of previous Fizeau-type experiments and 2000 times more sensitive than Michelson-Morley type two-way tests. We present our experimental methodology as well as initial calibration results for our experimental apparatus.
△ Less
Submitted 24 May, 2011; v1 submitted 31 March, 2011;
originally announced March 2011.
-
A Review of One-Way and Two-Way Experiments to Test the Isotropy of the Speed of Light
Authors:
Md. Farid Ahmed,
Brendan M. Quine,
Stoyan Sargoytchev,
A. D. Stauffer
Abstract:
As we approach the 125th anniversary of the Michelson-Morley experiment in 2012, we review experiments that test the isotropy of the speed of light. Previous measurements are categorized into one-way (single-trip) and two-way (round-trip averaged or over closed paths) approaches and the level of experimental verification that these experiments provide is discussed. The isotropy of the speed of lig…
▽ More
As we approach the 125th anniversary of the Michelson-Morley experiment in 2012, we review experiments that test the isotropy of the speed of light. Previous measurements are categorized into one-way (single-trip) and two-way (round-trip averaged or over closed paths) approaches and the level of experimental verification that these experiments provide is discussed. The isotropy of the speed of light is one of the postulates of the Special Theory of Relativity (STR) and, consequently, this phenomenon has been subject to considerable experimental scrutiny. Here, we tabulate significant experiments performed since 1881 and attempt to indicate a direction for future investigation.
△ Less
Submitted 8 April, 2011; v1 submitted 4 November, 2010;
originally announced November 2010.
-
Mobile Geometric Graphs: Detection, Coverage and Percolation
Authors:
Yuval Peres,
Alistair Sinclair,
Perla Sousi,
Alexandre Stauffer
Abstract:
We consider the following dynamic Boolean model introduced by van den Berg, Meester and White (1997). At time 0, let the nodes of the graph be a Poisson point process in R^d with constant intensity and let each node move independently according to Brownian motion. At any time t, we put an edge between every pair of nodes if their distance is at most r. We study three features in this model: detect…
▽ More
We consider the following dynamic Boolean model introduced by van den Berg, Meester and White (1997). At time 0, let the nodes of the graph be a Poisson point process in R^d with constant intensity and let each node move independently according to Brownian motion. At any time t, we put an edge between every pair of nodes if their distance is at most r. We study three features in this model: detection (the time until a target point---fixed or moving---is within distance r from some node of the graph), coverage (the time until all points inside a finite box are detected by the graph), and percolation (the time until a given node belongs to the infinite connected component of the graph). We obtain precise asymptotics for these features by combining ideas from stochastic geometry, coupling and multi-scale analysis.
△ Less
Submitted 21 December, 2010; v1 submitted 31 July, 2010;
originally announced August 2010.
-
Characterizing Optimal Sampling of Binary Contingency Tables via the Configuration Model
Authors:
Jose Blanchet,
Alexandre Stauffer
Abstract:
A binary contingency table is an m x n array of binary entries with prescribed row sums r=(r_1,...,r_m) and column sums c=(c_1,...,c_n). The configuration model for uniformly sampling binary contingency tables proceeds as follows. First, label N=\sum_{i=1}^{m} r_i tokens of type 1, arrange them in m cells, and let the i-th cell contain r_i tokens. Next, label another set of tokens of type 2 contai…
▽ More
A binary contingency table is an m x n array of binary entries with prescribed row sums r=(r_1,...,r_m) and column sums c=(c_1,...,c_n). The configuration model for uniformly sampling binary contingency tables proceeds as follows. First, label N=\sum_{i=1}^{m} r_i tokens of type 1, arrange them in m cells, and let the i-th cell contain r_i tokens. Next, label another set of tokens of type 2 containing N=\sum_{j=1}^{n}c_j elements arranged in n cells, and let the j-th cell contain c_j tokens. Finally, pair the type-1 tokens with the type-2 tokens by generating a random permutation until the total pairing corresponds to a binary contingency table. Generating one random permutation takes O(N) time, which is optimal up to constant factors. A fundamental question is whether a constant number of permutations is sufficient to obtain a binary contingency table. In the current paper, we solve this problem by showing a necessary and sufficient condition so that the probability that the configuration model outputs a binary contingency table remains bounded away from 0 as N goes to \infty. Our finding shows surprising differences from recent results for binary symmetric contingency tables.
△ Less
Submitted 11 October, 2011; v1 submitted 7 July, 2010;
originally announced July 2010.
-
Mobile Geometric Graphs, and Detection and Communication Problems in Mobile Wireless Networks
Authors:
Alistair Sinclair,
Alexandre Stauffer
Abstract:
Static wireless networks are by now quite well understood mathematically through the random geometric graph model. By contrast, there are relatively few rigorous results on the practically important case of mobile networks, in which the nodes move over time; moreover, these results often make unrealistic assumptions about node mobility such as the ability to make very large jumps. In this paper we…
▽ More
Static wireless networks are by now quite well understood mathematically through the random geometric graph model. By contrast, there are relatively few rigorous results on the practically important case of mobile networks, in which the nodes move over time; moreover, these results often make unrealistic assumptions about node mobility such as the ability to make very large jumps. In this paper we consider a realistic model for mobile wireless networks which we call mobile geometric graphs, and which is a natural extension of the random geometric graph model. We study two fundamental questions in this model: detection (the time until a given "target" point - which may be either fixed or moving - is detected by the network), and percolation (the time until a given node is able to communicate with the giant component of the network). For detection, we show that the probability that the detection time exceeds t is \exp(-Θ(t/\log t)) in two dimensions, and \exp(-Θ(t)) in three or more dimensions, under reasonable assumptions about the motion of the target. For percolation, we show that the probability that the percolation time exceeds t is \exp(-Ω(t^\frac{d}{d+2})) in all dimensions d\geq 2. We also give a sample application of this result by showing that the time required to broadcast a message through a mobile network with n nodes above the threshold density for existence of a giant component is O(\log^{1+2/d} n) with high probability.
△ Less
Submitted 7 July, 2010; v1 submitted 6 May, 2010;
originally announced May 2010.
-
A study of the edge-switching Markov-chain method for the generation of random graphs
Authors:
Alexandre O. Stauffer,
Valmir C. Barbosa
Abstract:
We study the problem of generating connected random graphs with no self-loops or multiple edges and that, in addition, have a given degree sequence. The generation method we focus on is the edge-switching Markov-chain method, whose functioning depends on a parameter w related to the method's core operation of an edge switch. We analyze two existing heuristics for adjusting w during the generation…
▽ More
We study the problem of generating connected random graphs with no self-loops or multiple edges and that, in addition, have a given degree sequence. The generation method we focus on is the edge-switching Markov-chain method, whose functioning depends on a parameter w related to the method's core operation of an edge switch. We analyze two existing heuristics for adjusting w during the generation of a graph and show that they result in a Markov chain whose stationary distribution is uniform, thus ensuring that generation occurs uniformly at random. We also introduce a novel w-adjusting heuristic which, even though it does not always lead to a Markov chain, is still guaranteed to converge to the uniform distribution under relatively mild conditions. We report on extensive computer experiments comparing the three heuristics' performance at generating random graphs whose node degrees are distributed as power laws.
△ Less
Submitted 30 June, 2011; v1 submitted 29 December, 2005;
originally announced December 2005.
-
A dissemination strategy for immunizing scale-free networks
Authors:
Alexandre O. Stauffer,
Valmir C. Barbosa
Abstract:
We consider the problem of distributing a vaccine for immunizing a scale-free network against a given virus or worm. We introduce a new method, based on vaccine dissemination, that seems to reflect more accurately what is expected to occur in real-world networks. Also, since the dissemination is performed using only local information, the method can be easily employed in practice. Using a random…
▽ More
We consider the problem of distributing a vaccine for immunizing a scale-free network against a given virus or worm. We introduce a new method, based on vaccine dissemination, that seems to reflect more accurately what is expected to occur in real-world networks. Also, since the dissemination is performed using only local information, the method can be easily employed in practice. Using a random-graph framework, we analyze our method both mathematically and by means of simulations. We demonstrate its efficacy regarding the trade-off between the expected number of nodes that receive the vaccine and the network's resulting vulnerability to develop an epidemic as the virus or worm attempts to infect one of its nodes. For some scenarios, the new method is seen to render the network practically invulnerable to attacks while requiring only a small fraction of the nodes to receive the vaccine.
△ Less
Submitted 22 November, 2005;
originally announced November 2005.
-
Local heuristics and the emergence of spanning subgraphs in complex networks
Authors:
A. O. Stauffer,
V. C. Barbosa
Abstract:
We study the use of local heuristics to determine spanning subgraphs for use in the dissemination of information in complex networks. We introduce two different heuristics and analyze their behavior in giving rise to spanning subgraphs that perform well in terms of allowing every node of the network to be reached, of requiring relatively few messages and small node bandwidth for information diss…
▽ More
We study the use of local heuristics to determine spanning subgraphs for use in the dissemination of information in complex networks. We introduce two different heuristics and analyze their behavior in giving rise to spanning subgraphs that perform well in terms of allowing every node of the network to be reached, of requiring relatively few messages and small node bandwidth for information dissemination, and also of stretching paths with respect to the underlying network only modestly. We contribute a detailed mathematical analysis of one of the heuristics and provide extensive simulation results on random graphs for both of them. These results indicate that, within certain limits, spanning subgraphs are indeed expected to emerge that perform well in respect to all requirements. We also discuss the spanning subgraphs' inherent resilience to failures and adaptability to topological changes.
△ Less
Submitted 25 November, 2004;
originally announced November 2004.