1: \begin{abstract}
2: We present a novel self-stabilizing algorithm for minimum spanning tree (MST) construction.
3: The space complexity of our solution is $O(\log^2n)$ bits and it converges in $O(n^2)$ rounds.
4: Thus, this algorithm improves the convergence time of all previously known self-stabilizing asynchronous MST algorithms by
5: a multiplicative factor $\Theta(n)$, to the price of increasing the best known space complexity by a factor $O(\log n)$.
6: The main ingredient used in our algorithm is the design, for the first time in self-stabilizing settings, of a labeling scheme
7: for computing the nearest common ancestor with only $O(\log^2n)$ bits.
8: %Although this label size is not the best possible one (there exist nearest common ancestor labeling schemes using
9: %labels of size $O(\log n)$ bits), our scheme is, up to our knowledge, the first known informative labeling scheme constructed in a self-stabilizing manner.
10: \end{abstract}
11: