लैंज़ोस एल्गोरिदम

लैंज़ोस एल्गोरिदम कॉर्नेलियस लैंज़ोस द्वारा प्रस्तुत की गई एक पुनरावृत्तीय विधि है जो खोजने के लिए शक्ति पुनरावृत्ति का एक अनुकूलन है $$m$$ सबसे उपयोगी (अति उच्चतम/निम्नतम की ओर रुझान) आइजनवैल्यू ​​​​और आइजनवेक्टर $$n \times n$$ हर्मिटियन मैट्रिक्स, जहाँ $$ m $$ अधिकांशतः होता है लेकिन आवश्यक नहीं कि उससे बहुत छोटा हो $$ n $$. यद्यपि सैद्धांतिक रूप से कम्प्यूटेशनल रूप से कुशल, प्रारंभिक रूप से तैयार की गई विधि अपनी संख्यात्मक स्थिरता के कारण उपयोगी नहीं थी।

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

अपने मूल काम में, इन लेखकों ने यह भी सुझाव दिया कि प्रारंभिक वेक्टर का चयन कैसे करें (अर्थात् प्रारंभिक वेक्टर के प्रत्येक तत्व का चयन करने के लिए यादृच्छिक संख्या जेनरेटर का उपयोग करें) और निर्धारण के लिए अनुभवजन्य रूप से निर्धारित विधि का सुझाव दिया $$ m $$, सदिशों की कम संख्या (अर्थात इसे वांछित सटीक आइजनवैल्यू ​​​​की संख्या का लगभग 1.5 गुना चुना जाना चाहिए)। इसके तुरंत बाद उनके काम का अनुसरण पेगे ने किया, जिन्होंने एक त्रुटि विश्लेषण भी प्रदान किया। 1988 में, ओजाल्वो ने इस एल्गोरिदम का अधिक विस्तृत इतिहास और एक कुशल आइजनवैल्यू त्रुटि परीक्षण तैयार किया।

एल्गोरिदम

 * एक हर्मिटियन मैट्रिक्स इनपुट करें $$A$$ आकार का $$n \times n$$, और वैकल्पिक रूप से कई पुनरावृत्तियाँ $$m$$ (डिफ़ॉल्ट के रूप में, माना $$m=n$$).
 * सच कहूँ तो, एल्गोरिदम को स्पष्ट मैट्रिक्स तक पहुंच की आवश्यकता नहीं है, बल्कि केवल एक फलन की आवश्यकता है $$v \mapsto A v$$ जो एक मनमाना वेक्टर द्वारा मैट्रिक्स के उत्पाद की गणना करता है। इस फलन को अधिक से अधिक कॉल किया जाता है $$m$$ बार.
 * आउटपुट $$n \times m$$ आव्यूह $$V$$ रूढ़िवादिता कॉलम और एक त्रिविकर्ण मैट्रिक्स वास्तविक सममित मैट्रिक्स के साथ $$T = V^* A V$$ आकार का $$m \times m$$. अगर $$m=n$$, तब $$V$$ एकात्मक मैट्रिक्स है, और $$ A = V T V^* $$.
 * चेतावनी लैंज़ोस पुनरावृत्ति संख्यात्मक अस्थिरता से ग्रस्त है। गैर-सटीक अंकगणित में निष्पादित होने पर, परिणामों की वैधता सुनिश्चित करने के लिए अतिरिक्त उपाय (जैसा कि बाद के अनुभागों में बताया गया है) किए जाने चाहिए।
 * माना $$v_1 \in \mathbb{C}^n$$ यूक्लिडियन मानदंड के साथ एक मनमाना वेक्टर $$1$$ बनें
 * संक्षिप्त प्रारंभिक पुनरावृत्ति चरण:
 * माना $$ w_1' = A v_1 $$.
 * माना $$ \alpha_1 = w_1'^* v_1 $$.
 * माना $$ w_1 = w_1' - \alpha_1 v_1 $$.
 * के लिए $$ j=2,\dots,m $$ करना:
 * माना $$ \beta_j = \| w_{j-1} \| $$ (यूक्लिडियन मानदंड भी)।
 * अगर $$ \beta_j \neq 0 $$, तो करने दें $$ v_j = w_{j-1} / \beta_j $$,
 * अन्यथा इस रूप में चुनें $$v_j$$ यूक्लिडियन मानदंड के साथ एक मनमाना वेक्टर $$1$$ यह सभी के लिए ओर्थोगोनल है $$ v_1,\dots,v_{j-1} $$.
 * माना $$ w_j' = A v_j $$.
 * माना $$ \alpha_j = w_j'^* v_j $$.
 * माना $$ w_j = w_j' - \alpha_j v_j  - \beta_j v_{j-1} $$.
 * माना $$V$$ कॉलम के साथ मैट्रिक्स बनें $$ v_1,\dots,v_m $$. माना $$T = \begin{pmatrix}

\alpha_1 & \beta_2 &          &             &              & 0 \\ \beta_2 & \alpha_2 & \beta_3  &             &              & \\ & \beta_3 & \alpha_3 & \ddots      &              & \\ &         & \ddots   & \ddots      & \beta_{m-1}  & \\ &         &          & \beta_{m-1} & \alpha_{m-1} & \beta_m \\ 0       &          &          &             & \beta_m      & \alpha_m \\ \end{pmatrix}$$.
 * टिप्पणी $$ A v_j = w_j' = \beta_{j+1} v_{j+1} + \alpha_j v_j + \beta_j v_{j-1} $$ के लिए $$ 1 < j < m $$.

पुनरावृत्ति प्रक्रिया को लिखने के सैद्धांतिक रूप से चार विधि हैं। पेगे और अन्य कार्यों से पता चलता है कि संचालन का उपरोक्त क्रम संख्यात्मक रूप से सबसे स्थिर है।

व्यवहार में प्रारंभिक वेक्टर $$v_1$$ प्रक्रिया के एक अन्य तर्क के रूप में लिया जा सकता है $$\beta_j=0$$ और संख्यात्मक अशुद्धि के संकेतकों को अतिरिक्त लूप समाप्ति शर्तों के रूप में सम्मिलित किया जा रहा है।

मैट्रिक्स-वेक्टर गुणन की गणना न करते हुए, प्रत्येक पुनरावृत्ति करता है $$O(n)$$ अंकगणितीय परिचालन. मैट्रिक्स-वेक्टर गुणन किया जा सकता है $$O(dn)$$ अंकगणितीय संक्रियाएँ जहाँ $$d$$ एक पंक्ति में शून्येतर तत्वों की औसत संख्या है। कुल जटिलता इस प्रकार है $$O(dmn)$$, या $$O(dn^2)$$ अगर $$m=n$$; लैंज़ोस एल्गोरिदम विरल मैट्रिक्स के लिए बहुत तेज़ हो सकता है। संख्यात्मक स्थिरता में सुधार के लिए योजनाओं को सामान्यतः इस उच्च प्रदर्शन के आधार पर आंका जाता है।

