Classification of Rational Functions of Degree Three over Finite Fields

यहाँ शियांग-डोंग हौ, सियु पेंग, योंगयू कियांग और शुजुन झाओ द्वारा लिखित शोध पत्र "Classification of Rational Functions of Degree Three over Finite Fields" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक परिमित क्षेत्र (finite field) $\mathbb{F}_q$ पर PGL-तुल्यता (PGL-equivalence) के अंतर्गत डिग्री $n=3$ के गैर-स्थिर (non-constant) परिमेय फलनों (rational functions) $f \in \mathbb{F}_q(X)$ के वर्गीकरण को संबोधित करता है।
दो परिमेय फलन $f$ और $g$ को तब तुल्य (equivalent) माना जाता है यदि $\psi, \phi \in \text{PGL}(2, \mathbb{F}_q)$ ऐसे हों कि $g = \psi \circ f \circ \phi$।

• संदर्भ: जबकि डिग्री 1 (तुच्छ) और डिग्री 2 के लिए वर्गीकरण सुस्थापित है, और सम अभिलक्षण (even characteristic) में डिग्री 3 का समाधान हाल ही में मैटारेई और पिज़ाटो (2024) द्वारा किया गया था, विषम अभिलक्षण (odd characteristic) का मामला खुला रह गया था।
• लक्ष्य: विषम $q$ के लिए सभी डिग्री 3 परिमेय फलनों का पूर्ण वर्गीकरण प्रदान करना, प्रत्येक वर्ग के लिए तुल्यता वर्गों की संख्या निर्धारित करना और प्रत्येक वर्ग के लिए स्पष्ट प्रतिनिधि (representatives) प्रदान करना।

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

लेखक मान मान आवृत्तियों (value frequencies) और संबद्ध फलन क्षेत्र विस्तार (function field extension) $\mathbb{F}_q(X)/\mathbb{F}_q(f)$ के विभेदन बिंदुओं (ramification points) पर आधारित एक संरचनात्मक दृष्टिकोण अपनाते हैं।

A. तीन मुख्य वर्गों में वर्गीकरण

लेखक $\alpha \in \mathbb{P}^1(\mathbb{F}_q)$ के लिए पूर्व-छवि (pre-image) के आकार $|f^{-1}(\alpha)|$ के आधार पर डिग्री 3 के परिमेय फलनों को तीन विलगित (disjoint) वर्गों में विभाजित करते हैं:

1. वर्ग I: वे फलन जहाँ सभी $\alpha$ के लिए $|f^{-1}(\alpha)| = 1$ है। ये क्रमचय परिमेय फलन (permutation rational functions) हैं (जिन्हें फेरागुटी और मिशेली द्वारा पहले ही वर्गीकृत किया जा चुका है)।
2. वर्ग II: वे फलन जहाँ किसी $\alpha$ के लिए $|f^{-1}(\alpha)| = 2$ है।
3. वर्ग III: शेष मामला, जहाँ किसी $\alpha$ के लिए $|f^{-1}(\alpha)| = 3$ है, लेकिन किसी भी $\beta$ के लिए $|f^{-1}(\beta)| \neq 2$ नहीं है।

B. मानक रूप और अपरिवर्तनीय (Canonical Forms and Invariants)

• वर्ग I और II: लेखक मानक रूप प्रदान करते हैं और सिद्ध करते हैं कि ये रूप विशिष्ट तुल्यता वर्गों का प्रतिनिधित्व करते हैं।
  • वर्ग II के प्रतिनिधि $\frac{X^3+t}{X}$ और $\frac{X^3+X^2+t}{X}$ के रूप में होते हैं।
