← नवीनतम पेपर
💻 computer science

Degree-Constrained Interval Optimization for Minimax Polynomial Approximation in Homomorphic Encryption

यह शोध पत्र होमोमोर्फिक एन्क्रिप्शन में मिनिमैक्स बहुपद सन्निकटन (minimax polynomial approximation) के लिए एक वितरण-जागरूक अंतराल अनुकूलन ढांचे का प्रस्ताव करता है जो डिग्री बाधाओं के तहत माध्य-वर्ग त्रुटि (mean-squared error) को न्यूनतम करने के लिए डोमेन विस्तार फलनों को उनके बहुपद समकक्षों के साथ जोड़कर अंतराल-भीतर की त्रुटि और अंतराल-बाहर की क्लिपिंग के बीच संतुलन बनाता है।

मूल लेखक: Jiheon Woo, Donggyun Ryu, Yongjune Kim

प्रकाशित 2026-07-10
📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

मूल लेखक: Jiheon Woo, Donggyun Ryu, Yongjune Kim

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

कल्पना कीजिए कि आप एक जादुई ताले वाले डिब्बे (lockbox) का उपयोग करके अपने मित्र को एक गुप्त संदेश भेजने की कोशिश कर रहे हैं। यह ताले वाला डिब्बा, जिसे होमोमोर्फिक एन्क्रिप्शन (Homomorphic Encryption) कहा जाता है, अद्भुत है क्योंकि यह आपको डिब्बे को बिना खोले ही उस पर गणित करने की अनुमति देता है। आप इसमें संख्याओं को जोड़ सकते हैं और गुणा कर सकते हैं, और जब आप अंत में परिणाम को अनलॉक करते हैं, तो वह बिल्कुल सही होता है! लेकिन एक पेंच है: यह जादुकी डिब्बा केवल सरल गणित (जोड़ और गुणा) को समझता है। यह उन "घुमावदार" (curvy) कार्यों से भ्रमित हो जाता है जिनका उपयोग न्यूरल नेटवर्क निर्णय लेने के लिए करते हैं (जैसे Sigmoid या ReLU)।

इसे ठीक करने के लिए, वैज्ञानिक आमतौर पर उन घुमावदार कार्यों को पॉलीनोमियल्स (polynomials) से बदल देते हैं—इन्हें सीधी लकड़ियों से जुड़ी हुई चिकनी, लहरदार रेखाओं के रूप में समझें। लक्ष्य यह है कि ये लहरदार रेखाएं मूल घुमावदार फंक्शन को यथासंभव मजबूती से गले लगाएं (hug करें)।

द "गोल्डिलॉक्स" समस्या: बहुत बड़ा, बहुत छोटा, या बिल्कुल सही?

tricky हिस्सा यह तय करना है कि इस "गले लगाने" को कहाँ सबसे अधिक टाइट रखना है।

अतीत में, शोधकर्ताओं ने मिनिमैक्स एप्रोक्सिमेशन (Minimax Approximation) (जिसे अक्सर रेमेज़ एल्गोरिदम द्वारा गणना किया जाता है) नामक विधि का उपयोग किया था। कल्पना कीजिए कि आप एक पर्वत श्रृंखला के ऊपर एक रबर बैंड खींच रहे हैं। मिनिमैक्स विधि यह कोशिश करती है कि बैंड और पर्वत के बीच के अंतर का उच्चतम बिंदु जितना संभव हो सके उतना छोटा हो।

लेकिन यहाँ एक समस्या है: पर्वत श्रृंखला कितनी चौड़ी होनी चाहिए?

  • यदि आप श्रृंखला को बहुत संकीर्ण (narrow) बनाते हैं, तो रबर बैंड बीच में पर्वत को पूरी तरह से गले लगा लेता है, लेकिन यदि कोई यात्री (आपका डेटा) उस सीमा के बाहर निकल जाता है, तो रबर बैंड आसमान में उड़ जाता है, जिससे भारी त्रुटि (error) पैदा होती है।
  • यदि आप श्रृंखला को बहुत चौड़ा बनाते हैं, तो रबर बैंड उन यात्रियों के लिए सुरक्षित रहता है जो दूर तक जाते हैं, लेकिन यह उस बीच के हिस्से में ढीला और सुस्त हो जाता है जहाँ अधिकांश यात्री वास्तव में होते हैं।