वैक्टर $$v_j$$ लैंज़ोस वैक्टर कहलाते हैं।

सदिश $$ w_j' $$ के बाद उपयोग नहीं किया जाता है $$ w_j $$ गणना की जाती है, और वेक्टर $$ w_j $$ के बाद उपयोग नहीं किया जाता है $$ v_{j+1} $$ गणना की जाती है. इसलिए कोई भी तीनों के लिए एक ही भंडारण का उपयोग कर सकता है। इसी तरह, यदि केवल त्रिविकर्ण मैट्रिक्स $$T$$ मांगा जाता है, तो कच्चे पुनरावर्तन की आवश्यकता नहीं होती $$ v_{j-1} $$ गणना करने के बाद $$ w_j $$, चुकीं संख्यात्मक स्थिरता में सुधार के लिए कुछ योजनाओं को बाद में इसकी आवश्यकता होगी। कभी-कभी बाद के लैंज़ोस वैक्टर की पुनर्गणना की जाती है $$v_1$$ जब आवश्यक है।

आइजन समस्याएं के लिए आवेदन
लैंज़ोस एल्गोरिदम को अधिकांशतः मैट्रिक्स के आइजनवैल्यू और आइजनवेक्टर खोजने के संदर्भ में लाया जाता है, लेकिन जबकि एक सामान्य मैट्रिक्स विकर्णीकरण आइजनवेक्टर और आइजनवैल्यू को निरीक्षण से स्पष्ट कर देगा, वही लैंज़ोस एल्गोरिदम द्वारा किए गए ट्राइडिएगोनलाइज़ेशन के लिए सच नहीं है; एक भी आइजेनवैल्यू या आइजेनवेक्टर की गणना करने के लिए गैर-तुच्छ अतिरिक्त चरणों की आवश्यकता होती है। फिर भी, लैंज़ोस एल्गोरिथ्म को प्रयुक्त करना अधिकांशतः आइगेंडेकंपोजीशन की गणना में एक महत्वपूर्ण कदम है। अगर $$\lambda$$ का एक प्रतिरूप है $$A$$, और अगर $$ T x = \lambda x $$ ($$x$$ का एक आइजेनवेक्टर $$T$$ है) तब $$ y = V x $$ का संगत आइजेनवेक्टर है $$A$$ (तब से $$ A y = A V x = V T V^* V x = V T I x = V T x = V (\lambda x) = \lambda V x = \lambda y$$). इस प्रकार लैंज़ोस एल्गोरिथ्म आइजनसंयोजन समस्या को बदल देता है $$A$$ आइजनसंयोजन समस्या के लिए $$T$$. विरल मैट्रिक्स के लिए अच्छे प्रदर्शन का संयोजन और कई (सभी की गणना किए बिना) आइजनवैल्यू की गणना करने की क्षमता लैंज़ोस एल्गोरिदम का उपयोग करने का चयन करने के मुख्य कारण हैं।
 * 1) त्रिविकर्ण मैट्रिक्स के लिए, कई विशिष्ट एल्गोरिदम उपस्थित हैं, जो अधिकांशतः सामान्य-उद्देश्य एल्गोरिदम की तुलना में बेहतर कम्प्यूटेशनल जटिलता के साथ होते हैं। उदाहरण के लिए, यदि $$T$$ एक $$m \times m$$ त्रिविकर्ण सममित मैट्रिक्स तब:
 * 2) * त्रिविकर्ण मैट्रिक्स#निर्धारक विशेषता बहुपद की गणना करने की अनुमति देता है $$O(m^2)$$ संचालन, और एक बिंदु पर इसका मूल्यांकन करना $$O(m)$$ परिचालन.
 * 3) * डिवाइड आइजनवैल्यू एल्गोरिदम का उपयोग संपूर्ण आइजनसंयोजन की गणना करने के लिए किया जा सकता है $$T$$ में $$O(m^2)$$ परिचालन.
 * 4) * फास्ट मल्टीपोल विधि सभी आइजनवैल्यू ​​​​की गणना बस में कर सकते हैं $$O(m \log m)$$ परिचालन.
 * 5) कुछ सामान्य आइजनसंयोजन एल्गोरिदम, विशेष रूप से QR एल्गोरिदम, सामान्य मैट्रिक्स की तुलना में त्रिविकर्ण मैट्रिक्स के लिए तेजी से अभिसरण करने के लिए जाने जाते हैं। त्रिविकर्ण QR की स्पर्शोन्मुख जटिलता है $$O(m^2)$$ ठीक वैसे ही जैसे कि डिवाइड करो और जीतो एल्गोरिथ्म के लिए (चुकीं स्थिर कारक भिन्न हो सकता है); चूँकि आइजनवेक्टर एक साथ हैं $$m^2$$ तत्व, यह स्पर्शोन्मुख रूप से इष्टतम है।
 * 6) यहां तक ​​कि एल्गोरिदम जिनकी अभिसरण दरें एकात्मक परिवर्तनों से अप्रभावित हैं, जैसे कि शक्ति विधि और व्युत्क्रम पुनरावृत्ति, त्रिविकर्ण मैट्रिक्स पर प्रयुक्त होने से निम्न-स्तरीय प्रदर्शन लाभ का आनंद ले सकते हैं $$T$$ मूल मैट्रिक्स के अतिरिक्त $$A$$. तब से $$T$$ अत्यधिक पूर्वानुमानित स्थितियों में सभी गैर-शून्य तत्वों के साथ बहुत विरल है, यह कैश (कंप्यूटिंग) की तुलना में उत्कृष्ट प्रदर्शन के साथ कॉम्पैक्ट स्टोरेज की अनुमति देता है। वैसे ही, $$T$$ जबकि सभी आइजनवेक्टर और आइजनवैल्यू ​​​​वास्तविक के साथ एक वास्तविक संख्या मैट्रिक्स है $$A$$ सामान्य तौर पर इसमें जटिल तत्व और आइजनवेक्टर हो सकते हैं, इसलिए वास्तविक अंकगणित आइजनवेक्टर और आइजनवेक्टर खोजने के लिए $$T$$ पर्याप्त है
 * 7) अगर $$n$$ बहुत बड़ा है, फिर घट रहा है $$m$$ जिससे $$T$$ प्रबंधनीय आकार का होने पर भी यह अधिक चरम आइजनवैल्यू और आइजनवेक्टर खोजने की अनुमति देगा $$A$$; में $$m \ll n$$ क्षेत्र में, लैंज़ोस एल्गोरिथ्म को हर्मिटियन मैट्रिसेस के लिए एक हानिपूर्ण संपीड़न योजना के रूप में देखा जा सकता है, जो चरम स्वदेशी मूल्यों को संरक्षित करने पर जोर देता है।

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

