[论文解读] 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（泊松/斯科勒姆/复合泊松）。
• 识别支配相邻洗牌实验的主导块商几何，并展示它如何将极限实验分解为高斯与复合泊松分量。
• 建立严格的收敛性结果（弱 Lévy–Khintchine 极限、投影 TV/Le Cam 收敛，以及隐私曲线收敛），覆盖内部、边界与强边界三种情形。
• 描述收敛速率及边界行为，包括收敛速率的尖锐性以及 Berry–Esseen 型边界结果，同时指出普遍的强边界隐私曲线的障碍。
• 提供对单一主导、两主导不相交、以及重叠情形的专门化约简，并将其与 Part II 的结果联系起来。

提出的方法

• 给出含主导集合 D_b 与罕见强度 alpha_b(y) 的一般有限主导稀疏误差情形定义。
• 通过正交投影构造主导切空间 M 与商空间 M^⊥，以分离高斯与跳跃分量。
• 在商块上给出一般 Lévy–Khintchine 极限，具有高斯 G ~ N(0,Σ) 与复合泊松跳跃 J，以及在合适情况下的确定性平移 Δ。
• 证明完整混合统计量在相邻假设下的弱收敛到 (G,J) 或 (G,J+Δ)。
• 建立商块的投影 TV 与 Le Cam 收敛至相应的泊松–平移极限，并给出显式界限。
• 在内部、弱边界与规则强边界情形下证明完整混合实验的隐私曲线收敛，并给出边界 Berry–Esseen 结果。
• 将一般理论专门化到单一主导、两主导不相交、以及两主导重叠情形，阐明何时重叠将 Δ 收缩为零。
• 通过明确构造与反例，展示 O(n^{-1/2}) 收敛速率的尖锐性以及在何种条件下可恢复 O(n^{-1}) 的速率。

实验结果

研究问题

• RQ1 对于具有一般有限字母和主导输出的相邻洗牌实验，正确的极限结构是什么？
• RQ2 如何利用主导块几何将洗牌直方图分解为极限中的高斯与跳跃分量？
• RQ3 在何种条件下投影（商）极限决定完整的隐私曲线，何时会出现边界障碍？
• RQ4 完整混合实验的精确收敛速率是多少，何时可以恢复更尖锐的速率？
• RQ5 重叠的主导块如何影响 Lévy–Khintchine 极限与隐私曲线收敛？

主要发现

• 极限实验在主导切空间上分解为高斯因子，在罕见商块上形成复合泊松跳跃场。
• 主导块几何与超图商精准确定了投影与商操作，导出混合高斯–复合泊松极限。
• 对于重叠的主导输出，平移 Δ 可能收缩为零，在两种假设下得到相同极限；非重叠情形保留非平凡 Δ。
• 在商块上的投影收敛达到 O(n) 级的全变差与 Le Cam 收敛，且在定量的正则性条件下达到相应的泊松–平移极限。
• 完整隐私曲线在内部与规则边界情形下收敛到由商泊松–平移结构定义的极限；边界 Berry–Esseen 结果表明在边界参数 c→0 时高斯近似的准确性。
• 存在强边界障碍，在没有额外结构性假设下，投影跳跃极限并不能充分决定隐私曲线。
• 特殊情形可回收 Part II 的结果：单一主导的复合泊松极限，以及两主导不相交或重叠情形，包括 Δ 与 m_C 分量的显式形式。
• 本文提供一个三区域的普适性框架与有限字母 Lévy–Khintchine 层，适用于洗牌隐私，辅以尖锐的速率与边界分析。