[論文レビュー] Universal Shuffle Asymptotics, Part III: Dominant-Block Quotient Geometry and Hybrid Gaussian--Compound-Poisson Limits in Finite-Alphabet Shuffle Privacy

Alex Shvets|arXiv (Cornell University)|Mar 12, 2026

Random Matrices and Applications被引用数 0

ひとこと要約

この論文は、支配ブロック商幾何と一般的な Lévy–Khintchine ハイブリッド極限を特定することにより有限アルファベットのシャッフル・プライバシー弱極限理論を完成させ、ガウス成分と複合ポアソン成分および境界挙動を得る。

ABSTRACT

Part I of this series (arXiv:2602.09029) establishes a sharp Gaussian (LAN/GDP) limit theory for neighboring shuffle experiments in the fixed full-support regime. Part II (arXiv:2603.10073) identifies the first universality-breaking frontier: critical Poisson, Skellam, and multivariate compound-Poisson regimes. The present paper completes the finite-alphabet weak-limit theory by identifying the dominant-block quotient geometry that governs neighboring shuffle experiments. We treat dominant blocks of arbitrary finite size, allow overlap between the dominant output sets under the two neighboring hypotheses, and show that the limiting experiment decomposes according to this geometry: projecting onto the sum of the dominant tangent spaces yields a Gaussian factor, while quotienting by those same tangent spaces isolates a compound-Poisson jump field in the rare block. We also identify the regimes in which this quotient description determines the full privacy-curve, as well as the obstruction that appears when projected jump limits alone do not suffice. Two further sections sharpen the rate picture and the boundary interface: we show that the O(n^{-1/2}) rate for the full hybrid experiment is sharp in general, identify a compatibility condition restoring the O(n^{-1}) rate, and prove a boundary Berry--Esseen theorem giving O(c) Le Cam proximity between the critical Poisson-shift and Gaussian shift experiments as c tends to 0. Together with Parts I--II, this yields a three-regime universality picture and a precise finite-alphabet Levy--Khintchine layer for shuffle privacy.

研究の動機と目的

• Part I（ガウス）および Part II（ポアソン/スケラム/複合ポアソン）に続く有限アルファベットのシャッフル・プライバシーにおける完全な弱極限理論の必要性を動機づける。
• 隣接シャッフル実験を支配する支配ブロック商幾何を特定し、極限実験をガウス成分と複合ポアソン成分に分解する方法を示す。
• 内部・境界・強境界系にまたがる弱リーヴィ＝キンチ）限界、投影 TV/Le Cam 収束、プライバシー曲線収束を rigorous に確立する。
• 収束速度と境界挙動を特徴づけ、収束速度の鋭さと Berry–Esseen 型境界結果を含み、普遍的な強境界プライバシー曲線への障害を示す。
• 単一支配、二支配の離散分離、および重なり領域への特殊化削減を提供し、それを Part II の結果と関連付ける。

提案手法

• 一般的な有限支配スパース誤差領域を定義し、支配集合 D_b と希少強度 α_b(y) を導入。
• 支配接平面 M と商空間 M^⊥ を直交射影で構成し、ガウス成分とジャンプ成分を分離。
• ガウス G ~ N(0,Σ) と商ブロック上の複合ポアソンジャンプ J、および適切な場合には決定的な平行移動 Δ を含む一般的 Lévy–Khintchine 極限を定式化。
• 隣接仮説の下で完全なハイブリッド統計量の弱収束を (G,J) または (G,J+Δ) に証明。
• 商ブロックへの投影 TV および Le Cam 収束を対応するポアソン-シフト極限へ、明示的境界付きで確立。
• 内部、弱境界、通常の強境界系における完全なハイブリッド実験のプライバシー曲線収束を証明し、境界 Berry–Esseen 結果を提供。
• 一般理論を単一支配、二支配の離散、二支配の重なり状況へ特化し、Δ がゼロに崩壊する際の条件を明確化。
• Explicit な構成・反例を通じて O(n^{-1/2}) 収束速度の鋭さと O(n^{-1}) が成り得る条件を示す。

実験結果

リサーチクエスチョン

• RQ1 隣接するシャッフル実験の正しい極限構造は、一般的な有限アルファベットと支配出力を持つ場合に何か。
• RQ2 支配ブロック幾何を用いて極限でシャッフルヒストグラムをガウス成分とジャンプ成分にどのように分解できるか。
• RQ3 投影（商）極限が全体のプライバシー曲線を決定する条件は何か、境界の障害はいつ生じるか。
• RQ4 完全なハイブリッド実験の収束速度は正確にはどれくらいか、より鋭い速度が回復できる条件は何か。
• RQ5 重なる支配ブロックは Lévy–Khintchine 極限とプライバシー曲線収束にどのように影響するか。

主な発見

• 極限実験は支配接平面上のガウス要因と希少商ブロック上の複合ポアソンジャンプ場に分解される。
• 支配ブロック幾何とハイパーグラフ商は、ハイブリッドなガウス–複合ポアソン極限を生み出す投影と商の操作を正確に決定する。
• 重なりのある支配出力の場合、移動 Δ がゼロに崩壊することがあり、両仮説の下で同じ極限を与える。非重なりの場合は非自明な Δ を保持。
• 商ブロックへの投影収束は O(n) レベルの全変動収束および Le Cam 収束を対応するポアソン–シフト極限へ達成し、定量的な正則性条件の下で成立。
• 内部および通常の境界系で、全プライバシー曲線は商ポアソン–シフト構造に定義された極限へ収束する。境界パラメータ c→0 のとき、ガウス近似の精度を示す Berry–Esseen 結果を提供。
• 強境界には、投影ジャンプ極限だけでは追加の構造的仮定なしにはプライバシー曲線を完全には決定できない障害が存在する。
• 単一支配の複合ポアソン極限、二支配の離散または重なり領域を含む Part II の結果を回復する特殊ケース。Δおよび m_C 成分の明示的形を含む。
• 本論文はシャッフルプライバシーの三領域普遍性像と有限アルファベット Lévy–Khintchine 層、鋭い収束速度と境界解析を提供する。