2025-11-20T22:10:14.947657

Directed lattice paths avoiding periodic subset of points on "time"-axis

Tarasov
We compute generating functions of the set of directed lattice paths starting from the origin and avoiding a periodic set of even point on OX = "time"-axis. As an application we prove a combinatorial identity proposed by P. Hajnal and G.V. Nagy.
academic

निर्देशित जालक पथ जो समय-अक्ष पर आवधिक बिंदु उपसमुच्चय से बचते हैं

मूल जानकारी

  • पेपर ID: 2510.11367
  • शीर्षक: Directed lattice paths avoiding periodic subset of points on "time"-axis
  • लेखक: S. Tarasov
  • वर्गीकरण: math.CO (संयोजन गणित)
  • प्रकाशन समय: 14 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.11367

सारांश

यह पेपर मूल बिंदु से शुरू होने वाले निर्देशित जालक पथों के संग्रह के जनक फलन की गणना करता है, जो "समय" अक्ष पर आवधिक सम बिंदु समुच्चय से बचते हैं। अनुप्रयोग के रूप में, हम P. Hajnal और G.V. Nagy द्वारा प्रस्तावित एक संयोजन सर्वसमिका को सिद्ध करते हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

  1. अनुसंधान समस्या: यह पेपर प्रतिबंधित परिस्थितियों में निर्देशित जालक पथ गणना समस्या का अध्ययन करता है, विशेष रूप से जब जालक पथों को समय अक्ष पर आवधिक रूप से वितरित विशिष्ट बिंदुओं से बचना होता है।
  2. समस्या की महत्ता:
    • जालक पथ गणना संयोजन गणित में एक शास्त्रीय समस्या है, जो संभाव्यता सिद्धांत, सांख्यिकीय भौतिकी आदि क्षेत्रों से घनिष्ठ रूप से संबंधित है
    • प्रतिबंधित शर्तों वाली जालक पथ गणना समस्याएं व्यावहारिक अनुप्रयोगों में अधिक महत्वपूर्ण हैं, जैसे यादृच्छिक चलन सिद्धांत में निषिद्ध क्षेत्र समस्याएं
    • यह अनुसंधान जालक पथ सिद्धांत को पाश गणना सिद्धांत से जोड़ता है
  3. मौजूदा विधियों की सीमाएं:
    • पारंपरिक विधियां मुख्य रूप से स्थानिक जालक बिंदुओं पर प्रतिबंधों पर ध्यान केंद्रित करती हैं, जबकि समय अक्ष पर प्रतिबंधों का अनुसंधान कम है
    • आवधिक प्रतिबंध शर्तों को संभालने के लिए एक एकीकृत सैद्धांतिक ढांचे की कमी है
  4. अनुसंधान प्रेरणा:
    • जालक पथ समस्या को काल-स्थान ग्राफ के दृष्टिकोण में परिवर्तित करना, जहां समय अक्ष पथ की प्रगति का प्रतिनिधित्व करता है
    • आवधिक प्रतिबंधों के माध्यम से सार्वभौमिक घड़ी आवृत्ति वाली जालक चलन समस्याओं का अनुकरण करना

मुख्य योगदान

  1. एक संपूर्ण सैद्धांतिक ढांचा स्थापित किया: निर्देशित जालक पथ समस्या को रैखिक समीकरण प्रणाली समाधान में परिवर्तित किया, विशेष रूप से जब निषिद्ध बिंदु समुच्चय आवधिक हो, तो प्रणाली मैट्रिक्स एक परिसंचारी मैट्रिक्स है
  2. जनक फलन के लिए स्पष्ट अभिव्यक्ति प्रदान की: पाश गणना तकनीकों के माध्यम से, सभी आयामों में जनक फलन गुणांकों की स्पष्ट अभिव्यक्ति दी गई है
  3. HN अनुमान को सिद्ध किया: P. Hajnal और G.V. Nagy द्वारा प्रस्तावित संयोजन सर्वसमिका को सिद्ध किया
  4. बहु-अनुभाग सिद्धांत स्थापित किया: जनक फलन बहु-अनुभाग के सिद्धांत को विकसित किया और असतत फूरियर रूपांतरण का उपयोग करके गणना की

