💰 quantitative finance

Tax reform as a constrained optimization problem: a piecewise-linear framework and software implementation

यह शोध पत्र एक बाधित अनुकूलन ढांचा (constrained optimization framework) और ओपन-सोर्स सॉफ्टवेयर, \texttt{TaxSolver} प्रस्तुत करता है, जो जटिल कर कोडों को पीसवाइज-लीनियर मॉडलों में परिवर्तित करता है ताकि राजनीतिक रूप से व्यवहार्य, प्रमाणित रूप से इष्टतम कर सुधारों को स्वचालित रूप से उत्पन्न किया जा सके, एक ऐसी कार्यप्रणाली जो वर्तमान में डच वित्त मंत्रालय द्वारा सक्रिय रूप से उपयोग में है।

मूल लेखक: Mark Verhagen, Menno Schellekens, Michael Garstka

प्रकाशित 2026-07-20

📖 4 मिनट में पढ़ें☕ कॉफ़ी ब्रेक में पढ़ें

CC BY 4.0

मूल लेखक: Mark Verhagen, Menno Schellekens, Michael Garstka

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

एक विशाल ऊन के गोले को सुलझाने की कल्पना कीजिए जहाँ हर धागा दूसरे से बंधा हुआ है, और एक धागे को ढीला करने पर अन्य तीन धागे कस जाते हैं। आधुनिक कर संहिताएं (tax codes) अक्सर ऐसा ही महसूस कराती हैं: नियमों, ब्रैकेट और विशेष लाभों का एक उलझा हुआ जाल जो भ्रमित करने वाले तरीकों से आपस में जुड़े हुए हैं। यह शोधपत्र अर्थशास्त्र और कंप्यूटर विज्ञान के संगम पर स्थित है, विशेष रूप से "ऑपरेशंस रिसर्च" नामक एक क्षेत्र पर, जो मूल रूप से एक जटिल समस्या का सर्वोत्तम संभव समाधान खोजने के लिए गणित का उपयोग करने की कला है। लेखक जिस मुख्य विचार पर आधारित हैं वह सरल है: यदि आप एक प्रणाली को नियमों के एक सेट के साथ वर्णित कर सकते हैं, तो आप उन नियमों को एक रेसिपी (नुस्खे) के अवयवों की तरह मान सकते हैं। यदि आप व्यंजन (कर प्रणाली) का स्वाद बदले बिना बजट को खराब किए बिना या लोगों को बहुत गरीब बनाए बिना बदलना चाहते हैं, तो आपको लाखों रेसिपी विविधताओं का तुरंत परीक्षण करने के तरीके की आवश्यकता है। लेखक एक बड़ा प्रश्न पूछते हैं: टूटी हुई कर संहिता को ठीक करने के लिए केवल अनुमान लगाने के बजाय, क्या हम यह गणितीय रूप से सिद्ध करने के लिए कंप्यूटर का उपयोग कर सकते हैं कि इसे ठीक करने का सर्वश्रेष्ठ तरीका क्या है, जबकि इस बात की गारंटी भी दी जा सके कि कोई भी परिवार बहुत कम पैसा नहीं खोएगा और सरकार अपनी तनख्वाह नहीं खोएगी?

