2025-11-10T02:47:47.161620

The Pell sequence and cyclotomic matrices involving squares over finite fields

Wu, Wang, Ni
In this paper, by some arithmetic properties of the Pell sequence and some $p$-adic tools, we study certain cyclotomic matrices involving squares over finite fields. For example, let $1=s_1,s_2,\cdots,s_{(q-1)/2}$ be all the nonzero squares over $\mathbb{F}_{q}$, where $q=p^f$ is an odd prime power with $q\ge7$. We prove that the matrix $$B_q((q-3)/2)=\left[\left(s_i+s_j\right)^{(q-3)/2}\right]_{2\le i,j\le (q-1)/2}$$ is a singular matrix whenever $f\ge2$. Also, for the case $q=p$, we show that $$\det B_p((p-3)/2)=0\Leftrightarrow Q_p\equiv 2\pmod{p^2\mathbb{Z}},$$ where $Q_p$ is the $p$-th term of the companion Pell sequence $\{Q_i\}_{i=0}^{\infty}$ defined by $Q_0=Q_1=2$ and $Q_{i+1}=2Q_i+Q_{i-1}$.
academic

पेल अनुक्रम और परिमित क्षेत्रों पर वर्गों को शामिल करने वाले चक्रविभाजन मैट्रिक्स

मूल जानकारी

  • पेपर ID: 2501.01667
  • शीर्षक: The Pell sequence and cyclotomic matrices involving squares over finite fields
  • लेखक: Hai-Liang Wu, Li-Yuan Wang, He-Xia Ni
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 15 जनवरी 2025 (arXiv पूर्वप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2501.01667

सारांश

यह पेपर पेल अनुक्रम के अंकगणितीय गुणों और p-adic उपकरणों के माध्यम से परिमित क्षेत्रों पर वर्ग तत्वों को शामिल करने वाले कुछ चक्रविभाजन मैट्रिक्स का अध्ययन करता है। मान लीजिए 1=s1,s2,⋯ ,s(q−1)/21=s_1,s_2,\cdots,s_{(q-1)/2} परिमित क्षेत्र Fq\mathbb{F}_q पर सभी गैर-शून्य वर्ग तत्व हैं, जहां q=pfq=p^f एक विषम अभाज्य घात है और q≥7q\geq 7। लेखकों ने सिद्ध किया कि जब f≥2f\geq 2 हो, तो मैट्रिक्स Bq((q−3)/2)=[(si+sj)(q−3)/2]2≤i,j≤(q−1)/2B_q((q-3)/2)=[(s_i+s_j)^{(q-3)/2}]_{2\leq i,j\leq (q-1)/2} विलक्षण है। q=pq=p के मामले में, लेखकों ने सिद्ध किया कि det⁡Bp((p−3)/2)=0\det B_p((p-3)/2)=0 यदि और केवल यदि Qp≡2(modp2Z)Q_p\equiv 2\pmod{p^2\mathbb{Z}}, जहां QpQ_p सहायक पेल अनुक्रम का pp-वां पद है जो Q0=Q1=2Q_0=Q_1=2 और Qi+1=2Qi+Qi−1Q_{i+1}=2Q_i+Q_{i-1} द्वारा परिभाषित है।

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

ऐतिहासिक पृष्ठभूमि

चक्रविभाजन मैट्रिक्स का अध्ययन Lehmer और Carlitz के अग्रणी कार्य से शुरू होता है। Carlitz ने पहले Cp−(ψ)=[ψ(j−i)]1≤i,j≤p−1C^-_p(\psi) = [\psi(j-i)]_{1\leq i,j\leq p-1} और Cp+(ψ)=[ψ(j+i)]1≤i,j≤p−1C^+_p(\psi) = [\psi(j+i)]_{1\leq i,j\leq p-1} जैसे चक्रविभाजन मैट्रिक्स का अध्ययन किया और उनके सारणिकों के लिए स्पष्ट सूत्र दिए।

समस्या की महत्ता

  1. सैद्धांतिक महत्व: चक्रविभाजन मैट्रिक्स बीजगणितीय संख्या सिद्धांत, परिमित क्षेत्र सिद्धांत और मैट्रिक्स सिद्धांत को जोड़ते हैं, ये इन क्षेत्रों के अंतःविषय अनुसंधान के महत्वपूर्ण विषय हैं
  2. कम्प्यूटेशनल जटिलता: मैट्रिक्स आकार में छोटे परिवर्तन भी सारणिक गणना में अत्यधिक जटिलता का कारण बनते हैं
  3. गहरे संबंध: इस प्रकार के मैट्रिक्स के सारणिक अक्सर महत्वपूर्ण संख्या-सैद्धांतिक वस्तुओं (जैसे वर्ग संख्या, मौलिक इकाइयां) से गहरे संबंध रखते हैं

मौजूदा विधियों की सीमाएं

  • Chapman का कार्य हालांकि केवल मैट्रिक्स के आकार को बदलता है, लेकिन det⁡Cp(0)\det C^{(0)}_p और det⁡Cp(1)\det C^{(1)}_p की गणना अत्यंत जटिल हो जाती है
  • Sun का मैट्रिक्स Sp(m)=[(i2+j2)m]1≤i,j≤(p−1)/2S_p(m) = [(i^2+j^2)^m]_{1\leq i,j\leq (p-1)/2} संबंधित अनुसंधान के लिए नया दृष्टिकोण प्रदान करता है, लेकिन अभी भी कई अनसुलझी समस्याएं हैं

इस पेपर की अनुसंधान प्रेरणा

Sun के कार्य से प्रेरित होकर, लेखकों ने मैट्रिक्स Bq(m)=[(si+sj)m]2≤i,j≤nB_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n} के रूपांतरों पर विचार किया, जहां {s1,s2,⋯ ,sn}\{s_1,s_2,\cdots,s_n\} Fq\mathbb{F}_q पर सभी गैर-शून्य वर्ग तत्व हैं। पेल अनुक्रम को प्रस्तुत करके, लेखकों ने इस प्रकार के मैट्रिक्स के सारणिकों और महत्वपूर्ण संख्या-सैद्धांतिक अनुक्रमों के बीच संबंध स्थापित किए।

