लेविंसन रिकर्सन

लेविंसन प्रत्यावर्तन(रिकर्सन) या लेविंसन-डर्बिन पुनरावर्तन, टोएप्लिट्ज़ आव्यूह से जुड़े समीकरण के हल की गणना करने के लिए रैखिक बीजगणित में प्रक्रिया है। एल्गोरिदम $Θ(n^{2})$ समय में चलता है, जो गॉस-जॉर्डन उन्मूलन पर एक स्पष्ट सुधार है, जो Θ(n3) में चलता है।

इस प्रकार से लेविंसन-डर्बिन एल्गोरिदम को सर्वप्रथम 1947 में नॉर्मन लेविंसन द्वारा प्रस्तावित किया गया था, जिसे 1960 में जेम्स डर्बिन द्वारा सुधारा गया और बाद में इसमें सुधार किया गया था, द्वारा सुधारा गया था, और बाद में डब्ल्यू.एफ. ट्रेंच और एस. ज़ोहर द्वारा क्रमशः $4n^{2}$ और फिर $3n^{2}$ गुणन में सुधार किया गया था।

डेटा को संसाधित करने की अन्य विधियों में शूर अपघटन और चोल्स्की अपघटन सम्मिलित हैं। इस प्रकार से इनकी तुलना में, लेविंसन पुनरावर्तन (विशेष रूप से विभाजित लेविंसन पुनरावर्तन) कम्प्यूटेशनल रूप से तीव्र होता है, परन्तु निकटन त्रुटियों जैसी कम्प्यूटेशनल अशुद्धियों के प्रति अधिक संवेदनशील होता है।

टोएप्लिट्ज़ आव्यूह के लिए बेरिस एल्गोरिदम (सामान्य बेरिस एल्गोरिदम के साथ भ्रमित नहीं होना चाहिए) लेविंसन पुनरावर्तन जितना तीव्र चलता है, परन्तु यह $O(n^{2})$ समष्टि का उपयोग करता है, जबकि लेविंसन पुनरावर्तन मात्र O(n) समष्टि का उपयोग करता है। यद्यपि, बेरिस एल्गोरिदम संख्यात्मक स्थिरता है, जबकि लेविंसन पुनरावर्तन मात्र दुर्बल रूप से स्थिर है (अर्थात यह ठीक रूप से वातानुकूलित रैखिक प्रणालियों के लिए संख्यात्मक स्थिरता प्रदर्शित करता है)।

इस प्रकार से नवीन एल्गोरिदम, जिन्हें लक्षणात्मक रूप से तीव्र या कभी-कभी अतितीव्र टोएप्लिट्ज़ एल्गोरिदम कहा जाता है, विभिन्न p के लिए (जैसे p = 2, p = 3 ) के लिए $Θ(n log^{p}n)$ में हल कर सकते हैं। लेविंसन पुनरावर्तन कई कारणों से लोकप्रिय बना हुआ है; एक के लिए, तुलना में इसे समझना अपेक्षाकृत सरल है; दूसरे के लिए, यह छोटे n (सामान्यतः n <256) के लिए अतितीव्र एल्गोरिदम से तीव्र हो सकता है।

पृष्ठभूमि
इस प्रकार से आव्यूह समीकरण रूप


 * $$\mathbf M \, \vec x = \vec y$$ का अनुसरण करते हैं।

लेविंसन-डर्बिन एल्गोरिदम का उपयोग ऐसे किसी भी समीकरण के लिए किया जा सकता है, जब तक कि M गैर-शून्य मुख्य विकर्ण के साथ ज्ञात टोएप्लिट्ज़ आव्यूह है। इस प्रकार से यह $$\vec y$$ एक ज्ञात सदिश समष्टि है, और $$\vec x$$ संख्याओं xi का अज्ञात सदिश है जिसे अभी तक निर्धारित नहीं किया गया है।

इस लेख के लिए, êi सदिश है जो पूर्ण रूप से शून्य से बना है, इसके iवें स्थान को छोड़कर, जिसका मान एक है। इसकी लंबाई निकट के संदर्भ से स्पष्ट रूप से निर्धारित होगी। शब्द N उपरोक्त आव्यूह की चौड़ाई को संदर्भित करता है -  'M'  N×N आव्यूह है। अंत में, इस आलेख में, सुपरस्क्रिप्ट आगमनात्मक सूचकांक को संदर्भित करते हैं, जबकि सबस्क्रिप्ट सूचकांकों को दर्शाते हैं। उदाहरण के लिए (और परिभाषा), इस आलेख में, आव्यूह ' Tn n×n आव्यूह है जो  'M' से ऊपरी बाएँ n×n कक्ष की प्रतिलिपि बनाता है - अर्थात, Tnij = Mij।

