एचपीओ औपचारिकता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 35: Line 35:
यदि दो सजातीय इतिहास <math>\,\alpha </math> एवं <math>\,\beta</math> उसी अस्थायी समर्थन को विचार न करें जिसे वे संशोधित कर सकते हैं जिससे वे ऐसा कर सकें। यदि <math>\,t_i</math> के अस्थायी समर्थन में <math>\,\alpha</math> है, किन्तु <math>\,\beta</math> नहीं है, (उदाहरण के लिए) तत्पश्चात नया सजातीय इतिहास प्रस्ताव भिन्न है, <math>\,\beta</math>  सदैव सत्य प्रस्ताव को शामिल करके <math>\,t_i</math> बन सकता है। इस प्रकार लौकिक का समर्थन करता <math>\,\alpha, \beta</math> है, सदैव साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन विचार करते हैं।
यदि दो सजातीय इतिहास <math>\,\alpha </math> एवं <math>\,\beta</math> उसी अस्थायी समर्थन को विचार न करें जिसे वे संशोधित कर सकते हैं जिससे वे ऐसा कर सकें। यदि <math>\,t_i</math> के अस्थायी समर्थन में <math>\,\alpha</math> है, किन्तु <math>\,\beta</math> नहीं है, (उदाहरण के लिए) तत्पश्चात नया सजातीय इतिहास प्रस्ताव भिन्न है, <math>\,\beta</math>  सदैव सत्य प्रस्ताव को शामिल करके <math>\,t_i</math> बन सकता है। इस प्रकार लौकिक का समर्थन करता <math>\,\alpha, \beta</math> है, सदैव साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन विचार करते हैं।


अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं <math>\,\alpha </math> एवं <math>\,\beta</math> ऐसा है कि <math>\hat{\alpha} \hat{\beta} = \hat{\beta}\hat{\alpha} </math>
अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं, <math>\,\alpha </math> एवं <math>\,\beta</math> ऐसा है कि <math>\hat{\alpha} \hat{\beta} = \hat{\beta}\hat{\alpha} </math>




=== संयोजन (एवं) ===
=== संयोजन (एवं) ===


यदि <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> एवं <math>\,\beta</math>एक समान इतिहास भी है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है
यदि <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> एवं <math>\,\beta</math> समान इतिहास भी है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है।


<math>\widehat{\alpha \wedge \beta}:= \hat{\alpha} \hat{\beta}</math> <math>(= \hat{\beta} \hat{\alpha})</math>
<math>\widehat{\alpha \wedge \beta}:= \hat{\alpha} \hat{\beta}</math> <math>(= \hat{\beta} \hat{\alpha})</math>
Line 47: Line 47:
=== वियोग (या) ===
=== वियोग (या) ===


यदि <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> या <math>\,\beta</math>आम तौर पर एक सजातीय इतिहास नहीं है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है
यदि <math>\alpha</math> एवं <math>\beta</math> दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव<math>\,\alpha</math> या <math>\,\beta</math> सामान्यतः सजातीय इतिहास नहीं है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है।


<math>\widehat{\alpha \vee \beta}:= \hat{\alpha} + \hat{\beta} - \hat{\alpha}\hat{\beta}</math>
<math>\widehat{\alpha \vee \beta}:= \hat{\alpha} + \hat{\beta} - \hat{\alpha}\hat{\beta}</math>
Line 54: Line 54:
=== निषेध (नहीं) ===
=== निषेध (नहीं) ===


प्रक्षेपण ऑपरेटरों की जाली में नकारात्मक कार्रवाई होती है <math> \hat{P} </math> को
प्रक्षेपण ऑपरेटरों की जाली में नकारात्मक क्रिया <math> \hat{P} </math> की होती है।


<math>\neg \hat{P} := \mathbb{I} - \hat{P}</math>
<math>\neg \hat{P} := \mathbb{I} - \hat{P}</math>
कहाँ <math>\mathbb{I}</math> हिल्बर्ट  अंतरिक्ष पर [[ पहचान ऑपरेटर ]] है। इस प्रकार प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करता था <math>\neg \alpha</math> (अर्थात् नहीं <math>\alpha</math>) है
कहाँ <math>\mathbb{I}</math> हिल्बर्ट  अंतरिक्ष पर [[ पहचान ऑपरेटर ]] है। इस प्रकार प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करता था <math>\neg \alpha</math> (अर्थात् नहीं <math>\alpha</math>) है,


