🔢 mathematics

Mixed volumes of zonoids and the absolute value of the Grassmannian

यह शोध पत्र ज़ोनॉइड्स (zonoids) के मिश्रित आयतनों (mixed volumes) को ग्रासमैनियन (Grassmannian) के निरपेक्ष मान से जोड़ने वाला एक संयोजन ढांचा (combinatorial framework) स्थापित करता है, जिसमें दो और तीन आयामों में विशिष्ट ज़ोनॉइड्स के लिए नए मिंकोव्स्की रैखिक असमानताओं (Minkowski linear inequalities) को व्युत्पन्न करने के लिए बहुफलकीय गणनाओं (polyhedral computations) का उपयोग किया गया है।

मूल लेखक: Gennadiy Averkov, Katherina von Dichter, Simon Richard, Ivan Soprunov

प्रकाशित 2026-07-15

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Gennadiy Averkov, Katherina von Dichter, Simon Richard, Ivan Soprunov

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास निर्माण ब्लॉकों (building blocks) का एक जादुई डिब्बा है। ज्यामिति की दुनिया में, इन ब्लॉकों को ज़ोनोइड्स (zonoids) कहा जाता है। ये विशेष आकार हैं जिन्हें अलग-अलग दिशाओं में कई पतली, सपाट छड़ियों (रेखा खंडों) को एक के ऊपर एक रखकर बनाया जा सकता है। यदि आप उन्हें बिल्कुल सही तरीके से स्टैक करते हैं, तो आपको एक ज़ोनोटोप (zonotope) मिलता है, जो एक मोटा, बहु-फलकीय (multi-sided) बहुफलक है। यदि आप और अधिक सूक्ष्म छड़ें जोड़ते जाते हैं, तो आप किनारों को चिकना कर सकते हैं जब तक कि आपको एक पूरी तरह से गोल, चिकना आकार न मिल जाए। ये चिकने आकार ही ज़ोनोइड्स हैं।

अब, कल्पना कीजिए कि आप यह मापना चाहते हैं कि जब आप इन आकारों को आपस में मिलाते हैं, तो वे कितना "स्थान" घेरते हैं। गणितज्ञ इसे मिक्स्ड वॉल्यूम (mixed volume) कहते हैं। यह कुछ इस तरह पूछने जैसा है: "यदि मैं आकार A का एक स्लाइस लूँ, आकार B का एक स्लाइस लूँ, और आकार C का एक स्लाइस लूँ, तो परिणामी 3D टुकड़ा कितना बड़ा होगा?"

लंबे समय से, गणितज्ञ एक आदर्श नियम पुस्तिका—असमानताओं (inequalities) की एक सूची—लिखने की कोशिश कर रहे हैं, जो हमें ठीक से बताए कि इन मिश्रित आयतनों (mixed volumes) के बीच क्या संबंध है। यह एक खेल के नियमों को जानने जैसा है। आप बुनियादी नियम जानते हैं (जैसे "आयतन ऋणात्मक नहीं हो सकता"), लेकिन आप यह भी जानना चाहते हैं कि हर संभव चाल क्या कानूनी है और हर अवैध चाल क्या है।

बड़ी खोज: विशिष्ट मामलों के लिए एक नया नियमकोश

इस शोध पत्र में, लेखकों (गेनाडी, कैथरीना, साइमन और इवान) ने एक विशेष समूह के लिए एक बिल्कुल नया, अत्यधिक विशिष्ट नियमकोश बनाया है। उन्होंने एक ऐसी स्थिति को देखा जहाँ आपके पास 6 आकार (मान लीजिए $Z_1$ से $Z_6$ ) हैं और आप या तो 2 आयामों (पैनकेक जैसे चपटे आकार) में काम कर रहे हैं या 3 आयामों (पासे जैसे ठोस आकार) में।

उन्होंने पाया कि इन विशिष्ट सेटअपों के लिए, नियमकोश केवल एक अस्पष्ट सुझाव नहीं है; यह एक कठोर, ज्यामितीय संरचना है जिसे वे कोन (cone) कहते हैं। यह कोन "फेसेट्स" (facets) से बना है, जो क्रिस्टल की सपाट दीवारों की तरह होते हैं। प्रत्येक दीवार एक नए, सख्त नियम का प्रतिनिधित्व करती है जो इन आकारों के लिए सत्य होना ही चाहिए।

