Showing 1–16 of 16 results for author: Kager, W

On the class of matrices with rows that weakly decrease cyclicly from the diagonal

Authors: Wouter Kager, Pieter Jacob Storm

Abstract: We consider $n\times n$ real-valued matrices $A = (a_{ij})$ satisfying $a_{ii} \geq a_{i,i+1} \geq \dots \geq a_{in} \geq a_{i1} \geq \dots \geq a_{i,i-1}$ for $i = 1,\dots,n$. With such a matrix $A$ we associate a directed graph $G(A)$. We prove that the solutions to the system $A^T x = λe$, with $λ\in \mathbb{R}$ and $e$ the vector of all ones, are linear combinations of 'fundamental' solutions… ▽ More We consider $n\times n$ real-valued matrices $A = (a_{ij})$ satisfying $a_{ii} \geq a_{i,i+1} \geq \dots \geq a_{in} \geq a_{i1} \geq \dots \geq a_{i,i-1}$ for $i = 1,\dots,n$. With such a matrix $A$ we associate a directed graph $G(A)$. We prove that the solutions to the system $A^T x = λe$, with $λ\in \mathbb{R}$ and $e$ the vector of all ones, are linear combinations of 'fundamental' solutions to $A^T x=e$ and vectors in $\ker A^T$, each of which is associated with a closed strongly connected component (SCC) of $G(A)$. This allows us to characterize the sign of $\det A$ in terms of the number of closed SCCs and the solutions to $A^T x = e$. In addition, we provide conditions for $A$ to be a $P$-matrix. △ Less

Submitted 7 June, 2023; v1 submitted 4 December, 2022; originally announced December 2022.

Comments: 17 pages, 2 figures; minor changes in introduction, added Figure 1, corrected typos

MSC Class: 15A06; 15A15; 15B99; 05C50

Journal ref: Linear Algebra and its Applications 673 pp. 200-219 (2023)

A short simple proof of closedness of convex cones and Farkas' lemma

Authors: Wouter Kager

Abstract: Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas' lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas' lemma from it using well-known arguments. Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas' lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas' lemma from it using well-known arguments. △ Less

Submitted 9 June, 2023; v1 submitted 23 August, 2022; originally announced August 2022.

Comments: 2 pages; v2: note largely rewritten, provided more context, improved presentation, added 5 references

MSC Class: 15A39 (Primary); 90C05; 52A20 (Secondary)

Journal ref: The American Mathematical Monthly 131:1, 74-75 (2024)

Stability of a Stochastic Ring Network

Authors: Jaap Storm, Wouter Kager, Michel Mandjes, Sem Borst

Abstract: In this paper we establish a necessary and sufficient stability condition for a stochastic ring network. Such networks naturally appear in a variety of applications within communication, computer, and road traffic systems. They typically involve multiple customer types and some form of priority structure to decide which customer receives service. These two system features tend to complicate the is… ▽ More In this paper we establish a necessary and sufficient stability condition for a stochastic ring network. Such networks naturally appear in a variety of applications within communication, computer, and road traffic systems. They typically involve multiple customer types and some form of priority structure to decide which customer receives service. These two system features tend to complicate the issue of identifying a stability condition, but we demonstrate how the ring topology can be leveraged to solve the problem. △ Less

Submitted 9 August, 2023; v1 submitted 14 June, 2022; originally announced June 2022.

Comments: 25 pages, 2 figures; v2: revamped Section 3.1, rewritten Section 6.1, expanded Section 7, added two figures and two references, streamlined the proof of Theorem 5.6, additional minor edits throughout

Journal ref: Performance Evaluation 162 (2023) 102355

A roundabout model with on-ramp queues: exact results and scaling approximations

Authors: Jaap Storm, Sandjai Bhulai, Wouter Kager, Michel Mandjes