इस प्रकार से Tn भी टोएप्लिट्ज़ आव्यूह है, जिसका अर्थ है कि इसे


 * $$\mathbf T^n = \begin{bmatrix}

t_0   & t_{-1}  & t_{-2}  & \dots  & t_{-n+1}   \\ t_1   & t_0     & t_{-1}  & \dots  & t_{-n+2} \\ t_2   & t_1     & t_0     & \dots  & t_{-n+3} \\ \vdots & \vdots & \vdots  & \ddots & \vdots   \\ t_{n-1}& t_{n-2} & t_{n-3} & \dots & t_0 \end{bmatrix} $$ के रूप में लिखा जा सकता है।

परिचयात्मक चरण
एल्गोरिदम दो चरणों में आगे बढ़ता है। पहले चरण में, सदिश के दो समुच्चय स्थापित किए जाते हैं, जिन्हें अग्र और पश्च सदिश कहा जाता है। इस प्रकार से अग्र सदिश का उपयोग पश्च सदिश के समुच्चय को प्राप्त करने में सहायता के लिए किया जाता है; तो उन्हें तुरंत त्याग दिया जा सकता है। दूसरे चरण के लिए पश्च सदिश आवश्यक हैं, जहां उनका उपयोग वांछित हल बनाने के लिए किया जाता है।

इस प्रकार से लेविंसन-डर्बिन पुनरावर्तन nवें "अग्र सदिश" को पूर्ण रूप से परिभाषित करता है, जिसे $$\vec f^n$$कहा जाता है, लंबाई n के सदिश के रूप में जो संतुष्ट करता है:


 * $$\mathbf T^n \vec f^n = \hat e_1.$$

nवें पश्च सदिश $$\vec b^n$$ को इसी प्रकार परिभाषित किया गया है; यह लंबाई n का सदिश है जो संतुष्ट करता है:


 * $$\mathbf T^n \vec b^n = \hat e_n.$$

एक महत्वपूर्ण सरलीकरण तब हो सकता है जब M सममित आव्यूह है; तो दोनों सदिश bni = fnn+1−i— से संबंधित हैं - अर्थात, वे एक दूसरे के पंक्ति-व्युत्क्रम हैं। यह उस विशेष स्थिति में कुछ अतिरिक्त गणना शेष रह सकती है।

पश्च सदिश प्राप्त करना
यद्यपि एक आव्यूह सममित न हो, फिर भी nवें अग्र और पश्च के सदिश को लंबाई n - 1 के सदिश से निम्नानुसार पाया जा सकता है। इस प्रकार से सर्वप्रथम, अग्र सदिश को प्राप्त करने के लिए शून्य के साथ पूर्ण रूप से बढ़ाया जा सकता है:


 * $$\mathbf T^n \begin{bmatrix} \vec f^{n-1} \\ 0 \\ \end{bmatrix} =

\begin{bmatrix} \       & \               & \     & t_{-n+1}   \\ \       & \mathbf T^{n-1} & \     & t_{-n+2} \\ \       & \               & \     & \vdots   \\ t_{n-1} & t_{n-2}         & \dots & t_0      \\ \end{bmatrix} \begin{bmatrix} \            \\ \vec f^{n-1} \\ \           \\                   0            \\                   \            \\  \end{bmatrix} = \begin{bmatrix} 1            \\ 0           \\                   \vdots       \\ 0           \\                   \varepsilon_f^n \end{bmatrix}. $$ Tn−1 से Tn तक जाने में, आव्यूह में जोड़ा गया अतिरिक्त स्तम्भ हल को उद्विग्न नहीं करता है जब शून्य का उपयोग अग्र सदिश को बढ़ाने के लिए किया जाता है। यद्यपि, आव्यूह में जोड़ी गई अतिरिक्त पंक्ति ने हल को पूर्ण रूप से बाधित कर दिया है; और इसने एक अवांछित त्रुटि शब्द εf बनाया है जो अंतिम स्थान पर आता है। इस प्रकार से उपरोक्त समीकरण इसका मान देता है:


 * $$ \varepsilon_f^n \ = \ \sum_{i=1}^{n-1} \ M_{ni} \  f_{i}^{n-1} \ = \ \sum_{i=1}^{n-1} \  t_{n-i} \ f_{i}^{n-1}. $$