यह पेपर तर्क देता है कि केवल एक "सुरक्षित" चौड़ी सीमा (पुराने तरीके की तरह) चुनना एक बुरा विचार है क्योंकि यह उस जगह गणित को सुस्त बना देता है जहाँ इसकी सबसे अधिक आवश्यकता है। इसके बजाय, लेखक सुझाव देते हैं कि हमें इस "परफेक्ट चौड़ाई" को चुनना चाहिए जो इस बात पर आधारित हो कि यात्री कहाँ होने की सबसे अधिक संभावना रखते हैं।

नई रणनीति: एक स्मार्ट बाड़ और एक सुरक्षा जाल

लेखक इस परफेक्ट चौड़ाई को खोजने के लिए एक नया तरीका प्रस्तावित करते हैं। वे चौड़ाई को एक निश्चित नियम के रूप में नहीं, बल्कि एक वेरिएबल के रूप में देखते हैं जिसे ऑप्टिमाइज़ (optimize) किया जाना है। वे पूछते हैं: "यदि हम जानते हैं कि विभिन्न स्थानों पर यात्रियों की संभावना क्या है, तो वह कौन सी चौड़ाई है जो औसत त्रुटि को सबसे कम करती है?"

उन यात्रियों को संभालने के लिए जो उस परफेक्ट ज़ोन से बाहर निकल जाते हैं, वे डोमेन एक्सटेंशन फंक्शन्स (DEFs) और उनके पॉलीनोमियल संबंधी, डोमेन एक्सटेंशन पॉलीनोमियल्स (DEPs) का उपयोग करने की एक चतुर तकनीक का उपयोग करते हैं।

DEF को एक स्मार्ट बाड़ (fence) के रूप में समझें। बाड़ के अंदर, रबर बैंड पर्वत को पूरी तरह से गले लगाता है। बाड़ के बाहर, यह बाड़ यात्री के पथ को धीरे से काट देती है (clip कर देती है), जिससे उन्हें किनारे से गिरने से रोका जा सके। DEP उस बाड़ का गणितीय संस्करण है जिसे जादुई डिब्बा वास्तव में समझ सकता है।

उन्होंने क्या पाया (द "आहा!" मोमेंट)

टीम ने इस विचार का परीक्षण करने के लिए कुछ भारी गणित और कंप्यूटर सिमुलेशन किए। यहाँ उन्होंने क्या खोजा:

  1. एक 'स्वीट स्पॉट' मौजूद है: उन्होंने पाया कि प्रत्येक प्रकार के "घुमावदार" फंक्शन (जैसे ReLU, Sigmoid, Tanh, और GELU) के लिए, एक विशिष्ट "स्वीट स्पॉट" चौड़ाई होती है जो औसत त्रुटि को कम करती है। यह स्वीट स्पॉट आमतौर पर पुराने, बहुत चौड़े रेंज की तुलना में बहुत छोटा होता है।
  2. "प्रॉक्सी" काम करता है: परफेक्ट चौड़ाई की गणना करना कठिन है। इसलिए, उन्होंने एक सरलीकृत गणितीय शॉर्टकट ("प्रॉक्सी") बनाया जो सही चौड़ाई का अनुमान लगाता है। उनके सिमुलेशन में, यह शॉर्टकट अविश्वसनीय रूप से सटीक था, जिसने जटिल, परफेक्ट गणना के समान ही स्वीट स्पॉट को खोज निकाला।
  3. कुछ फंक्शन्स के लिए भारी लाभ: जब उन्होंने वास्तविक दुनिया के एक्टिवेशन फंक्शन्स पर इसका परीक्षण किया, तो परिणाम चौंकाने वाले थे।
    • Sigmoid, Tanh और GELU के लिए, इस नए तरीके ने पुराने, चौड़ी-रेंज वाले तरीके की तुलना में त्रुटि को कई गुना (several orders of magnitude) कम कर दिया। यह एक धुंधली फोटो से क्रिस्टल-क्लियर 4K इमेज में जाने जैसा है।
    • ReLU के लिए, इसने सटीकता में भी काफी सुधार किया, हालांकि लाभ अन्य की तुलना में थोड़े कम नाटकीय थे।