• वर्ग III (मुख्य योगदान):
  • लेखक तुल्यता के माध्यम से $f^{-1}(\infty) = \{0, 1, \infty\}$ मानते हैं, जिससे फलन का रूप घटकर निम्नलिखित हो जाता है:
    $$f_{s,t}(X) = \frac{X^3 + sX + t}{X(X-1)}$$
  • वर्गीकरण व्युत्पन्न (derivative) अंश बहुपद $G_{s,t}(X) = X^4 - 2X^3 - sX^2 - 2tX + t$ के गुणनखंडन पर निर्भर करता है।
  • विभेदन प्रकार (Ramification Types): $\mathbb{F}_q$ पर $G_{s,t}$ के गुणनखंडन और अभिलक्षण $p$ के आधार पर, वर्ग III को चार उप-वर्गों (III-a, III-b, III-c, III-d) में विभाजित किया गया है।
  • अपरिवर्तनीय (Invariants): इन उप-वर्गों के भीतर तुल्यता वर्गों को अलग करने के लिए, लेखक बीजगणितीय अपरिवर्तनीयों का निर्माण करते हैं:
    1. $\theta(s,t)$: इसे $\frac{s^3}{t(1+s+t)}$ के रूप में परिभाषित किया गया है। यह अपरिवर्तनीय विभेदन बिंदुओं के क्रॉस-अनुपात (cross-ratio) और फलन क्षेत्र की संरचना से प्राप्त किया गया है।
    2. $\lambda$: चार विभेदन बिंदुओं के क्रॉस-अनुपात पर आधारित एक द्वितीयक अपरिवर्तनीय, जिसका उपयोग विशेष रूप से वर्ग III-b के लिए किया जाता है जहाँ $\theta$ अकेले अपर्याप्त है।
    3. $\mu^2$: वर्ग III-b के लिए एक अधिक सशक्त अपरिवर्तनीय, जो $G_{s,t}$ के अपरिमेय द्विघात कारकों (irreducible quadratic factors) के गुणांकों से प्राप्त होता है।

C. विश्लेषणात्मक उपकरण (Analytical Tools)

• हासे-वील सीमा (Hasse-Weil Bound): अपरिवर्तनीयों की शर्तों पर परिभाषित बीजगणिक वक्रों पर परिमेय बिंदुओं की संख्या का अनुमान लगाने के लिए उपयोग किया जाता है, जिससे यह सुनिश्चित होता है कि निर्मित प्रतिनिधि सेटों के आवश्यक संख्या में तुल्यता वर्गों को कवर करता है।
• क्रॉस-अनुपात सिद्धांत (Cross-Ratio Theory): विभेदन बिंदुओं के सेट पर $\text{PGL}(2, \mathbb{F}_q)$ की क्रिया का विश्लेषण करने के लिए उपयोग किया जाता है।
• परिणाम और विवेचक (Resultants and Discriminants): $G_{s,t}$ की अपरिमेयता और गुणनखंड प्रकारों को निर्धारित करने के लिए उपयोग किए जाते हैं।

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

A. विषम अभिलक्षण के लिए पूर्ण वर्गीकरण

यह शोध पत्र स्थापित करता है कि विषम $q$ के लिए, डिग्री 3 के परिमेय फलनों के तुल्यता वर्गों की कुल संख्या $N(q,3) = q-1$ (वर्ग III के लिए) है, साथ ही वर्ग I और II के गणनाएँ भी शामिल हैं। लेखक सिद्ध करते हैं कि उनके द्वारा निर्मित प्रतिनिधि सेट युग्मवार (pairwise) गैर-तुल्य हैं और संपूर्ण स्थान को कवर करते हैं।

B. वर्ग III का विस्तृत उप-वर्गीकरण ($p \ge 5$)

लेखक अभिलक्षण $p$ और $q \pmod{12}$ की संगति के आधार पर वर्ग III का पूर्ण विवरण प्रदान करते हैं:

1. वर्ग III-a ($G_{s,t}$ अपरिमेय है):

   • विभेदन प्रकार: $(2/4, 2/4, 2/4, 2/4)$।
   • $\theta$ द्वारा विशिष्ट।
   • वर्गों की संख्या: $(q-1)/2$।
   • $\Theta_a = \{27 + a \mid a, \mathbb{F}_q \text{ में एक गैर-वर्ग है}\}$।

2. वर्ग III-b ($G_{s,t}$ दो भिन्न अपरिमेय द्विघातों का गुणनफल है):

   • विभेदन प्रकार: $(2/2, 2/2, 2/2, 2/2)$।
   • $(\theta, \lambda)$ युग्म या अधिक सशक्त अपरिवर्तनीय $\mu^2$ द्वारा विशिष्ट।
   • वर्गों की संख्या: $(q-5)/2$।
   • शोध पत्र एक सूक्ष्म मामले को हल करता है जहाँ $\theta$ और $\lambda$ दो वर्गों को अलग करने में विफल रहते हैं (जब $q \equiv \pm 1 \pmod{12}$ और विशिष्ट मान आते हैं), यह सिद्ध करते हुए कि $\mu^2$ पूर्ण अपरिवर्तनीय है।

