Inequalities involving polynomials and quasimodular forms

कल्पना कीजिए कि आप एक कुशल वास्तुकार (architect) हैं जो एक क्रेट में संतरों को पैक करने का सबसे कुशल तरीका डिजाइन करने की कोशिश कर रहे हैं। आप शून्य बर्बाद स्थान (zero wasted space) चाहते हैं। गणित में, यह "स्फेयर पैकिंग" (sphere packing) नामक एक प्रसिद्ध समस्या है। दशकों से, गणितज्ञ इस बात को सिद्ध करने के लिए संघर्ष कर रहे हैं कि कुछ पैटर्न—जैसे कि परमाणु कैसे एक हीरे (diamond) में व्यवस्थित होते हैं या कैसे कुछ उच्च-आयामी आकृतियाँ (high-dimensional shapes) एक साथ फिट होती हैं—स्थान को भरने के "सर्वश्रेष्ठ" तरीके हैं।

सीवू ली (Seewoo Lee) द्वारा लिखा गया यह शोध पत्र, इन पैटर्नों को यह सिद्ध करने में मदद करने के लिए "गणितीय मापने वाले टेपों" (mathematical measuring tapes) का एक नया सेट प्रदान करता है कि वे वास्तव में पूर्ण हैं।

यहाँ रोजमर्रा की उपमाओं (analogies) का उपयोग करके शोध पत्र का विवरण दिया गया है।

1. "जादुई फलन" (The "Magic Functions") (एक आदर्श ब्लूप्रिंट)

एक पैकिंग को इष्टतम (optimal) सिद्ध करने के लिए, गणितज्ञ "जादुई फलनों" (magic functions) का उपयोग करते हैं। इन्हें एक पूरी तरह से भारित ब्लूप्रिंट के रूप में समझें। यदि आप एक ऐसा ब्लूप्रिंट पा सकते हैं जो बहुत सख्त नियमों (विशेष रूप से, कि यह सकारात्मक रहता है और अनुमानित व्यवहार करता है) का पालन करता है, तो आपने प्रभावी रूप से यह सिद्ध कर दिया है कि कोई अन्य व्यवस्था आपके वर्तमान एक के मुकाबले बेहतर नहीं हो सकती।

अतीत में, इन ब्लूप्रिंट्स के काम करने को सिद्ध करना अविश्वसनीय रूप से कठिन था। यह एक पुल को सुरक्षित साबित करने के लिए स्टील के हर एक परमाणु की मैन्युअल रूप से जांच करने जैसा था। गणितज्ञों को भारी कंप्यूटरों और "संख्यात्मक विश्लेषण" (numerical analysis)—जो अनिवार्य रूप से बहुत गहन अनुमान और जाँच की प्रक्रिया है—का उपयोग करना पड़ता था ताकि यह सुनिश्चित किया जा सके कि गणित विफल न हो जाए।

2. क्वासीमॉड्यूलर फॉर्म्स (Quasimodular Forms) (द "डगमगाते" मापने वाले टेप)

यह शोध पत्र क्वासीमॉड्यूलर फॉर्म्स नामक वस्तुओं पर केंद्रित है।

कल्पना कीजिए कि आपके पास एक मानक रूलर (एक मॉड्यूलर फॉर्म) है। यह पूरी तरह से सीधा, कठोर और अनुमानित है। अब, कल्पना कीजिए कि एक हाई-टेक रबर से बना रूलर (एक क्वासीमॉड्यूलर फॉर्म) है जो आपके आगे बढ़ने के साथ एक बहुत ही विशिष्ट, गणितीय तरीके से खिंचता और मुड़ता है।

भले ही यह रबर का रूलर "डगमगाता" (wobbly) हो, लेकिन यह अराजक (chaotic) नहीं है। यह "खिंचाव" के बहुत सख्त नियमों का पालन करता है। ली का शोध पत्र मूल रूप से यह बताने वाला एक मैनुअल है कि इन "डगमगाते रूलरों" का उपयोग अत्यधिक सटीकता के साथ चीजों को मापने के लिए कैसे किया जाए।

3. मोनोटोनिसिटी (Monotonicity) (एक "वन-वे स्ट्रीट")

इस शोध पत्र का मुख्य केंद्र मोनोटोनिसिटी है।

कल्पना कीजिए कि आप एक पहाड़ी से नीचे उतर रहे हैं। यदि पहाड़ी "मोनोटोन डिक्रीजिंग" (monotone decreasing) है, तो इसका अर्थ है कि आप हमेशा नीचे ही जा रहे हैं; आप कभी भी गलती से ऊपर की ओर नहीं चढ़ते, भले ही एक सेकंड के लिए क्यों न हो।

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

4. यह क्यों मायने रखता है? (The "Universal Optimality")

यह शोध पत्र केवल पुराने परिणामों को फिर से सिद्ध नहीं करता है; यह इसे करने का एक अधिक सुंदर, "बीजगणितीय" (algebraic) तरीका प्रदान करता है। अरबों बिंदुओं को जांचने के लिए कंप्यूटर का उपयोग करने के बजाय (जो कि "ब्रूट फोर्स" विधि है), ली शुद्ध तर्क और सूत्रों (जो कि "वैचारिक" विधि है) का उपयोग करते हैं।

वह इसे लीच लैटिस (Leech Lattice) पर लागू करते हैं—जो कि 24-आयामी स्थान में एक पौराणिक, अविश्वसनीय रूप से जटिल पैटर्न है। वह यह सिद्ध करने में मदद करते हैं कि यह पैटर्न "सार्वभौमिक रूप से इष्टतम" (universally optimal) है। इसका अर्थ यह है कि यह न केवल गोलों को पैक करने का सबसे अच्छा तरीका है; बल्कि यह लगभग किसी भी प्रकार के भौतिक बल या विभव फलन (potential function) के लिए बिंदुओं को व्यवस्थित करने का सबसे अच्छा तरीका है जिसे आप कल्पना कर सकते हैं।

सारांश: टूलबॉक्स

यदि ब्रह्मांड के पूर्ण पैटर्न खोजने की खोज एक निर्माण परियोजना है, तो सीवू ली ने केवल एक घर नहीं बनाया है; उन्होंने एक नया, अधिक सटीक टूलसेट विकसित किया है।

• पुराना तरीका: यह जांचने के लिए कि दीवार सीधी है या नहीं, एक हथौड़ा और कैलकुलेटर का उपयोग करना।
• ली का तरीका: एक लेजर लेवल का उपयोग करना जो गणितीय रूप से गारंटी देता है कि वह कभी झूठ नहीं बोलेगा।

इन "डगमगाते" गणितीय आकारों में महारत हासिल करके, उन्होंने भविष्य के गणितज्ञों के लिए यह सिद्ध करना आसान बना दिया है कि ज्यामिति के सबसे सुंदर पैटर्न वास्तव में सबसे अच्छे पैटर्न हैं।