उन्होंने क्या नहीं किया (और उन्होंने क्या खारिज कर दिया)

यह जानना महत्वपूर्ण है कि यह पेपर क्या दावा नहीं करता है:

  • यह हर चीज़ के लिए जादुई समाधान नहीं है: पेपर स्पष्ट रूप से इस विचार को खारिज करता है कि आप सभी समस्याओं को हल करने के लिए अंतराल (interval) को चौड़ा और चौड़ा करते जा सकते हैं। वे दिखाते हैं कि एक चौड़ा अंतराल वास्तव में उस क्षेत्र के भीतर त्रुटि को बढ़ाता है जहाँ अधिकांश डेटा रहता है।
  • यह अभी तक वास्तविक नेटवर्क में एक प्रमाणित "जीत" नहीं है: दिखाए गए परिणाम संख्यात्मक प्रयोगों और सिमुलेशन (numerical experiments and simulations) पर आधारित हैं जो विशिष्ट गणितीय मॉडलों (जैसे Gaussian और Laplace वितरण) का उपयोग करते हैं। उन्होंने अभी तक इसे वास्तविक उपयोगकर्ता डेटा के साथ एक वास्तविक सर्वर पर चल रहे पूर्ण, लाइव न्यूरल नेटवर्क पर टेस्ट नहीं किया है। वे सुझाव देते हैं कि यह अगला कदम है, लेकिन उन्होंने अभी तक इसे नहीं किया है।
  • यह "नॉइज़" (noise) की समस्या को हल नहीं करता है: पेपर स्वीकार करता है कि होमोमोर्फिक एन्क्रिप्शन अभी भी "नॉइज़" (गणितीय धुंधलापन जो जमा होता रहता है) द्वारा सीमित है। जबकि उनका तरीका एप्रोक्सिमेशन को बेहतर बनाता है, यह नॉइज़ बजट को प्रबंधित करने की आवश्यकता को जादुई रूप से खत्म नहीं करता है; यह केवल पॉलीनोमियल एप्रोक्सिमेशन को उनके बजट के भीतर अधिक कुशल बनाता है।

निचोड़ (The Bottom Line)

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

उनके सिमुलेशन में, इस दृष्टिकोण ने दिखाया कि एक डोमेन एक्सटेंशन पॉलीनोमियल (सुरक्षा जाल) और एक ऑप्टिमाइज़्ड इंटरवल का उपयोग करके, आप पुराने "एक-आकार-सभी-के-लिए" वाले चौड़े इंटरवल की तुलना में बहुत अधिक सटीक परिणाम प्राप्त कर सकते हैं। Sigmoid और Tanh जैसे कार्यों के लिए, सुधार बहुत बड़ा है, जो यह सुझाव देता है कि यह तरीका भविष्य में गोपनीयता-संरक्षित AI को अधिक व्यावहारिक बना सकता है।

पेपर निष्कर्ष निकालता है कि हालांकि गणित ठोस है और सिमुलेशन बेहतरीन दिख रहे हैं, असली परीक्षण इसे पूर्ण-पैमाने के एन्क्रिप्टेड न्यूरल नेटवर्क में एकीकृत करना है, जो एक ऐसी चुनौती है जिसे उन्होंने भविष्य के खोजकर्ताओं के लिए छोड़ दिया है।

अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?

आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।

Digest आज़माएँ →