Explicit Determinants of Homogeneous Polynomial Evaluation Matrices and Applications

तकनीकी सारांश: समरूप बहुपदों के मूल्यांकन आव्यूह के स्पष्ट सारण({determinants}) और उनके अनुप्रयोग

समस्या विवरण
यह कार्य उन आव्यूहों के बीजगणितीय गुणों, विशेष रूप से सारणों (determinants) की जांच करता है जो सदिशों के युग्मों पर समरूप द्विसंरेखी बहुपदों (homogeneous bivariate polynomials) के मूल्यांकन से निर्मित होते हैं। यदि एक समरूप बहुपद $p(x, y) = \sum_{i=0}^k \alpha_i x^{k-i}y^i$ घात $k$ का है और $a = (a_1, \dots, a_n)$ तथा $b = (b_1, \dots, b_n)$ सदिश $\mathbb{C}^n$ में हैं, तो यह शोध $n \times n$ मूल्यांकन आव्यूह $A_{a,b}(p(x, y)) = [p(a_r, b_s)]_{r,s=1}^n$ का विश्लेषण करता है।

यद्यपि विशिष्ट मामलों के लिए शास्त्रीय परिणाम मौजूद हैं—जैसे कि वेंडरमोंड (Vandermonde) आव्यूह या $[(a_i + b_j)^k]$ के रूप वाले आव्यूह—लेकिन ये अक्सर विशिष्ट बहुपद रूपों या तब तक सीमित होते हैं जब तक कि आव्यूह का आकार $n$ बहुपद की घात $k+1$ के बराबर न हो। सभी आव्यूह आकारों (विशेष रूप से जब $n$ बहुपद की घात से अधिक हो) के लिए सामान्य समरूप बहुपदों के सारणों के व्यवहार को समझाने वाला एक एकीकृत ढांचा अब तक अनुपलब्ध था।

कार्यप्रणाली
मुख्य पद्धतिगत योगदान मूल्यांकन आव्यूह $A_{a,b}(p(x, y))$ का एक व्यवस्थित गुणनखंड (factorization) है। लेखक स्थापित करते हैं कि किसी भी घात $k$ के समरूप बहुपद के लिए, मूल्यांकन आव्यूह को तीन संरचित आव्यूहों के गुणनफल में विभाजित किया जा सकता है:
$$A_{a,b}(p(x, y)) = V_a^{(k)} D_\alpha (W_b^{(k)})^T$$
जहाँ:

• $V_a^{(k)}$ और $W_b^{(k)}$, सदिश $a_r$ और $b_s$ के घटकों की घातों वाले $n \times (k+1)$ वेंडरमोंड-प्रकार के आव्यूह हैं।
• $D_\alpha$, बहुपद के गुणांकों $\alpha_i$ वाला एक $(k+1) \times (k+1)$ विकर्ण (diagonal) आव्यूह है।

यह गुणनखंड सभी आगामी परिणामों को प्राप्त करने के लिए मौलिक तंत्र के रूप में कार्य करता है। विश्लेषण आव्यूह आयाम $n$ और बहुपद घात $k$ के बीच संबंध के आधार पर रैंक और सारण गुणों की जांच करके आगे बढ़ता है:

1. स्थिति $n \ge k+2$: आव्यूह $k+1$ के आंतरिक आयाम वाले आव्यूहों का एक गुणनफल है। रैंक असमानताओं द्वारा, $A_{a,b}$ की रैंक $k+1$ से अधिक नहीं हो सकती, जिससे $n \times n$ आव्यूह विलुप्त (singular) हो जाता है।
2. स्थिति $n = k+1$: गुणनखंड में वर्ग आव्यूह (square matrices) शामिल हैं, जो गुणनफल के सारणों के माध्यम से स्पष्ट सारण गणना की अनुमति देते हैं।
3. स्थिति $n \le k$: लेखक $V_a^{(k)} D_\alpha (W_b^{(k)})^T$ पर कॉची-बिनेट (Cauchy–Binet) सूत्र लागू करते हैं। यह सारण को सूचकांकों के उपसमुच्चयों के योग के रूप में व्यक्त करता है, जिसमें सामान्यीकृत वेंडरमोंड लघु आव्यूह (minors) शामिल हैं। इन लघु आव्यूहों का आगे पूर्ण सममित बहुपदों ($H_m$) का उपयोग करके मूल्यांकन किया जाता है।

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

