🔢 mathematics

Universal Shuffle Asymptotics, Part III: Dominant-Block Quotient Geometry and Hybrid Gaussian--Compound-Poisson Limits in Finite-Alphabet Shuffle Privacy

यह शोध पत्र एक डोमिनेंट-ब्लॉक कोटिएंट ज्यामिति स्थापित करके शफल प्राइवेसी (shuffle privacy) के लिए परिमित-वर्णमाला (finite-alphabet) कमजोर-सीमा सिद्धांत को पूर्ण करता है, जो पड़ोसी शफल प्रयोगों को हाइब्रिड गौसियन और कंपाउंड-पॉइसन सीमाओं में विघटित करता है, जिससे तीन सार्वभौमिक श्रेणियों में पूर्ण गोपनीयता वक्र, अभिसरण दर और सीमा इंटरफेस का लक्षण वर्णन किया जाता है।

मूल लेखक: Alex Shvets

प्रकाशित 2026-03-17

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Alex Shvets

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक विशाल, गुप्त जनमत संग्रह (opinion poll) चला रहे हैं। आपके पास हजारों लोग (उपयोगकर्ता) हैं, और प्रत्येक व्यक्ति के पास एक निजी उत्तर है (या तो "हाँ" या "नहीं")। आप समग्र रुझान जानना चाहते हैं बिना यह जाने कि किसी भी व्यक्ति ने वास्तव में क्या उत्तर दिया।

इसे करने के लिए, आप एक "शफल मॉडल" (Shuffle Model) का उपयोग करते हैं। यह कैसे काम करता है:

मास्क (The Mask): प्रत्येक व्यक्ति अपना उत्तर एक बॉक्स में रखता है, उसमें कुछ रैंडम शोर (एक "लोकल रैंडमाइज़र") जोड़ता है, और उसे बाहर भेज देता है।
शफल (The Shuffle): एक विश्वसनीय (लेकिन जिज्ञासु) सर्वर सभी बॉक्स एकत्र करता है, उन्हें पूरी तरह से मिला देता है ताकि कोई नहीं जान सके कि कौन सा बॉक्स किसने भेजा था, और फिर बाहर आए संदेशों के प्रकारों की गिनती करता है।
परिणाम (The Result): आपको एक हिस्टोग्राम (संदेशों की गिनती) मिलता है जो सामान्य रुझान बताता है, लेकिन मिश्रण और शोर के कारण, किसी विशिष्ट संदेश को किसी विशिष्ट व्यक्ति तक ट्रेस करना बहुत कठिन हो जाता है।

यह शोध पत्र इस त्रयी (trilogy) का तीसरा भाग है जो यह समझने की कोशिश कर रहा है कि जैसे-जैसे लोगों की संख्या बहुत बड़ी होती जाती है, यह प्रणाली वास्तव में कितनी गोपनीयता (privacy) प्रदान करती है।

बड़ी तस्वीर: तीन प्रकार की गोपनीयता की दुनिया

लेखकों ने पाया कि गोपनीयता का व्यवहार इस बात पर निर्भर करता है कि व्यक्तिगत बॉक्स कितने "शोर वाले" (noisy) हैं। उन्होंने तीन अलग-अलग दुनियाओं की पहचान की:

"गौसियन" दुनिया (भाग I): जब शोर भारी होता है और समान रूप से फैला होता है, तो गणित एक सुचारू बेल कर्व (bell curve) की तरह व्यवहार करता है। यह अनुमानित, स्थिर और गणना करने में आसान है।
"पॉइसन" दुनिया (भाग II): जब शोर बहुत हल्का होता है (लोग लगभग सच बोल रहे होते हैं), तो गणित बेल कर्व को तोड़ देता है। इसके बजाय, यह दुर्लभ, अचानक आने वाले "जंप" या स्पाइक्स (spikes) की तरह व्यवहार करता है। इसे बिजली गिरने की गिनती की तरह समझें: ज्यादातर शांति रहती है, फिर अचानक ज़ैप!
"हाइब्रिड" दुनिया (यह शोध पत्र): यह वह उलझा हुआ बीच का रास्ता है। कभी-कभी शोर भारी होता है (सुचारू), और कभी-कभी हल्का (स्पाइकी)। यह शोध पत्र इस स्थिति को संभालने का तरीका निकालता है जहाँ दोनों चीजें एक ही समय में होती हैं।

