परिचालित मैट्रिक्स: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
{{For|the symmetric graphs|Circulant graph}}
{{For|the symmetric graphs|Circulant graph}}


रैखिक बीजगणित में, एक [[स्क्वायर मैट्रिक्स]] एक वर्ग मैट्रिक्स होता है जिसमें सभी पंक्ति वैक्टर समान तत्वों से बने होते हैं और प्रत्येक [[पंक्ति वेक्टर]] पूर्ववर्ती पंक्ति वेक्टर के सापेक्ष एक तत्व को दाहिनी ओर घुमाया जाता है। यह एक विशेष प्रकार का Toeplitz मैट्रिक्स है।
रैखिक बीजगणित में, एक [[स्क्वायर मैट्रिक्स|स्क्वायर आव्यूह]] एक वर्ग आव्यूह  होता है, जिसमें सभी पंक्ति वैक्टर समान तत्वों से बने होते हैं और प्रत्येक [[पंक्ति वेक्टर]] पूर्ववर्ती पंक्ति वेक्टर के सापेक्ष एक तत्व को दाहिनी ओर घुमाया जाता है। यह एक विशेष प्रकार का टोपलिट्ज़ आव्यूह के रुप में होता है।


[[संख्यात्मक विश्लेषण]] में, सर्कुलेंट मैट्रिसेस महत्वपूर्ण हैं क्योंकि वे [[असतत फूरियर रूपांतरण]] द्वारा डायगोनलाइज़ेबल_मैट्रिक्स # डायगोनलाइज़ेशन हैं, और इसलिए [[रेखीय समीकरण]] जिनमें वे सम्मलित  हैं, एक तेज़ फूरियर रूपांतरण का उपयोग करके जल्दी से हल किए जा सकते हैं।<ref>[[Philip J. Davis|Davis, Philip J.]], Circulant Matrices, Wiley, New York, 1970 {{ISBN|0471057711}}</ref> वे [[चक्रीय समूह]] पर एक [[कनवल्शन ऑपरेटर]] के [[अभिन्न कर्नेल]] के रूप में # विश्लेषणात्मक व्याख्या हो सकते हैं <math>C_n</math> और इसलिए अधिकांशतः स्थानिक रूप से अपरिवर्तनीय रैखिक संचालन के औपचारिक विवरण में दिखाई देते हैं। यह संपत्ति आधुनिक सॉफ्टवेयर परिभाषित रेडियो में भी महत्वपूर्ण है, जो [[चक्रीय उपसर्ग]] का उपयोग करके [[प्रतीकों]] (बिट्स) को फैलाने के लिए [[ समकोणकार आवृति विभाजन बहुसंकेतन ]] का उपयोग करती है। यह चैनल को एक सर्कुलेंट मैट्रिक्स द्वारा प्रदर्शित करने में सक्षम बनाता है, [[आवृत्ति डोमेन]] में चैनल समानता को सरल करता है।
[[संख्यात्मक विश्लेषण]] में, सर्कुलेंट मैट्रिसेस महत्वपूर्ण होती है, क्योंकि वे [[असतत फूरियर रूपांतरण]] द्वारा विकर्णित होते हैं और इसलिए उन्हें सम्मलित करने वाले [[रैखिक समीकरणों]] को तेजी से फूरियर रूपांतरण का उपयोग करके हल किया जा सकता है। [1] उन्हें विश्लेषणात्मक रूप से [[चक्रीय समूह]] <math>C_n</math> पर एक [[कनवल्शन ऑपरेटर]] के [[अभिन्न कर्नेल]] के रूप में व्याख्या किया जा सकता है और इसलिए अधिकांशतः स्थानिक रूप से अपरिवर्तनीय रैखिक संचालन के औपचारिक विवरण में दिखाई देते हैं। यह गुणधर्म आधुनिक सॉफ्टवेयर परिभाषित रेडियो में भी महत्वपूर्ण होते है, जो [[चक्रीय उपसर्ग]] का उपयोग करके [[प्रतीकों]] बिट्स को फैलाने के लिए [[ समकोणकार आवृति विभाजन बहुसंकेतन |समकोणकार आवृति विभाजन बहुसंकेतन]] का उपयोग करती है। यह चैनल को एक सर्कुलेंट आव्यूह  द्वारा प्रदर्शित करने में सक्षम बनाता है, [[आवृत्ति डोमेन]] में चैनल समानता को सरल करता है।


[[क्रिप्टोग्राफी]] में, उन्नत एन्क्रिप्शन मानक के [[रिजेंडेल मिक्स कॉलम]] चरण में एक सर्कुलेंट मैट्रिक्स का उपयोग किया जाता है।
[[क्रिप्टोग्राफी]] में, उन्नत एन्क्रिप्शन मानक के [[रिजेंडेल मिक्स कॉलम]] चरण में एक सर्कुलेंट आव्यूह  का उपयोग किया जाता है।


== परिभाषा ==
== परिभाषा ==


एक <math>n\times n</math> मैट्रिक्स की परिक्रमा <math>C</math> रूप धारण कर लेता है
एक <math>n\times n</math> आव्यूह  की परिक्रमा <math>C</math> रूप धारण कर लेता है
<math display="block">C = \begin{bmatrix}
<math display="block">C = \begin{bmatrix}
c_0      & c_{n-1} & \cdots  & c_2    & c_1    \\
c_0      & c_{n-1} & \cdots  & c_2    & c_1    \\
Line 18: Line 18:
c_{n-1}  & c_{n-2} & \cdots  & c_1    & c_0    \\
c_{n-1}  & c_{n-2} & \cdots  & c_1    & c_0    \\
\end{bmatrix}</math>
\end{bmatrix}</math>
या इस रूप का स्थानान्तरण (संकेतन के विकल्प द्वारा)। जब पद <math>c_i</math> एक है <math>p\times p</math> स्क्वायर मैट्रिक्स, फिर <math>np\times np</math> आव्यूह <math>C</math> एक ब्लॉक-परिसंचारी मैट्रिक्स कहा जाता है।
या इस रूप का स्थानान्तरण (संकेतन के विकल्प द्वारा)। जब पद <math>c_i</math> एक है <math>p\times p</math> स्क्वायर आव्यूह , फिर <math>np\times np</math> आव्यूह <math>C</math> एक ब्लॉक-परिसंचारी आव्यूह  कहा जाता है।


एक सर्कुलेंट मैट्रिक्स पूरी प्रकार  से एक वेक्टर द्वारा निर्दिष्ट होता है, <math>c</math>, जो के पहले कॉलम (या पंक्ति) के रूप में दिखाई देता है <math>C</math>. के शेष स्तंभ (और पंक्तियाँ, क्रमशः)। <math>C</math> वेक्टर के प्रत्येक [[चक्रीय क्रमपरिवर्तन]] हैं <math>c</math> कॉलम (या पंक्ति, सम्मान) इंडेक्स के बराबर ऑफ़सेट के साथ, यदि लाइनों को 0 से अनुक्रमित किया जाता है <math>n-1</math>. (पंक्तियों के चक्रीय क्रमपरिवर्तन का वही प्रभाव होता है जो स्तंभों के चक्रीय क्रमपरिवर्तन का होता है।) की अंतिम पंक्ति <math>C</math> सदिश है <math>c</math> एक के बाद एक उलटफेर किया।
एक सर्कुलेंट आव्यूह  पूरी प्रकार  से एक वेक्टर द्वारा निर्दिष्ट होता है, <math>c</math>, जो के पहले कॉलम (या पंक्ति) के रूप में दिखाई देता है <math>C</math>. के शेष स्तंभ (और पंक्तियाँ, क्रमशः)। <math>C</math> वेक्टर के प्रत्येक [[चक्रीय क्रमपरिवर्तन]] हैं <math>c</math> कॉलम (या पंक्ति, सम्मान) इंडेक्स के बराबर ऑफ़सेट के साथ, यदि लाइनों को 0 से अनुक्रमित किया जाता है <math>n-1</math>. (पंक्तियों के चक्रीय क्रमपरिवर्तन का वही प्रभाव होता है जो स्तंभों के चक्रीय क्रमपरिवर्तन का होता है।) की अंतिम पंक्ति <math>C</math> सदिश है <math>c</math> एक के बाद एक उलटफेर किया।


अलग-अलग स्रोत सर्कुलेंट मैट्रिक्स को अलग-अलग विधियों से परिभाषित करते हैं, उदाहरण के लिए ऊपर, या वेक्टर के साथ <math>c</math> मैट्रिक्स के पहले कॉलम के अतिरिक्त  पहली पंक्ति के अनुरूप; और संभवतः शिफ्ट की एक अलग दिशा के साथ (जिसे कभी-कभी एंटी-सर्कुलेंट मैट्रिक्स कहा जाता है)।
अलग-अलग स्रोत सर्कुलेंट आव्यूह  को अलग-अलग विधियों से परिभाषित करते हैं, उदाहरण के लिए ऊपर, या वेक्टर के साथ <math>c</math> आव्यूह  के पहले कॉलम के अतिरिक्त  पहली पंक्ति के अनुरूप; और संभवतः शिफ्ट की एक अलग दिशा के साथ (जिसे कभी-कभी एंटी-सर्कुलेंट आव्यूह  कहा जाता है)।


[[बहुपद]] <math>f(x) = c_0 + c_1 x + \dots + c_{n-1} x^{n-1}</math> मैट्रिक्स का संबद्ध बहुपद कहा जाता है <math>C</math>.
[[बहुपद]] <math>f(x) = c_0 + c_1 x + \dots + c_{n-1} x^{n-1}</math> आव्यूह  का संबद्ध बहुपद कहा जाता है <math>C</math>.


== गुण ==
== गुण ==
Line 30: Line 30:
=== ईजेनवेक्टर और ईजेनवैल्यू ===
=== ईजेनवेक्टर और ईजेनवैल्यू ===


एक सर्कुलेंट मैट्रिक्स के सामान्यीकृत [[eigenvector]]s फूरियर मोड हैं, अर्थात्,
एक सर्कुलेंट आव्यूह  के सामान्यीकृत [[eigenvector]]s फूरियर मोड हैं, अर्थात्,
<math display="block">v_j=\frac{1}{\sqrt{n}} \left(1, \omega^j, \omega^{2j}, \ldots, \omega^{(n-1)j}\right),\quad j = 0, 1, \ldots, n-1,</math>
<math display="block">v_j=\frac{1}{\sqrt{n}} \left(1, \omega^j, \omega^{2j}, \ldots, \omega^{(n-1)j}\right),\quad j = 0, 1, \ldots, n-1,</math>
कहाँ <math>\omega=\exp \left(\tfrac{2\pi i}{n}\right)</math> आदिम है <math>n</math>-[[एकता की जड़]] और <math>i</math> [[काल्पनिक इकाई]] है।
कहाँ <math>\omega=\exp \left(\tfrac{2\pi i}{n}\right)</math> आदिम है <math>n</math>-[[एकता की जड़]] और <math>i</math> [[काल्पनिक इकाई]] है।