जिन पहलुओं में दोनों एल्गोरिदम भिन्न हैं उनमें सम्मिलित हैं:
 * लैंज़ोस लाभ उठाता है $$A$$ एक विरल मैट्रिक्स होने के नाते, जबकि हाउसहोल्डर ऐसा नहीं करता है, और विरल मैट्रिक्स #रिड्यूसिंग फिल-इन|फिल-इन उत्पन्न करेगा।
 * लैंज़ोस मूल मैट्रिक्स के साथ काम करता है $$A$$ (और इसे केवल अंतर्निहित रूप से ज्ञात होने में कोई समस्या नहीं है), जबकि कच्चा हाउसहोल्डर गणना के समय मैट्रिक्स को संशोधित करना चाहता है (चुकीं इससे बचा जा सकता है)।
 * लैंज़ोस एल्गोरिथ्म का प्रत्येक पुनरावृत्ति अंतिम परिवर्तन मैट्रिक्स का एक और कॉलम तैयार करता है $$V$$, जबकि हाउसहोल्डर का एक पुनरावृत्ति एकात्मक गुणनखंडन में एक और कारक उत्पन्न करता है $$ Q_1 Q_2 \dots Q_n$$ का $$V$$. चुकीं, प्रत्येक कारक एक एकल वेक्टर द्वारा निर्धारित होता है, इसलिए भंडारण आवश्यकताएँ दोनों एल्गोरिदम के लिए समान हैं, और $$V = Q_1 Q_2 \dots Q_n$$ में गणना की जा सकती है $$O(n^3)$$ समय।
 * ओनर संख्यात्मक रूप से स्थिर है, जबकि कच्चा लैंज़ोस नहीं है।
 * लैंज़ोस अत्यधिक समानांतर है, केवल के साथ $$O(n)$$ सिंक्रोनाइज़ेशन के बिंदु (कंप्यूटर विज्ञान) (की गणना) $$\alpha_j$$ और $$\beta_j$$). गृहस्थ कम समानांतर होता है, जिसका एक क्रम होता है $$O(n^2)$$ अदिश मात्राओं की गणना की जाती है जिनमें से प्रत्येक अनुक्रम में पिछली मात्रा पर निर्भर करती है।

एल्गोरिदम की व्युत्पत्ति
तर्क की कई पंक्तियाँ हैं जो लैंज़ोस एल्गोरिदम की ओर ले जाती हैं।

एक अधिक भविष्य शक्ति विधि
सबसे बड़े परिमाण के आइजेनवैल्यू और मैट्रिक्स के संबंधित आइजेनवेक्टर को खोजने की शक्ति विधि $$A$$ सामान्यतः है
 * एक यादृच्छिक वेक्टर चुनें $$u_1 \neq 0$$.
 * के लिए $$ j \geqslant 1 $$ (के निर्देश तक $$u_j$$ एकत्रित हो गया है) करें:
 * माना$$ u_{j+1}' = A u_j.$$
 * माना$$ u_{j+1} = u_{j+1}' / \| u_{j+1}' \|.$$
 * बड़े में $$j$$ सीमा, $$u_j$$ सबसे बड़े परिमाण के आइगेनवैल्यू के अनुरूप मानक आइजेनवेक्टर के पास पहुंचता है।

इस पद्धति के खिलाफ जो आलोचना की जा सकती है वह यह है कि यह व्यर्थ है: इसमें मैट्रिक्स से जानकारी निकालने में बहुत सारा काम (चरण 2.1 में मैट्रिक्स-वेक्टर उत्पाद) खर्च होता है $$A$$, लेकिन केवल अंतिम परिणाम पर ही ध्यान देता है; कार्यान्वयन सामान्यतः सभी वैक्टरों के लिए समान चर का उपयोग करते हैं $$u_j$$, प्रत्येक नए पुनरावृत्ति में पिछले वाले के परिणामों को अधिलेखित कर दिया जाता है। इसके अतिरिक्त सभी मध्यवर्ती परिणामों को रखना और डेटा को व्यवस्थित करना वांछनीय हो सकता है।

जानकारी का एक टुकड़ा जो तुच्छ रूप से वैक्टर से उपलब्ध है $$u_j$$ क्रायलोव उपस्थानों की एक श्रृंखला है। यह बताने का एक विधि कि एल्गोरिथम में सेट सम्मिलित किए बिना यह दावा करना है कि यह गणना करता है


 * उपसमुच्चय $$\{v_j\}_{j=1}^m$$ के एक आधार का $$\Complex^n$$ ऐसा है कि $$Ax \in \operatorname{span}(v_1,\dotsc,v_{j+1}) $$ हरएक के लिए $$x \in \operatorname{span}(v_1,\dotsc,v_j)$$ और सभी $$1 \leqslant j < m;$$

यह तुच्छ रूप से संतुष्ट है $$v_j = u_j$$ जब तक कि $$u_j$$ से रैखिक रूप से स्वतंत्र है $$u_1,\dotsc,u_{j-1}$$ (और यदि ऐसी कोई निर्भरता है तो कोई इसे चुनकर अनुक्रम जारी रख सकता है $$v_j$$ एक मनमाना वेक्टर रैखिक रूप से स्वतंत्र है $$u_1,\dotsc,u_{j-1}$$). एक आधार जिसमें सम्मिलित है $$u_j$$ चुकीं, वेक्टर के संख्यात्मक रूप से खराब होने की संभावना है, क्योंकि वेक्टर का यह क्रम डिजाइन के अनुसार एक आइजेनवेक्टर में परिवर्तित होने के लिए है। $$A$$. इससे बचने के लिए, कोई व्यक्ति शक्ति पुनरावृत्ति को ग्राम-श्मिट प्रक्रिया के साथ जोड़ सकता है, इसके बजाय इन क्रायलोव उप-स्थानों का एक ऑर्थोनॉर्मल आधार तैयार कर सकता है। शक्ति पुनरावृत्ति वैक्टर के बीच संबंध $$u_j$$ और ऑर्थोगोनल वैक्टर $$v_j$$ यह है कि
 * 1) एक यादृच्छिक वेक्टर चुनें $$u_1$$ यूक्लिडियन मानदंड का $$1$$. माना $$v_1 = u_1$$.
 * 2) के लिए $$j = 1,\dotsc,m-1$$ करना:
 * 3) माना $$ u_{j+1}' = A u_j $$.
 * 4) सभी के लिए $$ k = 1, \dotsc, j $$ माना$$g_{k,j} = v_k^* u_{j+1}'$$. (ये के निर्देशांक हैं $$ A u_j = u_{j+1}' $$ आधार वैक्टर के संबंध में $$v_1,\dotsc,v_j$$.)
 * 5) माना $$ w_{j+1} = u_{j+1}' - \sum_{k=1}^j g_{k,j} v_k$$. (के घटक को रद्द करें $$u_{j+1}'$$ यह है $$\operatorname{span}(v_1,\dotsc,v_j)$$.)
 * 6) अगर $$w_{j+1} \neq 0$$ तो करने दें $$ u_{j+1} = u_{j+1}' / \| u_{j+1}' \| $$ और $$ v_{j+1} = w_{j+1} / \| w_{j+1} \| $$,
 * अन्यथा इस रूप में चुनें $$ u_{j+1} = v_{j+1} $$ यूक्लिडियन मानदंड का एक मनमाना वेक्टर $$1$$ यह सभी के लिए ओर्थोगोनल है $$v_1,\dotsc,v_j$$.
 * $$ A u_j = \| u_{j+1}'\| u_{j+1} = u_{j+1}' = w_{j+1} + \sum_{k=1}^j g_{k,j} v_k = \| w_{j+1}\| v_{j+1} + \sum_{k=1}^j g_{k,j} v_k $$.