मुख्य योगदान

  1. विलक्षणता की विशेषता: सिद्ध किया कि जब f≥2f\geq 2 हो, तो मैट्रिक्स Bq(n−1)B_q(n-1) और Bq(n−2)B_q(n-2) विलक्षण हैं, और f=1f=1 के लिए सटीक सारणिक सूत्र दिया
  2. पेल अनुक्रम संबंध: मैट्रिक्स Bp(n−1)B_p(n-1) की विलक्षणता और पेल अनुक्रम पद Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}} के बीच समतुल्यता स्थापित की
  3. कम्प्यूटेशनल सत्यापन: 7≤p≤1067 \leq p \leq 10^6 श्रेणी में कम्प्यूटेशनल सत्यापन के माध्यम से पाया गया कि केवल p∈{13,31}p \in \{13,31\} Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}} को संतुष्ट करते हैं
  4. सामान्यीकृत परिणाम: Carlitz मैट्रिक्स के रूपांतरों Dq±(ψ)D^{\pm}_q(\psi) के लिए पूर्ण सारणिक सूत्र दिए

विधि विवरण

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

मैट्रिक्स Bq(m)=[(si+sj)m]2≤i,j≤nB_q(m) = [(s_i+s_j)^m]_{2\leq i,j\leq n} के सारणिक गुणों का अध्ययन करना, जहां s1=1,s2,⋯ ,sns_1=1, s_2,\cdots,s_n Fq\mathbb{F}_q पर सभी गैर-शून्य वर्ग तत्व हैं, n=(q−1)/2n=(q-1)/2।

मुख्य तकनीकी उपकरण

1. पेल अनुक्रम सिद्धांत

  • मानक पेल अनुक्रम: P0=0,P1=1,Pi+1=2Pi+Pi−1P_0=0, P_1=1, P_{i+1}=2P_i+P_{i-1}
  • सहायक पेल अनुक्रम: Q0=Q1=2,Qi+1=2Qi+Qi−1Q_0=Q_1=2, Q_{i+1}=2Q_i+Q_{i-1}
  • स्पष्ट सूत्र: Qi=(1+2)i+(1−2)iQ_i = (1+\sqrt{2})^i + (1-\sqrt{2})^i