दिलचस्प बात यह है कि ये नए नियम मिंकोव्स्की लीनियर (Minkowski linear) हैं। यह कहने का एक फैंसी तरीका है कि यदि आप दो आकारों को लेते हैं और उन्हें आपस में जोड़ देते हैं (जैसे दो पैनकेक को एक के ऊपर एक रखना), तो नियम स्टैक (ढेर) पर ठीक उसी तरह लागू होता है जैसे वह व्यक्तिगत टुकड़ों पर लागू होता है। यह एक बहुत ही साफ और अनुमानित प्रकार का गणित है।

"कठोर" सुराग

उन्होंने इन नियमों को कैसे खोजा? उन्होंने महसूस किया कि पूरे बॉक्स के आकारों को समझने के लिए, उन्हें केवल इन निर्माण छड़ियों की सबसे अधिक "लॉक-इन" या कठोर (rigid) व्यवस्थाओं को देखने की आवश्यकता थी।

कल्पना कीजिए कि आपके पास मेज पर 6 छड़ें हैं। यदि आप किसी व्यवस्था के समग्र "वाइब" को बदले बिना एक छड़ी को इधर-उधर हिला सकते हैं, तो वह "मुक्त" है। लेकिन यदि एक छड़ी अन्य छड़ियों द्वारा इतनी मजबूती से जकड़ी हुई है कि वह बिल्कुल भी हिल नहीं सकती, तो वह लॉक (locked) है। लेखकों ने सिद्ध किया कि इन छड़ियों की सबसे चरम, "लॉक" व्यवस्थाएँ ही उनके नए नियमकोश के कोनों को उत्पन्न करती हैं।

2D में 6 आकारों के मामले के लिए, उन्होंने पाया कि नियमकोश कोन में 975 दीवारें (असमानताएं) हैं। यह बहुत अधिक लग सकता है, लेकिन जब आप आकारों के नाम बदलने से गणित नहीं बदलता, तो वास्तव में केवल 8 अद्वितीय प्रकार के नए नियम होते हैं।

3D में 6 आकारों के लिए, कोन में 130 दीवारें हैं, जो केवल 2 अद्वितीय प्रकार के नए नियमों में सिमट जाती हैं।

"एब्सोल्यूट वैल्यू" कनेक्शन

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

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

उन्होंने क्या नहीं पाया (और उन्होंने क्या खारिज कर दिया)

यह जानना महत्वपूर्ण है कि यह शोध पत्र क्या नहीं कहता है।

यह सभी के लिए एक पूर्ण नियमकोश नहीं है: लेखक स्पष्ट रूप से बताते हैं कि आकारों की बड़ी संख्या के लिए (जैसे 2D में 8 आकार), यह सुंदर, कठोर कोन संरचना टूट जाती है। उन्होंने सिद्ध किया कि 8 आकारों के लिए, नियमकोश अब एक सरल पॉलीहेड्रॉन नहीं रह जाता जिसकी दीवारें सपाट होती हैं; यह एक चिकना, घुमावदार आकार बन जाता है जिसे वर्णित करना बहुत कठिन है। इसलिए, उनका "परफेक्ट लिस्ट" केवल 2D और 3D में 4, 6 और 6 आकारों के विशिष्ट मामलों के लिए ही काम करता है।
समरूपता (Symmetry) मायने रखती है: उन्होंने पाया कि उनके कुछ नए नियम केवल तभी काम करते हैं जब आकार पूरी तरह से सममित (जैसे वृत्त या वर्ग) हों। यदि आप एक अजीब, टेढ़ा-मेढ़ा आकार उपयोग करते हैं, तो इनमें से कुछ नियम विफल हो सकते हैं। उन्होंने एक विशिष्ट उदाहरण दिखाया जहाँ एक नियम जो सममित आकारों के लिए काम करता है, वह सामान्य, असममित आकार के लिए टूट जाता है।

वे कितने आश्वस्त हैं?

लेखक उन विशिष्ट मामलों के बारे में बहुत आश्वस्त हैं जिन्हें उन्होंने हल किया है। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने भारी काम करने के लिए सेजमैथ (SageMath) नामक एक शक्तिशाली कंप्यूटर प्रोग्राम का उपयोग किया।