यहाँ यह देखा जा सकता है कि वास्तव में हमें इसकी आवश्यकता नहीं है $$u_j$$ इनकी गणना करने के लिए वैक्टर $$v_j$$, क्योंकि $$u_j - v_j \in \operatorname{span}(v_1,\dotsc,v_{j-1})$$ और इसलिए बीच का अंतर $$ u_{j+1}' = A u_j $$ और $$ w_{j+1}' = A v_j $$ में है $$\operatorname{span}(v_1,\dotsc,v_j)$$, जिसे ऑर्थोगोनलाइज़ेशन प्रक्रिया द्वारा रद्द कर दिया गया है। इस प्रकार क्रायलोव उप-स्थानों की श्रृंखला के लिए समान आधार की गणना की जाती है एक प्राथमिकता गुणांक $$h_{k,j}$$ संतुष्ट करना
 * 1) एक यादृच्छिक वेक्टर चुनें $$v_1$$ यूक्लिडियन मानदंड का $$1$$.
 * 2) के लिए $$j = 1,\dotsc,m-1$$ करना:
 * 3) माना $$ w_{j+1}' = A v_j $$.
 * 4) सभी के लिए $$ k = 1, \dotsc, j $$ माना$$h_{k,j} = v_k^* w_{j+1}'$$.
 * 5) माना $$ w_{j+1} = w_{j+1}' - \sum_{k=1}^j h_{k,j} v_k $$.
 * 6) माना $$ h_{j+1,j} = \| w_{j+1} \| $$.
 * 7) अगर $$h_{j+1,j} \neq 0$$ तो करने दें $$ v_{j+1} = w_{j+1} / h_{j+1,j} $$,
 * अन्यथा इस रूप में चुनें $$ v_{j+1} $$ यूक्लिडियन मानदंड का एक मनमाना वेक्टर $$1$$ यह सभी के लिए ओर्थोगोनल है $$v_1,\dotsc,v_j$$.
 * $$ A v_j = \sum_{k=1}^{j+1} h_{k,j} v_k $$ सभी के लिए $$ j < m $$;

मानहानि $$ h_{j+1,j} = \| w_{j+1} \| $$ थोड़ा विचित्र लग सकता है, लेकिन सामान्य पैटर्न पर फिट बैठता है $$ h_{k,j} = v_k^* w_{j+1}' $$ तब से


 * $$ v_{j+1}^* w_{j+1}' = v_{j+1}^* w_{j+1} = \| w_{j+1} \| v_{j+1}^* v_{j+1} = \| w_{j+1} \|.$$

क्योंकि शक्ति पुनरावृत्ति सदिश $$u_j$$ जो इस पुनरावर्ती संतुष्टि से हटा दिए गए थे $$u_j \in \operatorname{span}(v_1,\ldots,v_j),$$ सदिश $$\{v_j\}_{j=1}^m$$ और गुणांक $$h_{k,j}$$ से पर्याप्त जानकारी सम्मिलित है $$A$$ वह सब $$u_1,\ldots,u_m$$ गणना की जा सकती है, इसलिए वैक्टर बदलने से कुछ भी हानि नहीं हुआ। (वास्तव में, यह पता चला है कि यहां एकत्र किया गया डेटा पावर विधि में समान संख्या में पुनरावृत्तियों से प्राप्त होने वाले सबसे बड़े आइगेनवैल्यू का काफी बेहतर अनुमान देता है, चुकीं इस बिंदु पर यह स्पष्ट नहीं है।)

यह अंतिम प्रक्रिया अर्नोल्डी पुनरावृत्ति है। लैंज़ोस एल्गोरिथ्म तब सरलीकरण के रूप में सामने आता है जो गणना के चरणों को समाप्त करने से प्राप्त होता है जो तब तुच्छ हो जाते हैं $$A$$ हर्मिटियन है—विशेष रूप से अधिकांश $$h_{k,j}$$ गुणांक शून्य हो जाते हैं।

प्राथमिक रूप से, यदि $$A$$ तो हर्मिटियन है


 * $$ h_{k,j} = v_k^* w_{j+1}' = v_k^* A v_j = v_k^* A^* v_j = (A v_k)^* v_j.$$

