🔢 mathematics

Apolarity for border cactus decompositions

यह शोध पत्र जटिल संख्याओं पर सेकेंट वैरायटीज़ (secant varieties) से किसी भी बीजगणितीय रूप से बंद क्षेत्र (algebraically closed field) पर टॉरिक वैरायटीज़ (toric varieties) की कैक्टस वैरायटीज़ (cactus varieties) तक बॉर्डर अपोलैरिटी (border apolarity) तकनीक का विस्तार करता है, जो सामान्य और मल्टीग्रैडेड हिल्बर्ट स्कीम्स (multigraded Hilbert schemes) के बीच एक पत्राचार के माध्यम से बॉर्डर कैक्टस अपघटन (border cactus decompositions) को अभिलक्षित करता है, साथ ही रैखिक उपसमिकाओं (linear subspaces) के लिए भी इस विधि का सामान्यीकरण करता है।

मूल लेखक: Weronika Buczyńska, Jarosław Buczyński

प्रकाशित 2026-01-28

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Weronika Buczyńska, Jarosław Buczyński

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

यहाँ "Apolarity for border cactus decompositions" शोध पत्र का सरल भाषा और रचनात्मक उपमाओं के साथ हिंदी अनुवाद दिया गया है।

मुख्य विचार: लेगो ब्रिक्स (Lego Bricks) से निर्माण करना

कल्प_ना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) का एक विशाल डिब्बा है (ये गणितीय वस्तुओं का प्रतिनिधित्व करते हैं जिन्हें पॉलीनोमियल्स (polynomials) या टेन्सर्स (tensors) कहा जाता है)। आप एक विशिष्ट, जटिल संरचना बनाना चाहते हैं (मान लीजिए कि यह पॉइंट F है)।

गणित की दुनिया में, उस संरचना को आपने कैसे बनाया, इसे वर्णित करने के अलग-अलग तरीके हैं:

"मानक" तरीका (Secant Varieties): आप कहते हैं, "मैंने इसे $r$ सरल, अलग-अलग ब्रिक्स को आपस में जोड़कर बनाया है।"
"कैक्टस" तरीका (Cactus Varieties): आप कहते हैं, "मैंने इसे $r$ ब्रिक्स के एक समूह को आपस में जोड़कर बनाया है, लेकिन उनमें से कुछ ब्रिक्स अजीब या चिपचिपे तरीके से आपस में जुड़े हुए हो सकते हैं, या वे एक एकल जटिल ब्रिक हो सकते हैं जो कई ब्रिक्स जैसा दिखता है।"

यह शोध पत्र एक नया, अधिक शक्तिशाली उपकरण प्रदान करता है जिससे यह पता लगाया जा सके कि किसी संरचना को बनाने के लिए न्यूनतम कितने ब्रिक्स की आवश्यकता है, विशेष रूप से तब जब वह संरचना थोड़ी "धुंधली" (fuzzy) हो या उसे बनाने की दहलीज पर हो (इसे बॉर्डर रैंक (border rank) कहा जाता है)।

समस्या: "धुंधला" किनारा (The "Fuzzy" Edge)

कभी-कभी, एक संरचना इतनी जटिल होती है कि आप उसे निश्चित संख्या में सरल ब्रिक्स का उपयोग करके पूरी तरह नहीं बना सकते। हालाँकि, आप ब्रिक्स की एक विशिष्ट संख्या का उपयोग करके उसके अत्यंत निकट पहुँच सकते हैं। यही वह "बॉर्डर" (सीमा) है।

गणितज्ञों के पास यह जाँचने के लिए एक उपकरण है कि क्या कोई संरचना निश्चित संख्या में ब्रिक्स से बनाई जा सकती है। अपोलैरिटी (Apolarity) को एक जादुई चाबी के रूप में समझें।

यदि आपके पास सही चाबी (एक विशिष्ट गणितीय आइडियल/ideal) है, तो आप जानते हैं कि आप उस संरचना को बना सकते हैं।
यदि आपके पास चाबी नहीं है, तो आप उसे नहीं बना सकते।

