Difference operators and difference equations on lattices, or grids, up to the elliptic hypergeometric case

कल्पना कीजिए कि आप एक मानचित्र पर दो बिंदुओं के बीच की दूरी मापने की कोशिश कर रहे हैं। कैलकुलस (कलन) की चिकनी, निरंतर दुनिया में, आप उनके बीच एक आदर्श सीधी रेखा खींच सकते हैं और तुरंत ढलान (स्लोप) की गणना कर सकते हैं। लेकिन क्या होगा यदि मानचित्र एक चिकने कागज की तरह न हो? क्या होगा यदि यह द्वीपों का एक ग्रिड हो, या चरणों के पत्थरों (स्टेपिंग स्टोन्स) की एक श्रृंखला हो, या एक ऐसा पैटर्न हो जो एक जटिल, घूमते हुए नृत्य की तरह दोहराता हो? यह डिस्क्रीट कैलकुलस (discrete calculus) की दुनिया है। चिकनी रेखाओं के बजाय, हम उछाल और अंतराल (जम्प्स और गैप्स) के साथ काम करते हैं।

सदियों से, गणितज्ञों ने इन ग्रिडों पर "कदम" कैसे रखे जाएं, इसका अध्ययन किया है। सबसे सरल ग्रिड समान रूप से दूरी वाले बिंदुओं की एक सीधी रेखा है (जैसे $1, 2, 3, 4$)। आप उनके बीच के परिवर्तन को आसानी से माप सकते हैं। लेकिन क्या होगा यदि बिंदु एक वक्र (कर्व) में, या एक सर्पिल (स्पाइरल) में, या एक ऐसे पैटर्न में व्यवस्थित हों जो एक खिलते हुए फूल जैसा दिखता हो? इन आकृतियों को समझने के लिए, आपको डिफरेंस ऑपरेटर्स (difference operators) नामक विशेष उपकरणों की आवश्यकता होती है। इन्हें विशिष्ट 'कैलिपर्स' के रूप में सोचें जो ग्रिड के बीच दो विशिष्ट बिंदुओं के बीच की "ढलान" को मापते हैं, भले ही वह ग्रिड स्वयं मुड़ रहा हो या घूम रहा हो।

जिस शोध पत्र का आप अभी अन्वेषण करने जा रहे हैं, वह इन सबसे जटिल और सुंदर ग्रिडों में से एक: एलिप्टिक लैटिस (elliptic lattice) में गहराई से उतरता है। एक ऐसे ग्रिड की कल्पना करें जो केवल एक सीधी रेखा में नहीं दोहराता, बल्कि दो अलग-अलग दिशाओं में खुद पर वापस लौट आता है, जैसे कि एक डोनट (टोरस) की सतह। इस आकृति पर, बिंदु एलिप्टिक फंक्शन्स (elliptic functions) के अनुसार व्यवस्थित होते हैं, जो आवधिक पैटर्न (periodic patterns) के "सुपर-हीरो" की तरह हैं, जो पेंडुलम के झूलने से लेकर कुछ सामग्रियों में बिजली के प्रवाह तक सब कुछ वर्णित करने में सक्षम हैं। बड़ा सवाल यह है: क्या हम इस मुड़ते हुए, घूमते हुए ग्रिड पर अभी भी कैलकुलस कर सकते हैं? क्या हम एक "ढलान" को परिभाषित कर सकते हैं जो अच्छी तरह से व्यवहार करे, और सरल आकृतियों को अन्य सरल आकृतियों में बदल दे, ठीक वैसे ही जैसे यह एक सीधी रेखा पर करता है?

---

घूमते हुए ग्रिड की कहानी

इस शोध पत्र में, लेखक, अल्फोंस मैग्नस, एक नए प्रकार के रूलर (मापक) को बनाने की कोशिश करने वाले एक मास्टर आर्किटेक्ट की तरह कार्य करते हैं, जो इन घूमते हुए, डोनट के आकार के ग्रिडों के लिए है। वह एक बहुत ही विशिष्ट प्रश्न पूछते हैं: यदि हम दो बिंदुओं के बीच एक "ढलान" (डिफरेंस ऑपरेटर) को परिभाषित करते हैं, तो क्या गणित सरल रहेगा?

