~/talk

Consistency with External Knowledge: The TopDown Algorithm

name:Dan Kifer
links:none on file
slides:none on file

TopDown builds a differentially private microdata pipeline for the 2020 census that publishes hierarchical histograms over 12 billion cells (about 300M people, ~6M blocks) by iteratively solving national then state then county ... down to blocks, using a high-dimensional matrix mechanism for measurements, L2 solves and LP rounding to enforce nonnegative integer counts, exploiting sparsity and totally unimodular structure. It handles NP‑complete invariant consistency checks (state totals, GQ types, housing units) with flow reductions, cutting planes and a failsafe that relaxes parent consistency.

AI-written summary · about

  1. 0:00Start
  2. 3:07Formal Privacy
  3. 5:08Requirements
  4. 7:00Consistency with External Knowledge
  5. 12:10TopDown Framework (without invariants)
  6. 13:24National Level Histogram H
  7. 14:43National Histogram Linear solve
  8. 21:10Outline
  9. 22:19An Example (1)
  10. 26:17Implied Constraints
  11. 31:21Workarounds
  12. 33:17Current Invariants
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.