मुख्य विचार: "डोमिनेंट ब्लॉक" और "क्वोटिएंट"

लेखकों ने महसूस किया कि इस उलझी हुई बीच की दुनिया में, डेटा दो अलग-अलग परतों में विभाजित हो जाता है, जैसे एक लेयर्ड केक:

परत 1: सुचारू केक (The Dominant Block)।
कल्पना कीजिए कि उन लोगों का एक समूह है जो ज्यादातर सच बोलते हैं लेकिन थोड़ा सा रैंडम शोर जोड़ते हैं। क्योंकि वे बहुत अधिक संख्या में हैं, उनका सामूहिक व्यवहार उस सुंदर और अनुमानित बेल कर्व (गौसियन) में बदल जाता है। यह "डोमिनेंट ब्लॉक" है।
- उपमा: एक समूह की कल्पना करें जो एक ही स्वर (note) गा रहा है। भले ही कुछ गायक थोड़े इधर-उधर हों, समग्र ध्वनि एक स्थिर, सुचारू स्वर बनी रहती है।
परत 2: चूरा (The Crumbs/Rare Block)।
कल्पना कीजिए कि कुछ लोग बहुत अलग हैं। शायद वे लगभग कभी झूठ नहीं बोलते, या वे एक विशिष्ट, दुर्लभ तरीके से झूठ बोलते हैं। उनके संदेश घुलमिल नहीं जाते; वे विशिष्ट, दुर्लभ घटनाओं के रूप में उभरते हैं। ये "जंप" या स्पाइक्स (कंपाउंड पॉइसन) पैदा करते हैं।
- उपमा: भीड़ में कुछ लोगों की कल्पना करें जो अनोखे, अजीब शब्द चिल्ला रहे हैं। आप उनसे कोई "ध्वनि तरंग" (sound wave) नहीं सुनते; आप केवल अलग-अलग बीप या क्रैश सुनते हैं।

"क्वोटिएंट ज्योमेट्री" (The Magic Trick)

शोध पत्र का मुख्य चमत्कार "क्वोटिएंट ज्योमेट्री" (Quotient Geometry) नामक एक गणितीय ट्रिक है।

कल्पित करें कि आपके पास मिश्रित डेटा का एक ढेर है (केक और चूरा)।

प्रोजेक्टिंग (Projecting): लेखक आपको डेटा को केवल सुचारू समूह (गौसियन भाग) को देखने के लिए गणितीय रूप से "फ्लैटन" (flatten) करना सिखाते हैं।
क्वोटिएंटिंग (Quotienting): फिर, वे आपको उस सुचारू भाग को हटाकर केवल अजीब, दुर्लभ चिल्लाहटों (पॉइसन भाग) को देखने का तरीका दिखाते हैं।

डेटा को इस तरह अलग करके, वे यह सिद्ध कर सकते हैं कि पूरी प्रणाली की गोपनीयता, सुचारू भाग और स्पाइकी भाग की गोपनीयता के संयोजन के बराबर है।

"ओवरलैप" की समस्या

एक पेचीदा परिदृश्य है: क्या होगा यदि "सुचारू" समूह और "स्पाइकी" समूह के बीच कुछ लोग साझा होते हैं?

उपमा: कल्पना करें कि गायक और चिल्लाने वाले एक ही कमरे में खड़े हैं, और कुछ लोग दोनों काम कर रहे हैं।
खोज: लेखकों ने पाया कि भले ही ये समूह ओवरलैप करते हों, फिर भी गणित काम करता है! "सुचारू" भाग और "स्पाइकी" भाग एक विशिष्ट तरीके से विलीन हो जाते हैं। कभी-कभी, यदि वे पूरी तरह से ओवरलैप होते हैं, तो "स्पाइकी" भाग पूरी तरह से गायब हो जाता है, और आपके पास केवल सुचारू वक्र (smooth curve) बचता है।

यह क्यों मायने रखता है? ("प्राइवेसी कर्व")

गोपनीयता में, हम "प्राइवेसी कर्व" (Privacy Curve) की परवाह करते हैं। यह एक ग्राफ है जो बताता है: "यदि मैं अंतिम परिणाम जानता हूँ, तो मैं किसी विशिष्ट व्यक्ति के उत्तर के बारे में कितना अनुमान लगा सकता हूँ?"