आमतौरता पर, जब आप दो बिंदुओं के बीच ढलान लेते हैं, तो परिणाम थोड़ा अस्त-व्यस्त होता है। लेकिन मैग्नस दिखाते हैं कि यदि आप अपने ग्रिड बिंदुओं को बहुत सावधानी से चुनते हैं—विशेष रूप से, यदि वे एक एलिप्टिक लैटिस के नियमों का पालन करते हैं—तो कुछ जादुई होता है। यदि आप एक सरल परिमेय फलन (rational function) से शुरू करते हैं (बहुपदों से बना एक अंश, जैसे $\frac{x^2+1}{x-3}$), तो ग्रिड बिंदुओं के बीच आपके द्वारा गणना की गई "ढलान" भी एक सरल परिमेय फलन होगी, बस वह थोड़ा अधिक जटिल होगा। यह एक जादुई मशीन की तरह है: आप इसमें एक सरल भिन्न (फ्रैक्शन) डालते हैं, और यह दूसरे सरल भिन्न को बाहर निकालता है, कभी भी किसी उलझे हुए, अनसुलझे गांठ में नहीं फंसता।

यह समझने के लिए कि यह कैसे काम करता है, कल्पना करें कि ग्रिड के बिंदु केवल यादृच्छिक (रैंडम) बिंदु नहीं हैं। वे एक बाइक्वाड्रेटिक समीकरण (biquadratic equation) के समाधान हैं। यह कहने का एक फैंसी तरीका है कि बिंदु $x$ और उसके पड़ोसी $y$ के बीच का संबंध दोनों दिशाओं में एक द्विघात समीकरण (पैराबोला) की तरह है। यदि आप एक बिंदु जानते हैं, तो समीकरण आपको बताता है कि अगला बिंदु कहाँ है, लेकिन यह आपको दो विकल्प देता है। ग्रिड इन दो विकल्पों के बीच आगे-पीछे कूदकर बनाया जाता है, जिससे बिंदुओं की एक श्रृंखला बनती है जो एलिप्टिक आकृति के चारों ओर घूमती है।

मैग्नस सिद्ध करते हैं कि यदि आप अपना ग्रिड इस तरह से बनाते हैं, तो आप एक डिवाइडेड डिफरेंस ऑपरेटर (divided difference operator) को परिभाषित कर सकते हैं। यह वह उपकरण है जो परिवर्तन को मापता है। वह दिखाते हैं कि इस उपकरण के पास एक सुपरपावर है: यह जटिलता की "डिग्री" को सुरक्षित रखता। यदि आप इसे एक निश्चित जटिलता के फलन (function) से फीड करते हैं, तो यह एक अनुमानित, थोड़ी उच्च जटिलता वाले फलन को आउटपुट के रूप में देता है। यह महत्वपूर्ण है क्योंकि इसका अर्थ है कि हम इन ग्रिडों पर समीकरणों को ठीक वैसे ही हल कर सकते हैं जैसे हम उन्हें सीधी रेखाओं पर हल करते हैं, जिसे हाइपरजियोमेट्रिक एक्सपेंशन (hypergeometric expansions) नामक विधि कहा जाता है।

यह शोध पत्र फिर इस विचार को आगे बढ़ाता है, फर्स्ट-ऑर्डर और सेकंड-ऑर्डर डिफरेंस इक्वेशंस का निर्माण करता है। इन्हें इस एलिप्टिक ग्रिड पर रहने वाले फलनों के लिए "गति के नियम" समझें। जिस तरह न्यूटन के नियम बताते हैं कि हवा में एक गेंद कैसे चलती है, ये नए समीकरण बताते हैं कि एक फलन एलिप्टिक ग्रिड पर एक बिंदु से दूसरे बिंदु तक कैसे चलता है। लेखक इन समीकरणों को स्पष्ट रूप से निर्मित करते हैं, यह दिखाते हुए कि उनके गुणांक (coefficients) ग्रिड के आकार पर कैसे निर्भर करते हैं।