लेखकों ने अपने पिछले कार्य में सरल संरचनाओं के लिए एक "बॉर्डर की" (border key) पेश की थी। यह शोध पत्र उस उपकरण को "कैक्टस" संरचनाओं (चिपचिपे, आपस में जुड़े हुए समूहों) को संभालने के लिए विस्तारित करता है और यह किसी भी गणितीय ब्रह्मांड (किसी भी फील्ड/field) में काम करता है, न कि केवल जटिल संख्याओं (complex numbers) में जिनका हम आमतौर पर उपयोग करते हैं।

नया उपकरण: "कैक्टस डिकंपोजिशन" (The "Cactus Decomposition")

यह शोध पत्र एक अवधारणा पेश करता है जिसे बॉर्डर कैक्टस डिकंपोजिशन (Border Cactus Decomposition) कहा जाता है।

उपमा: कल्पना कीजिए कि आप यह सिद्ध करने की कोशिश कर रहे हैं कि एक मूर्ति मिट्टी से बनी है। सीधे मिट्टी को देखने के बजाय, आप उस साँचे (mold) को देखते हैं जिसमें उसे ढाला गया था।
गणित: वह "साँचा" एक गणितीय वस्तु है जिसे आइडियल (Ideal) (नियमों या समीकरणों का एक सेट) कहा जाता है।
महत्वपूर्ण उपलब्धि: लेखक दिखाते हैं कि यदि कोई बिंदु (एक संरचना) एक "कैक्टस वैरायटी" (Cactus Variety) में है (जिसका अर्थ है कि इसे $r$ बिंदुओं के समूह द्वारा अनुमानित किया जा सकता है), तो उस बिंदु के "जादुई की" (Apolar ideal) के भीतर एक विशिष्ट "साँचा" (आइडियल) अवश्य मौजूद होगा।

वे इसे वीक ABCD (Weak ABCD) कहते हैं। यह कहने का एक तरीका है: "यदि आप इस आकार को $r$ टुकड़ों से बनाने के बहुत करीब पहुँच सकते हैं, तो एक विशिष्ट नियमों का सेट (एक आइडियल) मौजूद है जो इसे सिद्ध करता है।"

दो दुनियाओं के बीच का "मानचित्र" (The "Map" Between Two Worlds)

शोध पत्र की एक मुख्य उपलब्धि इन आकारों को देखने के दो अलग-अलग तरीकों के बीच संबंध स्थापित करना है:

"सामान्य" मानचित्र (Hilbert Scheme of X): यह वास्तविक भौतिक आकारों (लेगो समूहों) को मैप करता है।
"बीजगणितीय" मानचित्र (Multigraded Hilbert Scheme): यह "साँचों" (आइडियल्स/नियमों) को मैप करता है जो उन आकारों को परिभाषित करते हैं।

उपमा:
कल्प-ना कीजिए कि आपके पास ब्लूप्रिंट (नक्शों) का एक पुस्तकालय (बीजगणितीय मानचित्र) है और बने हुए घरों का एक गोदाम (सामान्य मानचित्र) है।

आमतौर पर, एक ब्लूप्रिंट कई घरों के अनुरूप हो सकता है, या एक घर कई अलग-अलग ब्लूप्रिंट से बनाया जा सकता है। यह अस्त-व्यस्त होता है।
लेखक सिद्ध करते हैं कि हर "प्रकार" के घर (गोदाम के एक अपरिमेय घटक/irreducible component) के लिए, एक अद्वितीय, सटीक ब्लूप्रिंट (पुस्तकालय का एक अपरिमेय घटक) होता है जो उससे मेल खाता है।
इसके अलावा, वे दिखाते हैं कि यदि आप उस अद्वितीय खंड से एक "सामान्य" (general) ब्लूप्रिंट चुनते हैं, तो वह एक "सैचुरेटेड" (saturated) ब्लूप्रिंट होता है। सरल शब्दों में, इसका अर्थ है कि ब्लूप्रिंट पूर्ण है और इसमें कोई हिस्सा या तार्किक कमी नहीं है। यह घर का सटीक वर्णन करता है।

यह संबंध गणितज्ञों को भौतिक आकार और बीजगणितीय नियमों के बीच स्विच करने की अनुमति देता है, जिससे वे अपनी समस्या के लिए जो भी आसान हो, उसे चुन सकते हैं।

"कैक्टस" क्यों?

आप सोच सकते हैं कि इसे "कैक्टस" क्यों कहा गया?

