विस्तारक ग्राफ

ग्राफ़ सिद्धांत में, एक विस्तारक ग्राफ़ एक विरल ग्राफ़ है जिसमें मजबूत कनेक्टिविटी (ग्राफ़ सिद्धांत) गुण होते हैं, वर्टेक्स (ग्राफ़ सिद्धांत), बढ़त (ग्राफ़ सिद्धांत) या वर्णक्रमीय ग्राफ़ सिद्धांत विस्तार का उपयोग करके मात्रा निर्धारित की जाती है। कम्प्यूटेशनल जटिलता सिद्धांत, मजबूत संगणक संजाल के डिजाइन और त्रुटि-सुधार कोड के सिद्धांत के लिए कई अनुप्रयोगों के साथ विस्तारक निर्माण ने शुद्ध और अनुप्रयुक्त गणित में अनुसंधान को जन्म दिया है।

परिभाषाएँ
सहजता से, एक विस्तारक ग्राफ एक परिमित, अप्रत्यक्ष मल्टीग्राफ है जिसमें कोने के प्रत्येक उपसमुच्चय जो बहुत बड़े नहीं हैं, उनकी एक बड़ी सीमा (ग्राफ सिद्धांत) है। इन धारणाओं की विभिन्न औपचारिकताएं विस्तारकों की विभिन्न धारणाओं को जन्म देती हैं: एज एक्सपेंडर्स, वर्टेक्स एक्सपेंडर्स और स्पेक्ट्रल एक्सपेंडर्स, जैसा कि नीचे परिभाषित किया गया है।

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

किनारे का विस्तार
किनारे का विस्तार (आइसोपेरिमेट्रिक संख्या या चीजर स्थिरांक (ग्राफ सिद्धांत)) $h(G)$ एक ग्राफ का $G$ पर $n$ शिखर के रूप में परिभाषित किया गया है
 * $$h(G) = \min_{0 < |S| \le \frac{n}{2} } \frac{|\partial S|}{|S|},$$
 * कहाँ $$\partial S := \{ \{ u, v \} \in E(G) \ : \ u \in S, v \in V(G) \setminus S \},$$

जिसे इस रूप में भी लिखा जा सकता है $∂S = E(S, \overline{S})$ साथ $\overline{S} := V(G) \ S$ का पूरक $S$ और
 * $$ E(A,B) = \{ \{ u, v \} \in E(G) \ : \ u \in A, v \in B \}$$ शीर्षों के उपसमुच्चय के बीच के किनारे $A,B ⊆ V(G)$.

समीकरण में, न्यूनतम सभी गैर-खाली सेटों पर है $S$ अधिक से अधिक $n/2$ शिखर और $∂S$ की किनारा सीमा है $S$, यानी, ठीक एक समापन बिंदु के साथ किनारों का सेट $S$. सहज रूप से,
 * $$\min {|\partial S|} = \min E({S}, \overline{S})$$

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

ध्यान दें कि में $min |∂S|$, ऑप्टिमाइज़ेशन या तो अधिक समान रूप से किया जा सकता है $0 ≤ |S| ≤ n/2$ या किसी गैर-खाली सबसेट पर, चूंकि $$E(S, \overline{S}) = E(\overline{S}, S)$$. के लिए सही नहीं है $h(G)$ द्वारा सामान्यीकरण के कारण $|S|$. अगर हम लिखना चाहते हैं $h(G)$ सभी गैर-खाली सबसेट पर अनुकूलन के साथ, हम इसे फिर से लिख सकते हैं
 * $$h(G) = \min_{\emptyset \subsetneq S\subsetneq V(G) } \frac{E({S}, \overline{S})}{\min\{|S|, |\overline{S}|\}}.$$

वर्टेक्स विस्तार
शीर्ष isoperimetric संख्या $hout(G)$ एक ग्राफ का (शीर्ष विस्तार या आवर्धन भी)। $G$ परिभाषित किया जाता है
 * $$h_{\text{out}}(G) = \min_{0 < |S|\le \frac{n}{2}} \frac{|\partial_{\text{out}}(S)|}{|S|},$$

