⚡ electrical engineering

The Variational Approach in Filtering and Correlated Noise

यह शोध पत्र प्रदर्शित करता है कि जब सिग्नल और ऑब्जर्वेशन नॉइज़ (शोर) मापों की पारस्परिक विलक्षणता (mutual singularity of measures) के कारण सह-संबंधित होते हैं, तो नॉनलीनर फ़िल्टरिंग का मानक वेरिएशनल सूत्रीकरण विफल हो जाता है, और एक सामान्यीकृत सशर्त वेरिएशनल सिद्धांत प्रस्तावित करता है जो स्वतंत्र नॉइज़ के लिए मूल सूत्रीकरण को पुनः प्राप्त करने हेतु नॉइज़ सह-संबंधों को संरक्षित करता है तथा रैखिक सह-संबंधित-नॉइज़ मामले के लिए एक नया फ्री एनर्जी अभिलक्षण प्रदान करता है।

मूल लेखक: Sharan Srinivasan, Vijay Gupta, Harsha Honnappa

प्रकाशित 2026-04-06

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Sharan Srinivasan, Vijay Gupta, Harsha Honnappa

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

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

गणित और इंजीनियरिंग की दुनिया में, इसे फिल्टरिंग (Filtering) कहा जाता है। दशकों से, गणितज्ञों के पास इस समस्या को हल करने के लिए एक शानदार, उत्कृष्ट विधि थी जब हाइकर की गतिविधियाँ और रेडियो का शोर एक-दूसरे से पूरी तरह से असंबंधित होते थे। मितर और न्यूटन द्वारा बनाई गई यह विधि एक सटीक मानचित्र की तरह थी: यह कहती थी, "हाइकर द्वारा लिया गया सबसे संभावित रास्ता वह है जो एक विशिष्ट 'लागत' (एक मिश्रण कि रास्ता कितना आश्चर्यजनक है और वह रेडियो डेटा में कितनी अच्छी तरह फिट बैठता है) को कम करता है।"

समस्या: "साझा शोर" का जाल (The "Shared Noise" Trap)
हालाँकि, वास्तविक जीवन अव्यवстьपूर्ण होता है। अक्सर, हाइकर और रेडियो दोनों एक ही समस्या साझा करते हैं। शायद जंगल में कोई तूफान चल रहा है, जिससे हाइकर लड़खड़ा रहा है और साथ ही रेडियो भी खराब हो रहा है। गणितीय शब्दों में, सिग्नल और ऑब्जर्वेशन एक "साझा शोर स्रोत" (common noise source) साझा करते हैं।

इस शोध पत्र के लेखकों—शरण श्रीनिवासन, विजय गुप्ता और हर्षा होनप्पा—ने एक चौंकाने वाला सच खोजा: जब साझा शोर होता है, तो पुरानी विधि पूरी तरह से विफल हो जाती है।

यहाँ एक सरल उपमा के माध्यम से बताया गया है कि ऐसा क्यों होता है:

पुरानी विधि (स्वतंत्र शोर): कल्पना कीजिए कि हाइकर बेतरतीब ढंग से चलता है और रेडियो का शोर भी बेतरतीब है। आप उन्हें दो अलग-अलग कहानियों के रूप में देख सकते हैं। आप कह सकते हैं, "रेडियो के शोर को देखते हुए, हाइकर के यहाँ होने की क्या संभावना है?" इसे आसानी से किया जा सकता है।
नई वास्तविकता (साझा शोर): अब, कल्पना कीजिए कि तूफान (साझा शोर) हाइकर को धक्का देता है और साथ ही रेडियो को बाधित भी करता है। हाइकर का रास्ता और रेडियो सिग्नल अब एक-दूसरे से मजबूती से बंधे हुए हैं। यदि आप उन्हें दो स्वतंत्र कहानियों में अलग करने की कोशिश करते हैं (जैसा कि पुरानी विधि के लिए आवश्यक है), तो गणित विफल हो जाता है। यह एक नृत्य का वर्णन करने जैसा है जहाँ आप नर्तक और संगीत को अलग-अलग देख रहे हैं, जबकि वे वास्तव में एक ही ताल में, अविभाज्य रूप से जुड़े हुए हैं। "लागत" (cost) की गणना अनंत या अपरिभाषित हो जाती है क्योंकि दोनों रास्ते इतने उलझे हुए हैं कि वे गणितीय रूप से "परस्पर एकल" (mutually singular) हैं—वे अलग-अलग ब्रह्मांडों में रहते हैं जहाँ पुराना फॉर्मूला उम्मीद करता था कि वे आपस में मिल सकें।