एक सेकेंट (Secant) वैरायटी दो अलग-अलग बिंदुओं को जोड़ने वाली एक चिकनी रेखा की तरह है।
एक कैक्टस (Cactus) वैरलटी बिंदुओं को "एक साथ चिपकने" या एक ऐसे समूह के रूप में बनाने की अनुमति देती है जो एक एकल बिंदु जैसा दिखता है लेकिन जिसमें आंतरिक जटिलता होती है (जैसे कि कई कांटों वाला या कांटेदार नाशपाती का गुच्छा)।
शोध पत्र दिखाता है कि ये "कांटेदार" क्लस्टर वास्तव में यह समझने में मुख्य बाधा हैं कि एक संरचना वास्तव में कितनी जटिल है। वे साधारण रेखाओं की तुलना में गणितीय स्थान को बहुत तेज़ी से भर देते हैं।

मुख्य निष्कर्ष (Main Takeaways)

सार्वभौमिक उपकरण: लेखकों ने अपनी "बॉर्डर अपोलैरिटी" तकनीक में सुधार किया ताकि यह केवल जटिल संख्याओं के बजाय किसी भी बीजगणितीय रूप से बंद फील्ड (किसी भी गणितीय ब्रह्मांड) के लिए काम कर सके।
साक्षी (The Witness): उन्होंने एक "साक्षी" (एक विशिष्ट आइडियल) को परिभाषित किया जो सिद्ध करता है कि एक बिंदु कैक्टस वैरायटी का हिस्सा है। यह साक्षी "साँचों" (आइडियल्स) और "आकारों" (स्कीम्स) के बीच संबंध को देखकर पाया जाता है।
सहसंबंध (The Correspondence): उन्होंने आकारों के "प्रकारों" और साँचों के "प्रकारों" के बीच एक एक-से-एक संबंध सिद्ध किया, यह सुनिश्चित करते हुए कि प्रत्येक प्रकार के आकार के लिए एक मानक, विश्वसनीय साँचा मौजूद है।
रैखिक उप-स्थान (Linear Subspaces): उन्होंने इस तर्क को न केवल एकल बिंदुओं के लिए, बल्कि पूरी रेखाओं या तलों (linear subspaces) को संभालने के लिए भी विस्तारित किया, जो अधिक जटिल टेन्सर समस्याओं के लिए उपयोगी है।

एक वाक्य में सारांश

यह शोध पत्र एक नया, सार्वभौमिक "जादुई की" (जो आइडियल्स नामक बीजगणितीय नियमों पर आधारित है) प्रदान करता है ताकि गणितीय आकारों की जटिलता निर्धारित की जा सके, विशेष रूप से उन मामलों को संभालते हुए जहाँ आकार केवल सरल, अलग-अलग बिंदुओं के बजाय बिंदुओं के "चिपचिपे" समूहों (कैक्टस) से बने होते हैं, और यह आकारों तथा उनके परिभाषित करने वाले नियमों के बीच के संबंध को पूरी तरह से मैप करता है।

तकनीकी सारांश: बॉर्डर कैक्टस डीकंपोज़िशन के लिए अपोलैरिटी (Apolarity)

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

यह शोध पत्र स्मूथ प्रोजेक्टिव टोरिक वैराइटीज़ (smooth projective toric varieties) $X$ के कैक्टस वैराइटीज़ (cactus varieties) और सेकेंट वैराइटीज़ (secant varieties) में एक बिंदु $F$ (या एक लीनियर सबस्पेस $W$ ) की सदस्यता (membership) को अभिलक्षणित करने की समस्या को संबोधित करता है। विशेष रूप से, यह बॉर्डर अपोलैरिटी तकनीक का सामान्यीकरण करने का प्रयास करता है, जिसे पूर्व में जटिल संख्याओं (complex numbers) पर सेकेंट वैराइटीज़ के लिए विकसित किया गया था, ताकि इसे निम्नलिखित के लिए लागू किया जा सके:

कैक्टस वैराइटीज़ ( $K_r(X)$ ), जो सेकेंट वैराइटीज़ का सामान्यीकरण करती हैं। ये केवल $r$ अलग-अलग बिंदुओं के बजाय डिग्री $r$ के 0-डायमेंशनल सबशीम्स (subschemes) की अनुमति देती हैं।
किसी भी बीजगणितीय रूप से बंद क्षेत्र (arbitrary algebraically closed fields) $k$ , जो [BB21] में पाई जाने वाली शून्य विशेषता (characteristic zero) या जटिल संख्याओं की प्रतिबंधात्मकता को हटाता है।
लीनियर सबस्पेस $W \subset H^0(X, L)^*$ , जो सिद्धांत को एकल बिंदुओं से उच्च-आयामी सबस्पेस (गैर-बॉर्डर सेटिंग में समवर्ती डीकंपोज़िशन के समकक्ष) तक विस्तारित करता है।

मुख्य चुनौती यह है कि मानक अपोलैरिटी एक बिंदु को एक स्कीम $R$ के साथ $I(R) \subset \text{Ann}(F)$ के समावेशन (inclusion) के माध्यम से जोड़ती है। हालाँकि, बॉर्डर रैंक और कैक्टस रैंक के लिए, हमें ऐसे स्कीम्स के लिमिट्स या गैर-रिड्यूस्ड स्कीम्स पर विचार करना होगा, जहाँ आदर्श (ideal) $I(R)$ संतृप्त (saturated) नहीं हो सकता है या फ्लैट डिजनरेशन (flat degeneration) के तहत ठीक से व्यवहार नहीं कर सकता है। यह शोध पत्र कॉक्स रिंग (Cox ring - कुल समन्वय रिंग) में आइडियल्स का उपयोग करके "बॉर्डर कैक्टस डीकंपोज़िशन" को कठोरता से परिभाषित करने का लक्ष्य रखता है।

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

लेखक मल्टीग्रेड हिल्बर्ट स्कीम्स (multigraded Hilbert schemes), कॉक्स रिंग थ्योरी, और अपोलैरिटी के संयोजन का उपयोग करके ज्यामितीय वस्तुओं (subschemes) और बीजगणितीय वस्तुओं (ideals) के बीच एक पत्राचार (correspondence) का निर्माण करते हैं।

1. मल्टीग्रेड हिल्बर्ट स्कीम्स और संतृप्ति (Saturation)

शोध पत्र ग्रोटेंडिएक हिल्बर्ट स्कीम $\text{Hilb}(X)$ (जो $X$ के सबशीम्स को पैरामीटराइज़ करती है) और मल्टीग्रेड हिल्बर्ट स्कीम $\text{Hilb}(S[X])$ (जो कॉक्स रिंग $S[X]$ में मल्टीहोमोजेनियस आइडियल्स को पैरामीटराइज़ करती है) के बीच एक सेतु स्थापित करता है।

प्रमुख तकनीकी उपकरण: लेखक सिद्ध करते हैं कि सबशीम्स के एक फ्लैट परिवार के लिए, संबद्ध होमोजेनियस आइडियल का संतृप्त (saturated) होना (टोरिक वैराइटी के इरेलेवेंट आइडियल के सापेक्ष) एक ओपन कंडीशन है (Theorem 2.1, Corollary 2.2)।
जेनेरिक फाइबर विश्लेषण: वे प्रदर्शित करते हैं कि किसी भी स्मूथ टोरिक वैराइटी में बिंदुओं का एक सामान्य विन्यास (general configuration) अपेक्षित हिल्बर्ट फंक्शन (Hilbert function) रखता है (Theorem 2.12), जो $\mathbb{C}$ से पिछले परिणामों को किसी भी बीजगणितीय रूप से बंद क्षेत्र तक विस्तारित करता है।

2. पत्राचार मानचित्र (The Correspondence Map)

एक केंद्रीय निर्माण $\text{sch}: \text{Hilb}(S[X]) \to \text{Hilb}(X)$ मोर्फिज्म है, जो एक होमोजेनियस आइडल को उसके द्वारा परिभाषित सबस्कीम में मैप करता है।

Proposition 1.3 / Corollary 3.5: प्रत्येक अपरिमेय घटक (irreducible component) $H \subset \text{Hilb}(X)$ के लिए, $\text{Hilb}(S[X])$ में एक अद्वितीय अपरिमेय घटक $H_H$ मौजूद है ताकि $H_H$ पर $\text{sch}$ का प्रतिबंध एक बिराशनल मोर्फिज्म (birational morphism) है। महत्वपूर्ण रूप से, $H_H$ में एक सामान्य आइडल संतृप्त होता है।
यह लेखकों को $X$ में सबशीम्स के बारे में ज्यामितीय समस्याओं को कॉक्स रिंग $S[X]$ में आइडियल्स के बारे में समस्याओं में उठाने (lift करने) की अनुमति देता है।

