In this paper we investigate $K$-multimagic squares of order $N$, these are $N \times N$ magic squares which remain magic after raising each element to the $k$ th power for all $2 \leqslant$ $k \leqslant K$. Given $K \geqslant 2$, we consider the problem of establishing the smallest integer $N_2(K)$ for which there exists nontrivial $K$-multimagic squares of order $N_2(K)$. Previous results on multimagic squares show that $N_2(K) \leqslant(4 K-2)^K$ for large $K$. Here we utilize the Hardy-Littlewood circle method and establish the bound
$$ N_2(K) \leqslant 2 K(K+1)+1 $$
Via an argument of Granville's we additionally deduce the existence of infinitely many nontrivial prime valued $K$-multimagic squares of order $2 K(K+1)+1$.
- पेपर ID: 2406.08161
- शीर्षक: A circle method approach to K-multimagic squares
- लेखक: Daniel Flores
- वर्गीकरण: math.NT (संख्या सिद्धांत), math.CO (संयोजन विज्ञान)
- प्रकाशन समय: जून 2024, अद्यतन संस्करण जनवरी 2025
- पेपर लिंक: https://arxiv.org/abs/2406.08161
यह पेपर K-बहुजादुई वर्गों का अध्ययन करता है, जो N×N जादुई वर्ग हैं जो प्रत्येक तत्व को k-वीं घात तक उठाने के बाद (सभी 2⩽k⩽K के लिए) जादुई वर्ग गुण बनाए रखते हैं। दिए गए K⩾2 के लिए, लेखक न्यूनतम पूर्णांक N2(K) निर्धारित करने की समस्या पर विचार करता है, ताकि क्रम N2(K) का एक गैर-तुच्छ K-बहुजादुई वर्ग मौजूद हो। पूर्ववर्ती परिणामों से बड़े K के लिए N2(K)⩽(4K−2)K प्राप्त होता है। यह पेपर Hardy-Littlewood वृत्त विधि का उपयोग करके सीमा N2(K)⩽2K(K+1)+1 स्थापित करता है। Granville के तर्क के माध्यम से, क्रम 2K(K+1)+1 के अनंत कई गैर-तुच्छ अभाज्य-मूल्य वाले K-बहुजादुई वर्गों का अस्तित्व भी प्राप्त होता है।
- समस्या परिभाषा: इस अनुसंधान द्वारा समाधान की जाने वाली मूल समस्या K-बहुजादुई वर्ग के न्यूनतम क्रम को निर्धारित करना है। K-बहुजादुई वर्ग एक N×N मैट्रिक्स है, जिसकी प्रत्येक पंक्ति, स्तंभ और दोनों मुख्य विकर्णों का योग प्रत्येक तत्व को k-वीं घात (1⩽k⩽K) तक उठाने के बाद समान होता है।
- समस्या की महत्ता:
- जादुई वर्ग समस्या का हजारों वर्षों का इतिहास है, यह गणित में एक शास्त्रीय समस्या है
- Martin Gardner द्वारा 1996 में प्रचारित 3×3 भिन्न वर्ग संख्या जादुई वर्ग समस्या अभी तक अनसुलझी है
- बहुजादुई वर्ग जादुई वर्ग सिद्धांत का महत्वपूर्ण विस्तार है, जिसका गहरा संख्या-सैद्धांतिक महत्व है
- मौजूदा विधि की सीमाएं:
- पूर्ववर्ती निर्माण विधियां मुख्य रूप से नियमित बहुजादुई वर्गों (तत्व 1, 2, ..., N2) पर आधारित हैं
- ज्ञात ऊपरी सीमा (4K−2)K बड़े K के लिए घातीय वृद्धि दिखा सकती है
- सामान्य स्थिति को संभालने के लिए व्यवस्थित विश्लेषण विधि की कमी है
- अनुसंधान प्रेरणा:
- अधिक सटीक स्पर्शोन्मुख सीमाओं की आवश्यकता
- Hardy-Littlewood वृत्त विधि इस प्रकार की योगात्मक समस्याओं को संभालने के लिए एक शक्तिशाली उपकरण प्रदान करती है
- सीमा को संभावित घातीय वृद्धि से बहुपद वृद्धि में सुधारने की आशा
- मुख्य सैद्धांतिक परिणाम: N2(K)⩽2K(K+1)+1 को प्रमाणित किया गया है, जो पूर्ववर्ती सीमा (4K−2)K में एक उल्लेखनीय सुधार है, विशेष रूप से जब K⩾4 हो।
- पद्धति संबंधी नवाचार: पहली बार Hardy-Littlewood वृत्त विधि को बहुजादुई वर्ग समस्या पर लागू किया गया है, विभिन्न घातों के विकर्ण प्रणालियों को संभालने के लिए एक सामान्य ढांचा स्थापित किया गया है।
- तकनीकी सफलता:
- मैट्रिक्स उच्च गैर-विलक्षणता की शर्त को शिथिल किया गया है, मैट्रिक्स "प्रभावशाली फलन" की अवधारणा को प्रस्तुत किया गया है
- बहुजादुई वर्ग गुणांक मैट्रिक्स के लिए लागू रैंक शर्त विश्लेषण स्थापित किया गया है
- अभाज्य-मूल्य परिणाम: Granville के तर्क और Green-Tao प्रमेय का उपयोग करके, अनंत कई अभाज्य-मूल्य वाले K-बहुजादुई वर्गों का अस्तित्व प्रमाणित किया गया है।
दिए गए K⩾2 और N के लिए, N×N मैट्रिक्स Z=(zi,j) खोजें ताकि सभी 1⩽k⩽K के लिए, मैट्रिक्स Z∘k:=(zi,jk) जादुई वर्ग हो। गैर-तुच्छ का अर्थ है N से अधिक भिन्न पूर्णांकों का उपयोग करना।
K-बहुजादुई वर्ग समस्या को विकर्ण प्रणाली समाधान में परिवर्तित करें:
∑1⩽j⩽sci,jxjk=0(1⩽i⩽r,1⩽k⩽K)
जहां C=(ci,j) गुणांक मैट्रिक्स है, RK(P;C) maxj∣xj∣⩽P को संतुष्ट करने वाले समाधानों की संख्या को दर्शाता है।
घातीय जनक फलन को परिभाषित करें:
fK(α;C)=∏1⩽j⩽s∑∣x∣⩽Pe(∑1⩽k⩽K(αk⋅cj)xk)
लंबकोणीयता के माध्यम से प्राप्त करें:
RK(P;C)=∫[0,1)r×KfK(α;C)dα
- मुख्य चाप M(Q): ∣αi,k−ai,k/q∣⩽QP−k का क्षेत्र
- लघु चाप m(Q): पूरक क्षेत्र
- स्पर्शोन्मुख सूत्र स्थापित करें: RK(P;C)=SK(Q;C)JK(Q,P;C)+o(Ps−2rK(K+1))
नई अवधारणा प्रस्तुत करें: मैट्रिक्स C फलन f को प्रभावित करता है यदि और केवल यदि सभी J⊂{1,...,s} के लिए:
rank(CJ)⩾min{f(∣J∣),r}
यह पारंपरिक उच्च गैर-विलक्षणता शर्त से कमजोर है लेकिन अभी भी पर्याप्त मजबूत है।
परिभाषित करें:
F(x)=max{⌊s/r⌋x−rem(s,r),⌊(s−1)/r⌋x−rem(s−1,r)}
प्रमेय 2.2: यदि K⩾2, C∈Zr×s संतुष्ट करता है s⩾rK(K+1) और C फलन F(x) को प्रभावित करता है, तो:
RK(P;C)=Ps−2rK(K+1)(σK(C)+o(1))
जहां σK(C)>0।
N×N जादुई वर्ग के लिए, 2N×N2 मैट्रिक्स CNmagic का निर्माण करें, जहां प्रत्येक स्तंभ एक मैट्रिक्स स्थिति (i,j) के अनुरूप है, जादुई वर्ग की पंक्ति और स्तंभ योग शर्तों को एन्कोड करता है।
- रैंक विश्लेषण: CNmagic फलन F(x) को प्रभावित करता है यह प्रमाणित करें
- गैर-विलक्षण समाधान अस्तित्व: द्विविकर्ण लैटिन वर्ग (DDLS) के अस्तित्व का उपयोग करें
- जैकोबियन मैट्रिक्स विश्लेषण: स्थानीय समाधान की गैर-विलक्षणता सुनिश्चित करें
| K | पूर्ववर्ती सीमा | यह पेपर | सुधार |
|---|
| 2 | 6 | 7 | समतुल्य |
| 3 | 12 | 19 | थोड़ा कम |
| 4 | 243 | 41 | उल्लेखनीय सुधार |
| 5 | 729 | 61 | उल्लेखनीय सुधार |
| 6 | 4096 | 85 | उल्लेखनीय सुधार |
| बड़ा K | (4K−2)K | 2K(K+1)+1 | घातीय से द्विघात |
यह पेपर प्रमाणित करता है कि K⩾2 और N⩾2K(K+1) के लिए:
MK,N(P)∼cPN(N−K(K+1))
जहां c>0 एक स्थिरांक है।
अनुपात 1.3: दिए गए K⩾2 के लिए, प्रत्येक N⩾2K(K+1) के लिए, अनंत कई गैर-तुच्छ अभाज्य-मूल्य वाले K-बहुजादुई वर्ग मौजूद हैं।
- शास्त्रीय निर्माण: Wroblewski, Trump, Fengchu आदि के ठोस निर्माण
- सामान्य सिद्धांत: Zhang, Chen, Li की (4K−2)K सीमा
- वृत्त विधि अनुप्रयोग: Brandes, Parsell की योगात्मक समीकरणों में कार्य
यह पेपर निम्नलिखित क्षेत्रों से संबंधित है:
- Vinogradov औसत मूल्य प्रमेय: लघु चाप अनुमान के लिए उपयोग किया जाता है
- योगात्मक संयोजन विज्ञान: विभिन्न घातों के विकर्ण समीकरण
- बीजगणितीय ज्यामिति: जैकोबियन मैट्रिक्स की रैंक विश्लेषण
- K-बहुजादुई वर्ग के न्यूनतम क्रम के लिए द्विघात ऊपरी सीमा N2(K)⩽2K(K+1)+1 स्थापित किया गया है
- अभाज्य-मूल्य बहुजादुई वर्गों की अनंत अस्तित्व प्रमाणित किया गया है
- विभिन्न घातों की योगात्मक समस्याओं को संभालने के लिए एक नई वृत्त विधि ढांचा प्रदान किया गया है
- स्थिरांक: सीमा में स्थिरांक 2 संभवतः इष्टतम नहीं है
- निचली सीमा: संबंधित निचली सीमा अनुमान प्रदान नहीं किया गया है
- कम्प्यूटेशनल जटिलता: विधि मुख्य रूप से अस्तित्व प्रमाण है, सीधे निर्माण एल्गोरिदम नहीं देती है
- उच्च-आयामी सामान्यीकरण: d-आयामी हाइपरक्यूब तक विस्तार, अपेक्षित सीमा Nd(K)≪dK2
- सटीक स्थिरांक: इष्टतम स्थिरांक कारक निर्धारित करें
- निर्माण एल्गोरिदम: व्यावहारिक निर्माण विधियों का विकास
- सैद्धांतिक सफलता: संभावित घातीय सीमा को द्विघात सीमा में सुधारना, यह गुणात्मक छलांग है
- विधि नवाचार: मिश्रित घातों की समस्या को संभालने के लिए वृत्त विधि का सफल अनुकूलन, तकनीकी कठिनाई बहुत अधिक है
- पूर्णता: अस्तित्व से अभाज्य-मूल्य परिणाम तक, सैद्धांतिक प्रणाली पूर्ण है
- कठोरता: गणितीय प्रमाण कठोर है, तकनीकी प्रक्रिया सूक्ष्म है
- व्यावहारिकता: छोटे K मानों के लिए, नई सीमा हमेशा बेहतर नहीं होती है
- निर्माण: विधि गैर-निर्माणात्मक है, विशिष्ट जादुई वर्ग सीधे उत्पन्न नहीं कर सकती है
- जटिलता: प्रमाण तकनीक जटिल है, समझ की सीमा अधिक है
- सैद्धांतिक मूल्य: बहुजादुई वर्ग सिद्धांत के लिए नई विश्लेषण उपकरण प्रदान करता है
- पद्धति संबंधी महत्व: संयोजन संख्या सिद्धांत में वृत्त विधि का नया अनुप्रयोग
- अनुवर्ती अनुसंधान: संबंधित समस्याओं के अनुसंधान के लिए नई दिशा खोलता है
यह विधि निम्नलिखित के लिए लागू है:
- बड़े पैरामीटर K के बहुजादुई वर्ग अस्तित्व समस्या
- अन्य प्रकार की योगात्मक संयोजन समस्याएं
- स्पर्शोन्मुख गणना की आवश्यकता वाली संयोजन संरचना अनुसंधान
पेपर 23 महत्वपूर्ण संदर्भों को उद्धृत करता है, जिसमें शामिल हैं:
- Vinogradov औसत मूल्य प्रमेय की नवीनतम प्रगति (Bourgain, Demeter, Guth)
- योगात्मक समस्याओं में वृत्त विधि का अनुप्रयोग (Brandes, Parsell, Wooley)
- बहुजादुई वर्गों का निर्माण सिद्धांत (Boyer, Trump, Zhang आदि)
- अभाज्य वितरण सिद्धांत (Granville, Green-Tao)