2025-11-15T21:52:11.782071

A circle method approach to K-multimagic squares

Flores
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$.
academic

K-बहुजादुई वर्गों के लिए वृत्त विधि दृष्टिकोण

मूल जानकारी

  • पेपर 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

सारांश

यह पेपर KK-बहुजादुई वर्गों का अध्ययन करता है, जो N×NN \times N जादुई वर्ग हैं जो प्रत्येक तत्व को kk-वीं घात तक उठाने के बाद (सभी 2kK2 \leqslant k \leqslant K के लिए) जादुई वर्ग गुण बनाए रखते हैं। दिए गए K2K \geqslant 2 के लिए, लेखक न्यूनतम पूर्णांक N2(K)N_2(K) निर्धारित करने की समस्या पर विचार करता है, ताकि क्रम N2(K)N_2(K) का एक गैर-तुच्छ KK-बहुजादुई वर्ग मौजूद हो। पूर्ववर्ती परिणामों से बड़े KK के लिए N2(K)(4K2)KN_2(K) \leqslant (4K-2)^K प्राप्त होता है। यह पेपर Hardy-Littlewood वृत्त विधि का उपयोग करके सीमा N2(K)2K(K+1)+1N_2(K) \leqslant 2K(K+1)+1 स्थापित करता है। Granville के तर्क के माध्यम से, क्रम 2K(K+1)+12K(K+1)+1 के अनंत कई गैर-तुच्छ अभाज्य-मूल्य वाले KK-बहुजादुई वर्गों का अस्तित्व भी प्राप्त होता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

  1. समस्या परिभाषा: इस अनुसंधान द्वारा समाधान की जाने वाली मूल समस्या KK-बहुजादुई वर्ग के न्यूनतम क्रम को निर्धारित करना है। KK-बहुजादुई वर्ग एक N×NN \times N मैट्रिक्स है, जिसकी प्रत्येक पंक्ति, स्तंभ और दोनों मुख्य विकर्णों का योग प्रत्येक तत्व को kk-वीं घात (1kK1 \leqslant k \leqslant K) तक उठाने के बाद समान होता है।
  2. समस्या की महत्ता:
    • जादुई वर्ग समस्या का हजारों वर्षों का इतिहास है, यह गणित में एक शास्त्रीय समस्या है
    • Martin Gardner द्वारा 1996 में प्रचारित 3×3 भिन्न वर्ग संख्या जादुई वर्ग समस्या अभी तक अनसुलझी है
    • बहुजादुई वर्ग जादुई वर्ग सिद्धांत का महत्वपूर्ण विस्तार है, जिसका गहरा संख्या-सैद्धांतिक महत्व है
  3. मौजूदा विधि की सीमाएं:
    • पूर्ववर्ती निर्माण विधियां मुख्य रूप से नियमित बहुजादुई वर्गों (तत्व 1, 2, ..., N2N^2) पर आधारित हैं
    • ज्ञात ऊपरी सीमा (4K2)K(4K-2)^K बड़े KK के लिए घातीय वृद्धि दिखा सकती है
    • सामान्य स्थिति को संभालने के लिए व्यवस्थित विश्लेषण विधि की कमी है
  4. अनुसंधान प्रेरणा:
    • अधिक सटीक स्पर्शोन्मुख सीमाओं की आवश्यकता
    • Hardy-Littlewood वृत्त विधि इस प्रकार की योगात्मक समस्याओं को संभालने के लिए एक शक्तिशाली उपकरण प्रदान करती है
    • सीमा को संभावित घातीय वृद्धि से बहुपद वृद्धि में सुधारने की आशा