अच्छी खबर: अधिकांश मामलों में ("इंटीरियर" और "वीक बाउंड्री" रेजिम्स में), यह शोध पत्र सिद्ध करता है कि आप अलग किए गए सुचारू और स्पाइकी भागों को देखकर प्राइवेसी कर्व की सटीक भविष्यवाणी कर सकते हैं।
बुरी खबर (द ऑब्स्ट्रक्शन): लेखकों ने एक विशिष्ट, अजीब मामला ( "स्ट्रॉन्ग बाउंड्री") पाया जहाँ गणित टूट जाता है।
- उपमा: कल्पना करें कि 3 लोगों का एक छोटा, गुप्त समूह है जो एक विशिष्ट कोड जानता है। भले ही वे एक बहुत छोटी अल्पसंख्यक संख्या हैं, उनका विशिष्ट कोड एक ऐसा "फिंगरप्रिंट" बनाता है जिसे सुचारू गणित नहीं देख पाता, लेकिन एक चतुर जासूस इसे आसानी से पकड़ सकता है। इस दुर्लभ मामले में, मानक सूत्र विफल हो जाते हैं, और गोपनीयता वास्तव में गणित द्वारा अनुमानित स्तर से कम होती है।

अभिसरण की गति (The Speed of Convergence)

शोध पत्र यह भी देखता है कि जैसे-जैसे आप अधिक लोग जोड़ते हैं, गणित कितनी तेजी से सटीक होता है।

आमतौर पर, त्रुटि (error) $1/\sqrt{n}$ के कारक से कम हो जाती है (जैसे लोगों की संख्या का वर्गमूल)।
लेखकों ने सिद्ध किया कि यह सामान्य रूप से सबसे अच्छी संभव गति है। आप इसे तब तक तेज़ नहीं बना सकते जब तक कि "सुचारू" और "स्पाइकी" भाग पूरी तरह से मेल न खाते हों ("कंपैटिबिलिटी कंडीशन")। यदि वे मेल नहीं खाते हैं, तो आप धीमी गति के साथ ही बंधे रहेंगे।

सारांश

यह शोध पत्र शफल मॉडल को समझने के लिए अंतिम मार्गदर्शिका है जब चीजें जटिल हो जाती हैं।

यह हमें अनुमानित शोर को दुर्लभ, आश्चर्यजनक शोर से अलग करना सिखाता है।
यह दिखाता है कि उनके गोपनीयता प्रभावों को जोड़कर पूर्ण चित्र कैसे प्राप्त किया जाए।
यह हमें एक छिपे हुए जाल के बारे में चेतावनी देता जहाँ लोगों का एक छोटा समूह, यदि हम सावधान नहीं रहे, तो गोपनीयता की गारंटी को खराब कर सकता है।

यह एक मास्टर की (master key) की तरह है जो जटिल, विशाल और निजी डेटा सिस्टम के व्यवहार को अनलॉक करती है, और हमें बताती है कि हम कब सुरक्षित हैं और हमें कब अतिरिक्त सावधानी बरतने की आवश्यकता है।

यहाँ एलेक्स श्वेत्स के शोध पत्र "Universal Shuffle Asymptotics, Part III: Dominant-Block Quotient Geometry and Hybrid Gaussian–Compound-Poisson Limits in Finite-Alphabet Shuffle Privacy" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र एक त्रयी (भाग I और II के बाद) को पूर्ण करता है, जो फाइनाइट-अल्फाबेट (finite-alphabet) शासन में नेबरिंग शफल प्रयोगों (neighboring shuffle experiments) के लिए एक कठोर स्पर्शोन्मुखी सिद्धांत (asymptotic theory) स्थापित करता है।