(यह समझने से समझा जा सकता है कि एक सर्कुलेंट मैट्रिक्स के साथ गुणा एक कनवल्शन को लागू करता है। फूरियर स्पेस में, कनवल्शन मल्टीप्लिकेशन बन जाता है। इसलिए फूरियर मोड के साथ एक सर्कुलेंट मैट्रिक्स का उत्पाद उस फूरियर मोड का एक मल्टीपल देता है, अर्थात  यह एक ईजेनवेक्टर है। )
(यह समझने से समझा जा सकता है कि एक सर्कुलेंट आव्यूह  के साथ गुणा एक कनवल्शन को लागू करता है। फूरियर स्पेस में, कनवल्शन मल्टीप्लिकेशन बन जाता है। इसलिए फूरियर मोड के साथ एक सर्कुलेंट आव्यूह  का उत्पाद उस फूरियर मोड का एक मल्टीपल देता है, अर्थात  यह एक ईजेनवेक्टर है। )


इसी [[eigenvalue]]s ​​द्वारा दिया जाता है
इसी [[eigenvalue]]s ​​द्वारा दिया जाता है
Line 43: Line 43:


ऊपर दिए गए आइगेनमानों के स्पष्ट सूत्र के परिणामस्वरूप,
ऊपर दिए गए आइगेनमानों के स्पष्ट सूत्र के परिणामस्वरूप,
एक सर्कुलेंट मैट्रिक्स के निर्धारक की गणना इस प्रकार की जा सकती है:
एक सर्कुलेंट आव्यूह  के निर्धारक की गणना इस प्रकार की जा सकती है:
<math display="block">
<math display="block">
\det(C)  
\det(C)  
= \prod_{j=0}^{n-1} (c_0 + c_{n-1} \omega^j + c_{n-2} \omega^{2j} + \dots + c_1\omega^{(n-1)j}).</math>
= \prod_{j=0}^{n-1} (c_0 + c_{n-1} \omega^j + c_{n-2} \omega^{2j} + \dots + c_1\omega^{(n-1)j}).</math>
चूंकि ट्रांसपोज़ लेने से मैट्रिक्स के ईगेनवेल्यूज़ नहीं बदलते हैं, एक समकक्ष फॉर्मूलेशन है
चूंकि ट्रांसपोज़ लेने से आव्यूह  के ईगेनवेल्यूज़ नहीं बदलते हैं, एक समकक्ष फॉर्मूलेशन है
<math display="block">
<math display="block">
\det(C)
\det(C)
Line 57: Line 57:
=== रैंक ===
=== रैंक ===


सर्कुलेंट मैट्रिक्स का [[रैंक (रैखिक बीजगणित)]]। <math> C </math> के बराबर है <math> n - d </math>, कहाँ <math> d </math> बहुपद के बहुपद की घात है <math> \gcd( f(x), x^n - 1) </math>.<ref>{{cite journal |author=A. W. Ingleton |title=सर्कुलेंट मैट्रिसेस की रैंक|journal=J. London Math. Soc. |year=1956 |volume=s1-31 |issue=4 |pages=445–460 |doi=10.1112/jlms/s1-31.4.445}}</ref>
सर्कुलेंट आव्यूह  का [[रैंक (रैखिक बीजगणित)]]। <math> C </math> के बराबर है <math> n - d </math>, कहाँ <math> d </math> बहुपद के बहुपद की घात है <math> \gcd( f(x), x^n - 1) </math>.<ref>{{cite journal |author=A. W. Ingleton |title=सर्कुलेंट मैट्रिसेस की रैंक|journal=J. London Math. Soc. |year=1956 |volume=s1-31 |issue=4 |pages=445–460 |doi=10.1112/jlms/s1-31.4.445}}</ref>




=== अन्य गुण ===
=== अन्य गुण ===


* चक्रीय क्रमचय मैट्रिक्स में कोई भी सर्कुलेंट एक मैट्रिक्स बहुपद (अर्थात् संबद्ध बहुपद) है <math>P</math>: <math display="block"> C = c_0 I + c_1 P + c_2 P^2 + \dots + c_{n-1} P^{n-1} = f(P),</math> कहाँ <math>P</math> द्वारा दिया गया है <math display="block">P = \begin{bmatrix}
* चक्रीय क्रमचय आव्यूह  में कोई भी सर्कुलेंट एक आव्यूह  बहुपद (अर्थात् संबद्ध बहुपद) है <math>P</math>: <math display="block"> C = c_0 I + c_1 P + c_2 P^2 + \dots + c_{n-1} P^{n-1} = f(P),</math> कहाँ <math>P</math> द्वारा दिया गया है <math display="block">P = \begin{bmatrix}
  0&0&\cdots&0&1\\
  0&0&\cdots&0&1\\
  1&0&\cdots&0&0\\
  1&0&\cdots&0&0\\
