Invariant Measures for Soliton Systems Generated by Mealy Automata

तकनीकी सारांश: मीली ऑटोमेटा (Mealy Automata) द्वारा जनित सॉलिटन प्रणालियों के लिए अपरिवर्तनीय माप (Invariant Measures)

समस्या विवरण
यह शोध पत्र मीली ऑटोमेटा द्वारा वर्णित सॉलिटन प्रणालियों के लिए अपरिवर्तल माप के लक्षण वर्णन को संबोधित करता है, जिसमें विशेष रूप से तीन हाल ही में पेश किए गए मॉडलों पर ध्यान केंद्रित किया गया है: BBS-C(2), BBS-S(2), और BBS-V(2)। जबकि बॉक्स-बॉल सिस्टम (BBS) का सॉलिटन अपघटन (soliton decomposition) पर आधारित अपरिवर्तनीय मापों का एक सुस्थापित सिद्धांत है, इन विशिष्ट मीली-ऑटोमेटा वेरिएंट्स के लिए अपरिवर्तनीय मापों की संरचना काफी हद तक अनछुए क्षेत्र में रही है। लेखक इन प्रणालियों के समय विकास (time evolution) को द्वि-अनंत विन्यास स्थानों (bi-infinite configuration spaces) पर तैयार करने और उन पर्याप्त शर्तों को व्युत्पन्न करने का लक्ष्य रखते हैं जिनके तहत बरनौली उत्पाद माप (Bernoulli product measures) या दो-तरफा स्थान-सजातीय मार्कोव वितरण (two-sided space-homogeneous Markov distributions) ऑटोमेटा गतिकी के तहत अपरिवर्तनीय रहते हैं।

कार्यप्रणाली (Methodology)
लेखक ऑटोमेटा सिद्धांत, एर्गोडिक सिद्धांत (ergodic theory) और सांख्यिकीय भौतिकी को संयोजित करते हुए एक कठोर गणितीय ढांचे का उपयोग करते हैं:

1. मीली ऑटोमेटा का औपचारिकता (Formalism of Mealy Automata): समय विकास को एक मीली ऑटोमेटा $A = (Q, S, \phi, \psi)$ द्वारा परिभाषित किया जाता है जो द्वि-अनंत बाइनरी अनुक्रमों $\eta \in \{0, 1\}^\mathbb{Z}$ पर कार्य करता है। अवस्था स्थान $Q$ एक "कैरियर" (carrier) का प्रतिनिधित्व करता है जो जाली (lattice) के माध्यम से चलता है, और संक्रमण ($\phi$) तथा आउटपुट ($\psi$) फलनों के आधार पर गेंदों (1s) को ग्रहण करता है या छोड़ता है।
2. विन्यास स्थान (Configuration Spaces): लेखक एक विशिष्ट विन्यास स्थान $\Omega$ को परिभाषित करते हैं जिसमें ऐसे अनुक्रम शामिल हैं जहाँ दोनों दिशाओं में अनंत बार खाली साइटों (0s) के मनमाने लंबे ब्लॉक दिखाई देते हैं। वे सिद्ध करते हैं कि रुचि के मॉडलों के लिए, यह स्थान समय विकास मानचित्र $T_A$ के तहत अपरिवर्तनीय है।
3. अपरिवर्तनीयता मानदंड (Invariance Criteria):
   • मार्कोव वितरण: एक सामान्य मानदंड (Theorem II.12) एक दो-तरफा स्थान-सजातीय मार्कोव वितरण $\nu_M$ (जो संक्रमण प्रायिकता $p$ और $r$ द्वारा अभिलक्षित है) के अपरिवर्तनीय होने के लिए व्युत्पन्न किया गया है। इसमें प्रतिवर्ती ऑटोमेटा मानचित्रों से जुड़ी प्रायिकताओं के एक विशिष्ट अनुपात की जाँच करना शामिल है।
   • बरनौली वितरण: एक पर्याप्त स्थिति (Theorem II.13) बरनौली उत्पाद मापों $\nu_p$ के अपरिवर्तनीय होने के लिए स्थापित की गई है। यह शर्त इस बात पर निर्भर करती है कि ऑटोमेटा "कण-संरक्षणकारी" (particle-preserving) है (अवस्थाओं और इनपुट के भारित योग को संरक्षित करता है) और विशिष्ट संरचनात्मक धारणाओं (जैविकता, खाली इनपुट के लिए एक अद्वितीय स्थिर बिंदु की उपस्थिति) को पूरा करता है।
4. सॉलिटन विश्लेषण: लेखक इन तीन मॉडलों के सॉलिटन गतिकी का विश्लेषण करते हैं, सॉलिटन अपघटन एल्गोरिदम को परिभाषित करते हैं, नग्न वेग (bare velocities) की गणना करते हैं, और सॉलिटन अंतःक्रियाओं से उत्पन्न होने वाले चरण बदलाव (phase shifts) निर्धारित करते हैं।