सेटिंग: एक शफल तंत्र जहाँ $n$ उपयोगकर्ता बाइनरी डेटा ($0 $या$ 1 $) रखते हैं, एक स्थानीय रैंडमाइज़र$ W^{(n)}$ लागू करते हैं, और संदेशों को एक शफ़लर को भेजते हैं। शफ़लर संदेशों के हिस्टोग्राम (मल्टीसेट) को आउटपुट के रूप में देता है, जिसे एक विश्लेषक को जारी किया जाता है।
अंतराल (The Gap):
- भाग I ने स्थापित किया कि जब स्थानीय रैंडमाइज़र का फुल सपोर्ट शून्य से दूर (bounded away from zero) होता है, तो प्रयोग एक गौसियन (Gaussian) सीमा (GDP) की ओर अभिसरित होता है।
- भाग II ने पहचान की कि जब रैंडमाइज़र केंद्रित (sparse errors) हो जाता है, तो गौसियन सीमा विफल हो जाती है, और इसके बजाय पॉइसन (Poisson), स्केलम (Skellam), या मल्टीवेरिएट कंपाउंड-पॉइसन (multivariate compound-Poisson) सीमाओं में परिवर्तित होती है।
- भाग III (यह शोध पत्र) संरचनात्मक अंतराल को संबोधित करता है: यह इन सीमाओं को अनिश्चित डोमिनेंट सेट्स (arbitrary finite dominant sets) (किसी भी आकार के) तक सामान्यीकृत करता है, पड़ोसी परिकल्पनाओं (hypotheses) के बीच ओवरलैपिंग डोमिनेंट सेट्स को संभालता है, और उस हाइब्रिड ज्योमेट्री को लक्षणबद्ध करता है जहाँ गौसियन और पॉइसन व्यवहार सह-अस्तित्व में होते हैं।

2. कार्यप्रणाली और मुख्य ढांचा

यह शोध पत्र "डोमिनेंट" आउटपुट्स के आधार पर स्टेट स्पेस के ज्यामितीय अपघटन (geometric decomposition) को प्रस्तुत करता है।

A. सामान्य फाइनाइट-डोमिनेंट शासन (General Finite-Dominant Regime)

लेखक एक ऐसा शासन परिभाषित करते हैं जहाँ स्थानीय रैंडमाइज़र $W^{(n)}_b$ (इनपुट $b \in \{0,1\}$ के लिए) अपने आउटपुट अल्फाबेट $Y$ को विभाजित करता है:

डोमिनेंट सेट्स ( $D_b$ ): आउटपुट्स का एक गैर-रिक्त उपसमुच्चय जिनकी प्रायिकता $p_b(y) > 0$ है और जो $n \to \infty$ होने पर $O(1)$ रहती है।
रेयर आउटपुट्स (Rare Outputs): ऐसे आउटपुट्स जिनकी प्रायिकता $O(n^{-1})$ के रूप में स्केल होती है, जो तीव्रता $\alpha_b(y)$ की ओर अभिसरित होती है।

B. कोटिएंट ज्योमेट्री और टेंजेंट स्पेस (Quotient Geometry and Tangent Spaces)

केंद्रीय नवाचार हिस्टोग्राम स्पेस $\mathbb{R}^Y$ का दो ऑर्थोगोनल सबस्पेस में अपघटन है:

डोमिनेंट टेंजेंट स्पेस ( $M$ ): डोमिनेंट आउटपुट्स के अंतरों द्वारा स्पैन किया गया सबस्पेस।
- $M = M_0 + M_1$ , जहाँ $M_b = \text{span}\{e_y - \mu_b : y \in D_b\}$ ।
- यह स्पेस डोमिनेंट ब्लॉक्स के गौसियन (Gaussian) उतार-चढ़ाव को कैप्चर करता है।
कोटिएंट स्पेस ( $M^\perp$ ): ऑर्थोगोनल कॉम्प्लीमेंट।
- यह स्पेस रेयर (rare) घटनाओं और उन संरचनात्मक अंतरों को कैप्चर करता है जो डोमिनेंट ब्लॉक्स द्वारा स्मूथ नहीं किए जाते हैं।
- इसे एक हाइपरग्राफ $H$ के माध्यम से परिभाषित किया गया है जिसके वर्टिस (vertices) $D_0 \cup D_1$ हैं और एज (edges) $D_0, D_1$ हैं। $H$ के कनेक्टेड कंपोनेंट्स $M^\perp$ की संरचना निर्धारित करते हैं।

C. हाइब्रिड स्टैटिस्टिक (The Hybrid Statistic)

जारी किया गया हिस्टोग्राम सेंटर्ड और प्रोजेक्टेड है:

गौसियन घटक: $G_n = n^{-1/2} \Pi_G \tilde{H}_n$ (M पर प्रोजेक्शन)।
जंप घटक: $J_n = \Pi_J \tilde{H}_n$ ( $M^\perp$ पर प्रोजेक्शन)।
सीमित प्रयोग (limiting experiment) एक जोड़ा $(G, J)$ बनाम $(G, J + \Delta)$ है, जहाँ:
$G \sim \mathcal{N}(0, \Sigma)$ एक गौसियन वेक्टर है।
$J$ एक स्वतंत्र कंपाउंड पॉइसन (Compound Poisson) रैंडम वेक्टर है।
$\Delta = \Pi_J(\mu_1 - \mu_0)$ कोटिएंट स्पेस में एक नियतात्मक शिफ्ट (deterministic shift) है।

