$\newcommand{\pop}{\operatorname{pop}}$Assuming $ G = \{g_1, g_2, g_3, \ldots , g_{N_G}\}$ is set of all the globally existing data objects. The total request rate for $G$ is shown by $\lambda_G$. The popularity of data objects in $G$ follows a Zipf distribution with Zipf paramters shown as $\alpha_G$. We show the global popularity of $\text{object}_i$ as follows: $\pop(g_{i},\alpha_G) = \frac{(1/i)^{\alpha_G}}{\sum (1/j)^{\alpha_G}}$. The request rate for $\text{object}_i$ (shown as $\lambda_{g_i}$)in G is calculated as $\lambda_{g_i} = \lambda_G \times \pop(g_i,\alpha_G) = \lambda_G \times \frac{(1/i)^{\alpha_G}}{\sum (1/j)^{\alpha_G}}$. Then, we suppose there are two regions in which the order of data objects' local popularity in each region is different from the global one.
Assuming $\lambda_F$ and $\lambda_H$ as the request rates for the data objects in the two regions, we are looking for the order of data objects' popularity in these two regions complying with the following premises:
- $\exists F \subset G , \ \exists \lambda_F, \ F = \{f_{1}, f_{2}, f_{3}, \ldots , f_{N_F}\} \ $ $\forall i \ \exists l : f_{i} = g_l, \pop(f_i,\alpha_{F})= \frac{(1/i)^{\alpha_F}}{\sum (1/j)^{\alpha_F}}$
- $\exists H \subset G , \exists \lambda_H, \ H = \{h_1, h_2, h_3, \ldots , h_{N_H}\} \ $ $\forall i \ \exists l : h_i = g_l, \pop(h_i,\alpha_H)= \frac{(1/i)^{\alpha_H}}{\sum (1/j)^{\alpha_H}}$
- $F \cup H = G$
- $\lambda_F + \lambda_H = \lambda_G$
As a result, we have only one of the following cases standing for each $g_i$:
$\forall \ g_i\ \exists\ f_j\ \exists\ h_l\ : g_i = f_j = h_l \Rightarrow \lambda_{g_i} = \lambda_{f_i} + \lambda_{h_i}$
$\forall \ g_i\ \exists\ f_j\ \nexists\ h_l\ : g_i = f_j = h_l \Rightarrow \lambda_{g_i} = \lambda_{f_i} $
$\forall \ g_i\ \nexists\ f_j\ \exists\ h_l\ : g_i = f_j = h_l \Rightarrow \lambda_{g_i} = \lambda_{h_i} $
The question is now, how we can prove that there are such $F$ and $H$?