🔢 mathematics

Transversal Difference Numbers in Finite Abelian Quotients

यह शोध पत्र ट्रांसवर्सल अंतर संख्या (transversal difference number) $\delta(G,H)$ का परिचय और अन्वेषण करता है, जो परिमित एबेलियन कोटिएंट्स (finite abelian quotients) में एक ट्रांसवर्सल के अंतर सेट के न्यूनतम आकार को मापने वाला एक नया इनवेरिएंट (invariant) है, जो सामान्य निचली सीमाएँ स्थापित करके, विशिष्ट उत्पाद परिवारों को अभिलक्षणित करके, और तकनीकी रूप से मुख्य मामले—समान-प्राइम वर्ग तलों (same-prime square planes)—के लिए एक अनुमानित सटीक मान हेतु सशक्त प्रमाण प्रदान करके किया गया है।

मूल लेखक: Mugurel Barcau, Vicenţiu Paşol, George C. Ţurcaş

प्रकाशित 2026-06-29

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

CC BY 4.0

मूल लेखक: Mugurel Barcau, Vicenţiu Paşol, George C. Ţurcaş

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

यहाँ शोध पत्र "Transversal Difference Numbers in Finite Abelian Quotients" का सरल भाषा में अनुवाद दिया गया है:

मुख्य विचार: एक समूह के लिए प्रतिनिधि चुनना

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

जब आप इन्वेंट्री की त्वरित जांच करना चाहते हैं, तो आपको हर कमरे के हर एक बक्से को गिनने की आवश्यकता नहीं होती है। इसके बजाय, आपको बस उस पूरे कमरे का प्रतिनिधित्व करने के लिए प्रत्येक कमरे से एक प्रतिनिधि बक्सा चुनने की आवश्यकता है। प्रतिनिधियों का यह संग्रह जिसे एक 'ट्रांसवर्सल' (transversal) कहा जाता है।

शोध पत्र एक बहुत ही विशिष्ट प्रश्न पूछता है: ये प्रतिनिधि बॉक्स कितने "फैले हुए" (spread out) हैं?

यदि आप किन्हीं दो प्रतिनिधि बक्सों को लेते हैं और उनके बीच की "दूरी" (या अंतर) को मापते हैं, तो आपको सभी संभावित दूरियों की एक सूची प्राप्त होती है। लेखक यह पता लगाना चाहते हैं कि आप अपने प्रतिनिधियों को इस तरह कैसे चुनें कि यह दूरियों की सूची यथासंभव छोटी और संक्षिप्त (compact) हो। वे इस संक्षिप्तता को "ट्रांसवर्सल डिफरेंस नंबर" (Transversal Difference Number) कहते हैं।

उपमा: "लेबलिंग" की समस्या

यह क्यों महत्वपूर्ण है? शोध पत्र इसका एक वास्तविक दुनिया का अनुप्रयोग होमोमोर्फिक एन्क्रिप्शन (Homomorphic Encryption - एक प्रकार का अति-सुरक्षित कंप्यूटिंग) में बताता है।

सोचिए कि गोदाम एक सुरक्षित तिजोरी है जहाँ आप डेटा को प्रोसेस कर रहे हैं। बिना तिजोरी खोले डेटा पर गणितीय गणना करने के लिए, आप एक विशेष "अनुवाद कुंजी" (Galois label) का उपयोग करते हैं।

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

शोध पत्र यह पता लगाने की कोशिश कर रहा है कि: किसी भी दिए गए गोदाम के लेआउट के लिए हम न्यूनतम संभव बैग का आकार क्या प्राप्त कर सकते हैं?

खेल के नियम

लेखकों ने खोजा है कि उत्तर पूरी तरह से गोदाम के आकार और कमरों की व्यवस्था पर निर्भर करता है।

1. आसान मामले (Cyclic Quotients)
कभी-कभी, कमरे एक साधारण वृत्त या सीधी रेखा में व्यवस्थित होते हैं। इन मामलों में, लेखकों ने एक सटीक सूत्र (formula) पाया है। यह किताबों को एक ही शेल्फ पर सजाने जैसा है; आप हमेशा ऐसे प्रतिनिधि चुन सकते हैं ताकि "दूरी की सूची" गणितीय रूप से जितनी छोटी हो सकती है, उतनी ही छोटी रहे।