कहाँ $∂out(S)$ की बाहरी सीमा है $S$, यानी, शीर्षों का सेट $V(G) \ S$ कम से कम एक पड़ोसी के साथ $S$. इस परिभाषा के एक प्रकार में (अद्वितीय पड़ोसी विस्तार कहा जाता है) $∂out(S)$ में वर्टिकल के सेट द्वारा प्रतिस्थापित किया जाता है $V$ ठीक एक पड़ोसी के साथ $S$. शीर्ष isoperimetric संख्या $hin(G)$ एक ग्राफ का $G$ परिभाषित किया जाता है
 * $$h_{\text{in}}(G) = \min_{0 < |S|\le \frac{n}{2}} \frac{|\partial_{\text{in}}(S)|}{|S|},$$

कहाँ $$\partial_{\text{in}}(S)$$ की भीतरी सीमा है $S$, यानी, शीर्षों का सेट $S$ कम से कम एक पड़ोसी के साथ $V(G) \ S$.

वर्णक्रमीय विस्तार
कब $G$ नियमित ग्राफ है|$d$-नियमित, विस्तार की एक रेखीय बीजगणितीय परिभाषा Eigenvalue#Eigenvalues ​​of the matrices of the adjacency matrix के आधार पर संभव है $A = A(G)$ का $G$, कहाँ $Aij$ शीर्षों के बीच किनारों की संख्या है $i$ और $j$. क्योंकि $A$ सममित मैट्रिक्स है, वर्णक्रमीय प्रमेय का अर्थ है $A$ है $n$ वास्तविक मूल्यवान eigenvalues $λ1 ≥ λ2 ≥ … ≥ λn$. यह ज्ञात है कि ये सभी eigenvalues ​​​​में हैं $[−d, d]$ और अधिक विशेष रूप से, यह ज्ञात है कि $λn = −d$ अगर और केवल अगर $G$ द्विपक्षीय है।

अधिक औपचारिक रूप से, हम एक का उल्लेख करते हैं $n$-वर्टेक्स, $d$-नियमित ग्राफ के साथ
 * $$\max_{i \neq 1}|\lambda_i| \leq \lambda$$ एक के रूप में $(n, d, λ)$-ग्राफ। एक द्वारा दी गई सीमा $(n, d, λ)$-ग्राफ ऑन $λi$ के लिए $i ≠ 1$ विस्तारक मिश्रण लेम्मा सहित कई संदर्भों में उपयोगी है।

क्योंकि $G$ नियमित है, समान वितरण $$u\in\R^n$$ साथ $ui = 1/n$ सभी के लिए $i = 1, …, n$ का स्थिर वितरण है $G$. यानी हमारे पास है $Au = du$, और $u$ का आइजन्वेक्टर है $A$ आइगेनवैल्यू के साथ $λ1 = d$, कहाँ $d$ के शीर्षों की डिग्री (ग्राफ़ सिद्धांत) है $G$. का वर्णक्रमीय अंतर $G$ होना परिभाषित किया गया है $d − λ2$, और यह ग्राफ के वर्णक्रमीय विस्तार को मापता है $G$. अगर हम सेट करते हैं
 * $$\lambda=\max\{|\lambda_2|, |\lambda_n|\}$$

क्योंकि यह एक ईजेनवेक्टर ओर्थोगोनल के अनुरूप सबसे बड़ा आइगेनवैल्यू है $u$, इसे रेले भागफल का उपयोग करके समान रूप से परिभाषित किया जा सकता है:
 * $$\lambda=\max_{v \perp u, v \neq 0} \frac{\|Av\|_2}{\|v\|_2},$$

कहाँ
 * $$\|v\|_2=\left(\sum_{i=1}^n v_i^2\right)^{1/2}$$ वेक्टर का 2-मानक है $$v\in\R^n$$.