Abstract: This paper introduces a general model of a single-lane roundabout, represented as a circular lattice that consists of $L$ cells, with Markovian traffic dynamics. Vehicles enter the roundabout via on-ramp queues that have stochastic arrival processes, remain on the roundabout a random number of cells, and depart via off-ramps. Importantly, the model does not oversimplify the dynamics of traffic on… ▽ More This paper introduces a general model of a single-lane roundabout, represented as a circular lattice that consists of $L$ cells, with Markovian traffic dynamics. Vehicles enter the roundabout via on-ramp queues that have stochastic arrival processes, remain on the roundabout a random number of cells, and depart via off-ramps. Importantly, the model does not oversimplify the dynamics of traffic on roundabouts, while various performance-related quantities (such as delay and queue length) allow an analytical characterization. In particular, we present an explicit expression for the marginal stationary distribution of each cell on the lattice. Moreover, we derive results that give insight on the dependencies between parts of the roundabout, and on the queue distribution. Finally, we find scaling limits that allow, for every partition of the roundabout in segments, to approximate 1) the joint distribution of the occupation of these segments by a multivariate Gaussian distribution; and 2) the joint distribution of their total queue lengths by a collection of independent Poisson random variables. To verify the scaling limit statements, we develop a novel way to empirically assess convergence in distribution of random variables. △ Less

Submitted 30 January, 2020; v1 submitted 7 June, 2019; originally announced June 2019.

Journal ref: Phys. Rev. E 101, 012311 (2020)

The asymptotics of group Russian roulette

Authors: Tim van de Brug, Wouter Kager, Ronald Meester

Abstract: We study the group Russian roulette problem, also known as the shooting problem, defined as follows. We have $n$ armed people in a room. At each chime of a clock, everyone shoots a random other person. The persons shot fall dead and the survivors shoot again at the next chime. Eventually, either everyone is dead or there is a single survivor. We prove that the probability $p_n$ of having no surviv… ▽ More We study the group Russian roulette problem, also known as the shooting problem, defined as follows. We have $n$ armed people in a room. At each chime of a clock, everyone shoots a random other person. The persons shot fall dead and the survivors shoot again at the next chime. Eventually, either everyone is dead or there is a single survivor. We prove that the probability $p_n$ of having no survivors does not converge as $n\to\infty$, and becomes asymptotically periodic and continuous on the $\log n$ scale, with period 1. △ Less

Submitted 1 May, 2017; v1 submitted 14 July, 2015; originally announced July 2015.

Comments: 26 pages, 1 figure; Mathematica notebook and output file (calculated exact bounds) are included with the source files

MSC Class: 60J10; 60F99

Journal ref: Markov Processes and Related Fields 23, 35-66 (2017)

The signed loop approach to the Ising model: foundations and critical point

Authors: Wouter Kager, Marcin Lis, Ronald Meester

Abstract: The signed loop method is a beautiful way to rigorously study the two-dimensional Ising model with no external field. In this paper, we explore the foundations of the method, including details that have so far been neglected or overlooked in the literature. We demonstrate how the method can be applied to the Ising model on the square lattice to derive explicit formal expressions for the free energ… ▽ More The signed loop method is a beautiful way to rigorously study the two-dimensional Ising model with no external field. In this paper, we explore the foundations of the method, including details that have so far been neglected or overlooked in the literature. We demonstrate how the method can be applied to the Ising model on the square lattice to derive explicit formal expressions for the free energy density and two-point functions in terms of sums over loops, valid all the way up to the self-dual point. As a corollary, it follows that the self-dual point is critical both for the behaviour of the free energy density, and for the decay of the two-point functions. △ Less

Submitted 19 July, 2013; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 38 pages, 7 figures, with an improved Introduction. The final publication is available at link.springer.com

MSC Class: 82B20 (Primary) 60C05 (Secondary)

Journal ref: J. Stat. Phys. 152 (2) pp. 353-387 (2013)

Stochastic domination and weak convergence of conditioned Bernoulli random vectors

Authors: Erik Broman, Tim van de Brug, Wouter Kager, Ronald Meester

Abstract: For n>=1 let X_n be a vector of n independent Bernoulli random variables. We assume that X_n consists of M "blocks" such that the Bernoulli random variables in block i have success probability p_i. Here M does not depend on n and the size of each block is essentially linear in n. Let X'_n be a random vector having the conditional distribution of X_n, conditioned on the total number of successes be… ▽ More For n>=1 let X_n be a vector of n independent Bernoulli random variables. We assume that X_n consists of M "blocks" such that the Bernoulli random variables in block i have success probability p_i. Here M does not depend on n and the size of each block is essentially linear in n. Let X'_n be a random vector having the conditional distribution of X_n, conditioned on the total number of successes being at least k_n, where k_n is also essentially linear in n. Define Y'_n similarly, but with success probabilities q_i>=p_i. We prove that the law of X'_n converges weakly to a distribution that we can describe precisely. We then prove that sup Pr(X'_n <= Y'_n) converges to a constant, where the supremum is taken over all possible couplings of X'_n and Y'_n. This constant is expressed explicitly in terms of the parameters of the system. △ Less

