तकनीकी सारांश: संरचना सिद्धांतों में निर्धारण (Determinization in Structure Theories)

1. समस्या विवरण (Problem Statement)

यह शोध पत्र बहुल संरचना सिद्धांतों (plural structure theories) के भीतर कैनोनिकलाइजेशन (canonicalization) की औपचारिक समस्या को संबोधित करता है, जो विशेष रूप से लार्ज लैंग्वेज मॉडल (LLM)-सहायता प्राप्त तर्क और निर्णय प्रणालियों की विफलताओं से प्रेरित है। इन प्रणालियों में, एक भाषा मॉडल संभावित व्याख्याओं का प्रस्ताव करता है जबकि एक प्रतीकात्मक संरचना सिद्धांत स्वीकार्य व्याख्याओं के सेट को परिभाषित करता है।

मुख्य मुद्दा भ्रम (hallucination) है, जिसे यहाँ "असमर्थ कैनोनिकलाइजेशन" (unsupported canonicalization) के रूप में परिभाषित किया गया है: वह स्थिति जहाँ सिस्टम एक निश्चित उत्तर देता है जबकि अंतर्निहित स्वीकार्य व्याख्याओं का सेट अभी तक एकल (singleton) में संकुचित नहीं हुआ है। शोध पत्र यह प्रश्न पूछता है: किन संरचनात्मक स्थितियों के तहत एक संरचना सिद्धांत को एक अद्वितीय व्याख्या आउटपुट करने के लिए लाइसेंस प्राप्त होता है?

अधिकांश बाजार संरचना ढांचे (और उनके विस्तार के रूप में, कई औपचारिक सिद्धांत) गैर-निश्चयात्मक (non-deterministic) होते हैं, जो एक ही स्थिति में कई वैध व्याख्याओं को सह-अस्तित्व में रहने की अनुमति देते हैं। यह शोध पत्र उन पर्याप्त संरचनात्मक स्थितियों को औपचारिक रूप देने का प्रयास करता है जिनके तहत एक कैनोनिकल पठन (canonical reading) का निर्माण किया जा सकता है और उन तंत्रों को वर्गीकृत करता है जिनके द्वारा यह होता है।

2. कार्यप्रणाली और ढांचा (Methodology and Framework)

2.1 संरचना सिद्धांत (Structure Theories)

लेखक एक संरचना सिद्धांत को एक ट्रिपल $T = (\Sigma, A, I)$ के रूप में औपचारिक रूप देता है, जहाँ:

• $\Sigma$ एक सिग्नेचर है।
• $A$ एक्सिओम्स (axioms) का एक सेट है।
• $I = I_{core} \cup I_{ext}$ एक अनुमान नीति (inference policy) है (शोध पत्र $I_{core}$ पर ध्यान केंद्रित करता है)।

सिद्धांत इनपुट $(N, \Theta, \Pi)$ पर कार्य करता है जो मार्केट रियलाइजेशन, पैरामीटर्स और स्ट्रक्चरल एविडेंस का प्रतिनिधित्व करते हैं। स्वीकार्य व्याख्या परिवार $P_T$, एक्सिओम्स $A$ और अनुमान नीति के अनुरूप सभी असाइनमेंट का सेट है।

$I_{core}$ पर प्रतिबंध:
अनुमान नीति को सकारात्मक, गैर-प्रतिगामी (non-retractive) अनुमान तक सीमित किया गया है:

• (R1) सकारात्मक नियम रूप (Positive Rule Form): नियम केवल निष्कर्ष जोड़ते हैं; कोई भी उन्हें हटाता नहीं है।
• (R2) नेगेशन-एज़-फेलियर का अभाव (No Negation-as-Failure): आधार (premises) सकारात्मक संयोजन हैं; कोई भी नियम व्युत्पन्न प्रेडिकेट की अनुपस्थिति पर निर्भर नहीं करता है।
• (R3) प्रतिगमन का अभाव (No Retraction): कोई भी नियम पहले से व्युत्पन्न निष्कर्षों को वापस नहीं लेता है।