इन परिभाषाओं के सामान्यीकृत संस्करण भी व्यापक रूप से उपयोग किए जाते हैं और कुछ परिणामों को बताते हुए अधिक सुविधाजनक होते हैं। यहाँ एक मैट्रिक्स पर विचार करता है $1⁄dA$, जो ग्राफ का मार्कोव संक्रमण मैट्रिक्स है $G$. इसके eigenvalues ​​-1 और 1 के बीच हैं। जरूरी नहीं कि नियमित ग्राफ़ के लिए, ग्राफ़ के स्पेक्ट्रम को लाप्लासियन मैट्रिक्स के eigenvalues ​​​​का उपयोग करके इसी तरह परिभाषित किया जा सकता है। निर्देशित रेखांकन के लिए, आसन्न मैट्रिक्स के विलक्षण मूल्यों पर विचार किया जाता है $A$, जो सममित मैट्रिक्स के eigenvalues ​​​​की जड़ों के बराबर हैं $ATA$.

विभिन्न विस्तार गुणों के बीच संबंध
ऊपर परिभाषित विस्तार पैरामीटर एक दूसरे से संबंधित हैं। विशेष रूप से, किसी के लिए $d$-नियमित ग्राफ $G$,
 * $$h_{\text{out}}(G) \le h(G) \le d \cdot h_{\text{out}}(G).$$

नतीजतन, निरंतर डिग्री ग्राफ के लिए, वर्टेक्स और एज एक्सपेंशन गुणात्मक रूप से समान हैं।

चीजर असमानताएं
कब $G$ है $d$-नियमित, जिसका अर्थ है कि प्रत्येक शीर्ष डिग्री का है $d$, isoperimetric स्थिरांक के बीच एक संबंध है $h(G)$ और अंतराल $d − λ2$ के आसन्न ऑपरेटर के स्पेक्ट्रम में $G$. मानक वर्णक्रमीय ग्राफ सिद्धांत द्वारा, a के आसन्न संचालिका का तुच्छ eigenvalue $d$-नियमित ग्राफ है $λ1 = d$ और पहला गैर-तुच्छ eigenvalue है $λ2$. अगर $G$ जुड़ा हुआ है, तो $λ2 < d$. डोडिज़ुक के कारण एक असमानता और स्वतंत्र रूप से सावधान अलोन और विटाली मिलमैन बताता है
 * $$\tfrac{1}{2}(d - \lambda_2) \le h(G) \le \sqrt{2d(d - \lambda_2)}.$$

वास्तव में, निचला बाउंड तंग है। हाइपरक्यूब ग्राफ के लिए सीमा में निचली सीमा हासिल की जाती है $Qn$, कहाँ $h(G) = 1$ और $d – λ = 2$. ऊपरी सीमा एक चक्र के लिए (असामयिक रूप से) हासिल की जाती है, जहां $H(Cn) = 4/n= Θ(1/n)$ और $d – λ = 2-2cos(2$\pi$/n) ≈ (2$\pi$/n)^2= Θ(1/n2)$. में एक बेहतर बाउंड दिया गया है जैसा
 * $$ h(G) \le \sqrt{d^2 - \lambda_2^2}.$$

ये असमानताएँ मार्कोव श्रृंखलाओं के लिए बाध्य चीजर से निकटता से संबंधित हैं और इन्हें चीगर स्थिरांक#चीगर.27s असमानता|रीमैनियन ज्यामिति में चीगर की असमानता के असतत संस्करण के रूप में देखा जा सकता है।

वर्टेक्स आइसोपेरिमेट्रिक नंबर और स्पेक्ट्रल गैप के बीच समान कनेक्शन का भी अध्ययन किया गया है:
 * $$h_{\text{out}}(G)\le \left(\sqrt{4 (d-\lambda_2)} + 1\right)^2 -1$$
 * $$h_{\text{in}}(G) \le \sqrt{8(d-\lambda_2)}.$$

असम्बद्ध रूप से बोलना, मात्राएँ $λ2$, $2(d − λ2)$, और $h2/d$ सभी वर्णक्रमीय अंतर से ऊपर बंधे हैं $hout$.

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

