Tighter Bounds for Local Differentially Private Core Decomposition and Densest Subgraph

Monika Henzinger,A. R. Sricharan,Leqi Zhu
2024-02-28
Abstract:Computing the core decomposition of a graph is a fundamental problem that has recently been studied in the differentially private setting, motivated by practical applications in data mining. In particular, Dhulipala et al. [FOCS 2022] gave the first mechanism for approximate core decomposition in the challenging and practically relevant setting of local differential privacy. One of the main open problems left by their work is whether the accuracy, i.e., the approximation ratio and additive error, of their mechanism can be improved. We show the first lower bounds on the additive error of approximate and exact core decomposition mechanisms in the centralized and local model of differential privacy, respectively. We also give mechanisms for exact and approximate core decomposition in the local model, with almost matching additive error bounds. Our mechanisms are based on a black-box application of continual counting. They also yield improved mechanisms for the approximate densest subgraph problem in the local model.
Data Structures and Algorithms,Cryptography and Security
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the accuracy of graph core decomposition and densest subgraph problems under the Local Differential Privacy (LDP) model, especially to reduce the additive error of approximation algorithms. Specifically, the goals of the paper can be summarized as follows: 1. **Core Decomposition Problem**: - **Background**: In the context of differential privacy, computing the core decomposition of a graph is a fundamental problem, and previous research has presented the first approximate core decomposition mechanism under the local differential privacy model. - **Existing Challenges**: Whether the accuracy (i.e., approximation ratio and additive error) of the current mechanism can be further improved is a major open question. - **Goal**: The paper aims to provide the first lower bound on the additive error in the local differential privacy model and propose a new mechanism to achieve an almost - matching upper bound on the additive error. 2. **Densest Subgraph Problem**: - **Background**: Similar to core decomposition, the densest subgraph problem has also been studied in the context of differential privacy. - **Existing Challenges**: How to improve the accuracy of the densest subgraph problem under the local differential privacy model. - **Goal**: Indirectly improve the accuracy of the densest subgraph problem by improving the mechanism of core decomposition. ### Main Contributions 1. **Lower Bound Results**: - **Centralized Model**: Prove a tight lower bound on the additive error of approximate core decomposition in the centralized model. - **Local Model**: Prove a lower bound on the additive error of exact core decomposition in the local model with 1 - round communication. 2. **Upper Bound Results**: - **Exact Core Decomposition**: Propose a memoryless local algorithm with an additive error of \(O(\log^2 n)\) and a round complexity of \(O(n)\). After using memory, the error can be improved to \(O(\log n \log \Delta)\), where \(\Delta\) is the maximum degree of the graph. - **Approximate Core Decomposition**: Propose a memoryless local algorithm with an additive error of \(O(\log n \log \log n)\) and a round complexity of \(O(\log^2 n)\). - **Approximate Densest Subgraph**: Propose memoryless local algorithms with additive errors of \(O(\log^2 n)\) and \(O(\log n \log \log n)\) respectively, and round complexities of \(O(n)\) and \(O(\log^2 n)\) respectively. After using memory, the error of the 2 - approximate algorithm can be improved to \(O(\log n \log \Delta)\). ### Technical Overview - **Lower Bound in Centralized Model**: Use the standard "packing argument" method to construct a series of disjoint "bad" output classes, and use the properties of differential privacy to prove that the probability of the algorithm in each bad output class is large enough. - **Lower Bound in Local Model**: Prove the lower bound on the additive error of exact core decomposition in the local model with 1 - round communication by reducing the local model problem with 1 - round communication to the strong lower bound problem in the centralized model. - **Upper Bound in Local Model**: By using the continual counting mechanism, design a new method so that each user can track the change of their degree and privately disclose their degree during the process of the server continuously deleting nodes. ### Related Work - **Centralized Model**: Existing centralized algorithms can achieve exact core decomposition with an additive error of \(O(\log n)\). - **Local Model**: Existing local model algorithms have a trade - off between accuracy and round complexity, and this paper improves the performance of these algorithms by introducing new techniques. In general, this paper significantly improves the accuracy of core decomposition and densest subgraph problems under the local differential privacy model by providing new lower and upper bound results and improved algorithms.