Nikolov-Ullman Pure-DP Query Release Conjecture
Statement
Nikolov and Ullman asked, as Open Problem 1 on DifferentialPrivacy.org, whether statistical queries over a universe of size can be released under pure differential privacy at the square-root error rate that the known lower bounds suggest, rather than the cube-root rate of the classical small-database method. They can: for every and there is an -differentially private mechanism with expected error .
Record
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
proof attempt · #1
Jack Fitzsimons, using Codex, Harmonic AristotleThat credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.
The generative-AI disclosure states that Codex and Aristotle were used in connection with Lean formalization and proof search, and that Codex also gave editorial feedback on clarity and organization. Proof search is a mathematical contribution, but the disclosure does not say which steps came from where.
Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.
Sign inSolve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.