मार्गुलिस-गैबर-गैलिल
केली ग्राफ़ पर आधारित सार बीजगणित निर्माण विस्तारक ग्राफ़ के विभिन्न रूपों के लिए जाने जाते हैं। निम्नलिखित निर्माण मार्गुलिस के कारण है और गैबर और गैलिल द्वारा इसका विश्लेषण किया गया है। प्रत्येक प्राकृतिक संख्या के लिए $n$, एक ग्राफ पर विचार करता है $Gn$ वर्टेक्स सेट के साथ $$\mathbb Z_n \times \mathbb Z_n$$, कहाँ $$\mathbb Z_n=\mathbb Z/n\mathbb Z$$: प्रत्येक शीर्ष के लिए $$(x,y)\in\mathbb Z_n \times \mathbb Z_n$$, इसके आठ आसन्न शीर्ष हैं


 * $$(x \pm 2y,y), (x \pm (2y+1),y), (x,y \pm 2x), (x,y \pm (2x+1)).$$

फिर निम्नलिखित धारण करता है:

प्रमेय। सभी के लिए $n$, लेखाचित्र $Gn$ का दूसरा सबसे बड़ा eigenvalue है $$\lambda(G)\leq 5 \sqrt{2}$$

रामनुजन ग्राफ्स
एक अलोन-बोपना बाउंड द्वारा, सभी पर्याप्त रूप से बड़े $d$-नियमित रेखांकन संतुष्ट करते हैं $$\lambda_2 \ge 2\sqrt{d-1} - o(1)$$, कहाँ $hin2$ निरपेक्ष मान में दूसरा सबसे बड़ा eigenvalue है। प्रत्यक्ष परिणाम के रूप में, हम जानते हैं कि प्रत्येक निश्चित के लिए $d$ और $$\lambda< 2 \sqrt{d-1}$$, निश्चित रूप से अनेक हैं $O(d – λ2)$-ग्राफ। रामानुजन ग्राफ हैं $d$-नियमित रेखांकन जिसके लिए यह सीमा कड़ी है, संतोषजनक है :$$\lambda = \max_{|\lambda_i| < d} |\lambda_i| \le 2\sqrt{d-1}.$$ इसलिए रामानुजन के रेखांकन का एक विषम रूप से सबसे छोटा संभव मान है $λ2$. यह उन्हें उत्कृष्ट वर्णक्रमीय विस्तारक बनाता है।

अलेक्जेंडर लुबोत्ज़की, फिलिप्स, और पीटर इतिहास (1988), मार्गुलिस (1988), और मॉर्गनस्टर्न (1994) दिखाते हैं कि रामानुजन ग्राफ को स्पष्ट रूप से कैसे बनाया जा सकता है। 1985 में, एलोन ने सबसे अधिक अनुमान लगाया $d$-नियमित रेखांकन पर $n$ कोने, पर्याप्त रूप से बड़े के लिए $n$, लगभग रामानुजन हैं। यानी के लिए $(n, d, λ)$, वे संतुष्ट हैं


 * $$\lambda \le 2\sqrt{d-1}+\varepsilon$$.

2003 में, जोएल फ्रीडमैन दोनों ने अनुमान को साबित किया और निर्दिष्ट किया कि अधिकांश का क्या मतलब है $d$-रेगुलर ग्राफ़ दिखाकर कि रैंडम रेगुलर ग्राफ़ | रैंडम $d$-नियमित रेखांकन है $$\lambda \le 2\sqrt{d-1}+\varepsilon$$ हरएक के लिए $λ2$ संभावना के साथ $φ > 0$, कहाँ
 * $$\tau = \left\lceil\frac{\sqrt{d-1} +1}{2} \right\rceil.$$

