Fully Dynamic Graph Algorithms with Edge Differential Privacy

TL;DR

This paper introduces the first differentially private, fully dynamic graph algorithms for key graph statistics, providing error analysis and bounds, advancing privacy-preserving graph analysis in dynamic settings.

Contribution

It presents new differentially private algorithms for fully dynamic graphs for multiple statistics, with error bounds and lower bounds, including the first item-level privacy algorithms.

Findings

First differentially private algorithms for several dynamic graph statistics.

Error bounds and strong lower bounds established for these algorithms.

Item-level privacy algorithms match lower bounds for multiple problems.

Abstract

We study differentially private algorithms for analyzing graphs in the challenging setting of continual release with fully dynamic updates, where edges are inserted and deleted over time, and the algorithm is required to update the solution at every time step. Previous work has presented differentially private algorithms for many graph problems that can handle insertions only or deletions only (called partially dynamic algorithms) and obtained some hardness results for the fully dynamic setting. The only algorithms in the latter setting were for the edge count, given by Fichtenberger, Henzinger, and Ost (ESA 21), and for releasing the values of all graph cuts, given by Fichtenberger, Henzinger, and Upadhyay (ICML 23). We provide the first differentially private and fully dynamic graph algorithms for several other fundamental graph statistics (including the triangle count, the number of connected components, the size of the maximum matching, and the degree histogram), analyze their error and show strong lower bounds on the error for all algorithms in this setting. We study two variants of edge differential privacy for fully dynamic graph algorithms: event-level and item-level. We give upper and lower bounds on the error of both event-level and item-level fully dynamic algorithms for several fundamental graph problems. No fully dynamic algorithms that are private at the item-level (the more stringent of the two notions) were known before. In the case of item-level privacy, for several problems, our algorithms match our lower bounds.