🔢 mathematics

Designs, linear codes, plateaued functions, and their interconnections

यह शोधपत्र कॉम्बिनेटोरियल डिजाइन्स (combinatorial designs), लीनियर कोड्स (linear codes) और बुलियन फंक्शन्स (Boolean functions) के बीच के गहन अंतर्संबंधों की जांच करता है।

मूल लेखक: Jong Yoon Hyun, Jieun Kwon, Jiaxin Wang, Yansheng Wu

प्रकाशित 2026-05-26

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

CC BY 4.0

मूल लेखक: Jong Yoon Hyun, Jieun Kwon, Jiaxin Wang, Yansheng Wu

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

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

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

यहाँ एक सरल विवरण दिया गया है कि उन्होंने क्या किया, रोजमर्रा के उपमाओं (analogies) का उपयोग करते हुए।

1. तीन मुख्य पात्र

पेपर को समझने के लिए, आपको इन तीन मुख्य पात्रों को जानने की आवश्यकता है:

बुलियन फंक्शन्स (Boolean Functions): इन्हें "जादुई रेसिपी" के रूप में सोचें। आप इसमें 0 और 1 की एक सूची डालते हैं (जैसे एक स्विचबोर्ड), और रेसिपी एक एकल 0 या 1 बाहर निकालती है। कुछ रेसिपी बहुत ही अराजक और अनुमान लगाने में कठिन होती हैं (जिन्हें "बेंट" या "प्लेटोएड" फंक्शन्स कहा जाता है), जो क्रिप्टोग्राफी में रहस्यों को सुरक्षित रखने के लिए बहुत उपयोगी होती हैं।
लीनियर कोड्स (Linear Codes): इन्हें "गुप्त कोड" या "त्रुटि-सुधारने वाली भाषाएँ" समझें। इनका उपयोग संदेश भेजने के लिए किया जाता है ताकि यदि रास्ते में कुछ अक्षर बिगड़ भी जाएँ, तो प्राप्तकर्ता मूल संदेश को समझ सके।
कॉम्बिनेटोरियल डिज़ाइन्स (Combinatorial Designs): इन्हें "पूरी तरह से संतुलित पैटर्न" के रूप में सोचें। एक टूर्नामेंट शेड्यूल की कल्पना करें जहाँ खिलाड़ियों की हर जोड़ी ठीक उतनी ही बार एक-दूसरे से मिलती है जितनी बार अन्य जोड़ियाँ मिलती हैं, या एक बगीचा जहाँ फूलों की हर जोड़ी के चारों ओर विशिष्ट झाड़ियों की समान संख्या होती है।

2. बड़ी खोज: एक नया "ट्रिपल" नियम

लेखकों ने ट्रिपल सिमेट्रिक डिफरेंस प्रॉपर्टी (TSDP) नामक एक नई अवधारणा पेश की।

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

3. "जुड़वां" रहस्यों को सुलझाना

यह पेपर पिछले शोधकर्ताओं, डिंग और टेंग द्वारा प्रस्तुत दो विशिष्ट पहेलियों (ओपन प्रॉब्लम्स 14.20 और 14.23) को हल करता है।

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

4. नए, गैर-समान जुड़वाँ बनाना

इस पेपर का सबसे दिलचस्प हिस्सा ऐसे "जुड़वाँ" खोजना है जो समान दिखते हैं लेकिन नहीं होते।

परिदृश्य: लेखकों ने पैटर्न (डिज़ाइन्स) के दो नए परिवार बनाए।
ट्विस्ट: इन दो परिवारों के सांख्यिकी (statistics) बिल्कुल समान हैं (समान संख्या में बिंदु, समान संख्या में ब्लॉक्स, समान कनेक्शन)। यदि आप केवल संख्याओं को देखेंगे, तो वे समान लगेंगे।
वास्तविकता: हालाँकि, वे नॉन-आइसोमोर्फिक (non-isomorphic) हैं। इसका मतलब है कि यदि आप एक पैटर्न को दूसरे पर मैप करने की कोशिश करेंगे, तो वह फिट नहीं बैठेगा। वे दो ऐसे घरों की तरह हैं जिनका वर्ग फुट और खिड़कियों की संख्या बिल्कुल समान है, लेकिन उनके फ्लोर प्लान पूरी तरह से अलग हैं।
उन्होंने यह कैसे किया: उन्होंने विशिष्ट प्रकार की "जादुगर रेसिपी" (प्लेटोएड फंक्शन्स) का उपयोग किया जिनमें कोई "लीनियर स्ट्रक्चर" (कोई अनुमानित शॉर्टकट नहीं) नहीं था। इसने उन्हें इन अद्वितीय, गैर-समान जुड़वाँ को बनाने की अनुमति दी।

