ProbXiv
sign in
Problem archiveProblem record

Statement

Nikolov and Ullman asked, as Open Problem 1 on DifferentialPrivacy.org, whether kk statistical queries over a universe of size TT 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 nn and ε>0\varepsilon > 0 there is an ε\varepsilon-differentially private mechanism with expected error O(min⁡{1,log⁡(2T)log⁡(2k)/(εn)})O(\min\{1, \sqrt{\log(2T)\log(2k)/(\varepsilon n)}\}).

Record

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. proof attempt · #1

    Jack Fitzsimons, using Codex, Harmonic Aristotle

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai assisted
    — a person led the work and used a model along the way.

    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 in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.