2.2 गैर-निश्चयात्मकता का वर्गीकरण (Taxonomy of Non-Determinism)

शोध पत्र साक्ष्य परिशोधन (evidence refinement) के तहत बहुलता (plurality) के व्यवहार के आधार पर गैर-निश्चयात्मकता को दो प्रकारों में वर्गीकृत करता है:

• प्रकार E (एपिस्टेमिक प्लुरैलिटी - Epistemic Plurality): साक्ष्य के परिशोधन के साथ बहुलता लुप्त हो जाती है। यदि $|P_T| > 1$ है, तो एक परिष्कृत साक्ष्य सेट $\Pi'$ मौजूद है जिससे $|P_T(\Pi')| = 1$ होता है। (उदाहरण: ICT सिद्धांत)।
• प्रकार S (स्ट्रक्चरल प्लुरैलिटी - Structural Plurality): अधिकतम साक्ष्य ($\Pi_{full}$) पर भी बहुलता बनी रहती है।
  • प्रकार S-strong: टाइप S का एक उपवर्ग जहाँ $\Pi_{full}$ पर अलग-अलग स्वीकार्य व्याख्याओं का स्पेसिफिकेशन ऑर्डर $\preceq_{spec}$ के तहत कोई सामान्य ऊपरी स्तर (common upper bound) नहीं होता है। (उदाहरण: Wyckoff सिद्धांत)।

2.3 कैनोनिकलाइजेशन की ताकत (Canonicalization Strengths)

ढांचा कैनोनिकलाइजेशन के तीन स्तरों को अलग करता है:

1. क्लोजर स्टेबिलाइजेशन (Closure Stabilization - Property 4'): प्रत्येक स्वीकार्य सीड (seed) एक ऑपरेटर के तहत किसी फिक्स्ड पॉइंट (fixed point) पर अभिसरित होता है (सीड-निर्भर)।
2. ग्लोबल कम्पलीशन (Global Completion - Property 4): सभी सीड एक ही अद्वितीय फिक्स्ड पॉइंट पर अभिसरित होते हैं।
3. डिटरमिनाइजेशन (Determinization - AC-6): अद्वितीय फिक्स्ड पॉइंट ही एकमात्र स्वीकार्य व्याख्या है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

3.1 कैनोनिकलाइजेशन के दोहरे तंत्र (Dual Mechanisms for Canonicalization)

शोध पत्र स्थापित करता है कि कैनोनिकलाइजेशन एक अखंड ऑपरेटर-थ्योरेटिक प्रक्रिया नहीं है बल्कि दो मौलिक रूप से भिन्न रूपों में विभाजित है:

• ऑपरेटर-आधारित कम्पलीशन (Type E):

  • टाइप E सिद्धांतों के लिए लागू।
  • एक कम्पलीशन ऑपरेटर ($D_{comp}$) का उपयोग करता है जो एक फिक्स्ड पॉइंट तक पहुँचने के लिए निष्कर्षों को पुनरावृत्ति से जोड़ता है।
  • आवश्यकताएँ: क्लोजर, तुलनात्मकता (N4-comp), और संगत विस्तार (C5-E)।
  • परिणाम: क्लोजर स्टेबिलाइजेशन (4') स्थापित करता है। ग्लोबल कम्पलीशन (4) या AC-6 प्राप्त करने के लिए एक अतिरिक्त ग्लोबल कन्फ्लुएंस परिणाम की आवश्यकता होती है (ICT के लिए ओपन क्वेश्चन OQ-GC-1)।

• सेलेक्टर-आधारित निर्माण (Selector-Based Construction - Type S-strong):

  • टाइप S-strong सिद्धांतों के लिए लागू।
  • एक कैनोनिकल सेलेक्टर ($\phi$) का उपयोग करता है जो थ्योरी-इंट्रिन्सिक ऑर्डर के आधार पर स्थानीय सेटों से एक अद्वितीय तत्व चुनता है।
  • आवश्यकताएँ: थ्योरी-इंट्रिन्सिक तुलनात्मकता (N4-sel) और चयनित विकल्पों की वैश्विक अनुकूलता (C5-S)।
  • परिणाम: सीधे तौर पर AC-6 प्राप्त करता है।
  • असंभवता परिणाम (Impossibility Result): टाइप S-strong सिद्धांतों के लिए, एक विस्तृत ऑपरेटर के माध्यम से ग्लोबल कम्पलीशन (Property 4) सिद्ध रूप से असंभव है क्योंकि असंगत व्याख्याओं में कोई सामान्य ऊपरी स्तर नहीं होता है।

3.2 निर्माण लेम्मा (Construction Lemma - Theorem 6b)

शोध पत्र इन तंत्रों के अस्तित्व के लिए पर्याप्त स्थितियों को स्थापित करने वाला एक निर्माण लेम्मा प्रदान करता है:

• कम्पलीशन शाखा (Completion Branch): $N0 + N3 + N4\text{-comp} + C5\text{-E} \implies D_{comp}$ शक्ति (4') पर मौजूद है।
• सिलेक्शन शाखा (Selection Branch): $N0 + N1 + N4\text{-sel} + C5\text{-S} \implies PhaseClassify$ AC-6 पर मौजूद है।

एक महत्वपूर्ण निष्कर्ष यह है कि थ्योरी-इंट्रिन्सिक तुलनात्मकता (N4) आवश्यक है। एक न्यूनतम काउंटर-एग्जांपल ($T_{ce}$) प्रदर्शित करता है कि केवल क्लोजर (तुलना के बिना) कैनोनिकलाइजेशन के लिए अपर्याप्त है।

3.3 तंत्रों का वर्गीकरण (Classification of Mechanisms - Theorem U3)

रियलाइजेशन-कवरेज धारणा (OQ-Realization) के अधीन, शोध पत्र एक विशिष्ट व्याकरण के भीतर क्रियान्वित प्रत्येक थ्योरी-इंट्रिन्सिक तंत्र को वर्गीकृत करता है:

• क्लास C (कम्पलीशन): मौलिक नियमों के सैचुरेटेड क्लोजर (3a) या गार्डेड सैचुरेटेड क्लोजर (3c) के माध्यम से क्रियान्वित। ये गुणों (1)–(4') को संतुष्ट करते हैं।
• क्लास S (सिलेक्शन): एक्सिओम-प्रेरित चयन (3b) के माध्यम से क्रियान्वित।

मोनोटोनिसिटी (Monotonicity) पर मुख्य अंतर:

• शुद्ध $I_{core}$-कंप्यूटेबल तंत्र (Class C, 3a) स्पेसिफिकेशन ऑर्डर $\preceq_{spec}$ के तहत मोनोटोनिक हैं (Lemma C)।
• गार्डेड तंत्र (Class C, 3c) जेनेरिक रूप से गैर-मोनोटोनिक हैं। एक प्रेडिकेट जोड़ने से एक गार्ड सक्रिय हो सकता है जो एक व्युत्पत्ति को दबा देता है, जिससे एक ऐसा निष्कर्ष रुक जाता है जो छोटे स्टेट में फायर होता। शोध पत्र एक ठोस विटनेस ($D_{comp}^{HTF}$) प्रदान करता है जहाँ मोनोटोनिसिटी विफल हो जाती है।

3.4 मल्टी-टाइमफ्रेम और स्टेज्ड ऑपरेटर्स (Multi-Timeframe and Staged Operators)

शोध पत्र एक स्टेज्ड ऑपरेटर $D_{comp}^{HTF} = D_L \circ D_H$ का उपयोग करके मल्टी-टाइमफ्रेम पदानुक्रमों तक ढांचे का विस्तार करता है।

• गैर-कम्यूटेटिविटी (Non-Commutativity): शोध पत्र सिद्ध करता है कि स्टेज्ड कम्पलीशन संरचनात्मक रूप से गैर-कम्यूटेटिव है। विशेष रूप से, कच्चे दो-ऑपरेटर आर्किटेक्चर के लिए, क्रम $D_L \circ D_H$ (पहले $D_H$ [HTF] लागू करना, फिर $D_L$ [LTF]) एकमात्र एडमिशनिटी-प्रिजर्विंग लीनियरलाइजेशन है। उल्टा क्रम अवैध अवस्थाएं उत्पन्न कर सकता है।
• फेज 2 (Multi-Operator): शोध पत्र मल्टी-ऑपरेटर कैनोनिकलाइजेशन के अस्तित्व की शर्तों का सारांश देता है, एक "सेफ्टी गैप" $\Phi^*$ को परिभाषित करता है। व्यवहार्यता $\Phi^* = 0$ के समतुल्य है। यह अनुकूलता शर्तों का एक पदानुक्रम स्थापित करता है: $GCC \implies RUCS \implies PLCS$।

3.5 कैटेगोरिकल स्ट्रक्चर (Categorical Structure)

शोध पत्र डिटरमिनाइजेशन को एक आंशिक स्यूडोफंक्टर ($Det$) के रूप में परिभाषित करता है जो थ्योरी और तुलनात्मकता संरचनाओं के जोड़ों को उनके कैनोनिकल विस्तारों में मैप करता है। यह रिकर्सिव थ्योरीज (जैसे Elliott Wave) के लिए एक कैटेगोरिकल टेम्पलेट प्रदान करता है।

4. महत्व और दावे (Significance and Claims)

शोध पत्र यह दावा करता है कि यह समझने के लिए एक एकीकृत ढांचा प्रदान करता है कि कब और कैसे संरचनात्मक सिद्धांतों को निश्चयात्मक बनाया जा सकता है, जो निम्नलिखित के बीच अंतर करता है:

1. एपिस्टेमिक अनिश्चितता (कम्पलीशन के माध्यम से साक्ष्य संचय द्वारा हल करने योग्य)।
2. स्ट्रक्चरल इनकम्पैरेबिलिटी (एक चयन तंत्र की आवश्यकता)।

मामूली दावे और खुले प्रश्न:

• शोध पत्र यह स्थापित नहीं करता है कि ICT (Type E) AC-6 डिटरमिनाइजेशन प्राप्त करता है; यह केवल क्लोजर स्टेबिलाइजेशन (4') स्थापित करता है। ICT के लिए ग्लोबल कम्पलीशन (4) एक खुला प्रश्न (OQ-GC-1) बना हुआ है।
• तंत्रों का वर्गीकरण (Theorem U3) इस धारणा पर सशर्त है कि सभी थ्योरी-इंट्रिन्सिक ऑपरेशन (3a)/(3b)/(3c) व्याकरण के अंतर्गत आते हैं (OQ-Realization)।
• "Type S $\to$ Selection" अनुमान केवल Type S-strong सिद्धांतों के लिए सिद्ध किया गया है। जेनेरिक Type S मामला खुला है (OQ-TypeS-Imp)।
• गैर-कम्यूटेटिविटी का परिणाम "दो-ऑपरेटर कच्चे स्टेज्ड आर्किटेक्चर" तक सीमित है; अन्य आर्किटेक्चर जिन्हें रिपेयर ऑपरेटर या संयुक्त फिक्स्ड-पॉइंट्स की आवश्यकता होती है, उन्हें बाहर नहीं रखा गया है।

निष्कर्ष:
प्राथमिक योगदान क्लोजर-आधारित और सिलेक्शन-आधारित कैनोनिकलाइजेशन का औपचारिक पृथक्करण, गार्डेड सिस्टम में गैर-मोनोटोनिसिटी की पहचान, और एक अद्वितीय आउटपुट को लाइसेंस करने के लिए आवश्यक संरचनात्मक स्थितियों (N4, C5) की कठोर परिभाषा है। यह ढांचा LLM-सहायता प्राप्त प्रणालियों में "भ्रम" (hallucination) को डायग्नोस करने के लिए एक औपचारिक आधार प्रदान करता है, जिसे तब होता है जब अंतर्निहित स्वीकार्य सेट एक एकल (singleton) में संकुचित नहीं होता है।