संघ योजना

विचरण के विश्लेषण के लिए प्रयोगों के डिजाइन के सिद्धांत में, संघ योजनाओं का सिद्धांत सांख्यिकी में उत्पन्न हुआ।  गणित में, साहचर्य योजनाएँ बीजगणित और संयोजन विज्ञान दोनों से संबंधित हैं। बीजगणितीय साहचर्य में, संघ योजना कई विषयों के लिए एकीकृत दृष्टिकोण प्रदान करती है, उदाहरण के लिए संयोजन डिजाइन और कोडिंग सिद्धांत त्रुटि-सुधार कोड का सिद्धांत।  बीजगणित में, साहचर्य योजनाएँ समूह (गणित) का सामान्यीकरण करती हैं और साहचर्य योजनाओं का सिद्धांत समूह प्रतिनिधित्व के समूह चरित्र का सामान्यीकरण करता है।

परिभाषा
n-श्रेणी संघ योजना में सेट (गणित) X होता है जिसमें X × X के सेट S का विभाजन n + 1 द्विआधारी संबंध, R में होता है, R0, R1, ..., Rn जो संतुष्ट करता है।


 * $$R_{0} = \{(x,x) : x \in X\}$$; इसे पहचान संबंध कहा जाता है।
 * परिभाषित करना $$ R^* := \{(x,y) : (y,x) \in R\}$$, यदि S में R है, तो S में R* है।
 * यदि $$(x,y) \in R_{k}$$, की संख्या $$z \in X$$ ऐसा है कि $$(x,z) \in R_{i}$$ और $$(z,y) \in R_{j}$$ स्थिरांक $$p^k_{ij}$$ है इस पर निर्भर करते हुए $$i$$, $$j$$, $$k$$ किन्तु $$x$$ और $$y$$ की विशेष पसंद पर नहीं।

संघ योजना क्रमविनिमेय है यदि $$p_{ij}^k = p_{ji}^k$$ सभी के लिए $$i$$, $$j$$ और $$k$$. अधिकांश लेखक इस संपत्ति को मानते हैं।

सममित संघ योजना वह है जिसमें प्रत्येक $$R_i$$ सममित संबंध है। वह है:


 * यदि (x, y) ∈ Ri, तब (y, x) ∈ Ri. (या समकक्ष, R* = R)।

प्रत्येक सममित साहचर्य योजना क्रमविनिमेय होती है।

ध्यान दें, चूँकि, जबकि संघ योजना की धारणा समूह की धारणा को सामान्य करती है, क्रमविनिमेय संघ योजना की धारणा केवल क्रमविनिमेय समूह की धारणा को सामान्य बनाती है।

यदि $$(x,y) \in R_i$$ दो बिंदुओं x और y को i वां सहयोगी कहा जाता है। परिभाषा बताती है कि यदि x और y i वां सहयोगी हैं तो y और x भी हैं। अंकों की प्रत्येक जोड़ी ठीक के लिए iवें सहयोगी $$i$$ है। प्रत्येक बिंदु का अपना स्वयं का ज़ीरोथ सहयोगी होता है जबकि विशिष्ट बिंदु कभी भी ज़ीरोथ सहयोगी नहीं होते हैं। यदि x और y k वां सहयोगी हैं तो अंकों की संख्या $$z$$ जो दोनों के सहयोगी हैं $$x$$ और j-वें के सहयोगी $$y$$ स्थिरांक $$p^k_{ij}$$ है ।

