[논문 리뷰] 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)|2026. 03. 12.

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(포아송/스켈람/컴파운드-포아송) 이후의 유한 알파벳 셔플 프라이버시에서 약한 극한 이론의 필요성을 동기 부여한다.
• 인접 셔플 실험을 지배하는 지배블록 몫 기하학을 식별하고 이것이 극한 실험을 가우시안 및 컴파운드-포아송 성분으로 분해하는 방법을 보여준다.
• 내부, 경계 및 강한 경계 규 regime 전반에서 약한 Lévy–Khintchine 극한, 투영된 TV/Le Cam 수렴 및 프라이버시-곡선 수렴에 대한 엄밀한 수렴 결과를 확립한다.
• 수렴 속도 및 경계 동작을 특성화하고, 수렴 속도의 예리성 및 Berry–Esseen 유형의 경계 결과를 포함하며, 일반적인 강한 경계 프라이버시 곡선에 대한 장애물을 제시한다.
• 단일 지배, 이중 지배 분리 구간 및 중첩 구간으로의 특수화 축소를 제공하고 이를 Part II 결과와 연계한다.

제안 방법

• 지배 집합 D_b와 희귀 강도 alpha_b(y)를 갖는 일반적인 유한 지배 희소오류 체계를 정의한다.
• Gaussian 및 점프 구성요소를 분리하기 위해 직교 사영을 통해 지배 접선 공간 M과 몫 공간 M^⊥를 구성한다.
• 가우시안 G ~ N(0,Σ)와 몫 블록의 컴파운드-포아송 점프 J, 필요 시 결정적 변화 Δ를 포함하는 일반 Lévy–Khintchine 극한을 공식화한다.
• 이웃한 가설 하에서 전체 하이브리드 통계량의 약한 수렴을 (G,J) 또는 (G,J+Δ)에 대해 증명한다.
• 몫 블록에 대한 투영 TV 및 Le Cam 수렴을 해당 포아송-시프트 극한으로 명시적 경계와 함께 확립한다.
• 내부, 약한 경계 및 일반 강한 경계 규 regime에서 전체 하이브리드 실험의 프라이버시-곡선 수렴을 증명하고 경계 Berry–Esseen 결과를 제공한다.
• 일반 이론을 단일 지배, 이중 지배 분리 및 이중 지배 중첩 시나리오에 특수화하고 중첩이 Δ를 0으로 축소하는 시점을 명확히 한다.
• O(n^{-1/2}) 속도의 예리함 및 O(n^{-1}) 속도가 성립하는 조건을 명시적 구성과 반례를 통해 입증한다.

실험 결과

연구 질문

• RQ1 일반 유한 알파벳 및 지배 출력에 대한 이웃 셔플 실험의 올바른 극한 구조는 무엇인가?
• RQ2 지배블록 기하학을 사용해 극한에서 셔플 히스토그램을 가우시안 및 점프 성분으로 어떻게 분해할 수 있는가?
• RQ3 투영(몫) 극한이 전체 프라이버시 곡선을 결정하는 조건과 경계 장애가 발생하는 경우는 언제인가?
• RQ4 전체 하이브리드 실험의 수렴 속도는 정확히 얼마이며 더 예리한 속도를 복원할 수 있는 조건은 무엇인가?
• RQ5 겹치는 지배 블록이 Lévy–Khintchine 극한 및 프라이버시 곡선 수렴에 어떤 영향을 미치는가?

주요 결과

• 극한 실험은 지배 접선 공간에서의 가우시안 인자와 희귀 몫 블록에서의 컴파운드-포아송 점프 필드로 분해된다.
• 지배블록 기하학과 하이퍼그래프 몫은 혼합 가우시안-컴파운드-포아송 극한을 얻기 위해 필요한 투영 및 몫 연산을 정확히 결정한다.
• 겹치는 지배 출력의 경우 Δ가 0으로 축소되어 두 가설 아래에서도 동일한 극한을 얻을 수 있으며, 비겹치는 경우에는 비자루 Δ가 남는다.
• 몫 블록에서의 투영 수렴은 포아송-시프트 극한에 대해 O(n) 수준의 총변이 TV 및 Le Cam 수렴을 달성하며, 이는 정량적 정칙성 조건 하에서 가능하다.
• 전체 프라이버시 곡선은 내부 및 규칙적 경계에서 몫 포아송-시프트 구조로 정의된 극한으로 수렴한다; 경계 Berry–Esseen 결과는 경계 매개변수 c→0에 따른 가우시안 근사를 보여준다.
• 추가 구조 가정 없이도 단독 점프 극한만으로는 프라이버시 곡선을 완전히 결정하지 못하는 강한 경계 장애가 존재한다.
• 특수한 경우는 Part II 결과를 회복한다: 단일 지배 컴파운드-포아송 극한 및 이중 지배 분리 또는 중첩 구간, Δ 및 m_C 구성 요소의 명시적 형태 포함.
• 논문은 셔플 프라이버시를 위한 3-레짐 보편성 그림과 유한-알파벳 Lévy–Khintchine 층을 제시하고, 예리한 속도 및 경계 분석을 제공한다.