The number of standard Young tableaux possible of shape corresponding to a partition $λ$ is called the dimension of the partition and is denoted by $f^λ$. Partitions with odd dimensions were enumerated by McKay and were further characterized by Macdonald using the theory of 2-core towers. We use the same theory to extend the results to partitions of $n$ with dimensions congruent to 2 modulo 4 which are enumerated by $a_2(n)$. We provide explicit results for $a_2(n)$ when $n$ has no consecutive 1s in its binary expansion and give a recursive formula to compute $a_2(n)$ for all $n$.
- पेपर ID: 2511.11977
- शीर्षक: सम विमीय विभाजनों की गणना मॉड्यूलो 4
- लेखक: आदित्य खन्ना
- वर्गीकरण: math.CO (संयोजन गणित)
- प्रकाशन समय: 15 नवंबर 2025 (arXiv प्रीप्रिंट)
- पेपर लिंक: https://arxiv.org/abs/2511.11977
पूर्णांक विभाजन λ का विमा fλ संबंधित आकार की मानक यंग तालिकाओं (SYT) की संख्या के रूप में परिभाषित किया जाता है। McKay ने विषम विमीय विभाजनों की गणना की, और Macdonald ने 2-कोर टॉवर सिद्धांत का उपयोग करके इन विभाजनों को आगे चित्रित किया। यह पेपर समान सिद्धांत का उपयोग करते हुए परिणामों को विमा मॉड्यूलो 4 में 2 के अनुरूप विभाजनों तक विस्तारित करता है, जिसे a2(n) द्वारा दर्शाया जाता है। पेपर बाइनरी विस्तार में क्रमागत 1 के बिना पूर्णांकों के लिए a2(n) का एक स्पष्ट सूत्र प्रदान करता है, और सामान्य n के लिए एक पुनरावर्ती गणना सूत्र प्रदान करता है।
- मूल समस्या: पूर्णांक n के विभाजनों में, विमा जो विशेष मॉड्यूलर गुणों को संतुष्ट करते हैं (विशेषकर मॉड्यूलो 4 में 2 के अनुरूप) की गणना करना
- ऐतिहासिक विकास:
- McKay (1972) ने m2(n) की गणना की (विमा जो 2 से विभाजित नहीं होते)
- Macdonald (1971) ने p-कोर टॉवर सिद्धांत का उपयोग करके mp(n) का पूर्ण समाधान दिया
- n=2k1+⋯+2kℓ (k1>⋯>kℓ) के लिए, m2(n)=2k1+⋯+kℓ
- सैद्धांतिक महत्व: मॉड्यूलो 4 का वर्गीकरण सममित समूह के स्पिन प्रतिनिधित्वों के वर्गीकरण के लिए महत्वपूर्ण है
- विस्तार मूल्य: मॉड्यूलो 2 से मॉड्यूलो 4 तक का सामान्यीकरण अधिक सामान्य मॉड्यूलर गुणों को समझने की कुंजी है
- संयोजन संरचना: विभाजन विमा और बाइनरी विस्तार के बीच गहरे संबंध को प्रकट करता है
- Amrutha P और T. Geetha का कार्य, हालांकि m2k(n) के लिए एक सामान्य समाधान देता है (समीकरण (6)), परिणाम गणना के लिए सुविधाजनक नहीं हैं
- वे केवल n=2ℓ के विशेष मामले के लिए m4(n) के स्पष्ट परिणाम प्रदान करते हैं
- सामान्य n के लिए प्रभावी गणना विधि की कमी है
2-कोर टॉवर सिद्धांत के माध्यम से विमा मॉड्यूलो 4 में 2 के अनुरूप विभाजनों और बाइनरी विस्तार के बीच संयोजन पत्राचार स्थापित करना, गणनीय पुनरावर्ती सूत्र और विशेष मामलों के बंद-रूप समाधान प्रदान करना।
- पुनरावर्ती सूत्र (प्रमेय 1): n=2R+m (m<2R) के लिए, a2(n) के लिए एक खंडित पुनरावर्ती सूत्र दिया गया है:
- जब m<2R−1 हो: a2(n)=2R⋅a2(m)+(22R−1)⋅a(m)
- जब 2R−1≤m<2R हो: a2(n)=2R⋅a2(m)+2R−11((32R−1)+2R−1)⋅a(m)
- विरल संख्याओं के लिए बंद-रूप (परिणाम 2): बाइनरी विस्तार में क्रमागत 1 के बिना विरल संख्याओं n के लिए:
- जब n सम हो: a2(n)=8a(n)(n−2ν(n)), जहां ν(n) बाइनरी विस्तार में 1 की संख्या है
- जब n विषम हो: a2(n)=a2(n−1)
- 2-कोर टॉवर चिन्हांकन (प्रस्ताव 13): v2(fλ)=1 के लिए आवश्यक और पर्याप्त शर्तें दीं, 2-कोर टॉवर के प्रत्येक स्तर के भार wi(λ) के माध्यम से चिन्हांकित
- संयोजन व्याख्या: गणना समस्या को 2-कोर टॉवर नोड्स के लेबलिंग की संयोजन गणना में रूपांतरित करना, स्पष्ट संयोजन पत्राचार स्थापित करना
इनपुट: सकारात्मक पूर्णांक n
आउटपुट: a2(n), अर्थात् n के सभी विभाजनों में विमा fλ≡2(mod4) वाले विभाजनों की संख्या
बाधा: 2-कोर टॉवर की संयोजन संरचना का उपयोग करके गणना करना
- विभाजन: λ=(λ1,…,λk) जो λ1≥⋯≥λk>0 और ∣λ∣=∑λi=n को संतुष्ट करता है
- विमा: fλ आकार λ की मानक यंग तालिकाओं (SYT) की संख्या है
- 2-कोर: कोई हटाने योग्य डोमिनो न रखने वाला विभाजन, रूप में (n,n−1,…,2,1)
विभाजन λ के लिए एक अनंत बाइनरी वृक्ष का निर्माण:
- रूट नोड को core2(λ) से लेबल किया जाता है
- पुनरावर्ती परिभाषा: यदि नोड v को core2(λ(b)) से लेबल किया जाता है, तो इसके दोनों बाल नोड्स को क्रमशः core2(λ(b0)) और core2(λ(b1)) से लेबल किया जाता है
- यहां λ(0),λ(1) λ के 2-भागफल हैं
k-वीं पंक्ति का भार परिभाषित करें:
wk(λ):=∑b∈{0,1}k∣core2(λ(b))∣
मुख्य गुण:
- प्रस्ताव 12 (Macdonald): λ एक विषम विभाजन है यदि और केवल यदि wi(λ)=bi (n का i-वां बाइनरी अंक)
- प्रस्ताव 13 (इस पेपर का मूल): v2(fλ)=1 यदि और केवल यदि कोई R∈bin′(n) मौजूद है जैसे कि:
- wR−1(λ)=bR−1+2
- wR(λ)=0
- wi(λ)=bi सभी i=R,R−1 के लिए
भार अनुक्रम wk(n)=(wik(n))i≥0 का परिचय दिया, किसी विशेष स्तर k को "असामान्य" (भार में 2 की वृद्धि) के रूप में निर्दिष्ट करके v2(fλ)=1 की शर्तों को चिन्हांकित करना। यह Macdonald के विषम विभाजन चिन्हांकन से मॉड्यूलो 4 में 2 के अनुरूप विभाजनों तक का मुख्य सामान्यीकरण है।
Tk(w) को k-वीं पंक्ति में 2k नोड्स वाली योजनाओं की संख्या के रूप में परिभाषित करें, नोड्स को 2-कोर के रूप में लेबल किया जाता है और आकारों का योग w है:
- Tk(0)=1
- Tk(1)=2k
- Tk(2)=(22k)
- Tk(3)=(32k)+2k
यह 2-कोर के रूप (लेम्मा 6) का उपयोग करता है, आकार 0, 1, 3 के 2-कोर क्रमशः ∅, (1), (2,1) हैं।
a2(n) को इस प्रकार व्यक्त करें:
a2(n)=∑k∈bin′(n)T(wk(n))
जहां T(wk(n))=∏i≥0Ti(wik(n))
k=R पद को अलग करके और अन्य पदों से, प्रेरण परिकल्पना का उपयोग करके a2(m) की गणना करके, पुनरावर्ती सूत्र प्राप्त करें।
विरल संख्याओं के लिए (कोई क्रमागत 1 नहीं), सभी k∈bin′(n) के लिए bk−1=0 है, इसलिए:
a2(n)=a(n)∑k∈bin′(n)Tk(1)Tk−1(2)=a(n)∑k∈bin′(n)82k−2
यह योग स्पष्ट रूप से गणना की जा सकती है, बंद-रूप प्राप्त करते हुए।
नोट: यह पेपर एक शुद्ध सैद्धांतिक गणित पेपर है, पारंपरिक अर्थ में प्रयोगों में शामिल नहीं है। सभी परिणाम कठोर गणितीय प्रमाण के माध्यम से प्राप्त किए गए हैं।
- सैद्धांतिक व्युत्पत्ति Macdonald के 2-कोर टॉवर सिद्धांत ढांचे पर आधारित है
- लेम्मा 15 के माध्यम से छोटे पैमाने के मामलों को सत्यापित करना (w=0,1,2,3)
- पुनरावर्ती सूत्र कंप्यूटर सत्यापन के लिए उपयोग किया जा सकता है (हालांकि पेपर संख्यात्मक प्रयोग प्रदान नहीं करता है)
- विरल संख्याएं सत्यापन योग्य बंद-रूप प्रदान करती हैं
- ज्ञात m4(2ℓ) परिणामों के साथ सुसंगत (नोट 17)
पुनरावर्ती सूत्र छोटे m से a2(2R+m) की गणना की अनुमति देता है:
- पहला मामला (m<2R−1): मुख्य रूप से a2(m) पर निर्भर करता है, सुधार पद गुणांक (22R−1)=2R−2(2R−1−1) है
- दूसरा मामला (m≥2R−1): सुधार पद अधिक जटिल है, गुणांक 2R−11((32R−1)+2R−1) है
विरल संख्याओं के लिए, सूत्र अत्यंत सरल है:
a2(n)=8a(n)(n−2ν(n))(n सम)
उदाहरण: n=42=25+23+21 (विरल), ν(42)=3
- a(42)=25+3+1=512
- a2(42)=8512(42−6)=64×36=2304
- मॉड्यूलो 4 संरचना की स्तरीयता: विमा मॉड्यूलो 4 में 2 के अनुरूप विभाजन 2-कोर टॉवर में बिल्कुल एक स्तर के साथ "असामान्य" (भार अपेक्षा से 2 अधिक) होने के अनुरूप हैं
- बाइनरी विस्तार की भूमिका:
- विषम विभाजन: प्रत्येक बाइनरी अंक एक स्तर के भार के अनुरूप है
- मॉड्यूलो 4 में 2 के अनुरूप विभाजन: किसी विशेष बिट पर "उधार लेना", आसन्न दो स्तरों के भार में परिवर्तन का कारण बनता है
- विरल संख्याओं की विशेषता: कोई क्रमागत 1 नहीं सभी संभावित "असामान्य" स्थितियों को समान संयोजन संरचना में योगदान देता है, बंद-रूप की ओर ले जाता है
- m4(n) के साथ संबंध (नोट 17):
m4(n)=a(n)+a2(n)
विमा जो 4 से विभाजित होते हैं की संख्या p(n)−a(n)−a2(n) है
- McKay (1972): पहली बार m2(n) की गणना की, विषम विमीय विभाजनों की गणना की
- विधि: प्रत्यक्ष संयोजन तर्क
- परिणाम: बाइनरी विस्तार के साथ संबंध
- Macdonald (1971): p-कोर टॉवर सिद्धांत का उपयोग करके mp(n) को व्यवस्थित रूप से संभाला
- कोर-भागफल पत्राचार का परिचय
- विमा और कोर टॉवर भार के बीच संबंध स्थापित करना (समीकरण (3.3),(3.4))
- प्रस्ताव 12 इस पेपर का प्रत्यक्ष आधार है
- Amrutha P & T. Geetha (2024): m2k(n) का अध्ययन
- समीकरण (6) एक सामान्य समाधान देता है, लेकिन गणना जटिल है
- केवल n=2ℓ के लिए स्पष्ट परिणाम देते हैं
- इस पेपर की गणनीयता में उल्लेखनीय सुधार है
- संबंधित अनुप्रयोग:
- Ganguly & Spallone (2020): सममित समूह के स्पिन प्रतिनिधित्व (इस पेपर की प्रेरणा का स्रोत)
- Ghosh & Spallone (2019): चिरल विभाजनों की गणना
- Ayyer, Prasad & Spallone (2017): गैर-तुच्छ निर्धारक के प्रतिनिधित्व
- सैद्धांतिक सामान्यीकरण: मॉड्यूलो 2 से मॉड्यूलो 4 तक का प्राकृतिक विस्तार
- विधि नवाचार: भार अनुक्रम wk(n) और गणना फलन Tk(w) का परिचय
- व्यावहारिक मूल्य: गणनीय पुनरावर्ती और विशेष मामलों के बंद-रूप प्रदान करता है
- मॉड्यूलो 4 में 2 के अनुरूप मामले को पूरी तरह से हल किया: प्रमेय 1 के पुनरावर्ती सूत्र के माध्यम से, a2(n) सभी n के लिए गणनीय है
- विरल संख्याओं के लिए सुंदर सूत्र: परिणाम 2 पूर्णांकों के एक बड़े वर्ग के लिए बंद-रूप समाधान देता है
- संयोजन व्याख्या स्पष्ट है: 2-कोर टॉवर के भार विसंगति के माध्यम से v2(fλ)=1 को चिन्हांकित करना
- ज्ञात परिणामों के साथ सुसंगत: विशेष मामले Amrutha-Geetha के परिणामों के साथ मेल खाते हैं
- पुनरावर्ती प्रकृति: प्रमेय 1 पूर्ण होने के बावजूद, a2(n) की गणना अभी भी छोटे मानों तक पुनरावर्ती करने की आवश्यकता है, जटिलता बाइनरी विस्तार की संरचना पर निर्भर करती है
- सामान्य मामले के लिए कोई बंद-रूप नहीं: विरल संख्याओं को छोड़कर, सामान्य n के लिए कोई बंद-रूप सूत्र नहीं दिया गया है
- उच्च-क्रम सामान्यीकरण कठिन (धारा 4 में स्वीकार किया गया):
- मॉड्यूलो 2k (k>2) मामले में पुनरावर्ती पद बहुत अधिक हैं
- मॉड्यूलो p2 (p विषम अभाज्य) गणना जटिल है
- ये सामान्यीकरण व्यावहारिक रूप से संभालना कठिन हैं
- संख्यात्मक सत्यापन की कमी: पेपर गणना उदाहरण या अन्य विधियों के साथ संख्यात्मक तुलना प्रदान नहीं करता है
पेपर धारा 4 में इंगित करता है:
- उच्च मॉड्यूलस: मॉड्यूलो 2k (k≥3) या मॉड्यूलो p2 (p विषम अभाज्य) के मामलों की गणना करना, लेकिन पुनरावर्ती अधिक जटिल होगा स्वीकार करना
- अन्य विशेष वर्ग: अधिक पूर्णांक वर्गों को खोजना जो बंद-रूप की अनुमति देते हैं (विरल संख्याओं के समान)
- एल्गोरिथ्म अनुकूलन: a2(n) की गणना के लिए कुशल एल्गोरिदम विकसित करना
- प्रतिनिधित्व सिद्धांत अनुप्रयोग: परिणामों को स्पिन प्रतिनिधित्वों की विशिष्ट वर्गीकरण समस्याओं में लागू करना
- सैद्धांतिक कठोरता:
- सभी प्रमेयों के पूर्ण प्रमाण हैं
- तार्किक श्रृंखला स्पष्ट है: लेम्मा 15 → प्रस्ताव 13 → प्रमेय 1 → परिणाम 2
- परिपक्व 2-कोर टॉवर सिद्धांत ढांचे का उपयोग करता है
- विधि नवाचार:
- भार अनुक्रम wk(n) का परिचय "असामान्य" स्तर की स्थिति को चतुराई से एन्कोड करता है
- गणना फलन Tk(w) समस्या को संभालने योग्य उप-समस्याओं में विभाजित करता है
- विरल संख्या मामले का उपचार विधि की शक्ति प्रदर्शित करता है
- परिणामों की गणनीयता:
- पुनरावर्ती सूत्र स्पष्ट है, प्रोग्रामेबल है
- विरल संख्याओं का बंद-रूप सुंदर और सीधे लागू होने योग्य है
- ज्ञात परिणामों के साथ संबंध स्पष्ट है (नोट 17)
- लेखन स्पष्टता:
- पृष्ठभूमि परिचय पर्याप्त है (धारा 1)
- परिभाषाएं विस्तृत हैं (धारा 2), उदाहरणों के साथ
- प्रमाण सोच स्पष्ट है, मुख्य चरणों में टिप्पणियां हैं
- सीमित व्यावहारिकता:
- पुनरावर्ती सूत्र पूर्ण होने के बावजूद, बड़े n के लिए गणना दक्षता स्पष्ट नहीं है
- एल्गोरिथ्म जटिलता विश्लेषण की कमी है
- कार्यान्वयन या संख्यात्मक तालिका प्रदान नहीं की गई है
- संकीर्ण कवरेज:
- केवल मॉड्यूलो 4 में 2 के अनुरूप मामले को हल करता है
- मॉड्यूलो 4 में 0 और 3 के अनुरूप (a0(n),a3(n)) पर चर्चा नहीं की गई है
- हालांकि a(n)=a1(n)+a3(n) के माध्यम से आंशिक जानकारी अप्रत्यक्ष रूप से प्राप्त की जा सकती है
- सामान्यीकरण पथ अस्पष्ट:
- धारा 4 उच्च-क्रम सामान्यीकरण की कठिनाई स्वीकार करता है, लेकिन कठिनाई के सार में गहराई से विश्लेषण नहीं करता है
- इन कठिनाइयों को दूर करने के संभावित दिशाएं प्रस्तावित नहीं की गई हैं
- क्या विरल संख्याओं का बंद-रूप अधिक सामान्य सामान्यीकरण है?
- सहज व्याख्या की कमी:
- क्यों बिल्कुल wR−1=bR−1+2 v2(fλ)=1 के अनुरूप है?
- पुनरावर्ती सूत्र में गुणांक (22R−1) और 2R−11((32R−1)+2R−1) का संयोजन अर्थ क्या है?
- हालांकि प्रमाण कठोर है, सहज चित्र की कमी है
- अनुप्रयोग अविकसित:
- हालांकि स्पिन प्रतिनिधित्वों की प्रेरणा का उल्लेख है, लेकिन a2(n) प्रतिनिधित्व सिद्धांत में विशिष्ट भूमिका स्पष्ट नहीं की गई है
- Ganguly-Spallone कार्य के साथ संबंध केवल उद्धरण स्तर पर रहता है
- क्षेत्र में योगदान:
- McKay-Macdonald सिद्धांत को मॉड्यूलो 4 मामले तक विस्तारित करने में अंतराल भरता है
- उच्च मॉड्यूलस के लिए बाद के अनुसंधान के लिए टेम्पलेट प्रदान करता है
- विभाजन विमा की मॉड्यूलर गुणों के अनुसंधान को समृद्ध करता है
- व्यावहारिक मूल्य:
- विरल संख्या सूत्र सीधे लागू किया जा सकता है
- पुनरावर्ती सूत्र कंप्यूटर बीजगणित प्रणालियों के लिए कार्यान्वयन आधार प्रदान करता है
- प्रतिनिधित्व सिद्धांत शोधकर्ताओं के लिए संदर्भ मूल्य है
- पुनरुत्पादनीयता:
- गणितीय प्रमाण सत्यापन योग्य हैं
- पुनरावर्ती सूत्र स्पष्ट है, प्रोग्रामिंग के लिए आसान है
- लेकिन कोड या संख्यात्मक उदाहरणों की कमी पुनरुत्पादनीयता को कम करती है
- संभावित प्रभाव:
- अन्य मॉड्यूलर गुणों के अनुसंधान को प्रेरित कर सकता है
- 2-कोर टॉवर विधि का आगे अनुप्रयोग
- कंप्यूटर बीजगणित के साथ संयोजन
- सैद्धांतिक अनुसंधान:
- विभाजन सिद्धांत में मॉड्यूलर गुणों का अनुसंधान
- सममित समूह प्रतिनिधित्व सिद्धांत (विशेषकर स्पिन प्रतिनिधित्व)
- संयोजन संख्या सिद्धांत में बाइनरी विस्तार अनुप्रयोग
- गणना अनुप्रयोग:
- विशिष्ट मॉड्यूलर गुणों वाले विभाजन संख्याओं की गणना की आवश्यकता वाले मामले
- प्रतीकात्मक गणना प्रणालियों में विभाजन फलन पुस्तकालय
- गणना संयोजन में उत्पन्न करने वाले फलन अनुसंधान
- शिक्षण मूल्य:
- 2-कोर टॉवर सिद्धांत के अनुप्रयोग का प्रदर्शन
- संयोजन गणना में पुनरावर्ती विधि का उदाहरण
- बाइनरी विस्तार और संयोजन संरचना के संबंध
पेपर द्वारा उद्धृत मुख्य साहित्य:
- J. McKay (1972): "विषम डिग्री के अपरिवर्तनीय प्रतिनिधित्व", Journal of Algebra - विषम विमीय विभाजनों का अग्रणी कार्य
- I. G. Macdonald (1971): "सममित समूहों के अपरिवर्तनीय प्रतिनिधित्वों की डिग्री पर", Bulletin of the London Mathematical Society - p-कोर टॉवर सिद्धांत ढांचे की स्थापना
- P. Amrutha & T. Geetha (2024): "2k से विभाजित न होने वाले समूहों के प्रतिनिधित्वों की डिग्री पर", Journal of Algebra and Its Applications - हाल का संबंधित कार्य
- J. Ganguly & S. Spallone (2020): "सममित समूहों के स्पिनोरियल प्रतिनिधित्व", Journal of Algebra - इस पेपर के अनुसंधान की प्रतिनिधित्व सिद्धांत प्रेरणा
- J. B. Olsson (1993): "परिमित समूहों की संयोजन और प्रतिनिधित्व" - मूल तकनीकी संदर्भ
यह एक उच्च गुणवत्ता का संयोजन गणित सैद्धांतिक पेपर है, जो McKay-Macdonald शास्त्रीय सिद्धांत के आधार पर वास्तविक सामान्यीकरण करता है। मुख्य शक्तियां सैद्धांतिक पूर्णता, कठोर प्रमाण, और गणनीय परिणाम हैं; मुख्य कमियां अनुप्रयोग प्रदर्शन की कमी और सामान्यीकरण पथ की अस्पष्टता हैं। विभाजन सिद्धांत और सममित समूह प्रतिनिधित्व सिद्धांत के शोधकर्ताओं के लिए, यह एक विस्तार से पढ़ने योग्य साहित्य है। विरल संख्याओं का बंद-रूप सूत्र विशेषकर सुंदर है, सिद्धांत की गहराई प्रदर्शित करता है। बाद के कार्य में संख्यात्मक प्रयोग जोड़ने, अधिक विशेष वर्गों के बंद-रूप की खोज करने, और प्रतिनिधित्व सिद्धांत के साथ विशिष्ट संबंध की सिफारिश की जाती है।
अनुशंसा सूचकांक: ★★★★☆ (4/5)
तकनीकी कठिनाई: उच्च
अनुप्रयोग मूल्य: मध्यम
सैद्धांतिक योगदान: महत्वपूर्ण