Line 71: Line 71:
* का [[सेट (गणित)]]। <math>n \times n</math> सर्कुलेंट मेट्रिसेस एक बनाता है <math>n</math>-डिमेंशन ([[ सदिश स्थल ]]) वेक्टर स्पेस जोड़ और स्केलर गुणन के संबंध में। इस स्थान को क्रम के चक्रीय समूह (समूह सिद्धांत) पर कार्यों के स्थान के रूप में व्याख्या किया जा सकता है <math>n</math>, <math>C_n</math>, या समकक्ष के [[समूह की अंगूठी]] के रूप में <math>C_n</math>.
* का [[सेट (गणित)]]। <math>n \times n</math> सर्कुलेंट मेट्रिसेस एक बनाता है <math>n</math>-डिमेंशन ([[ सदिश स्थल ]]) वेक्टर स्पेस जोड़ और स्केलर गुणन के संबंध में। इस स्थान को क्रम के चक्रीय समूह (समूह सिद्धांत) पर कार्यों के स्थान के रूप में व्याख्या किया जा सकता है <math>n</math>, <math>C_n</math>, या समकक्ष के [[समूह की अंगूठी]] के रूप में <math>C_n</math>.
* सर्कुलेंट मेट्रिसेस एक [[क्रमविनिमेय बीजगणित]] बनाते हैं, क्योंकि किसी भी दो सर्कुलेंट मेट्रिसेस के लिए <math>A</math> और <math>B</math>, योग <math>A + B</math> परिचालित है, उत्पाद <math>AB</math> परिचालित है, और <math>AB = BA</math>.
* सर्कुलेंट मेट्रिसेस एक [[क्रमविनिमेय बीजगणित]] बनाते हैं, क्योंकि किसी भी दो सर्कुलेंट मेट्रिसेस के लिए <math>A</math> और <math>B</math>, योग <math>A + B</math> परिचालित है, उत्पाद <math>AB</math> परिचालित है, और <math>AB = BA</math>.
* नॉनसिंगुलर सर्कुलेंट मैट्रिक्स के लिए <math>A</math>, इसका उलटा <math>A^{-1}</math> परिवृत्ती भी है। एक विलक्षण सर्कुलेंट मैट्रिक्स के लिए, इसका मूर-पेनरोज़ इनवर्स|मूर-पेनरोज़ स्यूडोइनवर्स <math>A^+</math> परिवृत्ती है।
* नॉनसिंगुलर सर्कुलेंट आव्यूह  के लिए <math>A</math>, इसका उलटा <math>A^{-1}</math> परिवृत्ती भी है। एक विलक्षण सर्कुलेंट आव्यूह  के लिए, इसका मूर-पेनरोज़ इनवर्स|मूर-पेनरोज़ स्यूडोइनवर्स <math>A^+</math> परिवृत्ती है।
* गणित का सवाल <math>U</math> जो एक सर्कुलेंट मैट्रिक्स के ईजेनवेक्टरों से बना है, डिस्क्रीट फूरियर ट्रांसफॉर्म # द एकात्मक डीएफटी और इसके व्युत्क्रम ट्रांसफॉर्म से संबंधित है: <math display="block"> U_n^* = \frac{1}{\sqrt{n}} F_n, \quad\text{and}\quad U_n = \frac{1}{\sqrt{n}} F_n^{-1}, \text{ where } F_n = (f_{jk}) \text{ with } f_{jk} = e^{-2jk\pi i/n}, \,\text{for } 0 \leq j,k < n.</math> परिणाम स्वरुप  मैट्रिक्स <math>U_n</math> [[विकर्णीय मैट्रिक्स]] <math>C</math>. वास्तव में, हमारे पास है <math display="block"> C = U_n \operatorname{diag}(F_n c) U_n^* = \frac{1}{n}F_n^{-1} \operatorname{diag}(F_n c) F_n,</math> कहाँ <math>c</math> का प्रथम स्तंभ है <math>C</math>. के eigenvalues <math>C</math> उत्पाद द्वारा दिया जाता है <math>F_n c</math>. इस उत्पाद की तेजी से फूरियर रूपांतरण द्वारा आसानी से गणना की जा सकती है।<ref>{{Citation | last1=Golub | first1=Gene H. | author1-link=Gene H. Golub | last2=Van Loan | first2=Charles F. | author2-link=Charles F. Van Loan | title=Matrix Computations | chapter=§4.7.7 Circulant Systems | publisher=Johns Hopkins | edition=3rd | isbn=978-0-8018-5414-9 | year=1996}}</ref> इसके विपरीत, किसी भी विकर्ण मैट्रिक्स के लिए <math>D</math>, उत्पाद <math>F_n^{-1}DF_n</math> वे इसे प्रसारित करते हैं।
* गणित का सवाल <math>U</math> जो एक सर्कुलेंट आव्यूह  के ईजेनवेक्टरों से बना है, डिस्क्रीट फूरियर ट्रांसफॉर्म # द एकात्मक डीएफटी और इसके व्युत्क्रम ट्रांसफॉर्म से संबंधित है: <math display="block"> U_n^* = \frac{1}{\sqrt{n}} F_n, \quad\text{and}\quad U_n = \frac{1}{\sqrt{n}} F_n^{-1}, \text{ where } F_n = (f_{jk}) \text{ with } f_{jk} = e^{-2jk\pi i/n}, \,\text{for } 0 \leq j,k < n.</math> परिणाम स्वरुप   आव्यूह <math>U_n</math> [[विकर्णीय मैट्रिक्स|विकर्णीय  आव्यूह]] <math>C</math>. वास्तव में, हमारे पास है <math display="block"> C = U_n \operatorname{diag}(F_n c) U_n^* = \frac{1}{n}F_n^{-1} \operatorname{diag}(F_n c) F_n,</math> कहाँ <math>c</math> का प्रथम स्तंभ है <math>C</math>. के eigenvalues <math>C</math> उत्पाद द्वारा दिया जाता है <math>F_n c</math>. इस उत्पाद की तेजी से फूरियर रूपांतरण द्वारा आसानी से गणना की जा सकती है।<ref>{{Citation | last1=Golub | first1=Gene H. | author1-link=Gene H. Golub | last2=Van Loan | first2=Charles F. | author2-link=Charles F. Van Loan | title=Matrix Computations | chapter=§4.7.7 Circulant Systems | publisher=Johns Hopkins | edition=3rd | isbn=978-0-8018-5414-9 | year=1996}}</ref> इसके विपरीत, किसी भी विकर्ण आव्यूह  के लिए <math>D</math>, उत्पाद <math>F_n^{-1}DF_n</math> वे इसे प्रसारित करते हैं।
* होने देना <math>p(x)</math> ([[मोनिक बहुपद]]) एक की [[विशेषता बहुपद]] हो <math>n \times n</math> मैट्रिक्स की परिक्रमा <math>C</math>, और जाने <math>p'(x)</math> का व्युत्पन्न होना <math>p(x)</math>. फिर बहुपद <math display="inline">\frac{1}{n}p'(x)</math> निम्नलिखित का अभिलाक्षणिक बहुपद है <math>(n-1)\times(n-1)</math> का सबमैट्रिक्स <math>C</math>: <math display="block">C_{n-1} = \begin{bmatrix}
* होने देना <math>p(x)</math> ([[मोनिक बहुपद]]) एक की [[विशेषता बहुपद]] हो <math>n \times n</math> आव्यूह  की परिक्रमा <math>C</math>, और जाने <math>p'(x)</math> का व्युत्पन्न होना <math>p(x)</math>. फिर बहुपद <math display="inline">\frac{1}{n}p'(x)</math> निम्नलिखित का अभिलाक्षणिक बहुपद है <math>(n-1)\times(n-1)</math> का सब आव्यूह  <math>C</math>: <math display="block">C_{n-1} = \begin{bmatrix}
  c_0    & c_{n-1} & \cdots  & c_3    & c_2    \\
  c_0    & c_{n-1} & \cdots  & c_3    & c_2    \\
  c_1    & c_0    & c_{n-1} &        & c_3    \\
  c_1    & c_0    & c_{n-1} &        & c_3    \\