3. प्रमुख योगदान और परिणाम

प्रमेय 3.1: सामान्य लेवी–खिंचिन लिमिट (Lévy–Khintchine Limit)

मुख्य प्रमेय पूर्ण हाइब्रिड स्टैटिस्टिक के लेवी–खिंचिन लिमिट की ओर कमजोर अभिसरण (weak convergence) को स्थापित करता है:

कमजोर अभिसरण (Weak Convergence): पूर्ण प्रयोग एक गौसियन शिफ्ट और एक कंपाउंड पॉइसन शिफ्ट के उत्पाद की ओर अभिसरित होता है।
शिफ्ट $\Delta$ : दोनों परिकल्पनाओं के बीच नियतात्मक शिफ्ट पूरी तरह से कोटिएंट स्पेस $M^\perp$ $M^{⊥}$ में मौजूद है।
- यदि $D_0 \cap D_1 \neq \emptyset$ (ओवरलैप), तो हाइपरग्राफ कनेक्टेड है, $\Delta = 0$ , और दोनों परिकल्पनाओं के तहत सीमित वितरण समान हैं ( $P_\infty = Q_\infty$ )।
- यदि $D_0 \cap D_1 = \emptyset$ (विजातीय), तो $\Delta \neq 0$ , जो जंप घटक में एक शिफ्ट पैदा करता है।
प्राइवेसी कर्व अभिसरण: पेपर सिद्ध करता है कि फाइनाइट- $n$ $n$ प्रयोग का प्राइवेसी कर्व तीन शासनों में लिमिटिंग एक्सपेरिमेंट के प्राइवेसी कर्व की ओर अभिसरित होता है:
1. इंटिरियर (Interior): $\pi \in (0,1)$ (दोनों समूह बड़े हैं)।
2. वीक बाउंड्री (Weak Boundary): एक समूह अनंत की ओर बढ़ता है लेकिन $n$ का एक लुप्त होता अंश (vanishing fraction) है।
3. स्ट्रॉन्ग बाउंड्री (रेगुलर) (Strong Boundary - Regular): एक समूह बाउंडेड ( $O(1)$ ) है, बशर्ते विशिष्ट संरचनात्मक शर्तें (जैसे, अल्पसंख्यक डोमिनेंट ब्लॉक बहुमत द्वारा अवशोषित है या सिंगलटन है) पूरी हों।

शार्पनेस ऑफ रेट्स (धारा 7)

$O(n^{-1/2})$ दर: पेपर सिद्ध करता है कि पूर्ण हाइब्रिड प्रयोग के लिए अभिसरण दर आम तौर पर $O(n^{-1/2})$ पर शार्प है। यह "क्रॉस-मेसेज" (रेयर यूजर्स का दूसरे ग्रुप के डोमिनेंट सेट में जाना) को नेटिव ड्रॉ के साथ कपलिंग करने की कठिनाई के कारण है।
$O(n^{-1})$ रिस्टोरेशन: एक शार्पर $O(n^{-1})$ दर तब प्राप्त होती है जब एक कंपैटिबिलिटी कंडीशन (compatibility condition) लागू होती है: क्रॉस-मेसेजेस का कंडीशनल डिस्ट्रीब्यूशन एसिम्प्टोटिक रूप से नेटिव डोमिनेंट डिस्ट्रीब्यूशन से मेल खाना चाहिए।

बाउंड्री ऑब्स्ट्रक्शन (प्रपोजिशन 6.1)

लेखक एक मौलिक बाधा की पहचान करते हैं: स्ट्रॉन्ग बाउंड्री शासन (बाउंडेड माइनॉरिटी ग्रुप) में, यदि माइनॉरिटी डोमिनेंट ब्लॉक की अपनी गैर-तुच्छ आंतरिक ज्यामिति (non-trivial internal geometry) है जो बहुमत द्वारा अवशोषित नहीं की गई है, तो प्रोजेक्टेड जंप लिमिट पूर्ण प्राइवेसी कर्व को निर्धारित नहीं करती है।