3. वर्ग III-c ($G_{s,t}$ एक अपरिमेय द्विघात का वर्ग है):

   • विभेदन प्रकार: $(3/2, 3/2)$।
   • केवल तभी अस्तित्व में होता है जब $q \not\equiv 1 \pmod 6$ हो।
   • $\theta = 27$ के साथ एक एकल वर्ग द्वारा प्रतिनिधित्व किया जाता है।

4. वर्ग III-d ($G_{s,t}$ के मूल $\mathbb{F}_q$ में हैं):

   • विभेदन प्रकार भिन्न होते हैं: $(2/2, 2/2, 3/1)$ या $(3/1, 3/1)$।
   • इसमें $f_{-3,1}$ (जहाँ $\theta=27$) का मामला शामिल है।
   • वर्गों की संख्या: $q$ के आधार पर 1 या 2।

C. अभिलक्षण $p=3$

लेखक $p=3$ के लिए वर्गीकरण को अनुकूलित करते हैं। विशेष रूप से, $p=3$ में वर्ग III-c खाली (empty) है, और $p=3$ में वर्गों की गणना को वर्गों के गुणों के आधार पर समायोजित किया गया है।

D. सम अभिलक्षण तुलना

यद्यपि मुख्य ध्यान विषम अभिलक्षण पर है, शोध पत्र में सम अभिलक्षण के लिए मैटारेई और पिज़ाटो के हालिया कार्य के साथ तुलना करने वाला एक परिशिष्ट शामिल है, जो यह दर्शाता है कि उस मामले में भी वर्गीकरण के लिए अपरिवर्तनीय $\theta$ पर्याप्त है।

4. महत्व (Significance)

• एक खुले प्रश्न का समाधान: यह कार्य परिमित क्षेत्रों पर डिग्री 3 के परिमेय फलनों के वर्गीकरण को पूरा करता है, जो फलन क्षेत्रों (function fields) और परिमित ज्यामिति के सिद्धांत में एक मौलिक समस्या है।
• कार्यप्रणालीगत प्रगति: यह शोध पत्र विभेदन विश्लेषण (ramification analysis) को स्पष्ट अपरिवर्तनीय निर्माण (क्रॉस-अनुपात और रिजल्टेंट्स का उपयोग करके) के साथ जोड़ने की एक शक्तिशाली तकनीक प्रदर्शित करता है, जहाँ प्रत्यक्ष गणना असंभव है।
• अनुप्रयोग:
  • क्रमचय बहुपद (Permutation Polynomials): वर्गीकरण क्रमचय परिमेय फलनों को समझने और बनाने में सहायता करता है, जो क्रिप्टोग्राफी और कोडिंग थ्योरी में महत्वपूर्ण हैं।
  • अपरिमेय बहुपद (Irreducible Polynomials): उच्च-डिग्री अपरिमेय बहुपदों के निर्माण के लिए परिमेय फलनों का उपयोग किया जाता है; तुल्यता वर्गों को जानना इन निर्माणों को अनुकूलित करने में मदद करता है।
  • फलन क्षेत्र सिद्धांत (Function Field Theory): परिणाम आधार क्षेत्र के अंकगणित और फलन क्षेत्र विस्तार की ज्यामिति के बीच परस्पर क्रिया के मूर्त उदाहरण प्रदान करते हैं।

5. निष्कर्ष (Conclusion)

लेखकों ने विषम अभिलक्षण वाले परिमित क्षेत्रों पर सभी डिग्री 3 के परिमेय फलनों को सफलतापूर्वक वर्गीकृत किया है। समस्या को तीन मुख्य वर्गों में विभाजित करके और विभेदन प्रकारों के आधार पर वर्ग III को उप-विभाजित करके, उन्होंने स्पष्ट अपरिवर्तनीय ($\theta, \lambda, \mu^2$) की पहचान की जो तुल्यता वर्गों को पूर्णतः निर्धारित करते हैं। यह कार्य हासे-वील (Hasse-Weil) जैसे सैद्धांतिक सीमाओं और स्पष्ट बीजगणिक निर्माणों के बीच के अंतर को पाटता है, जो परिमित क्षेत्र अंकगणित और अनुप्रयोगों के लिए एक निर्णायक संदर्भ प्रदान करता है।