5. "ऑटोमोर्फिज्म" ग्रुप: बॉस कौन है?

यह पेपर पूछता है: "इन पैटर्नों का बॉस कौन है?"
गणित में, "ऑटोमोर्फिज्म ग्रुप" उन सभी तरीकों का समूह है जिनसे आप एक पैटर्न के टुकड़ों को बिना उसके नियमों को तोड़े इधर-उधर व्यवस्थित कर सकते हैं (जैसे किसी पहेली को घुमाना या रंगों को बदलना)।

लेखकों ने गणना की कि उनके नए पैटर्न के लिए ये "बॉस" कौन हैं।
उन्होंने पाया कि कुछ प्रकार की रेसिपी के लिए, "बॉस" एक बहुत ही विशिष्ट, सुप्रसिद्ध गणितीय समूह (सिम्प्लेक्टिक समूहों से संबंधित) बनाते हैं, जो गणितज्ञों को इन डिज़ाइन्स की समरूपता (symmetry) और संरचना को गहराई से समझने में मदद करता है।

सारांश

साधारण शब्दों में, यह पेपर एक पुल बनाने वाला (bridge builder) है।

यह रेसिपी (फंक्शन्स), कोड, और पैटर्न (डिज़ाइन्स) को पहले की तुलना में अधिक मजबूती से जोड़ता है।
यह इन पैटर्नों को बेहतर ढंग से वर्गीकृत करने के लिए एक नया "ट्रिपल मिक्सिंग रूल" (TSDP) पेश करता है।
यह दो रहस्यों को हल करता है यह सिद्ध करके कि समकक्ष रेसिपी हमेशा समकक्ष कोड और पैटर्न की ओर ले जाती हैं।
यह ऐसे नए पैटर्न खोजता है जो कागज पर समान दिखते हैं लेकिन वास्तविकता में संरचनात्मक रूप से भिन्न होते हैं।
यह पता लगाता है कि इन पैटर्नों को कैसे घुमाया या बदला जा सकता है बिना उनके ढांचे को तोड़े।

लेखकों ने केवल संबंधों का वर्णन नहीं किया; उन्होंने इन संबंधों का उपयोग करके नई संरचनाएँ बनाईं और उन्हें समझने के लिए चाबियाँ (ऑटोमोर्फिज्म ग्रुप्स) भी प्रदान कीं।

तकनीकी सारांश: डिज़ाइन, रैखिक कोड, प्लेटोएड फलन (Plateaued Functions), और उनके अंतर्संबंध

1. समस्या विवरण

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

खुला प्रश्न 1 (14.20): दो बेंट फलनों $f$ और $g$ की तुल्यता (equivalence) और उनसे प्राप्त बाइनरी रैखिक कोड $eCD_f$ और $eCD_g$ की तुल्यता के बीच क्या संबंध है?
खुला प्रश्न 2 (14.23): दो बेंट फलनों $f$ और $g$ की तुल्यता और $eCD_f$ तथा $eCD_g$ द्वारा समर्थित डिज़ाइनों के आइसोमॉर्फिज्म (isomorphism) के बीच क्या संबंध है?

जबकि पिछले कार्यों (विशेष रूप से बेंडिंग, डेमपोल्फ और न्यूमैन द्वारा) ने बेंट फलनों (0-प्लेटोएड फलनों) के लिए इन संबंधों को स्थापित किया था, $r$ -प्लेटोएड फलनों (जहाँ $0 \le r < m$ ) तक इनका विस्तार एक अनसुलझा क्षेत्र बना हुआ था। इसके अतिरिक्त, यह शोध इन सामान्यीकृत फलनों से प्राप्त डिज़ाइनों के संरचनात्मक गुणों (जैसे कि ट्रिपल सिमेट्रिक डिफरेंस प्रॉपर्टी) को चरित्रित करने का प्रयास करता है।

2. कार्यप्रणाली

लेखक बीजगणितीय कॉम्बिनेटोरिक्स (algebraic combinatorics), कोडिंग थ्योरी और बूलियन फलन विश्लेषण के संयोजन का उपयोग करते हैं। मुख्य पद्धतिगत घटक शामिल हैं:

जेनेरिक कंस्ट्रक्शन फ्रेमवर्क: शोध पत्र एक सेट $B$ द्वारा अनुक्रमित बूलियन फलनों $f_b$ से घटनाओं की संरचनाओं (incidence structures/designs) को निर्मित करने के लिए एक सामान्य विधि स्थापित करता है, जहाँ ब्लॉक्स को सपोर्ट सेट्स $\{p \in P : f_b(p) = 1\}$ के रूप में परिभाषित किया जाता है।
वाल्श ट्रांसफॉर्म विश्लेषण: लेखक परिणामी डिज़ाइनों के मापदंडों (parameters) को चरित्रित करने के लिए वाल्श ट्रांसफॉर्म $W_f$ और उसके सपोर्ट $S_f$ का उपयोग करते हैं। वे $r$ -प्लेटोएड फलनों के गुणों का लाभ उठाते हैं, जहाँ $|W_f(a)| \in \{0, \pm 2^{(m+r)/2}\}$ होता है।
तुल्यता का बीजगणितीय लक्षण वर्णन: अध्ययन घटनाओं (designs) और कोडों की तुल्यता की जांच उनके ऑटोमोर्फिज्म समूहों और घटना मैट्रिसेस (incidence matrices) के लीनियर स्पैन के विश्लेषण के माध्यम से करता है। वे फलनों की एफ़ाइन इक्विवेलेंस (affine equivalence) और उनके संबंधित कोडों की तुल्यता के बीच संबंध का उपयोग करते हैं।
सिमेट्रिक डिफरेंस गुण: शोध पत्र किसी भी 2-डिज़ाइन के लिए ट्रिपल सिमेट्रिक डिफरेंस प्रॉपर्टी (TSDP) को पेश करता है और उसका विश्लेषण करता है, जो सिमेट्रिक डिज़ाइनों के ज्ञात सिमेट्रिक डिफरेंस प्रॉपर्टी (SDP) का विस्तार है।
रैंक विश्लेषण: घटनाओं के 2-रैंक का उपयोग डिज़ाइनों को वर्गीकृत करने के लिए किया जाता है, विशेष रूप से न्यूनतम रैंक डिज़ाइनों और उच्च रैंक वाले डिज़ाइनों के बीच अंतर करने के लिए।

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

A. नई अवधारणाएं और सामान्यीकरण

ट्रिपल सिमेट्रिक डिफरेंस प्रॉपर्टी (TSDP): लेखक एक TSDP डिज़ाइन को ऐसे डिज़ाइन के रूप में परिभाषित करते हैं जहाँ किन्हीं तीन अलग-अलग ब्लॉक्स का सिमेट्रिक डिफरेंस या तो एक ब्लॉक होता है या एक ब्लॉक का पूरक (complement) होता है। वे सिद्ध करते हैं कि $r$ -प्लेटोएड फलनों (बिना किसी गैर-शून्य लीनियर स्ट्रक्चर के) से प्राप्त एडिशन डिज़ाइनों में TSDP होता है, लेकिन वे आम तौर पर डबल सिमेट्रिक डिफरेंस प्रॉपर्टी (DSDP) में विफल रहते हैं, जिससे गैर-सिमेट्रिक सरल 2-डिज़ाइन प्राप्त होते हैं।
$r$ -प्लेटोएड फलनों तक विस्तार: शोध पत्र बेंट फलनों से एडिशन डिज़ाइनों के बेंडिंग के निर्माण को $r$ -प्लेटोएड फलनों तक सामान्यीकृत करता है। यह इन डिज़ाइनों के अस्तित्व के लिए एक नया, सरल प्रमाण (लेम्मा 5) प्रदान करता है और $2^{m-r}$ बिंदुओं पर सरल 2-डिज़ाइनों को चरित्रित करता है (थ्योरम 3)।

B. खुले प्रश्नों का समाधान

शोध पत्र $r$ -प्लेटोएड फलनों तक परिणामों का विस्तार करके डिंग और टैंग के खुले प्रश्नों 1 और 2 का एक एकीकृत समाधान प्रदान करता है:

थ्योरम 4 और 5: लेखक स्थापित करते हैं कि बिना किसी गैर-शून्य लीनियर स्ट्रक्चर वाले $r$ -प्लेटोएड फलनों के लिए, फलनों की तुल्यता उनके एडिशन डिज़ाइनों के आइसोमॉर्फिज्म और उनके संबंधित रैखिक कोडों की तुल्यता के बराबर है।
थ्योरम 7: विशेष रूप से बेंट फलनों को संबोधित करते हुए, शोध पत्र सिद्ध करता है कि दो बेंट फलनों $f$ $f$ और $g$ $g$ की एफ़ाइन इक्विवेलेंस निम्नलिखित के समकक्ष है:
1. डिज़ाइनों $D_f$ और $D_g$ का आइसोमॉर्फिज्म (एक विशिष्ट क्वासी-सिमेट्रिक डिज़ाइन विधि के माध्यम से निर्मित)।
2. रैखिक कोड $eCD_f$ और $eCD_g$ की तुल्यता।
3. न्यूनतम और मध्यम भार वाले कोडवर्ड्स द्वारा रखे गए डिज़ाइनों का आइसोमॉर्फिज्म।
  यह प्रभावी रूप से खुले प्रश्न 1 और 2 को हल करता है।