विधि विवरण

कार्य परिभाषा

Z+×Zd\mathbb{Z}_+ \times \mathbb{Z}^d जालक पर निर्देशित जालक पथों का अध्ययन करें, जहां:

  • पथ मूल बिंदु से शुरू होता है
  • केवल समय अक्ष के अनुमत बिंदु समुच्चय AA पर समय अक्ष को स्पर्श कर सकता है
  • AA एक आवधिक सम बिंदु समुच्चय है, जिसे A=({a0,a1,,ak},tA)A = (\{a_0, a_1, \ldots, a_k\}, t_A) के रूप में व्यक्त किया जाता है
  • चरण समुच्चय S={1,1}dS = \{-1, 1\}^d है

मॉडल आर्किटेक्चर

1. मूल सेटअप

  • P(A)P(A) को मूल बिंदु से शुरू होने वाले सभी सम लंबाई के निर्देशित जालक पथों के समुच्चय के रूप में परिभाषित करें, ये पथ केवल समुच्चय AA के बिंदुओं पर समय अक्ष को स्पर्श कर सकते हैं
  • जनक फलन dPr(A,t){}^d P^r(A,t) का उपयोग करें जो अनुमत बिंदु (2r,0)(2r,0) से शुरू होने वाले ऐसे पथों के जनक फलन को दर्शाता है

2. मुख्य रैखिक समीकरण प्रणाली

मुख्य प्रमेय निम्नलिखित रैखिक समीकरण प्रणाली स्थापित करता है: dPr(A,t)qA[dE(t)]tA,Sh(r,q)dPq(A,t)=dE(t){}^d P^r(A,t) - \sum_{q \in A} [{}^d E(t)]_{t_A, Sh(r,q)} {}^d P^q(A,t) = {}^d E_\infty(t)

जहां:

  • Sh(r,q)Sh(r,q) विस्थापन संचालन है, जिसे बिंदु rr से बिंदु qq तक की दूरी के रूप में परिभाषित किया जाता है
  • [dE(t)]tA,Sh(r,q)[{}^d E(t)]_{t_A, Sh(r,q)} आदिम TT-भ्रमण जनक फलन का बहु-अनुभाग है
  • dE(t){}^d E_\infty(t) पलायन पथ का जनक फलन है

3. पाश गणना विधि

जालक पथों को स्थानिक भाग में प्रक्षेपित करके, पाश गणना के साथ संबंध स्थापित करें:

  • आदिम TT-भ्रमण सरल पाश के अनुरूप हैं
  • जनक फलन संबंध: dE(t)=dSL(t)=11dL(t){}^d E(t) = {}^d SL(t) = 1 - \frac{1}{{}^d L(t)}
  • पलायन पथ जनक फलन: dE(t)=1dL(t)(14dt){}^d E_\infty(t) = \frac{1}{{}^d L(t)(1-4^d t)}

तकनीकी नवाचार बिंदु

  1. परिसंचारी मैट्रिक्स सिद्धांत का अनुप्रयोग: जब अनुमत बिंदु समुच्चय आवधिक हो, तो प्रणाली मैट्रिक्स परिसंचारी मैट्रिक्स का मुख्य उप-मैट्रिक्स है, परिसंचारी मैट्रिक्स के विशेष गुणों का उपयोग करके समाधान किया जा सकता है
  2. बहु-अनुभाग तकनीक: असतत फूरियर रूपांतरण का उपयोग करके जनक फलन के बहु-अनुभाग की गणना करें: [[G(t)]q,0,,[G(t)]q,q1]tr=Fq1G(t),ωq[[G(t)]_{q,0}, \ldots, [G(t)]_{q,q-1}]^{tr} = F_q^{-1} \overrightarrow{G(t), \omega_q}
  3. पाश गणना एकीकृत विधि: सभी आयामों की समस्याओं को पाश गणना में एकीकृत करें, पारंपरिक प्रतिबिंब सिद्धांत आदि विधियों की आयाम सीमाओं से बचें

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन

यह पेपर मुख्य रूप से सैद्धांतिक अनुसंधान है, निम्नलिखित तरीकों से परिणामों को सत्यापित करता है:

  1. विशेष मामले सत्यापन: d=1d=1 के मामले के लिए, परिणामों को कैटलन संख्या और डिक पथ सिद्धांत के साथ सुसंगत होने के लिए सत्यापित करें
  2. विशिष्ट उदाहरण गणना: कुछ विशिष्ट आवधिक समुच्चय A1=({0},2)A_1 = (\{0\}, 2) और A2=({0,1},4)A_2 = (\{0,1\}, 4) के जनक फलन की गणना करें

गणना उदाहरण

  • A1A_1 के लिए: 1P0(A1,t)2,0=11(4t)2{}^1 P^0(A_1, t)_{2,0} = \frac{1}{\sqrt{1-(4t)^2}}
  • A2A_2 के लिए: 1P0(A2,t)4,0=11(4t)4{}^1 P^0(A_2, t)_{4,0} = \frac{1}{\sqrt{1-(4t)^4}}

प्रायोगिक परिणाम

मुख्य परिणाम

1. HN अनुमान का प्रमाण

आवधिक समुच्चय Ak=({0,1,,k},2k)A_k = (\{0,1,\ldots,k\}, 2k) के लिए सिद्ध किया गया है कि: 1P0(Ak,t)2k,0=11(4t)2k{}^1 P^0(A_k, t)_{2k,0} = \frac{1}{\sqrt{1-(4t)^{2k}}}

2. परिसंचारी मैट्रिक्स सारणिक सूत्र

मुख्य सर्वसमिका स्थापित की गई: det(B1)det(C1)=det[(1C2k)1]=11(4t)2k\frac{\det(B_1)}{\det(C_1)} = \det[({}^1 C_{2k})^{-1}] = \frac{1}{\sqrt{1-(4t)^{2k}}}

3. विश्लेषणात्मक अभिव्यक्ति

d=2d=2 के मामले के लिए, दीर्घवृत्तीय समाकलन को शामिल करने वाली विश्लेषणात्मक अभिव्यक्ति प्राप्त की गई: 2L(t)=2πK(4t){}^2 L(t) = \frac{2}{\pi}K(4\sqrt{t}) जहां K(q)K(q) प्रथम प्रकार का संपूर्ण दीर्घवृत्तीय समाकलन है।

सैद्धांतिक खोजें

  1. आयाम जटिलता: जनक फलन की विश्लेषणात्मक जटिलता आयाम के साथ तेजी से बढ़ती है:
    • d=1d=1: बीजगणितीय फलन
    • d=2d=2: अनुप्रवर्तनीय लेकिन D-परिमित फलन
    • d=3d=3: गैर-D-परिमित फलन
  2. आवधिकता की शक्ति: आवधिक प्रतिबंध मूल रूप से जटिल समस्या को परिमित आयामी रैखिक प्रणाली में परिवर्तित करते हैं

संबंधित कार्य

  1. शास्त्रीय जालक पथ सिद्धांत: Feller की संभाव्यता सिद्धांत पाठ्यपुस्तक और प्रतिबिंब सिद्धांत पर आधारित
  2. Pólya की यादृच्छिक चलन समस्या: जालक बिंदुओं पर यादृच्छिक चलन के मूल बिंदु पर लौटने की संभावना के बारे में शास्त्रीय कार्य
  3. परिसंचारी मैट्रिक्स सिद्धांत: Davis की परिसंचारी मैट्रिक्स पेशेवर पुस्तक में सैद्धांतिक आधार
  4. पाश गणना: Pólya यादृच्छिक चलन प्रमेय पर Novak का आधुनिक विवरण

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. आवधिक प्रतिबंधों के तहत निर्देशित जालक पथों को संभालने के लिए एक संपूर्ण सैद्धांतिक ढांचा स्थापित किया गया है
  2. HN अनुमान को सफलतापूर्वक सिद्ध किया, सिद्धांत के अनुप्रयोग मूल्य को प्रदर्शित किया
  3. सभी आयामों के लिए लागू एक एकीकृत गणना विधि प्रदान की गई है

