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

Technische Samenvatting: Belastinghervorming als een Beperkt Optimalisatieprobleem

Probleemstelling
Inkomstenbelastingstelsels in ontwikkelde landen zijn geëvolueerd tot complexe, interagerende systemen van schijven, voordelen en aftrekposten. Deze complexiteit creëert een "implementatiekloof" waarbij theoretische principes van optimale belastingheffing (bijv. Mirrlees, 1971; Saez, 2001) sterk afwijken van de wettelijke realiteit. Een primair symptoom is het ontstaan van "marginale tariefpieken"—effectieve belastingtarieven die de 80% overstijgen voor huishoudens met lage tot middeninkomens door de gelijktijdige uitfasering van meerdere sociale voorzieningen. Deze pieken remmen de werkprikkels en zijn vaak onbedoelde bijproducten van ad-hoc historische hervormingen.

Bestaande instrumenten voor belastingbeleid kampen met drie beperkingen:

1. Microsimulatiemodellen (bijv. EUROMOD, TAXSIM) evalueren door analisten aangeleverde voorstellen, maar kunnen deze niet genereren.
2. Numerieke modellen voor optimale belastingheffing optimaliseren abstracte, vloeiende schema's onder gestileerde aannames, waarbij de specifieke wettelijke regels van een echt stelsel worden genegeerd.
3. Reinforcement learning-benaderingen leveren black-box beleid op zonder optimaliteit te certificeren of onhaalbaarheid aan te tonen.

Gevolgelijk steunen hervormingspogingen vaak op incrementele aanpassingen in plaats van systematische herontwerpen, waardoor zij de gestelde doelstellingen met betrekking tot efficiëntie, rechtvaardigheid en eenvoudي niet halen.

Methodologie: Een Stuksgewijs Lineair Kader
De auteurs stellen voor om belastinghervorming te beschouwen als een beperkt optimalisatieprobleem. Het kerninzicht van het modelleren is dat elk wettelijk inkomstenbelastingstelsel, onder vier milde aannames, kan worden teruggebracht tot een einddimensionale, continue, stuksgewijs lineaire functie voor elke groep belastingbetalers.

• Aannames:

  1. Additiviteit: De totale belastingdruk is de som van de individuele regeldrukken.
  2. Scalaire Input: Elke regel heft belastingen op een enkele input (bijv. inkomen).
  3. Stuksgewijze Lineariteit: De marginale druk is constant op intervallen; de absolute druk is een continue, stuksgewijs lineaire functie.
  4. Groepsheterogeniteit: Deelname en parameters zijn afhankelijk van kenmerken van de belastingbetaler, wat de populatie opdeelt in eindige groepen.

• Wiskundige Formulering:
  De totale belastingverplichting $f_k(x_i)$ voor een belastingbetaler $i$ in groep $k$ wordt uitgedrukt als:
  $$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$$
  waarbij $\alpha$ de marginale tarieven zijn, $g_b$ de bracketingfuncties gedefinieerd door een ondersteunende verzameling $\Phi$ (grenswaarden), en $Z_k$ een lump-sum overdracht is.

• Optimalisatiestructuur:

  • Beslissingsvariabelen: De wetgevingsbare parameters van de code: tarieven ($\alpha$), bracket-grenswaarden ($\Phi$) en lump-sum overdrachten ($Z$).
  • Constraints (Beperkingen): Politieke en distributieve vereisten, waaronder:
    • Inkomensgaranties: Grenzen aan veranderingen in het netto inkomen (bijv. geen enkel huishouden verliest meer dan $x\%$).
    • Marginale Constraints: Limieten op effectieve marginale belastingtarieven.
    • Budgettaire Constraints: Limieten aan het totale inkomstenverlies of -winst.
    • Regelbescherming: Harde restricties om specifieke bestaande regels intact te houden.
  • Doelstellingen: Het minimaliseren van inkomstenverlies, het minimaliseren van systeemcomplexiteit (gewogen aantal actieve regels), of het minimaliseren van armoediekloven.