परिणाम: यदि लेआउट सरल (cyclic) है, तो हमें सटीक उत्तर पता है।

2. "स्प्लिट" (Split) बनाम "नॉन-स्प्लिट" (Nonsplit) का मोड़
शोध पत्र गोदाम के दो प्रकार के लेआउट के बीच अंतर करता है:

स्प्लिट (Split): कमरे इतने साफ तरीके से व्यवस्थित हैं कि आप ऐसे प्रतिनिधि चुन सकते हैं जो अपने आप में एक पूर्ण, स्वतंत्र समूह बनाते हैं। यहाँ, "दूरी की सूची" बहुत छोटी होती है।
नॉन-स्प्लिट (Nonsplit): कमरे उलझे हुए हैं। आप ऐसे प्रतिनिधि नहीं चुन सकते जो एक साफ समूह बनाएं; वे उलझे हुए तरीकों से आपस में ओवरलैप होने के लिए मजबूर हैं। यहाँ गणित कठिन हो जाता है।

3. "स्क्वायर प्लेन" (Square Plane) का रहस्य (मुख्य खोज)
सबसे दिलचस्प हिस्सा एक विशिष्ट, कठिन लेआउट के बारे में है: अभाज्य संख्याओं (विशेष रूप से $p \times p$ ग्रिड जहाँ $p$ एक विषम संख्या जैसे 3, 5, या 7 है) से बना एक वर्ग ग्रिड (square grid)।

अंतर्ज्ञान (Intuition): यदि आप इस ग्रिड पर प्रतिनिधि चुनने की कोशिश करते हैं, तो आप सोच सकते हैं कि आप बस एक साधारण वर्गाकार ब्लॉक (जैसे $3 \times 3$ का वर्ग) चुन सकते हैं। यह एक निश्चित आकार की "दूरी सूची" देता है।
कन्जेक्चर (Conjecture/अनुमान): लेखक कन्जेक्चर (दृढ़ विश्वास के साथ अनुमान) करते हैं कि आप इस साधारण वर्गाकार ब्लॉक से बेहतर प्रदर्शन नहीं कर सकते। चाहे आप अपने प्रतिनिधियों के चयन को कितनी भी चतुराई से घुमाएँ या मोड़ें, आप इस "दूरी की सूची" को और अधिक छोटा नहीं कर सकते।
प्रमाण (Evidence):
- उन्होंने सिद्ध किया कि छोटे ग्रिडों (जैसे $3 \times 3$ और $5 \times 5$ ) के लिए, साधारण वर्ग ही सबसे अच्छा है।
- उन्होंने सिद्ध किया कि यदि आप रैंडमली (यादृच्छिक रूप से) प्रतिनिधि चुनते हैं, तो आप लगभग निश्चित रूप से ऐसी "दूरी सूची" प्राप्त करेंगे जो साधारण वर्ग के बराबर या उससे बड़ी होगी।
- उन्होंने सिद्ध किया कि यदि आप प्रतिनिधियों को चुनने के लिए किसी निश्चित गणितीय नियम (जैसे एक विशिष्ट बहुपद सूत्र) का उपयोग करते हैं, तो भी आप बड़े ग्रिडों के लिए साधारण वर्ग को मात देने में विफल रहेंगे।

"कैरी" (Carry) और "डेरिवेटिव" (Derivative) की उपमा

वर्ग ग्रिडों के बारे में अपने बिंदुओं को सिद्ध करने के लिए, लेखकों को देखने का एक नया तरीका विकसित करना पड़ा। उन्होंने प्रतिनिधियों को एक फंक्शन के ग्राफ (ग्राफ पर खींची गई रेखा) की तरह माना।

उन्होंने महसूस किया कि प्रतिनिधियों के बीच की "दूरी" उस रेखा के ढलान (slope) को मापने के समान है। हालाँकि, क्योंकि गोदाम एक ग्रिड है जिसमें "रैप-अराउंड" (wrap-around) प्रभाव है (जैसे एक वीडियो गेम स्क्रीन जहाँ दाईं ओर से बाहर जाने पर आप बाईं ओर आ जाते हैं), वहाँ "कैरी" (carry) होते हैं (जैसे जब आप 9 + 1 करते हैं और 10 प्राप्त करते हैं, तो 1 को कैरी करते हैं)।