यह त्रुटि शीघ्र ही वापस आ जाएगी और नवीन अग्र सदिश से समाप्त कर दी जाएगी; परन्तु सर्वप्रथम, पश्च सदिश को समान (यद्यपि व्युत्क्रमा) विधि से बढ़ाया जाना चाहिए। अतः पश्च सदिश के लिए,


 * $$ \mathbf T^n \begin{bmatrix} 0 \\ \vec b^{n-1} \\ \end{bmatrix} =

\begin{bmatrix} t_0    & \dots & t_{-n+2}         & t_{-n+1} \\ \vdots & \     & \               & \       \\ t_{n-2} & \    & \mathbf T^{n-1} & \       \\ t_{n-1} & \    & \               & \end{bmatrix} \begin{bmatrix} \            \\ 0           \\                   \            \\                   \vec b^{n-1} \\ \           \\  \end{bmatrix} = \begin{bmatrix} \varepsilon_b^n  \\ 0            \\                   \vdots        \\ 0            \\                   1  \end{bmatrix}. $$ पहले के जैसे, आव्यूह में जोड़ा गया अतिरिक्त स्तम्भ इस नवीन पश्च सदिश को उद्विग्न नहीं करता है; परन्तु अतिरिक्त पंक्ति करती है। इस प्रकार से यहां हमारे निकट मान के साथ एक और अवांछित त्रुटि εb है:


 * $$ \varepsilon_b^n \ = \ \sum_{i=2}^n \ M_{1i} \ b_{i-1}^{n-1} \ = \ \sum_{i=1}^{n-1} \  t_{-i} \ b_i^{n-1}. \ $$

इन दो त्रुटि शब्दों का उपयोग निम्नानुसार वर्णित उच्च-क्रम वाले अग्र और पश्च के सदिश बनाने के लिए किया जा सकता है। इस प्रकार से आव्यूहों की रैखिकता का उपयोग पूर्ण रूप से करते हुए, निम्नलिखित पहचान सभी $$(\alpha,\beta)$$ के लिए मान्य है:


 * $$\mathbf T \left( \alpha

\begin{bmatrix} \vec f \\ \           \\                   0            \\  \end{bmatrix} + \beta \begin{bmatrix} 0           \\                   \            \\                   \vec b  \end{bmatrix} \right ) = \alpha  \begin{bmatrix}  1        \\                   0        \\                   \vdots   \\                   0        \\                   \varepsilon_f \\  \end{bmatrix} + \beta  \begin{bmatrix}  \varepsilon_b  \\                   0             \\                   \vdots        \\                   0             \\                   1  \end{bmatrix}.$$ यदि α और β को चुना जाता है ताकि दाहिनी ओर से ê1 or ên प्राप्त हो, तो कोष्ठक में स्थित मात्रा क्रमशः nवें अग्र या पश्च सदिश की परिभाषा को पूर्ण करेगी। उन अल्फा और बीटा को चुनने पर, कोष्ठक में सदिश योग सरल होता है और वांछित परिणाम देता है।

इन गुणांकों को खोजने के लिए, $$\alpha^n_{f}$$, $$\beta^n_{f}$$ जैसे कि:

\vec f^n = \alpha^n_{f} \begin{bmatrix} \vec f^{n-1}\\ 0 \end{bmatrix} +\beta^n_{f}\begin{bmatrix}0\\ \vec b^{n-1} \end{bmatrix} $$ और क्रमशः $$\alpha^n_{b}$$, $$\beta^n_{b}$$ जैसे कि:
 * $$\vec b^n = \alpha^n_{b}

\begin{bmatrix} \vec f^{n-1}\\ 0 \end{bmatrix} +\beta^n_{b}\begin{bmatrix} 0\\ \vec b^{n-1} \end{bmatrix}. $$ इस प्रकार से पूर्व दोनों समीकरणों को $${\mathbf T}^n$$ से गुणा करने पर निम्नलिखित समीकरण प्राप्त होता है:

\begin{bmatrix} 1 & \varepsilon^n_b \\ 0 & 0 \\ \vdots & \vdots \\ 0 & 0 \\ \varepsilon^n_f & 1 \end{bmatrix} \begin{bmatrix} \alpha^n_f & \alpha^n_b \\ \beta^n_f & \beta^n_b \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 0 \\ \vdots & \vdots \\ 0 & 0 \\ 0 & 1 \end{bmatrix}.$$ अब, ऊपर दिए गए दो सदिशों के बीच के सभी शून्यों को अनदेखा कर दिया गया है और ध्वस्त कर दिया गया है, मात्र निम्नलिखित समीकरण शेष है:


 * $$ \begin{bmatrix} 1 & \varepsilon^n_b \\ \varepsilon^n_f & 1 \end{bmatrix} \begin{bmatrix} \alpha^n_f & \alpha^n_b \\ \beta^n_f & \beta^n_b \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix}.$$

इस प्रकार से इन्हें हल करने के साथ (क्रैमर 2×2 आव्यूह व्युत्क्रम सूत्र का उपयोग करके), नवीन अग्र और पश्च सदिश निम्नलिखित हैं:


 * $$\vec f^n = {1 \over { 1 - \varepsilon_b^n \varepsilon_f^n }}         \begin{bmatrix} \vec f^{n-1} \\ 0 \end{bmatrix}

- { \varepsilon_f^n \over { 1 - \varepsilon_b^n \varepsilon_f^n }}\begin{bmatrix} 0 \\ \vec b^{n-1} \end{bmatrix}$$
 * $$\vec b^n = { 1 \over { 1 - \varepsilon_b^n \varepsilon_f^n }}         \begin{bmatrix} 0 \\ \vec b^{n-1} \end{bmatrix}

- { \varepsilon_b^n \over { 1 - \varepsilon_b^n \varepsilon_f^n }}\begin{bmatrix} \vec f^{n-1} \\ 0 \end{bmatrix}.$$ इन सदिश योगों को निष्पादित करने से, पहले वाले सदिशों से अग्र और पश्च का nवां सदिश प्राप्त होता है। जो कुछ शेष है वह इन सदिशों में से पहले को ढूंढना है, और फिर कुछ त्वरित योग और गुणन से शेष को प्राप्त करना है। इस प्रकार से पहले अग्र और पश्च वाले सदिश मात्र हैं:


 * $$\vec f^1 = \vec b^1 = \left[ {1 \over M_{11}} \right] = \left[ {1 \over t_0} \right].$$

पश्च सदिश का उपयोग करना
उपरोक्त चरण 'M' के लिए n पश्च सदिश देते हैं। अतः वहां से, अधिक यादृच्छिक समीकरण है:


 * $$ \vec y = \mathbf M \ \vec x. $$

हल उसी पुनरावर्ती विधि से बनाया जा सकता है जैसे पश्च सदिश बनाए गए थे। इसलिए, $$\vec x$$ को मध्यवर्ती $$\vec x^n$$ के अनुक्रम में पूर्ण रूप से सामान्यीकृत किया जाना चाहिए, जैसे कि $$\vec x^N = \vec x$$.

फिर हल यह ध्यान देकर पुनरावर्ती रूप से बनाया जाता है कि यदि


 * $$ \mathbf T^{n-1}

\begin{bmatrix} x_1^{n-1}     \\ x_2^{n-1}    \\ \vdots  \\ x_{n-1}^{n-1} \\ \end{bmatrix} = \begin{bmatrix} y_1     \\ y_2    \\ \vdots  \\ y_{n-1} \end{bmatrix}.$$ फिर, शून्य के साथ फिर से विस्तार करना, और जहां आवश्यक हो, एक त्रुटि स्थिरांक को परिभाषित करना:


 * $$ \mathbf T^{n}

\begin{bmatrix} x_1^{n-1}     \\ x_2^{n-1}    \\ \vdots  \\ x_{n-1}^{n-1} \\ 0 \end{bmatrix} = \begin{bmatrix} y_1     \\ y_2    \\ \vdots  \\ y_{n-1} \\ \varepsilon_x^{n-1} \end{bmatrix}.$$ इस प्रकार से फिर हम त्रुटि पद को समाप्त करने के लिए n वें पश्च सदिश का उपयोग कर सकते हैं और इसे निम्नानुसार वांछित सूत्र से परिवर्तित कर सकते हैं:


 * $$ \mathbf T^{n} \left (

\begin{bmatrix} x_1^{n-1}     \\ x_2^{n-1}    \\ \vdots  \\ x_{n-1}^{n-1} \\ 0 \\ \end{bmatrix} + (y_n - \varepsilon_x^{n-1}) \  \vec b^n \right ) =     \begin{bmatrix}  y_1     \\                   y_2     \\                   \vdots   \\                   y_{n-1} \\                   y_n  \end{bmatrix}.$$ इस विधि को n = N तक विस्तारित करने से हल $$\vec x$$ प्राप्त होता है।