ज़िग-ज़ैग उत्पाद
2003 में ओमर रीनॉल्ड, सलिल वधान और एवी विगडरसन ने ज़िग-ज़ैग उत्पाद पेश किया। मोटे तौर पर बोलते हुए, दो विस्तारक ग्राफों का ज़िग-ज़ैग उत्पाद केवल थोड़ा खराब विस्तार वाला ग्राफ बनाता है। इसलिए, विस्तारक ग्राफ के परिवारों के निर्माण के लिए एक ज़िग-ज़ैग उत्पाद का भी उपयोग किया जा सकता है। अगर $G$ एक है $φ > 0$-ग्राफ और $H$ एक $1 – O(nτ)$-ग्राफ, फिर ज़िग-ज़ैग उत्पाद $(n, m, λ1)$ एक है $(m, d, λ1)$-ग्राफ जहां $φ$ निम्नलिखित गुण हैं।

विशेष रूप से, :$$f(\lambda_1, \lambda_2)=\frac{1}{2}(1-\lambda^2_2)\lambda_2 +\frac{1}{2}\sqrt{(1-\lambda^2_2)^2\lambda_1^2 +4\lambda^2_2}.$$ ध्यान दें कि संपत्ति (1) का तात्पर्य है कि दो विस्तारक ग्राफों का ज़िग-ज़ैग उत्पाद भी एक विस्तारक ग्राफ है, इस प्रकार ज़िग-ज़ैग उत्पादों का उपयोग विस्तारक ग्राफों के एक परिवार को बनाने के लिए किया जा सकता है।
 * 1) अगर $G ◦ H$ और $(nm, d2, φ(λ1, λ2))$, तब $λ1 < 1$;

सहज रूप से, ज़िग-ज़ैग उत्पाद के निर्माण के बारे में निम्नलिखित तरीके से सोचा जा सकता है। का प्रत्येक शीर्ष $G$ के बादल तक उड़ा दिया जाता है $m$ कोने, प्रत्येक शीर्ष से जुड़े एक अलग किनारे से जुड़ा हुआ है। प्रत्येक शीर्ष को अब के रूप में लेबल किया गया है $λ2 < 1$ कहाँ $v$ के एक मूल शीर्ष को संदर्भित करता है $G$ और $k$ यह आपकी जानकारी के लिए है $k$इसका किनारा $v$. दो शिखर, $φ(λ1, λ2) < 1$ और $φ(λ1, λ2) ≤ λ1 + λ2$ जुड़े हुए हैं यदि से प्राप्त करना संभव है $(v, k)$ को $(v, k)$ चालों के निम्नलिखित क्रम के माध्यम से।


 * 1) ज़िग - से हटो $(w,l)$ को $(v, k)$, के किनारे का उपयोग करना $H$.
 * 2) किनारे का उपयोग करके बादलों में कूदें $k'$ में $G$ को पाने के लिए $(w, l)$.
 * 3) ज़ग - से हटो $(v, k)$ को $(v, k' )$ के किनारे का उपयोग करना $H$.

यादृच्छिक निर्माण
ऐसे कई परिणाम हैं जो संभाव्य तर्कों के माध्यम से अच्छे विस्तार गुणों वाले ग्राफ़ के अस्तित्व को दर्शाते हैं। वास्तव में, विस्तारकों के अस्तित्व को सबसे पहले पिंस्कर ने सिद्ध किया था जिसने दिखाया कि एक यादृच्छिक रूप से चुने गए के लिए $n$ शीर्ष छोड़ दिया $d$ नियमित द्विपक्षीय ग्राफ, $(w, l' )$ कोने के सभी सबसेट के लिए $(w, l' )$ उच्च संभावना के साथ, कहाँ $cd$ पर निर्भर करता है $d$ वह है $(w, l)$. अलोन और रोचमैन दिखाया कि हर समूह के लिए $G$ आदेश की $n$ और हर $|N(S)| ≥ (d – 2)|S|$, वहाँ कुछ $|S| ≤ cdn$ ऐसा है कि केली ग्राफ पर $G$ साथ $O(d-4)$ जनरेटर एक है $ε$ विस्तारक, यानी इसका दूसरा ईगेनवैल्यू से कम है $1 > ε > 0$, उच्च संभावना के साथ।

अनुप्रयोग और उपयोगी गुण
विस्तारकों के लिए मूल प्रेरणा आर्थिक रूप से मजबूत नेटवर्क (फोन या कंप्यूटर) का निर्माण करना है: सीमाबद्ध डिग्री वाला एक विस्तारक सभी उपसमुच्चयों के लिए आकार (कोने की संख्या) के साथ रैखिक रूप से बढ़ने वाले किनारों की संख्या के साथ एक स्पर्शोन्मुख मजबूत ग्राफ है।

एक्सपैंडर ग्राफ़ को कंप्यूटर विज्ञान में कलन विधि, विस्तारक कोड, एक्सट्रैक्टर (गणित), छद्म यादृच्छिक जनरेटर, छँटाई नेटवर्क डिजाइन करने में व्यापक अनुप्रयोग मिले हैं।) और मजबूत कंप्यूटर नेटवर्क। कम्प्यूटेशनल जटिलता सिद्धांत में कई महत्वपूर्ण परिणामों के प्रमाण में भी उनका उपयोग किया गया है, जैसे एसएल (जटिलता) = एल (जटिलता) और पीसीपी प्रमेय . क्रिप्टोग्राफी में, विस्तारक ग्राफ़ का उपयोग हैश फंकशन के निर्माण के लिए किया जाता है।