2D में 4 आकारों, 2D में 6 आकारों और 3D में 6 आकारों के मामले के लिए, उन्होंने सिद्ध किया कि नियमकोश एक पॉलीहेड्रल कोन (सपाट दीवारों वाला आकार) है और उन्होंने दीवारों और जनरेटरों की सटीक संख्या सूचीबद्ध की।
2D में 8 आकारों के मामले के लिए, उन्होंने सिद्ध किया कि नियमकोश एक पॉलीहेड्रॉन नहीं है। उन्होंने कंप्यूटर सिमुलेशन का उपयोग करके यह सिद्ध किया कि आकार की सीमा (boundary) मुड़ती है, जिसका अर्थ है कि आप इसे अब एक साधारण सपाट असमानताओं की सूची के साथ वर्णित नहीं कर सकते।

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

यह शोध पत्र एक विशिष्ट द्वीप के लिए खजाने के नक्शे जैसा है। लेखकों ने 2D और 3D में 6 समुद्र तटों (आकारों) वाले द्वीपों के सटीक तटरेखा (असमानताओं) का मानचित्र तैयार किया है। उन्होंने पाया कि तटरेखा सीधी, तीखी चट्टानों (पॉलीहेड्रल) से बनी है। लेकिन उन्होंने यह चेतावनी भी दी कि यदि आप 8 समुद्र तटों वाले द्वीप का मानचित्र बनाने की कोशिश करते हैं, तो तटरेखा एक चिकना, घुमावदार समुद्र तट बन जाती है जो उसी सरल मानचित्र में फिट नहीं बैठती।

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

तकनीकी सारांश: ज़ोनॉइड्स के मिश्रित आयतन और ग्रासमैनियन का निरपेक्ष मान

समस्या विवरण
यह शोध पत्र $\mathbb{R}^d$ में $n$ ज़ोनॉइड्स (zonoids) के मिश्रित आयतनों (mixed volumes) को नियंत्रित करने वाली असमानताओं की प्रणाली की जांच करता है। जबकि शास्त्रीय ज्यामितीय असमानताएं (जैसे अलेक्जेंड्रोव-फेन्सेल असमानता) मौलिक बाधाएं प्रदान करती हैं, वे अधिकांश आयामों में $n > 2$ निकायों के लिए एक "पूर्ण प्रणाली" (complete system) नहीं बनाती हैं। यहाँ एक पूर्ण प्रणाली को उन संबंधों के रूप में परिभाषित किया गया है जो शामिल फलन (functionals) को व्यापक रूप से वर्णित करते हैं। लेखक विशेष रूप से मिंकोव्स्की बहुरेखीय असमानताओं (Minkowski multilinear inequalities) पर ध्यान केंद्रित करते हैं, जो मिंकोव्स्की योग के संबंध में प्रत्येक ज़ोनॉइड के लिए $n/d$ की कोटि के समरूप बहुपद (homogeneous polynomial) हैं।

मुख्य समस्या शुद्ध मिश्रित आयतन विन्यास स्थान $PV(n, \mathcal{Z}_d)$ को अभिलक्षित करना है, जिसमें $n$ ज़ोनॉइड्स के संग्रह से आकार $d$ के सभी उपसमुच्चयों के लिए मिश्रित आयतन $V(Z_{i_1}, \dots, Z_{i_d})$ के वेक्टर शामिल हैं। लेखक उस कोनिक हल (conic hull) के फलकों (facets) को निर्धारित करने का लक्ष्य रखते हैं जो मोनॉमियल मानचित्र (monomial map) द्वारा इन विन्यासों पर लागू किया जाता है।

कार्यप्रणाली
लेखक उत्तरोत्तर उत्तरोत्तर ज्यामिति (convex geometry), संयोजन विज्ञान (combinatorics), और बीजगणितीय ज्यामिति (algebraic geometry) को जोड़ने वाले एक ढांचे का उपयोग करते हैं:

रेखा खंडों में न्यूनीकरण: चूंकि मानचित्र $\Phi$ (जो ज़ोनॉइड्स के संग्रह को उनके मिश्रित आयतनों के मोनॉमियल के वेक्टर में भेजता है) की मिंकोव्स्की बहुरेखीयता के कारण, सामान्य ज़ोनॉइड्स के लिए असमानताओं के सत्यापन के लिए रेखा खंडों के लिए सत्यापन करना पर्याप्त है। प्रत्येक ज़ोनॉइड खंडों (segments) के ज़ोनोटोप (zonotopes) का एक सीमा (limit) है, और मिश्रित आयतन निरंतर (continuous) होते हैं।
प्रोजेक्टिव और संयोजी दृष्टिकोण: खंडों के $n$ -टुपल को $\mathbb{R}^d$ में वेक्टरों के $n$ -टुपल के रूप में पहचाना जाता है, जो वास्तविक प्रोजेक्टिव स्पेस $\mathbb{RP}^{d-1}$ में बिंदु विन्यासों के अनुरूप होता है। इस प्रकार समस्या को "विभाजन मोनॉमियल मानचित्र" $\phi$ के तहत इन बिंदु विन्यासों के अध्ययन में अनुवादित किया जाता है।
ग्रासमैनियन से संबंध: लेखक स्थापित करते हैं कि कोन $C_{n,d}$ , ग्रासमैनियन के निरपेक्ष मान, $\text{Abs}(\text{Gr}_{d,n})$ का कोनिक हल है। इस सेट में $\mathbb{R}^n$ में $d$ -तलों के प्लकर निर्देशांकों (Plücker coordinates) के निरपेक्ष मान शामिल हैं। फलस्वरूप, ज़ोनॉइड्स के मिश्रित आयतनों के लिए असमानताएं खोजना $\text{Abs}(\text{Gr}_{d,n})$ के कोनिक हल के लिए फलक असमानताओं (facet inequalities) को खोजने के समतुल्य है।
कठोर विन्यास (Rigid Configurations): प्रोजेक्टिव स्पेस में बिंदु विन्यासों के लिए एक प्रमुख सैद्धांतिक उपकरण "कठोर विन्यास" की अवधारणा है। एक विन्यास "कठोर" है यदि प्रत्येक बिंदु "लॉक" (अन्य बिंदुओं द्वारा निर्मित कम से कम $d$ विशिष्ट हाइपरप्लेन पर स्थित) हो। लेखक सिद्ध करते हैं कि विशिष्ट मामलों के लिए, कोन $C_{n,d}$ के जनरेटर विशेष रूप से इन कठोर विन्यासों से आते हैं।
बहुफलकीय गणना (Polyhedral Computations): विशिष्ट छोटे $(n, d)$ मानों के लिए, लेखक कोनिक $C_{n,d}$ के जनरेटर और फलकों की गणना करने के लिए कंप्यूटर-सहायता प्राप्त बहुफलकीय गणनाओं (SageMath का उपयोग करके) का उपयोग करते हैं।

प्रमुख परिणाम

