Abstract:In recent years, there has been a growing interest in distributed optimization, which collaboratively attains an optimum by exchanging information with neighbours. Among the various distributed algorithms available, optimization with gradient tracking is particularly notable for its superior convergence results, especially in the context of directed graphs. However, privacy concerns arise when gradient information is transmitted directly which would induce more information leakage. Surprisingly, the literature has not adequately addressed the associated privacy issues. In response to the gap, our paper proposes a privacy-preserving distributed optimization algorithm with gradient tracking by adding noises to transmitted messages, namely, the decision variables and the estimate of the aggregated gradient. We prove two dilemmas for this kind of algorithm. In the first dilemma, we reveal that this distributed optimization algorithm with gradient tracking cannot achieve $ \epsilon$-differential privacy (DP) and exact convergence simultaneously. Building on this, we subsequently highlight that the algorithm fails to achieve $ \epsilon$-DP when employing non-summable stepsizes in the presence of Laplace noises. It is crucial to emphasize that these findings hold true regardless of the size of the privacy metric $ \epsilon$. After that, we rigorously analyse the convergence performance and privacy level given summable stepsize sequences under Laplace distribution since it is only with summable stepsizes that is meaningful for us to study. We derive sufficient conditions that allow for the simultaneous stochastically bounded accuracy and $ \epsilon$-DP. Recognizing that several options can meet these conditions, we further derive an upper bound of the mean error's variance and specify the mathematical expression of $ \epsilon$ under such conditions. Numerical simulations are provided to demonstrate the effectiveness of our proposed algorithm.

Parameter-Free Locally Differentially Private Stochastic Subgradient Descent

Differentially private stochastic gradient descent with low-noise

A(DP)$^2$SGD: Asynchronous Decentralized Parallel Stochastic Gradient Descent with Differential Privacy

A(DP)$^2$2SGD: Asynchronous Decentralized Parallel Stochastic Gradient Descent with Differential Privacy

On the Privacy of Noisy Stochastic Gradient Descent for Convex Optimization

Privacy Loss of Noisy Stochastic Gradient Descent Might Converge Even for Non-Convex Losses

Private Stochastic Non-Convex Optimization: Adaptive Algorithms and Tighter Generalization Bounds

Bypassing the Ambient Dimension: Private SGD with Gradient Subspace Identification

Differential Privacy in Distributed Optimization with Gradient Tracking

Improving Differentially Private SGD via Randomly Sparsified Gradients

Shuffle Private Decentralized Convex Optimization

DP-LSSGD: A Stochastic Optimization Method to Lift the Utility in Privacy-Preserving ERM

Decentralized Stochastic Optimization with Inherent Privacy Protection

Beyond Uniform Lipschitz Condition in Differentially Private Optimization

Faster Algorithms for User-Level Private Stochastic Convex Optimization

Noise is All You Need: Private Second-Order Convergence of Noisy SGD

Differentially Private Distributed Stochastic Optimization with Time-Varying Sample Sizes

Private Stochastic Convex Optimization with Optimal Rates

Differentially Private Distributed Resource Allocation Via Deviation Tracking

Privacy of the last iterate in cyclically-sampled DP-SGD on nonconvex composite losses