On the Positivity of a Class of Cauchy-Like Matrices

तकनीकी सारांश: कॉची-समान (Cauchy-like) आव्यूहों के एक वर्ग की धनात्मकता पर

समस्या विवरण
यह शोध पत्र एक विशिष्ट वर्ग के कॉची-समान आव्यूह $C \in \mathbb{R}^{n \times n}$ की धनात्मक अर्ध-निश्चितता (positive semidefiniteness) की जांच करता है। आव्यूह के तत्व इस प्रकार परिभाषित हैं:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
जहाँ $0 < \lambda_1 < \dots < \lambda_n$ भिन्न धनात्मक वास्तविक संख्याएँ हैं। गुणांक $r_i(k, l)$ प्रारंभिक सममित बहुपदों (elementary symmetric polynomials) के अनुपात हैं:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
यहाँ, $\sigma_m$ चरों $\{\lambda_1, \dots, \lambda_n\}$ में घात $m$ के प्रारंभिक सममित बहुपद को दर्शाता है, और $\sigma^{(i)}_m$ चर $\lambda_i$ को छोड़कर वही बहुपद है। पैरामीटर $k$ और $l$ का विस्तार $1$से$n$ तक है।

इस अध्ययन की प्रेरणा कंपेनियन फॉर्म (companion form) में स्टेट मैट्रिक्स वाले ल्यपुनोव समीकरणों (Lyapunov equations) के समाधान के विश्लेषण से उपजी है। जबकि शोध पत्र नोट करता है कि $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ (क्वांग या एंटी-लोवनर आव्यूह) के रूप वाले आव्यूह अच्छी तरह से अध्ययन किए गए हैं, यह विशिष्ट द्वैत वर्ग साहित्य में काफी उपेक्षित रहा है।

कार्यप्रणाली
प्रमाण रणनीति तीन प्राथमिक चरणों में शामिल है: चर रूपांतरण, एक संवर्धित विलक्षण आव्यूह (augmented singular matrix) का निर्माण, और मुख्य लघुगणकों (principal minors) पर आधारित एक आगमन तर्क (inductive argument)।

1. व्युत्क्रम चर रूपांतरण (Reciprocal Variable Transformation):
   समस्या को व्युत्क्रम चरों $x_i = 1/\lambda_i$ को पेश करके सरल बनाया जाता है। विकर्ण डायगोनल रूपांतरण (diagonal congruence transformation) के माध्यम से, जिसमें विकर्ण आव्यूत $X = \text{diag}(x_1, \dots, x_n)$ और $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$ का उपयोग किया गया है (जहाँ $e^{(i)}_r(x)$ व्युत्क्रम चरों के प्रारंभिक सममित बहुपद हैं), यह दिखाया गया है कि मूल आव्यूह $C$ धनात्मक अर्ध-निश्चित है यदि और केवल यदि दो-पैरामीटर वाला आव्यूह परिवार $A^{(p,q)}_n(x)$ धनात्मक अर्ध-निश्चित है। इस नए आव्यूह के तत्व हैं:
   $$[A^{(p,q)}_n(x)]_{ij} = \frac{e^{(i)}_p(x)e^{(j)}_q(x) + e^{(j)}_p(x)e^{(i)}_q(x)}{x_i + x_j}$$
   जहाँ $p = k-1$ और $q = l-1$ है।

2. संवर्धित आव्यूह और विलक्षणता (Augmented Matrix and Singularity):
   $A^{(p,q)}_n(x)$ की धनात्मकता को सिद्ध करने के लिए, लेखक एक $(n+1) \times (n+1)$ आकार का विलक्षण संवर्धित आव्यूह $H^{(p,q)}_n(x)$ का निर्माण करता है:
   $$H^{(p-q)}_n(x) = \begin{bmatrix} s_{p,q}(x) & v_{p,q}^\top \\ v_{p,q} & A^{(p,q)}_n(x) \end{bmatrix}$$
   यहाँ, $v_{p,q}$ प्रारंभिक सममित बहुपदों के सदिशों का हेडामार्ड उत्पाद (Hadamard product) है, और $s_{p,q}(x)$ एक अदिश (scalar) है जो इन बहुपदों के उत्पादों के हस्ताक्षरित योग (signed sum) द्वारा परिभाषित है।
   $H^{(p,q)}_n(x)$ की विलक्षणता को कॉची कर्नेल (Cauchy kernel) से संबंधित जनरेटिंग फंक्शन पहचानों का उपयोग करके स्थापित किया गया है। विशेष रूप से, लेखक एक वेक्टर $w$ को मानक कॉची आव्यूह के व्युत्क्रम से प्राप्त करता है और दिखाता है कि $H^{(p,q)}_n(x)$ का एक गैर-तुच्छ कर्नेल वेक्टर $[-\gamma_{p,q}, w^\top]^\top$ है, जहाँ $\gamma_{p,q}$ एक अदिश है जो $n, p,$ और $q$ की समता (parity) पर निर्भर करता है। यह लेम्मा 2.1 पर निर्भर करता है, जो बताता है कि सरल ध्रुवों (simple poles) वाले एक स्ट्रिक्टली प्रॉपर रैशनल फंक्शन को उसके ध्रुवों पर अपने मानों द्वारा अद्वितीय रूप से निर्धारित किया जाता है।