Line 86: Line 86:
में वैक्टर पर विचार करें <math>\R^n</math> अवधि के साथ [[पूर्णांक]]ों पर कार्य के रूप में <math>n</math>, (अर्थात , आवधिक द्वि-अनंत अनुक्रम के रूप में: <math>\dots,a_0,a_1,\dots,a_{n-1},a_0,a_1,\dots</math>) या समकक्ष, आदेश के चक्रीय समूह पर कार्य करता है <math>n</math> (<math>C_n</math> या <math>\Z/n\Z</math>) ज्यामितीय रूप से, नियमित रूप से (कोने पर)। {{nowrap|<math>n</math>-gon}}: यह [[वास्तविक रेखा]] या वृत्त पर आवधिक कार्यों के लिए असतत अनुरूप है।
में वैक्टर पर विचार करें <math>\R^n</math> अवधि के साथ [[पूर्णांक]]ों पर कार्य के रूप में <math>n</math>, (अर्थात , आवधिक द्वि-अनंत अनुक्रम के रूप में: <math>\dots,a_0,a_1,\dots,a_{n-1},a_0,a_1,\dots</math>) या समकक्ष, आदेश के चक्रीय समूह पर कार्य करता है <math>n</math> (<math>C_n</math> या <math>\Z/n\Z</math>) ज्यामितीय रूप से, नियमित रूप से (कोने पर)। {{nowrap|<math>n</math>-gon}}: यह [[वास्तविक रेखा]] या वृत्त पर आवधिक कार्यों के लिए असतत अनुरूप है।


फिर, [[ऑपरेटर सिद्धांत]] के परिप्रेक्ष्य से, एक सर्कुलेंट मैट्रिक्स असतत [[अभिन्न परिवर्तन]] का कर्नेल है, अर्थात् फ़ंक्शन के लिए कनवल्शन ऑपरेटर <math>(c_0,c_1,\dots,c_{n-1})</math>; यह एक असतत गोलाकार कनवल्शन है। कार्यों के दृढ़ संकल्प के लिए सूत्र <math>(b_i) := (c_i) * (a_i)</math> है
फिर, [[ऑपरेटर सिद्धांत]] के परिप्रेक्ष्य से, एक सर्कुलेंट आव्यूह  असतत [[अभिन्न परिवर्तन]] का कर्नेल है, अर्थात् फ़ंक्शन के लिए कनवल्शन ऑपरेटर <math>(c_0,c_1,\dots,c_{n-1})</math>; यह एक असतत गोलाकार कनवल्शन है। कार्यों के दृढ़ संकल्प के लिए सूत्र <math>(b_i) := (c_i) * (a_i)</math> है
<math display="block">b_k = \sum_{i=0}^{n-1} a_i c_{k-i}</math> (याद रखें कि अनुक्रम आवधिक हैं)
<math display="block">b_k = \sum_{i=0}^{n-1} a_i c_{k-i}</math> (याद रखें कि अनुक्रम आवधिक हैं)
जो वेक्टर का उत्पाद है <math>(a_i)</math> सर्कुलेंट मैट्रिक्स के लिए <math>(c_i)</math>.
जो वेक्टर का उत्पाद है <math>(a_i)</math> सर्कुलेंट आव्यूह  के लिए <math>(c_i)</math>.


असतत फूरियर रूपांतरण तब कनवल्शन को गुणन में परिवर्तित करता है, जो मैट्रिक्स सेटिंग में विकर्णीकरण से मेल खाता है। <math>C^*</math>वें>-[[जटिल संख्या]] प्रविष्टियों के साथ सभी परिसंचारी मैट्रिसेस का बीजगणित समूह के लिए [[ समरूप ]] है <math>C^*</math>-बीजगणित का <math>\Z/n\Z</math>.
असतत फूरियर रूपांतरण तब कनवल्शन को गुणन में परिवर्तित करता है, जो आव्यूह  सेटिंग में विकर्णीकरण से मेल खाता है। <math>C^*</math>वें>-[[जटिल संख्या]] प्रविष्टियों के साथ सभी परिसंचारी मैट्रिसेस का बीजगणित समूह के लिए [[ समरूप ]] है <math>C^*</math>-बीजगणित का <math>\Z/n\Z</math>.


