🔢 mathematics

Hodge Laplacians on Weighted Simplicial Complexes: Forms, Closures, and Bounded Realizations

यह शोध पत्र वेटेड फ्लैग कॉम्प्लेक्स (weighted flag complexes) पर डिस्क्रीट हॉज लैपलेसियन्स (discrete Hodge Laplacians) के लिए ऑपरेटर-नॉर्म बाउंड्स और एसेंशियल सेल्फ-एडजॉइंटनेस (essential self-adjointness) स्थापित करता है, जो विशिष्ट ग्राफ संरचनाओं जैसे कि रेगुलर बाइपार्टाइट ग्राफ और अमेनबल लैटिस (amenable lattices) के लिए शार्प स्पेक्ट्रल क्राइटेरिया प्राप्त करने हेतु शूर-प्रकार के अनुमानों (Schur-type estimates) और यूनिटरी कंजुगेशन (unitary conjugations) का उपयोग करता है, जिसमें वक्रता संबंधी धारणाओं (curvature assumptions) का अभाव है।

मूल लेखक: Marwa Ennaceur, Amel Jadlaoui

प्रकाशित 2026-08-11

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

CC BY 4.0

मूल लेखक: Marwa Ennaceur, Amel Jadlaoui

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

कल्पना कीजिए कि एक ऐसी दुनिया है जो परमाणुओं से नहीं, बल्कि संबंधों से बनी है। इस ब्रह्मांड में, सब कुछ बिंदुओं (शीर्षों/vertices) का एक जाल है जो रेखाओं (किनारों/edges) द्वारा जुड़े हुए हैं। कभी-कभी, ये रेखाएं मिलकर त्रिभुज बनाती हैं, और वे त्रिभुज मिलकर टेट्राहेड्रोन (चतुष्फलक) बनाते हैं, जिससे एक जटिल, बहु-स्तरीय संरचना बनती है जिसे "सिम्पलीशियल कॉम्प्लेक्स" (simplicial complex) कहा जाता है। इसे एक विशाल, अदृश्य लेगो सेट की तरह समझें जहाँ टुकड़े डॉट्स, स्टिक्स, सपाट त्रिकोण या 3D पिरामिड हो सकते हैं, जो एक साथ जुड़े हुए हैं।

अब, इस संरचना के माध्यम से "कंपनों" (vibrations) या "प्रवाहों" (flows) के चलने को समझने की कोशिश करें। भौतिकी में, हम अक्सर एक उपकरण का उपयोग करते हैं जिसे "लैपलेसियन" (Laplacian) कहा जाता है, जो यह मापने के लिए है कि चीजें समय के साथ कैसे बदलती हैं या कैसे सुचारू होती हैं—जैसे कि एक धातु की प्लेट पर गर्मी कैसे फैलती है या गिटार का तार कैसे कंपन करता है। हमारे कनेक्शनों के इस जाल में, इस उपकरण को "हॉज लैपलेसियन" (Hodge Laplacian) कहा जाता है। यह एक ब्रह्मांडीय ट्रैफिक पुलिस की तरह कार्य करता है, जो यह गिनता है कि कितने रास्ते एक स्थान की ओर जा रहे हैं और कितने बाहर निकल रहे हैं, जिससे हमें पूरी संरचना के आकार और स्थिरता को समझने में मदद मिलती है। वैज्ञानिक इस पर इसलिए ध्यान देते हैं क्योंकि ये कंपन डेटा के छिपे हुए "छेद" (holes) और "लूप्स" (loops) को प्रकट करते हैं, जो सोशल नेटवर्क के विश्लेषण से लेकर ब्रह्मांड के आकार को समझने तक, हर चीज़ के लिए महत्वपूर्ण है। लेकिन जब ये जाल बहुत विशाल, अनंत या असमान भार वाले (जैसे कि कुछ सड़कें अधिक व्यस्त हैं) हो जाते हैं, तो इन कंपनों की गणना करना एक गणितीय दुःस्वप्न बन जाता है।

यह शोध पत्र, जिसे मारवा एनैसेर और अमेल जाडलाउई द्वारा लिखा गया है, इस दुःस्वप्न का डटकर सामना करता है। लेखक उन कुशल वास्तुकारों की तरह हैं जिन्होंने यह अनुमान लगाने का तरीका खोज निकाला है कि एक जटिल, भारित वेब (weighted web) बिना टूट या गिरे अधिकतम कितना "कंपन" (tremor) झेल सकता है, भले ही वह वेब अनंत तक फैला हुआ हो। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने इसे सिद्ध किया।

