Second-order guarantees in federated learning