<math>\widehat{\neg \alpha}:= \mathbb{I} - \hat{\alpha}.</math>
<math>\widehat{\neg \alpha}:= \mathbb{I} - \hat{\alpha}.</math>
Line 64: Line 64:
=== उदाहरण: दो बार का इतिहास ===
=== उदाहरण: दो बार का इतिहास ===


एक उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें <math>\,\alpha = (\alpha_1, \alpha_2)</math>. प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करने के लिए <math>\neg \alpha</math> है
उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें <math>\,\alpha = (\alpha_1, \alpha_2)</math>. प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करने के लिए <math>\neg \alpha</math> है,


<math>\widehat{\neg \alpha} = \mathbb{I} \otimes \mathbb{I} - \hat{\alpha}_1 \otimes \hat{\alpha}_2</math>
<math>\widehat{\neg \alpha} = \mathbb{I} \otimes \mathbb{I} - \hat{\alpha}_1 \otimes \hat{\alpha}_2</math>
<math>=  (\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2 + \hat{\alpha}_1 \otimes (\mathbb{I} - \hat{\alpha}_2) + (\mathbb{I} - \hat{\alpha}_1) \otimes (\mathbb{I} - \hat{\alpha}_2)</math>
<math>=  (\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2 + \hat{\alpha}_1 \otimes (\mathbb{I} - \hat{\alpha}_2) + (\mathbb{I} - \hat{\alpha}_1) \otimes (\mathbb{I} - \hat{\alpha}_2)</math>इस अभिव्यक्ति में आने वाले शब्द:
इस अभिव्यक्ति में आने वाले शब्द:


* <math>(\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2</math>
* <math>(\mathbb{I} - \hat{\alpha}_1) \otimes \hat{\alpha}_2</math>
Line 76: Line 75:
प्रत्येक की व्याख्या इस प्रकार की जा सकती है:
प्रत्येक की व्याख्या इस प्रकार की जा सकती है:
   
   
* <math>\,\alpha_1 </math> झूठा है एवं <math>\,\alpha_2 </math> क्या सत्य है
* <math>\,\alpha_1 </math> झूठा है एवं <math>\,\alpha_2 </math> क्या सत्य है,
* <math>\,\alpha_1 </math> सत्य है एवं <math>\,\alpha_2 </math> गलत है
* <math>\,\alpha_1 </math> सत्य है एवं <math>\,\alpha_2 </math> गलत है,
* दोनों <math>\,\alpha_1 </math> झूठा है एवं <math>\,\alpha_2 </math> गलत है
* दोनों <math>\,\alpha_1 </math> झूठा है एवं <math>\,\alpha_2 </math> गलत है,


ये तीन सजातीय इतिहास, OR ऑपरेशन के साथ मिलकर, प्रस्ताव के तरीके के लिए सभी संभावनाएं शामिल करते हैं<math>\,\alpha_1</math> एवं तब <math>\,\alpha_2</math>झूठा हो सकता है। इसलिए हम देखते हैं कि की परिभाषा <math>\widehat{\neg \alpha}</math> किस प्रस्ताव से सहमत हैं <math>\neg \alpha</math> मतलब होना चाहिए।
ये तीन सजातीय इतिहास, ओआर (OR) ऑपरेशन के साथ मिलकर, प्रस्ताव की प्रविधि के लिए सभी संभावनाएं सम्मिलित करते हैं।  तब<math>\,\alpha_1</math> एवं <math>\,\alpha_2</math>झूठा हो सकता है। इसलिए हम देखते हैं कि की परिभाषा <math>\widehat{\neg \alpha}</math> किस प्रस्ताव से सहमत हैं <math>\neg \alpha</math> अर्थ होना चाहिए।


==संदर्भ==
==संदर्भ==

Revision as of 16:18, 25 May 2023

इतिहास प्रक्षेपण ऑपरेटर (एचपीओ) औपचारिकता क्रिस्टोफर ईशम द्वारा विकसित अस्थायी क्वांटम नियम के लिए दृष्टिकोण है। यह समय के विभिन्न बिंदुओं पर क्वांटम यांत्रिकी प्रस्तावों की तार्किक संरचना से संबंधित है।

परिचय

मानक क्वांटम यांत्रिकी में भौतिक प्रणाली हिल्बर्ट अंतरिक्ष से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को हर्मिटियन संचालक द्वारा दर्शाया जाता है।

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

एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं।

इतिहास के प्रस्ताव

सजातीय इतिहास

सजातीय इतिहास प्रस्ताव एकल-बार प्रस्तावों का क्रम है, भिन्न-भिन्न समय पर निर्दिष्ट किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को निरूपित करेंगे, जैसे एवं इसे इस रूप में पढ़ें समय पर सत्य है एवं तत्पश्चात समय पर सत्य है एवं तत्पश्चात एवं तब समय पर क्या सत्य है।

अमानवीय इतिहास

सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। उदाहरण प्रस्ताव है या दो सजातीय इतिहास के लिए है।

इतिहास प्रक्षेपण ऑपरेटर

एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण ऑपरेटरों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व करना है। यहीं से इतिहास प्रक्षेपण ऑपरेटर (HPO) नाम आता है।

समान इतिहास के लिए हम प्रोजेक्टर को परिभाषित करने के लिए हिल्बर्ट अंतरिक्ष के टेंसर उत्पाद का उपयोग कर सकते हैं।

जहाँ प्रक्षेपण ऑपरेटर चालू है, जो प्रस्ताव का प्रतिनिधित्व समय में करता है।

यह टेंसर उत्पाद इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण ऑपरेटर है, सभी प्रक्षेपण ऑपरेटर चालू नहीं हैं, प्रपत्र के टेंसर उत्पादों के योग के रूप में लिखा जा सकता है, इन अन्य प्रक्षेपण ऑपरेटरों का उपयोग सजातीय इतिहासों के जाली संचालन को प्रारम्भ करके अमानवीय इतिहास का प्रतिनिधित्व करने के लिए किया जाता है।

लौकिक क्वांटम नियम

इतिहास पर प्रक्षेपको द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व हिल्बर्ट अंतरिक्ष स्वाभाविक रूप से इतिहास प्रस्तावों की तार्किक संरचना को कूटबद्ध करता है। इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन के सेट पर जाली (आदेश) संचालन इतिहास प्रस्तावों पर तार्किक संचालन के जाल के मॉडल के लिए प्रारम्भ किया जा सकता है।

यदि दो सजातीय इतिहास एवं उसी अस्थायी समर्थन को विचार न करें जिसे वे संशोधित कर सकते हैं जिससे वे ऐसा कर सकें। यदि के अस्थायी समर्थन में है, किन्तु नहीं है, (उदाहरण के लिए) तत्पश्चात नया सजातीय इतिहास प्रस्ताव भिन्न है, सदैव सत्य प्रस्ताव को शामिल करके बन सकता है। इस प्रकार लौकिक का समर्थन करता है, सदैव साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन विचार करते हैं।

अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं, एवं ऐसा है कि


संयोजन (एवं)

यदि एवं दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव एवं समान इतिहास भी है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है।


वियोग (या)

यदि एवं दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव या सामान्यतः सजातीय इतिहास नहीं है। यह प्रक्षेपण ऑपरेटर द्वारा दर्शाया गया है।


निषेध (नहीं)

प्रक्षेपण ऑपरेटरों की जाली में नकारात्मक क्रिया की होती है।

कहाँ हिल्बर्ट अंतरिक्ष पर पहचान ऑपरेटर है। इस प्रकार प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करता था (अर्थात् नहीं ) है,


उदाहरण: दो बार का इतिहास

उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें . प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करने के लिए है,

इस अभिव्यक्ति में आने वाले शब्द:

  • .

प्रत्येक की व्याख्या इस प्रकार की जा सकती है:

  • झूठा है एवं क्या सत्य है,
  • सत्य है एवं गलत है,
  • दोनों झूठा है एवं गलत है,

ये तीन सजातीय इतिहास, ओआर (OR) ऑपरेशन के साथ मिलकर, प्रस्ताव की प्रविधि के लिए सभी संभावनाएं सम्मिलित करते हैं। तब एवं झूठा हो सकता है। इसलिए हम देखते हैं कि की परिभाषा किस प्रस्ताव से सहमत हैं अर्थ होना चाहिए।

संदर्भ