An efficient sum of squares nonnegativity certificate for quaternary quartic

यहाँ दिमित्री पासेकनिक के शोध पत्र "An Efficient Sum of Squares Nonnegativity Certificate for Quaternary Quartic" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र बहुपदों (polynomials) की वैश्विक गैर-ऋणात्मकता (global nonnegativity) को प्रमाणित करने की शास्त्रीय समस्या को संबोधित करता है। विशेष रूप से, यह क्वाटरनरी क्वार्टिक (quaternary quartics) पर केंद्रित है (4 चरों वाले घात 4 के समरूप बहुपद, जिसे $f \in \mathbb{R}[x_1, x_2, x_3, x_4]$ द्वारा दर्शाया जाता है)।

• संदर्भ: हिलबर्ट (1888) ने सिद्ध किया कि सभी गैर-ऋणात्मक बहुपद वर्गों के योग (sums of squares - s.o.s.) नहीं होते हैं, सिवाय कुछ विशिष्ट निम्न-आयामी या निम्न-घात वाले मामलों के।
• अंतराल (The Gap): उन गैर-ऋणात्मक बहु-पदों के लिए जो s.o.s. नहीं हैं, हिलबर्ट (1893) का एक प्रमेय गारंटी देता है कि उन्हें परिमेय फलनों (rational functions) के वर्गों के योग के रूप में लिखा जा सकता है। इसका तात्पर्य एक "गुणक" (multiplier) बहुपद $q$ के अस्तित्व से है जिससे $qf$ एक s.o.s. बन जाता है।
• विशिष्ट प्रश्न: क्या एक गैर-ऋणात्मक क्वाटरनरी क्वार्टिक ($n=4, d=4$) के लिए हमेशा एक एकल द्विघाती गुणक (single quadratic multiplier, $q \in \Sigma_{4,2}$) मौजूद होता है जिससे $qf$ एक वर्गों का योग (s.o.s.) बन जाए?
  • पिछले कार्यों ने सुझाव दिया था कि टेनरी सेक्सटिक्स ($n=3, d=3$) के लिए, एक द्विघाती गुणक पर्याप्त होता है।
  • लेखक इस बात की जांच कर रहे हैं कि क्या यह क्वाटरनरी क्वार्टिक्स तक विस्तारित होता है और क्या गुणक की घात की सीमा सटीक (sharp) है (अर्थात, क्या हम हमेशा एक द्विघाती गुणक पा सकते हैं, या हमें कभी-कभी दो की आवश्यकता होती है?)।

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

यह शोध पत्र बीजगणितीय ज्यामिति (algebraic geometry), बहुपद अनुकूलन (polynomial optimization), और कम्प्यूटेशनल बीजगणित (Macaulay2 का उपयोग करके) के संयोजन का उपयोग करता है।

A. वास्तविक शून्य मामले में न्यूनीकरण (Reduction to a Real Zero Case)

लेखक पहले यह स्थापित करते हैं कि बिना किसी हानि के, हम यह मान सकते हैं कि बहुपद $f$ का एक वास्तविक शून्य है।

• यदि $f > 0$, तो एक समन्वय रूपांतरण (coordinate transformation) के माध्यम से $f$ को $u^4 + g(u, x)$ के रूप में लिखा जा सकता है जहाँ $g \geq 0$ है।
• यदि $f$ का एक शून्य है, तो एक ऑर्थोगोनल रूपांतरण शून्य को $(1:0:0:0)$ पर ले जाता है, जिससे $f$ को एक चर $u$ में एक द्विघाती के रूप में व्यक्त किया जा सकता है:
  $$f = au^2 + 2bu + c$$
  जहाँ $a, b, c$ क्रमशः 2, 3, और 4 घात के टेनरी फॉर्म (ternary forms) हैं।

B. विविक्तकर दृष्टिकोण (The Discriminant Approach)

द्विघाती रूप $f = au^2 + 2bu + c$ की गैर-ऋणात्मकता यह निहित करती है कि इसका विविक्तकर (discriminant) गैर-ऋणात्मक है:
$$\Delta = ac - b^2 \geq 0$$
यहाँ, $\Delta$ एक टेनरी सेक्सटिक (3 चरों में घात 6 का बहुपद) है।