मूल योगदान

  1. मुख्य सैद्धांतिक परिणाम: N2(K)2K(K+1)+1N_2(K) \leqslant 2K(K+1)+1 को प्रमाणित किया गया है, जो पूर्ववर्ती सीमा (4K2)K(4K-2)^K में एक उल्लेखनीय सुधार है, विशेष रूप से जब K4K \geqslant 4 हो।
  2. पद्धति संबंधी नवाचार: पहली बार Hardy-Littlewood वृत्त विधि को बहुजादुई वर्ग समस्या पर लागू किया गया है, विभिन्न घातों के विकर्ण प्रणालियों को संभालने के लिए एक सामान्य ढांचा स्थापित किया गया है।
  3. तकनीकी सफलता:
    • मैट्रिक्स उच्च गैर-विलक्षणता की शर्त को शिथिल किया गया है, मैट्रिक्स "प्रभावशाली फलन" की अवधारणा को प्रस्तुत किया गया है
    • बहुजादुई वर्ग गुणांक मैट्रिक्स के लिए लागू रैंक शर्त विश्लेषण स्थापित किया गया है
  4. अभाज्य-मूल्य परिणाम: Granville के तर्क और Green-Tao प्रमेय का उपयोग करके, अनंत कई अभाज्य-मूल्य वाले KK-बहुजादुई वर्गों का अस्तित्व प्रमाणित किया गया है।

विधि विवरण

कार्य परिभाषा

दिए गए K2K \geqslant 2 और NN के लिए, N×NN \times N मैट्रिक्स Z=(zi,j)Z = (z_{i,j}) खोजें ताकि सभी 1kK1 \leqslant k \leqslant K के लिए, मैट्रिक्स Zk:=(zi,jk)Z^{\circ k} := (z_{i,j}^k) जादुई वर्ग हो। गैर-तुच्छ का अर्थ है NN से अधिक भिन्न पूर्णांकों का उपयोग करना।

मॉडल आर्किटेक्चर

1. विकर्ण प्रणाली ढांचा

KK-बहुजादुई वर्ग समस्या को विकर्ण प्रणाली समाधान में परिवर्तित करें: 1jsci,jxjk=0(1ir,1kK)\sum_{1 \leqslant j \leqslant s} c_{i,j} x_j^k = 0 \quad (1 \leqslant i \leqslant r, 1 \leqslant k \leqslant K)

जहां C=(ci,j)C = (c_{i,j}) गुणांक मैट्रिक्स है, RK(P;C)R_K(P;C) maxjxjP\max_j |x_j| \leqslant P को संतुष्ट करने वाले समाधानों की संख्या को दर्शाता है।

2. वृत्त विधि अनुप्रयोग

घातीय जनक फलन को परिभाषित करें: fK(α;C)=1jsxPe(1kK(αkcj)xk)f_K(\alpha;C) = \prod_{1 \leqslant j \leqslant s} \sum_{|x| \leqslant P} e\left(\sum_{1 \leqslant k \leqslant K} (\alpha_k \cdot c_j) x^k\right)

लंबकोणीयता के माध्यम से प्राप्त करें: RK(P;C)=[0,1)r×KfK(α;C)dαR_K(P;C) = \int_{[0,1)^{r \times K}} f_K(\alpha;C) d\alpha

3. मुख्य चाप और लघु चाप विघटन

  • मुख्य चाप M(Q)M(Q): αi,kai,k/qQPk|\alpha_{i,k} - a_{i,k}/q| \leqslant QP^{-k} का क्षेत्र
  • लघु चाप m(Q)m(Q): पूरक क्षेत्र
  • स्पर्शोन्मुख सूत्र स्थापित करें: RK(P;C)=SK(Q;C)JK(Q,P;C)+o(PsrK(K+1)2)R_K(P;C) = S_K(Q;C)J_K(Q,P;C) + o(P^{s-\frac{rK(K+1)}{2}})

तकनीकी नवाचार बिंदु

1. मैट्रिक्स प्रभावशाली शर्त

नई अवधारणा प्रस्तुत करें: मैट्रिक्स CC फलन ff को प्रभावित करता है यदि और केवल यदि सभी J{1,...,s}J \subset \{1,...,s\} के लिए: rank(CJ)min{f(J),r}\text{rank}(C_J) \geqslant \min\{f(|J|), r\}

