🔢 गणित

How characterisations of traces and central elements fail: sharp violation constants via michelson contrast and noncentrality

यह शोध पत्र मैट्रिक्स बीजगणित और परिमित वॉन न्यूमैन बीजगणितों में ट्रेस और केंद्रीय तत्वों के विभिन्न अभिलक्षणों के लिए तीक्ष्ण उल्लंघन स्थिरांकों (sharp violation constants) को परिमाणित करता है, यह प्रदर्शित करते हुए कि ये स्थिरांक क्रमशः मिशेलसन कंट्रास्ट (Michelson contrast) और गैर-केंद्रीयता मापदंडों (noncentrality parameters) द्वारा नियंत्रित होते हैं, जिसमें गार्डनर की असमानता और नोविकोव-तिखोनोव अभिलक्षणों सहित अनेक असमानताओं के लिए सटीक मान प्राप्त किए गए हैं।

मूल लेखक: Sami Abdullah Abed, Irina Nikolaeva, Andrej Novikov

प्रकाशित 2026-10-27

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

CC BY 4.0

मूल लेखक: Sami Abdullah Abed, Irina Nikolaeva, Andrej Novikov

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

गणित के विशाल परिदृश्य में, नियमों का एक विशेष वर्ग है जिन्हें असमिकाएं (inequalities) कहा जाता है। ये वे कठोर समीकरण नहीं हैं जो दो पक्षों के बिल्कुल समान होने की मांग करते हैं, बल्कि ये लचीली सीमाएं हैं जो कहती हैं कि एक मात्रा दूसरी से कम या अधिक होनी चाहिए। दशकों से, गणितज्ञों को पता है कि यदि कोई निश्चित गणितीय फलन एक "ट्रेस" (trace) की तरह व्यवहार करता है—जो जटिल प्रणालियों के गुणों को सारांशित करने के लिए उपयोग की जाने वाली एक विशिष्ट प्रकार की औसत प्रक्रिया है—तो उसे इन असमिकाओं की एक लंबी सूची का पालन करना ही होगा। यदि फलन एक ट्रेस है, तो नियम पूरी तरह से लागू होते हैं। लेकिन क्या होता है जब फलन एक ट्रेस नहीं होता? लंबे समय तक, इसका उत्तर केवल "नहीं" था। नियम टूट जाते थे, लेकिन टूटने की सीमा एक रहस्य बनी रही। वैज्ञानिक जानते थे कि नियम विफल हो रहे हैं, लेकिन वे यह नहीं जानते थे कि वे कितनी बुरी तरह विफल होते हैं, और न ही वे यह समझ पा रहे थे कि विफलता का आकार उन्हें यह बता सकता है कि फलन एक ट्रेस से कितना दूर है।

यह प्रश्न महत्वपूर्ण है क्योंकि ये फलन वे उपकरण हैं जिनका उपयोग भौतिक विज्ञानी और इंजीनियर परमाणुओं की ऊर्जा से लेकर क्वांटम कंप्यूटरों में सूचना के प्रवाह तक सब कुछ वर्णित करने के लिए करते हैं। जब एक प्रणाली पूरी तरह से संतुलित होती है, तो वह ट्रेस नियमों का पालन करती है। जब वह असंतुलित होती है, तो वह नहीं करती है। सामी अब्दुल्ला अबेद, इरिना निकोलाएवा और आंद्रेज नोविकोव का नया शोध ठीक यही मापने का प्रयास करता है कि संतुलन खो जाने पर नियम कितनी मात्रा में टूटते हैं। वे इस विफलता को एक बाइनरी त्रुटि के रूप में नहीं, बल्कि एक मापने योग्य मात्रा के रूप में देखते हैं। वे पूछते हैं: यदि हम जानते हैं कि एक प्रणाली कितनी "असंतुलित" है, तो क्या हम सटीक रूप से भविष्यवाणी कर सकते हैं कि गणितीय नियम कितनी मात्रा में खिंचेंगे या टूटेंगे?

