क्वांटम सिद्धांत का छह-पक्षीय दृष्टिकोण: उन वस्तुओं को परिभाषित करना जिन्हें हम पहचान सकते हैं, न कि जिन्हें हम कल्पना करते हैं

सारांश इस शोधपत्र में एक पुनरुत्पादनीय कम्प्यूटेशनल फ्रेमवर्क प्रस्तुत किया गया है — जिसमें Lean 4 यांत्रिक प्रमाण और निर्धारक Python सिमुलेशन शामिल हैं — जो Quantum measurement, contextuality और मापन समस्या को Six Birds Theory (SBT) से व्युत्पन्न संचालनात्मक अर्थशास्त्र का उपयोग करके पुनर्परिभाषित करता है, जो एक closure-आधारित उत्पत्ति कलन है। क्वांटम मैकेनिक्स की मानक प्रस्तुतियाँ कारणात्मक विकास को अनुमानित स्थिति अद्यतन के साथ मिश्रित करती हैं, इसलिए "collpase," contextuality, और Schrödinger की बिल्ली को अक्सर भौतिक असततता या अधिशेष ऑन्टोलॉजी के प्रमाण के रूप में माना जाता है। हम इन भूमिकाओं को स्पष्ट रूप से अलग करते हैं: कारणात्मक सब्सट्रेट गतिशीलता को packaging से पृथक किया जाता है (एक idempotent closure ऑपरेशन जो चुनी हुई रिकॉर्ड बीजगणित द्वारा रिकॉर्ड-स्तरीय वस्तुओं को स्थिर करता है)। प्रमुख परिणाम: Dephasing को packaging के रूप में देखें: एक निश्चित रिकॉर्ड आधार में dephasing एक idempotent packaging मानचित्र है जिसके निश्चित बिंदु ठीक वही विकर्ण (रिकॉर्ड-क्लासिकल) स्थिति हैं। मार्ग असंगति: विकास और पैकेजिंग के बीच असंगति लगभग शून्य होती है जब हैमिल्टोनियन रिकॉर्ड आधार में विकर्ण होता है, परंतु सामान्य हैमिल्टोनियनों या असंगत रिकॉर्ड आधारों के लिए गैर-शून्य होती है। डबल स्लिट और क्वांटम इरेज़र: पर्यावरण-रिकॉर्ड ओवरलैप को घटाने से फ्रिंज दृश्यता निरंतर दब जाती है; क्वांटम इरेज़र में कंडीशनिंग पूरक फ्रिंज को पुनर्स्थापित करती है। मापन और बिल्ली: सिस्टम-उपकरण-पर्यावरण मॉडल में, वैश्विक स्थिति लगभग शुद्ध बनी रह सकती है जबकि पैक किया हुआ रिकॉर्ड स्थिति एक क्लासिकल मिश्रण होती है, और पैकेजिंग idempotent बनी रहती है। क्लासिकल समकक्ष: एक मेटास्टेबल मार्कोव चेन उसी पैकेजिंग फॉर्मलिज्म का उपयोग करते हुए समय-स्केल-संभावित चरणबद्ध वस्तुता दिखाता है। यांत्रिक प्रमाण (Lean 4) संरचनात्मक उपपत्ति Lean 4 में यांत्रिक रूप से बनाई गई हैं, जिनमें शामिल हैं: Leibniz विभाजन तथ्यांकन, संतृप्ति idempotence, dephasing निश्चित-बिंदु वर्णन, सीमित कुल-परिवर्तन डेटा-प्रोसेसिंग असममिति, और प्रमाणित गैर-सम्मिलन गवाह। पुनरुत्पादनीयता सभी चित्र और उद्धृत संख्याएँ निर्धारक रूप से उत्पन्न की गई हैं: python -m sbtq runₐll --seed 0 --out artifacts cd lean/Sbtq && lake build Python सिमुलेशन सूट (sbtq) में निर्धारक बीज, हैश-ट्रेसयोग्य वस्तुएं, और कई बीजों पर मजबूती जांच शामिल हैं।