"टैक्स रिफॉर्म एज अ कंस्ट्रेंड ऑप्टिमाइजेशन प्रॉब्लम" शीर्षक वाला यह शोधपत्र, कर सुधार को देखने का एक चतुर नया तरीका प्रस्तावित करता है। कर कानूनों को एक कठोर, अपरिवर्तनीय दीवार के रूप में मानने के बजाय, लेखक दिखाते हैं कि लगभग किसी भी कर संहिता को एक सरल, 'पीसवाइज-लीनियर' (piecewise-linear) फलन में बदला जा सकता है। इसे एक सीढ़ी की तरह समझें: प्रत्येक चरण एक अलग टैक्स दर का प्रतिनिधित्व करता है, और सपाट हिस्से "ब्रैकेट" हैं। लेखकों ने पाया कि दशकों के जटिल, परस्पर क्रिया करने वाले नियमों वाली कर संहिता को भी प्रत्येक प्रकार के करदाता के लिए एक एकल, सुचारू सीढ़ी में बदला जा सकता है। एक बार जब उन्होंने कर संहिता को इस गणितीय सीढ़ी में बदल दिया, तो उन्होंने सुधार को एक पहेली की तरह माना। उन्होंने एक कंप्यूटर प्रोग्राम के साथ सख्त "गार्डरेल्स" (सीमाएँ) निर्धारित कीं: कोई भी घर अपनी शुद्ध आय का 5% से अधिक नहीं खो सकता, सरकार अपनी कुल राजस्व का 1.5% से अधिक नहीं खो सकती, और किसी को भी 80% से अधिक की टैक्स दर वृद्धि का सामना नहीं करना चाहिए।

इसके बाद कंप्यूटर ने उन गार्डरेल्स के भीतर फिट होने वाले नए चरणों और दरों के आदर्श सेट की खोज की। परिणाम एक ऐसा टूलकिट है जो केवल अनुमान नहीं लगाता; या तो यह गणितीय रूप से सिद्ध "इष्टतम" (optimal) सुधार पाता है या आपको पूर्ण निश्चितता के साथ बताता है कि ऐसा कोई सुधार मौजूद नहीं है क्योंकि आपके लक्ष्य एक-दूसरे के विरोधी हैं। इसका परीक्षण करने के लिए, लेखकों ने संपूर्ण डच आयकर संहिता को फिर से बनाया, जो एक उलझे हुए जाल के रूप में प्रसिद्ध है जहाँ कम और मध्यम आय वाले करदाताओं को कभी-कभी कई लाभ एक साथ समाप्त होने के कारण 80% से अधिक की प्रभावी कर दरों का सामना करना पड़ता है। अपने सॉफ़्टवेयर, जिसे "टैक्ससॉल्वर" (TaxSolver) कहा जाता है, का उपयोग करके, उन्होंने नई कर संहिताएँ तैयार कीं जिन्होंने इन भयानक उछालों को सुधारा, घरेलू आय के नुकसान को सीमित किया, और सक्रिय नियमों की संख्या को लगभग आधा कर दिया। उन्होंने यह भी दिखाया कि यदि आप प्रणाली को बहुत सरल या बहुत सस्ता बनाने की कोशिश करते हैं, तो गणित यह सिद्ध करता है कि सभी को खुश रखना असंभव है। कर सुधार को एक हल करने योग्य गणितीय समस्या में बदलकर, लेखक एक निष्पक्ष, सरल और प्रभावी कर प्रणालियों को डिजाइन करने का एक तरीका प्रदान करते हैं, बजाय इसके कि केवल बेहतर होने की उम्मीद की जाए।

तकनीकी सारांश: एक प्रतिबंधित अनुकूलन समस्या के रूप में कर सुधार

समस्या विवरण
विकसित राष्ट्रों में आय कर संहिताएं (income tax codes) ब्रैकेट, लाभ और कटौती की जटिल, परस्पर क्रिया करने वाली प्रणालियों के रूप में विकसित हुई हैं। यह जटिलता एक "कार्यान्वयन अंतराल" (implementation gap) पैदा करती है जहाँ सैद्धांतिक इष्टतम-कर सिद्धांत (जैसे, मिर्लीज़, 1971; साएज़, 2001) वैधानिक वास्तविकता से काफी भिन्न होते हैं। इसका एक प्राथमिक लक्षण "सीमांत-दर स्पाइक्स" (marginal-rate spikes) का उदय है—जहाँ कई लाभों के एक साथ समाप्त होने के कारण निम्न- और मध्यम-आय वाले परिवारों के लिए प्रभावी कर दरें 80% से अधिक हो जाती हैं। ये स्पाइक्स कार्य प्रोत्साहन को कम करते हैं और अक्सर तदर्थ ऐतिहासिक सुधारों के अनपेक्षित परिणाम होते हैं।

