arXiv subjects

Henry Landau

Publications and source records attributed to Henry Landau.

9 recordsLinked to original sources

arXiv2025

Evasive Random Walks and the Clairvoyant Demon

A pair of random walks $(R,S)$ on the vertices of a graph $G$ is {\it successful} if two tokens can be scheduled (moving only one token at a time) to travel along $R$ and $S$ without colliding. We consider questions related to P. Winkler's {\it clairvoyant demon problem}, which asks whether for random walks $R$ and $S$ on $G$, $Pr[\ (R,S) \mbox{ is successful }] >0$. We introduce the notion of an {\it evasive} walk on $G$: a walk $S$ so that for a random walk $R$ on $G$, $Pr[\ (R,S) \mbox{ is successful }]>0$. We characterize graphs $G$ having evasive walks, giving explicit constructions on such $G$. On a cycle, we show that with high probability the tokens must collide quickly. Finally we consider two variants of the problem for which, under certain assumptions on the graph $G$, we provide algorithms that schedule $(R,S)$ successfully with positive probability.

math.CO↗

arXiv2025

An iterated random function with Lipschitz number one

Consider the set of functions $f_θ(x)=|θ-x|$ on $\mathbb{R}$. Define a Markov process that starts with a point $x_0 \in \mathbb{R}$ and continues with $x_{k+1}=f_{θ_{k+1}}(x_{k})$ with each $θ_{k+1}$ picked from a fixed bounded distribution $μ$ on $\mathbb{R}^+$. We prove the conjecture of G. Letac that if $μ$ is not supported on a lattice, then this process has a unique stationary distribution $π_μ$ and any distribution converges under iteration to $π_μ$ (in the weak-$^*$ topology). We also give a bound on the rate of convergence in the special case that $μ$ is supported on a two-point set. We hope that the techniques will be useful for the study of other Markov processes where the transition functions have Lipschitz number one.

math.PR↗

arXiv2025

Optimal estimators for threshold-based quality measures

We consider a problem in parametric estimation: given $n$ samples from an unknown distribution, we want to estimate which distribution, from a given one-parameter family, produced the data. Following Schulman and Vazirani, we evaluate an estimator in terms of the chance of being within a specified tolerance of the correct answer, in the worst case. We provide optimal estimators for several families of distributions on $\mathbb{R}$. We prove that for distributions on a compact space, there is always an optimal estimator that is translation-invariant, and we conjecture that this conclusion also holds for any distribution on $\mathbb{R}$. By contrast, we give an example showing it does not hold for a certain distribution on an infinite tree.

math.ST↗

arXiv2024

A Central Limit Theorem for Repeating Patterns

We prove a central limit theorem for the length of the longest subsequence of a random permutation which follows one of a class of repeating patterns. This class includes every fixed pattern of ups and downs having at least one of each, such as the alternating case considered by Stanley in arXiv:math/0511419 and Widom in arXiv:math/0511533. In every case considered the convergence in the limit of long permutations is to normal with mean and variance linear in the length of the permutation.

math.CO↗

arXiv2020

Germ order for one-dimensional packings

Every set of natural numbers determines a generating function convergent for $q \in (-1,1)$ whose behavior as $q \rightarrow 1^-$ determines a germ. These germs admit a natural partial ordering that can be used to compare sets of natural numbers in a manner that generalizes both cardinality of finite sets and density of infinite sets. For any finite set $D$ of positive integers, call a set $S$ "$D$-avoiding" if no two elements of $S$ differ by an element of $D$. We study the problem of determining, for fixed $D$, all $D$-avoiding sets that are maximal in the germ order. In many cases, we can show that there is exactly one such set. We apply this to the study of one-dimensional packing problems.

math.CO↗

arXiv2016

Dull cut off for circulants

Families of symmetric simple random walks on Cayley graphs of Abelian groups with a bound on the number of generators are shown to never have sharp cut off in the sense of [1], [3], or [5]. Here convergence to the stationary distribution is measured in the total variation norm. This is a situation of bounded degree and no expansion. Sharp cut off or the cut off phenomenon has been shown to occur in families such as random walks on a hypercube [1] in which the degree is unbounded as well as on a random regular graph where the degree is fixed, but there is expansion [4]. Our examples agree with Peres' conjecture in [3] relating sharp cut off, spectral gap, and mixing time.

math.PR↗

arXiv2016

Sums of twisted circulants

The rate of convergence of simple random walk on the Heisenberg group over $Z/nZ$ with a standard generating set was determined by Bump et al [1,2]. We extend this result to random walks on the same groups with an arbitrary minimal symmetric generating set. We also determine the rate of convergence of simple random walk on higher-dimensional versions of the Heisenberg group with a standard generating set. We obtain our results via Fourier analysis, using an eigenvalue bound for sums of twisted circulant matrices. The key tool is a generalization of a version of the Heisenberg Uncertainty Principle due to Donoho-Stark [4].

math.PR↗

arXiv2010

Distributions of order patterns of interval maps

A permutation $σ$ describing the relative orders of the first $n$ iterates of a point $x$ under a self-map $f$ of the interval $I=[0,1]$ is called an \emph{order pattern}. For fixed $f$ and $n$, measuring the points $x\in I$ (according to Lebesgue measure) that generate the order pattern $σ$ gives a probability distribution $μ_n(f)$ on the set of length $n$ permutations. We study the distributions that arise this way for various classes of functions $f$. Our main results treat the class of measure preserving functions. We obtain an exact description of the set of realizable distributions in this case: for each $n$ this set is a union of open faces of the polytope of flows on a certain digraph, and a simple combinatorial criterion determines which faces are included. We also show that for general $f$, apart from an obvious compatibility condition, there is no restriction on the sequence $\{μ_n(f)\}$ for $n=1,2,...$. In addition, we give a necessary condition for $f$ to have \emph{finite exclusion type}, i.e., for there to be finitely many order patterns that generate all order patterns not realized by $f$. Using entropy we show that if $f$ is piecewise continuous, piecewise monotone, and either ergodic or with points of arbitrarily high period, then $f$ cannot have finite exclusion type. This generalizes results of S. Elizalde.

math.CO↗

arXiv2004

Random Multiplication Approaches Uniform Measure in Finite Groups

In order to study how well a finite group might be generated by repeated random multiplications, P. Diaconis suggested the following urn model. An urn contains some balls labeled by elements which generate a group G. Two are drawn at random with replacement and a ball labeled with the group product (in the order they were picked) is added to the urn. We give a proof of his conjecture that the limiting fraction of balls labeled by each group element almost surely approaches 1/|G|.

math.PR↗