This work is concerned with variational analysis of so-called spectral functions and spectral sets of matrices that only depend on eigenvalues of the matrix. Based on our previous work [H. T. Bùi, M. N. Bùi, and C. Clason, Convex analysis in spectral decomposition systems, arXiv 2503.14981] on convex analysis of such functions, we consider the question in the abstract framework of spectral decomposition systems, which covers a wide range of previously studied settings, including eigenvalue decomposition of Hermitian matrices and singular value decomposition of rectangular matrices, and allows deriving new results in more general settings such as normal decomposition systems and signed singular value decompositions. The main results characterize Fréchet and limiting normal cones to spectral sets as well as Fréchet, limiting, and Clarke subdifferentials of spectral functions in terms of the reduced functions. For the latter, we also characterize Fréchet differentiability. Finally, we obtain a generalization of Lidski\uı's theorem on the spectrum of additive perturbations of Hermitian matrices to arbitrary spectral decomposition systems.
- पेपर ID: 2510.11433
- शीर्षक: वर्णक्रमीय विघटन प्रणालियों में भिन्नात्मक विश्लेषण
- लेखक: Hòa T. Bùi (कर्टिन विश्वविद्यालय), Minh N. Bùi (ग्राज़ विश्वविद्यालय), Christian Clason (ग्राज़ विश्वविद्यालय)
- वर्गीकरण: math.OC (अनुकूलन और नियंत्रण)
- प्रकाशन समय: 13 अक्टूबर 2025 (arXiv प्रीप्रिंट)
- पेपर लिंक: https://arxiv.org/abs/2510.11433
यह पेपर केवल मैट्रिक्स के eigenvalues पर निर्भर करने वाले वर्णक्रमीय फलनों और वर्णक्रमीय समुच्चयों के भिन्नात्मक विश्लेषण का अध्ययन करता है। लेखकों के पूर्व कार्य पर आधारित जो इस प्रकार के फलनों के उत्तल विश्लेषण के बारे में है, यह पेपर वर्णक्रमीय विघटन प्रणालियों के अमूर्त ढांचे के भीतर समस्या पर विचार करता है। यह ढांचा व्यापक रूप से अध्ययन किए गए सेटअप को कवर करता है, जिसमें Hermitian मैट्रिक्स का eigenvalue विघटन और आयताकार मैट्रिक्स का singular value विघटन शामिल है, और अधिक सामान्य सेटअप (जैसे सामान्य विघटन प्रणालियां और हस्ताक्षरित singular value विघटन) में नए परिणाम प्राप्त करने की अनुमति देता है। मुख्य परिणाम अनुबंधित फलनों के माध्यम से वर्णक्रमीय समुच्चयों के Fréchet और सीमा सामान्य शंकु, तथा वर्णक्रमीय फलनों के Fréchet, सीमा और Clarke उप-अवकलज को चिह्नित करते हैं। बाद वाले के लिए, लेखक Fréchet अवकलनीयता को भी चिह्नित करते हैं। अंत में, Hermitian मैट्रिक्स के योगात्मक विक्षोभ के वर्णक्रम पर Lidskiĭ प्रमेय के सामान्यीकरण को मनमाने वर्णक्रमीय विघटन प्रणालियों तक प्राप्त किया गया है।
- व्यावहारिक आवश्यकता: कई व्यावहारिक रूप से प्रासंगिक अनुकूलन समस्याएं स्वाभाविक रूप से सदिश के बजाय मैट्रिक्स रूप में प्रस्तुत होती हैं, जैसे गैर-नकारात्मक मैट्रिक्स गुणनखंडन, मैट्रिक्स पूर्णता, निम्न-रैंक सन्निकटन, संचालक सीखना आदि।
- आधार परिवर्तन अपरिवर्तनीयता: संचालक सीखना जैसे अनुप्रयोगों में, परिमित-आयामी रैखिक संचालकों को अनुकूलित करने की चिंता है न कि उनके विशिष्ट मैट्रिक्स प्रतिनिधित्व की, जिसके लिए उद्देश्य फलन को आधार परिवर्तन के तहत अपरिवर्तनीय रहना चाहिए।
- वर्णक्रमीय फलनों की सार्वभौमिकता: उपयुक्त मान्यताओं के तहत, ऐसे अपरिवर्तनीय फलन पूरी तरह से eigenvalues (या singular values) पर उनकी निर्भरता द्वारा चिह्नित होते हैं, जैसे मैट्रिक्स का nuclear norm।
वर्णक्रमीय फलन कई अनुप्रयोगों में सर्वव्यापी हैं:
- मजबूत मैट्रिक्स अनुमान
- संकेत प्रसंस्करण
- शंकु प्रोग्रामिंग
- अर्ध-निश्चित प्रोग्रामिंग
- अरैखिक लोच
- मस्तिष्क नेटवर्क विश्लेषण
हालांकि इनमें से कई समस्याओं को उत्तल समस्याओं के रूप में तैयार किया जा सकता है, लेकिन यह हमेशा मामला नहीं है। उदाहरण के लिए:
- Schatten p-norm (0 < p < 1) द्वारा न्यूनीकरण के माध्यम से निम्न-रैंक मैट्रिक्स पूर्णता
- अर्ध-निश्चित शंकु पूरकता बाधाओं के साथ गणितीय प्रोग्रामिंग (SDCMPCC)
मौजूदा कार्य की मुख्य चुनौती यह है कि अपरिवर्तनीय फलन केवल eigenvalues के समुच्चय पर निर्भर करते हैं न कि उनके क्रमबद्धता पर, और विभिन्न कार्य विशिष्ट सेटअप को अलग-अलग संभालते हैं।
यह पेपर Fréchet, सीमा और Clarke उप-अवकलज तथा Fréchet अवकलनीयता के परिणामों को एक सामान्य ढांचे में एकीकृत करना चाहता है, जो सभी इन सेटअप को कवर करता है, और अधिक महत्वपूर्ण रूप से, अभी तक कवर न किए गए सेटअप और वस्तुओं के लिए परिणाम प्राप्त करना आसान बनाता है।
- एकीकृत सैद्धांतिक ढांचा: वर्णक्रमीय विघटन प्रणालियों का एक अमूर्त ढांचा स्थापित किया, जो पहले अलग-अलग अध्ययन किए गए विभिन्न सेटअप (Hermitian मैट्रिक्स, आयताकार मैट्रिक्स, Euclidean Jordan बीजगणित आदि) को एकीकृत करता है।
- भिन्नात्मक ज्यामितीय刻画: वर्णक्रमीय समुच्चयों के Fréchet और सीमा सामान्य शंकु का पूर्ण अभिलक्षण:
N#(X;γ−1(D))={Λay∣y∈NF(γ(X);D) और a∈AX}
- उप-अवकलज सूत्र: वर्णक्रमीय फलनों के Fréchet और सीमा उप-अवकलज का पूर्ण अभिलक्षण स्थापित किया:
∂#(φ∘γ)(X)={Λay∣y∈∂#φ(γ(X)) और a∈AX}
- अवकलनीयता अभिलक्षण: वर्णक्रमीय फलनों की Fréchet अवकलनीयता और इसके अवकलज का पूर्ण अभिलक्षण।
- Clarke उप-अवकलज: वर्णक्रमीय फलनों के Clarke उप-अवकलज का प्रतिनिधित्व दिया।
- सामान्यीकृत Lidskiĭ प्रमेय: शास्त्रीय Lidskiĭ प्रमेय को मनमाने वर्णक्रमीय विघटन प्रणालियों तक सामान्यीकृत किया।
परिभाषा 2.1 (वर्णक्रमीय विघटन प्रणाली): Euclidean स्पेस ℌ की वर्णक्रमीय विघटन प्रणाली एक चतुर्भुज 𝔖 = (𝒳, S, γ, (Λₐ)ₐ∈A) है, जहां:
- 𝒳 एक Euclidean स्पेस है
- S एक समूह है जो ℌ पर रैखिक समदूरस्थ क्रिया के माध्यम से कार्य करता है
- γ: ℌ → 𝒳 वर्णक्रमीय मानचित्र है
- (Λₐ)ₐ∈A 𝒳 से ℌ तक रैखिक समदूरस्थ का एक परिवार है
तीन संगतता शर्तों को संतुष्ट करता है:
- A एक S-अपरिवर्तनीय मानचित्र τ: 𝒳 → 𝒳 मौजूद है जैसे कि τ(x) ∈ S·x और γ ∘ Λₐ = τ
- B प्रत्येक X ∈ ℌ के लिए, एक a ∈ A मौजूद है जैसे कि X = Λₐγ(X)
- C सामान्यीकृत von Neumann ट्रेस असमानता: ⟨X|Y⟩ ≤ ⟨γ(X)|γ(Y)⟩
परिभाषा 2.3:
- वर्णक्रमीय फलन: Φ: ℌ → -∞,+∞ एक वर्णक्रमीय फलन है यदि और केवल यदि γ(X) = γ(Y) ⇒ Φ(X) = Φ(Y)
- वर्णक्रमीय समुच्चय: D ⊂ ℌ एक वर्णक्रमीय समुच्चय है यदि और केवल यदि इसका सूचक फलन एक वर्णक्रमीय फलन है
मुख्य अभिलक्षण (प्रस्ताव 2.4): एक फलन Φ वर्णक्रमीय है यदि और केवल यदि एक S-अपरिवर्तनीय फलन φ मौजूद है जैसे कि Φ = φ ∘ γ।
- ज्यामितीय विधि: ऊपरी ग्राफ के लिए मानक तकनीकों के माध्यम से सामान्य शंकु से, वर्णक्रमीय समुच्चयों के सामान्य शंकु परिणामों को वर्णक्रमीय फलनों के उप-अवकलज में स्थानांतरित किया।
- उत्पाद स्पेस तकनीक: ऊपरी ग्राफ को संभालने के लिए उत्पाद स्पेस वर्णक्रमीय विघटन प्रणाली (उदाहरण 2.14) का उपयोग किया।
- संहतता तर्क: मान्यता 2.2 में {Λₐ}ₐ∈A की बंदता का उपयोग करके, प्रस्ताव 2.18 के माध्यम से संहतता स्थापित की।
यह पेपर मुख्य रूप से एक सैद्धांतिक कार्य है, जो ढांचे की सार्वभौमिकता को सत्यापित करने के लिए कई ठोस उदाहरणों के माध्यम से:
- Hermitian मैट्रिक्स eigenvalue विघटन (उदाहरण 2.11)
- आयताकार मैट्रिक्स singular value विघटन (उदाहरण 2.12)
- Euclidean Jordan बीजगणित (उदाहरण 2.10)
- सामान्य विघटन प्रणालियां (उदाहरण 2.8)
- हस्ताक्षरित singular value विघटन (उदाहरण 2.13)
- प्रत्येक ठोस उदाहरण को वर्णक्रमीय विघटन प्रणाली की परिभाषा को संतुष्ट करने के लिए सिद्ध किया
- बंदता मान्यता (मान्यता 2.2) को सभी उदाहरणों में सत्यापित किया
- दिखाया कि कैसे सामान्य सिद्धांत से विशिष्ट ज्ञात परिणाम प्राप्त किए जाएं
प्रमेय 4.1 (उप-अवकलज अभिलक्षण): मान लीजिए φ: 𝒳 → -∞,+∞ S-अपरिवर्तनीय है, तब:
- Fréchet उप-अवकलज: ∂F(φ ∘ γ)(X) = {Λₐy | y ∈ ∂Fφ(γ(X)) और a ∈ A_X}
- सीमा उप-अवकलज: ∂L(φ ∘ γ)(X) = {Λₐy | y ∈ ∂Lφ(γ(X)) और a ∈ A_X}
अनुपात 4.8 (अवकलनीयता अभिलक्षण): φ ∘ γ Λₐx पर Fréchet अवकलनीय है यदि और केवल यदि φ x पर Fréchet अवकलनीय है, इस स्थिति में:
∇(φ∘γ)(Λax)=Λa(∇φ(x))
प्रस्ताव 4.11 (Clarke उप-अवकलज):
∂C(φ∘γ)(X)=conv{Λay∣y∈∂Cφ(γ(X)) और a∈AX}
प्रमेय 5.1 (सामान्यीकृत Lidskiĭ प्रमेय): यदि S एक परिमित समूह है, तब:
γ(X+Y)−γ(X)∈conv(S⋅γ(Y))
यह पेपर कई ज्ञात परिणामों को एकीकृत करता है:
- Lewis 31 द्वारा Hermitian मैट्रिक्स के बारे में परिणाम
- Lewis-Sendov 34,35 द्वारा singular values के बारे में परिणाम
- Lourenço-Takeda 37 द्वारा Euclidean Jordan बीजगणित के बारे में परिणाम
- शास्त्रीय Lidskiĭ प्रमेय और इसके विभिन्न सामान्यीकरण
- सामान्य विघटन प्रणालियों में भिन्नात्मक विश्लेषण (33 में खुली समस्या को हल करता है)
- हस्ताक्षरित singular value विघटन की गैर-उत्तल स्थिति
- सममित फलनों के eigenvalues: Lewis 28,31 द्वारा Fréchet अवकलनीयता और Clarke उप-अवकलज का विश्लेषण
- Singular values के हस्ताक्षरित सममित फलन: Lewis-Sendov 34,35 श्रृंखला कार्य
- Euclidean Jordan बीजगणित: 52,1,37,51 आदि कार्य
- Lie सिद्धांत ढांचा: Berezin-Gel'fand 5, Tam 53 आदि
- एकीकृतता: पहली बार सभी इन सेटअप को एक एकल ढांचे में एकीकृत करता है
- सार्वभौमिकता: पहले कवर न किए गए सेटअप को संभाल सकता है
- सरलीकरण: ज्यामितीय विधि के माध्यम से मैट्रिक्स-निर्भर प्रमाण तकनीकों को दरकिनार करता है
- पूर्णता: Fréchet, सीमा और Clarke उप-अवकलज को एक साथ संभालता है
- सैद्धांतिक एकीकरण: वर्णक्रमीय विघटन प्रणालियों का एक अमूर्त ढांचा सफलतापूर्वक स्थापित किया, जो भिन्नात्मक विश्लेषण के विभिन्न सेटअप को एकीकृत करता है।
- पूर्ण अभिलक्षण: वर्णक्रमीय फलनों और वर्णक्रमीय समुच्चयों के विभिन्न भिन्नात्मक विश्लेषण वस्तुओं का पूर्ण अभिलक्षण दिया।
- विधि नवाचार: ज्यामितीय विधि और उत्पाद स्पेस तकनीकों के माध्यम से, मौजूदा कार्य की तुलना में अधिक सुंदर प्रमाण प्रदान किए।
- परिमितता मान्यता: Lidskiĭ प्रमेय का सामान्यीकरण यह मांग करता है कि समूह S परिमित हो।
- बंदता शर्त: अतिरिक्त बंदता मान्यता (मान्यता 2.2) की आवश्यकता है।
- Clarke उप-अवकलज: यह अनिश्चित है कि क्या उत्तल आवरण संचालन को छोड़ा जा सकता है।
- अनुप्रयोग: उप-अवकलज प्रतिनिधित्व को ठोस मैट्रिक्स अनुकूलन समस्याओं के आवश्यक इष्टतमता शर्तों के लिए उपयोग करना।
- मीट्रिक नियमितता: समाधान मानचित्रों की Lipschitz संपत्ति को चिह्नित करना।
- द्वितीय-क्रम विश्लेषण: वर्णक्रमीय फलनों के द्वितीय-क्रम भिन्नात्मक विश्लेषण परिणामों को सामान्यीकृत करना।
- सैद्धांतिक गहराई: एक गहरा अमूर्त ढांचा स्थापित किया, जिसमें बहुत मजबूत सैद्धांतिक मूल्य है।
- मजबूत एकीकृतता: कई प्रतीत होने वाले असंबंधित अनुसंधान क्षेत्रों को सफलतापूर्वक एकीकृत किया।
- तकनीकी नवाचार: ज्यामितीय विधि का उपयोग जटिल तकनीकी प्रमाणों को सरल करता है।
- परिणाम पूर्णता: विभिन्न उप-अवकलज अवधारणाओं को व्यवस्थित रूप से संभाला।
- लेखन स्पष्टता: पेपर अच्छी तरह से संगठित है, परिभाषाएं और प्रमेय स्पष्ट रूप से व्यक्त किए गए हैं।
- उच्च अमूर्तता: सैद्धांतिक ढांचा काफी अमूर्त है, समझना और लागू करना मुश्किल हो सकता है।
- गणनात्मक जटिलता: व्यावहारिक रूप से उप-अवकलज की गणना अभी भी कठिन हो सकती है।
- कम अनुप्रयोग उदाहरण: ठोस संख्यात्मक उदाहरण और अनुप्रयोग की कमी है।
- शैक्षणिक मूल्य: भिन्नात्मक विश्लेषण और मैट्रिक्स अनुकूलन के लिए महत्वपूर्ण सैद्धांतिक उपकरण प्रदान करता है।
- एकीकरण भूमिका: बिखरे हुए अनुसंधान परिणामों को एक ढांचे में एकीकृत करता है।
- प्रेरणादायक: अन्य क्षेत्रों में समान एकीकरण कार्य को प्रेरित कर सकता है।
- मैट्रिक्स अनुकूलन: अर्ध-निश्चित प्रोग्रामिंग, मैट्रिक्स पूर्णता आदि समस्याओं का सैद्धांतिक विश्लेषण।
- गैर-चिकना अनुकूलन: वर्णक्रमीय फलनों से संबंधित गैर-उत्तल अनुकूलन समस्याएं।
- भिन्नात्मक विश्लेषण: जटिल फलनों के उप-अवकलज की गणना की आवश्यकता वाले सैद्धांतिक अनुसंधान।
पेपर 55 संबंधित संदर्भों का हवाला देता है, मुख्य रूप से:
- भिन्नात्मक विश्लेषण शास्त्रीय पाठ्यपुस्तकें: Rockafellar & Wets 48, Mordukhovich 42
- वर्णक्रमीय फलन विश्लेषण: Lewis श्रृंखला कार्य 28,31,34,35
- Euclidean Jordan बीजगणित: Faraut & Korányi 19, संबंधित अनुप्रयोग कार्य
- मैट्रिक्स विश्लेषण: Horn & Johnson 22, Bhatia 6
यह पेपर भिन्नात्मक विश्लेषण क्षेत्र में एक महत्वपूर्ण सैद्धांतिक योगदान है, जो अमूर्त वर्णक्रमीय विघटन प्रणाली ढांचे के माध्यम से कई अनुसंधान दिशाओं को सफलतापूर्वक एकीकृत करता है, और इस क्षेत्र के आगे विकास के लिए एक मजबूत सैद्धांतिक आधार स्थापित करता है।