এই পেপারটি বিভিন্ন সংজ্ঞার অধীনে সাধারণ আপেক্ষিকতার কালোত্তীর্ণ সংগ্রহের নির্ধারণবাদী বৈশিষ্ট্য অধ্যয়ন করে। লেখকরা প্রথমে Belot (১৯৯৫) দ্বারা প্রস্তাবিত তিনটি ক্রমবর্ধমান শক্তিশালী নির্ধারণবাদের সংজ্ঞা পরীক্ষা করেন, যার মধ্যে সবচেয়ে শক্তিশালী সংজ্ঞাটি "কঠোরতা" (rigidity) নামক একটি অপ্রতিসাম্য শর্ত জড়িত, যা Geroch (১৯৬৯) দ্বারা বিভিন্ন প্রেক্ষাপটে অধ্যয়ন করা হয়েছিল। লেখকরা আরও শক্তিশালী অপ্রতিসাম্য শর্তগুলি অন্বেষণ করেন, যা নির্ধারণবাদের আরও শক্তিশালী রূপের দিকে পরিচালিত করে। পেপারটি এই ধরনের একাধিক সংজ্ঞা উপস্থাপন করে, Belot এর তিনটি সংজ্ঞার সাথে তাদের সম্পর্ক স্পষ্ট করে, এবং প্রমাণ করে যে সাধারণ আপেক্ষিকতার কালোত্তীর্ণ সংগ্রহ বিদ্যমান যা পূর্বে পরিচিত থেকে আরও শক্তিশালী নির্ধারণবাদের রূপ সন্তুষ্ট করে, সাথে বেশ কয়েকটি উন্মুক্ত প্রশ্ন উপস্থাপন করে।
এই পেপারের গবেষণার মূল প্রশ্ন হল: কোন সাধারণ আপেক্ষিকতার কালোত্তীর্ণ সংগ্রহগুলি কোন সংজ্ঞার অধীনে নির্ধারণবাদী? এটি পদার্থবিজ্ঞানের দর্শনে একটি মৌলিক প্রশ্ন, যা কালোত্তীর্ণ তত্ত্বের সারমর্ম বৈশিষ্ট্যগুলির সাথে জড়িত।
১. দার্শনিক তাৎপর্য: নির্ধারণবাদের সমস্যা স্বাধীন ইচ্ছা, কার্যকারণতা এবং অন্যান্য দার্শনিক মূল বিষয়গুলির সাথে সম্পর্কিত २. পদার্থবিজ্ঞানের ভিত্তি: সাধারণ আপেক্ষিকতার নির্ধারণবাদী বৈশিষ্ট্য বোঝা এই তত্ত্বের পূর্বাভাসমূলক ক্ষমতা বোঝার জন্য অপরিহার্য ३. "গর্ত যুক্তি" (hole argument): এটি সাধারণ আপেক্ষিকতার দর্শনে একটি ক্লাসিক সমস্যা, যা কালোত্তীর্ণ সারবত্তাবাদ এবং সম্পর্কবাদের বিতর্কের সাথে জড়িত
१. সংজ্ঞার অসামঞ্জস্য: MLE নির্ধারণবাদের (Montague-Lewis-Earman) একাধিক নির্ভুল উপায় রয়েছে, কিন্তু সিস্টেমেটিক তুলনার অভাব রয়েছে २. অপর্যাপ্ত গবেষণা: Belot এর তৃতীয় সংজ্ঞা (কঠোরতা শর্ত জড়িত) প্রায় ৩০ বছর উপেক্ষা করা হয়েছে ३. প্রতিসাম্য সমস্যা: বর্তমান সংজ্ঞাগুলি সম্ভবত কিছু স্বজ্ঞাত অ-নির্ধারণবাদী পরিস্থিতিকে নির্ধারণবাদী হিসাবে বিচার করতে পারে ४. শক্তির অপ্রতুলতা: নির্দিষ্ট haecceitism অবস্থান থেকে, বর্তমান সংজ্ঞাগুলি যথেষ্ট শক্তিশালী নয়, সমস্ত অনিশ্চয়তা বাদ দিতে পারে না
লেখকরা একটি বহুত্ববাদী অবস্থান গ্রহণ করেন: "একমাত্র সঠিক" নির্ধারণবাদের সংজ্ঞা ক্যাপচার করার চেষ্টা না করে, তারা বিভিন্ন কালোত্তীর্ণ সংগ্রহের বিভিন্ন সংজ্ঞার অধীনে নির্ধারণবাদী বৈশিষ্ট্যগুলি সিস্টেমেটিকভাবে ম্যাপ করে, একটি সম্পূর্ণ স্তরবিন্যাস কাঠামো প্রতিষ্ঠা করে।
१. নির্ধারণবাদের সংজ্ঞার স্তরবিন্যাস কাঠামো প্রতিষ্ঠা: 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+ সংগ্রহের (চার-মাত্রিক, অ-প্রসারণযোগ্য, বৈশ্বিক অতিপরবলয়, শূন্যস্থান সমাধান) উপসেটগুলি শক্তিশালী নির্ধারণবাদের রূপ সন্তুষ্ট করে কিনা তা সম্পর্কে
ইনপুট: সাধারণ আপেক্ষিকতার কালোত্তীর্ণ সংগ্রহ C ⊆ H (H হল বৈশ্বিক অতিপরবলয় কালোত্তীর্ণ সংগ্রহ)
আউটপুট: এই সংগ্রহটি কোন ধরনের নির্ধারণবাদ সন্তুষ্ট করে তা নির্ধারণ করা
মূল ধারণা:
সংজ্ঞা १: সংগ্রহ C হল de dicto নির্ধারণবাদী, যদি যেকোনো (M,g), (M',g') ∈ C এবং প্রাথমিক খণ্ড U ⊂ M, U' ⊂ M' এর জন্য, যদি একটি সমদূরত্ব φ: U → U' বিদ্যমান থাকে, তাহলে একটি সমদূরত্ব ψ: M → M' বিদ্যমান থাকে।
স্বজ্ঞা: প্রাথমিক খণ্ডের সমরূপতা সামগ্রিক সমরূপতার অস্তিত্ব নিশ্চিত করে (কিন্তু একই হতে হবে না)
সংজ্ঞা २: সংগ্রহ C হল de re নির্ধারণবাদী, যদি যেকোনো (M,g), (M',g') ∈ C এবং প্রাথমিক খণ্ড U ⊂ M, U' ⊂ M' এর জন্য, যদি একটি সমদূরত্ব φ: U → U' বিদ্যমান থাকে, তাহলে একটি সমদূরত্ব ψ: M → M' বিদ্যমান থাকে যেখানে ψ|_U = φ।
স্বজ্ঞা: প্রাথমিক খণ্ডের সমরূপতা অবশ্যই সামগ্রিক সমরূপতায় প্রসারিত হতে পারে
মূল পার্থক্য: স্থানীয় এবং সামগ্রিক সমরূপতার সামঞ্জস্যতা প্রয়োজন
সংজ্ঞা ३: de re ভিত্তিতে অনন্যতা শর্ত যোগ করা - ψ|_U = φ সন্তুষ্ট করে এমন বৈশ্বিক সমদূরত্ব ψ অবশ্যই অনন্য হতে হবে।
প্রযুক্তিগত মূল চাবিকাঠি: এটি সংগ্রহটি কঠোরতা শর্ত সন্তুষ্ট করার সমতুল্য
সংজ্ঞা ५: de dicto ভিত্তিতে অনন্যতা যোগ করা - প্রাথমিক খণ্ড সমরূপতা φ: U → U' দেওয়া, বৈশ্বিক সমদূরত্ব ψ: M → M' অবশ্যই অনন্য হতে হবে।
প্রযুক্তিগত মূল চাবিকাঠি: এটি de dicto + দীর্ঘ গলা শর্ত (giraffe) এর সমতুল্য
সংজ্ঞা ८-९: de dicto/de re + হেরাক্লিটাস শর্ত (Heraclitus) সন্তুষ্ট করা প্রয়োজন
হেরাক্লিটাস শর্ত: যেকোনো খোলা সেট O ⊆ M এর জন্য, যদি সমদূরত্ব φ, ψ: O → M' বিদ্যমান থাকে, তাহলে φ = ψ
মূল ধারণা: এমনকি স্থানীয় প্রতিসাম্যতাও অনুমতি দেওয়া হয় না
সংজ্ঞা ४: যেকোনো (M,g), (M',g') ∈ C এবং খোলা সেট O ⊂ M এর জন্য, যদি সমদূরত্ব φ, ψ: M → M' সন্তুষ্ট করে φ|_O = ψ|_O, তাহলে φ = ψ।
অর্থ: খোলা সেটে সামঞ্জস্যপূর্ণ বৈশ্বিক সমদূরত্ব অবশ্যই সম্পূর্ণভাবে একই হতে হবে
মূল ফলাফল (Geroch ১৯৬৯): সমস্ত সাধারণ আপেক্ষিকতার কালোত্তীর্ণ সংগ্রহ কঠোর (প্রস্তাব ३)
সংজ্ঞা ६: যেকোনো (M,g), (M',g') ∈ C এর জন্য, যদি সমদূরত্ব φ, ψ: M → M' বিদ্যমান থাকে, তাহলে φ = ψ।
অর্থ: দুটি কালোত্তীর্ণের মধ্যে বৈশ্বিক সমদূরত্ব সর্বাধিক একটি
সম্পর্ক: দীর্ঘ গলা ⇒ কঠোরতা (কিন্তু বিপরীতটি সত্য নয়)
সংজ্ঞা ७: যেকোনো (M,g), (M',g') ∈ C এবং খোলা সেট O ⊆ M এর জন্য, যদি সমদূরত্ব এম্বেডিং φ, ψ: O → M' বিদ্যমান থাকে, তাহলে φ = ψ।
অর্থ: এমনকি স্থানীয় সমদূরত্ব এম্বেডিংও অবশ্যই অনন্য হতে হবে
সম্পর্ক: হেরাক্লিটাস ⇒ দীর্ঘ গলা ⇒ কঠোরতা
१. সিস্টেমেটাইজেশন ফ্রেমওয়ার্ক: প্রথমবারের মতো বিভিন্ন নির্ধারণবাদের সংজ্ঞা MLE ফ্রেমওয়ার্কের অধীনে একীভূত করে সিস্টেমেটিক তুলনা করা
२. দ্বৈততা অন্তর্দৃষ্টি:
३. সমতুল্যতা প্রমাণ: সাধারণ আপেক্ষিকতায়:
४. Weatherall এর ফলাফলের সংযোগ: প্রমাণ করা যে de re* নির্ধারণবাদ (Id ≠ Iso) শর্ত নিশ্চিত করে, অর্থাৎ অ-তুচ্ছ গর্ত পার্থক্যের অধীনে পরিচয় ম্যাপিং সমদূরত্ব নয়
५. নির্মাণমূলক প্রমাণ: নির্দিষ্ট উদাহরণের মাধ্যমে (যেমন উদাহরণ ४) শক্তিশালী নির্ধারণবাদী রূপের সন্তুষ্টিযোগ্যতা প্রমাণ করা
এই পেপারটি গাণিতিক পদার্থবিজ্ঞানের তাত্ত্বিক গবেষণা, যা ঐতিহ্যবাহী অর্থে পরীক্ষা জড়িত নয়, কিন্তু নিম্নলিখিত "পরীক্ষামূলক" উপাদান অন্তর্ভুক্ত করে:
१. Choquet-Bruhat-Geroch উপপাদ্য: শূন্যস্থান Einstein সমীকরণের প্রাথমিক মূল্য সমস্যার অনন্য সমাধান রয়েছে २. Geroch কঠোরতা উপপাদ্য: সমস্ত সাধারণ আপেক্ষিকতার কালোত্তীর্ণ সংগ্রহ কঠোর ३. টপোলজি এবং পার্থক্য জ্যামিতি: Cauchy পৃষ্ঠ, বৈশ্বিক অতিপরবলয়তা, সমদূরত্ব ম্যাপিং তত্ত্ব
de re নির্ধারণবাদ ⇒ de dicto নির্ধারণবাদ (বিপরীতটি সত্য নয়)
যেকোনো C ⊆ V+ হল de re (এবং তাই de dicto) নির্ধারণবাদী
প্রমাণ: Choquet-Bruhat-Geroch উপপাদ্য ব্যবহার করা
যেকোনো C ⊆ U (সমস্ত কালোত্তীর্ণ সংগ্রহ) কঠোর
প্রমাণ: Geroch এর সাধারণ কঠোরতা ফলাফল ব্যবহার করা
H তে, C হল de re নির্ধারণবাদী ⇔ C হল de re* নির্ধারণবাদী
তাৎপর্য: মান সাধারণ আপেক্ষিকতায় এই দুটি ধারণা আলাদা করা যায় না
যেকোনো C ⊆ V+ হল de re* নির্ধারণবাদী
তাৎপর্য: বিপুল সংখ্যক পদার্থবিজ্ঞান-প্রাসঙ্গিক কালোত্তীর্ণ পূর্বে জানা থেকে আরও শক্তিশালী নির্ধারণবাদ সন্তুষ্ট করে
de re** ⇔ de dicto**
প্রমাণের রূপরেখা: হেরাক্লিটাস শর্ত ব্যবহার করে, de dicto** স্বয়ংক্রিয়ভাবে de re এর প্রসারণ প্রয়োজনীয়তা সন্তুষ্ট করে
লেখক একটি সম্পূর্ণ অন্তর্ভুক্তি সম্পর্ক চিত্র প্রদান করেন:
(de re**) ⇔ (de dicto**)
⇓ ⇓
(de re*) (de dicto*)
⇕ ⇓
(de re) ⇒ (de dicto)
ব্যাখ্যা:
१. কঠোরতার সর্বজনীনতা: মান সাধারণ আপেক্ষিকতায় de re এবং de re* আলাদা করা যায় না (অ-Hausdorff সম্প্রসারণ বা ক্লাসিক্যাল কালোত্তীর্ণ প্রয়োজন)
२. প্রতিসাম্য এবং নির্ধারণবাদের উত্তেজনা:
३. স্থানীয় বনাম বৈশ্বিক: de dicto* স্থানীয় প্রতিসাম্য অনুমতি দেয় কিন্তু বৈশ্বিক প্রতিসাম্য নিষিদ্ধ করে, যখন de re** এমনকি স্থানীয় প্রতিসাম্যও নিষিদ্ধ করে
४. সন্তুষ্টিযোগ্যতা: এমনকি সবচেয়ে শক্তিশালী de re**/de dicto** নির্ধারণবাদও অ-খালি মডেল রয়েছে (উদাহরণ ४)
५. সম্পূর্ণ নির্ধারণবাদের সাথে সংযোগ: de re**/de dicto** সন্তুষ্ট করে এমন কালোত্তীর্ণ সংগ্রহ স্বয়ংক্রিয়ভাবে "সম্পূর্ণ নির্ধারণবাদ" সন্তুষ্ট করে (কারণ প্রতিটি পয়েন্ট কার্যকরভাবে নামকরণ করা হয়)
१. MLE নির্ধারণবাদ ঐতিহ্য:
२. গর্ত যুক্তি সাহিত্য:
३. Belot এর অবদান:
१. কঠোরতা গবেষণা:
२. Belot পুনর্মূল্যায়ন:
३. প্রতিসাম্য শর্ত:
१. সিস্টেমেটিকতা: প্রথমবারের মতো সমস্ত প্রধান নির্ধারণবাদ সংজ্ঞা সিস্টেমেটিকভাবে তুলনা করা २. সম্পূর্ণতা: সম্পূর্ণ অন্তর্ভুক্তি সম্পর্ক চিত্র প্রতিষ্ঠা করা ३. নির্মাণমূলকতা: শক্তিশালী নির্ধারণবাদী রূপের সন্তুষ্টিযোগ্যতা প্রমাণ করা ४. বহুত্ববাদ: একটি অনন্য সঠিক সংজ্ঞা পূর্বনির্ধারণ না করে, সম্পূর্ণ ধারণা স্থান ম্যাপ করা
१. স্তরবিন্যাস কাঠামো: নির্ধারণবাদের বিভিন্ন শক্তির একাধিক নির্ভুল সংস্করণ রয়েছে, একটি কঠোর স্তরবিন্যাস গঠন করে
२. সাধারণ আপেক্ষিকতার বিশেষত্ব:
३. প্রতিসাম্যের ভূমিকা: অপ্রতিসাম্য শর্ত (কঠোরতা, দীর্ঘ গলা, হেরাক্লিটাস) নির্ধারণবাদ বোঝার চাবিকাঠি
४. সন্তুষ্টিযোগ্যতা: এমনকি সবচেয়ে শক্তিশালী নির্ধারণবাদের রূপও পদার্থবিজ্ঞান-প্রাসঙ্গিক কালোত্তীর্ণ সংগ্রহ দ্বারা সন্তুষ্ট হতে পারে
५. দার্শনিক তাৎপর্য: নির্ধারণবাদের সিদ্ধান্ত অত্যন্ত নির্ভর করে:
१. বৈশ্বিক অতিপরবলয় কালোত্তীর্ণে সীমাবদ্ধ: প্রাথমিক খণ্ড সংজ্ঞায়িত করার জন্য, প্রধান আলোচনা H ⊆ U তে সীমাবদ্ধ
२. পদার্থবিজ্ঞান প্রাসঙ্গিকতা অপর্যাপ্তভাবে আলোচিত:
३. ক্লাসিক্যাল কালোত্তীর্ণ তত্ত্ব: নির্দিষ্ট ফলাফল (যেমন de re = de re*) ক্লাসিক্যাল কালোত্তীর্ণে সত্য নয়, কিন্তু পাঠ্যে অপর্যাপ্তভাবে আলোচিত
४. উন্মুক্ত প্রশ্ন: অনেক:
५. প্রযুক্তিগত বিবরণ:
१. সাধারণতা গবেষণা:
२. অ-মান সাধারণ আপেক্ষিকতা:
३. পদার্থ ক্ষেত্রের প্রভাব:
४. কোয়ান্টাম তত্ত্বের সাথে সম্পর্ক:
५. গণনা এবং নির্মাণ:
१. ধারণা স্পষ্টীকরণ: নির্ধারণবাদ আলোচনার জন্য স্পষ্ট ধারণা কাঠামো প্রদান করা २. প্রযুক্তিগত সরঞ্জাম: অপ্রতিসাম্য শর্তের স্তরবিন্যাস অন্যান্য গবেষণায় ব্যবহারযোগ্য ३. উন্মুক্ত সমস্যা: ভবিষ্যত গবেষণার জন্য দিকনির্দেশনা প্রদান করা
१. সাধারণ আপেক্ষিকতার দর্শন: গর্ত যুক্তি, সারবত্তাবাদ বনাম সম্পর্কবাদ २. কালোত্তীর্ণ তত্ত্য তুলনা: বিভিন্ন কালোত্তীর্ণ কাঠামোর নির্ধারণবাদী বৈশিষ্ট্য ३. প্রতিসাম্য গবেষণা: কালোত্তীর্ণ প্রতিসাম্যের গাণিতিক বর্ণনা
१. কোয়ান্টাম ক্ষেত্র তত্ত্ব: বাঁকা কালোত্তীর্ণে কোয়ান্টাম নির্ধারণবাদ २. সংখ্যাগত অনুকরণ: প্রাথমিক মূল্য সমস্যার অনন্যতা পরীক্ষা ३. মহাজাগতিকতা: বাস্তব মহাজাগতিক মডেলের নির্ধারণবাদ বিশ্লেষণ ४. কার্যকারণ সেট তত্ত্ব: বিচ্ছিন্ন কালোত্তীর্ণের নির্ধারণবাদ
१. ধারণা বিশ্লেষণ: ধারণা স্থান সিস্টেমেটিকভাবে অন্বেষণ করার পদ্ধতি २. বহুত্ববাদ: একটি অনন্য উত্তর পূর্বনির্ধারণ না করে গবেষণা কৌশল ३. গাণিতিক দর্শন: দার্শনিক সমস্যা স্পষ্ট করতে গাণিতিক সরঞ্জাম ব্যবহার করা
१. Belot, G. (१९९५): "New Work for Counterpart Theorists: Determinism" - তিনটি নির্ধারণবাদ সংজ্ঞার মূল পেপার
२. Geroch, R. (१९६९): "Limits of Spacetimes" - কালোত্তীর্ণ কঠোরতা প্রমাণের ক্লাসিক পেপার
३. Choquet-Bruhat, Y. & Geroch, R. (१९६९): "Global Aspects of the Cauchy Problem in General Relativity" - Einstein সমীকরণ প্রাথমিক মূল্য সমস্যার ভিত্তি উপপাদ্য
४. Earman, J. & Norton, J. (१९८७): "What Price Spacetime Substantivalism? The Hole Story" - গর্ত যুক্তি প্রস্তাবের ক্লাসিক পেপার
५. Weatherall, J. (२०१८): "Regarding the Hole Argument" - (Id ≠ Iso) শর্তের গুরুত্ব জোর দেওয়া
६. Halvorson, H. & Manchak, J. (२०२५): "Closing the Hole Argument" - গর্ত যুক্তিতে কঠোরতার ভূমিকা পুনর্মূল্যায়ন
७. Manchak, J. & Barrett, T. (আসন্ন): "A Hierarchy of Spacetime Symmetries: Holes to Heraclitus" - হেরাক্লিটাস শর্ত প্রবর্তন
সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ মানের গাণিতিক পদার্থবিজ্ঞান দর্শন পেপার, যা সাধারণ আপেক্ষিকতায় নির্ধারণবাদ ধারণার একাধিক নির্ভুল সংস্করণ এবং তাদের পারস্পরিক সম্পর্ক সিস্টেমেটিকভাবে স্পষ্ট করে। যদিও নির্দিষ্ট পদার্থবিজ্ঞান প্রয়োগ এবং উন্মুক্ত সমস্যা এখনও সমাধানের অপেক্ষায় রয়েছে, পেপারটি এই ক্ষেত্রের জন্য একটি স্পষ্ট ধারণা কাঠামো এবং কঠোর গাণিতিক ভিত্তি প্রদান করে, কালোত্তীর্ণ তত্ত্বের নির্ধারণবাদী বৈশিষ্ট্য বোঝার জন্য গুরুত্বপূর্ণ মূল্য রয়েছে। পেপারের বহুত্ববাদী অবস্থান এবং সিস্টেমেটিক পদ্ধতিও সম্পর্কিত দার্শনিক গবেষণার জন্য একটি ভাল উদাহরণ প্রদান করে।