Greedy energy minimization can count in binary: point charges and the van der Corput sequence

This paper establishes a connection between a problem in Potential Theory and Mathematical Physics, arranging points so as to minimize an energy functional, and a problem in Combinatorics and Number Theory, constructing 'well-distributed' sequences of points on $[0,1)$. Let $f:[0,1] \rightarrow \mathbb{R}$ be (i) symmetric $f(x) = f(1-x)$, (ii) twice differentiable on $(0,1)$, and (iii) such that $f''(x)>0$ for all $x \in (0,1)$. We study the greedy dynamical system, where, given an initial set $\{x_0, \ldots, x_{N-1}\} \subset [0,1)$, the point $x_N$ is obtained as $$x_{N} = \arg\min_{x \in [0,1)} \sum_{k=0}^{N-1}{f(|x-x_k|)}.$$ We prove that if we start this construction with the single element $x_0=0$, then all arising constructions are permutations of the van der Corput sequence (counting in binary and reflected about the comma): \textit{greedy energy minimization recovers the way we count in binary.} This gives a new construction of the classical van der Corput sequence. The special case $f(x) = 1-\log(2 \sin(\pi x))$ answers a question of Steinerberger. Interestingly, the point sets we derive are also known in a different context as Leja sequences on the unit disk. Moreover, we give a general bound on the discrepancy of any sequence constructed in this way for functions $f$ satisfying an additional assumption.Comment: 18 pages, 7 figures, discrepancy bound adde

Optimal control for diffusions on graphs

Starting from a unit mass on a vertex of a graph, we investigate the minimum number of "\emph{controlled diffusion}" steps needed to transport a constant mass $p$ outside of the ball of radius $n$. In a step of a controlled diffusion process we may select any vertex with positive mass and topple its mass equally to its neighbors. Our initial motivation comes from the maximum overhang question in one dimension, but the more general case arises from optimal mass transport problems. On $\mathbb{Z}^{d}$ we show that $\Theta( n^{d+2} )$ steps are necessary and sufficient to transport the mass. We also give sharp bounds on the comb graph and $d$-ary trees. Furthermore, we consider graphs where simple random walk has positive speed and entropy and which satisfy Shannon's theorem, and show that the minimum number of controlled diffusion steps is $\exp{( n \cdot h / \ell ( 1 + o(1) ))}$, where $h$ is the Avez asymptotic entropy and $\ell$ is the speed of random walk. As examples, we give precise results on Galton-Watson trees and the product of trees $\mathbb{T}_d \times \mathbb{T}_k$.Comment: 32 pages, 2 figure

Polarization and Greedy Energy on the Sphere

We investigate the behavior of a greedy sequence on the sphere $\mathbb{S}^d$ defined so that at each step the point that minimizes the Riesz $s$-energy is added to the existing set of points. We show that for $0<s<d$, the greedy sequence achieves optimal second-order behavior for the Riesz $s$-energy (up to constants). In order to obtain this result, we prove that the second-order term of the maximal polarization with Riesz $s$-kernels is of order $N^{s/d}$ in the same range $0<s<d$. Furthermore, using the Stolarsky principle relating the $L^2$-discrepancy of a point set with the pairwise sum of distances (Riesz energy with $s=-1$), we also obtain a simple upper bound on the $L^2$-spherical cap discrepancy of the greedy sequence and give numerical examples that indicate that the true discrepancy is much lower.Comment: 29 pages, 10 figure

The mobile Boolean model: an overview and further results

This paper offers an overview of the mobile Boolean stochastic geometric model which is a time-dependent version of the ordinary Boolean model in a Euclidean space of dimension $d$. The main question asked is that of obtaining the law of the detection time of a fixed set. We give various ways of thinking about this which result into some general formulas. The formulas are solvable in some special cases, such the inertial and Brownian mobile Boolean models. In the latter case, we obtain some expressions for the distribution of the detection time of a ball, when the dimension $d$ is odd and asymptotics when $d$ is even. Finally, we pose some questions for future research.Comment: 19 page