लेखकों ने दिखाया कि "दूरी की सूची" अनिवार्य रूप से सुधारित ढलानों (corrected slopes) का एक संग्रह है। उन्होंने सिद्ध किया कि भले ही आप ढलानों को बहुत समान बनाने की कोशिश करें, "रैप-अराउंड" कैरी (carry) सूची की दूरियों को बड़ा बनाए रखने के लिए मजबूर करते हैं।

निष्कर्षों का सारांश

सामान्य नियम: एक सार्वभौमिक निचली सीमा (lower limit) है कि "दूरी की सूची" कितनी छोटी हो सकती है। यह गोदाम के आकार और उसके भीतर पाए जाने वाले सबसे बड़े "स्वतंत्र" समूह पर निर्भर करता है।
सरल आकार: यदि गोदाम एक साधारण वृत्त या रेखा है, तो हमें सटीक न्यूनतम आकार पता है।
वर्ग ग्रिड का रहस्य: अभाज्य आकार के वर्ग ग्रिड के लिए, लेखक दृढ़ता से संदेह करते हैं कि न्यूनतम आकार वही है जो एक साधारण वर्गाकार ब्लॉक चुनने से प्राप्त होता है।
- उनके पास एक प्रमाण है कि सूची एक निश्चित संख्या से छोटी नहीं हो सकती (एक निचली सीमा)।
- उनके पास छोटे ग्रिडों के लिए कंप्यूटर चेक हैं जो पुष्टि करते हैं कि साधारण वर्ग ही सबसे अच्छा है।
- उनके पास संभाव्यता प्रमाण (probability proofs) हैं जो दिखाते हैं कि रैंडम प्रयास काम नहीं करेंगे।
- उनके पास बीजगणितीय प्रमाण (algebraic proofs) हैं जो दिखाते हैं कि निश्चित सूत्र काम नहीं करेंगे।

उन्होंने क्या नहीं किया

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

तकनीकी सारांश: परिमित एबेलियन कोशों में ट्रांसवर्सल डिफरेंस संख्याएँ (Transversal Difference Numbers in Finite Abelian Quotients)

समस्या विवरण (Problem Statement)
यह शोध पत्र एक युग्म परिमित एबेलियन समूहों (finite abelian groups) के लिए ट्रांसवर्सल डिफरेंस संख्या, जिसे $\delta(G, H)$ द्वारा दर्शाया गया है, की जांच करता है जहाँ $H \le G$ है। $G/H$ के लिए एक ट्रांसवर्सल $T \subseteq G$ का अर्थ है $H$ के प्रत्येक कोसेट (coset) का ठीक एक प्रतिनिधि रखने वाला एक सेट। जबकि $T$ का आकार $|G/H|$ पर स्थिर रहता है, इसके डिफरेंस सपोर्ट $D(T) = T - T = \{t_1 - t_2 : t_1, t_2 \in T\}$ का आकार $G$ में $H$ के विशिष्ट एम्बेडिंग (embedding) के आधार पर बदलता रहता है। केंद्रीय समस्या इस सपोर्ट के न्यूनतम संभव आकार को निर्धारित करना है:
$\delta(G, H) = \min_{T} |D(T)|$
यह इनवेरिएंट (invariant), डिफरेंस-सेट समस्याओं (जो बहुलता पर ध्यान केंद्रित करती हैं) या डिफरेंस-बेसिस समस्याओं (जहाँ सेट का आकार परिवर्तनशील होता है) से भिन्न है। यहाँ, सेट का आकार निश्चित है, और लक्ष्य सपोर्ट मिनिमाइजेशन (support minimization) है।

प्रेरणा (Motivation)
प्राथमिक प्रेरणा फुलली होमोमोर्फिक एन्क्रिप्शन (FHE) से आती है, विशेष रूप से पीकर्ट और पेपिन के "विव गैलवा!" (Vive Galois!) फ्रेमवर्क से। इस संदर्भ में, साइक्लोटोमिक सबफील्ड्स में ऑटोमोर्फिज्म एक्सपेंशन के लिए CRT (चाइनीज रिमाइंडर थ्योरम) बेस को इंडेक्स करने के लिए ट्रांसवर्सल्स का उपयोग किया जाता है। इन ऑपरेशन्स के लिए आवश्यक "एम्बिएंट ऑटोमोर्फिज्म लेबल्स" के सेट का समूह $T - T$ के अंतर सपोर्ट के अनुरूप होता है। $|T - T|$ को कम करने से पैक किए गए बूटस्ट्रैपिंग प्रक्रियाओं में आवश्यक विशिष्ट ऑटोमोर्फिज्म ऑपरेशन्स (और संबंधित की-स्विचिंग लागतों) की संख्या कम हो जाती है। यह शोध पत्र स्पष्ट करता है कि $\delta(G, H)$ लेबल सेट के आकार के लिए सैद्धांतिक निचली सीमा (theoretical lower bound) को मापता है, जो विशिष्ट कार्यान्वयन लागतों या सुरक्षा मापदंडों से स्वतंत्र है।