ग्राफ व्याख्या और आसन्न आव्यूह
सममित संघ योजना को वर्गीकरण वाले किनारों के साथ पूर्ण ग्राफ़ के रूप में देखा जा सकता है। ग्राफ है $$v$$ शीर्ष, प्रत्येक बिंदु के लिए $$X$$ और किनारों को जोड़ने वाला किनारा $$x$$ और $$y$$ अंकित है $$i$$ यदि $$x$$ और $$y$$ हैं $$i$$वें सहयोगी। प्रत्येक किनारे पर अद्वितीय वर्गीकरण होता है और निश्चित आधार वर्गीकरण वाले त्रिकोणों की संख्या $$k$$ अन्य किनारों को वर्गीकरण करना $$i$$ और $$j$$ स्थिरांक $$p^k_{ij}$$ है, इस पर निर्भर करते हुए $$i,j,k$$ किन्तु आधार के चुनाव पर नहीं। विशेष रूप से, प्रत्येक शीर्ष ठीक से आपतित होता है $$p^0_{ii}=v_{i}$$ किनारों को वर्गीकरण किया गया $$i$$; $$v_{i}$$ संबंध (गणित) का आसन्न संबंध $$R_{i}$$ है । वर्गीकरण वाले लूप भी हैं $$0$$ प्रत्येक शीर्ष पर $$x$$, $$R_{0}$$ के अनुरूप हैं।

संबंध (गणित) उनके आसन्न आव्यूह द्वारा वर्णित हैं। $$A_i$$ का आसन्न आव्यूह है $$R_{i}$$ के लिए $$i=0,\ldots,n$$ और v × v आव्यूह (गणित) है जिसमें पंक्तियों और स्तंभों को $$X$$ बिंदुओं द्वारा वर्गीकरण किया जाता है ।
 * $$\left( A_i \right)_{x,y} = \begin{cases}

1, & \mbox{if } (x,y) \in R_{i},\\ 0, & \mbox{otherwise.} \end{cases}\qquad (1)$$ सममित संघ योजना की परिभाषा यह कहने के बराबर है कि $$A_i$$ v × v (0,1)-आव्यूह|(0,1)-आव्यूहों हैं जो संतुष्ट करते हैं
 * I. $$A_i$$ सममित है,
 * II. $$\sum_{i=0}^n A_i = J$$ (सभी एक आव्यूह),
 * III. $$A_0 = I$$,
 * IV. $$A_i A_j = \sum_{k=0}^n p^k_{ij}A_k = A_j A_i, i,j=0,\ldots,n$$.

(X, y) - (IV) के बाईं ओर की प्रविष्टि ग्राफ़ में वर्गीकरण i और j के साथ x और y के बीच लंबाई दो के पथों की संख्या है। ध्यान दें कि की पंक्तियाँ और स्तंभ $$A_{i}$$ रोकना $$v_{i}$$ $$1$$'S:


 * $$A_{i} J=J A_{i}=v_{i} J. \qquad(2)$$

शब्दावली

 * संख्या $$p_{ij}^k$$ योजना के पैरामीटर कहलाते हैं। उन्हें संरचनात्मक स्थिरांक भी कहा जाता है।

इतिहास
टर्म संघ योजना के कारण है किन्तु अवधारणा पहले से ही अंतर्निहित  है । ये लेखक अध्ययन कर रहे थे कि सांख्यिकीविदों ने आंशिक रूप से संतुलित अपूर्ण ब्लॉक डिज़ाइन (PBIBDs) को क्या कहा है। विषय प्रकाशन के साथ बीजगणितीय रुचि का उद्देश्य बन गया  और बोस-मेस्नर बीजगणित का परिचय। सिद्धांत के लिए सबसे महत्वपूर्ण योगदान P डेल्सर्ट की स्थापना थी  जिन्होंने कोडिंग सिद्धांत और डिज़ाइन सिद्धांत के साथ कनेक्शन को पहचाना और पूरी तरह से उपयोग किया। सामान्यीकरणों का अध्ययन डी.जी. हिगमैन (सुसंगत विन्यास) और बोरिस वेसफीलर बी द्वारा किया गया है। वीज़फ़ीलर (दूरी नियमित रेखांकन)।

बुनियादी तथ्य

 * $$p_{00}^0 = 1$$, अर्थात, यदि $$(x,y) \in R_0$$ तब $$x = y$$ और केवल $$z$$ ऐसा है कि $$(x,z) \in R_0$$, $$z=x$$ है ।
 * $$\sum_{i=0}^{k} p_{ii}^0 = |X|$$; ऐसा इसलिए है क्योंकि $$R_i$$ विभाजन $$X$$.