के लिए $$ k < j-1 $$ हम वह जानते हैं $$ A v_k \in \operatorname{span}(v_1,\ldots,v_{j-1}) $$, और तबसे $$ v_j $$ निर्माण द्वारा इस उप-स्थान के लिए ऑर्थोगोनल है, यह आंतरिक उत्पाद शून्य होना चाहिए। (यह अनिवार्य रूप से यही कारण है कि ऑर्थोगोनल बहुपदों के अनुक्रमों को हमेशा एक ऑर्थोगोनल बहुपद#पुनरावृत्ति संबंध|तीन-अवधि वाला पुनरावृत्ति संबंध दिया जा सकता है।) $$ k = j-1 $$ एक मिलता है


 * $$ h_{j-1,j} = (A v_{j-1})^* v_j = \overline{v_j^* A v_{j-1} } = \overline{ h_{j,j-1} } = h_{j,j-1} $$ चूँकि वेक्टर का आदर्श होने के कारण उत्तरार्द्ध वास्तविक है। के लिए $$ k = j $$ एक मिलता है


 * $$ h_{j,j} = (A v_j)^* v_j = \overline{v_j^* A v_j } = \overline{h_{j,j}},$$

अर्थ ये भी सही है.

अधिक संक्षेप में, यदि $$V$$ स्तंभों वाला मैट्रिक्स है $$v_1,\ldots,v_m$$ फिर संख्याएँ $$h_{k,j}$$ मैट्रिक्स के तत्वों के रूप में पहचाना जा सकता है $$H = V^*AV$$, और $$h_{k,j} = 0$$ के लिए $$k > j+1;$$ गणित का सवाल $$H$$ हेसेनबर्ग मैट्रिक्स है. तब से


 * $$ H^* = \left (V^* A V \right )^* = V^* A^* V = V^* A V = H $$ गणित का सवाल $$H$$ हर्मिटियन है. इसका अर्थ यह है कि $$H$$ यह हेसेनबर्ग से भी निचला है, इसलिए यह वास्तव में त्रिविजात्मक होना चाहिए। हर्मिटियन होने के कारण, इसका मुख्य विकर्ण वास्तविक है, और चूंकि इसका पहला उपविकर्ण निर्माण से वास्तविक है, इसलिए इसके पहले सुपरविकर्ण के लिए भी यही सच है। इसलिए, $$H$$ एक वास्तविक, सममित मैट्रिक्स है - मैट्रिक्स $$T$$ लैंज़ोस एल्गोरिथम विनिर्देश के लिए है।

चरम आइजनवैल्यू ​​​​का एक साथ सन्निकटन
हर्मिटियन मैट्रिक्स के आइजेनवेक्टरों को चिह्नित करने का एक विधि $$A$$ रेले भागफल के स्थिर बिंदुओं के रूप में है


 * $$r(x) = \frac{x^* A x} {x^* x}, \qquad x \in\Complex^n.$$

विशेष रूप से, सबसे बड़ा आइजनवैल्यू $$\lambda_\max$$ का वैश्विक अधिकतम है $$r$$ और सबसे छोटा आइजनवैल्यू $$\lambda_\min$$ का वैश्विक न्यूनतम $$r$$ है.

निम्न-आयामी उप-स्थान के अन्दर $$\mathcal{L}$$ का $$\Complex^n$$ अधिकतम का पता लगाना संभव हो सकता है $$x$$ और न्यूनतम $$y$$ का $$r$$. बढ़ती हुई शृंखला के लिए इसे दोहराते हुए $$\mathcal{L}_1 \subset \mathcal{L}_2 \subset \cdots$$ वैक्टर के दो अनुक्रम उत्पन्न करता है: $$x_1, x_2, \ldots$$ और $$y_1, y_2, \dotsc $$ ऐसा है कि $$x_j, y_j \in \mathcal{L}_j $$ और


 * $$\begin{align}

r(x_1) &\leqslant r(x_2) \leqslant \cdots \leqslant \lambda_\max \\ r(y_1) &\geqslant r(y_2) \geqslant \cdots \geqslant \lambda_\min \end{align}$$ फिर प्रश्न उठता है कि उप-स्थानों का चयन कैसे किया जाए ताकि ये क्रम इष्टतम दर पर अभिसरित हों।

से $$x_j$$, इष्टतम दिशा जिसमें बड़े मूल्यों की तलाश की जा सके $$r$$ वह ढाल का है $$\nabla r(x_j)$$, और इसी तरह से $$y_j$$ छोटे मूल्यों की तलाश करने के लिए इष्टतम दिशा $$r$$ वह नकारात्मक प्रवणता का है $$-\nabla r(y_j)$$. सामान्य रूप में


 * $$\nabla r(x) = \frac{2}{x^* x} ( A x - r(x) x ), $$

इसलिए मैट्रिक्स अंकगणित में गणना करने के लिए रुचि की दिशाएं बहुत सरल हैं, लेकिन यदि कोई दोनों में सुधार करना चाहता है $$x_j$$ और $$y_j$$ फिर ध्यान में रखने के लिए दो नई दिशाएँ हैं: $$Ax_j$$ और $$Ay_j;$$ तब से $$x_j$$ और $$y_j$$ रैखिक रूप से स्वतंत्र वैक्टर हो सकते हैं (वास्तव में, ऑर्थोगोनल के समीप हैं), कोई भी सामान्य रूप से उम्मीद नहीं कर सकता है $$Ax_j$$ और $$Ay_j$$ समानांतर होना. का आयाम बढ़ाना आवश्यक नहीं है $$\mathcal{L}_j$$ द्वारा $$2$$ हर कदम पर अगर $$\{\mathcal{L}_j\}_{j=1}^m$$ क्रायलोव उप-स्थान के रूप में लिया जाता है, क्योंकि तब $$Az \in \mathcal{L}_{j+1}$$ सभी के लिए $$z \in \mathcal{L}_j,$$ इस प्रकार विशेष रूप से दोनों के लिए $$z = x_j$$ और $$z = y_j$$.

दूसरे शब्दों में, हम कुछ मनमाने प्रारंभिक वेक्टर से प्रारंभ कर सकते हैं $$x_1 = y_1,$$ वेक्टर रिक्त स्थान का निर्माण करें


 * $$ \mathcal{L}_j = \operatorname{span}( x_1, A x_1, \ldots, A^{j-1} x_1 ) $$

और फिर तलाश करो $$ x_j, y_j \in \mathcal{L}_j $$ ऐसा है कि


 * $$ r(x_j) = \max_{z \in \mathcal{L}_j} r(z) \qquad \text{and} \qquad r(y_j) = \min_{z \in \mathcal{L}_j} r(z).$$

के बाद से $$j$$वें शक्ति विधि पुनरावृत्त $$u_j$$ से संबंधित $$\mathcal{L}_j,$$ यह इस प्रकार है कि उत्पादन करने के लिए एक पुनरावृत्ति $$x_j$$ और $$y_j$$ शक्ति विधि की तुलना में धीमी गति से अभिसरण नहीं किया जा सकता है, और दोनों आइजनवैल्यू चरम सीमाओं का अनुमान लगाकर अधिक प्राप्त किया जाएगा। अनुकूलन की उपसमस्या के लिए $$r$$ कुछ पर $$\mathcal{L}_j $$, लम्बवत आधार रखना सुविधाजनक है $$\{ v_1, \ldots, v_j \}$$ इस वेक्टर स्पेस के लिए. इस प्रकार हम फिर से क्रायलोव उप-स्थानों के अनुक्रम के लिए ऐसे आधार की पुनरावृत्तीय गणना करने की समस्या की ओर अग्रसर हैं।

अभिसरण और अन्य गतिशीलता
एल्गोरिथ्म की गतिशीलता का विश्लेषण करते समय, आइजनवैल्यू ​​​​और आइजनवेक्टर लेना सुविधाजनक होता है $$A$$ जैसा कि दिया गया है, भले ही वे उपयोगकर्ता को स्पष्ट रूप से ज्ञात न हों। अंकन को ठीक करने के लिए, आइए $$\lambda_1 \geqslant \lambda_2 \geqslant \dotsb \geqslant \lambda_n$$ आइगेनवैल्यू बनें (ये सभी जानते हैं कि ये वास्तविक हैं, और इस प्रकार ऑर्डर करना संभव है) और चलो $$z_1,\dotsc,z_n$$ आइजनवेक्टर का एक ऑर्थोनॉर्मल सेट बनें जैसे कि $$A z_k = \lambda_k z_k$$ सभी के लिए $$k=1,\dotsc,n$$.

प्रारंभिक लैंज़ोस वेक्टर के गुणांकों के लिए एक अंकन तय करना भी सुविधाजनक है $$v_1$$ इस आइजनबेसिक के संबंध में; माना $$d_k = z_k^* v_1$$ सभी के लिए $$k=1,\dotsc,n$$, ताकि $$ \textstyle v_1 = \sum_{k=1}^n d_k z_k$$. एक आरंभिक सदिश $$v_1$$ कुछ आइजनअवयव के ख़त्म होने से संबंधित आइजनवैल्यू में अभिसरण में देरी होगी, और भले ही यह त्रुटि सीमा में एक स्थिर कारक के रूप में सामने आता है, कमी अवांछनीय बनी हुई है। लगातार इसकी चपेट में आने से बचने के लिए एक सामान्य तकनीक चुनना है $$v_1$$ पहले माध्य के साथ समान सामान्य वितरण के अनुसार तत्वों को यादृच्छिक रूप से खींचकर $$0$$ और फिर वेक्टर को मानक पर पुनः स्केल करें $$1$$. पुनर्स्केलिंग से पहले, यह गुणांक का कारण बनता है $$d_k$$ समान सामान्य वितरण से स्वतंत्र सामान्य रूप से वितरित स्टोकेस्टिक चर भी होना चाहिए (क्योंकि निर्देशांक का परिवर्तन एकात्मक है), और वेक्टर को पुन: स्केल करने के बाद $$(d_1,\dotsc,d_n)$$ इकाई क्षेत्र पर एक समान वितरण (निरंतर) होगा $$\mathbb{C}^n$$. इससे उदाहरण के लिए संभावना को $$|d_1| < \varepsilon$$ सीमित करना संभव हो जाता है.

तथ्य यह है कि लैंज़ोस एल्गोरिदम समन्वय-अज्ञेयवादी है - ऑपरेशन केवल वैक्टर के आंतरिक उत्पादों को देखते हैं, कभी भी वैक्टर के व्यक्तिगत तत्वों को नहीं देखते हैं - एल्गोरिदम को चलाने के लिए ज्ञात आइजनस्ट्रक्चर के साथ उदाहरण बनाना सरल बनाता है: बनाना $$A$$ विकर्ण पर वांछित आइजनवैल्यू ​​​​के साथ एक विकर्ण मैट्रिक्स; जब तक आरंभिक वेक्टर $$v_1$$ पर्याप्त गैर-शून्य तत्व हैं, एल्गोरिथ्म एक सामान्य त्रिविकर्ण सममित मैट्रिक्स $$T$$ को आउटपुट करेगा

कनिएल-पेगे अभिसरण सिद्धांत
माना $$m$$ लैंज़ोस एल्गोरिदम के पुनरावृत्ति चरण, $$T$$ एक $$m \times m$$ वास्तविक सममित मैट्रिक्स, जो उपरोक्त के समान है $$m$$ आइजनवैल्यू $$\theta_1 \geqslant \theta_2 \geqslant \dots \geqslant \theta_m.$$ अभिसरण से मुख्यतः अभिसरण का तात्पर्य है $$\theta_1$$ को $$\lambda_1$$ (और का सममित अभिसरण $$\theta_m$$ को $$\lambda_n$$) जैसा $$m$$ बढ़ता है, और दूसरा कुछ सीमा का अभिसरण $$\theta_1, \ldots, \theta_k$$ के आइजनवैल्यू ​​के $$T$$ उनके समकक्षों के लिए $$\lambda_1, \ldots, \lambda_k$$ का $$A$$. लैंज़ोस एल्गोरिदम के लिए अभिसरण अधिकांशतः पावर पुनरावृत्ति एल्गोरिदम की तुलना में तेज़ परिमाण का आदेश होता है।

के लिए सीमा $$\theta_1$$ रेले भागफल के चरम मूल्यों के रूप में आइजनवैल्यू ​​​​की उपरोक्त व्याख्या से आते हैं $$r(x)$$. तब से $$\lambda_1$$ एक प्राथमिकता अधिकतम है $$r$$ कुल मिलाकर $$\Complex^n,$$ जबकि $$\theta_1$$ पर अधिकतम मात्र है $$m$$-आयामी क्रायलोव उपस्थान, हम तुच्छ रूप से प्राप्त करते हैं $$ \lambda_1 \geqslant \theta_1$$. इसके विपरीत, कोई भी बिंदु $$x$$ उसमें क्रायलोव उपस्थान निचली सीमा प्रदान करता है $$r(x)$$ के लिए $$\theta_1$$, इसलिए यदि कोई बिंदु प्रदर्शित किया जा सकता है जिसके लिए $$\lambda_1 - r(x)$$ छोटा है तो यह एक टाइट बाउंड प्रदान करता है $$\theta_1$$.

आयाम $$m$$ क्रायलोव उपस्थान है


 * $$\operatorname{span} \left \{v_1, A v_1, A^2 v_1, \ldots, A^{m-1} v_1 \right \},$$ अतः इसके किसी भी तत्व को इस प्रकार व्यक्त किया जा सकता है $$p(A) v_1$$ कुछ बहुपद के लिए $$p$$ अधिकतम डिग्री का $$m-1$$; उस बहुपद के गुणांक केवल सदिशों के रैखिक संयोजन के गुणांक हैं $$v_1, A v_1, A^2 v_1, \ldots, A^{m-1} v_1 $$. हम जो बहुपद चाहते हैं उसके वास्तविक गुणांक होंगे, लेकिन शायद हमें जटिल गुणांकों की भी अनुमति देनी चाहिए, और हम लिखेंगे $$p^*$$ के सभी गुणांकों को सम्मिश्र संयुग्मन द्वारा प्राप्त बहुपद के लिए $$p$$. क्रायलोव उप-स्थान के इस पैरामीट्रिज़ेशन में, हमारे पास है


 * $$r(p(A)v_1) = \frac{(p(A) v_1)^* A p(A) v_1}{(p(A) v_1)^* p(A) v_1} = \frac{v_1^* p(A)^* A p(A) v_1}{v_1^* p(A)^* p(A) v_1} = \frac{v_1^* p^*(A^*) A p(A) v_1 }{v_1^* p^*(A^*) p(A) v_1} = \frac{ v_1^* p^*(A) A p(A) v_1 }{v_1^* p^*(A) p(A) v_1}$$

अब के लिए अभिव्यक्ति का उपयोग करना $$v_1$$ आइजनवेक्टर के एक रैखिक संयोजन के रूप में, हमें मिलता है


 * $$ A v_1 = A \sum_{k=1}^n d_k z_k = \sum_{k=1}^n d_k \lambda_k z_k$$ और अधिक सामान्यतः


 * $$q(A) v_1 = \sum_{k=1}^n d_k q(\lambda_k) z_k $$ किसी भी बहुपद के लिए $$q$$.

इस प्रकार


 * $$\lambda_1 - r(p(A)v_1) = \lambda_1 - \frac{v_1^* \sum_{k=1}^n d_k p^*(\lambda_k) \lambda_k p(\lambda_k) z_k}{v_1^* \sum_{k=1}^n d_k p^*(\lambda_k) p(\lambda_k) z_k} = \lambda_1 - \frac{\sum_{k=1}^n |d_k|^2 \lambda_k p(\lambda_k)^* p(\lambda_k)}{\sum_{k=1}^n |d_k|^2 p(\lambda_k)^* p(\lambda_k)} = \frac{\sum_{k=1}^n |d_k|^2 (\lambda_1-\lambda_k) \left| p(\lambda_k) \right|^2 }{\sum_{k=1}^n |d_k|^2 \left| p(\lambda_k) \right|^2 }.$$

यहां अंश और हर के बीच एक महत्वपूर्ण अंतर यह है कि $$k=1$$ अंश में पद लुप्त हो जाता है, लेकिन हर में नहीं। इस प्रकार यदि कोई चुन सकता है $$p$$ पर बड़ा होना $$\lambda_1$$ लेकिन अन्य सभी आइजनवैल्यू ​​​​पर छोटा होने पर, किसी को त्रुटि पर कड़ी पकड़ मिलेगी $$\lambda_1-\theta_1$$.

तब से $$A$$ की तुलना में कई अधिक स्वदेशी मान हैं $$p$$ गुणांक है, यह एक लंबा क्रम प्रतीत हो सकता है, लेकिन इसे पूरा करने का एक विधि चेबीशेव बहुपद का उपयोग करना है। लिखना $$c_k$$ डिग्री के लिए $$k$$ पहली तरह का चेबीशेव बहुपद (जो संतुष्ट करता है $$c_k(\cos x) = \cos(kx)$$ सभी के लिए $$x$$), हमारे पास एक बहुपद है जो सीमा में रहता है $$[-1,1]$$ ज्ञात अंतराल पर $$[-1,1]$$ लेकिन इसके बाहर तेजी से बढ़ता है। तर्क के कुछ स्केलिंग के साथ, हम इसे छोड़कर सभी आइजनवैल्यू ​​​​को मैप कर सकते हैं $$\lambda_1$$ में $$[-1,1]$$ माना


 * $$ p(x) = c_{m-1}\left( \frac{2x - \lambda_2 - \lambda_n}{\lambda_2 - \lambda_n} \right)$$ (यदि $$\lambda_2=\lambda_1$$, इसके अतिरिक्त सबसे बड़े आइजनवैल्यू का उपयोग करें जो कि इससे बिल्कुल कम है $$\lambda_1$$), फिर का अधिकतम मान $$| p(\lambda_k)|^2$$ के लिए $$k \geqslant 2$$ है $$1$$ और न्यूनतम मूल्य है $$0$$, इसलिए


 * $$\lambda_1 - \theta_1 \leqslant \lambda_1 - r(p(A) v_1) = \frac{\sum_{k=2}^n |d_k|^2 (\lambda_1-\lambda_k) |p(\lambda_k)|^2 }{ \sum_{k=1}^n |d_k|^2 |p(\lambda_k)|^2} \leqslant \frac{\sum_{k=2}^n |d_k|^2 (\lambda_1-\lambda_k)}{|d_1|^2 |p(\lambda_1)|^2 } \leqslant \frac{(\lambda_1-\lambda_n) \sum_{k=2}^n |d_k|^2 }{|p(\lambda_1)|^2 |d_1|^2 }.$$

आगे


 * $$ p(\lambda_1) = c_{m-1}\left( \frac{2\lambda_1 - \lambda_2 - \lambda_n}{\lambda_2 - \lambda_n} \right) = c_{m-1}\left( 2\frac{\lambda_1 - \lambda_2}{\lambda_2 - \lambda_n} + 1 \right);$$

मात्रा


 * $$ \rho = \frac{\lambda_1 - \lambda_2}{\lambda_2 - \lambda_n}$$ (अर्थात्, मैट्रिक्स के शेष स्पेक्ट्रम के व्यास के लिए पहले ईजेंगैप का अनुपात) इस प्रकार यहां अभिसरण दर के लिए महत्वपूर्ण महत्व है। लिख भी रहा हूँ


 * $$ R = e^{\operatorname{arcosh}(1+2\rho)} = 1 + 2\rho + 2\sqrt{\rho^2+\rho},$$

हम यह निष्कर्ष निकाल सकते हैं


 * $$\begin{align}

\lambda_1 - \theta_1 &\leqslant \frac{(\lambda_1-\lambda_n) \left(1 - |d_1|^2 \right )}{c_{m-1}(2\rho+1)^2 |d_1|^2} \\[6pt] &= \frac{1 - |d_1|^2}{|d_1|^2} (\lambda_1-\lambda_n) \frac{1}{\cosh^2 ((m-1) \operatorname{arcosh}(1+2\rho))} \\[6pt] &= \frac{1 - |d_1|^2}{|d_1|^2} (\lambda_1-\lambda_n) \frac{4}{\left (R^{m-1} + R^{-(m-1)} \right )^2} \\[6pt] &\leqslant 4 \frac{1 - |d_1|^2}{|d_1|^2} (\lambda_1-\lambda_n) R^{-2(m-1)} \end{align}$$ इस प्रकार अभिसरण दर को मुख्य रूप से नियंत्रित किया जाता है $$R$$, चूँकि यह सीमा एक कारक द्वारा सिकुड़ती है $$R^{-2}$$ प्रत्येक अतिरिक्त पुनरावृत्ति के लिए.

तुलना के लिए, कोई इस बात पर विचार कर सकता है कि विद्युत विधि की अभिसरण दर किस प्रकार निर्भर करती है $$\rho$$, लेकिन चूँकि शक्ति विधि मुख्य रूप से आइजनवैल्यू ​​​​के निरपेक्ष मूल्यों के बीच भागफल के प्रति संवेदनशील है, हमें इसकी आवश्यकता है $$|\lambda_n| \leqslant |\lambda_2|$$ बीच के ईगेंगैप के लिए $$\lambda_1$$ और $$\lambda_2$$ प्रमुख होना. उस बाधा के अंतर्गत, वह स्थितियों जो शक्ति पद्धति को सबसे अधिक पसंद करता है $$\lambda_n = -\lambda_2$$, तो उस पर विचार करें। शक्ति विधि में देर से, पुनरावृत्ति वेक्टर:


 * $$ u = (1-t^2)^{1/2} z_1 + t z_2 \approx z_1 + t z_2,$$

जहां प्रत्येक नया पुनरावृत्ति प्रभावी ढंग से गुणा करता है $$z_2$$-आयाम $$t$$ द्वारा


 * $$\frac{\lambda_2}{\lambda_1} = \frac{\lambda_2}{\lambda_2 + (\lambda_1-\lambda_2)} = \frac{1}{1 + \frac{\lambda_1-\lambda_2}{\lambda_2}} = \frac{1}{1 + 2\rho}.$$

तब सबसे बड़े आइजनवैल्यू का अनुमान है


 * $$ u^*Au = (1-t^2)\lambda_1 + t^2\lambda_2,$$

इसलिए लैंज़ोस एल्गोरिदम अभिसरण दर के लिए उपरोक्त सीमा की तुलना की जानी चाहिए


 * $$\lambda_1 - u^*Au = (\lambda_1-\lambda_2) t^2,$$

जो एक कारक से सिकुड़ता है $$(1+2\rho)^{-2}$$ प्रत्येक पुनरावृत्ति के लिए. इस प्रकार यह अंतर बीच में ही सिमट कर रह जाता है $$ 1+2\rho $$ और $$R = 1 + 2\rho + 2\sqrt{\rho^2+\rho}$$. में $$\rho \gg 1$$ क्षेत्र, बाद वाला अधिक पसंद है $$ 1+4\rho $$, और दोगुने बड़े ईजेंगैप के साथ पावर विधि की तरह प्रदर्शन करता है; एक उल्लेखनीय सुधार. चुकीं, अधिक चुनौतीपूर्ण मामला यह है $$ \rho \ll 1,$$ जिसमें $$R \approx 1 + 2\sqrt{\rho} $$ ईजेंगैप पर और भी बड़ा सुधार है; $$ \rho \gg 1 $$ वह क्षेत्र है जहां लैंज़ोस एल्गोरिदम अभिसरण-वार पावर विधि पर सबसे छोटा सुधार करता है।

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

लैंज़ोस एल्गोरिदम के लिए, यह साबित किया जा सकता है कि सटीक अंकगणित के साथ, वैक्टर का सेट $$v_1, v_2, \cdots, v_{m+1}$$ एक ऑर्थोनॉर्मल आधार का निर्माण करता है, और हल किए गए आइजनवैल्यू/वेक्टर मूल मैट्रिक्स के अच्छे अनुमान हैं। चुकीं, व्यवहार में (चूंकि गणना फ्लोटिंग पॉइंट अंकगणित में की जाती है जहां अशुद्धि अपरिहार्य है), ऑर्थोगोनैलिटी जल्दी से खो जाती है और कुछ मामलों में नया वेक्टर पहले से निर्मित सेट पर रैखिक रूप से निर्भर भी हो सकता है। परिणामस्वरूप, परिणामी त्रिविकर्ण मैट्रिक्स के कुछ आइजनवैल्यू ​​मूल मैट्रिक्स के सन्निकटन नहीं हो सकते हैं। इसलिए, लैंज़ोस एल्गोरिदम बहुत स्थिर नहीं है।

इस एल्गोरिदम के उपयोगकर्ताओं को उन नकली आइजनवैल्यू ​​​​को खोजने और हटाने में सक्षम होना चाहिए। लैंज़ोस एल्गोरिदम का व्यावहारिक कार्यान्वयन इस स्थिरता के मुद्दे से लड़ने के लिए तीन दिशाओं में जाता है:


 * 1) रूढ़िवादिता के हानि को रोकें,
 * 2) आधार तैयार होने के बाद रूढ़िवादिता को पुनः प्राप्त करें।
 * 3) अच्छे और नकली सभी स्वदेशी मूल्यों की पहचान हो जाने के बाद, नकली लोगों को हटा दें।

