2025-11-14T03:46:11.111099

Toward a salmon conjecture

Bates, Oeding

By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $Ï_{4}(\mathbb{P}^{2}\times \mathbb{P} ^{2} \times \mathbb{P} ^{3})$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defining equations in degrees 5, 6 and 9 for a much larger set of secant varieties, including $Ï_{4}(\mathbb{P}^{3}\times \mathbb{P} ^{3} \times \mathbb{P} ^{3})$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.

academic

सामन अनुमान की ओर

मूल जानकारी

पेपर ID: 1009.6181
शीर्षक: सामन अनुमान की ओर
लेखक: Daniel J. Bates, Luke Oeding
वर्गीकरण: math.AG (बीजगणितीय ज्यामिति)
प्रकाशन समय: 2 फरवरी 2011 (arXiv संस्करण)
पेपर लिंक: https://arxiv.org/abs/1009.6181

सारांश

संख्यात्मक बीजगणितीय ज्यामिति सॉफ्टवेयर पैकेज Bertini के कम्प्यूटेशनल परिणामों का उपयोग करके, लेखकों ने प्रमाणित किया कि (उच्च संख्यात्मक सटीकता में) छठी और नवीं डिग्री के बहुपदों का एक विशिष्ट समूह छेदक विविधता $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ को काटता है। Landsberg और Manivel द्वारा प्रदान किए गए तर्कों के साथ संयोजन में (जिसका प्रमाण Friedland द्वारा संशोधित किया गया), इसका अर्थ है कि छेदक विविधताओं की एक विस्तृत श्रृंखला के लिए (जिसमें $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ शामिल है) पाँचवीं, छठी और नवीं डिग्री के समीकरणों का एक समूह समुच्चय-सैद्धांतिक रूप से परिभाषित करता है, जो E. Allman द्वारा प्रस्तावित आदर्श-सैद्धांतिक परिभाषित समीकरणों के सामन पुरस्कार के लिए विशेष महत्व रखता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

इस पेपर द्वारा समाधान की जाने वाली मूल समस्या छेदक विविधता $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ के परिभाषित आदर्श को निर्धारित करना है, जो 2007 में E. Allman द्वारा प्रस्तावित "सामन पुरस्कार" समस्या है।

महत्व

सैद्धांतिक महत्व: छेदक विविधताएं बीजगणितीय ज्यामिति में शास्त्रीय अनुसंधान वस्तुएं हैं, उनके परिभाषित समीकरणों का निर्धारण टेंसर की सीमांत रैंक को समझने के लिए महत्वपूर्ण है
अनुप्रयोग मूल्य: प्रणालीगत विकास विज्ञान में, यह छेदक विविधता विकास की स्वतंत्रता मॉडल मिश्रण मॉडल से संबंधित है
सार्वभौमिकता: Allman और Rhodes ने प्रमाणित किया कि इस छोटे विकास वृक्ष के लिए बहुपद अपरिवर्तनीयों को खोजना किसी भी द्विआधारी विकास वृक्ष के सांख्यिकीय मॉडल के लिए सभी बहुपद अपरिवर्तनीयों को प्रदान करेगा

मौजूदा विधियों की सीमाएं

Friedland ने हाल ही में प्रमाणित किया कि 5वीं, 9वीं और 16वीं डिग्री के बहुपदों का एक समूह समुच्चय-सैद्धांतिक रूप से $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ को परिभाषित कर सकता है, लेकिन उच्च डिग्री के समीकरणों का उपयोग किया
समस्या का आदर्श-सैद्धांतिक संस्करण अभी भी अनसुलझा है
प्रभावी सदस्यता परीक्षण विधि की कमी है

मुख्य योगदान

निम्न डिग्री के समुच्चय-सैद्धांतिक परिभाषित समीकरण प्रदान किए: प्रमाणित किया कि $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ को 5वीं, 6वीं और 9वीं डिग्री के समीकरणों द्वारा समुच्चय-सैद्धांतिक रूप से परिभाषित किया जा सकता है, जो Friedland के परिणाम की तुलना में निम्न डिग्री का उपयोग करता है
मुख्य अनुमान को संख्यात्मक रूप से सत्यापित किया: Bertini सॉफ्टवेयर पैकेज का उपयोग करके अनुमान 3.8 को सत्यापित किया, अर्थात् 6वीं डिग्री के समीकरणों का शून्य समुच्चय लक्ष्य छेदक विविधता और विशिष्ट उप-स्थान विविधता का संघ है
ठोस बहुपद आधार का निर्माण किया: संबंधित Schur मॉड्यूल के ठोस बहुपद आधार के निर्माण विधि प्रदान किए
आदर्श-सैद्धांतिक संस्करण का अनुमान प्रस्तावित किया: कम्प्यूटेशनल परिणामों के आधार पर "सामन अनुमान" प्रस्तावित किया, यह मानते हुए कि आदर्श-सैद्धांतिक संस्करण भी सत्य है

विधि विवरण

कार्य परिभाषा