इस शोध पत्र का सबसे आकर्षक हिस्सा बायोर्थोगोनल रेशनल फंक्शन्स (biorthogonal rational functions) की खोज है। मानक कैलकुलस की दुनिया में, हमारे पास ऑर्थोगोनल पॉलिनॉमियल्स (orthogonal polynomials) होते हैं (जैसे प्रसिद्ध लेजेंड्रे या हर्मिट पॉलिनॉमियल्स) जो पूर्ण, गैर-अतिव्यापी बिल्डिंग ब्लॉक्स के रूप में कार्य करते हैं। आप उन्हें एक के ऊपर एक रखकर किसी भी आकृति का निर्माण कर सकते हैं। इस एलिप्टिक ग्रिड पर, बिल्डिंग ब्लॉक्स केवल पॉलिनॉमियल्स नहीं हैं; वे रैशनल फंक्शन्स (अंश/भिन्न) हैं। और वे बायोर्थोगोनल हैं, जिसका अर्थ है कि वे दो मिलान करने वाले सेटों के रूप में आते हैं जो एक ताले और चाबी की तरह एक साथ फिट बैठते हैं, लेकिन केवल तभी जब आप उन्हें एक विशिष्ट तरीके से जोड़ते हैं। पेपर दिखाता है कि ये विशेष अंश नए डिफरेंस इक्वेशंस को संतुष्ट करते हैं, जो यह सिद्ध करता है कि वे इस एलिप्टिक दुनिया के प्राकृतिक "परमाणु" (atoms) हैं।

लेखक इस कार्य को गणितीय पहेलियों के एक लंबे इतिहास से भी जोड़ते हैं। वह उल्लेख करते हैं कि ये ग्रिड सांख्यिकीय भौतिकी (statistical physics) (यह अध्ययन कि विशाल संख्या में कण कैसे व्यवहार करते हैं) और पोंसेलेट समस्या (Poncelet problem) (वृत्तों के अंदर बहुभुज बनाने के बारे में एक ज्यामितीय पहेली) में दिखाई देते हैं। वह इसकी जड़ों को यूलर (Euler) तक भी ले जाते हैं, जो महानतम गणितज्ञों में से एक थे, जिन्होंने सबसे पहले इन एलिप्टिक फंक्शन्स के एडिशन फॉर्मूला की खोज की थी। शोध पत्र सुझाव देता है कि "एलिप्टिक डिफरेंस ऑपरेटर" वह लापता कड़ी है जो गणित के इन विभिन्न क्षेत्रों को एकजुट करती है, सरल अंकगणितीय चरणों से लेकर सबसे जटिल एलिप्टिक फंक्शन्स तक।

हालाँकि, शोध पत्र सावधानी बरतता है कि वह बहुत अधिक बड़े वादे न करे। यह एक सैद्धांतिक निर्माण है। लेखक परिभाषाएँ बनाते हैं, गुणों को सिद्ध करते हैं, और सूत्रों को व्युत्पन्न (derive) करते हैं। वह दिखाते हैं कि इन ऑपरेटर्स और समीकरणों को कैसे परिभाषित किया जाए, और वह प्रदर्शित करते हैं कि वे गणितीय रूप से काम करते हैं। वह यह दावा नहीं करते कि उन्होंने प्रयोगशाला में किसी विशिष्ट भौतिक समस्या को हल कर लिया है, न ही वह दावा करते हैं कि उन्होंने एक नया कण खोज लिया है। इसके बजाय, उन्होंने एक नया गणितीय ढांचा तैयार किया है। वह दिखाते हैं कि "एलिप्टिक लैटिस" सबसे सामान्य मामला है, और हम जो भी सरल ग्रिड जानते हैं (जैसे सीधी रेखा या ज्यामितीय सर्पिल), वे इस जटिल, घूमते हुए ग्रिड के केवल विशेष, सरल संस्करण हैं।

अंत में, यह शोध पत्र एक नए क्षेत्र के लिए एक मार्गदर्शिका है। यह हमें बताता है कि यदि हम एक ऐसे ग्रिड पर कैलकुलस करना चाहते हैं जो डोनट की तरह घूमता और मुड़ता है, तो हम पुराने उपकरणों का उपयोग नहीं कर सकते। हमें इन नए एलिप्टिक डिफरेंस ऑपरेटर्स की आवश्यकता है। और यदि हम उनका उपयोग करते हैं, तो हम पाते हैं कि गणित सुंदर और संरचित रहता है, जिसमें रेशनल फंक्शन्स और बायोर्थोगोनल सेट मुख्य भूमिका निभाते हैं। यह एक अनुस्मारक है कि ब्रह्मांड के सबसे जटिल, मुड़े हुए पैटर्न में भी, सही प्रकार के रूलर द्वारा खोजे जाने वाले एक अंतर्निहित क्रम मौजूद है।