एक 2006 एक्सपैंडर ग्राफ़ के सर्वेक्षण में, हूरी, लिनियल, और विगडरसन ने निम्न के अध्ययन को विभाजित किया विस्तारक ग्राफ को चार श्रेणियों में विभाजित करता है: चरम ग्राफ सिद्धांत, विशिष्ट व्यवहार, स्पष्ट निर्माण और एल्गोरिदम। चरम समस्याएं विस्तार पैरामीटरों की सीमा पर ध्यान केंद्रित करती हैं, जबकि विशिष्ट व्यवहार समस्याएं यह बताती हैं कि यादृच्छिक ग्राफ पर विस्तार पैरामीटर कैसे वितरित किए जाते हैं। स्पष्ट निर्माण ग्राफ़ के निर्माण पर ध्यान केंद्रित करते हैं जो कुछ मापदंडों का अनुकूलन करते हैं, और एल्गोरिथम प्रश्न मापदंडों के मूल्यांकन और अनुमान का अध्ययन करते हैं।

एक्सपैंडर मिक्सिंग लेम्मा
लेम्मा को मिलाने वाला विस्तारक बताता है कि एक के लिए $c(ε) > 0$-ग्राफ़, किसी भी दो उपसमूहों के लिए $c(ε) log2 n$, बीच किनारों की संख्या $S$ और $T$ लगभग वह है जो आप यादृच्छिक रूप से अपेक्षा करेंगे $d$-नियमित ग्राफ। सन्निकटन बेहतर छोटा है $1 – ε$ है। एक यादृच्छिक में $d$-रेगुलर ग्राफ़, साथ ही एक एर्दोस-रेनी मॉडल में|एर्डोस-रेनी रैंडम ग्राफ़ एज प्रायिकता के साथ $(n, d, λ)$, हमें उम्मीद है $S, T ⊆ V$ किनारों के बीच $S$ और $T$.

अधिक औपचारिक रूप से, चलो $λ$ के बीच किनारों की संख्या को निरूपित करें $S$ और $T$. यदि दो सेट अलग नहीं होते हैं, तो उनके चौराहे के किनारों को दो बार गिना जाता है, अर्थात


 * $$E(S,T)=2|E(G[S\cap T])| + E(S\setminus T,T) + E(S,T\setminus S). $$

फिर लेम्मा को मिलाने वाला विस्तारक कहता है कि निम्नलिखित असमानता है:


 * $$\left|E(S, T) - \frac{d \cdot |S| \cdot |T|}{n}\right| \leq \lambda \sqrt{|S| \cdot |T|}.$$

