🔢 mathematics

$\{\pm 1\}$ -weighted zero-sum constants

यह शोध पत्र चक्रीय समूह $\mathbb{Z}_n$ में भार सेट (weight sets) $A=\{\pm 1\}$ और $B=\{1\}$ के विशिष्ट मामले के लिए भारित शून्य-योग स्थिरांकों (weighted zero-sum constants) $E_{A,B}(n)$ , $C_{A,B}(n)$ , और $D_{A,B}(n)$ के मान निर्धारित करता है।

मूल लेखक: Krishnendu Paul, Shameek Paul

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

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

CC BY 4.0

मूल लेखक: Krishnendu Paul, Shameek Paul

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

कल्पना कीजिए कि आप एक विशाल, उथल-पुथल भरी पार्टी में हैं जहाँ हर कोई एक नंबर पकड़े हुए है। कुछ लोग सकारात्मक नंबर (जैसे +1) पकड़े हुए हैं, और कुछ लोग नकारात्मक नंबर (जैसे -1) पकड़े हुए हैं। इस खेल का लक्ष्य लोगों का एक विशिष्ट समूह खोजना है जिनके नंबर, एक विशेष तरीके से जुड़ने पर, पूरी तरह से एक-दूसरे को शून्य (zero) के बराबर कर दें।

यह शोध पत्र "मैजिक नंबर" (लोगों की एक विशिष्ट संख्या) खोजने के बारे में है जो यह गारंटी देता है कि आप हमेशा ऐसा एक समूह पा सकते हैं, चाहे नंबरों को कितनी भी तरह से इधर-उधर बिखेरा गया हो।

यहाँ रोजमर्रा के उपमाओं (analogies) का उपयोग करके इस शोध पत्र की अवधारणाओं का विवरण दिया गया है:

1. खेल के नियम: "द वेटेड कैंसलेशन" (भारित निरसन)

इस गणितीय खेल में, आपके पास लोगों की एक पंक्ति (एक अनुक्रम) है, जिनमें से प्रत्येक ने एक नंबर पकड़ा हुआ है।

मानक नियम: आमतौर पर, आप बस नंबरों को जोड़ते हैं। यदि $1 + (-1) + 2 + (-2) = 0$ है, तो आप जीत जाते हैं।
नया नियम (शोध पत्र का ट्विस्ट): यह शोध पत्र एक "वेटेड" (weighted) नियम पेश करता है। कल्पना कीजिए कि हर व्यक्ति की जेब में एक टिकट है।
- जीतने के लिए, आपको लोगों का एक समूह चुनना होगा।
- आप प्रत्येक व्यक्ति के नंबर को उनके टिकट के मान से गुणा करते हैं।
- शर्त: टिकट केवल 1 या -1 हो सकते हैं।
- दोहरी शर्त:
  1. (नंबर $\times$ टिकट) का योग 0 होना चाहिए।
  2. टिकटों का अपना योग भी 0 होना चाहिए।

इसे एक संतुलन तराजू (balance scale) की तरह समझें। आपको ऐसे लोगों का समूह खोजना है जहाँ नंबरों का "भार" शून्य तक संतुलित हो जाए, और "पॉजिटिव टिकटों" की संख्या "नेगेटिव टिकटों" की संख्या के बराबर हो।

2. तीन "मैजिक नंबर्स" (स्थिरांक)

लेखक यह पता लगाने की कोशिश कर रहे हैं कि पार्टी में बुलाने के लिए आपको कम से कम कितने लोगों ( $k$ ) की आवश्यकता है ताकि जीत की गारंटी मिल सके। वे इसे तीन अलग-अलग दृष्टिकोणों से देखते हैं:

"कोई भी समूह" स्थिरांक ( $D$ ): आप लाइन में मौजूद लोगों में से कोई भी समूह चुन सकते हैं, उन्हें इधर-उधर से उठा सकते हैं और मिला सकते हैं। आपको यह गारंटी देने के लिए कितने लोगों की आवश्यकता है कि एक जीतने वाला समूह मौजूद है?
- उपमा: आप ताश की गड्डी में जीतने वाला हाथ ढूंढ रहे हैं, और आप कोई भी कार्ड चुन सकते हैं, न कि केवल पास के कार्ड।
"लगातार" स्थिरांक ( $C$ ): आप केवल उन लोगों को चुन सकते हैं जो लाइन में एक-दूसरे के ठीक बगल में खड़े हैं।
- उपमा: आप लाइन का एक हिस्सा ही ले सकते हैं, जैसे पिज्जा का एक टुकड़ा काटना। आप बीच में रखे पेपरोनी को छोड़ नहीं सकते।
"पूर्ण आकार" स्थिरांक ( $E$ ): आपको एक ऐसा जीतने वाला समूह खोजना है जो कमरे में मौजूद लोगों की कुल संख्या (या एक विशिष्ट लक्ष्य आकार) के बिल्कुल बराबर हो।
- उपमा: आपको एक ऐसी टीम बनानी है जो पूरे कमरे के आकार के बराबर हो, लेकिन फिर भी शून्य तक संतुलित हो।

3. मुख्य खोज: "डबल ट्रबल" प्रभाव

लेखकों ने एक विशिष्ट परिदृश्य पर ध्यान केंद्रित किया जहाँ "टिकट" हमेशा 1 या -1 होते हैं।

उन्होंने एक दिलचस्प पैटर्न पाया:

"लगातार" नियम ( $C$ ) के लिए: मैजिक नंबर मानक मैजिक नंबर का ठीक दुगुना है।
- रूपक: यदि आपको एक लगातार जीतने वाला समूह खोजने के लिए आमतौर पर 5 लोगों की आवश्यकता होती है, तो अब आपको 10 लोगों की आवश्यकता है। यह ऐसा है जैसे "टिकट" नियम लाइन को जीतने की गारंटी के लिए दोगुना लंबा कर देता है।
"कोई भी समूह" नियम ( $D$ ) के लिए: यह केवल एक अधिक है मानक संख्या से।
- रूपक: यह थोड़ा कठिन है। यदि आपको पहले 5 लोगों की आवश्यकता थी, तो अब आपको 6 लोगों की आवश्यकता है। अतिरिक्त व्यक्ति एक "सुरक्षा बफर" के रूप में कार्य करता है।

4. विषम बनाम सम पार्टियाँ (Odd vs Even Parties)

कुल लोगों की संख्या ( $n$ ) विषम (odd) या सम (even) होने के आधार पर व्यवहार बदल जाता है।

जब $n$ विषम (Odd) हो: गणित बहुत स्पष्ट है। मैजिक नंबर ठीक $2n - 1$ $2 n - 1$ है।
- उपमा: यदि आपके पास 5 लोग हैं, तो आपको जीतने की गारंटी के लिए कमरे में 9 लोग चाहिए। यह एक सटीक, अनुमानित सूत्र है।
जब $n$ सम (Even) हो: यह थोड़ा जटिल हो जाता है। संख्या मानक संख्या और एक थोड़ी अधिक संख्या के बीच में होती है।
- उपमा: यदि हमारे पास 6 लोग हैं, तो "मैजिक नंबर" 6 और 8 के बीच कहीं है। लेखकों ने सिद्ध किया है कि यह निश्चित रूप से सबसे खराब स्थिति (worst-case scenario) से कम है, लेकिन वे अभी भी सटीक पूर्ण संख्या की तलाश कर रहे हैं।

5. "लैटिस पाथ" ट्रिक (उन्होंने इसे कैसे सिद्ध किया)

इन नंबरों को सिद्ध करने के लिए, लेखकों ने लैटिस पाथ (कल्पना कीजिए कि ग्रिड पर नीचे-बाएँ से ऊपर-दाएँ तक चलना) का उपयोग करके एक चतुर दृश्य ट्रिक का उपयोग किया।

उन्होंने दिखाया कि यदि आपके पास पर्याप्त लोग हैं, तो उन्हें व्यवस्थित करने के तरीके इतने विशाल हैं कि शुद्ध संभावना (probability) के आधार पर, आपके पास दो अलग-अलग समूह होने ही चाहिए जो पूरी तरह से "कैंसिल आउट" (निरस्त) कर देते हैं।
उपमा: कल्पना कीजिए कि आप केवल 10 छेदों वाले बोर्ड पर 100 डार्ट फेंक रहे हैं। आप चाहे कैसे भी फेंकें, आप गारंटी के तौर पर एक ही छेद में दो बार निशाना लगाएंगे। लेखकों ने सिद्ध किया कि पर्याप्त लोगों के साथ, "छेद" (संभावित योग) भर जाते हैं, जिससे एक मैच (मिलान) होने के लिए मजबूर होना पड़ता है।

6. "विशेष मामला" (2 की शक्ति)

शोध पत्र ने एक विशेष मामले को भी देखा जहाँ लोगों की संख्या 2 की घात (power of 2) है (जैसे 2, 4, 8, 16)।