== सममित परिसंचारी आव्यूह ==
== सममित परिसंचारी आव्यूह ==
एक सममित परिसंचरण मैट्रिक्स के लिए <math>C</math> एक की अतिरिक्त शर्त है कि <math>c_{n-i}=c_i</math>.
एक सममित परिसंचरण आव्यूह  के लिए <math>C</math> एक की अतिरिक्त शर्त है कि <math>c_{n-i}=c_i</math>.
इस प्रकार यह द्वारा निर्धारित किया जाता है <math>\lfloor n/2\rfloor + 1</math> तत्व।
इस प्रकार यह द्वारा निर्धारित किया जाता है <math>\lfloor n/2\rfloor + 1</math> तत्व।
<math display="block">
<math display="block">
C= \begin{bmatrix}
C= \begin{bmatrix}
c_0    & c_1 & \cdots & c_2    & c_1    \\
c_0    & c_1 & \cdots & c_2    & c_1    \\
Line 104: Line 104:
\end{bmatrix}.
\end{bmatrix}.
</math>
</math>
किसी भी वास्तविक सममित मैट्रिक्स के eigenvalues ​​वास्तविक हैं।
किसी भी वास्तविक सममित आव्यूह  के eigenvalues ​​वास्तविक हैं।
संबंधित eigenvalues ​​बन जाते हैं:
संबंधित eigenvalues ​​बन जाते हैं:
<math display="block">\lambda_j = c_0 + 2 c_1 \Re \omega_j + 2 c_2 \Re \omega_j^2 + \dots + 2c_{n/2-1} \Re \omega_j^{n/2-1} + c_{n/2} \omega_j^{n/2}</math>
<math display="block">\lambda_j = c_0 + 2 c_1 \Re \omega_j + 2 c_2 \Re \omega_j^2 + \dots + 2c_{n/2-1} \Re \omega_j^{n/2-1} + c_{n/2} \omega_j^{n/2}</math>
Line 115: Line 115:


== हर्मिटियन सर्कुलेंट मैट्रिसेस ==
== हर्मिटियन सर्कुलेंट मैट्रिसेस ==
सर्कुलेंट मैट्रिक्स का जटिल संस्करण, संचार सिद्धांत में सर्वव्यापी, सामान्यतः  [[हर्मिटियन मैट्रिक्स]] है। इस स्थितियों में <math>c_{n-i} = c_i^*, \; i \le n/2 </math> और इसके निर्धारक और सभी eigenvalues ​​वास्तविक हैं।
सर्कुलेंट आव्यूह  का जटिल संस्करण, संचार सिद्धांत में सर्वव्यापी, सामान्यतः  [[हर्मिटियन मैट्रिक्स|हर्मिटियन  आव्यूह]] है। इस स्थितियों में <math>c_{n-i} = c_i^*, \; i \le n/2 </math> और इसके निर्धारक और सभी eigenvalues ​​वास्तविक हैं।


यदि n पहली दो पंक्तियाँ भी आवश्यक रूप से रूप लेती हैं
यदि n पहली दो पंक्तियाँ भी आवश्यक रूप से रूप लेती हैं
Line 141: Line 141:
=== रैखिक समीकरणों में ===
=== रैखिक समीकरणों में ===


एक मैट्रिक्स समीकरण दिया
एक आव्यूह  समीकरण दिया
<math display="block">C \mathbf{x} = \mathbf{b},</math>
<math display="block">C \mathbf{x} = \mathbf{b},</math>
कहाँ <math>C</math> आकार का एक गोलाकार वर्ग मैट्रिक्स है <math>n</math> हम समीकरण को वृत्ताकार कनवल्शन के रूप में लिख सकते हैं
कहाँ <math>C</math> आकार का एक गोलाकार वर्ग आव्यूह  है <math>n</math> हम समीकरण को वृत्ताकार कनवल्शन के रूप में लिख सकते हैं
<math display="block">\mathbf{c} \star \mathbf{x} = \mathbf{b},</math>
<math display="block">\mathbf{c} \star \mathbf{x} = \mathbf{b},</math>
कहाँ <math>\mathbf c</math> का प्रथम स्तंभ है <math>C</math>, और वैक्टर <math>\mathbf c</math>, <math>\mathbf x</math> और <math>\mathbf b</math> प्रत्येक दिशा में चक्रीय रूप से विस्तारित होते हैं। डिस्क्रीट फूरियर ट्रांसफॉर्म # सर्कुलर कनवल्शन प्रमेय और क्रॉस-सहसंबंध प्रमेय का उपयोग करके, हम चक्रीय कनवल्शन को घटक-वार गुणन में बदलने के लिए डिस्क्रीट फूरियर ट्रांसफॉर्म का उपयोग कर सकते हैं
कहाँ <math>\mathbf c</math> का प्रथम स्तंभ है <math>C</math>, और वैक्टर <math>\mathbf c</math>, <math>\mathbf x</math> और <math>\mathbf b</math> प्रत्येक दिशा में चक्रीय रूप से विस्तारित होते हैं। डिस्क्रीट फूरियर ट्रांसफॉर्म # सर्कुलर कनवल्शन प्रमेय और क्रॉस-सहसंबंध प्रमेय का उपयोग करके, हम चक्रीय कनवल्शन को घटक-वार गुणन में बदलने के लिए डिस्क्रीट फूरियर ट्रांसफॉर्म का उपयोग कर सकते हैं
Line 160: Line 160:
=== [[ग्राफ सिद्धांत]] में ===
=== [[ग्राफ सिद्धांत]] में ===


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


==संदर्भ==
==संदर्भ==

Revision as of 03:32, 13 March 2023

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

