arXiv Science⌕ Search

arXiv subjects

Wouter Kager

Publications and source records attributed to Wouter Kager.

17 recordsLinked to original sources
arXiv2024

On the relation between likelihood ratios and p-values for testing success probabilities of Bernoulli trials

It is well known that there is no direct one-to-one relation between $p$-values and likelihood ratios or Bayes factors, since their relation crucially involves the sample size $n$. We investigate their (asymptotic) relation in a coin-tossing context where the hypotheses of interest address the success probability of the coin, and where detailed computations are possible. This leads to useful insights in the nature of $p$-values and likelihood ratios. Our results imply, for instance, that under mild conditions, a $p$-value of 0.05 cannot correspond to a likelihood ratio larger than 7.5, for any hypothesis versus a null hypothesis that the success probability has a specific value. We also show it is unlikely one can obtain a large likelihood ratio by tossing a fair coin until the number of heads deviates from the mean by several standard deviations.

math.ST↗
arXiv2022

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

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 = \lambda e$, with $\lambda \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.

math.RA↗
arXiv2022

Stability of a Stochastic Ring Network

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.

math.PR↗
arXiv2019

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

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.

nlin.CG↗
arXiv2015

The asymptotics of group Russian roulette

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.

math.PR↗
arXiv2012

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

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.

math.PR↗
arXiv2011

Stochastic domination and weak convergence of conditioned Bernoulli random vectors

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.

math.PR↗
arXiv2010

Rotor-router aggregation on the layered square lattice

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.

math.CO↗
arXiv2009

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

Let \Lambda be a finite subset of Z^d. We study the following sandpile model on \Lambda. The height at any given vertex x of \Lambda 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 \Lambda increase by 1/2d. We first establish that the uniform measure \mu 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 \mu, 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 \mu 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.

math.PR↗
arXiv2009

Diamond Aggregation

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.

math.PR↗
arXiv2007

Diffusion constants and martingales for senile random walks

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.

math.PR↗
arXiv2007

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

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.

math.PR↗
arXiv2006

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

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.

cond-mat.stat-mech↗
arXiv2005

Reflected Brownian motion in generic triangles and wedges

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.

math.PR↗
arXiv2004

A Guide to Stochastic Loewner Evolution and its Applications

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 mapping theory and stochastic calculus is required. This material is covered in the appendices.

math-ph↗
arXiv2004

Exact Solutions for Loewner Evolutions

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.

math-ph↗