सीमाएं

  1. विधि मुख्य रूप से आवधिक प्रतिबंधों के लिए लागू होती है, सामान्य प्रतिबंध शर्तों के लिए उपयुक्त नहीं हो सकती है
  2. उच्च आयाम मामलों में गणना जटिलता अभी भी बहुत अधिक है
  3. कुछ विश्लेषणात्मक अभिव्यक्तियां विशेष फलन को शामिल करती हैं, व्यावहारिक गणना कठिन हो सकती है

भविष्य की दिशाएं

  1. अधिक सामान्य प्रतिबंध शर्तों तक विस्तार करना
  2. गैर-आवधिक मामलों को संभालने की विधि का अनुसंधान करना
  3. अन्य संयोजन संरचनाओं के साथ संबंधों की खोज करना

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक पूर्णता: समस्या सेटअप से समाधान तक एक संपूर्ण सैद्धांतिक ढांचा प्रदान करता है
  2. विधि नवाचार: जालक पथ समस्या को परिसंचारी मैट्रिक्स समस्या में कुशलतापूर्वक परिवर्तित करता है
  3. तकनीकी गहराई: जनक फलन, परिसंचारी मैट्रिक्स, फूरियर रूपांतरण आदि कई तकनीकों का समन्वित उपयोग करता है
  4. अनुप्रयोग मूल्य: एक विशिष्ट संयोजन अनुमान को सफलतापूर्वक हल करता है

कमियां

  1. गणना जटिलता: उच्च आयाम मामलों में व्यावहारिक गणना अभी भी कठिन है
  2. अनुप्रयोग सीमा: मुख्य रूप से आवधिक मामलों तक सीमित है
  3. सीमित उदाहरण: विशिष्ट गणना के उदाहरण अपेक्षाकृत कम हैं

प्रभाव

  1. सैद्धांतिक योगदान: प्रतिबंधित जालक पथ समस्याओं के लिए नई सैद्धांतिक उपकरण प्रदान करता है
  2. विधि मूल्य: परिसंचारी मैट्रिक्स विधि अन्य संयोजन समस्याओं के लिए लागू हो सकती है
  3. अनुप्रयोग संभावना: संभाव्यता सिद्धांत, सांख्यिकीय भौतिकी आदि क्षेत्रों में संभावित अनुप्रयोग

लागू परिदृश्य

  1. आवधिक प्रतिबंधों वाली यादृच्छिक चलन समस्याएं
  2. सांख्यिकीय भौतिकी में प्रतिबंधित पथ समाकलन
  3. संयोजन गणना में जनक फलन गणना

संदर्भ ग्रंथ

पेपर निम्नलिखित महत्वपूर्ण साहित्य का हवाला देता है:

  • Feller की संभाव्यता सिद्धांत पाठ्यपुस्तक (यादृच्छिक चलन सिद्धांत का आधार)
  • Davis की परिसंचारी मैट्रिक्स पेशेवर पुस्तक (परिसंचारी मैट्रिक्स सिद्धांत)
  • जालक पर यादृच्छिक चलन के बारे में Pólya के शास्त्रीय पेपर
  • Hajnal और Nagy द्वारा मूल अनुमान प्रस्तावित करने वाले पेपर
  • विशेष फलन और दीर्घवृत्तीय समाकलन के बारे में मानक संदर्भ पुस्तकें