3. अपोलैरिटी और बॉर्डर डीकंपोज़िशन

लेखक कॉक्स रिंग $S[X]$ के ड्युअल स्पेस $\tilde{S}[X]$ पर अपोलैरिटी एक्शन का उपयोग करते हैं।

परिभाषा: एक बॉर्डर कैक्टस डीकंपोज़िशन को एक होमोजेनियस आइडल $I \subset S[X]$ के रूप में परिभाषित किया गया है जो अपोलर आइडल $\text{Ann}(F)$ में समाहित है और $F$ की कैक्टस वैराइटी में सदस्यता को प्रमाणित करता है।
लीनियर स्पैन मैप: वे हिल्बर्ट स्कीम से ग्रासमैनियन (Grassmannian) तक एक "लीनियर स्पैन मैप" का निर्माण करते हैं, जो इस समस्या का समाधान करता है कि सबस्कीम का लीनियर स्पैन फ्लैट डिजनरेशन के तहत निरंतर (continuous) नहीं होता है। मल्टीग्रेड हिल्बर्ट स्कीम पर काम करके, वे एक ऐसा मोर्फिज्म परिभाषित करते हैं जो लिमिट स्कीम्स के लीनियर स्पैन को सही ढंग से कैप्चर करता है (Proposition 3.6)।

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

1. बॉर्डर अपोलैरिटी का सामान्यीकरण

शोध पत्र किसी भी विशेषता और टोरिक वैराइटी के लिए वीक बॉर्डर अपोलैरिटी (Weak Border Apolarity) प्रमेय का विस्तार करता है।

Theorem 1.1: यदि $F \in \sigma_r(X)$ (अर्थात $r$ -वाँ सेकेंट वैराइटी), तो एक होमोजेनियस आइडल $I \subset S[X]$ मौजूद है जिससे $I \subset \text{Ann}(F)$ है और ग्रेडेड पीसेस $I_D$ का को-डायमेंशन अपेक्षित डायमेंशन $\min(r, \dim S[X]_D)$ के बराबर है। यदि एक सॉल्वेबल ग्रुप $B$ , $X$ पर कार्य करता है और $F$ को सुरक्षित रखता है, तो ऐसा इनवेरिएंट आइडल मौजूद होता है।

2. बॉर्डर कैक्टस डीकंपोज़िशन के लिए अपोलैरिटी (ABCD)

मुख्य सैद्धांतिक योगदान आइडियल्स के माध्यम से सदस्यता का अभिलक्षणन है।

Theorem 1.4 (ABCD): एक बिंदु $F$ , $r$ -वीं कैक्टस वैराइटी $K_r(X)$ में तब होता है जब $\text{Hilb}_r(X)$ में एक अपरिमेय घटक $H$ (विशेष रूप से वह जिसमें गोरेनस्टीन स्कीम्स शामिल हों) और एक होमोजेनियस आइडल $I \in H_H$ (मल्टीग्रेड हिल्बर्ट स्कीम में संगत घटक) मौजूद हो, ताकि $I \subset \text{Ann}(F)$ हो।
Theorem 1.2 (Weak ABCD): यह हिल्बर्ट फंक्शन्स $\{h_1, \dots, h_k\}$ की एक परिमित सूची प्रदान करता है कि यदि $F \in K_r(X)$ , तो एक आइडल $I \subset \text{Ann}(F)$ मौजूद है जिसका एक इन हिल्बर्ट फंक्शन्स में से एक है।

3. लीनियर सबस्पेस तक विस्तार

सिद्धांत को लीनियर सबस्पेस $W \subset H^0(X, L)^*$ तक विस्तारित किया गया है।

