Positivity preservers over finite fields II

तकनीकी सारांश: परिमित क्षेत्रों पर धनात्मकता संरक्षक (Positivity Preservers) II

समस्या विवरण
यह शोध पत्र एक परिमित क्षेत्र $\mathbb{F}_q$ पर $n \times n$ आव्यूहों के स्थान $M_n(\mathbb{F}_q)$ पर 'एंट्रीवाइज' (entrywise) धनात्मकता संरक्षकों के वर्गीकरण को संबोधित करता है। एक आव्यूह $A \in M_n(\mathbb{F}_q)$ को तब धनात्मक निश्चित (positive definite) कहा जाता है यदि वह सममित (symmetric) है और उसके सभी अग्रणी मुख्य मिनर (leading principal minors) $\mathbb{F}_q$ के गैर-शून्य वर्ग ($\mathbb{F}_q^+$ के तत्व) हैं। एक फलन $f: \mathbb{F}_q \to \mathbb{F}_q$ एक 'एंट्रीवाइज धनात्मकता संरक्षक' है यदि $A$ धनात्मक निश्चित होने पर $f[A] = (f(a_{ij}))$ भी धनात्मक निश्चित होता है।

लेखकों के पिछले कार्य (जो J. Algebra, 2025 में प्रकाशित हुआ था) ने सभी आयामों $n \ge 3$ के लिए और $n=2$ के उन मामलों के लिए सफलतापूर्वक वर्गीकरण किया था जहाँ $q$ सम है, $q \equiv 3 \pmod 4$ है, या $q$ एक विषम वर्ग है:

• खुला मामला (The Open Case): $n = 2$, $q \equiv 1 \pmod 4$, और $q$ एक पूर्ण वर्ग नहीं है।

पिछले कार्य में, एक रणनीति को अलग किया गया था (संदर्भ [5] में प्रस्ताव 5.8) जो यह सुझाव देती थी कि यदि $f$, $q \equiv 1 \pmod 4$ के लिए $M_2(\mathbb{F}_q)$ पर धनात्मकता को संरक्षित करता है, और यदि $f$ को इस प्रकार सामान्यीकृत किया गया है कि $f(1)=1$, तो $f$ एक पावर मैप ($f(x) = x^{p^j}$) होना चाहिए, बशर्ते कि $\mathbb{F}_q^+$ के सेट पर $f$ का प्रतिबंध आक्षेपी (injective) हो। लुप्त कड़ी यह सिद्ध करना था कि ऐसे सभी $q$ के लिए यह आक्षेपी गुण स्वतः (automatic) ही लागू होता है।

कार्यप्रणाली (Methodology)
लेखक इस खुले मामले को यह सिद्ध करके हल करते हैं कि $M_2(\mathbb{F}_q)$ (जहाँ $q \equiv 1 \pmod 4$) पर कोई भी धनात्मकता संरक्षक $\mathbb{F}_q^+$ पर अनिवार्य रूप से आक्षेपी होता है। यह प्रमाण एक नवीन दृष्टिकोण का उपयोग करता है जो उन संरचनात्मक जटिलताओं से बचता है जो गैर-वर्ग $q$ के लिए पले ग्राफ (Paley graphs) के कारण उत्पन्न होती थीं।

1. इडम्पोटेंट रिडक्शन (Idempotent Reduction): लेखक फलन $f$ के पुनरावृत्तियों (iterates) के अनुक्रम पर विचार करते हैं (अर्थात $f, f^{(2)}, f^{(3)}, \dots$)। चूंकि $\mathbb{F}_q$ परिमित है, यह अनुक्रम अंततः आवर्ती (periodic) हो जाता है। वे एक पुनरावृत्ति $h = f^{(m)}$ का चयन करते है जो एक इडम्पोटेंट (idempotent) धनात्मकता संरक्षक है (अर्थात $h \circ h = h$)।
2. क्वाड्रेटिक कैरेक्टर्स के माध्यम से विरोधाभास: यह मानते हुए कि $h$, $\mathbb{F}_q^+$ पर आक्षेपी नहीं है, $a, b \in \mathbb{F}_q^+$ के दो भिन्न तत्व मौजूद हैं कि $h(a) = h(b) = s$।
   • वे क्वाड्रेटिक कैरेक्टर्स के एक ज्ञात गुण (लेम्मा 2.1) का उपयोग करते हैं: भिन्न $a, b \in \mathbb{F}_q^+$ के लिए, एक गैर-वर्ग $z \in \mathbb{F}_q^-$ अस्तित्व में होता है कि $a-z \in \mathbb{F}_q^+$ और $b-z \in \mathbb{F}_q^-$।
   • वे $a, b, z$ को सम्मिलित करते हुए दो विशिष्ट धनात्मक निश्चित आव्यूह $A_1$ और $A_2$ का निर्माण करते हैं।
   • इन आव्यूहों पर इडम्पोटेंट मैप $h$ को लागू करके, वे $v = h(z)$ के मान पर बाधाएं (constraints) प्राप्त करते हैं। विशेष रूप से, धनात्मक निश्चितता का संरक्षण यह बल देता है कि $v$ एक वर्ग ($v \in \mathbb{F}_q^+$) होना चाहिए।
   • इसके बाद वे $v$ और $z$ का उपयोग करके एक तीसरा आव्यूह $C$ निर्मित करते हैं। $v-z$ के वर्ग या गैर-वर्ग होने के आधार पर, $C$ को धनात्मक निश्चित दिखाया जाता है।
   • हालाँकि, $C$ पर $h$ को लागू करने से एक विलक्षण (singular) आव्यूह प्राप्त होता है (एक ऐसा आव्यूह जिसका डिटर्मिनेंट शून्य है), जो धनात्मकता संरक्षक की परिभाषा का खंडन करता है।
