Asymptotic tensor rank is characterized by polynomials

तकनीकी सारांश: एसिम्प्टोटिक टेंसर रैंक (Asymptotic Tensor Rank) को बहुपदों द्वारा अभिलक्षित किया जाता है

समस्या का संदर्भ
एसिम्प्टोटिक टेंसर रैंक, जिसे $\tilde{R}(T)$ द्वारा दर्शाया जाता है, बीजगणितीय जटिलता सिद्धांत (algebraic complexity theory) में एक मौलिक पैरामीटर है, जिसे सीमा $\lim_{n \to \infty} R(T^{\boxtimes n})^{1/n}$ के रूप में परिभाषित किया गया है, जहाँ $R$ मानक टेंसर रैंक है और $\boxtimes$ क्रोनेकर उत्पाद (Kronecker product) है। यह पैरामीटर मैट्रिक्स गुणन घातांक (matrix multiplication exponent) $\omega$ को निर्धारित करने के लिए केंद्रीय है, क्योंकि $2\omega = \tilde{R}(\langle 2, 2, 2 \rangle)$ है। इसके महत्व के बावजूद, इसकी गणनात्मक और संरचनात्मक गुणियाँ अच्छी तरह से समझ में नहीं आई हैं। एक प्रमुख खुला प्रश्न यह है कि क्या $\tilde{R}(T)$ गणनीय (computable) है। इसके अतिरिक्त, स्ट्रैसन का एसिम्प्टोटिक रैंक अनुमान (Strassen's asymptotic rank conjecture) यह प्रस्ताव करता है कि $\tilde{R}(T)$, $T$ के सबसे बड़े फ्लैटनिंग रैंक (flattening rank) के बराबर है, जिसका अर्थ है कि यह हमेशा एक पूर्णांक है और इसे आसानी से गणना योग्य बनाया जा सकता है। जबकि हाल के कार्यों ने परिमित क्षेत्रों (finite fields) पर एसिम्प्टोटिक मापदंडों के लिए विविक्तता (discreteness) गुणों को स्थापित किया है, अनंत क्षेत्रों (जैसे कि जटिल संख्याओं) पर व्यवहार काफी हद तक अज्ञात रहा है।

कार्यप्रणाली (Methodology)
लेखक एसिम्प्टोटिक रैंक और संबंधित फलनल (functionals) के सबलेवल सेट्स (sublevel sets) की ज्यामितीय संरचना का विश्लेषण करके इस समस्या के प्रति दृष्टिकोण अपनाते हैं। वे "सक्षम फलनल" (admissible functionals) की अवधारणा पेश करते हैं, जो टेंसर शक्तियों पर विशिष्ट गुणों (उप-योगिता (subadditivity), उप-गुणनशीलता (submultiplicativity), क्रम परिवर्तन अपरिवर्तनीयता (permutation invariance), आदि) को संतुष्ट करने वाले फलनों का एक वर्ग है, जिसमें एसिम्प्टोटिक रैंक और स्ट्रैसन के एसिम्प्टोटिक स्पेक्ट्रम के सभी बिंदु शामिल हैं।

मुख्य कार्यप्रणाली नवाचार किसी भी सक्षम फलनल $\mathcal{F}$ और किसी वास्तविक संख्या $r$ के लिए यह सिद्ध करना है कि $\tilde{\mathcal{F}}(T) \leq r$ का सबलेवल सेट ज़ारिस्की-बंद (Zariski-closed) है। यह एक अपघटन तर्क (decomposition argument) के माध्यम से प्राप्त किया गया है जो यह दर्शाता है कि सेट $A$ के ज़ारिस्की क्लोजर पर फलनल का सुप्रीम (supremum), $A$ पर सुप्रीम के बराबर होता है। यह $A$ के तत्वों के टेंसर शक्तियों के रैखिक संयोजन के रूप में तत्वों को व्यक्त करने और एसिम्प्टोटिक डबल-ब्लॉकिंग विश्लेषण का उपयोग करने पर निर्भर करता है।

सभी टेंसरों (स्वैच्छिक आयामों) के सेट तक इन परिणामों को विस्तारित करने के लिए, लेखक टेंसर-से-मैट्रिक्स रूपांतरणों (विशेष रूप से, मात्राएँ $Q_{i,j}(T)$ जो प्रतिबंध (restriction) के माध्यम से विशिष्ट लेग्स (legs) पर प्राप्त होने वाले सबसे बड़े मैट्रिक्स रैंक का प्रतिनिधित्व करती हैं) पर नए निचले स्तर के प्रमाण (lower bounds) विकसित करते हैं। वे इन रूपांतरण रैंकों के गुणनफल और फ्लैटनिंग रैंक $R_I(T)$ के बीच एक असमानता सिद्ध करते हैं, जो $k=3$ के लिए पिछले परिणामों का सामान्यीकरण करती है।

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

1. बहुपदीय अभिलक्षण और ऊपर से गणनीयता (Polynomial Characterization and Computability from Above):
   लेख सिद्ध करता है कि एसिम्प्टोटिक टेंसर रैंक "ऊपर से गणनीय" (computable from above) है। किसी भी गणनीय क्षेत्र $F$ और किसी वास्तविक सीमा $r$ के लिए, एक एल्गोरिदम मौजूद है जो, $T$ को इनपुट के रूप में लेकर, यह निर्णय ले सकता है कि $\tilde{R}(T) \leq r$ है या नहीं। यह एल्गोरिदम इस तथ्य पर निर्भर करता है कि सबलेवल सेट ज़ारिस्की-बंद है, जिसका अर्थ है कि यह बहुपदों की एक परिमित सूची के शून्य होने से परिभाषित है। हालांकि लेख स्पष्ट रूप से इन बहुपदों का निर्माण नहीं करता है, लेकिन उनकी उपस्थिति गारंटीकृत है।

2. ज़ारिस्की-बंद सबलेवल सेट्स (Zariski-Closed Sublevel Sets):
   प्रमेय 1.2 स्थापित करता है कि किसी भी क्षेत्र $F$, क्रम $k$, और सीमा $r$ के लिए, सेट $\{T : \tilde{R}(T) \leq r\}$ ज़ारिस्की-बंद है। फलस्वरूप, $\mathbb{C}$ पर यूक्लिडियन टोपोलॉजी में एसिम्प्टोटिक रैंक लोअर-सेमी-कंटीन्यूअस (lower-semicontinuous) है। यह निहित करता है कि यदि टेंसरों का एक अनुक्रम एक सीमांत टेंसर की ओर अभिसरित (converge) होता है, और उस अनुक्रम के सभी टेंसरों का एसिम्प्टोटिक रैंक $r$ के कम या बराबर है, तो सीमांत टेंसर का भी एसिम्प्टोटिक रैंक $r$ के कम या बराबर होगा।

3. ऊपर से विविक्तता (Discreteness from Above / Well-Orderedness):
   प्रमेय 1.3 सिद्ध करता है कि मानों का सेट $\mathcal{R} = \{\tilde{R}(T) : T \in F^{d_1} \otimes \dots \otimes F^{d_k}, d_i \in \mathbb{Z}_{\geq 1}\}$ वेल-ऑर्डर्ड (well-ordered) है। इसका अर्थ है कि एसिम्प्टोटिक रैंक का कोई भी गैर-बढ़ता (non-increasing) अनुक्रम अंततः स्थिर हो जाएगा।

• मैट्रिक्स गुणन के लिए निहितार्थ: एक स्थिरांक $\epsilon > 0$ मौजूद है जिससे कोई भी टेंसर $2\omega$ और $2\omega + \epsilon$ के बीच का एसिम्प्टोटिक रैंक नहीं रख सकता। $\omega$ के ऊपरी आउंड्स (upper bounds) का कोई भी अनुक्रम जो ऊपर से इसकी ओर बढ़ता है, उसे अंततः वास्तविक मान पर "स्नैप" (snap) होना होगा।
• यह परिणाम स्ट्रैसन के एसिम्प्टोटिक स्पेक्ट्रम के सभी फलनों पर भी सामान्यीकृत होता है (प्रमेय 1.5)।

4. $\mathbb{C}$ पर यूक्लिडियन क्लोजनेस (Euclidean Closedness over $\mathbb{C}$):
   प्रमेय 1.4 और प्रमेय 4.1 दिखाते हैं कि जब आधार क्षेत्र $\mathbb{C}$ होता है, तो एसिम्प्टोटिक रैंक द्वारा लिए गए मानों का सेट यूक्लिडियन टोपोलॉजी में बंद (closed) होता है। इसका अर्थ है कि अभिसरित होने वाले एसिम्प्टोटिक रैंकों के किसी भी अनुक्रम की सीमा स्वयं किसी टेंसर का एक एसिम्प्टोटिक रैंक होती है।

5. एसिम्प्टोटिक स्पेक्ट्रम का सामान्यीकरण (Generalization to the Asymptotic Spectrum):
   लेखक इन संरचनात्मक परिणामों को टेंसरों के संपूर्ण एसिम्प्टोटिक स्पेक्ट्रम $\Delta(F, k)$ तक विस्तारित करते हैं। वे सिद्ध करते हैं कि किसी भी $F \in \Delta(F, k)$ के लिए, प्राप्त मानों का सेट वेल-ऑर्डर्ड है। यह स्ट्रैसन की द्वैतता (duality) और नव-व्युत्पन्न टेंसर-से-मैट्रिक्स निचले स्तर के प्रमाणों (प्रमेय 3.2) से जुड़े एक "ग्रोथ आर्ग्युमेंट" (growth argument) के माध्यम से प्राप्त किया गया है।

महत्व और दावे
लेख का दावा है कि ये परिणाम एसिम्प्टोटिक टेंसर रैंक की एक मौलिक संरचनात्मक समझ प्रदान करते हैं जो विशेष रूप से अनंत क्षेत्रों पर पहले अनुपलब्ध थी।

• गणना संबंधी निहितार्थ: "ऊपर से गणनीय" गुण यह सुझाव देता है कि जबकि सटीक रैंक की गणना करना कठिन हो सकता है, ऊपरी सीमा को सत्यापित करना एल्गोरिथम के माध्यम से संभव है।
• संरचनात्मक निहितार्थ: वेल-ऑर्डर्डनेस (ऊपर से विविक्तता) यह नियम देती है कि एसिम्प्टोटिक रैंक किसी मान के अत्यंत निकट बिना उसे प्राप्त किए ऊपर से संचित (accumulate) नहीं हो सकते। यह स्ट्रैसन के अनुमान का समर्थन करता है, जो यह संकेत देता है कि मानों का सेट केवल प्राकृतिक संख्याओं $\mathbb{N}$ का समूह है।
• खुले प्रश्न: लेखक स्पष्ट रूप से कहते हैं कि वे "नीचे से विविक्तता" (discreteness from below) को सिद्ध नहीं करते हैं (अर्थात, क्या बढ़ते हुए रैंकों के अनुक्रम को स्थिर होना चाहिए)। वे नोट करते हैं कि स्ट्रैसन का अनुमान इसे सिद्ध करेगा, लेकिन यह एक खुला प्रश्न बना हुआ है। वे यह भी खुला छोड़ देते हैं कि $k \geq 3$ के लिए सबलेवल सेट्स की अपरिवर्तनीयता (irreducibility) क्या है।

यह कार्य बीजगणकीय ज्यामिति (ज़ारिस्की टोपोलॉजी) और जटिलता सिद्धांत के बीच एक सेतु बनाता है, जो मैट्रिक्स गुणन घातांक और टेंसर मापदंडों की संरचना का विश्लेषण करने के लिए नए उपकरण प्रदान करता है, बिना स्वयं एसिम्प्टोटिक रैंक अनुमान को हल किए।