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}