🔢 mathematics

Generic simplicity for self-adjoint operators under bounded potential perturbations

यह शोधपत्र सीमित-बद्ध (semibounded) स्व-संयोजक ऑपरेटरों (self-adjoint operators) में सीमित क्षमता वाले विभव विक्षोभों (bounded potential perturbations) के अंतर्गत आइगेन मानों (eigenvalues) की जेनेरिक सरलता (generic simplicity) के लिए एक अमूर्त मानदंड स्थापित करता है और इसे उप-लाप्लासियन (sub-Laplacians), सीमित डोमेन पर लाप्लासियन (Laplacians on bounded domains), और श्रोडिंगर-प्रकार के ऑपरेटरों (Schrödinger-type operators) सहित विविध ज्यामितीय और विश्लेषणात्मक परिवेशों में लागू करता है।

मूल लेखक: Marianna Chatzakou, Bernard Helffer

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

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

CC0 1.0

मूल लेखक: Marianna Chatzakou, Bernard Helffer

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

मुख्य विचार: एक वाद्य यंत्र को ट्यून करना

कल्पना कीजिए कि आपके पास एक विशाल, जटिल वाद्य यंत्र है (जैसे एक विशाल, अदृश्य वीणा) जो एक भौतिक प्रणाली का प्रतिनिधित्व करता है। इस यंत्र के तार हैं, लेकिन वे उलझे हुए और सख्त हैं। जब आप इसे बजाते हैं, तो यह केवल एक स्पष्ट स्वर नहीं निकालता; यह अक्सर एक ऐसा "कॉर्ड" बनाता है जहाँ कई स्वर बिल्कुल एक ही पिच पर गूँजते हैं। गणित और भौतिकी में, हम इन समान पिच वाले स्वरों को आइगेनवैल्यूज़ (eigenvalues) कहते हैं, और जब कई स्वर एक ही पिच साझा करते हैं, तो हम कहते हैं कि स्पेक्ट्रम डिजेनरेट (degenerate) (या सरल नहीं) है।

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

वे सिद्ध करते हैं कि उत्तर हाँ है। यदि आप संभावनाओं के एक बड़े, उचित सेट में से एक यादृच्छिक (random) बदलाव चुनते हैं, तो यह लगभग निश्चित है कि हर स्वर अद्वितीय हो जाएगा। अब कोई आकस्मिक कॉर्ड नहीं रहेगा; प्रत्येक कंपन की अपनी एक अलग आवृत्ति (frequency) होगी।

मुख्य पात्र

