Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unbounded noised maximum using the sparse vector technique #61

Draft
wants to merge 44 commits into
base: main
Choose a base branch
from
Draft

Unbounded noised maximum using the sparse vector technique #61

wants to merge 44 commits into from

Commits on Aug 2, 2024

  1. code

    @mjdemedeiros
    mjdemedeiros committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    5fc6495 View commit details
    Browse the repository at this point in the history

  2. Proof sketch

    @mjdemedeiros
    mjdemedeiros committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    f637d1b View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. update plan

    @mjdemedeiros
    mjdemedeiros committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c855fbb View commit details
    Browse the repository at this point in the history

  2. lemmas about probWhileSplit

    @mjdemedeiros
    mjdemedeiros committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    ea24303 View commit details
    Browse the repository at this point in the history

  3. checkpoint progress towards eventually constant sequence

    @mjdemedeiros
    mjdemedeiros committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    313e7f0 View commit details
    Browse the repository at this point in the history

  4. Apply eventually constant sequence lemma

    @mjdemedeiros
    mjdemedeiros committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    91fd85a View commit details
    Browse the repository at this point in the history

  5. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c410ba5 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. exploring alternative implementation

    @mjdemedeiros
    mjdemedeiros committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    c45981d View commit details
    Browse the repository at this point in the history

  2. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    e50313c View commit details
    Browse the repository at this point in the history

  3. add support for empty histories where possible

    @mjdemedeiros
    mjdemedeiros committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    eaff33a View commit details
    Browse the repository at this point in the history

  4. mono_conditional is enough to prove probWhileSplit_succ_r in the n>0 … 

    …case
    @mjdemedeiros
    mjdemedeiros committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    d03e01e View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. probBind_congr_strong

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    59a95c3 View commit details
    Browse the repository at this point in the history

  2. probWhileSplit_add_r'

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    c1de02e View commit details
    Browse the repository at this point in the history

  3. probWhileSplit_addd_r_pure

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    82bc7c3 View commit details
    Browse the repository at this point in the history

  4. checkpoint progress on eventual constancy lemma

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    d8fd7ea View commit details
    Browse the repository at this point in the history

  5. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    9a7e417 View commit details
    Browse the repository at this point in the history

  6. closed form is enough to close limit lemma

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    06b4bf4 View commit details
    Browse the repository at this point in the history

  7. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    f1f83ec View commit details
    Browse the repository at this point in the history

  8. sketch privMax_reduction_2 and privMax_reduction_3

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    8e7a56e View commit details
    Browse the repository at this point in the history

  9. State DP property

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    fe4c2f9 View commit details
    Browse the repository at this point in the history

  10. deterministic part of DP argument

    @mjdemedeiros
    mjdemedeiros committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    87a8aed View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. checkpoint: fix off-by-one errors

    @mjdemedeiros
    mjdemedeiros committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    a6524fa View commit details
    Browse the repository at this point in the history

  2. privMax_eval_cut_supp_bound, and example

    @mjdemedeiros
    mjdemedeiros committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    1118a75 View commit details
    Browse the repository at this point in the history

  3. closed form, below the cut point

    @mjdemedeiros
    mjdemedeiros committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    6003d88 View commit details
    Browse the repository at this point in the history

  4. reduce closed form to privMax_eval_cut_const_ind

    @mjdemedeiros
    mjdemedeiros committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    93ce8fa View commit details
    Browse the repository at this point in the history

  5. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    c31508a View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    4a31d9c View commit details
    Browse the repository at this point in the history

  2. reduction 3 complete

    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    29c2e3f View commit details
    Browse the repository at this point in the history

  3. sum_len_split_lemma

    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    432d5e8 View commit details
    Browse the repository at this point in the history

  4. checkpoint privMax_reduction_2

    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    d75449d View commit details
    Browse the repository at this point in the history

  5. checkpoint before trying to fix strange off-by-one

    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a9ac9ce View commit details
    Browse the repository at this point in the history

  6. adding extra iterate to privMax_eval_alt_loop_cut makes reduction_2 b… 

    …ase case hold
    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    ffd2544 View commit details
    Browse the repository at this point in the history

  7. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1f14a3f View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Work on termination tracking version (like geometric sampler)

    @mjdemedeiros
    mjdemedeiros committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    8f05142 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. organization

    @mjdemedeiros
    mjdemedeiros committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    a35478f View commit details
    Browse the repository at this point in the history

  2. checkpoint privacy proof

    @mjdemedeiros
    mjdemedeiros committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6fc9a42 View commit details
    Browse the repository at this point in the history

  3. privacy for hist=[] case

    @mjdemedeiros
    mjdemedeiros committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    657db9b View commit details
    Browse the repository at this point in the history

  4. nonzero history checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    26127ba View commit details
    Browse the repository at this point in the history

  5. sketch end of nonempty history proof

    @mjdemedeiros
    mjdemedeiros committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    bc3fc7e View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. refactor privacy proof

    @mjdemedeiros
    mjdemedeiros committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    49d0531 View commit details
    Browse the repository at this point in the history

  2. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    16d082d View commit details
    Browse the repository at this point in the history

  3. exactDiffSum_neighbours (worse bound than in the literature)

    @mjdemedeiros
    mjdemedeiros committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    421bee6 View commit details
    Browse the repository at this point in the history

  4. cleanup pure proof file

    @mjdemedeiros
    mjdemedeiros committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    1d75252 View commit details
    Browse the repository at this point in the history

  5. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    d3fa24b View commit details
    Browse the repository at this point in the history