3. मुख्य लघुगणकों के माध्यम से आगमन प्रमाण (Inductive Proof via Principal Minors):
   $H^{(p,q)}_n(x)$ (और फलस्वरूप $A^{(p,q)}_n(x)$) की धनात्मक अर्ध-निश्चितता को मुख्य-लघुगणक मानदंड (principal-minor criterion) का उपयोग करते हुए $n$ पर आगमन (induction) द्वारा सिद्ध किया जाता है।

• आधार मामला (Base Case): $n=1$ के लिए सत्यापित।
• आगमन चरण (Inductive Step): लेखक यह प्रदर्शित करता है कि $H^{(p,q)}_n(x)$ के सभी उचित मुख्य लघुगणक (proper principal minors) गैर-ऋणात्मक हैं।
  • वे लघुगणक जिनमें शीर्ष-बाएँ सूचकांक (0) शामिल है, उनमें आव्यूह को छोटे संवर्धित आव्यूहों के योग (गैर-ऋणात्मक गुणांकों द्वारा स्केल किए गए) और एक शेष पद $R_{p,q}$ में विभाजित किया जाता है। $R_{p,q}$ की गैर-ऋणात्मकता को इसके कॉम्बिनेटरियल विस्तार में गैर-ऋणात्मक गुणांकों वाले मोनोमियल्स के योग के रूप में दिखाकर स्थापित किया जाता है।
  • वे लघुगणक जिनमें सूचकांक 0 शामिल नहीं है (अर्थात $A^{(p,q)}_n(x)$ के उप-आव्यूह), उनका अपघटन इस आगमन परिकल्पना पर निर्भर करता है कि $A$ के छोटे उदाहरण धनात्मक अर्ध-निश्चित हैं।
• लघुगणक विश्लेषण (Determinant Analysis): चूंकि आव्यूह विलक्षण है (सारणिक शून्य है), प्रमाण शीर्ष-बाएँ तत्व के कोफैक्टर (cofactor) के विश्लेषण के साथ समाप्त होता है। कर्नेल वेक्टर से प्राप्त एडजुगेट आव्यूह की रैंक-1 संरचना का उपयोग करते हुए, यह दिखाया गया है कि $\det(A^{(p,q)}_n(x)) \geq 0$ है।

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

• मुख्य प्रमेय: यह शोध पत्र सिद्ध करता है कि सभी भिन्न धनात्मक $\lambda_i$ और सभी $1 \leq k, l \leq n$ के लिए आव्यूह $C$ धनात्मक अर्ध-निश्चित है।
• न्यूनीकरण (Reduction): समस्या को डायगोनल कॉन्ग्रुएंस के माध्यम से $A^{(p,q)}_n(x)$ के परिवार की धनात्मकता में कम किया गया है।
• अदिश धनात्मकता (Scalar Positivity): एक नया अदिश मात्रा $s_{p,q}(x)$ पेश किया गया है और इसे धनात्मक $x_i$ के लिए गैर-ऋणात्मक सिद्ध किया गया है। यह $s_{p,q}(x)$ के गैर-ऋणात्मक गुणांकों वाले पदों के कॉम्बिनेटरियल विस्तार को दिखाकर प्राप्त किया गया है।
• संवर्धित आव्यूह तकनीक: शोध पत्र एक विलक्षण संवर्धित आव्यूह $H^{(p,q)}_n(x)$ पेश करता है और संवर्धित प्रणाली की विलक्षणता और $A^{(p,q)}_n(x)$ की धनात्मकता के बीच के अंतर को पाटने के लिए इसके विशिष्ट कर्नेल स्ट्रक्चर का उपयोग करता है।

महत्व
यह शोध पत्र इस विशिष्ट वर्ग के कॉची-समान आव्यूहों के संबंध में साहित्य में मौजूद एक अंतराल को भरने के पहले प्रयास के रूप में स्वयं को स्थापित करता है, जो प्रसिद्ध क्वांग आव्यूहों के द्वैत हैं। इसका महत्व इन आव्यूहों की धनात्मक अर्ध-निश्चितता को स्थापित करने में निहित है, जो कंपेनियन-फॉर्म स्टेट मैट्रिसेस वाले ल्यपुनोव समीकरणों के विश्लेषण से जुड़े हैं। प्रमाण तकनीक $s_{p,q}$ के स्पष्ट धनात्मक विस्तार और $R_{p,q}$ के विस्तार पर आधारित है, जो आगमन तर्क को पूरे दो-पैरामीटर परिवार के लिए पूर्ण करने की अनुमति देती है। यह कार्य शास्त्रीय उपकरणों (कॉची आव्यूह, सममित बहुपद, जनरेटिंग फंक्शन) पर निर्भर करता है, लेकिन उन्हें एक नवीन संरचनात्मक संदर्भ में लागू करता है ताकि धनात्मकता के प्रश्न को हल किया जा सके।