Late levels of nested occupancy scheme in random environment

TL;DR

This paper classifies the asymptotic behavior of the number of occupied boxes in a nested occupancy scheme in a random environment, focusing on late levels where the number of balls and levels grow logarithmically.

Contribution

It provides a full classification of almost sure convergence regimes for occupied boxes in late levels of a nested occupancy scheme with random weights.

Findings

Classified regimes of convergence for the number of occupied boxes.

Proved strong laws of large numbers for boxes with multiple balls.

Analyzed extinction behavior in super-logarithmic levels.

Abstract

Consider a weighted branching process generated by a point process on $[0,1]$, whose atoms sum up to one. Then the weights of all individuals in any given generation sum up to one, as well. We define a nested occupancy scheme in random environment as the sequence of balls-in-boxes schemes (with random probabilities) in which boxes of the $j$th level, $j=1,2,\ldots$ are identified with the $j$th generation individuals and the hitting probabilities of boxes are identified with the corresponding weights. The collection of balls is the same for all generations, and each ball starts at the root and moves along the tree of the weighted branching process according to the following rule: transition from a mother box to a daughter box occurs with probability given by the ratio of the daughter and mother weights. Assuming that there are $n$ balls, we give a full classification of regimes of the a.s.\ convergence for the number of occupied (ever hit) boxes in the $j$th level, properly normalized, as $n$ and $j=j_n$ grow to $\infty$. Here, $(j_n)_{n\in\mathbb N}$ is a sequence of positive numbers growing proportionally to $\log n$. We call such levels late, for the nested occupancy scheme gets extinct in the levels which grow super-logarithmically in $n$ in the sense that each occupied box contains one ball. Also, in some regimes we prove the strong laws of large numbers (a) for the number of the $j$th level boxes which contain at least $k$ balls, $k\geq 2$ and (b) under the assumption that the mean number of the first level boxes is finite, for the number of empty boxes in the $j$th level.