भिन्नताएँ
लैंज़ोस एल्गोरिदम पर भिन्नताएं उपस्थित हैं जहां सम्मिलित वेक्टर वेक्टर के बजाय लंबे, संकीर्ण मैट्रिक्स हैं और सामान्यीकरण स्थिरांक छोटे वर्ग मैट्रिक्स हैं। इन्हें ब्लॉक लैंज़ोस एल्गोरिदम कहा जाता है और बड़ी संख्या में रजिस्टरों और लंबी मेमोरी-फ़ेच समय वाले कंप्यूटरों पर यह बहुत तेज़ हो सकता है।

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

एक परिमित क्षेत्र पर शून्यस्थान
1995 में, पीटर मोंटगोमरी (गणितज्ञ) ने GF(2) पर एक बड़े विरल मैट्रिक्स के कर्नेल (मैट्रिक्स) के तत्वों को खोजने के लिए लैंज़ोस एल्गोरिदम पर आधारित एक एल्गोरिदम प्रकाशित किया; चूँकि परिमित क्षेत्रों में बड़े विरल मैट्रिक्स में रुचि रखने वाले लोगों का समूह और बड़ी स्वदेशी समस्याओं में रुचि रखने वाले लोगों का समूह शायद ही ओवरलैप होता है, इसे अधिकांशतः अनुचित भ्रम पैदा किए बिना ब्लॉक लैंज़ो एल्गोरिदम भी कहा जाता है।

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