अतः इस प्रकार से व्यवहार में, ये चरण प्रायः शेष प्रक्रिया के साथ-साथ किए जाते हैं, परन्तु वे सुसंगत इकाई बनाते हैं और उन्हें अपने स्वयं के चरण के रूप में माना जाना चाहिए।

कक्ष लेविंसन एल्गोरिदम
यदि M दृढ़ता से टोएप्लिट्ज़ नहीं है, परन्तु कक्ष आव्यूह टोएप्लिट्ज़ है, तो लेविंसन पुनरावर्तन को आव्यूह अवयवों के साथ टोएप्लिट्ज़ आव्यूह के रूप में कक्ष टोएप्लिट्ज़ आव्यूह के संबंध में उसी प्रकार से प्राप्त किया जा सकता है (म्यूजिकस 1988)। अतः कक्ष टॉप्लिट्ज़ आव्यूह सिग्नल प्रोसेसिंग एल्गोरिदम में स्वाभाविक रूप से उत्पन्न होते हैं जब कई सिग्नल स्ट्रीम (उदाहरण के लिए, सिस्टम विश्लेषण सिस्टम की विशेषता) या साइक्लो-स्टेशनरी सिग्नल से निपटते हैं।

यह भी देखें

 * स्प्लिट लेविंसन पुनरावर्तन
 * रैखिक प्रागुक्‍ति
 * स्वप्रतिगामी मॉडल

संदर्भ
Defining sources Further work Summaries
 * Levinson, N. (1947). "The Wiener RMS error criterion in filter design and prediction." J. Math. Phys., v. 25, pp. 261–278.
 * Durbin, J. (1960). "The fitting of time series models." Rev. Inst. Int. Stat., v. 28, pp. 233–243.
 * Trench, W. F. (1964). "An algorithm for the inversion of finite टोएप्लिट्ज़ matrices." J. Soc. Indust. Appl. Math., v. 12, pp. 515–522.
 * Musicus, B. R. (1988). "Levinson and Fast Choleski Algorithms for टोएप्लिट्ज़ and Almost टोएप्लिट्ज़ Matrices." RLE TR No. 538, MIT.
 * Delsarte, P. and Genin, Y. V. (1986). "The split Levinson algorithm." IEEE Transactions on Acoustics, Speech, and Signal Processing, v. ASSP-34(3), pp. 470–478.
 * Brent R.P. (1999), "Stability of fast algorithms for structured linear systems", Fast Reliable Algorithms for Matrices with Structure (editors—T. Kailath, A.H. Sayed), ch.4 (SIAM).
 * Bunch, J. R. (1985). "Stability of methods for solving टोएप्लिट्ज़ systems of equations." SIAM J. Sci. Stat. Comput., v. 6, pp. 349–364.
 * Bunch, J. R. (1985). "Stability of methods for solving टोएप्लिट्ज़ systems of equations." SIAM J. Sci. Stat. Comput., v. 6, pp. 349–364.
 * Bäckström, T. (2004). "2.2. Levinson–Durbin Recursion." Linear Predictive Modelling of Speech – Constraints and Line Spectrum Pair Decomposition. Doctoral thesis. Report no. 71 / Helsinki University of Technology, Laboratory of Acoustics and Audio Signal Processing. Espoo, Finland.
 * Claerbout, Jon F. (1976). "Chapter 7 – Waveform Applications of Least-Squares." Fundamentals of Geophysical Data Processing. Palo Alto: Blackwell Scientific Publications.
 * Golub, G.H., and Loan, C.F. Van (1996). "Section 4.7 : टोएप्लिट्ज़ and related Systems" Matrix Computations, Johns Hopkins University Press
 * Golub, G.H., and Loan, C.F. Van (1996). "Section 4.7 : टोएप्लिट्ज़ and related Systems" Matrix Computations, Johns Hopkins University Press