3. एकरूपता (Uniformity): यह प्रमाण सभी $q \equiv 1 \pmod 4$ के लिए समान रूप से कार्य करता है, जिससे "क्लिक संरचना" (clique structure) वाले तर्कों की आवश्यकता समाप्त हो जाती है जो गैर-वर्ग क्रमों के लिए उपलब्ध उप-क्षेत्र (subfield) संरचनाओं पर निर्भर करते हैं।

मुख्य योगदान और परिणाम
प्राथमिक योगदान प्रमेय 1.1 को सिद्ध करना है, जो यह स्थापित करता है कि $q \equiv 1 \pmod 4$ के लिए, $M_2(\mathbb{F}_q)$ पर धनात्मक निश्चितता को संरक्षित करने वाला कोई भी फलन $\mathbb{F}_q^+$ पर एक आक्षेपी मानचित्र (injective map) के रूप में प्रतिबंधित होता है।

यह परिणाम, पिछले वर्गीकरण [5] के साथ मिलकर, प्रत्येक परिमित क्षेत्र और प्रत्येक निश्चित आयाम $n$ के लिए एंट्रीवाइज धनात्मकता संरक्षकों का पूर्ण वर्गीकरण (प्रमेय 1.2) प्रदान करता है:

• मामला $n=1$: $f(\mathbb{F}_q^+) \subseteq \mathbb{F}_q^+$।
• मामला $n=2, q$ सम: $f$ एक बाइजेक्टिव मोनोमियल $f(x) = cx^m$ है जहाँ $\gcd(m, q-1)=1$।
• मामला $n \ge 3, q$ सम: $f(x) = cx^{2^j}$।
• मामला $n \ge 2, q$ विषम: $f(x) = cx^{p^j}$ किसी $c \in \mathbb{F}_q^+$ के लिए, जहाँ $0 \le j \le k-1$ (जहाँ $q=p^k$)।

विशेष रूप से, लेखक देखते हैं कि विषम विशेषता (odd characteristic) में, आयाम $n=2$ के लिए वर्गीकरण सभी आयामों $n \ge 3$ के वर्गीकरण के समान है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह परिमित क्षेत्रों पर एंट्रीवाइज धनात्मकता संरक्षकों के वर्गीकरण के अंतिम शेष मामले को सुलझाता है। वर्गों के सेट पर इन मानचित्रों की स्वचालित आक्षेपी प्रकृति को सिद्ध करके, लेखक सभी आयामों और क्षेत्र विशेषताओं में सिद्धांत को एकीकृत करते हैं।

इस कार्य का महत्व निम्नलिखित में निहित है:

1. वर्गीकरण को पूर्ण करना: यह एक ऐसी समस्या का निर्णायक उत्तर प्रदान करता है जो आंशिक रूप से हल की गई थी, जिसमें केवल विशिष्ट गैर-वर्ग, $n=2$ वाला मामला खुला रह गया था।
2. पद्धतिगत नवाचार (Methodological Innovation): यह प्रमाण "इडम्पोटेंट रिडक्शन" तकनीक को पेश करता है। यह दृष्टिकोण गैर-वर्ग क्रम के पले ग्राफ के क्लिक नंबर (clique numbers) का विश्लेषण करने की कठिनाई को सफलतापूर्वक दरकिनार करता है, जो कि संयोजन विज्ञान (combinatorics) में एक कुख्यात रूप से खुला प्रश्न है।
3. एकीकरण: यह प्रदर्शित करता है कि आयाम $n=2$ (विषम $q$ के लिए) में धनात्मकता संरक्षकों पर संरचनात्मक बाधाएं उच्च आयामों की तुलना में अधिक जटिल नहीं हैं, जो कि अपेक्षित हो सकता था।

लेखक स्पष्ट रूप से कहते हैं कि उनका प्रमाण वर्ग होने पर उपलब्ध विशेष उप-क्षेत्र संरचना पर निर्भर नहीं है, जिससे परिणाम सभी $q \equiv 1 \pmod 4$ के लिए सुदृढ़ (robust) बनता है।