खोज: पुरानी मानचित्र विधि क्यों विफल होती है?
यह पेपर सिद्ध करता है कि जब भी सिग्नल और ऑब्जर्वेशन एक शोर स्रोत साझा करते हैं, तो पुरानी "फ्री एनर्जी" (Free Energy) फॉर्मूला को काम करने के लिए आवश्यक गणितीय शर्त को पूरा करना असंभव हो जाता है। आप अपने संदर्भ बिंदु (reference point) को कितनी भी चतुराई से समायोजित करने की कोशिश करें, गणित कहता है: "आप यह नहीं कर सकते।" पुरानी विधि केवल थोड़ा गलत उत्तर नहीं देती; यह कोई उत्तर ही नहीं देती।

समाधान: एक नया, स्मार्ट मानचित्र
लेकिन चिंता न करें! लेखकों ने केवल सड़क में गड्ढा ही नहीं दिखाया; उन्होंने उस पर एक पुल भी बनाया है।

उन्होंने एक कंडीशनल वेरिएशनल प्रिंसिपल (Conditional Variational Principle) पेश किया।

पुराना तरीका: "यहाँ हाइकर का सामान्य इतिहास (Prior) है। अब, रेडियो के आधार पर इसे समायोजित करें।"
नया तरीका: "हाइकर का इतिहास अभी रेडियो के शोर पर निर्भर करता है। आइए एक संदर्भ मानचित्र (Reference Map) बनाएँ जिसमें साझा तूफान पहले से ही शामिल हो।"

एक सामान्य मानचित्र के साथ शुरू करने के बजाय कि हाइकर कहाँ हो सकता है, वे एक ऐसा मानचित्र लेकर चलते हैं जो यह मानता है कि हाइकर और रेडियो पहले से ही एक ही तूफानी धुन पर नाच रहे हैं। वे फिर इस नए, साझा मानचित्र के सापेक्ष हाइकर की विशिष्ट गतिविधियों की "ऊर्जा" या "लागत" की गणना करते हैं।

परिणाम
यह नया दृष्टिकोण:

टूटे हुए गणित को ठीक करता है: यह "साझा शोर" वाले परिदृश्य के लिए पूरी तरह से काम करता है जहाँ पुरानी विधि विफल हो गई थी।
पुरानी जादू को बनाए रखता है: यदि आप साझा शोर को बंद कर देते हैं (तूफान को रोक देते हैं), तो यह नया तरीका स्वचालित रूप से पुराने, प्रसिद्ध मितर-न्यूटन फॉर्मूले में बदल जाता है। यह पुराने मानचित्र का एक "सुपर-वर्जन" है।
एक स्पष्ट तस्वीर देता है: सरल मामलों में (जैसे रैखिक गति), वे हाइकर कहाँ है इसका सबसे अच्छा अनुमान लगाने के लिए एक सटीक फॉर्मूला लिख सकते हैं।

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

यह पेपर कहता है: "जब वे एक जोड़ा हों, तो उन्हें अलग-अलग देखने का पुराना तरीका गणितीय रूप से असंभव है। लेकिन यहाँ उनके साझा शेड्यूल को देखने का एक नया तरीका है जो आपको सही उत्तर देता है, और यह तब भी काम करता है जब वे संयोग से अजनबी हों।"

उन्होंने सफलतापूर्वक वास्तविक दुनिया के ट्रैकिंग सिस्टम के लिए टूलकिट को अपडेट किया है, जहाँ शोर और सिग्नल अक्सर अटूट रूप से जुड़े होते हैं।

