ऑर्थोगोनल प्रोक्रस्टेस समस्या

लाम्बिक प्रोक्रस्टेस समस्या रैखिक बीजगणित में आव्यूह सन्निकटन समस्या है। इसके चिरप्रतिष्ठित रूप में, एक को दो आव्यूह $$A$$ और $$B$$ दिए जाते हैं और एक लांबिक आव्यूह खोजने के लिए कहा जाता है, Ω जो $$A$$ से $$B$$ तक सबसे सटीक से मानचित्र करता है। विशेष रूप से,


 * $$R = \arg\min_\Omega\|\Omega A-B\|_F \quad\mathrm{subject\ to}\quad \Omega^T

\Omega=I,$$ जहां $$\|\cdot\|_F$$ फ्रोबेनियस मानदंड (नॉर्म) को दर्शाता है। यह वहाबा की समस्या की एक विशेष स्थिति है (सर्वसम भार के साथ; दो आव्यूहों पर विचार करने के बजाय, वहाबा की समस्या में आव्यूहों के स्तंभों को अलग-अलग सदिश माना जाता है)। एक और अंतर यह है कि वाहबा की समस्या केवल एक लांबिक के बजाय एक उचित घूर्णन आव्यूह खोजने का प्रयास करती है।

प्रोक्रस्टेस नाम ग्रीक पौराणिक कथाओं के एक डाकू को संदर्भित करता है जो अपने पीड़ितों को या तो उनके अंगों को खींचकर या उन्हें काटकर अपने बिस्तर पर फिट कर देता था।

समाधान
इस समस्या को मूल रूप से 1964 के थीसिस (शोध प्रवंध) में पीटर शॉनमैन द्वारा हल किया गया था, और कुछ ही समय बाद साइकोमेट्रिका पत्रिका में दिखाई दिया था।

यह समस्या किसी दिए गए आव्यूह $$M=BA^{T}$$ के निकटतम लांबिक आव्यूह को खोजने के समतुल्य है, यानी निकटतम लांबिक सन्निकटन समस्या $$\min_R\|R-M\|_F \quad\mathrm{subject\ to}\quad R^T R=I$$ को हल करने के समतुल्य है।

आव्यूह $$R$$ को खोजने के लिए, $$R=UV^T\,\!$$ लिखने के लिए अव्युत्क्रमणीय मान वियोजन (जिसके लिए $$\Sigma$$ की प्रविष्टियाँ ऋणेतर संख्या हैं) $$M=U\Sigma V^T\,\!$$ का उपयोग किया जाता है |

प्रमाण
एक प्रमाण फ्रोबेनियस आंतरिक गुणन के मूल गुणों पर निर्भर करता है जो फ्रोबेनियस मानदंड को प्रेरित करता है:

\begin{align} R &= \arg\min_\Omega ||\Omega A-B\|_F^2 \\ &= \arg\min_\Omega \langle \Omega A-B, \Omega A-B \rangle_F  \\ &= \arg\min_\Omega \|\Omega A\|_F^2 + \|B\|_F^2 - 2 \langle \Omega A, B \rangle_F \\ &= \arg\min_\Omega \|A\|_F^2 + \|B\|_F^2 - 2 \langle \Omega A, B \rangle_F  \\ &= \arg\max_\Omega \langle \Omega, B A^T \rangle_F  \\ &= \arg\max_\Omega \langle \Omega, U\Sigma V^T \rangle_F  \\ &= \arg\max_\Omega \langle U^T \Omega V, \Sigma \rangle_F  \\ &= \arg\max_\Omega \langle S, \Sigma \rangle_F  \quad \text{where } S = U^T \Omega V \\ \end{align} $$
 * यह राशि $$S$$ एक लांबिक आव्यूह है (क्योंकि यह लांबिक आव्यूह का एक गुणनफल है) और इस प्रकार व्यंजक अधिकतम हो जाते है जब $$S$$ तत्समक आव्यूह $$I$$ के बराबर होता है | इस प्रकार

\begin{align} I &= U^T R V \\ R &= U V^T \\ \end{align} $$ जहां $$ R $$, $$ \Omega $$ के इष्टतम मान का समाधान है जो मानक वर्ग $$||\Omega A-B\|_F^2 $$ को न्यूनतम करता है |

व्यापकीकृत/व्यवरूद्ध प्रोक्रस्टेस समस्याएँ
चिरप्रतिष्ठित लांबिक प्रोक्रस्ट्स समस्या से संबंधित कई समस्याएं हैं। कोई इसे निकटतम आव्यूह की खोज करके व्यापकीकृत कर सकता है जिसमें स्तंभ लांबिक हैं, लेकिन आवश्यक नहीं कि प्रसामान्य लांबिक (ऑर्थोनॉर्मल) हों।

वैकल्पिक रूप से, कोई इसे केवल घूर्णन आव्यूहों (यानी निर्धारक 1 के साथ लांबिक आव्यूह, जिसे विशेष लांबिक आव्यूह के रूप में भी जाना जाता है) की अनुमति देकर प्रतिबंधित कर सकता है। इस स्थिति में, कोई लिख सकता है (उपर्युक्त वियोजन $$M=U\Sigma V^T$$ का उपयोग करके)


 * $$R=U\Sigma'V^T,\,\!$$

जहां $$\Sigma'\,\!$$ एक आपरिवर्तित $$\Sigma\,\!$$ है, जिसमें सबसे छोटे अव्युत्क्रमणीय मान को $$\det(UV^T)$$ (+1 या -1) द्वारा प्रतिस्थापित किया गया है, ताकि R के निर्धारक के धनात्मक होने की गारंटी हो। अधिक जानकारी के लिए, काब्श कलनविधि देखें।

यह भी देखें

 * प्रोक्रस्टेस विश्लेषण
 * प्रोक्रस्टेस रूपांतरण
 * वहबा की समस्या
 * काब्श कलनविधि
 * बिन्दु समुच्चय पंजीयन