संख्यात्मक विश्लेषण में, सर्कुलेंट मैट्रिसेस महत्वपूर्ण होती है, क्योंकि वे असतत फूरियर रूपांतरण द्वारा विकर्णित होते हैं और इसलिए उन्हें सम्मलित करने वाले रैखिक समीकरणों को तेजी से फूरियर रूपांतरण का उपयोग करके हल किया जा सकता है। [1] उन्हें विश्लेषणात्मक रूप से चक्रीय समूह पर एक कनवल्शन ऑपरेटर के अभिन्न कर्नेल के रूप में व्याख्या किया जा सकता है और इसलिए अधिकांशतः स्थानिक रूप से अपरिवर्तनीय रैखिक संचालन के औपचारिक विवरण में दिखाई देते हैं। यह गुणधर्म आधुनिक सॉफ्टवेयर परिभाषित रेडियो में भी महत्वपूर्ण होते है, जो चक्रीय उपसर्ग का उपयोग करके प्रतीकों बिट्स को फैलाने के लिए समकोणकार आवृति विभाजन बहुसंकेतन का उपयोग करती है। यह चैनल को एक सर्कुलेंट आव्यूह द्वारा प्रदर्शित करने में सक्षम बनाता है, आवृत्ति डोमेन में चैनल समानता को सरल करता है।

क्रिप्टोग्राफी में, उन्नत एन्क्रिप्शन मानक के रिजेंडेल मिक्स कॉलम चरण में एक सर्कुलेंट आव्यूह का उपयोग किया जाता है।

परिभाषा

एक आव्यूह की परिक्रमा रूप धारण कर लेता है

या इस रूप का स्थानान्तरण (संकेतन के विकल्प द्वारा)। जब पद एक है स्क्वायर आव्यूह , फिर आव्यूह एक ब्लॉक-परिसंचारी आव्यूह कहा जाता है।

एक सर्कुलेंट आव्यूह पूरी प्रकार से एक वेक्टर द्वारा निर्दिष्ट होता है, , जो के पहले कॉलम (या पंक्ति) के रूप में दिखाई देता है . के शेष स्तंभ (और पंक्तियाँ, क्रमशः)। वेक्टर के प्रत्येक चक्रीय क्रमपरिवर्तन हैं कॉलम (या पंक्ति, सम्मान) इंडेक्स के बराबर ऑफ़सेट के साथ, यदि लाइनों को 0 से अनुक्रमित किया जाता है . (पंक्तियों के चक्रीय क्रमपरिवर्तन का वही प्रभाव होता है जो स्तंभों के चक्रीय क्रमपरिवर्तन का होता है।) की अंतिम पंक्ति सदिश है एक के बाद एक उलटफेर किया।

अलग-अलग स्रोत सर्कुलेंट आव्यूह को अलग-अलग विधियों से परिभाषित करते हैं, उदाहरण के लिए ऊपर, या वेक्टर के साथ आव्यूह के पहले कॉलम के अतिरिक्त पहली पंक्ति के अनुरूप; और संभवतः शिफ्ट की एक अलग दिशा के साथ (जिसे कभी-कभी एंटी-सर्कुलेंट आव्यूह कहा जाता है)।

बहुपद आव्यूह का संबद्ध बहुपद कहा जाता है .

गुण

ईजेनवेक्टर और ईजेनवैल्यू

एक सर्कुलेंट आव्यूह के सामान्यीकृत eigenvectors फूरियर मोड हैं, अर्थात्,

कहाँ आदिम है -एकता की जड़ और काल्पनिक इकाई है।

(यह समझने से समझा जा सकता है कि एक सर्कुलेंट आव्यूह के साथ गुणा एक कनवल्शन को लागू करता है। फूरियर स्पेस में, कनवल्शन मल्टीप्लिकेशन बन जाता है। इसलिए फूरियर मोड के साथ एक सर्कुलेंट आव्यूह का उत्पाद उस फूरियर मोड का एक मल्टीपल देता है, अर्थात यह एक ईजेनवेक्टर है। )

इसी eigenvalues ​​द्वारा दिया जाता है


निर्धारक

ऊपर दिए गए आइगेनमानों के स्पष्ट सूत्र के परिणामस्वरूप, एक सर्कुलेंट आव्यूह के निर्धारक की गणना इस प्रकार की जा सकती है:

चूंकि ट्रांसपोज़ लेने से आव्यूह के ईगेनवेल्यूज़ नहीं बदलते हैं, एक समकक्ष फॉर्मूलेशन है


रैंक

सर्कुलेंट आव्यूह का रैंक (रैखिक बीजगणित) के बराबर है , कहाँ बहुपद के बहुपद की घात है .[1]


अन्य गुण

  • चक्रीय क्रमचय आव्यूह में कोई भी सर्कुलेंट एक आव्यूह बहुपद (अर्थात् संबद्ध बहुपद) है :
    कहाँ द्वारा दिया गया है
  • का सेट (गणित) सर्कुलेंट मेट्रिसेस एक बनाता है -डिमेंशन (सदिश स्थल ) वेक्टर स्पेस जोड़ और स्केलर गुणन के संबंध में। इस स्थान को क्रम के चक्रीय समूह (समूह सिद्धांत) पर कार्यों के स्थान के रूप में व्याख्या किया जा सकता है , , या समकक्ष के समूह की अंगूठी के रूप में .
  • सर्कुलेंट मेट्रिसेस एक क्रमविनिमेय बीजगणित बनाते हैं, क्योंकि किसी भी दो सर्कुलेंट मेट्रिसेस के लिए और , योग परिचालित है, उत्पाद परिचालित है, और .
  • नॉनसिंगुलर सर्कुलेंट आव्यूह के लिए , इसका उलटा परिवृत्ती भी है। एक विलक्षण सर्कुलेंट आव्यूह के लिए, इसका मूर-पेनरोज़ इनवर्स|मूर-पेनरोज़ स्यूडोइनवर्स परिवृत्ती है।
  • गणित का सवाल जो एक सर्कुलेंट आव्यूह के ईजेनवेक्टरों से बना है, डिस्क्रीट फूरियर ट्रांसफॉर्म # द एकात्मक डीएफटी और इसके व्युत्क्रम ट्रांसफॉर्म से संबंधित है:
    परिणाम स्वरुप आव्यूह विकर्णीय आव्यूह . वास्तव में, हमारे पास है
    कहाँ का प्रथम स्तंभ है . के eigenvalues उत्पाद द्वारा दिया जाता है . इस उत्पाद की तेजी से फूरियर रूपांतरण द्वारा आसानी से गणना की जा सकती है।[2] इसके विपरीत, किसी भी विकर्ण आव्यूह के लिए , उत्पाद वे इसे प्रसारित करते हैं।
  • होने देना (मोनिक बहुपद) एक की विशेषता बहुपद हो आव्यूह की परिक्रमा , और जाने का व्युत्पन्न होना . फिर बहुपद निम्नलिखित का अभिलाक्षणिक बहुपद है का सब आव्यूह :
    (देखना [3] प्रमाण के लिए)।