यहाँ एस. श्रीनिवासन, वी. गुप्ता और एच. होनप्पा के शोध पत्र "The Variational Approach in Filtering and Correlated Noise" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र नॉनलीनर फ़िल्टरिंग (nonlinear filtering) के वैरिएशनल फॉर्मूलेशन (variational formulation) में एक मौलिक सीमा को संबोधित करता है, विशेष रूप से मितर और न्यूटन [9] द्वारा प्रस्तावित ढांचे को।

मितर-न्यूटन ढांचा (The Mitter-Newton Framework): यह दृष्टिकोण फ़िल्टरिंग वितरण (एक प्रेक्षण $Y$ दिए जाने पर सिग्नल $X$ का सशर्त वितरण) को एक फ्री एनर्जी फंक्शनल (free energy functional) के अद्वितीय मिनिमाइज़र के रूप में वर्णित करता है। यह फंक्शनल रिलेटिव एंट्रॉपी (एक प्रायर के सापेक्ष) और एक अपेक्षित ऊर्जा पद (expected energy term) का योग है।
महत्वपूर्ण धारणा (The Critical Assumption): इस ढांचे की वैधता धारणा 2.1 (Assumption 2.1) पर निर्भर करती है: संयुक्त पथ माप (joint path measure) $P_{XY}$ को एक उत्पाद माप (product measure) $P_X \otimes \lambda_Y$ के सापेक्ष एब्सोल्यूटली कंटीन्यूअस (absolutely continuous) होना चाहिए (जहाँ $P_X$ प्रायर है और $\lambda_Y$ प्रेक्षण के लिए एक संदर्भ माप है)।
विफलता का मामला (The Failure Case): यह धारणा तब मान्य होती है जब सिग्नल और प्रेक्षण स्वतंत्र (independent) ब्राउनियन मोशन द्वारा संचालित होते हैं (कैमरन-मार्टिन-गिरसानोव प्रमेय का उपयोग करने की अनुमति देता है)। हालाँकि, यह शोध पत्र उस परिदृश्य की जांच करता है जहाँ सिग्नल और प्रेक्षण एक साझा सामान्य शोर स्रोत (common noise source) साझा करते हैं (सहसंबंधित शोर/correlated noise)।
मुख्य प्रश्न: क्या मितर-न्यूटन वैरिएशनल फॉर्मूलेशन तब भी मान्य रहता है जब सिग्नल और प्रेक्षण डिफ्यूजन एक साझा शोर स्रोत साझा करते हैं? यदि नहीं, तो क्या इसे सुधारा जा सकता है, और एक वैरिएशनल सिद्धांत को कैसे पुनः प्राप्त किया जा सकता है?

2. कार्यप्रणाली (Methodology)

लेखक इस समस्या को हल करने के लिए मेजर-थ्योरेटिक प्रोबेबिलिटी, स्टोकेस्टिक कैलकुलस और वैरिएशनल एनालिसिस के संयोजन का उपयोग करते हैं।