• लेखक टेनरी सेक्सटिक्स के लिए हिलबर्ट के 1893 के परिणाम का उपयोग करते हैं: किसी भी गैर-ऋणात्मक टेनरी सेक्सटिक $\Delta$ के लिए, एक द्विघाती रूप $q' \in \Sigma_{3,2}$ मौजूद होता है ताकि $q'\Delta$ वर्गों का एक योग (s.o.s.) हो।
• "वर्ग पूरा करने" (completing the square) की प्रक्रिया द्वारा, लेखक यह पहचान प्राप्त करते हैं:
  $$a f = (au + b)^2 + \Delta$$
  एक उपयुक्त $q'$ से गुणा करने पर, हमें मिलता है: $q' a f = q'(au+b)^2 + q'\Delta$। चूंकि RHS (दायां पक्ष) के दोनों पद s.o.s. हैं, इसलिए $q' a f$ का गुणनफल एक s.o.s. है।
• विधि का निष्कर्ष: यह सिद्ध करता है कि दो द्विघाती गुणक ($q=a$ और $q'$) हमेशा $f$ को s.o.s. बनाने के लिए पर्याप्त हैं।

C. तीक्ष्णता और प्रति-उदाहरण निर्माण (Sharpness and Counter-Example Construction)

यह निर्धारित करने के लिए कि क्या एक गुणक पर्याप्त है (विशेष रूप से, क्या $af$हमेशा s.o.s. है), लेखक जांच करते हैं कि क्या विविक्तकर$\Delta = ac - b^2$गैर-ऋणात्मक हो सकता है लेकिन **s.o.s. नहीं** है ($\Delta \in P_{3,6} \setminus \Sigma_{3,6}$)।

• यदि $\Delta$ हमेशा एक s.o.s. है, तो $af$ सीधे तौर पर एक s.o.s. होगा।
• लेखक रोबिन्सन के बहुपद ($R_1$) का उपयोग करके एक ज्ञात गैर-s.o.s. टेनरी सेक्सटिक के आधार पर एक स्पष्ट उदाहरण का निर्माण करते हैं।
• निर्माण रणनीति:
  1. एक ज्ञात गैर-s.o.s. टेनरी सेक्सटिक $R_1$ से शुरू करें।
  2. s.o.s. शंकु (cone) की सीमा पर एक तत्व $p$ खोजने के लिए इसे विक्षेपित (perturb) करें जो पूर्णतः धनात्मक है लेकिन s.o.s. नहीं है।
  3. दिखाएं कि इस $p$ को $ac - b^2$ के रूप में दर्शाया जा सकता है (अर्थात, $p \in D_-$, विविक्तकरों का वैराइटी)।
  4. इससे एक विशिष्ट $f = au^2 + 2bu + c$ प्राप्त होता है जहाँ $\Delta$ non-s.o.s. है।

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

प्रमेय 2 (मुख्य अस्तित्व परिणाम)

किसी भी गैर-ऋणात्मक क्वाटरनरी क्वार्टिक $f \in P_{4,4}$ के लिए, दो द्विघाती रूप $q, q' \in \Sigma_{4,2}$ मौजूद होते हैं कि:
$$q q' f \in \Sigma_{4,8}$$
यह पुष्टि करता है कि दो द्विघाती गुणक हमेशा पर्याप्त हैं।

प्रमेय 3 (गैर-S.O.S. विविक्तकरों का अस्तित्व)

लेखक स्पष्ट रूप से एक टेनरी सेक्सटिक $\Delta = ac - b^2$ का निर्माण करते हैं जो गैर-ऋणात्मक है लेकिन वर्गों का योग (s.o.s.) नहीं है।

• पैरामीटर: $a = x^2 + y^2 + z^2$, $b = x(y^2 - z^2)$, और एक विशिष्ट पैरामीटर $\tau$ के साथ एक विशिष्ट $c$।
• परिणाम: $\tau$ के एक विशिष्ट रेंज के लिए (विशेष रूप से $4.6875 < \tau \leq \tau^* \approx 4.922$), $\Delta_\tau$ गैर-ऋणात्मक है लेकिन s.o.s. नहीं है।
• महत्व: यह सिद्ध करता है कि एक गैर-ऋणात्मक क्वाटरनरी क्वार्टिक का विविक्तकर अनिवार्य रूप से s.o.s. नहीं होता है, जिसका अर्थ है कि "सीधा" अपघटन (decomposition) $af$ के माध्यम से बिना अतिरिक्त गुणकों के काम करने की गारंटी नहीं है।

प्रमेय 4 ($f$ और $\Delta$ के बीच संबंध)

लेखक $f$ की s.o.s. अपघटनीयता और इसके विविक्तकर $\Delta$ के बीच एक सटीक बीजगणितीय संबंध स्थापित करते हैं:

• यदि एक द्विघाती गुणक $q$ मौजूद है जिससे $qf$एक s.o.s. है, तो$aq\Delta$को एक s.o.s. होना चाहिए (विशेष रूप से,$(a, b)$ के आइडियल में वर्गों का योग)।
• इसके विपरीत, यदि $a\Delta$ एक s.o.s. है, तो $f$ एक s.o.s. है (मामले $j=0$ के लिए)।
• अनुमान (Conjecture): लेखक अनुमान लगाते हैं कि एक गुणक ($q=a$) हमेशा पर्याप्त होता है (अर्थात, $af$हमेशा s.o.s. होता है), भले ही$\Delta$स्वयं s.o.s. न हो। निर्मित उदाहरणों में,$\Delta$ non-s.o.s. है, फिर भी सभी परीक्षण किए गए मामलों में, $af$ को एक s.o.s. के रूप में पाया गया (संख्यात्मक रूप से सत्यापित)।

4. महत्व और निहितार्थ (Significance and Implications)

1. हिलबर्ट के प्रमेय का परिशोधन: यह शोध पत्र क्वाटरनरी क्वार्टिक्स के लिए आवश्यक गुणकों की घात के लिए एक "लगभग सटीक" (almost sharp) सीमा प्रदान करता है। जबकि परिमेय फलनों के लिए हिलबर्ट का सामान्य बाउंड घातांकों के टॉवर (tower of exponents) जैसा है, यह कार्य दिखाता है कि इस विशिष्ट मामले के लिए, घात बहुत कम (द्विघाती) है।
2. "एक बनाम दो" गुणक समस्या का स्पष्टीकरण:
   • यह शोध पत्र सिद्ध करता है कि दो गुणक निश्चित रूप से पर्याप्त हैं।
   • यह इस खुले प्रश्न को छोड़ देता है कि क्या एक पर्याप्त है।
   • महत्वपूर्ण रूप से, यह दर्शाता है कि $\Delta$ का non-s.o.s. होना $af$ के non-s.o.s. होने का संकेत नहीं है। विविक्तकर में मौजूद "बाधा" (obstruction) को कारक $a$ द्वारा हल किया जा सकता है।
3. कम्प्यूटेशनल बीजगणित: यह शोध पत्र सैद्धांतिक सीमाओं को सत्यापित करने के लिए स्पष्ट कोड (Macaulay2) और संख्यात्मक उदाहरण प्रदान करता है, जो अमूर्त बीजगणिक ज्यामिति और कम्प्यूटेशनल सत्यापन के बीच के अंतर को पाटता है।
4. ज्यामितीय अंतर्दृष्टि: non-s.o.s. विविक्तकर का निर्माण s.o.s. शंकु की सीमा को काटने वाली $D_-$ (गैर-ऋणात्मक रूपों के विविक्तकर) की ज्यामिति पर निर्भर करता है, जो इन बहुपद शंकुओं की संरचना के बारे में नई अंतर्दृष्टि प्रदान करता है।

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

दिमित्री पासेकनिक सिद्ध करते हैं कि किसी भी गैर-ऋणात्मक क्वाटरनरी क्वार्टिक को दो द्विघाती रूपों से गुणा करके वर्गों के योग (s.o.s.) में बदला जा सकता है। हालांकि यह एक खुला अनुमान बना हुआ है कि क्या एकल द्विघाती गुणक ($q=a$) हमेशा पर्याप्त होता है, यह शोध पत्र स्पष्ट उदाहरण बनाता है जहाँ विविक्तकर वर्गों का योग नहीं है, फिर भी गुणनफल $af$ एक s.o.s. प्रतीत होता है। यह सुझाव देता है कि विविक्तकर के माध्यम से मानक अपघटन सबसे इष्टतम पथ नहीं है, और बहुपद तथा उसके विविक्तकर के बीच का संबंध पहले की तुलना में अधिक सूक्ष्म है।