This paper concerns the question of which collections of general relativistic spacetimes are deterministic relative to which definitions. We begin by considering a series of three definitions of increasing strength due to Belot (1995). The strongest of these definitions is particularly interesting for spacetime theories because it involves an asymmetry condition called ``rigidity'' that has been studied previously in a different context (Geroch 1969; Halvorson and Manchak 2022; Dewar 2024). We go on to explore other (stronger) asymmetry conditions that give rise to other (stronger) forms of determinism. We introduce a number of definitions of this type and clarify the relationships between them and the three considered by Belot. We go on to show that there are collections of general relativistic spacetimes that satisfy much stronger forms of determinism than previously known. We also highlight a number of open questions.
यह पेपर विभिन्न परिभाषाओं के तहत सामान्य सापेक्षता के समय-स्थान संग्रह के निर्धारणवादी गुणों की जांच करता है। लेखक पहले Belot (1995) द्वारा प्रस्तावित तीन बढ़ती हुई शक्ति की निर्धारणवाद परिभाषाओं पर विचार करते हैं, जिनमें सबसे मजबूत परिभाषा "कठोरता" (rigidity) नामक एक असमरूपता शर्त को शामिल करती है, जिसका अध्ययन Geroch (1969) ने विभिन्न संदर्भों में किया था। लेखक आगे मजबूत असमरूपता शर्तों की खोज करते हैं, जो निर्धारणवाद के मजबूत रूपों की ओर ले जाती हैं। पेपर इस तरह की कई परिभाषाएं प्रस्तुत करता है, Belot की तीन परिभाषाओं के साथ उनके संबंधों को स्पष्ट करता है, और यह प्रमाणित करता है कि सामान्य सापेक्षता के समय-स्थान संग्रह मौजूद हैं जो पहले ज्ञात की तुलना में निर्धारणवाद के मजबूत रूपों को संतुष्ट करते हैं, साथ ही कई खुले प्रश्न प्रस्तुत करते हैं।
इस पेपर की मूल समस्या है: कौन से सामान्य सापेक्षता के समय-स्थान संग्रह किन परिभाषाओं के तहत निर्धारणवादी हैं? यह भौतिकी के दर्शन में एक मौलिक प्रश्न है, जो समय-स्थान सिद्धांत की आवश्यक विशेषताओं से संबंधित है।
लेखक बहुलवादी दृष्टिकोण अपनाते हैं: "एकमात्र सही" निर्धारणवाद परिभाषा को पकड़ने का प्रयास न करके, बल्कि विभिन्न समय-स्थान संग्रह के विभिन्न परिभाषाओं के तहत निर्धारणवादी गुणों को व्यवस्थित रूप से मानचित्रित करते हैं, एक पूर्ण पदानुक्रम संरचना स्थापित करते हैं।
निर्धारणवाद परिभाषाओं की पदानुक्रम संरचना स्थापित करना: छह निर्धारणवाद रूपों (de dicto, de re, de re*, de dicto*, de re**, de dicto**) और उनके निहितार्थ संबंधों को व्यवस्थित रूप से स्पष्ट करना
मुख्य समतुल्यता को प्रमाणित करना: मानक सामान्य सापेक्षता में, de re निर्धारणवाद de re* निर्धारणवाद के बराबर है (कठोरता प्रमेय के माध्यम से)
नए निर्धारणवाद रूपों का परिचय: पहली बार de dicto*, de re**, de dicto** निर्धारणवाद का व्यवस्थित अध्ययन, और यह प्रमाणित करना कि बाद के दोनों समतुल्य हैं
असमरूपता शर्तों को निर्धारणवाद से जोड़ना: कठोरता (rigidity), जिराफ़ (giraffe), हेराक्लिटस (Heraclitus) तीन असमरूपता शर्तें कैसे निर्धारणवाद की विभिन्न शक्तियों के अनुरूप हैं, यह स्पष्ट करना
मजबूत निर्धारणवाद की संतुष्टि को प्रमाणित करना: ठोस उदाहरणों का निर्माण करके यह प्रमाणित करना कि यहां तक कि सबसे मजबूत de re**/de dicto** निर्धारणवाद भी गैर-खाली समय-स्थान संग्रह द्वारा संतुष्ट किया जा सकता है
खुले प्रश्न प्रस्तुत करना: V+ संग्रह (चार-आयामी, अविस्तारणीय, वैश्विक रूप से अतिशयोक्तिपूर्ण, निर्वात समाधान) के उपसंग्रह के बारे में कि क्या वे मजबूत निर्धारणवाद रूपों को संतुष्ट करते हैं
परिभाषा 1: संग्रह C de dicto निर्धारणवादी है, यदि किसी भी (M,g), (M',g') ∈ C और प्रारंभिक खंड U ⊂ M, U' ⊂ M' के लिए, यदि एक समरूपता φ: U → U' मौजूद है, तो एक समरूपता ψ: M → M' मौजूद है।
अंतर्ज्ञान: प्रारंभिक खंड की समरूपता पूरे के लिए कुछ समरूपता का अर्थ है (लेकिन एक ही होने की आवश्यकता नहीं है)
परिभाषा 2: संग्रह C de re निर्धारणवादी है, यदि किसी भी (M,g), (M',g') ∈ C और प्रारंभिक खंड U ⊂ M, U' ⊂ M' के लिए, यदि एक समरूपता φ: U → U' मौजूद है, तो एक समरूपता ψ: M → M' मौजूद है जैसे कि ψ|_U = φ।
अंतर्ज्ञान: प्रारंभिक खंड की समरूपता को पूरी समरूपता तक विस्तारित किया जा सकता है
मुख्य अंतर: स्थानीय और वैश्विक समरूपता की सामंजस्य की आवश्यकता
व्यवस्थित ढांचा: पहली बार सभी निर्धारणवाद परिभाषाओं को MLE ढांचे के तहत व्यवस्थित तुलना के लिए एकीकृत करना
द्वैत अंतर्दृष्टि:
कठोरता de re निर्धारणवाद का "द्वैत" है (पूर्व अद्वितीयता सुनिश्चित करता है, बाद वाला अस्तित्व सुनिश्चित करता है)
जिराफ़ de dicto निर्धारणवाद का "द्वैत" है
समतुल्यता प्रमाण: सामान्य सापेक्षता में:
de re ⇔ de re* (Geroch कठोरता प्रमेय के माध्यम से)
de re** ⇔ de dicto** (प्रस्ताव 6 का नया परिणाम)
Weatherall के परिणामों से जुड़ना: यह प्रमाणित करना कि de re* निर्धारणवाद (Id ≠ Iso) शर्त का अर्थ है, अर्थात् गैर-तुच्छ छिद्र विभेदरूपता के तहत पहचान मानचित्र समरूपता नहीं है
रचनात्मक प्रमाण: ठोस उदाहरणों के माध्यम से (जैसे उदाहरण 4) मजबूत निर्धारणवाद रूपों की संतुष्टि को प्रमाणित करना
कठोरता की सार्वभौमिकता: मानक सामान्य सापेक्षता में de re और de re* को अलग नहीं किया जा सकता (गैर-Hausdorff विस्तार या शास्त्रीय समय-स्थान की आवश्यकता है)
समरूपता और निर्धारणवाद का तनाव:
Minkowski समय-स्थान सबसे मजबूत de re* निर्धारणवाद को संतुष्ट करता है
लेकिन वैश्विक समरूपता के कारण de dicto* निर्धारणवाद को संतुष्ट नहीं करता
यह "निर्धारणवाद" के विभिन्न दार्शनिक दृष्टिकोणों के विभिन्न समझ को प्रतिबिंबित करता है
स्थानीय बनाम वैश्विक: de dicto* स्थानीय समरूपता को अनुमति देता है लेकिन वैश्विक समरूपता को प्रतिबंधित करता है, जबकि de re** यहां तक कि स्थानीय समरूपता को भी प्रतिबंधित करता है
संतुष्टि: यहां तक कि सबसे मजबूत de re**/de dicto** निर्धारणवाद के पास गैर-खाली मॉडल हैं (उदाहरण 4)
पूर्ण निर्धारणवाद से जुड़ना: de re**/de dicto** को संतुष्ट करने वाले समय-स्थान संग्रह स्वचालित रूप से "पूर्ण निर्धारणवाद" को संतुष्ट करते हैं (क्योंकि प्रत्येक बिंदु प्रभावी रूप से नामित है)
Belot, G. (1995): "New Work for Counterpart Theorists: Determinism" - तीन निर्धारणवाद परिभाषाओं के मूल पेपर
Geroch, R. (1969): "Limits of Spacetimes" - समय-स्थान कठोरता को प्रमाणित करने वाला शास्त्रीय पेपर
Choquet-Bruhat, Y. & Geroch, R. (1969): "Global Aspects of the Cauchy Problem in General Relativity" - Einstein समीकरणों की प्रारंभिक मूल्य समस्या का मूल प्रमेय
Earman, J. & Norton, J. (1987): "What Price Spacetime Substantivalism? The Hole Story" - छिद्र तर्क को प्रस्तुत करने वाला शास्त्रीय पेपर
Weatherall, J. (2018): "Regarding the Hole Argument" - (Id ≠ Iso) शर्त के महत्व पर जोर देना
Halvorson, H. & Manchak, J. (2025): "Closing the Hole Argument" - छिद्र तर्क में कठोरता की भूमिका का पुनर्मूल्यांकन
Manchak, J. & Barrett, T. (आगामी): "A Hierarchy of Spacetime Symmetries: Holes to Heraclitus" - हेराक्लिटस शर्त का परिचय
समग्र मूल्यांकन: यह गणितीय भौतिकी के दर्शन का एक उच्च गुणवत्ता वाला पेपर है, जो सामान्य सापेक्षता में निर्धारणवाद अवधारणा के कई सटीक रूपों और उनके पारस्परिक संबंधों को व्यवस्थित रूप से स्पष्ट करता है। हालांकि कुछ भौतिकी अनुप्रयोग और खुले प्रश्न अभी भी समाधान की प्रतीक्षा में हैं, लेकिन पेपर इस क्षेत्र के लिए एक स्पष्ट अवधारणा ढांचा और कठोर गणितीय आधार प्रदान करता है, जो समय-स्थान सिद्धांत के निर्धारणवादी गुणों को समझने के लिए महत्वपूर्ण है। पेपर की बहुलवादी दृष्टिकोण और व्यवस्थित पद्धति संबंधी विधि भी संबंधित दार्शनिक अनुसंधान के लिए एक अच्छा उदाहरण प्रदान करते हैं।