उन्होंने पाया कि इन विशिष्ट संख्याओं के लिए, "लगातार" (Consecutive) नियम मानक नियम का ठीक दुगुना ( $2n$ ) है।
उन्हें संदेह है कि इन संख्याओं के लिए, "कोई भी समूह" (Any Group) नियम भी मानक नियम से केवल एक व्यक्ति अधिक है, लेकिन उन्होंने अभी तक हर मामले के लिए इसे सिद्ध नहीं किया है।

सारांश

यह शोध पत्र संख्याओं के खेल के लिए एक गणितीय सुरक्षा मैनुअल की तरह है। यह हमें बताता है:

यदि आप एक "टिकट" नियम जोड़ते हैं (जहाँ आपको सकारात्मक और नकारात्मक टिकटों को संतुलित करना होता है), तो खेल कठिन हो जाता है।
यदि आप कोई भी समूह चुन सकते हैं, तो आपको जीत की गारंटी के लिए केवल एक अतिरिक्त व्यक्ति की आवश्यकता होती है।
यदि आपको लगातार लोगों को चुनना है, तो आपको दोगुने लोगों की आवश्यकता होती है।
भीड़ का कुल आकार विषम या सम होने के आधार पर नियम थोड़े अलग होते हैं।

लेखकों ने कई विशिष्ट मामलों के लिए इस पहेली को हल किया है और शेष के लिए मजबूत अनुमान प्रदान किए हैं, यह दिखाते हुए कि सकारात्मक और नकारात्मक नंबरों के अराजक मिश्रण में भी, यदि आपके पास पर्याप्त लोग हैं, तो व्यवस्था (शून्य-योग) अपरिहार्य है।

यहाँ कृष्णेन्दु पॉल और शामीक पॉल के शोध पत्र "{±1}-weighted zero-sum constants" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) और संख्या सिद्धांत (number theory) के ढांचे के भीतर, विशेष रूप से परिमित मॉड्यूल्स (finite modules) पर केंद्रित, वेटेड ज़ीरो-सम समस्याओं (weighted zero-sum problems) की जांच करता है।

मुख्य परिभाषाएँ:
- मान लीजिए कि $R$ एक रिंग है और $M$ एक परिमित $R$ -मॉड्यूल है। मान लीजिए $A, B \subseteq R \setminus \{0\}$ हैं।
- एक अनुक्रम (sequence) $S = (x_1, \dots, x_k)$ $S = (x_{1}, \dots, x_{k})$ जो $M$ $M$ में है, एक $(A, B)$ -वेटेड ज़ीरो-सम अनुक्रम है यदि $a_i \in A$ $a_{i} \in A$ और $b_i \in B$ $b_{i} \in B$ ऐसे भार (weights) मौजूद हैं कि:
  1. $\sum_{i=1}^k a_i x_i = 0$ (भारित योग शून्य है)।
  2. $\sum_{i=1}^k b_i a_i = 0$ (भारों का योग शून्य है)।
- यह शोध पत्र एक मॉड्यूल $M$ $M$ के लिए तीन महत्वपूर्ण स्थिरांकों (constants) को परिभाषित करता है:
  - $D_{A,B}(M)$ : वह न्यूनतम $k$ जिससे प्रत्येक लंबाई $k$ वाले अनुक्रम में एक $(A, B)$ -वेटेड ज़ीरो-सम उप-अनुक्रम (subsequence) होता है।
  - $C_{A,B}(M)$ : वह न्यूनतम $k$ जिससे प्रत्येक लंबाई $k$ वाले अनुक्रम में क्रमवार (consecutive) पदों का एक $(A, B)$ -वेटेड ज़ीरो-सम उप-अनुक्रम होता है।
  - $E_{A,B}(M)$ : वह न्यूनतम $k$ जिससे प्रत्येक लंबाई $k$ वाले अनुक्रम में लंबाई $|M|$ का एक $(A, B)$ -वेटेड ज़ीरो-सम उप-अनुक्रम होता है।
विशिष्ट ध्यान:
लेखक इन स्थिरांकों का विश्लेषण विशेष रूप से तब करते हैं जब:
- $M = \mathbb{Z}_n$ (पूर्णांकों का रिंग modulo $n$ )।
- $A = \{\pm 1\}$ ।
- $B = \{1\}$ ।
  वे इन नए स्थिरांकों ( $D_{A,1}, C_{A,1}, E_{A,1}$ ) की तुलना मानक वेटेड स्थिरांकों से करते हैं जहाँ $B=\{0\}$ (जिसे $D_A, C_A, E_A$ द्वारा दर्शाया गया है) और अनवेटेड (unweighted) स्थिरांकों ( $D, C, E$ ) से करते हैं।

2. कार्यप्रणाली (Methodology)