विश्लेषणात्मक व्याख्या

सर्कुलेंट मेट्रिसेस की व्याख्या ज्यामितीय रूप से की जा सकती है, जो असतत फूरियर रूपांतरण के साथ संबंध की व्याख्या करता है।

में वैक्टर पर विचार करें अवधि के साथ पूर्णांकों पर कार्य के रूप में , (अर्थात , आवधिक द्वि-अनंत अनुक्रम के रूप में: ) या समकक्ष, आदेश के चक्रीय समूह पर कार्य करता है ( या ) ज्यामितीय रूप से, नियमित रूप से (कोने पर)। -gon: यह वास्तविक रेखा या वृत्त पर आवधिक कार्यों के लिए असतत अनुरूप है।

फिर, ऑपरेटर सिद्धांत के परिप्रेक्ष्य से, एक सर्कुलेंट आव्यूह असतत अभिन्न परिवर्तन का कर्नेल है, अर्थात् फ़ंक्शन के लिए कनवल्शन ऑपरेटर ; यह एक असतत गोलाकार कनवल्शन है। कार्यों के दृढ़ संकल्प के लिए सूत्र है

(याद रखें कि अनुक्रम आवधिक हैं) जो वेक्टर का उत्पाद है सर्कुलेंट आव्यूह के लिए .

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

सममित परिसंचारी आव्यूह

एक सममित परिसंचरण आव्यूह के लिए एक की अतिरिक्त शर्त है कि . इस प्रकार यह द्वारा निर्धारित किया जाता है तत्व।

किसी भी वास्तविक सममित आव्यूह के eigenvalues ​​वास्तविक हैं। संबंधित eigenvalues ​​बन जाते हैं:
के लिए समानता (गणित), और
के लिए समता (गणित), जहां की जटिल संख्या को दर्शाता है . इस तथ्य का उपयोग करके इसे और सरल बनाया जा सकता है .

सममित परिसंचारी आव्यूह द्विसममित आव्यूह के वर्ग से संबंधित हैं।

हर्मिटियन सर्कुलेंट मैट्रिसेस

सर्कुलेंट आव्यूह का जटिल संस्करण, संचार सिद्धांत में सर्वव्यापी, सामान्यतः हर्मिटियन आव्यूह है। इस स्थितियों में और इसके निर्धारक और सभी eigenvalues ​​वास्तविक हैं।

यदि n पहली दो पंक्तियाँ भी आवश्यक रूप से रूप लेती हैं

जिसमें प्रथम तत्व है शीर्ष दूसरी छमाही पंक्ति में वास्तविक है।

यदि n विषम है तो हमें प्राप्त होता है

टी[4] हर्मिटियन स्थिति के लिए eigenvalues ​​पर बाधाओं पर चर्चा की है।

अनुप्रयोग

रैखिक समीकरणों में

एक आव्यूह समीकरण दिया

कहाँ आकार का एक गोलाकार वर्ग आव्यूह है हम समीकरण को वृत्ताकार कनवल्शन के रूप में लिख सकते हैं
कहाँ का प्रथम स्तंभ है , और वैक्टर , और प्रत्येक दिशा में चक्रीय रूप से विस्तारित होते हैं। डिस्क्रीट फूरियर ट्रांसफॉर्म # सर्कुलर कनवल्शन प्रमेय और क्रॉस-सहसंबंध प्रमेय का उपयोग करके, हम चक्रीय कनवल्शन को घटक-वार गुणन में बदलने के लिए डिस्क्रीट फूरियर ट्रांसफॉर्म का उपयोग कर सकते हैं
जिससे कि
यह एल्गोरिथम मानक गाऊसी उन्मूलन की तुलना में बहुत तेज है, विशेष रूप से यदि एक तेज फूरियर रूपांतरण का उपयोग किया जाता है।

ग्राफ सिद्धांत में

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

संदर्भ

  1. A. W. Ingleton (1956). "सर्कुलेंट मैट्रिसेस की रैंक". J. London Math. Soc. s1-31 (4): 445–460. doi:10.1112/jlms/s1-31.4.445.
  2. Golub, Gene H.; Van Loan, Charles F. (1996), "§4.7.7 Circulant Systems", Matrix Computations (3rd ed.), Johns Hopkins, ISBN 978-0-8018-5414-9
  3. Kushel, Olga; Tyaglov, Mikhail (July 15, 2016), "Circulants and critical points of polynomials", Journal of Mathematical Analysis and Applications, 439 (2): 634–650, arXiv:1512.07983, doi:10.1016/j.jmaa.2016.03.005, ISSN 0022-247X
  4. Tee, G J (2007). "ब्लॉक सर्कुलेंट और अल्टरनेटिंग सर्कुलेंट मैट्रिसेस के आइजनवेक्टर". New Zealand Journal of Mathematics. 36: 195–211.


बाहरी संबंध