Guaranteed Feasibility in Differentially Private Linearly Constrained Convex Optimization
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910602059841536 |
|---|---|
| author | Benvenuti, Alexander Bialy, Brendan Dennis, Miriam Hale, Matthew |
| author_facet | Benvenuti, Alexander Bialy, Brendan Dennis, Miriam Hale, Matthew |
| contents | Convex programming with linear constraints plays an important role in the operation of a number of everyday systems. However, absent any additional protections, revealing or acting on the solutions to such problems may reveal information about their constraints, which can be sensitive. Therefore, in this paper, we introduce a method for solving convex programs while keeping linear constraints private. First, we prove that this method is differentially private and always generates a feasible optimization problem (i.e., one whose solution exists). Then we show that the solution to the privatized problem also satisfies the original, non-private constraints. Next, we bound the expected loss in performance from privacy, which is measured by comparing the cost with privacy to that without privacy. Simulation results apply this framework to constrained policy synthesis in a Markov decision process, and they show that a typical privacy implementation induces only an approximately $9\%$ loss in solution quality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_08364 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Guaranteed Feasibility in Differentially Private Linearly Constrained Convex Optimization Benvenuti, Alexander Bialy, Brendan Dennis, Miriam Hale, Matthew Optimization and Control Convex programming with linear constraints plays an important role in the operation of a number of everyday systems. However, absent any additional protections, revealing or acting on the solutions to such problems may reveal information about their constraints, which can be sensitive. Therefore, in this paper, we introduce a method for solving convex programs while keeping linear constraints private. First, we prove that this method is differentially private and always generates a feasible optimization problem (i.e., one whose solution exists). Then we show that the solution to the privatized problem also satisfies the original, non-private constraints. Next, we bound the expected loss in performance from privacy, which is measured by comparing the cost with privacy to that without privacy. Simulation results apply this framework to constrained policy synthesis in a Markov decision process, and they show that a typical privacy implementation induces only an approximately $9\%$ loss in solution quality. |
| title | Guaranteed Feasibility in Differentially Private Linearly Constrained Convex Optimization |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2409.08364 |