सैद्धांतिक ढांचा: यह शोध पत्र सिद्ध करता है कि $(n, d) = (4, 2)$ $(n, d) = (4, 2)$ , $(6, 2)$ $(6, 2)$ , और $(6, 3)$ $(6, 3)$ के लिए, कोन $C_{n,d}$ $C_{n, d}$ कठोर बिंदु विन्यासों के चित्रों द्वारा जनरेट किया जाता है।
- $d=2$ के लिए, $\mathbb{RP}^1$ में कठोर विन्यास बिंदुओं की विशिष्ट बहुलता (multiplicities) द्वारा अभिलक्षित हैं।
- $d=3$ के लिए, $\mathbb{RP}^2$ में कठोर विन्यास विशिष्ट कोलीनियैरिटी (collinearities) और दोहरे बिंदुओं (double points) से संबंधित हैं।
मामला $(n, d) = (4, 2)$ : कोन $C_{4,2}$ , $\mathbb{R}^3$ में एक बहुफलकीय कोन है जिसमें 3 फलक हैं। लेखक तीन प्लकर-प्रकार की असमानताओं को पुनः प्राप्त करते हैं जिन्हें [3] में प्रस्तुत किया गया था, जो समतल में चार ज़ोनॉइड्स के "शुद्ध रूप से मिश्रित" क्षेत्रों के लिए एक पूर्ण प्रणाली बनाती हैं।
मामला $(n, d) = (6, 2)$ : कोन $C_{6,2}$ $C_{6, 2}$ , $\mathbb{R}^{15}$ $R^{15}$ में एक बहुफलकीय कोन है जिसमें 975 फलक हैं। सममित समूह $S_6$ $S_{6}$ के तहत, ये फलक 8 ऑर्बिट्स (orbits) में आते हैं। लेखक इन 8 प्रकार की असमानताओं के लिए स्पष्ट गुणांक प्रदान करते हैं।
- अवलोकन: $(4,2)$ मामले के विपरीत, ये "सर्वश्रेष्ठ" मिंकोव्स्की बहुरेखीय असमानताएं सामान्य मिश्रित आयतनों के लिए पूर्ण प्रणाली नहीं बनाती हैं; वे पूर्ण स्थान के एक उपसमुच्चय का वर्णन करती हैं।
- सममिति बनाम सामान्यता: लेखक ऐसी असमानताओं की पहचान करते हैं (विशेष रूप से टाइप 3) जो केंद्रीय रूप से सममित निकायों ( $\mathbb{R}^2$ में ज़ोनॉइड्स) के लिए तो मान्य हैं लेकिन सामान्य उत्तल निकायों (convex bodies) के लिए विफल हो जाती हैं, जो $n=6$ के लिए ज़ोनॉइड और सामान्य उत्तल निकाय के बीच एक विसंगति को उजागर करती हैं।
मामला $(n, d) = (6, 3)$ : कोन $C_{6,3}$ , $\mathbb{R}^{10}$ में एक बहुफलकीय कोन है जिसमें 130 फलक ( $S_6$ के तहत 2 ऑर्बिट्स) हैं। ये असमानताएं ग्रासमैन-प्लकर संबंधों और त्रिकोण असमानता से व्युत्पन्न हैं।
गैर-बहुफलकीयता (Non-Polyhedrality): शोध पत्र प्रदर्शित करता है कि $C_{n,d}$ की बहुफलकीय प्रकृति सार्वभौमिक नहीं है। $d=2$ और सम $n \ge 8$ के लिए, कोन $C_{n,2}$ बहुफलकीय नहीं है। लेखक यह सिद्ध करने के लिए कि कोन में द्विघात वक्रों (quadratic curves) का एक निरंतर परिवार (जो कठोर विन्यासों के 1-पैरामीटर परिवारों से उत्पन्न होता है) है जो एक गैर-बहुफलकीय सीमा बनाते हैं, यह प्रमाण देते हैं।

महत्व और दावे
शोध पत्र का दावा है कि यह ज़ोनॉइड्स के मिश्रित आयतनों के अध्ययन को ग्रासमैनियन के निरपेक्ष मान से जोड़ने वाला एक व्यवस्थित संयोजी ढांचा प्रदान करता है। इसके प्राथमिक योगदान हैं:

नई असमानताओं के परिवार: $n=6$ के लिए $d=2$ और $d=3$ में नई, मिंकोव्स्की रैखिक असमानताओं का व्युत्पत्ति।
संगणनात्मक खोज: शोध पत्र नोट करता है कि लेखकों के सर्वोत्तम ज्ञान के अनुसार, यह पहली ऐसी कृति है जहाँ कंप्यूटर-सहायता प्राप्त उपकरणों का उपयोग करके ज्यामितीय असमानताओं को निर्धारित किया गया है। यह "हस्त-व्युत्पन्न" प्रमाणों से जटिल मामलों के लिए कम्प्यूटेशनल विधियों की ओर एक बदलाव को रेखांकित करता है।
संरचनात्मक अंतर्दृष्टि: $n$ बढ़ने के साथ (विशेष रूप से $d=2$ के लिए $n=8$ पर) बहुफलकीयता से गैर-बहुफलकीयता की ओर संक्रमण की पहचान, जो यह सुझाव देती है कि कंप्यूटर सहायता के बिना पूर्ण प्रणालियों को खोजना अधिकांश $(n, d)$ के लिए अव्यवहार्य हो जाता है।
वर्गों का अंतर: कार्य यह उजागर करता है कि ज़ोनॉइड्स (केंद्रीय रूप से सममित निकायों) के लिए असमानताओं का तंत्र सामान्य उत्तल निकायों की तुलना में भिन्न है, जो $n \ge 6$ के लिए एक ऐसी घटना है जो $n=4$ के मामले में मौजूद नहीं थी।

लेखक सामान्य मामले के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि सामान्य $(n, d)$ के लिए $C_{n,d}$ के जनरेटरों का वर्णन करना एक खुला प्रश्न बना हुआ है, और $n$ और $d$ के साथ कोन की संरचना की जटिलता तेजी से बढ़ती है।