Pipeline SWIFT query selection appears to use exact marginal errors
I maintainer di solito rispondono entro 2 giorni
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia in dpsynth/pipeline_transformations/swift.py tracciando compute_exact_marginals, compute_errors, il budget “Swift Select Queries” e swift.select_queries; confronta questo percorso con la logica di selezione di local discrete_mechanisms.swift. Esamina la draft PR #31 e considera completata la issue quando i punteggi di selezione sono protetti da un budget separato, la misurazione usa il budget rimanente e la diagnostica non pubblica errori esatti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Problem
The scalable pipeline SWIFT path appears to use exact-error-driven query selection.
In dpsynth/pipeline_transformations/swift.py, the pipeline computes exact candidate marginals, converts them into errors with marginals_computations.compute_errors(...), requests a budget named Swift Select Queries, and then passes the errors into swift.select_queries(...).
However, the selection scores do not appear to be noised before swift.select_queries(...); noise is added only later to the selected marginal measurements.
Why this matters
The selected clique tree / selected workload is itself data-dependent output. Concretely, the junction-tree topology, the selected clique set, and (when diagnostics are enabled) the exact error scores are all released and all depend on exact high-order marginals. If selection is driven by exact marginal errors, the later noisy measurement step does not protect the information leaked by which queries were selected.
This is separate from the local discrete_mechanisms.swift path, which has its own score-noising logic (_compute_initial_errors adds noise funded by a dedicated selection budget). The issue here is the scalable pipeline transformation path, which has no equivalent noising step.
Local evidence
Reviewed at commit 18c2c951bd2923f889f6e3b2b757e01aaae398ee; re-verified still present at current main (91e9181) — the pipeline path still feeds unnoised errors from compute_errors into swift.select_queries.
Relevant lines in the current tree:
dpsynth/pipeline_transformations/swift.py:exact_marginals = marginals_computations.compute_exact_marginals(...)dpsynth/pipeline_transformations/swift.py:errors = marginals_computations.compute_errors(...)dpsynth/pipeline_transformations/swift.py: budget request namedSwift Select Queriesdpsynth/pipeline_transformations/swift.py:return swift.select_queries(errors_dict, ...)dpsynth/pipeline_transformations/swift.py: noise is added at the laterAdd noise to selected marginalsstagedpsynth/pipeline_transformations/marginals_computations.py:compute_errors(...)usesexact_valsfrom exact marginals
Possible fix
Account separately for selection and measurement. Add DP noise to the vector of SWIFT candidate error scores before clique-tree/query selection, and use the remaining measurement budget only for selected marginal measurement. Diagnostic output should avoid publishing exact errors.
Draft PR
I opened a draft fix here: https://github.com/google/dpsynth/pull/31
- Lingua principale
- Python
- Stelle
- 32
- Fork
- 13
- Merge medio
- 1g 19h
- PR unite (30g)
- 20
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di google/dpsynth
-
import dpsynth fails because mbi.Dataset is registered as a JAX dataclass twiceForse già presa @hanzalaareeb l’ha presa 9 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
I maintainer di solito rispondono entro 2 giorni
-
Clarify installation requirements in quickstart.ipynbForse già presa @hanzalaareeb l’ha presa 8 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
google/dpsynth#194 · 1 commento ·
I maintainer di solito rispondono entro 2 giorni
-
`IndependentConfig` synthesis raises "Cliques must be unique."Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 2 giorni
-
Windows install of pylock.toml fails on the pipeline extra due to missing Windows wheel for python-dpForse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
I maintainer di solito rispondono entro 2 giorni
-
Add an option to control the maximum marginal degree in AIM workload constructionForse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
google/dpsynth#199 · 3 commenti ·
I maintainer di solito rispondono entro 2 giorni
Tutte le issue di google/dpsynth
Issue simili
-
defect from-review v0.9.2
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
khuisman/mcp-gee-sweet#926 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 Meno di un'ora Idoneità per principianti 84/100
EtanHey/brainlayer#1164 ·
I maintainer di solito rispondono entro 1 giorno
-
bug security
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
yunaremaia/vibeguard#141 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
PrismorSec/prismor#599 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
iii-hq/iii#2278 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno