2484 पेपर
यह शोध पत्र तर्क देता है कि आधुनिक वर्ल्ड मॉडल (world models), कंट्रोल थ्योरी के दशकों पुराने रिड्यूस्ड-ऑर्डर मॉडल्स (reduced-order models) के कार्यात्मक रूप से समान हैं, और सुरक्षा-महत्वपूर्ण भौतिक प्रणालियों में वर्ल्ड मॉडल्स को तैनात करने के लिए आवश्यक सत्यापन क्षमता की चुनौती को हल करने हेतु इन वंशावलियों को एकीकृत करने का प्रस्ताव देता है।
यह शोध पत्र एक केस स्टडी प्रस्तुत करता है जहाँ एक गणितज्ञ एक AI सिस्टम को लीन 4 (Lean 4) में व्लासोव समीकरण (Vlasov equation) के मीन-फील्ड व्युत्पन्न (mean-field derivation) को औपचारिक रूप देने के लिए निर्देशित करता है, जो इस प्रक्रिया को एक "रणनीति खेल" (strategy game) के रूप में फ्रेम करता है जिसने लगभग एक महीने के भीतर सफलतापूर्वक एक पूर्ण, अक्षम-मुक्त (axiom-clean) प्रमाण और एक पुन: प्रयोज्य ऑप्टिमल-ट्रांसपोर्ट लाइब्रेरी का निर्माण किया।
यह शोध पत्र टोकाग्रेड (TokaGrad) को प्रस्तुत करता है, जो कि पहला एंड-टू-एंड डिफरेंशिएबल टोकामक सिम्युलेटर है जो पूर्ण-डिस्चार्ज परिदृश्यों—जिसमें रैंप-अप, एल-मोड (L-mode), और एच-मोड (H-mode) ट्रांजिशन शामिल हैं—को स्व-सुसंगत रूप से मॉडल करता है ताकि रिएक्टर डिजाइनों के कुशल, ग्रेडिएंट-आधारित अनुकूलन और स्वायत्त प्लाज्मा नियंत्रण को सक्षम बनाया जा सके।
यह अध्ययन यह प्रकट करने के लिए जड़त्वीय कुरामोतो मॉडल (inertial Kuramoto model) की जांच करता है कि आंतरिक आवृत्ति वितरण विशिष्ट सिंक्रनाइज़ेशन पथों को निर्धारित करते हैं, जहाँ एकमॉडल गॉसियन वितरण (unimodal Gaussian distributions) सुचारू, पदानुक्रमित क्लस्टर एंट्रेनमेंट की ओर ले जाता है, जबकि मल्टीमॉडल यूनिफॉर्म वितरण (multimodal uniform distributions) क्रमिक परिधीय क्लस्टर विलय के माध्यम से विविक्त, डेविल्स स्टेयरकेस-जैसे (Devil's staircase-like) सिंक्रनाइज़ेशन उत्पन्न करते हैं।
यह शोध पत्र आइंस्टीन-डी सिटर ब्रह्मांड की अरैखिक स्थिरता को स्थापित करता है, जिसमें यह सिद्ध किया गया है कि पर निकट-समतल मेट्रिक्स और धनात्मक द्रव ऊर्जा घनत्व वाले प्रारंभिक डेटा सेट, एक पॉलीट्रोपिक समीकरण अवस्था के साथ आइंस्टीन-यूलर प्रवाह के अंतर्गत एक समतल मेट्रिक्स की ओर अभिसरित होते हैं, जिससे इस बात की पुष्टि होती है कि दबावहीन स्थितियों के तहत अपनी ज्ञात रैखिक अस्थिरता के बावजूद, उपयुक्त पदार्थ विवरण के लिए यह मॉडल स्थिर हो सकता है।
यह शोधपत्र प्रदर्शित करता है कि अर्ध-तल (half-plane) पर लैंडौ हैमिल्टनियन के पूर्णतः पूर्णतः सतत स्पेक्ट्रम (purely absolutely continuous spectrum) होने के बावजूद (जो पूर्ण तल के शुद्ध बिंदु स्पेक्ट्रम के विपरीत है), इसके ग्राउंड स्टेट्स अभी भी एंटैंगलमेंट एंट्रॉपी के लिए एक सख्त क्षेत्र नियम (area law) का पालन करते हैं, जो एक लघुगणकीय संवर्धित क्षेत्र नियम (logarithmically enhanced area law) उत्पन्न करने के लिए आवश्यक विशिष्ट स्पेक्ट्रल स्थितियों की जांच को प्रेरित करता है।
यह शोध पत्र लेनार्ड-जोन्स क्लस्टर्स (Lennard-Jones clusters) के लिए कुज़नेत्सोव-साहिनिडिस व्यास सीमा (Kuznetsov-Sahinidis diameter bound) का एक प्रमाणित परिशोधन और अनंतस्पर्शी विश्लेषण प्रस्तुत करता है, जो के लिए सीमा को कठोरता से सुदृढ़ करता है और के रूप में इसके अनंतस्पर्शी व्यवहार को हल करता है, जबकि यह भी उल्लेख करता है कि यह सुधार मुख्य रूप से एक सैद्धांतिक प्रगति के रूप में कार्य करता है न कि वर्तमान नियतात्मक सॉल्वर (deterministic solvers) के लिए तत्काल व्यावहारिक बढ़ावा के रूप में।
यह शोध पत्र H-cloud को प्रस्तुत करता है, जो Firedrake पर निर्मित एक क्लाउड-सुलभ, ओपन-सोर्स परिमित-तत्व (फाइनाइट-एलिमेंट) फ्रेमवर्क है, जो व्यावसायिक सॉफ्टवेयर के तुलनीय सटीकता के साथ एप्लाइड सुपरकंडक्टर्स के कठोर, पुनरुत्पादनीय और पोर्टेबल इलेक्ट्रोमैग्नेटिक मॉडलिंग को सक्षम बनाता है और स्थानीय एवं ब्राउज़र-आधारित दोनों वातावरणों में फॉरवर्ड सिमुलेशन, एडजॉइंट डिफरेंशिएशन और ऑप्टिमाइजेशन का समर्थन करता है।
यह शोध पत्र इनवर्स-स्क्वायर पोटेंशियल वाले श्रोडिंगर ऑपरेटर्स के लिए शार्प और एंडपॉइंट टू-वेट फ्रैक्शनल इंटीग्रल अनुमान स्थापित करता है, यह प्रदर्शित करते हुए कि जबकि ओरिजिन-क्रिटिकल बाउंड्रीज़ पर स्ट्रॉन्ग और वेटेड अनुमान विफल हो जाते हैं, लोरेन्ज़ स्पेस अनुमान वैध बना रहता है, साथ ही हार्डी-क्रिटिकल फ्रेडरिक्स केस के लिए व्युत्पन्न वेटेड सोबोलेव परिणाम भी प्राप्त होते हैं।
यह शोध पत्र वॉन न्यूमैन के अपूर्ण टेंसर उत्पादों (incomplete tensor products) के समुच्चय पर एक पूर्ण अल्ट्रामेट्रिक संरचना प्रस्तुत करता है ताकि क्वांटम शाखाओं की परिचालन विशिष्टता (operational distinctness) को कठोरता से मापा जा सके, यह प्रदर्शित करते हुए कि कैसे उत्पाद यूनिटरीज (product unitaries) इन अवस्थाओं को विस्थापित करती हैं और इस मीट्रिक को एक डिकोहेरेंस घातांक (decoherence exponent) के रूप में व्याख्यायित करते हुए यह मापता है कि सार्वभौमिक अवस्था शाखाएँ किस दर से विशिष्ट होती जाती हैं।