छेदक विविधता $\sigma_4(\mathbb{P}^a \times \mathbb{P}^b \times \mathbb{P}^c)$ के समुच्चय-सैद्धांतिक और आदर्श-सैद्धांतिक परिभाषित समीकरणों को निर्धारित करना, विशेष रूप से $a=b=c=3$ की स्थिति में।

मुख्य विधि आर्किटेक्चर

1. प्रतिनिधित्व सिद्धांत विधि

$GL(A) \times GL(B) \times GL(C)$ की समरूपता का उपयोग करके, सजातीय बहुपद स्थान को अपरिवर्तनीय मॉड्यूल के प्रत्यक्ष योग में विघटित करना: $S^d(A^* \otimes B^* \otimes C^*) = \bigoplus_{|\pi_1|=|\pi_2|=|\pi_3|=d} (S^{\pi_1}A^* \otimes S^{\pi_2}B^* \otimes S^{\pi_3}C^*)^{\oplus m_{\pi_1,\pi_2,\pi_3}}$

2. मुख्य मॉड्यूल की पहचान

6वीं डिग्री मॉड्यूल: $M_6 = S^{(2,2,2)}A^* \otimes S^{(2,2,2)}B^* \otimes S^{(3,1,1,1)}C^*$
5वीं डिग्री मॉड्यूल: $M_5 = S^{(3,1,1)}A^* \otimes S^{(2,1,1,1)}B^* \otimes S^{(2,1,1,1)}C^* \oplus \cdots$
9वीं डिग्री मॉड्यूल: $M_9 = S^{(3,3,3)}A^* \otimes S^{(3,3,3)}B^* \otimes S^{(3,3,3)}C^*$

3. विरासत सिद्धांत

Landsberg-Manivel के विरासत सिद्धांत का उपयोग करके, $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ के समीकरणों को उच्च आयामी स्थितियों तक विस्तारित करना।

तकनीकी नवाचार बिंदु

1. संख्यात्मक बीजगणितीय ज्यामिति विधि

शुद्ध गणित सिद्धांत समस्याओं को सत्यापित करने के लिए पहली बार Bertini सॉफ्टवेयर पैकेज की संख्यात्मक विधि का उपयोग, शुद्ध गणित अनुसंधान में कम्प्यूटेशनल विधि की शक्ति को प्रदर्शित करता है।

2. बहुपद निर्माण एल्गोरिदम

Young आरेख भरने से Schur मॉड्यूल में बहुपदों के निर्माण के लिए ठोस एल्गोरिदम प्रदान करना:

उच्चतम वजन वेक्टर का निर्माण
Young सममितकारी को लागू करना
पुनः अनुक्रमण समरूपता मानचित्र
सजातीय बहुपद प्राप्त करने के लिए सममितीकरण

3. ज्यामितीय तर्क और संख्यात्मक सत्यापन का संयोजन

शास्त्रीय ज्यामितीय तर्कों को आधुनिक संख्यात्मक गणना के साथ संयोजित करना, सैद्धांतिक अनुमानों के लिए शक्तिशाली संख्यात्मक साक्ष्य प्रदान करना।

प्रायोगिक सेटअप

कम्प्यूटेशनल पर्यावरण

हार्डवेयर: 8 प्रोसेसर (दो 2.66 GHz चतुर-कोर Xeon 5410s)
सॉफ्टवेयर: Bertini संख्यात्मक बीजगणितीय ज्यामिति सॉफ्टवेयर पैकेज
कम्प्यूटेशनल समय: लगभग 2 सप्ताह
सटीकता नियंत्रण: ट्रैकिंग और अंतिम सहनशीलता $10^{-10}$ या उससे कम पर सेट

मुख्य गणना

गणना 4.1: $M_6$ के शून्य समुच्चय को सत्यापित करना कि इसमें ठीक दो अपरिवर्तनीय घटक हैं:

आयाम 31, डिग्री 345 का घटक ( $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ के अनुरूप)
आयाम 29, डिग्री 84 का घटक ( $\text{Sub}_{3,3,3}$ के अनुरूप)

विश्वसनीयता नियंत्रण

अनुकूली सटीकता संख्यात्मक विधि का उपयोग
200,000 से अधिक पथों को ट्रैक करना, कोई पथ विफलता या क्रॉसिंग नहीं
एकल समूह और ट्रेस परीक्षण प्रोग्राम में कोई त्रुटि नहीं
बहुविध जांच और त्रुटि नियंत्रण

प्रायोगिक परिणाम

मुख्य परिणाम