ऑपरेटर (वाद्य यंत्र): यह उस गणितीय वस्तु का वर्णन करता है जो प्रणाली को दर्शाता है (जैसे एक ड्रम, एक क्वांटम कण, या ऊष्मा प्रवाह)। यह शोध पत्र उन प्रणालियों पर केंद्रित है जो "सेल्फ-एडजॉइंट" (जो पूर्वानुमानित व्यवहार करती हैं) हैं और जिनका "कॉम्पैक्ट रेज़ोलवेंट" (जिनके पास पियानो की तरह स्वरों की एक विविक्त सूची होती है, न कि साइरन की तरह एक निरंतर स्लाइड) है।
पर्टरबेशन (बदलाव/ट्वीक): यह वह परिवर्तन है जिसे हम प्रणाली में करते हैं। इसे एक तार पर छोटा वजन जोड़ने, हवा के तापमान को बदलने, या एक ड्रम की सीमा को थोड़ा बदलने के रूप में सोचें। यह शोध पत्र इन परिवर्तनों को "बाउंडेड" (जो अनंत रूप से विशाल नहीं हैं) और "रियल-वैल्यूड" (जो भौतिक हैं, काल्पनिक नहीं) होने की अनुमति देता है।
जेनेरिक सिम्प्लिसिटी (लक्ष्य): गणित में "जेनेरिक" का अर्थ सामान्य अर्थ में "आम" नहीं है; इसका अर्थ है "लगभग हर चीज़ के लिए सत्य"। यदि आप संभावनाओं के एक विशाल थैले में से एक बदलाव यादृच्छिक रूप से चुनते हैं, तो ऐसा बदलाव चुनने की संभावना शून्य है जो दो स्वरों को एक जैसा छोड़ दे।
ऑपरेटर (वाद्य यंत्र): यह उस गणितीय वस्तु का वर्णन करता है जो प्रणाली को दर्शाता है (जैसे एक ड्रम, एक क्वांटम कण, या ऊष्मा प्रवाह)। यह शोध पत्र उन प्रणालियों पर केंद्रित है जो "सेल्फ-एडजॉइंट" (जो पूर्वानुमानित व्यवहार करती हैं) हैं और जिनका "कॉम्पैक्ट रेज़ोलवेंट" (जिनके पास पियानो की तरह स्वरों की एक विविक्त सूची होती है, न कि साइरन की तरह एक निरंतर स्लाइड) है।
पर्टरबेशन (बदलाव/ट्वीक): यह वह परिवर्तन है जिसे हम प्रणाली में करते हैं। इसे एक तार पर छोटा वजन जोड़ने, हवा के तापमान को बदलने, या एक ड्रम की सीमा को थोड़ा बदलने के रूप में सोचें। यह शोध पत्र इन परिवर्तनों को "बाउंडेड" (जो अनंत रूप से विशाल नहीं हैं) और "रियल-वैल्यूड" (जो भौतिक हैं, काल्पनिक नहीं) होने की अनुमति देता है।
जेनेरिक सिम्प्लिसिटी (लक्ष्य): गणित में "जेनेरिक" का अर्थ सामान्य अर्थ में "आम" नहीं है; इसका अर्थ है "लगभग हर चीज़ के लिए सत्य"। यदि आप संभावनाओं के एक विशाल थैले में से एक बदलाव यादृच्छिक रूप से चुनते हैं, तो ऐसा बदलाव चुनने की संभावना शून्य है जो दो स्वरों को एक जैसा छोड़ दे।

मुख्य रणनीति: "स्प्लिटिंग" (विभाजन) का तरीका

शोध पत्र की मुख्य उपलब्धि एक अमूर्त नियम (प्रमेय 2.13) है जो हमें बताता है कि हम इन स्वरों को अलग करने की गारंटी कब दे सकते हैं।

भीड़ का उदाहरण:
कल्पना कीजिए कि लोगों का एक समूह (आइजनफंक्शंस) एक कमरे में खड़ा है, जो एक ही पिच चिल्ला रहा है। वे एक घने समूह में फंसे हुए हैं।

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

"कोई जादू नहीं" की आवश्यकता:
आमतौर पर, इन स्वरों को अलग करने को सिद्ध करने के लिए, गणितज्ञों को यह जानने की आवश्यकता होती है कि स्वर "हर जगह यात्रा" करते हैं (एक गुण जिसे यूनिक कंटीन्यूएशन कहा जाता है)। यदि कोई स्वर कमरे के एक कोने में शून्य है, तो उसे हर जगह शून्य होना चाहिए।

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

यह कहाँ लागू होता है (सेटिंग्स)

यह शोध पत्र इस अमूर्त नियम को कई अलग-अलग वास्तविक दुनिया के गणितीय मॉडलों पर लागू करता है:

