# Distributed Construction of Light Networks

## TL;DR

This paper presents the first efficient distributed algorithms in the CONGEST model for constructing light spanners and shallow light trees in general graphs, achieving near-optimal parameters and extending to doubling graphs.

## Contribution

It introduces distributed algorithms for light spanners and SLTs with near-optimal parameters, including for doubling graphs, and generalizes net construction to weighted graphs.

## Key findings

- Constructed a $(2k-1)(1+ ext{epsilon})$-spanner with lightness $O(k imes n^{1/k})$ in near-optimal rounds.
- Developed an $( ext{alpha}, 1+O(1)/( ext{alpha}-1))$-SLT in near-linear rounds.
- Designed a distributed algorithm for nets in weighted graphs, extending previous unweighted algorithms.

## Abstract

A $t$-{\em spanner} $H$ of a weighted graph $G=(V,E,w)$ is a subgraph that approximates all pairwise distances up to a factor of $t$. The {\em lightness} of $H$ is defined as the ratio between the weight of $H$ to that of the minimum spanning tree. An $(\alpha,\beta)$-{\em Shallow Light Tree} (SLT) is a tree of lightness $\beta$, that approximates all distances from a designated root vertex up to a factor of $\alpha$. A long line of works resulted in efficient algorithms that produce (nearly) optimal light spanners and SLTs. Some of the most notable algorithmic applications of light spanners and SLTs are in distributed settings. Surprisingly, so far there are no known efficient distributed algorithms for constructing these objects in general graphs. In this paper we devise efficient distributed algorithms in the CONGEST model for constructing light spanners and SLTs, with near optimal parameters. Specifically, for any $k\ge 1$ and $0<\epsilon<1$, we show a $(2k-1)\cdot(1+\epsilon)$-spanner with lightness $O(k\cdot n^{1/k})$ can be built in $\tilde{O}\left(n^{\frac12+\frac{1}{4k+2}}+D\right)$ rounds (where $n=|V|$ and $D$ is the hop-diameter of $G$). In addition, for any $\alpha>1$ we provide an $(\alpha,1+\frac{O(1)}{\alpha-1})$-SLT in $(\sqrt{n}+D)\cdot n^{o(1)}$ rounds. The running time of our algorithms cannot be substantially improved. We also consider spanners for the family of doubling graphs, and devise a $(\sqrt{n}+D)\cdot n^{o(1)}$ rounds algorithm in the CONGEST model that computes a $(1+\epsilon)$-spanner with lightness $(\log n)/\epsilon^{O(1)}$. As a stepping stone, which is interesting in its own right, we first develop a distributed algorithm for constructing nets (for arbitrary weighted graphs), generalizing previous algorithms that worked only for unweighted graphs.