Submitted 27 September, 2011; originally announced September 2011.

Comments: 39 pages, 2 figures

MSC Class: 60E15 (Primary) 60F05 (Secondary)

Journal ref: ALEA, Lat. Am. J. Probab. Math. Stat. 9(2), 403-434 (2012)

Rotor-router aggregation on the layered square lattice

Authors: Wouter Kager, Lionel Levine

Abstract: In rotor-router aggregation on the square lattice Z^2, particles starting at the origin perform deterministic analogues of random walks until reaching an unoccupied site. The limiting shape of the cluster of occupied sites is a disk. We consider a small change to the routing mechanism for sites on the x- and y-axes, resulting in a limiting shape which is a diamond instead of a disk. We show th… ▽ More In rotor-router aggregation on the square lattice Z^2, particles starting at the origin perform deterministic analogues of random walks until reaching an unoccupied site. The limiting shape of the cluster of occupied sites is a disk. We consider a small change to the routing mechanism for sites on the x- and y-axes, resulting in a limiting shape which is a diamond instead of a disk. We show that for a certain choice of initial rotors, the occupied cluster grows as a perfect diamond. △ Less

Submitted 21 March, 2010; originally announced March 2010.

Comments: 11 pages, 3 figures.

MSC Class: 82C24

Journal ref: Elect. J. Combin. 17(1) #R152 (2010)

Existence and uniqueness of the stationary measure in the continuous Abelian sandpile

Authors: Wouter Kager, Haiyan Liu, Ronald Meester

Abstract: Let Λbe a finite subset of Z^d. We study the following sandpile model on Λ. The height at any given vertex x of Λis a positive real number, and additions are uniformly distributed on some interval [a,b], which is a subset of [0,1]. The threshold value is 1; when the height at a given vertex exceeds 1, it topples, that is, its height is reduced by 1, and the heights of all its neighbours in Λincr… ▽ More Let Λbe a finite subset of Z^d. We study the following sandpile model on Λ. The height at any given vertex x of Λis a positive real number, and additions are uniformly distributed on some interval [a,b], which is a subset of [0,1]. The threshold value is 1; when the height at a given vertex exceeds 1, it topples, that is, its height is reduced by 1, and the heights of all its neighbours in Λincrease by 1/2d. We first establish that the uniform measure μon the so called "allowed configurations" is invariant under the dynamics. When a < b, we show with coupling ideas that starting from any initial configuration of heights, the process converges in distribution to μ, which therefore is the unique invariant measure for the process. When a = b, that is, when the addition amount is non-random, and a is rational, it is still the case that μis the unique invariant probability measure, but in this case we use random ergodic theory to prove this; this proof proceeds in a very different way. Indeed, the coupling approach cannot work in this case since we also show the somewhat surprising fact that when a = b is rational, the process does not converge in distribution at all starting from any initial configuration. △ Less

Submitted 19 November, 2009; originally announced November 2009.

Comments: 22 pages

MSC Class: 60K35

Journal ref: Markov Proc. Rel. Fields 16(1) 185-204 (2010)

Diamond Aggregation

Authors: Wouter Kager, Lionel Levine

Abstract: Internal diffusion-limited aggregation is a growth model based on random walk in Z^d. We study how the shape of the aggregate depends on the law of the underlying walk, focusing on a family of walks in Z^2 for which the limiting shape is a diamond. Certain of these walks -- those with a directional bias toward the origin -- have at most logarithmic fluctuations around the limiting shape. This co… ▽ More Internal diffusion-limited aggregation is a growth model based on random walk in Z^d. We study how the shape of the aggregate depends on the law of the underlying walk, focusing on a family of walks in Z^2 for which the limiting shape is a diamond. Certain of these walks -- those with a directional bias toward the origin -- have at most logarithmic fluctuations around the limiting shape. This contrasts with the simple random walk, where the limiting shape is a disk and the best known bound on the fluctuations, due to Lawler, is a power law. Our walks enjoy a uniform layering property which simplifies many of the proofs. △ Less