यह पारंपरिक उच्च गैर-विलक्षणता शर्त से कमजोर है लेकिन अभी भी पर्याप्त मजबूत है।

2. महत्वपूर्ण फलन F(x)F(x)

परिभाषित करें: F(x)=max{xrem(s,r)s/r,xrem(s1,r)(s1)/r}F(x) = \max\left\{\frac{x - \text{rem}(s,r)}{\lfloor s/r \rfloor}, \frac{x - \text{rem}(s-1,r)}{\lfloor (s-1)/r \rfloor}\right\}

3. मुख्य तकनीकी प्रमेय

प्रमेय 2.2: यदि K2K \geqslant 2, CZr×sC \in \mathbb{Z}^{r \times s} संतुष्ट करता है srK(K+1)s \geqslant rK(K+1) और CC फलन F(x)F(x) को प्रभावित करता है, तो: RK(P;C)=PsrK(K+1)2(σK(C)+o(1))R_K(P;C) = P^{s-\frac{rK(K+1)}{2}}(\sigma_K(C) + o(1)) जहां σK(C)>0\sigma_K(C) > 0

प्रायोगिक सेटअप

जादुई वर्ग गुणांक मैट्रिक्स निर्माण

N×NN \times N जादुई वर्ग के लिए, 2N×N22N \times N^2 मैट्रिक्स CNmagicC^{\text{magic}}_N का निर्माण करें, जहां प्रत्येक स्तंभ एक मैट्रिक्स स्थिति (i,j)(i,j) के अनुरूप है, जादुई वर्ग की पंक्ति और स्तंभ योग शर्तों को एन्कोड करता है।

मुख्य सत्यापन चरण

  1. रैंक विश्लेषण: CNmagicC^{\text{magic}}_N फलन F(x)F(x) को प्रभावित करता है यह प्रमाणित करें
  2. गैर-विलक्षण समाधान अस्तित्व: द्विविकर्ण लैटिन वर्ग (DDLS) के अस्तित्व का उपयोग करें
  3. जैकोबियन मैट्रिक्स विश्लेषण: स्थानीय समाधान की गैर-विलक्षणता सुनिश्चित करें

प्रायोगिक परिणाम

मुख्य परिणाम तुलना

KKपूर्ववर्ती सीमायह पेपरसुधार
267समतुल्य
31219थोड़ा कम
424341उल्लेखनीय सुधार
572961उल्लेखनीय सुधार
6409685उल्लेखनीय सुधार
बड़ा KK(4K2)K(4K-2)^K2K(K+1)+12K(K+1)+1घातीय से द्विघात

स्पर्शोन्मुख व्यवहार विश्लेषण

यह पेपर प्रमाणित करता है कि K2K \geqslant 2 और N2K(K+1)N \geqslant 2K(K+1) के लिए: MK,N(P)cPN(NK(K+1))M_{K,N}(P) \sim cP^{N(N-K(K+1))} जहां c>0c > 0 एक स्थिरांक है।

अभाज्य-मूल्य परिणाम

अनुपात 1.3: दिए गए K2K \geqslant 2 के लिए, प्रत्येक N2K(K+1)N \geqslant 2K(K+1) के लिए, अनंत कई गैर-तुच्छ अभाज्य-मूल्य वाले KK-बहुजादुई वर्ग मौजूद हैं।

संबंधित कार्य

ऐतिहासिक विकास

  • शास्त्रीय निर्माण: Wroblewski, Trump, Fengchu आदि के ठोस निर्माण
  • सामान्य सिद्धांत: Zhang, Chen, Li की (4K2)K(4K-2)^K सीमा
  • वृत्त विधि अनुप्रयोग: Brandes, Parsell की योगात्मक समीकरणों में कार्य

तकनीकी संबंध

यह पेपर निम्नलिखित क्षेत्रों से संबंधित है:

  1. Vinogradov औसत मूल्य प्रमेय: लघु चाप अनुमान के लिए उपयोग किया जाता है
  2. योगात्मक संयोजन विज्ञान: विभिन्न घातों के विकर्ण समीकरण
  3. बीजगणितीय ज्यामिति: जैकोबियन मैट्रिक्स की रैंक विश्लेषण