2. p-adic विश्लेषण उपकरण

  • Teichmüller वर्ण: ωq:Fq→Cp\omega_q: \mathbb{F}_q \to \mathbb{C}_p
  • Gross-Koblitz सूत्र: Gauss योग को p-adic गामा फलन से जोड़ता है
  • p-adic मूल्यांकन: Jacobi योग के p-adic गुणों का विश्लेषण करने के लिए

3. मैट्रिक्स सिद्धांत तकनीकें

  • लगभग परिचारक मैट्रिक्स: Wn(v)=[aj−i]1≤i,j≤n−1W_n(v) = [a_{j-i}]_{1\leq i,j\leq n-1}
  • अभिलक्षणिक मान विधि: अभिलक्षणिक मानों की गणना के माध्यम से सारणिक निर्धारित करना
  • Grinberg-Sun-Zhao सूत्र: विशिष्ट रूप के मैट्रिक्स के सारणिक की गणना के लिए

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

प्रमेय 1.1 के प्रमाण की रणनीति

  1. Grinberg-Sun-Zhao सूत्र का अनुप्रयोग: det⁡Bq(n−1)=(−12)n−2⋅∑k=0n−1Wk\det B_q(n-1) = \left(\frac{-1}{2}\right)^{n-2} \cdot \sum_{k=0}^{n-1} W_k
  2. Lucas सर्वांगसमता का अनुप्रयोग: जब f≥2f\geq 2 हो, तो Lucas सर्वांगसमता का उपयोग करके कुछ द्विपद गुणांकों को mod pp के लिए 0 सिद्ध करना
  3. Sury सर्वसमिका: जब f=1f=1 हो, तो ∑r=0n−1(n−1r)−1=n2n∑k=1n(2kk)\sum_{r=0}^{n-1} \binom{n-1}{r}^{-1} = \frac{n}{2^n}\sum_{k=1}^n \binom{2k}{k} का उपयोग करना

प्रमेय 1.2 के प्रमाण की रणनीति

  1. लगभग परिचारक मैट्रिक्स सिद्धांत: Bq(n)B_q(n) को लगभग परिचारक मैट्रिक्स के सारणिक गणना में रूपांतरित करना
  2. Jacobi योग का p-adic विश्लेषण: Gross-Koblitz सूत्र का उपयोग करके Jacobi योग के p-adic मूल्यांकन का विश्लेषण करना
  3. अभिलक्षणिक मान गणना: परिचारक मैट्रिक्स के अभिलक्षणिक मानों की गणना के माध्यम से सारणिक निर्धारित करना

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

कम्प्यूटेशनल सत्यापन विधि

लेखकों ने सैद्धांतिक परिणामों को कंप्यूटर से सत्यापित किया, विशेष रूप से:

  1. श्रेणी: 7≤p≤1067 \leq p \leq 10^6 श्रेणी में सभी अभाज्य संख्याओं की जांच की
  2. शर्त: Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}} को संतुष्ट करने वाली अभाज्य संख्याओं का सत्यापन
  3. परिणाम: केवल p∈{13,31}p \in \{13, 31\} शर्त को संतुष्ट करते हैं

संख्यात्मक उदाहरण

  • p=13p=13 के लिए: Q13≡2(mod132)Q_{13} \equiv 2 \pmod{13^2}
  • p=31p=31 के लिए: Q31≡2(mod312)Q_{31} \equiv 2 \pmod{31^2}
  • अन्य सभी अभाज्य संख्याएं इस सर्वांगसमता को संतुष्ट नहीं करती हैं

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

मुख्य परिणाम

प्रमेय 1.1 के परिणाम

  1. f≥2f\geq 2 स्थिति: Bq(n−1)B_q(n-1) और Bq(n−2)B_q(n-2) दोनों विलक्षण हैं
  2. f=1f=1 स्थिति: सटीक सारणिक सूत्र दिया गया, जिसमें पेल अनुक्रम पद शामिल हैं

प्रमेय 1.2 के परिणाम

सिद्ध किया कि Bq(n)B_q(n) f≥2f\geq 2 के लिए विलक्षण है, f=1f=1 के लिए सटीक सूत्र दिया गया

कम्प्यूटेशनल खोजें