कर नीति के मौजूदा उपकरण तीन सीमाओं का सामना करते हैं:

माइक्रोसिम्यूलेशन मॉडल (जैसे, EUROMOD, TAXSIM) विश्लेषक द्वारा दिए गए प्रस्तावों का मूल्यांकन तो करते हैं, लेकिन उन्हें उत्पन्न नहीं कर सकते।
संख्यात्मक इष्टतम-कर मॉडल वास्तविक कोड के विशिष्ट वैधानिक नियमों की उपेक्षा करते हुए, शैलीबद्ध धारणाओं के तहत अमूर्त, सुचारू अनुसूचियों को अनुकूलित करते हैं।
सुदृढीकरण शिक्षण (Reinforcement learning) दृष्टिकोण ब्लैक-बॉक्स नीतियां लौटाते हैं जो इष्टतमता को प्रमाणित नहीं कर सकतीं या अपfeasibility (असंfeasibility) की पहचान नहीं कर सकतीं।

परिणामस्वरूप, सुधार के प्रयास अक्सर व्यवस्थित पुनर्गठन के बजाय वृद्धिशील समायोजनों पर निर्भर करते हैं, जिससे दक्षता, समता और सरलता के घोषित उद्देश्यों को प्राप्त करने में विफलता होती है।

कार्यप्रणाली: एक पीसवाइज-लीनियर फ्रेमवर्क
लेखक कर सुधार को एक प्रतिस्थापित अनुकूलन समस्या (constrained optimization problem) के रूप में प्रस्तुत करने का प्रस्ताव करते हैं। मुख्य मॉडलिंग अंतर्दृष्टि यह है कि चार सौम्य धारणाओं के तहत, किसी भी वैधानिक आयकर संहिता को प्रत्येक करदाता समूह के लिए एक परिमित-आयामी, निरंतर, पीसवाइज-लीनियर फलन (piecewise-linear function) में बदला जा सकता है।

धारणाएं:
1. योगात्मकता (Additivity): कुल कर दबाव व्यक्तिगत नियमों के दबाव का योग है।
2. स्केलर इनपुट (Scalar Input): प्रत्येक नियम एक एकल इनपुट (जैसे, आय) पर कर लगाता है।
3. पीसवाइज लिनैरिटी (Piecewise Linearity): सीमांत दबाव अंतराल पर स्थिर रहता है; पूर्ण दबाव एक निरंतर, पीसवाइज-लीनियर फलन है।
4. समूह विषमता (Group Heterogeneity): पात्रता और पैरामीटर करदाता की विशेषताओं पर निर्भर करते हैं, जो जनसंख्या को परिमित समूहों में विभाजित करते हैं।
गणितीय सूत्रीकरण:
एक करदाता $i$ के लिए कुल कर दायित्व $f_k(x_i)$ को इस प्रकार व्यक्त किया जाता है:
$f_k(x_i) = \sum_{j} \sum_{b \in \mathcal{B}_{j,k}} \alpha_{j,b,k} g_b(x_{ij}; \Phi_{j,k}) + Z_k$
जहाँ $\alpha$ सीमांत दरें हैं, $g_b$ एक सपोर्ट सेट $\Phi$ (कटऑफ) द्वारा परिभाषित ब्रैकेटिंग फलन हैं, और $Z_k$ एक लम्प-सम ट्रांसफर है।
अनुकूलन संरचना:
- निर्णय चर (Decision Variables): कोड के विधिसम्मत पैरामीटर: दरें ( $\alpha$ ), ब्रैकेट कटऑफ ( $\Phi$ ), और लम्प-सम ट्रांसफर ( $Z$ )।
- प्रतिबंध (Constraints): राजनीतिक और वितरण संबंधी आवश्यकताएं, जिनमें शामिल हैं:
  - आय गारंटी: शुद्ध आय परिवर्तनों पर सीमाएँ (जैसे, कोई भी परिवार $x\%$ से अधिक का नुकसान नहीं उठाएगा)।
  - सीमांत प्रतिबंध: प्रभावी सीमांत कर दरों पर कैप।
  - बजट प्रतिबंध: कुल राजस्व हानि/लाभ की सीमाएं।
  - नियम संरक्षण: विशिष्ट विरासत नियमों को अक्षुण्ण रखने के लिए कठोर प्रतिबंध।
