यह पेपर निषिद्ध अर्ध-प्रेरित उप-संरचनाओं वाले ग्राफ़ में बड़े क्लिक्स के अस्तित्व की समस्या का अध्ययन करता है। होल्मसेन ने 2022 में सिद्ध किया कि कम से कम c(rn)r-क्लिक्स युक्त कोई भी ग्राफ़ जिसमें प्रेरित पूर्ण r-भाग ग्राफ़ K2,…,2 नहीं है, आवश्यक रूप से Ω(c2r−1n) क्रम का एक क्लिक रखता है। यह पेपर K2,…,2 से संबंधित अर्ध-प्रेरित उप-संरचनाओं को निषिद्ध करके, सिद्ध करता है कि कम से कम c(rn)Kr प्रतियों वाला प्रत्येक n शीर्ष ग्राफ़ G आवश्यक रूप से Ω(cn) क्रम का एक क्लिक रखता है। यह परिणाम होल्मसेन सीमा में c की निर्भरता को c2r−1 से c के संबंध में रैखिक तक सुधारता है, और केवल सीमित संख्या में संरचनाओं को निषिद्ध करने की आवश्यकता है। इसके अतिरिक्त, यह विधि स्वाभाविक रूप से VC आयाम की अवधारणा से जुड़ी है।
शास्त्रीय तुरान सिद्धांत: तुरान प्रमेय और इसके सामान्यीकरण (एर्डोस-स्टोन-सिमोनोविट्स प्रमेय) गैर-प्रेरित उप-ग्राफ़ को निषिद्ध करने की चरम समस्याओं का अध्ययन करते हैं। रंग संख्या χ(H)≥3 वाले ग्राफ़ H के लिए, H को उप-ग्राफ़ के रूप में निषिद्ध करने से चरम ग्राफ़ स्पर्शोन्मुख रूप से (χ(H)−1)-भाग ग्राफ़ बन जाता है, जिससे क्लिक संख्या स्थिरांक द्वारा सीमित होती है।
प्रेरित उप-ग्राफ़ का मामला: जब प्रेरित उप-ग्राफ़ को निषिद्ध किया जाता है, तो स्थिति पूरी तरह से भिन्न होती है। ग्यारफास, हुबेंको और सोलिमोसी (2002) ने सिद्ध किया कि यदि n शीर्ष ग्राफ़ G में कम से कम c(2n) किनारे हैं और प्रेरित K2,2 नहीं है, तो ω(G)≥10c2n।
कॉर्डल ग्राफ़ की सटीक सीमा: कॉर्डल ग्राफ़ (लंबाई कम से कम 4 के प्रेरित चक्र को निषिद्ध करते हैं) बेहतर सीमा प्राप्त करते हैं: ω(G)≥(1−1−c)n, जब c छोटा हो तो Ω(cn)।
होल्मसेन का सामान्यीकरण: होल्मसेन (2020) ने K2,2 मामले को बहु-भाग संस्करण तक सामान्यीकृत किया, सिद्ध किया कि प्रेरित Kr[2] (Kr का 2-विस्तार) को निषिद्ध करने वाले ग्राफ़ में Ω(c2r−1n) क्रम का क्लिक है।
यद्यपि होल्मसेन का परिणाम n के संबंध में रैखिक है, लेकिन इसकी c की सीमा r के साथ बढ़ने पर तेजी से बिगड़ जाती है। इस पेपर का मूल प्रश्न है: क्या प्रमेय 1.1 से प्रमेय 1.2 तक के सुधार के समान, अधिक (लेकिन सीमित संख्या में) संरचनाओं को निषिद्ध करके होल्मसेन सीमा में सुधार किया जा सकता है?
मुख्य प्रमेय: सिद्ध किया कि कम से कम c(rn)Kr प्रतियों वाले प्रेरित Kr[2]-मुक्त ग्राफ़ G के लिए, ω(G)≥18rcn (प्रमेय 1.5)
सीमा में सुधार: होल्मसेन की Ω(c2r−1n) सीमा को Ω(cn) तक सुधारा, c में रैखिक निर्भरता प्राप्त की
सीमित निषिद्ध संरचनाएं: केवल अधिकतम 2(2r) प्रेरित उप-संरचनाओं को निषिद्ध करने की आवश्यकता है (कॉर्डल ग्राफ़ के अनंत के विपरीत)
VC आयाम विधि: अर्ध-प्रेरित उप-ग्राफ़ और VC आयाम के बीच स्वाभाविक संबंध स्थापित किया, मौजूदा द्वि-प्रेरित उप-ग्राफ़ सिद्धांत को सामान्यीकृत किया
संरचनात्मक अंतर्दृष्टि: प्रकट किया कि कॉर्डल ग्राफ़ की तुलना में कहीं कम संरचनाओं को निषिद्ध करने के बावजूद, रैखिक आकार के क्लिक की गारंटी दी जा सकती है
कम से कम c(rn)Kr प्रतियां रखता है (c>0 स्थिरांक है)
प्रेरित Kr[2]-मुक्त (प्रेरित उप-ग्राफ़ के रूप में Kr[2] में कोई भी ग्राफ़ नहीं है)
आउटपुट: सिद्ध करें कि G कम से कम 18rcn क्रम का क्लिक रखता है
मुख्य परिभाषाएं:
Kr[2]: Kr का 2-विस्तार, प्रत्येक शीर्ष को आकार 2 के स्वतंत्र समुच्चय से प्रतिस्थापित करता है
Kr[2]: Kr[2] के उप-ग्राफ़ का परिवार, जिसके किनारे समुच्चय (E(Kr[2])\E(KU′))∪E′ के रूप में हैं, जहां U′={u1′,…,ur′} प्रत्येक भाग का दूसरा शीर्ष समुच्चय है, E′⊆E(KU′)
विरोधाभास द्वारा: मान लीजिए ω(G)<c′n, जहां c′=18rc
यादृच्छिक चयन: V(G) में से Sr⊆Sm यादृच्छिक रूप से चुनें, जहां ∣Sr∣=r, ∣Sm∣=m
संभाव्यता विश्लेषण:
Sr क्लिक को प्रेरित करने की संभावना कम से कम c है
यदि Sr क्लिक को प्रेरित करता है और आकार <c′n के अधिकतम क्लिक K में समाहित है, तो Sm में Sr है लेकिन Sm\Sr में K के किसी भी शीर्ष को नहीं रखने की संभावना कम से कम है:
(m−rn−r)(m−rn−c′n)≥(n−mn−c′n−m)m≥e−2c′m≥41
इसलिए Sr=Sm∩K की संभावना कम से कम 41c है
शर्त को संतुष्ट करने वाले Sr की अपेक्षित संख्या कम से कम 41c(rm) है
विरोधाभास: यह सॉयर-शेलाह लेम्मा द्वारा दी गई ऊपरी सीमा के साथ विरोधाभास है।
अर्ध-प्रेरित संरचनाओं का परिचय: Kr[2] परिवार संरचना सीमा की शक्ति और संख्या को कुशलतापूर्वक संतुलित करता है, पर्याप्त बाधा सुनिश्चित करते हुए सीमित निषिद्ध संरचनाओं को बनाए रखता है
VC आयाम का स्वाभाविक संबंध: अधिकतम क्लिक प्रणाली के VC आयाम को ग्राफ़ की प्रेरित उप-संरचनाओं से सीधे जोड़ता है, विश्लेषण के लिए नया दृष्टिकोण प्रदान करता है
सूक्ष्म संभाव्यता अनुमान: यादृच्छिक चयन ढांचे में, सावधानीपूर्वक संभाव्यता गणना के माध्यम से क्लिक घनत्व और क्लिक आकार के बीच मात्रात्मक संबंध स्थापित करता है
पैरामीटर अनुकूलन: m=⌊c9r⌋ चुनता है ताकि सॉयर-शेलाह सीमा और संभाव्यता निचली सीमा विरोधाभास उत्पन्न करें
चरम उदाहरण: r=2 मामले के लिए, पेपर इंगित करता है कि प्रेरित K2[2]-मुक्त ग्राफ़ (प्रेरित P4 और K2,2 को निषिद्ध करते हैं) कॉर्डल ग्राफ़ का उप-वर्ग बनाते हैं
कसापन विश्लेषण: यद्यपि सटीक चरम ग्राफ़ निर्माण नहीं दिया गया है, लेकिन सीमा की मात्रा को उचित साबित किया गया है
प्रमेय 1.5 (मुख्य परिणाम):
r≥2, 0<c<1 को सेट करें, G कम से कम c(rn)Kr प्रतियों वाला n शीर्ष ग्राफ़ है। यदि G प्रेरित Kr[2]-मुक्त है, तो पर्याप्त बड़े n के लिए,
ω(G)≥18rcn
यह पेपर होल्मसेन के कार्य के आधार पर, अर्ध-प्रेरित उप-संरचनाओं और VC आयाम विधि को पेश करके, मात्रात्मक सुधार प्राप्त करता है। कॉर्डल ग्राफ़ सिद्धांत के साथ संबंध r=2 मामले के लिए स्वाभाविक व्याख्या प्रदान करता है।
मात्रात्मक सुधार: Kr[2] परिवार को निषिद्ध करके (अधिकतम 2(2r) संरचनाएं), क्लिक संख्या निचली सीमा को Ω(c2r−1n) से Ω(cn) तक सुधारता है
पद्धति संबंधी योगदान: अर्ध-प्रेरित उप-ग्राफ़ और VC आयाम के बीच स्वाभाविक संबंध स्थापित करता है, मौजूदा सैद्धांतिक ढांचे को सामान्यीकृत करता है
संरचनात्मक अंतर्दृष्टि: प्रकट करता है कि सीमित संरचना निषेध शर्तें रैखिक आकार के क्लिक की गारंटी देने के लिए पर्याप्त हैं, कॉर्डल ग्राफ़ की तरह अनंत संरचनाओं को निषिद्ध किए बिना
पेपर निष्कर्ष भाग में स्पष्ट रूप से खुली समस्याएं प्रस्तुत करता है:
मुख्य प्रश्न: c2r−1 से c की रैखिक निर्भरता में परिवर्तन कब होता है? अधिक सटीक रूप से, c में रैखिक सीमा को बाध्य करने के लिए आवश्यक न्यूनतम निषिद्ध संरचना संख्या क्या है?
संभावित अनुसंधान दिशाएं:
रैखिक सीमा प्राप्त करने के लिए न्यूनतम निषिद्ध संरचना परिवार निर्धारित करना
एबॉट और कैचलस्की (1979): अंतराल ग्राफ़ की तुरान-प्रकार समस्याएं
एर्डोस और सिमोनोविट्स (1966), एर्डोस और स्टोन (1946): ESS प्रमेय
ग्यारफास, हुबेंको और सोलिमोसी (2002): C4-मुक्त ग्राफ़ में बड़े क्लिक्स
होल्मसेन (2020): अतिग्राफ़ में निषिद्ध उप-संरचनाओं के साथ बड़े क्लिक्स (यह पेपर सीधे सुधारता है)
लोह एट अल. (2018): प्रेरित तुरान संख्याएं
न्गुयेन, स्कॉट और सेमोर (2025): प्रेरित उप-ग्राफ़ घनत्व और VC आयाम
सॉयर (1972), शेलाह (1972): VC आयाम की मौलिक सीमा
तुरान (1941): शास्त्रीय तुरान प्रमेय
समग्र मूल्यांकन: यह चरम ग्राफ़ सिद्धांत की महत्वपूर्ण समस्या पर वास्तविक प्रगति प्राप्त करने वाला उच्च गुणवत्ता का संयोजन गणित पेपर है। अर्ध-प्रेरित संरचनाओं और VC आयाम विधि को पेश करके, लेखकों ने होल्मसेन की घातीय सीमा को रैखिक सीमा तक सफलतापूर्वक सुधारा है, जबकि निषिद्ध संरचना संख्या की सीमितता बनाए रखी है। प्रमाण तकनीक सुरुचिपूर्ण है और अंतर्दृष्टि से भरपूर है, इस क्षेत्र के लिए नए अनुसंधान उपकरण और दिशाएं प्रदान करता है। पेपर का मुख्य योगदान सैद्धांतिक स्तर पर है, लेकिन इसकी विधि और विचार संबंधित क्षेत्रों पर व्यापक प्रभाव डाल सकते हैं।