डिस्क्रीट-टाइम अंतर्दृष्टि (Discrete-Time Intuition): वे सहसंबंधित शोर वाले एक डिस्क्रीट-टाइम गौसियन सिस्टम का विश्लेषण करने के लिए पहले इसका उपयोग करते हैं, ताकि यह प्रदर्शित किया जा सके कि निरंतर सीमा (continuum limit) में रेडॉन-निकोडिम डेरिवेटिव (Radon-Nikodym derivative) उत्पाद माप के बीच डीजनरेट (बिखर या लुप्त) हो जाता है, जो म्यूचुअल सिंगुलैरिटी (mutual singularity) का संकेत देता है।
मेजर-थ्योरेटिक प्रमाण (Measure-Theoretic Proofs):
- वे एक सामान्य प्रस्ताव (प्रपोजिशन 4.1) सिद्ध करते हैं कि यदि किसी भी $\sigma$ -फाइनाइट $\lambda_Y$ के लिए $P_{XY} \ll P_X \otimes \lambda_Y$ है, तो $P_{XY} \ll P_X \otimes P_Y$ होगा।
- वे लीनियर गौसियन मामले के लिए फेल्डमैन-हाजेक प्रमेय (Feldman-Hájek theorem) का उपयोग यह दिखाने के लिए करते हैं कि अनंत-आयामी पथ स्पेसों पर गौसियन माप या तो तुल्य (equivalent) होते हैं या परस्पर सिंगुलर (mutually singular) होते हैं। कैमरन-मार्टिन स्पेसों की तुलना करके, वे सिंगुलैरिटी को सिद्ध करते हैं।
- सामान्य नॉनलीनर मामले के लिए, वे घनत्व (density) की उपस्थिति सुनिश्चित करने के लिए क्वाड्रेटिक वेरिएशन तर्कों और हॉर्मैंडर कंडीशन (Hörmander condition) का उपयोग करते हुए एक स्पष्ट सेट का निर्माण करते हैं, जो पूर्ण माप (full measure) रखता है लेकिन उत्पाद वितरण के तहत शून्य माप (null measure) रखता है।
कंडीशनल वैरिएशनल प्रिंसिपल (Conditional Variational Principle): यह पहचानते हुए कि मानक प्रायर-आधारित दृष्टिकोण विफल हो जाता है, वे एक नया फॉर्मूलेशन प्रस्तावित करते हैं। एक स्थिर प्रायर $P_X$ के बजाय, वे एक कंडीशनल रेफरेंस मेजर (conditional reference measure) $Q_{X|Y}$ के साथ तुलना करते हैं जो शोर सहसंबंध संरचना (noise correlation structure) को सुरक्षित रखता है।

3. मुख्य योगदान (Key Contributions)

A. सहसंबंधित शोर के लिए विफलता का प्रमाण

शोध पत्र कठोरता से सिद्ध करता है कि जब सिग्नल और प्रेक्षण साझा शोर साझा करते हैं, तो मितर-न्यूटन धारणा मौलिक रूप से विफल हो जाती है:

म्यूचुअल सिंगुलैरिटी (Mutual Singularity): संयुक्त माप $P_{XY}$ और उत्पाद माप $P_X \otimes P_Y$ परस्पर सिंगुलर हैं ( $P_{XY} \perp P_X \otimes P_Y$ )।
कोई सुधार संभव नहीं (No Salvage Possible): ऐसा कोई संदर्भ माप $\lambda_Y$ मौजूद नहीं है जिससे $P_{XY} \ll P_X \otimes \lambda_Y$ हो सके।
तंत्र (Mechanism): सहसंबंधित शोर सेटिंग में प्रेक्षण पथ $Y=y$ पर कंडीशनिंग करने से प्रायर के सापेक्ष सिग्नल वितरण का सपोर्ट (support) सिकुड़ जाता है। विशेष रूप से, पोस्टीरियर $P_{X|Y}(\cdot, y)$ प्रायर $P_X$ के सापेक्ष सिंगुलर है, जिससे मानक गिब्स प्रतिनिधित्व $dP_{X|Y} \propto e^{-H} dP_X$ असंभव हो जाता है।

B. कंडीशनल वैरिएशनल प्रिंसिपल का विकास

लेखक एक सामान्यीकृत वैरिएशनल फॉर्मूलेशन पेश करते हैं जो सिंगुलैरिटी समस्या को हल करता है:

