On the Convergence of Communication-Efficient Local SGD for Federated Learning | Synapse