शोधकर्ताओं ने असंतुलन के विशिष्ट मापों पर ध्यान केंद्रित किया जिन्हें "कॉन्ट्रास्ट" (contrasts) कहा जाता है। एक ऐसी प्रणाली की कल्पना करें जहाँ कुछ हिस्से बहुत भारी हैं और अन्य बहुत हल्के हैं। कॉन्ट्रास्ट यह मापने का एक तरीका है कि वह अंतर कितना चरम है। यदि सब कुछ समान वजन का है, तो कॉन्ट्रास्ट शून्य है, और प्रणाली पूरी तरह से संतुलित है। यदि एक हिस्सा दूसरे की तुलना में अनंत रूप से भारी है, तो कॉन्ट्रास्ट अपने अधिकतम स्तर पर है। टीम यह देखना चाहती थी कि क्या ये संख्याएँ तैंतीस अलग-अलग गणितीय नियमों के उल्लंघन की मात्रा की भविष्यवाणी कर सकती हैं। महत्वपूर्ण रूप से, उन्होंने पाया कि कई नियमों के लिए, विफलता दो अलग-अलग कॉन्ट्रास्ट पर निर्भर करती है: स्वयं प्रणाली का कॉन्ट्रास्ट (घनत्व) और परीक्षण किए जा रहे विशिष्ट ऑपरेटरों का कॉन्ट्रास्ट। उदाहरण के लिए, सबसे प्रसिद्ध नियमों में से एक के लिए, विफलता का आकार इन दोनों कॉन्ट्रास्ट के गुणनफल द्वारा निर्धारित होता है। उन्होंने इसका परीक्षण मैट्रिसेस (matrices) पर किया, जो इन प्रणालियों का प्रतिनिधित्व करने के लिए उपयोग किए जाने वाले संख्याओं के ग्रिड हैं, और 'वॉन न्यूमैन अलजेब्रा' (von Neumann algebras) जैसे अधिक अमूर्त संरचनाओं पर, जो अनंत आयामों में मैट्रिसेस के विचार का सामान्यीकरण करते हैं।

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

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

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

इन निष्कर्षों तक पहुँचने के लिए, टीम ने कठोर गणितीय प्रमाण और सावधानीपूर्वक संख्यात्मक सिमुलेशन के संयोजन का उपयोग किया। अधिक जटिल नियमों में से कुछ के लिए, वे एक सरल सूत्र नहीं खोज सके, इसलिए उन्होंने विफलता की सीमाओं को मैप करने के लिए हजारों कंप्यूटर प्रयोग चलाए। ये सिमुलेशन एक कठोर निचली सीमा (lower bound) के रूप में कार्य करते थे, जो दिखाते थे कि विफलता कम से कम एक निश्चित आकार की होनी चाहिए, भले ही सटीक अधिकतम मान एक अनुमान (conjecture) बना रहा। उन्होंने पाया कि कई नियमों के लिए, सबसे खराब स्थिति बहुत विशिष्ट, छोटी कॉन्फ़िगरेशन में होती है, जो अक्सर केवल दो आयामों से जुड़ी होती है, जिससे उन्हें बहुत बड़ी प्रणालियों के लिए परिणामों को सामान्यीकृत करने में मदद मिली।

यह कार्य इन गणितीय नियमों के बीच एक गहरा पदानुक्रम प्रकट करता है। हालांकि संतुलित प्रणाली में वे सभी समान हैं, लेकिन जब संतुलन बाधित होता है तो वे बहुत अलग तरह से प्रतिक्रिया करते हैं। कुछ नाजुक हैं, जो असंतुलन के मामूली संकेत पर ही टूट जाते हैं, जबकि अन्य मजबूत हैं, जो तब तक अडिग रहते हैं जब तक कि प्रणाली पूर्णतः असंतुलन की स्थिति में न पहुँच जाए। शोधकर्ताओं ने इन संवेदनशीलताओं को मैप किया, यह दिखाते हुए कि दो नियम जो समान लगते हैं, वे पूरी तरह से अलग दरों पर विफल हो सकते हैं। यह अंतर भौतिकी और इंजीनियरिंग में गणितीय मॉडलों की सीमाओं को समझने के लिए अत्यंत महत्वपूर्ण है।