लेखक बाउंड्स (bounds) और सटीक मान प्राप्त करने के लिए बीजगणितीय हेरफेर (algebraic manipulation), कॉम्बिनेटरियल तर्क (combinatorial arguments) और लैटिस पाथ थ्योरी (lattice path theory) के संयोजन का उपयोग करते हैं।

अनुवाद अपरिवर्तनीयता (Translation Invariance):
लेखक इस अवलोकन का उपयोग करते हैं कि यदि $S$ एक $(A, 1)$ -वेटेड ज़ीरो-सम अनुक्रम है, तो कोई भी ट्रांसलेट $S+x$ भी वैसा ही होगा। यह उन्हें बिना किसी हानि के सामान्यता (without loss of generality) के साथ अनुक्रमों को बदलने (जैसे, शून्य सम्मिलित करना) की अनुमति देता है।
प्रति-उदाहरणों का निर्माण (Construction of Counter-Examples):
निचले बाउंड्स (lower bounds) स्थापित करने के लिए, वे विशिष्ट अनुक्रमों का निर्माण करते जिनमें आवश्यक ज़ीरो-सम उप-अनुक्रम नहीं होते। उदाहरण के लिए, वे एक ज्ञात गैर-शून्य-योग अनुक्रम के बीच शून्य सम्मिलित करके अनुक्रमों का निर्माण करते हैं ताकि नए अनुक्रम की लंबाई मूल की तुलना में लगभग दोगुनी हो जाए।
कॉम्बिनेटरियल प्रमाण (Lattice Paths):
$D_{A,1}(M)$ के लिए ऊपरी बाउंड (upper bounds) सिद्ध करने के लिए, लेखक लैटिस पाथ्स से संबंधित एक कॉम्बिनेटरियल तर्क का उपयोग करते हैं। वे दिए गए लंबाई के उप-अनुक्रमों को बाइनरी स्ट्रिंग्स में मैप करते हैं और संभव योगों की संख्या बनाम उप-अनुक्रमों की संख्या पर पिजनहोल सिद्धांत (pigeonhole principle) का उपयोग करते हैं।
पैरिटी और विशेषता विश्लेषण (Parity and Characteristic Analysis):
उनके प्रमाण रिंग की विशेषता (characteristic) $n$ की पैरिटी (parity) पर बहुत अधिक निर्भर करते हैं।
- जब $n$ सम (even) होता है, तो वे सिद्ध करते हैं कि कोई भी $(A, 1)$ -वेटेड ज़ीरो-सम अनुक्रम सम लंबाई का होना चाहिए।
- जब $n$ विषम (odd) होता है, तो वे दिखाते हैं कि विशिष्ट भार स्थिति वाले $n$ लंबाई के अनुक्रम मानक ज़ीरो-सम अनुक्रमों की तरह व्यवहार करते हैं।

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

शोध पत्र शास्त्रीय स्थिरांकों के साथ इन नए $(A, 1)$ -वेटेड स्थिरांकों के बीच सटीक संबंध स्थापित करता है।

A. $A=\{\pm 1\}, B=\{1\}$ के लिए सामान्य संबंध

मान लीजिए $M$ एक रिंग $R$ पर एक परिमित मॉड्यूल है।

क्रमवार पदों का स्थिरांक (Consecutive Terms Constant):
$C_{A,1}(M) = 2C_A(M)$
इसे एक लंबाई $k$ वाले अनुक्रम से लंबाई $2k$ का एक अनुक्रम बनाकर और यह दिखाकर सिद्ध किया गया है कि रूपांतरित अनुक्रम में एक क्रमवार ज़ीरो-सम, मूल अनुक्रम में एक ज़ीरो-सम को दर्शाता है।
सामान्य उप-अनुक्रम स्थिरांक (General Subsequence Constant):
$D_A(M) + 1 \leq D_{A,1}(M) \leq 2D_A(M)$
निचला बाउंड इस तथ्य से प्राप्त होता है कि एक शून्य जोड़ने से एक नई शर्त लागू होती है, जबकि ऊपरी बाउंड कॉम्बिनेटरियल गणना के माध्यम से प्राप्त किया गया है।
लंबाई-विशिष्ट स्थिरांक ( $E$ ):
- यदि $n$ विषम है: $E_{A,1}(n) = 2n - 1$ ।
- यदि $n$ सम है: $E_A(n) \leq E_{A,1}(n) \leq n - 2 + D_{A,1}(n)$ ।
- महत्वपूर्ण रूप से, यदि $D_{A,1}(n) = D_A(n) + 1$ , तो $E_{A,1}(n) = E_A(n)$ ।