बड़ी श्रेणी की गणना में पाया गया:

  • Qp≡2(modp2Z)Q_p \equiv 2 \pmod{p^2\mathbb{Z}} को संतुष्ट करने वाली अभाज्य संख्याएं अत्यंत दुर्लभ हैं
  • यह संबंधित संख्या-सैद्धांतिक अनुमानों के लिए मजबूत संख्यात्मक समर्थन प्रदान करता है

निष्कर्ष और अनुप्रयोग

  1. Legendre प्रतीक गुण: सारणिक की गणना के माध्यम से Legendre प्रतीक के नए गुण प्राप्त किए
  2. वर्ग संख्या संबंध: मैट्रिक्स सारणिक और काल्पनिक द्विघात क्षेत्रों की वर्ग संख्या के बीच संबंध स्थापित किए

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

ऐतिहासिक विकास क्रम

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

इस पेपर की स्थिति

यह पेपर Sun के कार्य के आधार पर, पेल अनुक्रम को प्रस्तुत करके नए संबंध स्थापित करता है, चक्रविभाजन मैट्रिक्स सिद्धांत के लिए अनुसंधान की नई दिशा खोलता है।

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

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

  1. पूर्ण विशेषता: मैट्रिक्स Bq(m)B_q(m) (m=n−2,n−1,nm=n-2,n-1,n) के लिए पूर्ण विलक्षणता विशेषता दी गई
  2. गहरे संबंध: चक्रविभाजन मैट्रिक्स और पेल अनुक्रम के बीच गहरे संबंध का खुलासा किया
  3. कम्प्यूटेशनल अंतर्दृष्टि: बड़े पैमाने पर गणना के माध्यम से महत्वपूर्ण संख्या-सैद्धांतिक घटनाओं की खोज की

सीमाएं

  1. कम्प्यूटेशनल श्रेणी: हालांकि 10610^6 तक सत्यापित किया गया है, सैद्धांतिक रूप से अधिक सामान्य प्रमाण की आवश्यकता है
  2. विधि सीमाएं: कुछ तकनीकी विधियां केवल विशिष्ट मैट्रिक्स रूपों के लिए लागू होती हैं
  3. सामान्यीकरण समस्याएं: अधिक सामान्य परिमित क्षेत्र विस्तार के लिए सामान्यीकरण में अभी भी कठिनाइयां हैं

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

  1. अनुमान 1.1: सिद्ध या खंडन करना कि केवल p∈{13,31}p \in \{13,31\} संबंधित शर्तों को संतुष्ट करते हैं
  2. अधिक सामान्य मैट्रिक्स: अन्य रूपों के चक्रविभाजन मैट्रिक्स का अध्ययन करना
  3. अनुप्रयोग विस्तार: क्रिप्टोग्राफी और कोडिंग सिद्धांत में अनुप्रयोगों की खोज करना

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

शक्तियां

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

कमियां

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

प्रभाव

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

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

  1. शुद्ध गणित अनुसंधान: संख्या सिद्धांत, बीजगणितीय ज्यामिति, परिमित क्षेत्र सिद्धांत
  2. कम्प्यूटेशनल गणित: मैट्रिक्स गणना, प्रतीकात्मक गणना
  3. क्रिप्टोग्राफी: परिमित क्षेत्र-आधारित क्रिप्टोग्राफिक प्रणाली डिजाइन

संदर्भ

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

  • Carlitz के मौलिक कार्य
  • Chapman के "दुष्ट सारणिक" पर अनुसंधान
  • Sun के Legendre प्रतीक मैट्रिक्स पर कार्य
  • Gross-Koblitz के p-adic विश्लेषण पर शास्त्रीय परिणाम

समग्र मूल्यांकन: यह संख्या सिद्धांत में एक उच्च गुणवत्ता वाला अनुसंधान पेपर है, जो चतुर गणितीय तकनीकों के माध्यम से चक्रविभाजन मैट्रिक्स और पेल अनुक्रम के बीच नए संबंध स्थापित करता है। पेपर सैद्धांतिक रूप से महत्वपूर्ण योगदान देता है, कम्प्यूटेशनल रूप से दिलचस्प खोजें करता है, और संबंधित क्षेत्रों के आगे के अनुसंधान के लिए आधार तैयार करता है।