काउंटर-एग्जांपल: भले ही लिमिटिंग डिस्ट्रीब्यूशन समान हों ( $\Delta=0$ ), फाइनाइट- $n$ प्राइवेसी कर्व शून्य से दूर (जैसे, $\ge 1/2$ ) रह सकता है क्योंकि सटीक हिस्टोग्राम माइनॉरिटी ग्रुप के विशिष्ट डोमिनेंट सिंबल की उपस्थिति का पता लगा सकता है, जो वीक लिमिट में लुप्त हो जाता है।

बाउंड्री बेरी–एसेन (धारा 8)

पेपर एक बाउंड्री प्रमेय सिद्ध करता है जो दिखाता है कि जैसे-जैसे क्रिटिकल स्केल पैरामीटर $c \downarrow 0$ , पॉइसन-शिफ्ट एक्सपेरिमेंट, ले कैम दूरी (Le Cam distance) में $O(c)$ दर के साथ गौसियन शिफ्ट एक्सपेरिमेंट की ओर अभिसरित होता है। यह क्रिटिकल स्पार्स शासन और डेंस गौसियन शासन के बीच के अंतर को पाटता है।

4. महत्व और निहितार्थ

फाइनाइट-अल्फाबेट थ्योरी की पूर्णता: यह पेपर शफल प्राइवेसी के लिए अंतिम टुकड़े के रूप में कार्य करता है, जो एक एकल ज्यामितीय ढांचे के तहत गौसियन, पॉइसन, स्केलम और कंपाउंड पॉइसन सीमाओं को समाहित करने वाला एक एकीकृत लेवी–खिंचिन लेयर प्रदान करता है।
ज्यामितीय अंतर्दृष्टि: कोटिएंट ज्योमेट्री पेश करके, लेखक स्पष्ट करते हैं कि प्राइवेसी लॉस वास्तव में कहाँ होता है। यह "स्मूथ" गौसियन शोर (डोमिनेंट ब्लॉक्स) और "जंपी" रेयर इवेंट्स (कोटिएंट स्पेस) के बीच अंतर करता है, जिससे पता चलता है कि प्राइवेसी अक्सर कोटिएंट स्पेस में होने वाली दुर्लभ घटनाओं द्वारा निर्धारित होती है।
कमजोर सीमाओं की सीमाएं (Limitations of Weak Limits): यह कार्य कठोरता से प्रदर्शित करता है कि सभी मामलों में प्राइवेसी विश्लेषण के लिए वीक कन्वर्जेंस पर्याप्त नहीं है। विशेष रूप से, ओवरलैपिंग डोमिनेंट सेट्स वाले स्ट्रॉन्ग बाउंड्री शासन में, लिमिटिंग एक्सपेरिमेंट पूर्ण प्राइवेसी ( $\Delta=0$ ) का सुझाव दे सकता है, जबकि वास्तविक फाइनाइट- $n$ सिस्टम महत्वपूर्ण प्राइवेसी लीकेज बनाए रखता है। इसके लिए प्राइवेसी-वक्र अभिसरण के लिए संरचनात्मक परिकल्पनाओं की आवश्यकता होती है।
व्यावहारिक दर विश्लेषण: $O(n^{-1/2})$ बॉटलनेक की पहचान और $O(n^{-1})$ रिस्टोरेशन की स्थितियों का उल्लेख मैकेनिज्म डिजाइन के लिए ठोस मार्गदर्शन प्रदान करता है। इष्टतम अभिसरण दर प्राप्त करने के लिए, सिस्टम डिजाइनरों को यह सुनिश्चित करना चाहिए कि "क्रॉस-टॉक" डोमिनेंट ब्लॉक्स के नेटिव डिस्ट्रीब्यूशन की नकल करे।

संक्षेप में, भाग III स्थापित करता है कि शफल प्राइवेसी का स्पर्शोन्मुखी व्यवहार एक हाइब्रिड गौसियन-कंपाउंड पॉइसन प्रक्रिया द्वारा नियंत्रित होता है, जहाँ डोमिनेंट सेट्स की ज्यामिति स्मूथ और जंप कंपोनेंट्स के अलगाव को निर्धारित करती है, और जहाँ यह सुनिश्चित करने के लिए विशिष्ट संरचनात्मक शर्तों की आवश्यकता होती है कि लिमिटिंग थ्योरी वास्तविक फाइनाइट-सैंपल प्राइवेसी गारंटी को सटीक रूप से दर्शाए।