- उद्देश्य: राजस्व हानि को न्यूनतम करना, प्रणालीगत जटिलता (सक्रिय नियमों की भारित संख्या) को न्यूनतम करना, या गरीबी अंतराल को न्यूनतम करना।
विस्तार:
- जटिलता: एक भारित-कार्डिनैलिटी उद्देश्य (सक्रिय नियमों को न्यूनतम करना) का उपयोग करके बाइनरी वेरिएबल्स के माध्यम से मॉडल की जाती है, जो समस्या को मिक्स्ड-इंटीजर लीनियर प्रोग्राम (MILP) में बदल देती है।
- डायनेमिक ब्रैकेटिंग: कटऑफ बिंदुओं को निर्णय चर के रूप में मानना ताकि इष्टतम सपोर्ट ग्रिड का चयन किया जा सके।
- व्यवहार संबंधी प्रतिक्रियाएं: कर योग्य आय की लोच (elasticity) को शामिल करना। इसमें निर्णय चरों का गुणनफल (दर $\times$ आय प्रतिक्रिया) शामिल है, जिसके परिणामस्वरूप एक नॉन-कॉन्वेक्स मिक्स्ड-इंटीजर क्वाड्रैटिकली कंस्ट्रेंड प्रोग्राम (MIQCP) होता है। लेखक एक फिक्स्ड-पॉइंट इटरेटिव एल्गोरिदम (एल्गोरिदम 1) भी प्रदान करते हैं, जो LP-केवल विकल्प के रूप में है।
- असंfeasibility प्रमाणन (Infeasibility Certification): यदि प्रतिबंध आपस में टकराते हैं, तो सॉल्वर एक इर्रड्यूसिबल इनफीज़ेबल सबसिस्टम (IIS) लौटाता है, जो एक प्रमाण प्रदान करता है कि कोई भी सुधार विशिष्ट प्रतिबद्धताओं को संतुष्ट नहीं कर सकता।

प्रमुख योगदान

मॉडलिंग परिणाम: एक प्रमाण (प्रपोजिशन 1) कि चार धारणाओं को संतुष्ट करने वाली वैधानिक संहिताएं प्रति समूह एक एकल पीसवाइज-लीनियर फलन में बदल जाती हैं, जिससे सुधार को LP या MILP के रूप में फ्रेम करना संभव होता है।
इनवर्स रिकवरी: देखी गई कर देनदारियों से वर्तमान प्रणाली के मापदंडों को पुनः प्राप्त करने की एक विधि (प्रपोजिशन 2), जिसमें अद्वितीय पहचान के लिए स्थितियां दी गई हैं।
सुधार-अनुकूलन ढांचा: यह शोधकर्ताओं को इष्टतम उम्मीदवारों की खोज करने या असंfeasibility का प्रमाण प्राप्त करने के लिए बाधाओं और उद्देश्यों का एक पुस्तकालय प्रदान करता है।
केस स्टडी: डच आयकर कोड का लगभग पूर्ण पुनर्निर्माण (15 नियम, 13,500 भारित करदाता), जो प्रमाणित सुधारों के सृजन को प्रदर्शित करता है।
सॉफ्टवेयर कार्यान्वयन: TaxSolver का रिलीज, जो एक ओपन-सोर्स, सॉल्वर-अज्ञेय (solver-agnostic) पायथन पैकेज है।