Submitted 10 November, 2009; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: v2 addresses referee comments, new section on the abelian property

MSC Class: 60K35

Journal ref: Math. Proc. Cambridge Phil. Soc. 149(2): 351-372 (2010)

Pattern theorems, ratio limit theorems and Gumbel maximal clusters for random fields

Authors: Remco van der Hofstad, Wouter Kager

Abstract: We study occurrences of patterns on clusters of size n in random fields on Z^d. We prove that for a given pattern, there is a constant a>0 such that the probability that this pattern occurs at most an times on a cluster of size n is exponentially small. Moreover, for random fields obeying a certain Markov property, we show that the ratio between the numbers of occurrences of two distinct pattern… ▽ More We study occurrences of patterns on clusters of size n in random fields on Z^d. We prove that for a given pattern, there is a constant a>0 such that the probability that this pattern occurs at most an times on a cluster of size n is exponentially small. Moreover, for random fields obeying a certain Markov property, we show that the ratio between the numbers of occurrences of two distinct patterns on a cluster is concentrated around a constant value. This leads to an elegant and simple proof of the ratio limit theorem for these random fields, which states that the ratio of the probabilities that the cluster of the origin has sizes n+1 and n converges as n tends to infinity. Implications for the maximal cluster in a finite box are discussed. △ Less

Submitted 31 May, 2007; originally announced May 2007.

Comments: 23 pages, 2 figures

Report number: EURANDOM Report 2007-031

Journal ref: J. Stat. Phys. 130(3):503-522 (2008)

Diffusion constants and martingales for senile random walks

Authors: Wouter Kager

Abstract: We derive diffusion constants and martingales for senile random walks with the help of a time-change. We provide direct computations of the diffusion constants for the time-changed walks. Alternatively, the values of these constants can be derived from martingales associated with the time-changed walks. Using an inverse time-change, the diffusion constants for senile random walks are then obtain… ▽ More We derive diffusion constants and martingales for senile random walks with the help of a time-change. We provide direct computations of the diffusion constants for the time-changed walks. Alternatively, the values of these constants can be derived from martingales associated with the time-changed walks. Using an inverse time-change, the diffusion constants for senile random walks are then obtained via these martingales. When the walks are diffusive, weak convergence to Brownian motion can be shown using a martingale functional limit theorem. △ Less

Submitted 19 November, 2007; v1 submitted 23 May, 2007; originally announced May 2007.

Comments: 17 pages, LaTeX; the proof of Proposition 2.3 has been simplified, and an error in the proof of Theorem 2.4 has been corrected

Report number: EURANDOM Report 2007-028

Monte Carlo study of the hull distribution for the q=1 Brauer model

Authors: Wouter Kager, Bernard Nienhuis

Abstract: We study a special case of the Brauer model in which every path of the model has weight q=1. The model has been studied before as a solvable lattice model and can be viewed as a Lorentz lattice gas. The paths of the model are also called self-avoiding trails. We consider the model in a triangle with boundary conditions such that one of the trails must cross the triangle from a corner to the oppo… ▽ More We study a special case of the Brauer model in which every path of the model has weight q=1. The model has been studied before as a solvable lattice model and can be viewed as a Lorentz lattice gas. The paths of the model are also called self-avoiding trails. We consider the model in a triangle with boundary conditions such that one of the trails must cross the triangle from a corner to the opposite side. Motivated by similarities between this model, SLE(6) and critical percolation, we investigate the distribution of the hull generated by this trail (the set of points on or surrounded by the trail) up to the hitting time of the side of the triangle opposite the starting point. Our Monte Carlo results are consistent with the hypothesis that for system size tending to infinity, the hull distribution is the same as that of a Brownian motion with perpendicular reflection on the boundary. △ Less

Submitted 14 June, 2006; originally announced June 2006.

Comments: 21 pages, 9 figures

Report number: ITFA-2006-24

Journal ref: J. Stat. Mech. (2006) P08004

Reflected Brownian motion in generic triangles and wedges

Authors: Wouter Kager

