Balanced allocation on dynamic hypergraphs

TL;DR: In this article, it was shown that for a dynamic hypergraph with pair visibility at most (n − 1 − varepsilon > 0, and some mild additional conditions hold, with high probability the process has maximum load O(log_d\log n) + O(1), where n is the number of rounds in which a pair of bins appears within a (hyper)edge.

Abstract: The {balls-into-bins model} randomly allocates $n$ sequential balls into $n$ bins, as follows: each ball selects a set $D$ of $d\ge 2$ bins, independently and uniformly at random, then the ball is allocated to a least-loaded bin from $D$ (ties broken randomly). The \emph{maximum load} is the maximum number of balls in any bin. {In 1999, Azar et al.}\ showed that provided ties are broken randomly, after $n$ balls have been placed the \emph{maximum load}, is ${\log_d\log n}+O(1)$, with high probability. We consider this popular paradigm in a dynamic environment where the bins are structured as a \emph{dynamic hypergraph}. A dynamic hypergraph is a sequence of hypergraphs, say $\mathcal{H}^{(t)}$, arriving over discrete times $t=1,2,\ldots$, such that the vertex set of $\mathcal{H}^{(t)}$'s is the set of $n$ bins, but (hyper)edges may change over time. In our model, the $t$-th ball chooses an edge from $\mathcal{H}^{(t)}$ uniformly at random, and then chooses a set $D$ of $d\ge 2$ random bins from the selected edge. The ball is allocated to a least-loaded bin from $D$, with ties broken randomly. We quantify the dynamicity of the model by introducing the notion of \emph{pair visibility}, which measures the number of rounds in which a pair of bins appears within a (hyper)edge. We prove that if, for some $\varepsilon>0$, a dynamic hypergraph has pair visibility at most $n^{1-\varepsilon}$, and some mild additional conditions hold, then with high probability the process has maximum load $O(\log_d\log n)$. Our proof is based on a variation of the witness tree technique, which is of independent interest. The model can also be seen as an adversarial model where an adversary decides the structure of the possible sets of $d$ bins available to each ball.