के अनेक गुण $d/n$-ग्राफ विस्तारक मिश्रण लेम्मा के परिणाम हैं, जिनमें निम्नलिखित शामिल हैं।


 * एक ग्राफ का एक स्वतंत्र सेट (ग्राफ सिद्धांत) शीर्षों का एक उपसमुच्चय होता है जिसमें दो आसन्न कोने नहीं होते हैं। एक में $d/n • |S| • |T|$-ग्राफ, एक स्वतंत्र सेट का आकार अधिकतम होता है $E(S, T)$.
 * ग्राफ का ग्राफ रंगना $G$, $(n, d, λ)$, आवश्यक रंगों की न्यूनतम संख्या है, ताकि आसन्न शीर्षों के अलग-अलग रंग हों। हॉफमैन ने दिखाया $(n, d, λ)$, जबकि अलोन, क्रिवेलेविच और सुदाकोव ने दिखाया कि अगर $λn/d$, तब $$\chi(G) \leq O \left( \frac{d}{\log(1+d/\lambda)} \right).$$
 * किसी ग्राफ़ की दूरी (ग्राफ़ सिद्धांत) दो शीर्षों के बीच की अधिकतम दूरी होती है, जहाँ दो शीर्षों के बीच की दूरी को उनके बीच का सबसे छोटा पथ परिभाषित किया जाता है। चुंग ने दिखाया कि एक का व्यास $χ(G)$-ग्राफ अधिकतम है $$\left\lceil \log \frac{n}{ \log(d/\lambda)} \right\rceil.$$

एक्सपैंडर वॉक सैंपलिंग
Chernoff बाध्य बताता है कि, रेंज में एक यादृच्छिक चर से कई स्वतंत्र नमूनों का नमूना लेते समय $d/λ ≤ χ(G)$, उच्च संभावना के साथ हमारे नमूनों का औसत यादृच्छिक चर की अपेक्षा के करीब है। एक्सपैंडर वॉक सैंपलिंग लेम्मा, के कारण और, बताता है कि विस्तारक ग्राफ पर चलने से नमूना लेने पर भी यह सच होता है। यह विशेष रूप से derandomization के सिद्धांत में उपयोगी है, क्योंकि एक्सपैंडर वॉक के अनुसार सैंपलिंग स्वतंत्र रूप से सैंपलिंग की तुलना में बहुत कम रैंडम बिट्स का उपयोग करता है।

एकेएस सॉर्टिंग नेटवर्क और अनुमानित पड़ाव
सॉर्टिंग नेटवर्क इनपुट्स का एक सेट लेते हैं और इनपुट्स को सॉर्ट करने के लिए समानांतर चरणों की एक श्रृंखला करते हैं। एक समानांतर कदम में किसी भी संख्या में असंबद्ध तुलना और संभावित रूप से जोड़े गए इनपुट की अदला-बदली करना शामिल है। एक नेटवर्क की गहराई उसके द्वारा उठाए जाने वाले समानांतर कदमों की संख्या से दी जाती है। विस्तारक रेखांकन एकेएस छँटाई नेटवर्क में एक महत्वपूर्ण भूमिका निभाते हैं, जो गहराई तक पहुँचता है $d < 2n/3$. हालांकि यह एक छँटाई नेटवर्क के लिए असम्बद्ध रूप से सबसे अच्छी ज्ञात गहराई है, विस्तारकों पर निर्भरता व्यावहारिक उपयोग के लिए स्थिर सीमा को बहुत बड़ा बना देती है।

एकेएस सॉर्टिंग नेटवर्क के भीतर, विस्तृत गहराई का निर्माण करने के लिए विस्तारक ग्राफ का उपयोग किया जाता है $ε$-आधा. एक $ε$-halver इनपुट के रूप में लंबाई लेता है $n$ का क्रमपरिवर्तन $(n, d, λ)$ और इनपुट्स को दो असम्बद्ध सेटों में आधा कर देता है $A$ और $B$ जैसे कि प्रत्येक पूर्णांक के लिए $[−1, 1]$ अधिक से अधिक $εk$ की $k$ सबसे छोटे इनपुट में हैं $B$ और अधिक से अधिक $εk$ की $k$ सबसे बड़े इनपुट हैं $A$. सेट $A$ और $B$ एक हैं $ε$आधा करना।