यहाँ उनके द्वारा की गई खोज की कहानी दी गई है:

एक महान संतुलन (The Great Balancing Act)
कल्पना कीजिए कि आप भारित तख्तों से बने एक पुल पर खड़े हैं। कुछ तख्ते भारी हैं, कुछ हल्के। "हॉज लैपलेसियन" इस बात का माप है कि जब आप पुल को हिलाते हैं तो वह कितना डगमगाता है। लेखक जानना चाहते थे: अधिकतम डगमगाहट (wobble) कितनी संभव है?

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

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

यदि आपके पास एक शहर है जहाँ प्रत्येक चौराहे से ठीक $d$ सड़कें निकल रही हैं, तो अधिकतम कंपन ठीक $2d$ है। उन्होंने यह भी सिद्ध किया कि यह तब भी सत्य है जब शहर अनंत रूप से बड़ा हो और सड़कों के वजन अलग-अलग हों (कुछ राजमार्ग हैं, कुछ कच्ची राहें)।

मोड़: यह हमेशा अधिकतम नहीं होता (The Twist: It's Not Always the Maximum)
हालाँकि, लेखकों ने एक पेंच भी पाया। केवल इसलिए कि एक नेटवर्क "बाइपार्टाइट" (bipartite) है (जिसका अर्थ है कि आप चौराहों को दो रंगों, जैसे लाल और नीला, से रंग सकते हैं ताकि कोई भी दो लाल आपस में न मिलें) इसका मतलब यह नहीं है कि वह उस अधिकतम $2d$ सीमा तक पहुँच जाएगा।

उन्होंने दिखाया कि यदि नेटवर्क "अमेनेबल" (amenable) है (एक फैंसी गणितीय शब्द जिसका अर्थ है कि यह बहुत अधिक "पेड़ जैसा" नहीं है और बहुत अधिक फैलता नहीं है), तो हाँ, यह सीमा तक पहुँचता है। लेकिन यदि नेटवर्क एक विशाल, अनंत पेड़ (जैसे कि एक फ्रैक्टल जो अनंत तक फैलता है) है, तो यह वास्तव में अधिकतम से कम डगमगाता है। एक ऐसे पेड़ के लिए जहाँ प्रत्येक शाखा $d$ नई शाखाओं में विभाजित होती है, डगमगाहट वास्तव में $d + 2\sqrt{d-1}$ है, जो $2d$ से स्पष्ट रूप से कम है। यह एक महत्वपूर्ण अंतर है: यह शोध पत्र इस विचार को खारिज करता है कि केवल "बाइपार्टाइट" होना ही अधिकतम की गारंटी देता है; आपको "अमेनेबल" होने की भी आवश्यकता है।

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

स्पष्ट परिणाम (The Crystal Clear Results)
लेखकों ने केवल सिद्धांत तक ही सीमित नहीं रहे। उन्होंने अपने नियमों को वास्तविक दुनिया के ग्रिड पैटर्न पर लागू किया, जैसे कि शहर के वर्गाकार ग्रिड, मधुमक्खी के छत्ते के समान त्रिकोणीय ग्रिड, और क्रिस्टल के जटिल 3D ग्रिड।

वर्गाकार ग्रिड (जैसे ग्राफ पेपर) के लिए, डगमगाहट अधिकतम सीमा $2d$ तक पहुँचती है।
त्रिकोणीय ग्रिड (जैसे मधुमक्खी का छत्ता) के लिए, डगमगाहट सीमा से काफी कम है। उन्होंने सटीक संख्या की गणना की: यदि सीमा 12 है, तो वास्तविक डगमगाहट 9 है।
फेस-सेंटर्ड क्यूबिक (Face-Centered Cubic) लैटिस (एक सामान्य क्रिस्टल संरचना) के लिए, सीमा 24 है, लेकिन वास्तविक डगमगाहट केवल 16 है।

यह क्यों मायने रखता है (Why This Matters)
इस शोध पत्र की सुंदरता यह है कि इसके लिए नेटवर्क का ज्यामितीय अर्थ में "पूर्ण" या "सुचारू" होना आवश्यक नहीं है। यह अव्यवस्थित, अनंत, भारित वेबों पर काम करता है। लेखकों ने "शूर-टाइप" (Schur-type) सीमाएँ प्रदान की हैं—गणितीय सुरक्षा रेलिंग—जो गारंटी देती हैं कि सिस्टम अनियंत्रित नहीं होगा। उन्होंने सिद्ध किया कि जब तक स्थानीय कनेक्शन सीमित हैं, पूरा सिस्टम स्थिर रहेगा।

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

तकनीकी सारांश: भारित सिम्प्लिशियल कॉम्प्लेक्स पर हॉज लैपलेसियन: फॉर्म्स, क्लोजर्स और बाउंडेड रियलाइजेशन

समस्या विवरण
यह शोध पत्र भारित सिम्प्लिशियल कॉम्प्लेक्स (weighted simplicial complexes), विशेष रूप से भारित ग्राफों से प्राप्त फ्लैग कॉम्प्लेक्स (क्लीक कॉम्प्लेक्स) पर विविक्त हॉज लैपलेसियन (discrete Hodge Laplacians) के स्पेक्ट्रल सिद्धांत पर केंद्रित है। केंद्रीय समस्या इन लैपलेसियनों के लिए ऑपरेटर-नोर्म बाउंड्स (operator-norm bounds) और एसेंशियल सेल्फ-एडजॉइंटनेस (ESA) स्थापित करना है, जो अनंत और संभावित रूप से गैर-स्थानीय रूप से परिमित (non-locally finite) भारित कॉम्प्लेक्स पर लागू होते हैं।

पिछले कार्यों के विपरीत, जो अक्सर ESA सिद्ध करने के लिए ज्यामितीय पूर्णता (geometric completeness), वक्रता (curvature) धारणाओं या क्षमता (capacity) की शर्तों पर निर्भर करते हैं, यह कार्य 'ज्यामिति-मुक्त' (geometry-free) मानदंडों को खोजने का प्रयास करता है। लेखक लैपलेसियन ब्लॉक्स $\Delta_k$ के नोर्म के लिए स्पष्ट, मात्रात्मक बाउंड्स निर्धारित करने और यह पहचानने का लक्ष्य रखते हैं कि किन स्थितियों में $2d$ (जहाँ $d$ डिग्री है) का बाउंड एज स्तर ( $k=1$ ) पर सटीक (sharp) होता है।

कार्यप्रणाली
लेखक आवर्ती संरचनाओं (periodic structures) पर ऑपरेटर-थ्योरेटिक तकनीकों, कॉम्बिनेटोरियल विश्लेषण और स्पेक्ट्रल थ्योरी के संयोजन का उपयोग करते हैं:

स्क्यू कन्वेंशन (Skew Convention) और फ्लैग संरचना: विश्लेषण को कोचेन्स (cochains - वैकल्पिक फॉर्म्स) के लिए 'स्क्यू कन्वेंशन' का उपयोग करके किया जाता है, जो यह सुनिश्चित करता है कि मौलिक पहचान $d_{k+1}d_k = 0$ बिना किसी शर्त के बनी रहे। फ्लैग कॉम्प्लेक्स तक सीमित रहना अनिवार्य है, क्योंकि यह एक फेस के को-फेस (coface) को ग्राफ-नेबरहुड इंटरसेक्शन के वर्टिसेस के रूप में पहचानने की अनुमति देता है, जो सामान्य एब्स्ट्रैक्ट सिम्प्लिशियल कॉम्प्लेक्स पर विफल हो जाता है।
शूर-टाइप बाउंड्स (Schur-Type Bounds): सामान्य डिग्री $k$ के लिए, लेखक "ड्यूल अप/डाउन डिग्री" ( $D^\downarrow_k, D^\uparrow_k$ ) के संदर्भ में शूर-टाइप मानदंडों का उपयोग करके बाउंड्स निकालते हैं। ये डिग्री सिम्प्लेक्स की भारित कनेक्टिविटी को मापते हैं। इन डिग्री की परिमितता (boundedness) नॉर्मलाइज्ड लैपलेसियन $\tilde{\Delta}_k$ की परिमितता और फलस्वरूप, कॉम्पैक्टली सपोर्टेड कोचेन्स के कोर पर इसकी एसेंशियल सेल्फ-एडजॉइंटनेस को सुनिश्चित करती है।
टॉप-डिग्री रिडक्शन (लाइन-कॉम्प्लेक्स): टॉप डिग्री $k=n$ पर, डाउन-लैपलेसियन एकमात्र योगदानकर्ता होता है। लेखक एक यूनिटरी कंजुगेशन (unitary conjugation) का उपयोग करते हैं जो $\Delta_n$ को लाइन-कॉम्प्लेक्स पर एक विविक्त श्रोडिंगर ऑपरेटर (discrete Schrödinger operator) में बदल देता है। यह ऑपरेटर एक साइनयुक्त एडजसेंसी ऑपरेटर प्लस एक डायगोनल पोटेंशियल के रूप में होता है। यह रिडक्शन सीधे लाइन-कॉम्प्लेक्स पर शूर टेस्ट (Schur's test) को लागू करने की अनुमति देता है।
कलर करने योग्य कॉम्प्लेक्स पर यूनिटरी इक्विवेलेंस: उन कॉम्प्लेक्सों के लिए जो एक क्रमबद्ध वर्टेक्स कलरिंग स्वीकार करते हैं, लेखक एक स्पष्ट यूनिटरी मैप $U_k$ का निर्माण करते हैं जो स्क्यू मॉडल को अनओरिएंटेड सिम्प्लेक्स के मॉडल पर ले जाता है। यह मैप एब्स्ट्रैक्ट ओरिएंटेशन साइन्स को वर्टेक्स कलर्स के स्पष्ट फलनों (functions) में बदल देता है, जिससे कम्प्यूटेशनल विश्लेषण सुगम होता है और लैपलेसियन के कर्नेल में साइन्स की भूमिका स्पष्ट होती है।
फ्लोकेट-ब्लॉक विश्लेषण (Floquet–Bloch Analysis): बाउंड्स की सटीकता (sharpness) निर्धारित करने के लिए, विशेष रूप से एज लैपलेसियन ( $n=1$ ) के लिए, लेखक विभिन्न जाली (lattices) जैसे कि स्क्वायर, ट्राइएंगुलर, क्यूबिक, BCC, FCC, Kagome आदि पर लैपलेसियन के ब्लॉक सिम्बल्स का विश्लेषण करके फ्लोकेट-ब्लॉक थ्योरी का उपयोग करते हैं।

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

ज्यामिति-मुक्त बाउंडेडनेस और ESA: यह शोध पत्र स्थापित करता है कि यदि ड्यूल अप/डाउन डिग्री परिमित है, तो हॉज लैपलेसियन अपने प्राकृतिक कोर पर बाउंडेड और एसेंशियलली सेल्फ-एडजॉइंट है। इसके लिए ज्यामितीय पूर्णता, वक्रता या क्षमता पर कोई धारणा आवश्यक नहीं है।
टॉप-डिग्री डिकंपोजिशन: प्रमेय 6.3 टॉप-डिग्री लैपलेसियन को लाइन-कॉम्प्लेक्स पर एक साइनयुक्त एडजसेंसी ऑपरेटर और एक डायगोनल पोटेंशियल के रूप में पुनर्गठित करता है। यह एक संरचनात्मक अपघटन प्रदान करता है जो सामान्य शूर बाउंड की तुलना में अधिक सूचनात्मक है और शार्पनेस विश्लेषण को सक्षम बनाता है।
स्पष्ट ओरिएंटेशन साइन्स: लेखक एक क्रमबद्ध कलरिंग के माध्यम से ओरिएंटेशन साइन्स निर्धारित करने के लिए एक रचनात्मक विधि प्रदान करते हैं। वे दिखाते हैं कि बाइपार्टाइट ग्राफों के लिए, ये साइन्स एक-दूसरे को रद्द कर देते हैं ( $+1$ बन जाते हैं), जो एज बाउंड की शार्पनेस के लिए एक महत्वपूर्ण स्थिति है।
शार्प एज बाउंड्स ( $n=1$ ):
- यह पेपर क्लासिकल एंडरसन-मोरले बाउंड $\|\Delta_1\| \leq \max\{\deg u + \deg v\}$ (जो $d$ -रेगुलर ग्राफ के लिए $2d$ हो जाता है) को अनंत, भारित सेटिंग में पुनः प्राप्त करता है।
- शार्पनेस मानदंड: बाउंड $2d$ तभी प्राप्त होता है जब ग्राफ एमेनेबल (amenable) हो और साइनलेस लैपलेसियन के स्पेक्ट्रम का इन्फिमम शून्य हो।
- काउंटर-एग्जम्पल्स: यह शोध पत्र प्रदर्शित करता है कि केवल बाइपार्टाइटनेस (bipartiteness) ही अनंत मामले में शार्पनेस के लिए पर्याप्त नहीं है। $d$ -रेगुलर ट्री ( $d \geq 3$ ), हालांकि बाइपार्टाइट है, एमेनेबल नहीं है और इसका नॉर्म $2d$ से कम ( $d + 2\sqrt{d-1}$ ) है।
पीरियडिक लैटिस पर सटीक नॉर्म्स: फ्लोकेट-ब्लॉक विश्लेषण का उपयोग करते हुए, लेखक विभिन्न लैटिस के लिए सटीक नॉर्म्स की गणना करते हैं:
- प्राप्त ( $2d$ ): स्क्वायर ( $Z^2$ ), क्यूबिक ( $Z^3$ ), BCC, हाइपरक्यूबिक ( $Z^4$ ), और डायमंड लैटिस (सभी बाइपार्टाइट और एमेनेबल हैं)।
- कठोर असमानता (Strict Inequality): ट्राइएंगुलर लैटिस (सटीक नॉर्म 9 बनाम बाउंड 12), FCC लैटिस (सटीक नॉर्म 16 बनाम बाउंड 24), और Kagome लैटिस (सटीक नॉर्म 6 बनाम बाउंड 8)। ये नॉन-बाइपार्टाइट हैं, और इस कठोरता को केवल बाइपार्टाइटनेस की कमी से नहीं, बल्कि ब्लॉक सिम्बल्स के माध्यम से सिद्ध किया गया है।
भारित विस्तार (Weighted Extensions): परिणामों को यूनिफॉर्म कम्पैरेबिलिटी धारणाओं ( $0 < c_0 \leq m_0 \leq C_0$ और $0 < c_1 \leq m_1 \leq C_1$ ) के तहत भारित ग्राफों के लिए विस्तारित किया गया है, जिससे $C_1/c_0$ के अनुपात द्वारा स्केल किया गया बाउंड प्राप्त होता है।

महत्व और दावे
लेखक अपने कार्य को बार्टमैन और केलर द्वारा स्थापित एब्स्ट्रैक्ट फॉर्म-थ्योरेटिक फ्रेमवर्क में एक मात्रात्मक (quantitative) योगदान के रूप में प्रस्तुत करते हैं। यद्यपि वे यूनिटरी आइडेंटिफिकेशन या सामान्य बाउंडेडनेस मानदंडों के अस्तित्व के लिए नवीनता का दावा नहीं करते हैं, वे इस बात पर जोर देते हैं कि:

स्पष्ट स्थिरांक (Explicit Constants): वे अमूर्त अस्तित्व परिणामों के बजाय स्पष्ट, ज्यामिति-मुक्त संख्यात्मक बाउंड्स (जैसे $2d$ ) प्रदान करते हैं।
शार्पनेस विश्लेषण: वे एज-डिग्री बाउंड की शार्पनेस के लिए एमेनेबिलिटी और बाइपार्टाइटनेस की भूमिकाओं के बीच अंतर करते हुए एक पूर्ण लक्षण वर्णन प्रदान करते हैं।
अनंत और भारित सेटिंग: वे परिमित-कॉम्प्लेक्स (जैसे होराक और जोस्ट के कार्य) और परिमित-ग्राफ बाउंड्स (जैसे एंडरसन-मोरले) को अनंत, भारित, $\ell^2$ सेटिंग में विस्तारित करते हैं, जो केवल सबसे बड़े आइजनवैल्यू के स्थान के बजाय बाउंडेडनेस और एसेंशियल सेल्फ-एडजॉइंटनेस के मुद्दों को संबोधित करते हैं।
संरचनात्मक अंतर्दृष्टि: टॉप डिग्री पर लाइन-कॉम्प्लेक्स में रिडक्शन, हॉज लैपलेसियन पर एक नया संरचनात्मक दृष्टिकोण प्रदान करता है, जो इसे सीधे व्युत्पन्न ग्राफों पर एडजसेंसी ऑपरेटरों से जोड़ता है।

यह शोध पत्र स्पष्ट रूप से बताता है कि मध्यवर्ती डिग्री ( $k \geq 2$ ) के लिए सटीक स्थिरांक निर्धारित करना और उच्च-डिग्री वाले लैटिस टेबल्स बनाना एक खुला प्रश्न (open problem) बना हुआ है। योगदान सख्ती से बाउंड्स, एज लेवल पर शार्पनेस मानदंडों और टॉप डिग्री पर स्ट्रक्चरल डिकंपोजिशन तक ही सीमित हैं।

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