सब-लैपलेसियन (Tricky Drums - पेचीदा ड्रम): ये घुमावदार सतहों पर वाद्य यंत्र हैं जहाँ गति के नियम प्रतिबंधित होते हैं (जैसे एक कार जो केवल आगे चल सकती है, बगल में नहीं)। शोध पत्र दिखाता है कि इन पेचीदा, गैर-मानक ड्रमों के लिए भी, एक यादृच्छिक बदलाव सभी स्वरों को विशिष्ट बना देगा।
मैक्सिमली हाइपोएलिप्टिक ऑपरेटर्स: ये और भी जटिल गणितीय वस्तुएं हैं जो ड्रम की तरह व्यवहार करती हैं लेकिन उनके नियम बहुत अजीब और ऊबड़-खाबड़ होते हैं। शोध पत्र सिद्ध करता है कि "जेनेरिक सिम्प्लिसिटी" का नियम यहाँ भी लागू होता है।
बाउंडेड डोमेन (Rough Rooms - ऊबड़-खाबड़ कमरे): एक ऐसे ड्रम की कल्पना करें जिसका किनारा टेढ़ा-मेढ़ा या ऊबड़-खाबड़ है (एक पूर्ण वृत्त नहीं)। भले ही किनारा खुरदरा हो और सामग्री पूरी तरह से चिकनी न हो, एक यादृच्छिक पोटेंशियल (जैसे हवा के दबाव में बदलाव) जोड़ने से भी स्वर अलग हो जाएंगे।
नॉन-कॉम्पैक्ट स्पेस (अनंत क्षेत्र): यह उन प्रणालियों पर लागू होता है जो अनंत तक जाती हैं, जैसे एक अनंत क्षेत्र में कण (जैसे एक हार्मोनिक ऑसिलेटर)। यहाँ भी, यदि प्रणाली में स्वाभाविक रूप से विशिष्ट स्वरों की एक सूची है, तो एक यादृच्छिक बदलाव उन्हें अलग और विशिष्ट बनाए रखता है।

नोडल डोमेन (पैटर्न) के लिए इसका क्या अर्थ है