कार्यप्रणाली (Methodology)
लेखक एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) और परिमित एबेलियन ग्रुप थ्योरी के उपकरणों का उपयोग करते हैं, विशेष रूप से:

फाइबर डिकंपोजिशन (Fiber Decomposition): कोटिएंट दिशाओं $a \in G/H$ के आधार पर डिफरेंस सपोर्ट $D(T)$ का विखंडन।
सिंगलटन रिडक्शन (Singleton Reduction): "सिंगलटन दिशाओं" (जहाँ डिफरेंस फाइबर का आकार 1 है) की पहचान करना और यह दिखाना कि वे $H$ से विलग (disjoint) एक सबग्रुप में लिफ्ट होती हैं। इस सबग्रुप द्वारा कोटिएंट करने से समस्या "प्रिमिटिव" ट्रांसवर्सल्स तक सीमित हो जाती है।
नेसर्स प्रमेय (Kneser's Theorem): समसेट (sumsets) (और डिफरेंस सेट) के लिए स्टेबलाइजर-आधारित निचली सीमा का उपयोग करके प्रोडक्ट ग्रुप्स और चेन्स के अनुमानों को परिष्कृत करना।
फिनिट-फील्ड पैरामीट्राइजेशन (Finite-Field Parametrization): विशेष मामले के लिए जहाँ $G = (\mathbb{Z}/p^2\mathbb{Z})^2$ है, ट्रांसवर्सल्स को फलन $f: \mathbb{F}_p^2 \to \mathbb{F}_p^2$ के ग्राफ के रूप में मॉडल किया जाता है। डिफरेंस सपोर्ट का विश्लेषण कैरी-करेक्टेड (carry-corrected) फिनिट-फील्ड डेरिवेटिव्स के माध्यम से किया जाता है, जो समस्या को सम-उत्पाद (sum-product) घटनाओं और इमेज एक्सपेंशन से जोड़ता है।
प्रोबेबिलिस्टिक और पॉलिनोमियल मेथड्स (Probabilistic and Polynomial Methods): स्क्वायर-प्लेन केस के लिए एसिम्प्टोटिक व्यवहार स्थापित करने के लिए रैंडम लिफ्टिंग तर्क और फिक्स्ड-पॉलिनोमियल लिफ्टिंग विश्लेषण का उपयोग करना।

मुख्य परिणाम और योगदान (Key Results and Contributions)

सामान्य निचली सीमा (General Lower Bound):
शोध पत्र एक समान निचली सीमा स्थापित करता है:
$\delta(G, H) \ge 2|G/H| - m(G, H)$
जहाँ $m(G, H)$ , $G$ के उस अधिकतम ऑर्डर वाले सबग्रुप का मान है जो $H$ से विलग है। यह सीमा सिंगलटन फाइबर्स का विश्लेषण करके और प्रिमिटिव ट्रांसवर्सल्स तक रिड्यूस करके प्राप्त की गई है।
साइक्लिक कोटिएंट्स (Cyclic Quotients):
यह सीमा सभी साइक्लिक कोटिएंट्स के लिए शार्प (sharp) सिद्ध है। यदि $G/H$ क्रम $q$ का साइक्लिक है, तो $\delta(G, H) = 2q - m(G, H)$ । यह ज्ञात मामलों का सामान्यीकरण करता है और साइक्लिक एम्बिएंट ग्रुप्स के लिए सटीक सूत्र प्रदान करता है।
प्रोडक्ट फैमिलीज़ और क्रॉस-ट्रांसवर्सल अनुमान (Product Families and Cross-Transversal Estimates):
नेसर्स प्रमेय का उपयोग करते हुए, लेखक उन प्रोडक्ट ग्रुप्स के लिए सटीक सूत्र निकालते हैं जहाँ एक कोऑर्डिनेट एक "नॉन-स्प्लिट" साइक्लिक $p$ -ग्रुप है और दूसरा मनमाना है। विशेष रूप से, $G = C_{p^a} \times L$ और $H = p^b C_{p^a} \times \{0\}$ (जहाँ $1 \le b < a$ ) के लिए, $\delta(G, H) = |L|(2p^b - 1)$ है। यह दर्शाता है कि प्रोडक्ट स्ट्रक्चर अक्सर मल्टीप्लिकेटिव व्यवहार करते हैं जब तक कि "सेम-प्राइम" नॉन-स्प्लिट कोऑर्डिनेट्स शामिल न हों।
स्क्वायर-प्लेन ऑब्स्ट्रक्शन (विषम अभाज्य संख्याएँ) (The Square-Plane Obstruction - Odd Primes):
शोध पत्र $G_p = (\mathbb{Z}/p^2\mathbb{Z})^2$ और $H_p = pG_p$ (विषम अभाज्य संख्याओं के लिए) को पहले वास्तविक नए ऑब्स्ट्रक्शन के रूप में पहचानता है जहाँ साइक्लिक और प्रोडक्ट थ्योरी विफल हो जाती है।
- कन्जैक्चर (Conjecture): $\delta(G_p, H_p) = (2p - 1)^2$ । यह मान "कोऑर्डिनेट बॉक्स" ट्रांसवर्सल (मानक लिफ्ट) के अनुरूप है।
- अनकंडीशनल लोअर बाउंड (Unconditional Lower Bound): लेखक सिद्ध करते हैं कि $\delta(G_p, H_p) \ge 3p^2 - p - 1$ ।
- साक्ष्य (Evidence):
  - लघु अभाज्य संख्याएँ: नियत (deterministic) सत्यापन पुष्टि करता है कि $p=3$ और $p=5$ के लिए कन्जैक्चर सही है।
  - रैंडम लिफ्टिंग्स: यह दिखाया गया है कि एक यूनिफॉर्मली रैंडम ट्रांसवर्सल की संभावना $p \to \infty$ होने पर कन्जेक्टेड बाउंड को संतुष्ट करने की प्रायिकता 1 के करीब पहुँचती है।
  - फिक्स्ड पॉलिनॉमियल्स: यह सिद्ध किया गया है कि कोई भी फिक्स्ड इंटीजर-पॉलिनोमियल लिफ्टिंग नियम पर्याप्त बड़े अभाज्य संख्याओं के लिए काउंटर-एग्जांपल उत्पन्न नहीं कर सकता।
टू-टोरशन ऑब्स्ट्रक्शन (Two-Torsion Obstruction):
$p=2$ के मामले के लिए, शोध पत्र सिद्ध करता है कि यदि $G/H$ में $C_2 \times C_2$ सबग्रुप शामिल है, तो निचली सीमा को बढ़ाकर $2|G/H| + 1$ कर दिया जाता है, जो 2-टोरशन केस को विषम-प्राइम थ्योरी से अलग करता है।

महत्ता और दावे (Significance and Claims)
शोध पत्र दावा करता है कि यह ट्रांसवर्सल डिफरेंस नंबर्स के अध्ययन में पहले वास्तविक नए रेसिडुअल ऑब्स्ट्रक्शन को अलग करता है: सेम-प्राइम स्क्वायर प्लेन $(\mathbb{Z}/p^2\mathbb{Z})^2$ । जबकि साइक्लिक और मिक्स्ड-प्राइम मामले पूरी तरह से हल हो चुके हैं, विषम-प्राइम स्क्वायर-प्लेन मामला एक कन्जैक्चर बना हुआ है।

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

खुले प्रश्न (Open Problems)
शोध पत्र स्क्वायर-प्लेन कन्जैक्चर को केंद्रीय खुले प्रश्न के रूप में प्रस्तुत करते हुए समाप्त होता है। यह उच्च-रैंक स्क्वायर-मॉड्यूलस कोटिएंट्स $(\mathbb{Z}/p^2\mathbb{Z})^r$ और उन प्रिमिटिव कोटिएंट ज्योमेट्रीज़ के वर्गीकरण के संबंध में भी प्रश्न उठाता है जो सामान्य निचली सीमा से सख्त सुधार (strict improvement) को मजबूर करते हैं।