Theorem 4.5 & 4.6: ये प्रमेय एक तुल्यता स्थापित करते हैं कि $W$ एक ग्रासमैन कैक्टस वैराइटी $K_{r,i}(X)$ में होने और एक उपयुक्त मल्टीग्रेड हिल्बर्ट स्कीम के घटक में एक आइडल $I$ के अस्तित्व के बीच, ताकि $I \subset \text{Ann}(W)$ हो।
इसमें एक बोरेल फिक्स्ड पॉइंट (Borel fixed point) तर्क शामिल है (Theorem 4.6) जो इनवेरिएंट आइडल्स के अस्तित्व की गारंटी देता है जब एक सॉल्वेबल ग्रुप कार्य करता है, जो सिमेट्री वाले कम्प्यूटेशनल अनुप्रयोगों के लिए महत्वपूर्ण है।

4. हिल्बर्ट फंक्शन्स का परिशोधन (Refinement)

शोध पत्र हिल्बर्ट स्कीम के घटकों में संतृप्त आइडियल्स के हिल्बर्ट फंक्शन्स की जांच करता है।

Proposition 4.10: किसी घटक $H \subset \text{Hilb}_r(\mathbb{P}^n)$ के लिए, डिग्री 1 पर हिल्बर्ट फंक्शन हमेशा $h_H(1) = \min(r, n+1)$ होता है।
Proposition 4.14: लेखक एक काउंटर-एग्जांपल प्रदान करते हैं जो दिखाता है कि $\mathbb{P}^6$ में $r=28$ के लिए, एक विशिष्ट घटक में एक सामान्य स्कीम का हिल्बर्ट फंक्शन डिग्री 2 पर अपेक्षित फंक्शन ( $27 < 28$ ) से भिन्न होता है। यह रेखांकित करता है कि कैक्टस डीकंपोज़िशन के लिए प्रासंगिक हिल्बर्ट फंक्शन्स का सेट गैर-तुच्छ है और इसके लिए सावधानीपूर्वक गणना की आवश्यकता है।

महत्व और दावे (Significance and Claims)

शोध पत्र [BB21] द्वारा प्रस्तुत बॉर्डर अपोलैरिटी पद्धति को बेहतर और विस्तारित करने का दावा करता है। इसका महत्व निम्नलिखित में है:

क्षेत्र स्वतंत्रता (Field Independence): जटिल संख्याओं पर निर्भरता को हटाना, जिससे सिद्धांत किसी भी बीजगणितीय रूप से बंद क्षेत्र के लिए लागू योग्य हो जाता है।
कैक्टस वैराइटीज़: कैक्टस वैराइटीज़ के अध्ययन के लिए एक कठोर बीजगणितीय ढांचा (मल्टीग्रेड हिल्बर्ट स्कीम के माध्यम से) प्रदान करना, जो सेकेंट वैराइटीज़ को परिभाषित करने वाले डिटर्मिनेंटल इक्वेशंस के लिए बाधाओं (obstructions) के रूप में कार्य करते हैं।
एकीकृत ढांचा (Unified Framework): कॉक्स रिंग में आइडियल्स के एकल अपोलैरिटी-आधारित फॉर्मलिज्म का उपयोग करके सेकेंट वैराइटीज़, कैक्टस वैराइटीज़ और समवर्ती डीकंपोज़िशन (लीनियर सबस्पेस) के अध्ययन को एकीकृत करना।
एल्गोरिद्मिक क्षमता: विशिष्ट हिल्बर्ट फंक्शन्स के अस्तित्व के माध्यम से सदस्यता को अभिलक्षणित करके, परिणाम बॉर्डर कैक्टस रैंक के एल्गोरिद्मिक सत्यापन के लिए एक मार्ग प्रशस्त करते हैं, हालांकि शोध पत्र नोट करता है कि सामान्य $r$ के लिए सभी प्रासंगिक हिल्बर्ट फंक्शन्स की गणना करना अभी भी एक खुला प्रश्न है।

लेखक स्पष्ट रूप से कहते हैं कि परिणाम लीनियर सबस्पेस के किसी भी आयाम के लिए दिए गए हैं, न कि केवल बिंदुओं के लिए, और "वीक" संस्करणों के प्रमेय सदस्यता के लिए आवश्यक शर्तें (एक आइडल का अस्तित्व) प्रदान करते हैं। शोध पत्र यह दावा नहीं करता है कि यह सभी मामलों के लिए सटीक कैक्टस रैंक की गणना करने की समस्या को हल करता है, बल्कि यह सदस्यता के परीक्षण के लिए आवश्यक सैद्धांतिक मशीनरी (विटनेस आइडियल्स) प्रदान करता है।