B. विशिष्ट मामला: $R = \mathbb{Z}_2$

जब रिंग $\mathbb{Z}_2$ होती है, तो $\{\pm 1\}$ सेट $\{1\}$ में सिमट जाता है। लेखक परिमित $\mathbb{Z}_2$ -मॉड्यूल्स ( $\mathbb{F}_2$ पर वेक्टर स्पेस) के लिए सटीक मान प्राप्त करते हैं।
यदि $M \cong \mathbb{Z}_2^r$ (आयाम $r$ ):

$C_{1,1}(M) = 2^{r+1}$
$D_{1,1}(M) = r + 2$
$E_{1,1}(M) = 2^r + r$

ये परिणाम स्थापित संबंधों और खंड 4 के अनुप्रयोग द्वारा प्राप्त किए गए हैं।

C. विशिष्ट मामला: $M = \mathbb{Z}_n$

पूर्णांकों के रिंग modulo $n$ के लिए:

बाउंड्स (Bounds): $D_A(n) + 1 \leq D_{A,1}(n) \leq 2D_A(n)$ ।
2 की घातों के लिए सटीक मान:
- यदि $n = 2^k$ , तो $C_A(n) = n$ , जिसका अर्थ है कि $C_{A,1}(n) = 2n$ ।
- लेखक यह अनुमान (conjecture) लगाते हैं कि जब $n$ 2 की घात हो, तो $D_{A,1}(n) = D_A(n) + 1$ होता है।
अनुभवजन्य सत्यापन (Empirical Verification):
- $n=6$ के लिए: $D_A(6)=3$ , लेकिन लेखक सिद्ध करते हैं कि $D_{A,1}(6)=5$ (अर्थात $D_A(6)+2$ )।
- $n=4$ और $n=8$ के लिए: $D_{A,1}(n) = D_A(n) + 1$ ।

4. महत्व

ज़ीरो-सम सिद्धांत का परिशोधन (Refinement of Zero-Sum Theory): यह शोध पत्र शास्त्रीय डैवेनपोर्टْت (Davenport) स्थिरांक और इसके वेरिएंट्स को एक अधिक जटिल वेटिंग स्कीम तक विस्तारित करता है जहाँ भारों को स्वयं शून्य होना चाहिए। यह एक अतिरिक्त बाधा जोड़ता है जो स्थिरांकों के एसिम्प्टोटिक व्यवहार (asymptotic behavior) को बदल देती है।
सटीक बाउंड्स (Tighter Bounds): लेखक यह प्रदर्शित करते हैं कि $A=\{\pm 1\}$ और $B=\{1\}$ के विशिष्ट मामले के लिए, इन स्थिरांकों के ऊपरी बाउंड्स मनमाने $A$ और $B$ के लिए ज्ञात सामान्य बाउंड्स की तुलना में काफी कम हैं (जो अक्सर $|M|$ के वर्ग के समान होते हैं)।
संरचनात्मक अंतर्दृष्टि (Structural Insights): रिंग की विषम (odd) और सम (even) विशेषता के बीच का अंतर मौलिक दिखाया गया है। $n$ की पैरिटी यह निर्धारित करती है कि ज़ीरो-सम उप-अनुक्रम की लंबाई सम होनी चाहिए या नहीं, जो $E_{A,1}(n)$ की गणना को पूरी तरह से बदल देता है।
अनुमान (Conjectures): यह शोध पत्र नए शोध के द्वार खोलता है, जैसे कि यह अनुमान लगाना कि 2 की घातों के लिए, मानक और वेटेड स्थिरांकों के बीच का अंतर ठीक 1 ( $D_{A,1} = D_A + 1$ ) है, और सभी सम $n$ के लिए $E_{A,1}(n) = E_A(n)$ है।

निष्कर्ष

पॉल और पॉल ने $(A, B)$ -वेटेड ज़ीरो-सम स्थिरांकों के लिए सटीक मान या टाइट बाउंड्स सफलतापूर्वक निर्धारित किए हैं, जहाँ भार $\{\pm 1\}$ हैं और माध्यमिक भार $\{1\}$ हैं। उन्होंने इन नए स्थिरांकों को शास्त्रीय स्थिरांकों से जोड़ने के लिए एक व्यापक ढांचा प्रदान किया है, जिसमें $\mathbb{Z}_n$ और $\mathbb{Z}_2$ -मॉड्यूल्स के मामलों को हल करने के लिए कॉम्बिनेटरियल टूल्स और पैरिटी आर्गुमेंट्स का उपयोग किया गया है।