एचपीओ औपचारिकता: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
इतिहास प्रक्षेपण | इतिहास प्रक्षेपण संचालन (एचपीओ) औपचारिकता [[क्रिस्टोफर ईशम]] द्वारा विकसित [[लौकिक तर्क|अस्थायी]] [[क्वांटम तर्क|क्वांटम नियम]] के लिए दृष्टिकोण है। यह समय के विभिन्न बिंदुओं पर [[क्वांटम यांत्रिकी]] [[प्रस्ताव|प्रस्तावों]] की तार्किक संरचना से संबंधित है। | ||
== परिचय == | == परिचय == | ||
Line 5: | Line 5: | ||
मानक क्वांटम यांत्रिकी में भौतिक प्रणाली [[हिल्बर्ट अंतरिक्ष]] <math>\mathcal{H}</math> से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को [[हर्मिटियन संचालक]] <math>\mathcal{H}</math> द्वारा दर्शाया जाता है। | मानक क्वांटम यांत्रिकी में भौतिक प्रणाली [[हिल्बर्ट अंतरिक्ष]] <math>\mathcal{H}</math> से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को [[हर्मिटियन संचालक]] <math>\mathcal{H}</math> द्वारा दर्शाया जाता है। | ||
भौतिक प्रस्ताव <math>\,P</math> निश्चित समय पर प्रणाली के विषय में ऑर्थोगोनल [[प्रोजेक्शन ऑपरेटर|प्रक्षेपण | भौतिक प्रस्ताव <math>\,P</math> निश्चित समय पर प्रणाली के विषय में ऑर्थोगोनल [[प्रोजेक्शन ऑपरेटर|प्रक्षेपण संचालन]] द्वारा <math>\hat{P}</math> पर <math>\mathcal{H}</math> दर्शाया जा सकता है। यह प्रतिनिधित्व तार्किक प्रस्तावों की लैटिस एवं हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों की [[जाली (आदेश)]] को साथ जोड़ता है (क्वांटम नियम क्वांटम यांत्रिक प्रणाली के प्रस्तावक जाली देखें)। | ||
एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं। | एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं। | ||
Line 13: | Line 13: | ||
=== सजातीय इतिहास === | === सजातीय इतिहास === | ||
सजातीय इतिहास प्रस्ताव <math>\,\alpha </math> एकल-बार प्रस्तावों का क्रम <math>\alpha_{t_i}</math> है, भिन्न-भिन्न समय पर निर्दिष्ट <math>t_1 < t_2 < \ldots < t_n </math> किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को <math>\,\alpha</math> निरूपित करेंगे, जैसे <math>(\alpha_1,\alpha_2,\ldots,\alpha_n)</math> एवं इसे इस रूप में पढ़ें <math>\alpha_{t_1}</math> समय पर <math>t_1</math> सत्य है एवं तत्पश्चात <math>\alpha_{t_2}</math> समय पर <math>t_2</math> सत्य है एवं तत्पश्चात | सजातीय इतिहास प्रस्ताव <math>\,\alpha </math> एकल-बार प्रस्तावों का क्रम <math>\alpha_{t_i}</math> है, भिन्न-भिन्न समय पर निर्दिष्ट <math>t_1 < t_2 < \ldots < t_n </math> किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को <math>\,\alpha</math> निरूपित करेंगे, जैसे <math>(\alpha_1,\alpha_2,\ldots,\alpha_n)</math> एवं इसे इस रूप में पढ़ें <math>\alpha_{t_1}</math> समय पर <math>t_1</math> सत्य है एवं तत्पश्चात <math>\alpha_{t_2}</math> समय पर <math>t_2</math> सत्य है एवं तत्पश्चात <math>\alpha_{t_n}</math> समय पर <math>t_n</math> क्या सत्य है। | ||
=== अमानवीय इतिहास === | === अमानवीय इतिहास === | ||
सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। उदाहरण प्रस्ताव है <math>\,\alpha</math> या <math>\,\beta</math> दो सजातीय इतिहास के लिए <math>\,\alpha, \beta</math> है। | सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। उदाहरण के लिए प्रस्ताव है <math>\,\alpha</math> या <math>\,\beta</math> दो सजातीय इतिहास के लिए <math>\,\alpha, \beta</math> है। | ||
== इतिहास प्रक्षेपण | == इतिहास प्रक्षेपण संचालन == | ||
एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण | एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व करना है। यहीं से इतिहास प्रक्षेपण संचालन (HPO) नाम आता है। | ||
समान इतिहास के लिए <math>\alpha = (\alpha_1,\alpha_2,\ldots,\alpha_n)</math> हम प्रोजेक्टर को परिभाषित करने के लिए हिल्बर्ट अंतरिक्ष के टेंसर उत्पाद का उपयोग कर सकते हैं। | समान इतिहास के लिए <math>\alpha = (\alpha_1,\alpha_2,\ldots,\alpha_n)</math> हम प्रोजेक्टर को परिभाषित करने के लिए हिल्बर्ट अंतरिक्ष के टेंसर उत्पाद का उपयोग कर सकते हैं। | ||
<math>\hat{\alpha}:= \hat{\alpha}_{t_1} \otimes \hat{\alpha}_{t_2} \otimes \ldots \otimes \hat{\alpha}_{t_n}</math>जहाँ <math>\hat{\alpha}_{t_i}</math> प्रक्षेपण | <math>\hat{\alpha}:= \hat{\alpha}_{t_1} \otimes \hat{\alpha}_{t_2} \otimes \ldots \otimes \hat{\alpha}_{t_n}</math>जहाँ <math>\hat{\alpha}_{t_i}</math> प्रक्षेपण संचालन चालू है, <math>\mathcal{H}</math> जो प्रस्ताव का प्रतिनिधित्व <math>\alpha_{t_i}</math> समय में <math>t_i</math> करता है। | ||
यह <math>\hat{\alpha}</math> टेंसर उत्पाद इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण | यह <math>\hat{\alpha}</math> टेंसर उत्पाद इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन <math>H = \mathcal{H} \otimes \mathcal{H} \otimes \ldots \otimes \mathcal{H} </math> है, सभी प्रक्षेपण संचालन चालू नहीं हैं, प्रपत्र <math>H</math> के टेंसर उत्पादों के योग के रूप में <math>\hat{\alpha}</math> लिखा जा सकता है, इन अन्य प्रक्षेपण संचालनों का उपयोग सजातीय इतिहासों के जाली संचालन को प्रारम्भ करके अमानवीय इतिहास का प्रतिनिधित्व करने के लिए किया जाता है। | ||
== लौकिक क्वांटम नियम == | == लौकिक क्वांटम नियम == | ||
Line 40: | Line 40: | ||
=== संयोजन (एवं) === | === संयोजन (एवं) === | ||
यदि <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>\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> |
Revision as of 16:33, 29 May 2023
इतिहास प्रक्षेपण संचालन (एचपीओ) औपचारिकता क्रिस्टोफर ईशम द्वारा विकसित अस्थायी क्वांटम नियम के लिए दृष्टिकोण है। यह समय के विभिन्न बिंदुओं पर क्वांटम यांत्रिकी प्रस्तावों की तार्किक संरचना से संबंधित है।
परिचय
मानक क्वांटम यांत्रिकी में भौतिक प्रणाली हिल्बर्ट अंतरिक्ष से जुड़ी होती है, निश्चित समय पर प्रणाली की अवस्थाओं को अंतरिक्ष में सामान्यीकृत सदिश द्वारा दर्शाया जाता है एवं भौतिक वेधशालाओं को हर्मिटियन संचालक द्वारा दर्शाया जाता है।
भौतिक प्रस्ताव निश्चित समय पर प्रणाली के विषय में ऑर्थोगोनल प्रक्षेपण संचालन द्वारा पर दर्शाया जा सकता है। यह प्रतिनिधित्व तार्किक प्रस्तावों की लैटिस एवं हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों की जाली (आदेश) को साथ जोड़ता है (क्वांटम नियम क्वांटम यांत्रिक प्रणाली के प्रस्तावक जाली देखें)।
एचपीओ औपचारिकता प्रणाली के विषय में उन प्रस्तावों के लिए इन विचारों का स्वाभाविक विस्तार है जो अधिक बार संबंधित होते हैं।
इतिहास के प्रस्ताव
सजातीय इतिहास
सजातीय इतिहास प्रस्ताव एकल-बार प्रस्तावों का क्रम है, भिन्न-भिन्न समय पर निर्दिष्ट किया गया। इन समयों को इतिहास का लौकिक सहारा कहा जाता है। हम प्रस्ताव को निरूपित करेंगे, जैसे एवं इसे इस रूप में पढ़ें समय पर सत्य है एवं तत्पश्चात समय पर सत्य है एवं तत्पश्चात समय पर क्या सत्य है।
अमानवीय इतिहास
सभी इतिहास प्रस्तावों को भिन्न-भिन्न समय पर प्रस्तावों के अनुक्रम द्वारा प्रस्तुत नहीं किया जा सकता है। इन्हें अमानवीय इतिहास प्रस्ताव कहा जाता है। उदाहरण के लिए प्रस्ताव है या दो सजातीय इतिहास के लिए है।
इतिहास प्रक्षेपण संचालन
एचपीओ औपचारिकता का मुख्य अवलोकन इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालनों द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व करना है। यहीं से इतिहास प्रक्षेपण संचालन (HPO) नाम आता है।
समान इतिहास के लिए हम प्रोजेक्टर को परिभाषित करने के लिए हिल्बर्ट अंतरिक्ष के टेंसर उत्पाद का उपयोग कर सकते हैं।
जहाँ प्रक्षेपण संचालन चालू है, जो प्रस्ताव का प्रतिनिधित्व समय में करता है।
यह टेंसर उत्पाद इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन है, सभी प्रक्षेपण संचालन चालू नहीं हैं, प्रपत्र के टेंसर उत्पादों के योग के रूप में लिखा जा सकता है, इन अन्य प्रक्षेपण संचालनों का उपयोग सजातीय इतिहासों के जाली संचालन को प्रारम्भ करके अमानवीय इतिहास का प्रतिनिधित्व करने के लिए किया जाता है।
लौकिक क्वांटम नियम
इतिहास पर प्रक्षेपको द्वारा इतिहास प्रस्तावों का प्रतिनिधित्व हिल्बर्ट अंतरिक्ष स्वाभाविक रूप से इतिहास प्रस्तावों की तार्किक संरचना को कूटबद्ध करता है। इतिहास हिल्बर्ट अंतरिक्ष पर प्रक्षेपण संचालन के सेट पर जाली (आदेश) संचालन इतिहास प्रस्तावों पर तार्किक संचालन के जाल के मॉडल के लिए प्रारम्भ किया जा सकता है।
यदि दो सजातीय इतिहास एवं उसी अस्थायी समर्थन को विचार न करें जिसे वे संशोधित कर सकते हैं जिससे वे ऐसा कर सकें। यदि के अस्थायी समर्थन में है, किन्तु नहीं है, (उदाहरण के लिए) तत्पश्चात नया सजातीय इतिहास प्रस्ताव भिन्न है, सदैव सत्य प्रस्ताव को शामिल करके बन सकता है। इस प्रकार लौकिक का समर्थन करता है, सदैव साथ जुड़ सकते हैं। इसलिए हम मान लेंगे कि सभी सजातीय इतिहास समान लौकिक समर्थन विचार करते हैं।
अब हम सजातीय इतिहास प्रस्तावों के लिए तार्किक संचालन प्रस्तुत करते हैं, एवं ऐसा है कि
संयोजन (एवं)
यदि एवं दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव एवं समान इतिहास भी है। यह प्रक्षेपण संचालन द्वारा दर्शाया गया है।
वियोग (या)
यदि एवं दो सजातीय इतिहास हैं तो इतिहास प्रस्ताव या सामान्यतः सजातीय इतिहास नहीं है। यह प्रक्षेपण संचालन द्वारा दर्शाया गया है।
निषेध (नहीं)
प्रक्षेपण संचालनों की जाली में नकारात्मक क्रिया की होती है।
कहाँ हिल्बर्ट अंतरिक्ष पर पहचान संचालन है। इस प्रकार प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करता था (अर्थात् नहीं ) है,
उदाहरण: दो बार का इतिहास
उदाहरण के रूप में, दो बार के सजातीय इतिहास प्रस्ताव के निषेध पर विचार करें . प्रोजेक्टर प्रस्ताव का प्रतिनिधित्व करने के लिए है,
इस अभिव्यक्ति में आने वाले शब्द:
- .
प्रत्येक की व्याख्या इस प्रकार की जा सकती है:
- झूठा है एवं क्या सत्य है,
- सत्य है एवं गलत है,
- दोनों झूठा है एवं गलत है,
ये तीन सजातीय इतिहास, ओआर (OR) ऑपरेशन के साथ मिलकर, प्रस्ताव की प्रविधि के लिए सभी संभावनाएं सम्मिलित करते हैं। तब एवं झूठा हो सकता है। इसलिए हम देखते हैं कि की परिभाषा किस प्रस्ताव से सहमत हैं अर्थ होना चाहिए।
संदर्भ
- C.J. Isham, Quantum Logic and the Histories Approach to Quantum Theory, J. Math. Phys. 35 (1994) 2157-2185, arXiv:gr-qc/9308006v1