निष्कर्ष और चर्चा

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

  1. KK-बहुजादुई वर्ग के न्यूनतम क्रम के लिए द्विघात ऊपरी सीमा N2(K)2K(K+1)+1N_2(K) \leqslant 2K(K+1)+1 स्थापित किया गया है
  2. अभाज्य-मूल्य बहुजादुई वर्गों की अनंत अस्तित्व प्रमाणित किया गया है
  3. विभिन्न घातों की योगात्मक समस्याओं को संभालने के लिए एक नई वृत्त विधि ढांचा प्रदान किया गया है

सीमाएं

  1. स्थिरांक: सीमा में स्थिरांक 2 संभवतः इष्टतम नहीं है
  2. निचली सीमा: संबंधित निचली सीमा अनुमान प्रदान नहीं किया गया है
  3. कम्प्यूटेशनल जटिलता: विधि मुख्य रूप से अस्तित्व प्रमाण है, सीधे निर्माण एल्गोरिदम नहीं देती है

भविष्य की दिशाएं

  1. उच्च-आयामी सामान्यीकरण: dd-आयामी हाइपरक्यूब तक विस्तार, अपेक्षित सीमा Nd(K)dK2N_d(K) \ll_d K^2
  2. सटीक स्थिरांक: इष्टतम स्थिरांक कारक निर्धारित करें
  3. निर्माण एल्गोरिदम: व्यावहारिक निर्माण विधियों का विकास

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक सफलता: संभावित घातीय सीमा को द्विघात सीमा में सुधारना, यह गुणात्मक छलांग है
  2. विधि नवाचार: मिश्रित घातों की समस्या को संभालने के लिए वृत्त विधि का सफल अनुकूलन, तकनीकी कठिनाई बहुत अधिक है
  3. पूर्णता: अस्तित्व से अभाज्य-मूल्य परिणाम तक, सैद्धांतिक प्रणाली पूर्ण है
  4. कठोरता: गणितीय प्रमाण कठोर है, तकनीकी प्रक्रिया सूक्ष्म है

कमियां

  1. व्यावहारिकता: छोटे KK मानों के लिए, नई सीमा हमेशा बेहतर नहीं होती है
  2. निर्माण: विधि गैर-निर्माणात्मक है, विशिष्ट जादुई वर्ग सीधे उत्पन्न नहीं कर सकती है
  3. जटिलता: प्रमाण तकनीक जटिल है, समझ की सीमा अधिक है

प्रभाव

  1. सैद्धांतिक मूल्य: बहुजादुई वर्ग सिद्धांत के लिए नई विश्लेषण उपकरण प्रदान करता है
  2. पद्धति संबंधी महत्व: संयोजन संख्या सिद्धांत में वृत्त विधि का नया अनुप्रयोग
  3. अनुवर्ती अनुसंधान: संबंधित समस्याओं के अनुसंधान के लिए नई दिशा खोलता है

लागू परिदृश्य

यह विधि निम्नलिखित के लिए लागू है:

  1. बड़े पैरामीटर KK के बहुजादुई वर्ग अस्तित्व समस्या
  2. अन्य प्रकार की योगात्मक संयोजन समस्याएं
  3. स्पर्शोन्मुख गणना की आवश्यकता वाली संयोजन संरचना अनुसंधान

संदर्भ

पेपर 23 महत्वपूर्ण संदर्भों को उद्धृत करता है, जिसमें शामिल हैं:

  • Vinogradov औसत मूल्य प्रमेय की नवीनतम प्रगति (Bourgain, Demeter, Guth)
  • योगात्मक समस्याओं में वृत्त विधि का अनुप्रयोग (Brandes, Parsell, Wooley)
  • बहुजादुई वर्गों का निर्माण सिद्धांत (Boyer, Trump, Zhang आदि)
  • अभाज्य वितरण सिद्धांत (Granville, Green-Tao)