मुख्य योगदान और परिणाम

• सामान्य ढांचा: यह शोध पत्र उन ऑटोमेटा के लिए मार्कोव और बरनौली मापों की अपरिवर्तनीयता के लिए एक सामान्य सिद्धांत स्थापित करता है जो शर्तों (A1)–(A3) (जैविकता, विशिष्ट स्थिर-बिंदु व्यवहार, और रीसेट गुण) का पालन करते हैं।
• तीन मॉडलों पर अनुप्रयोग:
  • BBS-S(2) और BBS-V(2): लेखक सिद्ध करते हैं कि इन दोनों मॉडलों के लिए, किसी भी $p \in (0, 1)$ के लिए बरनौली उत्पाद माप $\nu_p$ अपरिवर्तनीय है। यह सत्यापित करके प्राप्त किया गया है कि ये ऑटोमेटा कण-संरक्षणकारी हैं और Theorem II.13 द्वारा आवश्यक संरचनात्मक शर्तों को पूरा करते हैं।
  • BBS-C(2): इस मॉडल के लिए, बरनौली माप सामान्यतः अपरिवर्तनीय नहीं हैं। इसके बजाय, लेखक यह सिद्ध करते हैं कि दो-तरफा स्थान-सजातीय मार्कोव वितरणों (जहाँ संक्रमण प्रायिकता $r$, $1-p$ के बराबर नहीं है) का व्यापक वर्ग अपरिवर्तनीय है। यह परिणाम प्रतिवर्ती गतिकी (inverse dynamics) के विस्तृत केस विश्लेषण के माध्यम से अपरिवर्तनीयता शर्त (Theorem II.12) को स्पष्ट रूप से सत्यापित करके प्राप्त किया गया है।
• सॉलिटन विशेषताएँ:
  • वेग (Velocities): नग्न वेगों की गणना की गई है: BBS-C(2) में आकार-$k$ के सॉलिटन के लिए $v=2$; BBS-S(2) में "11" और "10" सॉलिटन के लिए $v=1$ और $v=2$; और BBS-V(2) में $m$-सॉलिटन के लिए $v_m = (m+1)/m$।
  • चरण बदलाव (Phase Shifts): सॉलिटन अंतःक्रियाओं से उत्पन्न होने वाले चरण बदलावों की गणना की गई है। विशेष रूप से, BBS-S(2) और BBS-V(2) में चरण बदलाव गैर-प्रति-सममित (non-antisymmetric) पाए गए हैं ($\Phi(J, K) \neq -\Phi(K, J)$), जो मानक BBS से उन्हें अलग करते हैं।
• सीमांत अपरिवर्तनीयता (Marginal Invariance): शोध पत्र यह प्रदर्शित करता है कि तीनों मॉडलों के लिए, भले ही पूर्ण माप अपरिवर्तनीय न हो, प्रत्येक साइट पर सीमांत वितरण (कणों का घनत्व) समय विकास के तहत अपरिवर्तित रहता है, जो कण-संरक्षणकारी गुण का एक सीधा परिणाम है।

महत्व
यह शोध पत्र मीली-ऑटोमेटा सॉलिटन प्रणालियों के लिए अपरिवर्तनीय मापों, सामान्यीकृत गिब्स एनसेम्बल (GGE), और सामान्यीकृत हाइड्रोडायनामिक (GHD) व्यवहार के अध्ययन के लिए एक आधारभूत ढांचा प्रदान करता है। विशिष्ट अपरिवर्तनीय मापों (BBS-S(2)/BBS-V(2) के लिए बरनौली और BBS-C(2) के लिए मार्कोव) की पहचान करके, लेखक इन प्रणालियों के लिए GGE और GHD सिद्धांतों के अनुप्रयोग को सक्षम बनाते हैं। परिणाम बताते हैं कि ये तीन मॉडल ऑटोमेटा द्वारा वर्णित एकीकृत प्रणालियों (integrable systems) से संबंधित विचारों के परीक्षण के लिए सुविधाजनक ढांचे के रूप में कार्य करते हैं, विशेष रूप से इस संबंध में कि विभिन्न प्रकार के अपरिवर्तनीय माप (उत्पाद बनाम मार्कोव) विशिष्ट ऑटोमेटा संरचनाओं से कैसे उत्पन्न होते हैं। BBS-S(2) और BBS-V(2) में देखे गए गैर-प्रति-सममित चरण बदलाव शास्त्रीय BBS से भिन्न अद्वितीय हाइड्रोडायनामिक व्यवहारों को उजागर करते हैं।