अंततः, यह शोध पत्र गणितीय विफलता की एक अस्पष्ट समझ को एक सटीक विज्ञान में बदल देता है। यह "क्या यह टूटता है?" पूछने से आगे बढ़कर "यह कितना टूटता है, और क्यों?" पूछने की ओर बढ़ता है। विफलता के आकार को प्रणाली के विशिष्ट, मापने योग्य गुणों से जोड़कर, शोधकर्ताओं ने जटिल, असंतुलित प्रणालियों के व्यवहार की भविष्यवाणी करने के लिए एक टूलकिट प्रदान किया है। उन्होंने दिखाया है कि हालांकि ट्रेस के नियम सख्त हैं, लेकिन उनके विफल होने के तरीके अपने स्वयं के सुंदर और अनुमानित नियमों द्वारा शासित होते हैं।

तकनीकी सारांश: ट्रेस लक्षण वर्णन में उल्लंघन स्थिरांक, कंट्रास्ट और नॉनसेंट्रालिटी (Noncentrality)

समस्या विवरण
यह शोध पत्र $C^*$ -एल्जेब्रा और वॉन न्यूमैन एल्जेब्रा में ट्रेस और केंद्रीय तत्वों (central elements) के लक्षण वर्णन करने वाले असमिकाओं (inequalities) की मात्रात्मक विफलता को संबोधित करता है। जबकि गुणात्मक लक्षण वर्णन प्रमेय (जैसे गार्डनर की असमिका $|\phi(X)| \le \phi(|X|)$ ) यह स्थापित करते हैं कि एक धनात्मक रैखिक फलन $\phi$ एक ट्रेस है यदि और केवल यदि विशिष्ट असमिकाएं मान्य हों, वे यह मात्रात्मक रूप से निर्धारित नहीं करते कि जब $\phi$ एक ट्रेस नहीं होता है, तो ये असमिकाएं कितनी तीव्रता से विफल होती हैं। लेखक पूछते हैं: यदि $\phi$ एक ऐसा फलन है जो ट्रेस नहीं है, तो वह तीक्ष्ण स्थिरांक (sharp constant) $c(\phi)$ क्या है जिससे असमिका एक कारक $c(\phi) \ge 1$ के साथ मान्य रहती है? इसके अतिरिक्त, वे जांचते हैं कि क्या यह उल्लंघन स्थिरांक पूरी तरह से इस बात पर निर्भर करता है कि $\phi$ एक ट्रेस से कितना दूर है, और यदि ऐसा है, तो वह मापन क्या है।

कार्यप्रणाली
लेखक इन तीक्ष्ण स्थिरांकों को निर्धारित करने के लिए ऑपरेटर थ्योरी, कॉनवेक्स एनालिसिस (convex analysis) और संख्यात्मक अनुकूलन (numerical optimisation) के संयोजन का उपयोग करते हैं।