Abstract: Consider a generic triangle in the upper half of the complex plane with one side on the real line. This paper presents a tailored construction of a discrete random walk whose continuum limit is a Brownian motion in the triangle, reflected instantaneously on the left and right sides with constant reflection angles. Starting from the top of the triangle, it is evident from the construction that th… ▽ More Consider a generic triangle in the upper half of the complex plane with one side on the real line. This paper presents a tailored construction of a discrete random walk whose continuum limit is a Brownian motion in the triangle, reflected instantaneously on the left and right sides with constant reflection angles. Starting from the top of the triangle, it is evident from the construction that the reflected Brownian motion lands with the uniform distribution on the base. Combined with conformal invariance and the locality property, this uniform exit distribution allows us to compute distribution functions characterizing the hull generated by the reflected Brownian motion. △ Less

Submitted 18 May, 2005; v1 submitted 1 October, 2004; originally announced October 2004.

Comments: LaTeX, 38 pages, 14 figures. This is the outcome of a complete rewrite of the original paper. Results have been stated more clearly and the proofs have been elucidated

Report number: ITFA-2004-46

Journal ref: Stoch. Process. Appl. 117:539-549 (2007)

A Guide to Stochastic Loewner Evolution and its Applications

Authors: Wouter Kager, Bernard Nienhuis

Abstract: This article is meant to serve as a guide to recent developments in the study of the scaling limit of critical models. These new developments were made possible through the definition of the Stochastic Loewner Evolution (SLE) by Oded Schramm. This article opens with a discussion of Loewner's method, explaining how this method can be used to describe families of random curves. Then we define SLE… ▽ More This article is meant to serve as a guide to recent developments in the study of the scaling limit of critical models. These new developments were made possible through the definition of the Stochastic Loewner Evolution (SLE) by Oded Schramm. This article opens with a discussion of Loewner's method, explaining how this method can be used to describe families of random curves. Then we define SLE and discuss some of its properties. We also explain how the connection can be made between SLE and the discrete models whose scaling limits it describes, or is believed to describe. Finally, we have included a discussion of results that were obtained from SLE computations. Some explicit proofs are presented as typical examples of such computations. To understand SLE sufficient knowledge of conformal map** theory and stochastic calculus is required. This material is covered in the appendices. △ Less

Submitted 27 July, 2004; v1 submitted 22 December, 2003; originally announced December 2003.

Comments: 80 pages, 22 figures, LaTeX; this version has 5 minor corrections to the text and improved hyperref support

Report number: ITFA-2003-62

Journal ref: J. Stat. Phys. 115:1149-1229 (2004)

Exact Solutions for Loewner Evolutions

Authors: Wouter Kager, Bernard Nienhuis, Leo P. Kadanoff

Abstract: In this note, we solve the Loewner equation in the upper half-plane with forcing function xi(t), for the cases in which xi(t) has a power-law dependence on time with powers 0, 1/2 and 1. In the first case the trace of singularities is a line perpendicular to the real axis. In the second case the trace of singularities can do three things. If xi(t)=2*(kappa*t)^1/2, the trace is a straight line se… ▽ More In this note, we solve the Loewner equation in the upper half-plane with forcing function xi(t), for the cases in which xi(t) has a power-law dependence on time with powers 0, 1/2 and 1. In the first case the trace of singularities is a line perpendicular to the real axis. In the second case the trace of singularities can do three things. If xi(t)=2*(kappa*t)^1/2, the trace is a straight line set at an angle to the real axis. If xi(t)=2*(kappa*(1-t))^1/2, the behavior of the trace as t approaches 1 depends on the coefficient kappa. Our calculations give an explicit solution in which for kappa<4 the trace spirals into a point in the upper half-plane, while for kappa>4 it intersects the real axis. We also show that for kappa=9/2 the trace becomes a half-circle. The third case with forcing xi(t)=t gives a trace that moves outward to infinity, but stays within fixed distance from the real axis. We also solve explicitly a more general version of the evolution equation, in which xi(t) is a superposition of the values +1 and -1. △ Less

Submitted 26 July, 2004; v1 submitted 2 September, 2003; originally announced September 2003.

Comments: 20 pages, 7 figures, LaTeX, one minor correction, and improved hyperrefs

Report number: ITFA-2003-40

Journal ref: J. Stat. Phys. 115:805-822 (2004)