9f647595c99b7a53.tex
1: \begin{abstract} 
2: Sourav Chatterjee, Persi Diaconis, Allan Sly and Lingfu Zhang (\citep{chatterjee2019phase}), prompted by a question of Ramis Movassagh, renewed the study of a
3: process proposed in the early 1980s
4: by Jean Bourgain. A state vector $v \in \mathbb R^n$,
5: labeled with the vertices of a 
6: connected graph, $G$,
7: changes in discrete time steps following the simple rule that
8: at each step a random edge $(i,j)$ is picked and  $v_i$ and $v_j$ are both replaced by their average $(v_i+v_j)/2$. It is easy to see that the value associated with each vertex converges to $1/n$. The question was how quickly will $v$ be
9: $\epsilon$-close to uniform in the 
10: $L^{1}$ norm in the case of 
11: the complete graph, $K_{n}$,
12: when $v$ is initialized as a standard basis vector
13: that takes the value 1 on one coordinate, and zeros everywhere else.
14: They have established a 
15: sharp cutoff of $\frac{1}{2\log 2}n\log n + O(n\sqrt{\log n})$.
16: Our main result is to prove, that 
17: % $\frac{((1-\epsilon)\log n -\frac{1}{e\log2})n}{2\log2}$ 
18: $\frac{(1-\epsilon)}{2\log2}n\log n-O(n)$ is a general
19: lower bound for all connected graphs on $n$ nodes.
20: We also get sharp magnitude of $t_{\epsilon,1}$ for several important families of graphs, including star, expander, dumbbell, and  cycle. In order to establish our results we make several observations 
21: about the process,
22: such as the worst case initialization 
23: is always a standard basis vector. 
24: Our results add to the body of work of
25: \cite{aldous1989lower,aldous2012lecture,quattropani2021mixing,cao2021explicit,olshevsky2009convergence}, and others. The renewed interest is 
26: due to an analogy to a question
27: related to the Google's supremacy circuit.
28: For the proof of our main theorem we employ a concept that we call {\em augmented entropy function} which may find independent interest in the computer science and probability theory communities.
29: \end{abstract}