विचलन के पैरामीटर (Parameters of Deviation):
- कंट्रास्ट ( $\delta$ ): मैट्रिक्स एल्जेब्रा $M_n(\mathbb{C})$ के लिए, एक डेंसिटी $\rho$ के स्केलर से विचलन को मिशेलसन कंट्रास्ट $\delta = \text{OMC}(\rho) = \frac{\lambda_{\max} - \lambda_{\min}}{\lambda_{\max} + \lambda_{\min}}$ द्वारा मापा जाता है।
- नॉनसेंट्रालिटी ( $\kappa_Z$ ): सामान्य परिमित वॉन न्यूमैन एल्जेब्रा के लिए, कंट्रास्ट अपर्याप्त है क्योंकि एक केंद्रीय डेंसिटी (उच्च कंट्रास्ट के साथ भी) एक ट्रेस प्रदान करती है। शासी पैरामीटर 'नॉनसेंट्रालिटी' है, जिसे सेंट्रल एनवेलप्स $\lceil \rho \rceil$ और $\lfloor \rho \rfloor$ (न्यूनतम केंद्रीय तत्व $\ge \rho$ और अधिकतम केंद्रीय तत्व $\le \rho$ ) के माध्यम से परिभाषित किया गया है। सेंट्रल कंडीशन नंबर $\kappa_Z(\rho) = \|\lceil \rho \rceil \lfloor \rho \rfloor^{-1}\|$ है। लॉगरिदमिक नॉनसेंट्रालिटी $LNC(\rho) = \frac{1}{2} \ln \kappa_Z(\rho)$ है।
- ऑपरेटर कंट्रास्ट: लेखक ऑपरेटर चरों (जैसे, $|X|$ ) के कंट्रास्ट $\delta'$ को भी निर्धारित करते हैं ताकि यह अध्ययन किया जा सके कि उल्लंघन फलन और ऑपरेटर दोनों पर कैसे निर्भर करता है।
ट्रांसफर प्रिंसिपल (Transfer Principle):
एक प्रमुख पद्धतिगत उपकरण "ट्रांसफर प्रिंसिपल" (प्रमेय 4.15) है। यह बताता है कि यदि कोई असमिका सेंट्रल रीस्केलिंग के साथ संगत है और किसी भी परिमित वॉन न्यूमैन एल्जेब्रा में कंडीशन नंबर के संदर्भ में एक ऊपरी सीमा सिद्ध की गई है, और $M_2(\mathbb{C})$ में एक मिलान उदाहरण मौजूद है, तो प्रत्येक परिमित वॉन न्यूमैन एल्जेब्रा में तीक्ष्ण उल्लंघन स्थिरांक $\kappa_Z(\rho)$ का वही फलन होगा। यह लेखकों को $2 \times 2$ मैट्रिसेस से सामान्य एल्जेब्रा तक परिणामों को ले जाने (lift करने) की अनुमति देता है।
ज्यामितीय और स्पेक्ट्रल विश्लेषण:
प्रमाणों में ऑपरेटर एंगल्स (क्रेइन और गुस्ताफसन), कांतोरोविच स्थिरांक $G = \sec \psi$ , और स्पीच्ट रेशियो (Specht ratio) का उपयोग किया गया है। लेखक कई समस्याओं को दो-आयामी ब्लॉक्स में कम करते हैं जहाँ ऑपरेटर और डेंसिटीज $1 + \delta S$ और $1 + \delta' S'$ के रूप में कार्य करते हैं, जिससे उल्लंघन को कंट्रास्ट के गुणनफल द्वारा निर्धारित एक कोण के सेकेंट (secant) के ज्यामितीय समस्या में बदल दिया जाता है।
संख्यात्मक सत्यापन:
उन मामलों के लिए जहाँ बंद रूप (closed-form) समाधान दुर्लभ हैं, लेखक $M_2, M_3,$ और $M_4$ पर 40-अंकों की अंकगणित का उपयोग करके नियंत्रित अनुकूलन (constrained optimisation) करते हैं ताकि सुप्रीमा (suprema) के लिए कठोर निचली सीमाएं प्रदान की जा सकें, जो अनुमानित मानों का समर्थन करती हैं।

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