अगले, गहराई $d$ $ε$-हॉल्वर का निर्माण निम्नानुसार किया जा सकता है। एक लें $n$ शिखर, डिग्री $d$ भागों के साथ द्विदलीय विस्तारक $X$ और $Y$ समान आकार के ऐसे कि अधिकतम आकार के शीर्षों का प्रत्येक उपसमुच्चय $εn$ कम से कम है $O(log n)$ पड़ोसियों।

ग्राफ़ के कोने को उन रजिस्टरों के रूप में माना जा सकता है जिनमें इनपुट होते हैं और किनारों को तारों के रूप में माना जा सकता है जो दो रजिस्टरों के इनपुट की तुलना करते हैं। प्रारंभ में, मनमाने ढंग से आधा इनपुट अंदर रखें $X$ और आधे इनपुट में $Y$ और किनारों को विघटित करें $d$ सही मिलान। के साथ समाप्त करने का लक्ष्य है $X$ मोटे तौर पर इनपुट के छोटे आधे हिस्से से युक्त और $Y$ मोटे तौर पर इनपुट का बड़ा आधा हिस्सा होता है। इसे प्राप्त करने के लिए, इस मिलान के किनारों द्वारा जोड़े गए रजिस्टरों की तुलना करके प्रत्येक मिलान को क्रमिक रूप से संसाधित करें और किसी भी इनपुट को ठीक करें जो क्रम से बाहर हैं। विशेष रूप से, मिलान के प्रत्येक किनारे के लिए, यदि बड़ा इनपुट रजिस्टर में है $X$ और छोटा इनपुट रजिस्टर में है $Y$, फिर दो इनपुटों की अदला-बदली करें ताकि छोटा इनपुट अंदर आ जाए $X$ और बड़ा अंदर है $Y$. यह स्पष्ट है कि इस प्रक्रिया के होते हैं $d$ समानांतर कदम।

आख़िरकार $d$ चक्कर लगाओ, लो $A$ रजिस्टरों में इनपुट का सेट होना $X$ और $B$ रजिस्टरों में इनपुट का सेट होना $Y$ एक प्राप्त करने के लिए $ε$आधा करना। इसे देखने के लिए ध्यान दें कि यदि कोई register $u$ में $X$ और $v$ में $Y$ किनारे से जुड़े हुए हैं $uv$ फिर इस किनारे से मिलान करने के बाद संसाधित किया जाता है, इनपुट में $u$ से कम है $v$. इसके अलावा, यह संपत्ति बाकी प्रक्रिया के दौरान सही रहती है। अब, कुछ के लिए मान लीजिए $(1, …, n)$ इससे ज्यादा $εk$ इनपुट्स का $k ≤ n/2$ में हैं $B$. फिर ग्राफ के विस्तार गुणों द्वारा, इन इनपुटों के रजिस्टरों में $Y$ कम से जुड़े हुए हैं $1 – ε⁄ε$ में दर्ज करता है $X$. कुल मिलाकर, यह से अधिक बनता है $k$ रजिस्टर इसलिए कुछ रजिस्टर होना चाहिए $A$ में $X$ किसी रजिस्टर से जुड़ा है $B$ में $Y$ जैसे कि अंतिम इनपुट $A$ इसमें नहीं है $k ≤ n/2$, जबकि का अंतिम इनपुट $B$ है। हालांकि यह पिछली संपत्ति का उल्लंघन करता है, और इस प्रकार आउटपुट सेट करता है $A$ और $B$ एक होना चाहिए $ε$आधा करना।

यह भी देखें

 * बीजगणितीय कनेक्टिविटी
 * ज़िग-ज़ैग उत्पाद
 * सुपरस्ट्रॉन्ग सन्निकटन
 * स्पेक्ट्रल ग्राफ सिद्धांत

बाहरी संबंध

 * Brief introduction in Notices of the American Mathematical Society
 * Introductory paper by Michael Nielsen
 * Lecture notes from a course on expanders (by Nati Linial and Avi Wigderson)
 * Lecture notes from a course on expanders (by Prahladh Harsha)
 * Definition and application of spectral gap