← नवीनतम पेपर
🤖 machine learning

Learning AC0\mathsf{AC}^0 under Locally Sampleable Graphical Models

यह शोधपत्र ट्रंकेटेड ग्लौबर डायनेमिक्स (truncated Glauber dynamics) के माध्यम से एक नए निम्न-डिग्री सन्निकटन (low-degree approximation) को पेश करते हुए, कुशल स्थानीय सैम्पलर्स वाले ग्राफिकल मॉडल्स के तहत AC0\mathsf{AC}^0 सर्किट्स को सीखने के लिए एक अर्ध-बहुपद-समय (quasipolynomial-time) एल्गोरिदम प्रस्तुत करता है, जिससे पूर्ववर्ती लर्निंग गारंटियों को बिना किसी बहुपद वृद्धि (polynomial growth) की आवश्यकता के, मनमाने बाउंडेड-डिग्री ग्राफ्स तक विस्तारित किया जा सके।

मूल लेखक: Weiming Feng, Xiongxin Yang, Yixiao Yu, Yiyao Zhang

प्रकाशित 2026-07-10
📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

मूल लेखक: Weiming Feng, Xiongxin Yang, Yixiao Yu, Yiyao Zhang

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

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

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

बड़ी सफलता
यह शोध पत्र सिद्ध करता है कि रोबोट को सिखाने के लिए आपको उस "कमरे के आकार" के नियम की आवश्यकता नहीं है। लेखक दिखाते हैं कि जब तक कमरे में एक लोकल सैंपलर (local sampler) है—एक चतुर तरीका जिससे आप यह पता लगा सकें कि एक व्यक्ति क्या कह रहा है, केवल उसके दोस्तों के एक छोटे से स्थानीय परिवेश को देखकर—आप रोबोट को AC0 सर्किट्स (AC0 circuits) (जो मूल रूप से सरल, उथले निर्णय लेने वाली मशीनें हैं) सिखा सकते हैं।

उन्होंने केवल अनुमान नहीं लगाया; उन्होंने गणितीय रूप से इसे सिद्ध किया। उन्होंने एक नया लर्निंग एल्गोरिदम बनाया जो क्वासिपोलिनोमियल टाइम (quasipolynomial time) में चलता है (जो उपयोगी होने के लिए पर्याप्त तेज़ है, हालांकि तत्काल नहीं) और यह किसी भी ग्राफ पर काम करता है जिसमें प्रति व्यक्ति सीमित संख्या में पड़ोसी होते हैं, भले ही वह ग्राफ एक एक्सपैंडर ग्राफ (expander graph) या एक रैंडम नेटवर्क (random network) की तरह एक विशाल, जटिल जाल क्यों न हो जहाँ "भीड़" तेजी से बढ़ती है।

वे इसे कैसे कर पाए: "समय-यात्रा करने वाला" जासूस
इसे सफल बनाने के लिए, लेखकों ने "टेलीफोन के खेल" (game of telephone) के एक उल्टे संस्करण का उपयोग करते हुए एक शानदार चाल चली।

  1. फॉरवर्ड गेम (द सैंपलर): कल्पना करें कि एक खेल है जहाँ आप एक खाली स्लेट से शुरुआत करते हैं और एक घेरे में एक-एक करके लोगों की राय अपडेट करते हैं। इसे अनुमानित बनाने के लिए, उन्होंने "जादुई पासे" (जिन्हें मार्क्स (marks) कहा जाता है) पेश किए। यदि आप एक विशिष्ट संख्या रोल करते हैं, तो एक व्यक्ति की राय मजबूर होती है; यदि आप दूसरी संख्या रोल करते हैं, तो वह अपने पड़ोसियों को देखता है। इन पासों को एक विशिष्ट क्रम में रोल करके, आप पूरे कमरे की स्थिति का अनुकरण (simulate) कर सकते हैं।
  2. बैकवर्ड गेम (द इनवर्टर): यही जादू वाला हिस्सा है। आमतौर पर, यदि आप कमरे की अंतिम स्थिति जानते हैं, तो आप आसानी से यह अनुमान नहीं लगा सकते कि उस स्थिति तक पहुँचने के लिए कौन से पासे रोल किए गए थे। लेकिन लेखकों ने महसूस किया कि यदि "पासे" इस तरह से रोल किए जाते हैं कि अंतिम परिणाम इस बात पर निर्भर नहीं करता कि खेल कैसे शुरू हुआ था (एक अवधारणा जिसे वे डिटरमिनिंग मार्क सीक्वेंस (determining mark sequence) कहते हैं), तो आप खेल को उल्टा (backwards) चला सकते हैं।
  3. लोकल डिटेक्टिव (स्थानीय जासूस): उन्होंने दिखाया कि कई प्रणालियों के लिए (जैसे हार्ड-कोर मॉडल (hard-core model) जहाँ पड़ोसी दोनों "सक्रिय" नहीं हो सकते, या आइसिंग मॉडल (Ising model) जहाँ पड़ोसी सहमत होते हैं या असहमत), आप केवल अपने दोस्तों के एक छोटे से स्थानीय समूह और उनके विशिष्ट पासे के रोल को देखकर केवल एक व्यक्ति की अंतिम राय का पता लगा सकते हैं। आपको पूरे कमरे के इतिहास को जानने की आवश्यकता नहीं है।

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

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

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

वे यह भी स्पष्ट करते हैं कि यह कमरे की संरचना (यह समझना कि कौन किसका दोस्त है) सीखने के बारे में नहीं है। यह एक अलग समस्या है। यह शोध पत्र मानता है कि आपको कमरे के लेआउट की जानकारी पहले से ही है और आप बस उसके भीतर काम करने वाले एक विशिष्ट नियम (फंक्शन) को सीखना चाहते हैं।

प्रमाण और संख्याएँ
लेखकों ने इसे केवल कंप्यूटर पर सिम्युलेट नहीं किया; उन्होंने एक कठोर गणितीय प्रमाण प्रदान किया।

  • उन्होंने सिद्ध किया कि हार्ड-कोर मॉडल के लिए (जहाँ पड़ोसी दोनों "ऑन" नहीं हो सकते), "फ्यूगुसिटी" (एक माप कि लोग कितने "ऑन" होना चाहते हैं) लगभग 1/(Δ1)1/(\Delta - 1) से कम होनी चाहिए, जहाँ Δ\Delta अधिकतम पड़ोसियों की संख्या है। यह एक बहुत ही सटीक, लगभग पूर्ण स्थिति है।
  • आइसिंग मॉडल के लिए (जहाँ पड़ोसी परस्पर क्रिया करते हैं), उन्होंने सिद्ध किया कि यह तब काम करता है जब इंटरेक्शन स्ट्रेंथ β\beta 1 के आसपास एक विशिष्ट रेंज में हो (लगभग 112Δ<β<1+12Δ1 - \frac{1}{2\Delta} < \beta < 1 + \frac{1}{2\Delta})।
  • लर्निंग एल्गोरिदम को लगभग nlogO(d)(n/ε)n^{\log^{O(d)}(n/\varepsilon)} सैंपल और समय की आवश्यकता होती है, जहाँ nn लोगों की संख्या है, dd सर्किट की गहराई है, और ε\varepsilon वह त्रुटि है जिसे आप सहन कर सकते हैं।

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

अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?

आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।

Digest आज़माएँ →