38 लक्षण वर्णनों के लिए तीक्ष्ण स्थिरांक: यह शोध पत्र ट्रेस और केंद्रीय तत्वों के 38 विभिन्न वर्णनों के लिए सटीक उल्लंघन स्थिरांक निर्धारित करता है।
- सटीक परिणाम: 18 मामलों के लिए (गार्डनर की असमिका, मॉड्यूल की उप-योग्यता (subadditivity), और विभिन्न प्रोजेक्शन असमिकाओं सहित), स्थिरांक $\kappa_Z(\rho)$ का एक स्पष्ट फलन है जो प्रत्येक परिमित वॉन न्यूमैन एल्जेब्रा में मान्य है। उदाहरण के लिए, गार्डनर की असमिका के लिए, स्थिरांक $G_Z = \cosh(LNC(\rho)) = (1 - \delta_Z^2)^{-1/2}$ है।
- मैट्रिक्स-विशिष्ट परिणाम: 5 मामलों के लिए, केवल मैट्रिक्स एल्जेब्रा के लिए सटीक एनवेलप पाए गए हैं (जैसे, कुछ मोनोटोनिसिटी असमिकाएं)।
- सीमाएं (Bounds): 13 मामलों के लिए, ऊपरी और निचली सीमाएं प्रदान की गई हैं।
- संख्यात्मक/अनुमानित: 2 मामलों के लिए, केवल संख्यात्मक मान उपलब्ध हैं।
कंट्रास्ट उत्पाद पर निर्भरता: गार्डनर की असमिका के लिए, लेखक सिद्ध करते हैं कि तीक्ष्ण स्थिरांक डेंसिटी कंट्रास्ट $\delta$ और ऑपरेटर कंट्रास्ट $\delta'$ पर केवल उनके उत्पाद $\delta \delta'$ के माध्यम से निर्भर करता है। यह $(1 - \delta^2 \delta'^2)^{-1/2}$ है।
उल्लंघन के क्रम (Orders of Violation): शोध पत्र प्रकट करता है कि विभिन्न लक्षण वर्णन फलन के ट्रेस के करीब पहुँचने पर (अर्थात, जैसे-जैसे $\delta \to 0$ ) अलग-अलग दरों पर विफल होते हैं।
- कुछ रैखिक रूप से विफल होते हैं ( $O(\delta)$ ), जैसे प्रोजेक्शन के लिए त्रिकोण असमिका (triangle inequality)।
- कुछ द्विघात रूप से विफल होते हैं ( $O(\delta^2)$ ), जैसे गार्डनर की असमिका।
- कुछ चतुर्थांश रूप से विफल होते हैं ( $O(\delta^4)$ ), जैसे $A \mapsto \phi(A^2)$ की मोनोटोनिसिटी।
- एक मामला (वेटेड मोनोटोनिसिटी) दिखाया गया है कि $O(\delta^8)$ के क्रम का निचला स्तर रखता है।
केंद्रीय तत्व: शोध पत्र द्वैत समस्या (dual problem) को हल करता है: केंद्रीय तत्वों का लक्षण वर्णन करना। एक धनात्मक व्युत्क्रम योग्य तत्व $a$ के लिए, $p a p \le \lambda a$ (प्रोजेक्शन $p$ के लिए) में सर्वोत्तम स्थिरांक $\cosh^2(LNC(a))$ है, और $|\phi(a)| \le C |\phi|(a)$ के लिए, यह $\cosh(LNC(a))$ है।
थ्रेसहोल्ड (Thresholds): लेखक उन ऑपरेटर कंट्रास्ट के लिए तीक्ष्ण थ्रेसहोल्ड स्थापित करते हैं जिनके नीचे कुछ असमिकाएं विफल नहीं हो सकती हैं, चाहे फलन कुछ भी हो। उदाहरण के लिए, वर्गमूल की उप-योग्यता (subadditivity of the square root) $\phi((A+B)^{1/2}) \le \phi(A^{1/2}) + \phi(B^{1/2})$ तब विफल नहीं हो सकती यदि ऑपरेटर कंट्रास्ट $2\sqrt{2}/3$ से संबंधित एक विशिष्ट स्थिति को पूरा करते हों।

महत्व और दावे
शोध पत्र दावा करता है कि यह इन गुणात्मक लक्षण वर्णन प्रमेयों के पहले मात्रात्मक संस्करण प्रदान करता है। यह पहचानता है कि नॉनसेंट्रालिटी (विशेष रूप से सेंट्रल कंडीशन नंबर $\kappa_Z$ ) सामान्य वॉन न्यूमैन एल्जेब्रा में उल्लंघन स्थिरांकों के लिए सही शासी पैरामीटर है, जो मिशेलसन कंट्रास्ट के स्थान पर आता है जो केवल फैक्टर्स (factors) के लिए मान्य है।

लेखक इस बात पर जोर देते हैं कि "उल्लंघन एनवेलप" (violation envelope) कंट्रास्ट का एक सार्वभौमिक फलन नहीं है; गैर-फैक्टर एल्जेब्रा में, स्थिरांक नॉनसेंट्रालिटी पर निर्भर करता है, और डायरेक्ट सम (direct sums) में, यह ब्लॉक्स के भीतर अधिकतम कंट्रास्ट पर निर्भर करता है। यह कार्य विरल (disparate) असमिकाओं (गार्डनर, यंग, पीयर्स-बोगोल्योव, आदि) को "उल्लंघन स्थिरांक" के एक सामान्य ढांचे के तहत एकीकृत करता है, यह दिखाते हुए कि हालांकि ट्रेस के लिए वे समकक्ष हैं, वे नॉन-ट्रैशियलिटी (non-traciality) के प्रति अपनी संवेदनशीलता में काफी भिन्न होते हैं। शोध पत्र सभी मामलों के लिए सटीक स्थिरांकों को हल करने का दावा नहीं करता है (यह नोट करते हुए कि कुछ अभी भी संख्यात्मक या अनुमानित हैं) बल्कि ज्ञात अधिकांश वर्णनों के लिए सटीक परिणामों और तीक्ष्ण सीमाओं का एक कठोर कैटलॉग प्रदान करता है।

इसी तरह के और पेपर