OpenDPの雑音生成に生じる周期的な偏りを特定・修正
Detection and Resolution of Periodic Artifacts in OpenDP's Discrete Laplace Sampler
この論文をやさしく読む
ひとことで言うと
プライバシー保護用の乱数に周期的な偏りが出る不具合を、内部の有理数計算まで追跡した研究です。
何に役立つ？
差分プライバシーを実装する際、数学上の分布と実際の出力が一致しているかを調べる診断方法の参考になります。
この研究の面白いところ
表面上は乱数の問題に見える現象を、入れ子の処理を順に切り分けて算術ライブラリに特定し、厳密演算で修正しています。
どこまで分かった？
検証は100万標本で、試験した精度では理論分布と区別できないという結果です。要旨だけでは、対象バージョンや製品への修正反映状況は分かりません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
差分プライバシーの実装では、形式的なプライバシー保証を与えるために、雑音分布から正確に標本を生成する必要がある。私たちは、OpenDPの離散ラプラス標本生成器に、出力分布の周期的な歪みとして現れる系統的な異常を発見したことを報告する。系統的な試験を通じて、この異常の原因が、Bernoulli(e^(−x))分布からの標本生成を実装する低水準の基本処理であるbernoulli_exp1関数で使われる、有理数演算ライブラリの誤った実装にあることを突き止めた。入れ子になった標本生成の階層から不具合のある構成要素を切り分ける診断方法を提示し、この異常を除去する厳密な有理数演算に基づく代替実装を提案する。100万標本を用いた統計的検証により、修正した標本生成器の出力は、試験した精度の水準では理論分布と区別できないことを確認した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Differential privacy implementations rely on precise sampling from noise distributions to provide formal privacy guarantees. We report the discovery of systematic artifacts in OpenDP's discrete Laplace sampler that manifest as periodic distortions in the output distribution. Through systematic testing, we trace these artifacts to a faulty implementation in the rational arithmetic library used by the bernoulli_exp1 function, a low-level primitive that implements sampling from Bernoulli(e^(-x)) distributions. We present a diagnostic methodology that isolates the faulty component in the nested sampling hierarchy and propose an alternative implementation based on exact rational arithmetic that eliminates the artifacts. Statistical validation with 10^6 samples confirms that the corrected sampler produces outputs indistinguishable from the theoretical distribution at the tested precision level.
arXiv ID: 2610.01907 ／ 要約の誤りについて