लैंज़ोस एल्गोरिदम का उपयोग संघनित पदार्थ भौतिकी में दृढ़ता से सहसंबद्ध सामग्री के हैमिल्टनियन मैट्रिक्स को हल करने की एक विधि के रूप में भी किया जाता है, साथ ही परमाणु भौतिकी में परमाणु शेल मॉडल कोड में भी।

कार्यान्वयन
एनएजी न्यूमेरिकल लाइब्रेरी में कई रूटीन सम्मिलित हैं बड़े पैमाने पर रैखिक प्रणालियों और ईजेनसमस्याओं के समाधान के लिए जो लैंज़ोस एल्गोरिदम का उपयोग करते हैं।

MATLAB और GNU ऑक्टेव ARPACK बिल्ट-इन के साथ आते हैं। संग्रहीत और अंतर्निहित दोनों मैट्रिक्स का विश्लेषण eigs फलन (Matlab/Octave) के माध्यम से किया जा सकता है।

इसी तरह, Python_(प्रोग्रामिंग_भाषा) में, SciPy पैकेज में scipy.sparse.linalg.eigsh है, जो ARPACK के SSEUPD और DSEUPD फ़ंक्शंस फ़ंक्शंस के लिए एक रैपर भी है जो इम्प्लिसिटली रीस्टार्टेड लैंक्ज़ोस विधि का उपयोग करता है।

लैंज़ोस एल्गोरिथ्म का एक मैटलैब कार्यान्वयन (सटीक मुद्दों पर ध्यान दें) गॉसियन बिलीफ प्रोपेगेशन मैटलैब पैकेज के एक भाग के रूप में उपलब्ध है। ग्राफलैब सहयोगी फ़िल्टरिंग लाइब्रेरी में मल्टीकोर के लिए लैंज़ोस एल्गोरिदम (c ++ में) के बड़े पैमाने पर समानांतर कार्यान्वयन सम्मिलित है।

PRIMME लाइब्रेरी लैंज़ोस जैसा एल्गोरिदम भी प्रयुक्त करती है।