• सामान्य विलुप्ति स्थिति (General Vanishing Condition): यह शोध सिद्ध करता है कि किसी भी घात $k$ के समरूप बहुपद के लिए, यदि आव्यूह का आकार $n \ge k+2$ है, तो सारण सर्वथा शून्य होता है। यह विशिष्ट बहुपद रूपों तक सीमित पिछले अवलोकनों का सामान्यीकरण करता है।
• $n = k+1$ के लिए बंद-रूप सूत्र (Closed-Form Formula): इस "सीमावर्ती" वर्ग मामले में, एक स्पष्ट सूत्र व्युत्पन्न किया गया है:
  $$\det(A_{a,b}(p(x, y))) = (-1)^{\binom{k+1}{2}} \left( \prod_{i=0}^k \alpha_i \right) \left( \prod_{1 \le i < j \le n} (a_j - a_i) \right) \left( \prod_{1 \le i < j \le n} (b_j - b_i) \right)$$
  यह परिणाम पुष्टि करता है कि सारण तभी गैर-शून्य होगा जब सभी बहुपद गुणांक गैर-शून्य हों और सदिश के घटक युग्मवार भिन्न हों।
• विशेष मामले: सामान्य सूत्र निम्नलिखित के ज्ञात परिणामों को पुनः प्राप्त करता है और विस्तारित करता है:
  • योग-रूप $(x+y)^k$।
  • भाग-रूप $\frac{a^{k+1}-b^{k+1}}{a-b}$।
  • एकांतर योग रूप $\frac{a^{k+1}+b^{k+1}}{a+b}$ (विषम $k$ के लिए)।
• सामान्य मामला $n \le k$: $n \le k+1$ के लिए, सारण को गुणांकों के गुणनफलों, वेंडरमोंड अंतरों और पूर्ण सममित बहुपदों द्वारा निर्मित आव्यूहों के सारणों के योग के रूप में व्यक्त किया गया है। यह समस्या को सममित फलन सिद्धांत (symmetric function theory) से जोड़ता है।
• योग-रूप विशिष्टताएं: $p(x, y) = f(x+y)$ के रूप वाले बहुपदों के लिए, लेखक $n=k+1$ के लिए एक विशिष्ट बंद-रूप सूत्र व्युत्पन्न करते हैं जो केवल $f$ के अग्रणी गुणांक (leading coefficient) पर निर्भर करता है, जो निम्न-क्रम के गुणांकों से स्वतंत्रता प्रदर्शित करता है।
• तुल्यता (Equivariance): चर परिवर्तन $(x, y) \mapsto (x', y') = B \cdot (x, y)$ के तहत सारण कैसे रूपांतरित होता है, इसके लिए एक स्पष्ट नियम प्रदान किया गया है। योग-रूप बहुपदों के लिए, सारण रूपांतरण आव्यूह के तत्वों के योग से संबंधित कारकों द्वारा स्केल होता है।
• परिमित क्षेत्र (Finite Fields): श्वार्ट्ज़-जिपल (Schwartz–Zippel) लेम्मा को लागू करते हुए, यह शोध एक परिमित क्षेत्र $\mathbb{F}_q$ से यादृच्छिक रूप से चुने गए सदिशों के लिए सारण के शून्य होने की एक संभावabilistic ऊपरी सीमा स्थापित करता है। विशेष रूप से, $n \le k+1$ के लिए, सारण के शून्य होने की प्रायिकता $nk/q$ द्वारा सीमित है।

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

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

1. एकीकरण: यह समझाता है कि क्यों $n \ge k+2$ के लिए सारण केवल विशिष्ट उदाहरणों के लिए ही नहीं, बल्कि सभी समरूप बहुपदों के लिए शून्य हो जाता है।
2. स्पष्ट सूत्र: यह महत्वपूर्ण वर्ग मामले $n=k+1$ के लिए स्पष्ट सूत्र और $n \le k$ के लिए संरचित विस्तार प्रदान करता है।
3. अनुप्रयोग: इन परिणामों को रूपांतरण नियमों को व्युत्पन्न करने और परिमित क्षेत्रों में गैर-शून्य प्रायिकता सीमाओं को प्रदान करने के लिए लागू किया गया है, जो कोडिंग थ्योरी और संरचित रैखिक बीजगणित के लिए प्रासंगिक हैं।

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