C. ऑटोमोर्फिज्म समूह

शोध पत्र एडिशन डिज़ाइनों और उनके संगत रैखिक कोडों के ऑटोमोर्फिज्म समूहों की गणना करता है:

थ्योरम 8: यह एक $r$ -प्लेटोएड फंक्शन $f$ से प्राप्त एडिशन डिज़ाइन के ऑटोमोर्फिज्म समूह $\text{Aut}(AD_f)$ को स्वयं फंक्शन $f$ के ऑटोमोर्फिज्म समूह के रूप में चरित्रित करता है, जिसे विशिष्ट एफ़ाइन परम्यूटेशन के माध्यम से परिभाषित किया गया है।
कोरोलरी 5: क्वाड्रेटिक बेंट फंक्शन्स और विशिष्ट मायोराना-मैकफर्लैंड बेंट फंक्शन्स के लिए, ऑटोमोर्फिज्म समूह को सिम्प्लेक्टिक ग्रुप और एक वेक्टर स्पेस ( $Sp_m(\mathbb{F}_2) \rtimes \mathbb{F}_2^m$ ) के सेमी-डायरेक्ट प्रोडक्ट के रूप में दिखाया गया है।

D. समान मापदंडों वाले गैर-आइसोमोर्फिक डिज़ाइन

शोध पत्र बूलियन फलनों के नए परिवारों का निर्माण करता है जो ज्ञात डिज़ाइनों (जैसे कि पॉइंट-हाइपरप्लेन डिज़ाइन का पूरक या TSDP डिज़ाइन) के समान मापदंडों वाले 2-डिज़ाइन उत्पन्न करते हैं, लेकिन उनसे गैर-आइसोमोर्फिक हैं।

थ्योरम 9 और 10: ये थ्योरम प्रदर्शित करते हैं कि भले ही मापदंड और 2-रैंक समान हों, फिर भी अंतर्निहित संरचनात्मक गुण (जैसे कि ट्रांसलेशन डिज़ाइन की TSDP स्थिति) डिज़ाइनों को अलग कर सकते हैं। उदाहरण के लिए, यदि बेंट फंक्शन से प्राप्त ट्रांसलेशन डिज़ाइन एक TSDP डिज़ाइन नहीं है, तो नया निर्मित डिज़ाइन मानक एडिशन डिज़ाइन के आइसोमोर्फिक नहीं है।

4. महत्व और दावे

शोध पत्र का दावा है कि यह बूलियन फंक्शन, रैखिक कोड और कॉम्बिनेटोरियल डिज़ाइन को जोड़ने वाले सैद्धांतिक ढांचे का महत्वपूर्ण विस्तार करता है। इसका प्राथमिक महत्व है:

सामान्यीकरण: बेंट फलनों से आगे बढ़कर व्यापक श्रेणी के $r$ -प्लेटोएड फलनों तक जाना, जिससे सिमेट्रिक और गैर-सिमेट्रिक डिज़ाइनों का अध्ययन एक एकल ढांचे के तहत एकीकृत होता है।
खुले प्रश्नों का समाधान: बेंट फंक्शन और उनके संबंधित कोड/डिज़ाइन के संबंध में डिंग और टैंग द्वारा पूछे गए तुल्यता प्रश्नों के निश्चित उत्तर प्रदान करना।
संरचनात्मक अंतर्दृष्टि: 2-डिज़ाइनों के लिए एक एकीकृत गुण के रूप में TSDP को पेश करना और यह प्रदर्शित करना कि प्लेटोएड फलनों से प्राप्त एडिशन डिज़ाइन इस गुण को रखते हैं, भले ही वे सिमेट्रिक न हों।
ऑटोमोर्फिज्म लक्षण वर्णन: बेंडिंग, डेमपोल्फ और न्यूमैन के पिछले परिणामों का विस्तार करते हुए अधिक विस्तृत वर्ग के फलनों और उनके संबंधित कोडों के लिए ऑटोमोर्फिज्म समूहों की गणना करना।

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