परिणाम: डच केस स्टडी
इस ढांचे को डच कर प्रणाली पर लागू किया गया, जो कई परिवारों के लिए उच्च सीमांत-दर स्पाइक्स (>80%) द्वारा चिह्नित है। लेखकों ने ऐसे सुधार उम्मीदवार तैयार किए जिन्होंने:

सीमांत दरों को सुचारू बनाया: कई लाभों के चरणबद्ध तरीके से समाप्त होने से उत्पन्न स्पाइक्स को समाप्त करते हुए, सीमांत दबाव को 55-80% तक सीमित किया।
परिवारों की सुरक्षा की: यह गारंटी दी कि किसी भी परिवार की शुद्ध आय उसके वर्तमान स्तर से 95% से नीचे नहीं गिरेगी।
जटिलता को कम किया: एक लेक्सिकोग्राफिक दो-चरणीय प्रक्रिया के माध्यम से सक्रिय नियमों की संख्या को लगभग आधा कर दिया (जटिलता भार 89 से घटाकर ~32-39 कर दिया), जिसमें पहले राजस्व हानि को न्यूनतम किया गया, फिर एक सीमित राजस्व स्लैक के भीतर नियमों की संख्या को न्यूनतम किया गया।
बजटरी व्यवहार्यता: $\pm 1.5\%$ बजट बैंड के भीतर काम किया, जिसमें एक माध्यमिक उद्देश्य ने सरलता खरीदने के लिए अतिरिक्त 1% स्लैक की अनुमति दी।

अध्ययन ने प्रदर्शित किया कि ढांचा "प्रमाणित" सुधार उत्पन्न कर सकता है—पूर्ण वैधानिक प्रस्ताव जो मॉडल किए गए स्थान के भीतर प्रमाणित रूप से इष्टतम हैं—या यह पहचान सकता है कि विशिष्ट नीतिगत लक्ष्य (जैसे, अत्यधिक दर कैप के साथ सख्त आय संरक्षण) परस्पर असंगत हैं।

महत्व
यह शोध पत्र इष्टतम-कर सिद्धांत और वैधानिक सुधार की राजनीतिक वास्तविकता के बीच एक सेतु के रूप में स्वयं को स्थापित करता है। वैधानिक कोड को एक अमूर्त अनुसूची के बजाय स्वयं एक निर्णय चर के रूप में मानकर, यह कार्यप्रणाली "कार्यान्वयन अंतराल" को नेविगेट करने का एक व्यावहारिक तरीका प्रदान करती है। यह निम्नलिखित के लिए एक कठोर तंत्र प्रदान करता है:

कल्याण कार्य (welfare function) को अनुकूलित करने के बजाय कठोर राजनीतिक बाधाओं (जैसे, "कोई भी परिवार आय नहीं खोएगा") को संतुष्ट करने वाले सुधार प्रस्ताव उत्पन्न करना।
इष्टतमता या असंfeasibility को प्रमाणित करना, उन ह्यूरिस्टिक खोजों से आगे बढ़ना जो यह सिद्ध नहीं कर सकते कि एक समाधान सर्वश्रेष्ठ है या कोई समस्या हल करने योग्य नहीं है।
प्रणालीगत जटिलता और राजकोषीय परिणामों के बीच व्यापार-बंद (trade-off) को मापना, जिससे नीति निर्माताओं को नियंत्रित राजस्व हानि के साथ सरलता को "खरीदने" की अनुमति मिलती है।

लेखक उल्लेख करते हैं कि इस पद्धति का वर्तमान में डच वित्त मंत्रालय द्वारा सक्रिय रूप से उपयोग किया जा रहा है, जिसे लेखकों के सहयोग से विकसित किया गया है, जो एक वास्तविक दुनिया के नीतिगत वातावरण में इसकी व्यावहारिक उपयोगिता की पुष्टि करता है।

तकनीकी सारांश: एक प्रतिबंधित अनुकूलन समस्या के रूप में कर सुधार

इसी तरह के और पेपर