बोस-मेस्नर बीजगणित
निकटतम आव्यूह $$A_i$$ ग्राफ का (असतत गणित) $$\left(X,R_{i}\right)$$ क्रमविनिमेय बीजगणित (संरचना) और साहचर्य बीजगणित उत्पन्न करें $$\mathcal{A}$$ (वास्तविक संख्या या जटिल संख्या पर) आव्यूह उत्पाद और हैडमार्ड उत्पाद (मैट्रिसेस) दोनों के लिए। इस साहचर्य, क्रमविनिमेय बीजगणित को संघ योजना का बोस-मेस्नर बीजगणित कहा जाता है।

चूंकि आव्यूहों में $$\mathcal{A}$$ सममित आव्यूह हैं और दूसरे के साथ आने वाले आव्यूह हैं, वे साथ विकर्ण आव्यूह हो सकते हैं। इसलिए, $$\mathcal{A}$$ अर्धसरल ऑपरेटर है | अर्द्ध सरल और मौलिक उदासीन का अनूठा आधार है $$J_{0},\ldots,J_{n}$$.

$$(n+1)\times(n+1)$$ आव्यूहों का एक और बीजगणित है जो समरूप है $$\mathcal{A}$$ और अधिकांशतः इसके साथ काम करना सरल होता है।

उदाहरण

 * J(v, k) द्वारा निरूपित जॉनसन योजना को निम्नानुसार परिभाषित किया गया है। मान लीजिए कि S, v अवयवों वाला समुच्चय है। योजना J(v, k) के बिंदु हैं $${v \choose k}$$ k तत्वों के साथ S का सबसेट। S के दो k-तत्व उपसमुच्चय A, B i वां सहयोगी होते हैं जब उनके प्रतिच्छेदन का आकार k − i होता है।
 * H(n, q) द्वारा निरूपित हैमिंग योजना को निम्नानुसार परिभाषित किया गया है। H(n, q) के बिंदु qn हैं ने आकार q के सेट पर n-टपल का आदेश दिया। दो n-टपल x, y को iवें सहयोगी कहा जाता है यदि वे बिल्कुल i निर्देशांक में असहमत हैं। उदाहरण के लिए, यदि x = (1,0,1,1), y = (1,1,1,1), z = (0,0,1,1), तो x और y पहले सहयोगी हैं, x और z पहले सहयोगी हैं और H (4,2) में y और Z दूसरे सहयोगी हैं।
 * दूरी-नियमित ग्राफ, G, दो शीर्षों को i वां सहयोगियों के रूप में परिभाषित करके संघ योजना बनाता है यदि उनकी दूरी i है।
 * परिमित समूह G संघ योजना का उत्पादन करता है $$X=G$$, कक्षा Rg के साथ प्रत्येक समूह तत्व के लिए, इस प्रकार है: प्रत्येक के लिए $$g \in G$$ होने देना $$R_g = \{(x,y) \mid x=g*y\}$$ कहाँ $$*$$ समूह संक्रिया (गणित) है। पहचान तत्व का वर्ग R0 है। यह संघ योजना क्रमविनिमेय है यदि और केवल यदि G एबेलियन समूह है।
 * विशिष्ट 3-श्रेणी संघ योजना:
 * चलो A (3) सेट x = {1,2,3,4,5,6} पर तीन सहयोगी वर्गों के साथ निम्नलिखित संघ योजना बनें। (i, j&hairsp;) प्रविष्टि s है यदि तत्व i और j संबंध Rs में हैं।

कोडिंग सिद्धांत
मौलिक कोडिंग सिद्धांत में हैमिंग योजना और जॉनसन योजना का बड़ा महत्व है।

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

मौलिक कोडिंग सिद्धांत में, हैमिंग योजना में कोड से निपटने के लिए, मैकविलियम्स रूपांतरण में ऑर्थोगोनल बहुपद का परिवार सम्मलित होता है जिसे क्रॉचौक बहुपद के रूप में जाना जाता है। ये बहुपद हैमिंग योजना के दूरी संबंध आव्यूहों के आइजन मूल्य देते हैं।

यह भी देखें

 * ब्लॉक डिजाइन
 * बोस-मेस्नर बीजगणित
 * संयुक्त डिजाइन

संदर्भ

 * . (Chapters from preliminary draft are available on-line.)