• Extensies:

  • Complexiteit: Gemodelleerd via een gewogen cardinaliteitsdoelstelling (het minimaliseren van actieve regels) met behulp van binaire variabelen, wat het probleem transformeert naar een Mixed-Integer Linear Program (MILP).
  • Dynamische Bracketing: Het behandelen van grenswaarden als beslissingsvariabelen om het optimale ondersteunende rooster te selecteren.
  • Gedragsrespons: Het opnemen van de elasticiteit van belastbaar inkomen. Dit introduceert een product van beslissingsvariabelen (tarief $\times$ inkomensrespons), wat resulteert in een niet-convexe Mixed-Integer Quadratically Constrained Program (MIQCP). De auteurs bieden ook een fixed-point iteratief algoritme (Algoritme 1) als een LP-only alternatief.
  • Certificering van Onhaalbaarheid: Indien constraints conflicteren, geeft de solver een Irreducible Infeasible Subsystem (IIS) terug, een certificaat dat geen enkele hervorming aan de specifieerbare set verplichtingen voldoet.

Kernbijdragen

1. Modelleringsresultaat: Een bewijs (Propositie 1) dat wettelijke codes die aan de vier aannames voldoen, reduceren tot een enkele stuksgewijs lineaire functie per groep, waardoor hervorming kan worden geformuleerd als een Lineair Programma (LP) of MILP.
2. Inverse Recovering: Een methode (Propositie 2) om de parameters van het huidige systeem te herstellen uit geobserveerde belastingverplichtingen, inclus_ief voorwaarden voor unieke identificeerbaarheid.
3. Hervormings-optimalisatiekader: Een bibliotheek van constraints en doelstellingen die beleidsmakers in staat stelt om de ruimte van implementeerbare codes te doorzoeken naar optimale kandidaten of een certificaat van onhaalbaarheid te ontvangen.
4. Casestudy: Een bijna volledige reconstructie van het Nederlandse inkomstenbelastingstelsel (15 regels, 13.500 gewogen belastingbetalers) die de generatie van gecertificeerde hervormingen demonstreert.
5. Software-implementatie: De release van TaxSolver, een open-source, solver-agnostische Python-package.

Resultaten: De Nederlandse Casestudy
Het kader werd toegepast op het Nederlandse belastingstelsel, dat gekenmerkt wordt door hoge marginale tariefpieken (>80%) voor veel huishoudens. De auteurs genereerden hervormingskandidaten die:

• Marginale Tarieven Gladstrijken: De marginale druk beperkten tot 55–80%, waardoor de pieken die worden veroorzaakt door gelijktijdige uitfasering van voordelen werden geëlimineerd.
• Huishoudens Beschermen: Garandeerden dat het netto inkomen van geen enkel huishouden onder 95% van het huidige niveau zakte.
• Complexiteit Verminderen: Het aantal actieve regels met ongeveer de helft verminderden (van een complexiteitsgewicht van 89 naar ~32–39) via een lexicografische twee-fasen procedure (eerst het minimaliseren van inkomstenverlies, daarna het minimaliseren van het aantal regels binnen een begrensde inkomsten-slack).
• Budgettaire Haalbaarheid: Werden uitgevoerd binnen een budgetband van $\pm 1,5\%$, met een secundaire doelstelling die een extra slack van 1% toestond om eenvoudheid "aan te kopen".

De studie toonde aan dat het kader in staat is om "gecertificeerde" hervormingen te produceren—volledige statutaire voorstellen die bewezen optimaal zijn binnen de gemodelleerde ruimte—of om aan te geven wanneer specifieke beleidsdoelen (bijv. extreme tariefplafonds gecombineerd met strikte inkomensbescherming) onderling onverenigbaar zijn.

Betekenis
Dit artikel positioneert zich als een brug tussen de theorie van optimale belastingheffing en de politieke realiteit van statutaire hervorming. Door het wettelijke stelsel zelf als de beslissingsvariabele te behandelen in plaats van een abstract schema, biedt de methodologie een hanteerbare manier om de "implementatiekloof" te overbruggen. Het biedt een rigoureus mechanisme om:

• Hervormingsvoorstellen te genereren die voldoen aan harde politieke constraints (bijv. "geen enkel huishouden verliest inkomen"), in plaats van enkel een welvaartsfunctie te optimaliseren.
• Optimaliteit of onhaalbaarheid te certificeren, waarmee men verder gaat dan heuristische zoektochten die niet kunnen bewijzen dat een oplossing het beste is of dat een probleem onoplosbaar is.
• De afruil tussen systeemcomplexiteit en fiscale uitkomsten te kwantificeren, waardoor beleidsmakers expliciet eenvoud kunnen "kopen" met gecontroleerde inkomstenverliezen.

De auteurs merken op dat de methodologie momenteel actief in gebruik is door het Nederlandse Ministerie van Financiën, ontwikkeld in nauwe samenwerking met de auteurs, wat de praktische bruikbaarheid in een reële beleidsomgeving valideert.