प्रमेय 3.10: $a,b,c \geq 3$ के लिए, उच्च संख्यात्मक सटीकता में, $\sigma_4(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ के समुच्चय-सैद्धांतिक शून्य समुच्चय निम्नलिखित समीकरणों द्वारा परिभाषित है:

Strassen विनिमय शर्तें ( $M_5$ ): 1728 पाँचवीं डिग्री समीकरण
$\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ $σ_{4} (P^{2} \times P^{2} \times P^{3})$ से विरासत में मिले समीकरण:
- $M_6$ : 1000 छठी डिग्री समीकरण
- $M_9$ : 8000 नवीं डिग्री समीकरण
$\bigwedge^5$ युक्त $S^5(A^* \otimes B^* \otimes C^*)$ में मॉड्यूल

संख्यात्मक सत्यापन परिणाम

गणना 4.1 ने अनुमान 3.8 को सफलतापूर्वक सत्यापित किया, पुष्टि की: $V(S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(3,1,1,1)}\mathbb{C}^4) = \sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3) \cup \text{Sub}_{3,3,3}$

सटीकता 10 दशमलव स्थानों तक, कोई कम्प्यूटेशनल त्रुटि नहीं।

ठोस बहुपद निर्माण

विभिन्न डिग्री समीकरणों के ठोस बहुपद आधार का सफलतापूर्वक निर्माण:

छठी डिग्री: 10 बहुपद, क्रमशः 936 या 576 पद
पाँचवीं डिग्री: Young आरेख भरने के आधार पर 3 वर्ग प्रतिनिधि बहुपद
नवीं डिग्री: 20-आयामी स्थान का आधार, बहुपदों में 9,216 से 43,668 पद तक

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

समुच्चय-सैद्धांतिक समस्या का समाधान: संख्यात्मक सटीकता की सीमा में Allman सामन पुरस्कार के समुच्चय-सैद्धांतिक संस्करण को हल किया
अधिक इष्टतम समीकरण डिग्री: Friedland परिणाम की तुलना में निम्न डिग्री के परिभाषित समीकरण प्रदान किए
व्यावहारिक मूल्य: प्रणालीगत विकास विज्ञान में मॉडल सदस्यता परीक्षण के लिए अधिक कुशल विधि प्रदान की

सीमाएं

संख्यात्मक विधि की सीमाएं: परिणाम संख्यात्मक गणना पर निर्भर हैं, हालांकि सटीकता बहुत अधिक है लेकिन कठोर गणितीय प्रमाण नहीं है
आदर्श-सैद्धांतिक संस्करण अनसुलझा: अभी भी अनुमान की स्थिति में है, आगे के सैद्धांतिक कार्य की आवश्यकता है
कम्प्यूटेशनल जटिलता: बड़े पैमाने पर संख्यात्मक गणना को महत्वपूर्ण कम्प्यूटेशनल संसाधनों की आवश्यकता है

भविष्य की दिशाएं

आदर्श-सैद्धांतिक प्रमाण: 6वीं डिग्री के समीकरण 5वीं डिग्री समीकरण के आदर्श में न होने का प्रत्यक्ष प्रमाण खोजना
एल्गोरिदम अनुकूलन: अतिरिक्त समरूपता का उपयोग करके कम्प्यूटेशनल दक्षता में सुधार
अनुप्रयोग विस्तार: विधि को अन्य छेदक विविधता समस्याओं तक विस्तारित करना

गहन मूल्यांकन

शक्तियां

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

कमियां

प्रमाण पूर्णता: संख्यात्मक विधि पर निर्भरता, पूर्ण कठोर गणितीय प्रमाण की कमी
कम्प्यूटेशनल लागत: बड़ी कम्प्यूटेशनल संसाधनों की आवश्यकता, पुनरुत्पादनशीलता सीमित
सामान्यता: मुख्य रूप से विशिष्ट छेदक विविधता पर केंद्रित, सामान्यीकरण की डिग्री सीमित

प्रभाव

विषय अंतर्संबंध: सैद्धांतिक गणित में कम्प्यूटेशनल विधि की महत्वपूर्ण भूमिका प्रदर्शित करता है
समस्या प्रगति: सामन पुरस्कार समस्या के समाधान में महत्वपूर्ण प्रगति
विधि उदाहरण: समान समस्याओं के लिए संख्यात्मक सत्यापन का उदाहरण प्रदान करता है

लागू परिस्थितियां

जटिल बीजगणितीय विविधता के परिभाषित समीकरणों का अनुसंधान
प्रणालीगत विकास विज्ञान में सांख्यिकीय मॉडल सत्यापन
टेंसर सीमांत रैंक समस्या का कम्प्यूटेशनल अनुसंधान
बड़े पैमाने पर प्रतीकात्मक गणना की आवश्यकता वाली बीजगणितीय ज्यामिति समस्याएं

संदर्भ

यह पेपर बीजगणितीय ज्यामिति, प्रतिनिधित्व सिद्धांत, संख्यात्मक बीजगणितीय ज्यामिति और प्रणालीगत विकास विज्ञान सहित कई क्षेत्रों के महत्वपूर्ण साहित्य का हवाला देता है, विशेष रूप से:

टेंसर रैंक पर Strassen का शास्त्रीय कार्य
छेदक विविधता पर Landsberg-Manivel की श्रृंखला अनुसंधान
Bertini सॉफ्टवेयर पैकेज की तकनीकी साहित्य
प्रणालीगत विकास विज्ञान अनुप्रयोग पर Allman-Rhodes का कार्य