शोध पत्र एक दिलचस्प दुष्प्रभाव का उल्लेख करता है जिसे कोर्टेंट का नोडल थ्योरम (Courant's Nodal Theorem) कहा जाता है।

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

सारांश

यह शोध पत्र एक गणितीय "गारंटी" है। यह कहता है:

"यदि आपके पास एक प्रणाली है जिसमें स्वरों की एक सूची है, और यदि आपको विभिन्न विकल्पों से इसमें छोटे, भौतिक बदलाव करने की अनुमति है, तो आपको इन स्वरों को अलग करने के लिए किसी जीनियस होने की आवश्यकता नहीं है। वास्तव में, आपका किया गया लगभग कोई भी बदलाव ऐसा कर देगा।"

यह स्वरों के यात्रा करने के तरीके के बारे में जटिल और विशिष्ट धारणाओं की आवश्यकता को हटा देता है, और इसके बजाय इस बात पर निर्भर करता है कि सिस्टम को बदलने के कितने विविध तरीके उपलब्ध हैं ताकि स्वरों को एक-दूसरे से दूर धकेला जा सके।

तकनीकी सारांश: सीमित संभावित विक्षोभों के तहत स्व-संयोजक ऑपरेटरों के लिए जेनेरिक सरलता (Generic Simplicity)

समस्या विवरण
यह शोध पत्र इस शास्त्रीय प्रश्न को संबोधित करता है कि क्या एक जेनेरिक शून्य-क्रम विक्षोभ (zeroth-order perturbation) के बाद स्व-संयोजक ऑपरेटर (self-adjoint operator) का स्पेक्ट्रम सरल (अर्थात, सभी आइगेन मानों की बहुलता एक है) हो जाता है। जबकि यह गुण कॉम्पैक्ट मैनिफोल्ड्स पर एलिप्टिक ऑपरेटरों के लिए (विशेष रूप से अल्बर्ट और उहलेबिक के कार्यों के माध्यम से) सुस्थापित है, लेखक इस बात को अलग करने का प्रयास करते हैं कि विशिष्ट एलिप्टिक नियमितता या अद्वितीय निरंतरता (unique continuation) गुणों पर निर्भर किए बिना इस जेनेरिक सरलता के पीछे का विक्षोभ तंत्र (perturbative mechanism) क्या है। केंद्रीय समस्या यह निर्धारित करना है कि यदि $L$ एक कॉम्पैक्ट रेज़ोलवेंट वाला अर्ध-सीमित स्व-संयोजक ऑपरेटर है और $Q$ वास्तविक-मान वाले परिबद्ध विक्षोभों का एक स्थान है, तो क्या उन विभवों (potentials) $q \in Q$ का सेट, जिनके लिए $L + M_q$ के सभी आइगेन मान सरल हैं, $Q$ में रेसिड्यूअल (residual/dense $G_\delta$ ) है।

कार्यप्रणाली और अमूर्त ढांचा
लेखक एक अमूर्त स्पेक्ट्रल विक्षोभ ढांचे को विकसित करते हैं जो जेनेरिक सरलता तर्क को ऑपरेटर-विशिष्ट नियमितता प्रश्नों से अलग करता है।

अमूर्त सेटिंग: आधार ऑपरेटर $L$ को स्व-संयोजक, नीचे से अर्ध-सीमित, और एक हिल्बर्ट स्पेस $H = L^2(X)$ पर कॉम्पैक्ट रेज़ोलवेंट वाला माना गया है। विक्षोभ $M_q$ फलन $q$ द्वारा गुणन ऑपरेटर हैं, जो एक स्वीकार्य वास्तविक फ्रेचेट स्पेस (Fréchet space) $Q$ से लिए गए हैं, जो $L^\infty(X, \mathbb{R})$ में निरंतर एम्बेडेड है।
विभाजन मानदंड (Splitting Criterion - परिकल्पना H): कार्यप्रणाली का मूल एक परिमित-आयामी विभाजन स्थिति है। $L_q$ के एक बहुलता वाले आइगेन मान $\lambda$ के लिए, जिसमें आइगेन स्पेस $E_{q,\lambda}$ है, लेखक यह मांग करते हैं कि एक विक्षोभ $\sigma \in Q$ का अस्तित्व हो ताकि प्रक्षेपित ऑपरेटर $G_\sigma := (P_{E_{q,\lambda}} M_\sigma)|_{E_{q,\lambda}}$ एक स्केलर गुणक के रूप में पहचान (identity) के समान न हो।
विक्षोभ सिद्धांत (Perturbation Theory): प्रमाण काटो (Kato) के विश्लेतिक विक्षोभ सिद्धांत का उपयोग किया जाता है। परिवार $T(t) = L_q + tM_\sigma$ पर विचार करके, लेखक दिखाते हैं कि एक बहुलता वाले आइगेन मान $\lambda$ के पास के आइगेन मान $G_\sigma$ के आइगेन मानों के अनुसार विभाजित होते हैं। यदि $G_\sigma$ एक स्केलर नहीं है, तो आइगेन मान की बहुलता को कम किया जा सकता है।
बेरी श्रेणी तर्क (Baire Category Argument): सरल आइगेन मान देने वाले विभवों के सेट को खुले और सघन सेटों ( $A_n$ $A_{n}$ ) के गणनीय प्रतिच्छेदन (countable intersection) के रूप में व्यक्त किया गया है।
- खुलापन (Openness): विभव के $L^\infty$ नॉर्म के सापेक्ष आइगेन मानों की लिप्सचिट्ज़ निरंतरता (Lipschitz continuity) से अनुसरण करता है (लेम्मा 2.7)।
- सघनता (Density): यह दिखाकर सिद्ध की जाती है कि किसी भी बहुलता वाले आइगेन मान वाले ऑपरेटर के लिए, एक ऐसा सूक्ष्म विक्षोभ पाया जा सकता है जो उस आइगेन मान की बहुलता को सख्ती से कम कर देता है (लेम्मा 2.10 और 2.11)। यह विभाजन मानदंड को संतुष्ट करने वाले $\sigma$ के अस्तित्व पर निर्भर करता है।
समर्थन की पर्याप्तता (Sufficiency of Support): एक प्रमुख तकनीकी परिणाम (प्रपोजिशन 2.3 और कोरोलरी 2.4) यह प्रदर्शित करता है कि यदि विक्षोभ स्थान $Q$ में $C^\infty_c(X^\circ, \mathbb{R})$ शामिल है, तो विभाजन मानदंड स्वतः ही संतुष्ट हो जाता है। महत्वपूर्ण रूप से, यह प्रमाण अद्वितीय निरंतरता तर्कों की आवश्यकता नहीं रखता है; यह केवल $L^1$ में आइगेनफंक्शंस के उत्पादों की रैखिक स्वतंत्रता पर निर्भर करता है।

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

प्रमेय 2.13 (मुख्य प्रमेय): यदि $L$ स्व-संयोजक है, अर्ध-सीमित है, कॉम्पैक्ट रेज़ोलवेंट रखता है, और युग्म $(L, Q)$ परिकल्पना (H) को संतुष्ट करता है, तो $q \in Q$ विभवों का सेट, जिनके लिए $L+M_q$ के सभी आइगेन मान सरल हैं, $Q$ में रेसिड्यूअल है।
सुघट्यता/अद्वितीय निरंतरता निर्भरता को हटाना: पिछले दृष्टिकोणों (जैसे उहलेबिक [48]) के विपरीत, जो आइगेनफंक्शंस की सुघट्यता (smoothness) और अद्वितीय निरंतरता सिद्धांतों पर निर्भर करते हैं, यह अमूर्त प्रमेय उन ऑपरेटरों पर लागू होता है जहाँ आइगेनफंक्शंस सुघट्य नहीं हो सकते हैं या जहाँ अद्वितीय निरंतरता सुनिश्चित नहीं है, बशर्ते कि विक्षोभ स्थान पर्याप्त समृद्ध हो (कॉम्पैक्टली समर्थित कार्यों को शामिल करता हो)।
सब-रीमानियन और डिजेनरेट ऑपरेटरों पर अनुप्रयोग:
- सब-लैप्लासियन (Sub-Laplacians): प्रमेय कॉम्पैक्ट मैनिफोल्ड्स पर होर्मैंडर वेक्टर फील्ड्स से जुड़े सब-लैप्लासियन पर लागू होता है। यह इन ऑपरेटरों के लिए कौरांट के नोडल डोमेन प्रमेय का एक रेसिड्यूअल रूप प्रदान करता है (प्रपोजिशन 3.1)।
- मैक्सिमली हाइपोएलिप्टिक ऑपरेटर: ढांचा उन वेक्टर फील्ड्स के बहुपदों को कवर करता है जो मैक्सिमली हाइपोएलिप्टिक हैं (हेल्फर-नोरिगैट स्थिति को संतुष्ट करते हैं), जिससे जेनेरिक सरलता परिणामों को इन गैर-एलिप्टिक सेटिंग्स तक विस्तारित किया जाता है (प्रपोजिशन 3.4)।
- निरंतर गुणांकों के साथ वर्गों का योग: परिणाम $\sum X_i^* a_{ij} X_j$ जैसे ऑपरेटरों पर लागू होता है जिनमें निरंतर समान रूप से एलिप्टिक गुणांक हैं, जहाँ जेनेरिक विभवों के लिए कौरांट का प्रमेय लागू होता है (प्रपोजिशन 3.5)।
गैर-सुघट्य और गैर-कॉम्पैक्ट डोमेन पर अनुप्रयोग:
- परिबद्ध डोमेन: सिद्धांत लिप्शिट्ज़ डोमेन पर डिरिचलेट और न्यूमैन लैप्लासियन, किसी भी परिमित माप वाले खुले सेट पर रॉबिन लैप्लासियन, और चुंबकीय श्रोडिंगर ऑपरेटरों पर लागू होता है, भले ही सीमा (boundary) गैर-सुघट्य हो (उदाहरण 3.7–3.12)।
- गैर-कॉम्पैक्ट स्पेस: लेखक हार्मोनिक और एनहार्मोनिक ऑसिलेटर और $\mathbb{R}^n$ पर चुंबकीय श्रोडिंगर ऑपरेटरों के लिए परिणामों का विस्तार करते हैं जहाँ अनपरटर्बड ऑपरेटर कॉम्पैक्ट रेज़ोलवेंट रखता है (उदाहरण 3.13–3.14)।
कूलम्ब हैमिल्टोनियन (उदाहरण 4.4): शोध पत्र नोट करता है कि कॉम्पैक्ट रेज़ोलवेंट की धारणा स्वयं तंत्र के लिए कड़ाई से आवश्यक नहीं है। यह उन ऑपरेटरों के लिए प्रदर्शित करता है जिनमें एसेंशियल स्पेक्ट्रम (essential spectrum) है (जैसे कूलम्ब हैमिल्टोनियन), जहाँ जेनेरिक सरलता एसेंशियल स्पेक्ट्रम थ्रेशोल्ड के नीचे डिस्क्रीट स्पेक्ट्रम के लिए बनी रहती है, बशर्ते कि विक्षोभ अनंत पर क्षय (decay) हों।

महत्व और दावे
शोध पत्र दावा करता है कि यह जेनेरिक सरलता के पीछे के "विक्षोभ तंत्र" को अलग करता है, इसे ऑपरेटर के विशिष्ट ज्यामितीय या विश्लेषणात्मक गुणों (जैसे एलिप्टिसिटी या गुणांकों की सुघट्यता) से मुक्त करता है।

व्यापकता: लेखक इस बात पर जोर देते हैं कि उनका दृष्टिकोण सब-लैप्लासियन और मैक्सिमली हाइपोएलिप्टिक ऑपरेटरों के लिए काम करता है जहाँ शास्त्रीय एलिप्टिक तकनीकें (जैसे उहलेबिक के कार्य) सीधे लागू नहीं होती हैं क्योंकि उनमें सुघट्य आइगेनफंक्शंस या मानक अद्वितीय निरंतरता गुणों का अभाव होता है।
मजबूती (Robustness): परिणाम $L^\infty$ में परिबद्ध विक्षोभों के लिए मान्य है, जो उन डोमेन के अनुप्रयोगों की अनुमति देता जहाँ सीमा तक सुघट्य विक्षोभ उपलब्ध नहीं हो सकते हैं।
नोडल परिणाम: जेनेरिक सरलता स्थापित करके, यह शोध पत्र कौरांट के नोडल डोमेन प्रमेय को ऑपरेटरों के व्यापक वर्ग पर लागू करने में सक्षम बनाता है, जिसमें सब-रीमानियन लैप्लासियन शामिल हैं, जहाँ जेनेरिक विभवों के लिए नोडल डोमेन की सीमा सटीक (sharp) होती है।

लेखक स्पष्ट रूप से कहते हैं कि वे अमूर्त प्रमेय के प्रमाण में आइगेनफंक्शंस की सुघट्यता का उपयोग नहीं करते हैं और उनका परिमित-आयामी विभाजन तर्क सीधे जटिल हिल्बर्ट स्पेस $L^2(X, \mathbb{C})$ में किया जाता है, जिससे वास्तविक-मान वाले आइगेनफंक्शन आधार की आवश्यकता से बचा जा सके। वे यह भी स्पष्ट करते हैं कि हालांकि उनका कार्य अल्बर्ट के परिणामों का विस्तार करता है, लेकिन यह मेट्रिक विक्षोभों (जैसा कि उहलेबिक द्वारा विचार किया गया है) को कवर नहीं करता है, जो सब-रीमानियन मामले में भविष्य के विस्तार के विषय बने हुए हैं।