नई धारणा (6.1): उत्पाद माप के सापेक्ष एब्सोल्यूट निरंतरता की आवश्यकता के बजाय, वे यह मांग करते हैं कि पोस्टीरियर $P_{X|Y}(\cdot, y)$ लगभग हर $y$ के लिए एक कंडीशनल रेफरेंस मेजर $Q_{X|Y}(\cdot, y)$ के सापेक्ष एब्सोल्यूटली कंटीन्यूअस हो।
संदर्भ माप (The Reference Measure): $Q$ को एक ऐसा चुनने के लिए डिज़ाइन किया गया है जो शोर कपलिंग संरचना (noise coupling structure) को बनाए रखे। लीनियर मामले में, यह उसी शोर पथ (noise path) द्वारा संचालित सिग्नल प्रक्रिया का नियम है जैसा कि प्रेक्षण का है, लेकिन इसमें ड्रिफ्ट टर्म्स हटा दिए गए हैं।
फ्री एनर्जी कैरेक्टराइजेशन (Free Energy Characterization): यह दिखाया गया है कि फ़िल्टरिंग वितरण एक फ्री एनर्जी फंक्शनल का अद्वितीय मिनिमाइज़र है:
$\min_{\tilde{P}} \left\{ h(\tilde{P} \mid Q_{X|Y}(\cdot, y)) + \langle H(\cdot, y), \tilde{P} \rangle \right\}$
जहाँ $h$ कंडीशनल संदर्भ के सापेक्ष रिलेटिव एंट्रॉपी है, और $H$ ड्रिफ्ट अंतर से प्राप्त ऊर्जा पद है।

C. लीनियर सहसंबंधित शोर के लिए स्पष्ट समाधान

सहसंबंधित शोर वाले लीनियर गौसियन सिस्टम के लिए, लेखक वैरिएशनल प्रिंसिपल का एक स्पष्ट रूप निकालते हैं:

रेफरेंस मेजर ( $\mu_y$ ): एक गौसियन माप जहाँ सिग्नल प्रेक्षण के शोर पथ ( $W_t = y_t$ ) का अनुसरण करता है लेकिन इसमें कोई ड्रिफ्ट नहीं होता।
एनर्जी फंक्शन ( $H$ ): एक फंक्शनल जिसमें ड्रिफ्ट करेक्शन टर्म $(A - \sigma_1 C)X_t$ और "प्राइवेट" शोर $B$ के सापेक्ष गिरसानोव डेंसिटी शामिल है।
संगति (Consistency): वे प्रदर्शित करते हैं कि जब सहसंबंध शून्य ( $\sigma_1 = 0$ ) हो जाता है, तो यह नया फॉर्मूलेशन सख्ती से मूल मितर-न्यूटन फॉर्मूलेशन में बदल जाता है।

4. मुख्य परिणाम (Key Results)

थ्योरम 5.4 (लीनियर केस): सहसंबंधित शोर वाले लीनियर गौसियन डिफ्यूजन के लिए, $P_{XY}$ और $P_X \otimes P_Y$ परस्पर सिंगुलर हैं क्योंकि उनके कैमरन-मार्टिन स्पेस भिन्न हैं।
थ्योरम 5.6 (नॉनलीनर केस): हॉर्मैंडर कंडीशन के तहत, सामान्य नॉनलीनर डिफ्यूजन के लिए संयुक्त और उत्पाद माप परस्पर सिंगुलर हैं।
थ्योरम 6.4 (सामान्यीकृत वैरिएशनल प्रिंसिपल): नई कंडीशनल धारणा के तहत, फ़िल्टरिंग मेजर कंडीशनल फ्री एनर्जी का अद्वितीय मिनिमाइज़र है।
प्रपोजिशन 6.6: लीनियर सहसंबंधित-शोर मामले के लिए स्पष्ट रेडॉन-निकोडिम डेरिवेटिव और ऊर्जा फंक्शनल प्रदान करता है, जिससे एक ठोस फ्री एनर्जी कैरेक्टराइजेशन प्राप्त होता है।

5. महत्व और निहितार्थ (Significance and Implications)

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

संक्षेप में, यह शोध पत्र सहसंबंधित शोर के लिए वैरिएशनल अप्रोच को मौलिक रूप से पुनर्परिभाषित करता है, उत्पाद-माप की शास्त्रीय धारणा की विफलता को सिद्ध करता है, और अंतर्निहित शोर संरचना का सम्मान करने वाले कंडीशनल रेफरेंस मेजर्स पर आधारित एक मजबूत विकल्प का सफलतापूर्वक निर्माण करता है।