💰 quantitative finance

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

Dieses Paper präsentiert ein Framework für gebundene Optimierung und die Open-Source-Software \texttt{TaxSolver}, welche komplexe Steuergesetze in stückweise lineare Modelle transformiert, um automatisch politisch gangbare, nachweislich optimale Steuerreformen zu generieren – eine Methodik, die derzeit aktiv vom niederländischen Finanzministerium eingesetzt wird.

Ursprüngliche Autoren: Mark Verhagen, Menno Schellekens, Michael Garstka

Veröffentlicht 2026-07-20

📖 3 Min. Lesezeit☕ Kaffeepausen-Lektüre

CC BY 4.0

Ursprüngliche Autoren: Mark Verhagen, Menno Schellekens, Michael Garstka

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie versuchen, einen riesigen Wollknäuel zu entwirren, bei dem jeder Faden mit einem anderen verbunden ist und das Ziehen an einem losen Strang drei andere straff werden lässt. So fühlen sich moderne Steuergesetze oft an: ein chaotischer Knoten aus Regeln, Steuerklassen und Sondervergünstigungen, die auf verwirrende Weise miteinander interagieren. Diese Arbeit bewegt sich an der Schnittstelle zwischen Wirtschaftswissenschaften und Informatik, speziell in einem Bereich namens „Operations Research“, was im Grunde die Kunst ist, Mathematik zu nutzen, um die bestmögliche Lösung für ein kompliziertes Problem zu finden. Die Kernidee, auf der die Autoren aufbauen, ist simpel: Wenn man ein System mit einer Reihe von Regeln beschreiben kann, kann man diese Regeln wie Zutaten in einem Rezept behandeln. Wenn man den Geschmack des Gerichts (das Steuersystem) ändern möchte, ohne das Budget zu ruinieren oder Menschen zu arm zu machen, benötigt man eine Möglichkeit, Millionen von Rezeptvariationen sofort zu testen. Die Autoren stellen eine große Frage: Anstatt nur zu raten, wie man einen kaputten Steuerkodex repariert, können wir einen Computer nutzen, um mathematisch zu beweisen, was der beste Weg ist, ihn zu reparieren, während gleichzeitig garantiert wird, dass keine Familie mehr als einen winzigen Betrag verliert und der Staat nicht auf seine Bezahlung verzichten muss?

Die Arbeit mit dem Titel „Tax reform as a constrained optimization problem“ schlägt eine kluge neue Art vor, die Steuerreform zu betrachten. Anstatt Steuergesetze als eine starre, unveränderliche Wand zu behandeln, zeigen die Autoren, dass fast jeder Steuerkodex in eine einfache, stückweise lineare Funktion umgewandelt werden kann. Denken Sie an dies wie an eine Treppe: Jede Stufe repräsentiert einen anderen Steuersatz, und die flachen Teile sind die „Steuerklassen“. Die Autoren entdeckten, dass selbst ein Steuerkodex mit Dutzenden komplexer, interagierender Regeln auf eine einzige, glatte Treppe für jeden Typ von Steuerzahler reduziert werden kann. Sobald sie den Steuerkodex in diese mathematische Treppe verwandelt hatten, behandelten sie die Reform als ein Puzzle. Sie richteten ein Computerprogramm mit strengen „Leitplanken“ (Constraints) ein: Kein Haushalt darf mehr als 5 % seines Nettoeinkommens verlieren, der Staat darf nicht mehr als 1,5 % seiner Gesamteinnahmen verlieren und niemand sollte einen Steueranstieg von mehr als 80 % erleben.

Der Computer suchte dann nach dem perfekten Satz neuer Stufen und Sätze, die innerhalb dieser Leitplanken liegen. Das Ergebnis ist ein Werkzeugkasten, der nicht einfach nur rät; er findet entweder eine mathematisch bewiesene „optimale“ Reform oder sagt Ihnen mit absoluter Gewissheit, dass eine solche Reform nicht existiert, weil Ihre Ziele im Widerspruch zueinander stehen. Um dies zu testen, bauten die Autoren den gesamten niederländischen Einkommensteuerkodex nach, der berühmt dafür ist, ein verworrenes Durcheinander zu sein, bei dem Bezieher niedriger und mittlerer Einkommen manchmal effektive Steuersätze von über 80 % erleben, weil mehrere Leistungen gleichzeitig wegfallen. Mit ihrer Software namens TaxSolver generierten sie neue Steuergesetze, die diese erschreckenden Spitzen glätteten, die Einkommensverluste der Haushalte begrenzten und die Anzahl der aktiven Regeln etwa halbierte. Sie zeigten sogar, dass es mathematisch unmöglich ist, alle zufrieden zu stellen, wenn man versucht, das System zu einfach oder zu billig zu gestalten. Indem sie die Steuerreform in ein lösbares Mathematikproblem verwandelten, bieten die Autoren einen Weg, fairere, einfachere Steuersysteme zu entwerfen, die in der realen Welt tatsächlich funktionieren, anstatt nur auf das Beste zu hoffen.

Technisches Resümee: Steuerreform als ein Problem der beschränkten Optimierung

Problemstellung
Die Einkommensteuersysteme in entwickelten Nationen haben sich zu komplexen, interagierenden Systemen aus Steuerklassen, Leistungen und Abzügen entwickelt. Diese Komplexität führt zu einer „Implementierungslücke“ (implementation gap), bei der theoretische Prinzipien der optimalen Besteuerung (z. B. Mirrlees, 1971; Saez, 2001) drastisch von der gesetzlichen Realität abweichen. Ein primäres Symptom ist das Entstehen von „Grenzsteuersatz-Spitzen“ (marginal-rate spikes) – effektive Steuersätze, die aufgrund des gleichzeitigen Wegfalls mehrerer Leistungen bei Haushalten mit niedrigem und mittlerem Einkommen über 80 % liegen. Diese Spitzen dämpfen die Arbeitsanreize und sind oft unbeabsichtigte Nebenprodukte ad-hoc ergangener historischer Reformen.

Bestehende Instrumente für die Steuerpolitik stehen vor drei Einschränkungen:

Mikrosimulationsmodelle (z. B. EUROMOD, TAXSIM) bewerten zwar vom Analysten vorgelegte Vorschläge, können diese jedoch nicht generieren.
Numerische Modelle der optimalen Besteuerung optimieren abstrakte, glatte Zeitpläne unter stilisierten Annahmen und ignorieren dabei die spezifischen gesetzlichen Regeln eines realen Steuergesetzbuchs.
Reinforcement-Learning-Ansätze liefern Black-Box-Politiken, ohne deren Optimalität zu zertifizieren oder Unzulässigkeit nachzuweisen.

Infolgedessen beruhen Reformbemühungen oft auf inkrementellen Anpassungen statt auf einer systematischen Neugestaltung, wodurch die angestrebten Ziele hinsichtlich Effizienz, Gerechtigkeit und Einfachheit verfehlt werden.

Methodik: Ein stückweise-lineares Framework
Die Autoren schlagen vor, die Steuerreform als ein Problem der beschränkten Optimierung zu betrachten. Die zentrale Modellierungs-Einsicht besteht darin, dass unter vier moderaten Annahmen jedes gesetzliche Einkommensteuersystem auf eine endliche, kontinuierliche, stückweise-lineare Funktion für jede Steuerzahnergruppe reduziert werden kann.

Annahmen:
1. Additivität: Der gesamte Steuerdruck ist die Summe der individuellen Regel-Drücke.
2. Skalarer Input: Jede Regel erhebt Steuern auf einen einzelnen Input (z. B. Einkommen).
3. Stückweise Linearität: Der Grenzdrück ist auf Intervallen konstant; der absolute Druck ist eine kontinuierliche, stückweise-lineare Funktion.
4. Gruppenheterogenität: Berechtigung und Parameter hängen von den Merkmalen der Steuerzahler ab, was die Bevölkerung in endliche Gruppen partitioniert.
Mathematische Formulierung:
Die gesamte Steuerverbindlichkeit $f_k(x_i)$ für einen Steuerzahler $i$ in Gruppe $k$ wird wie folgt ausgedrückt:
$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$
wobei $\alpha$ die Grenzsteuersätze sind, $g_b$ die Bracketing-Funktionen definiert durch eine Stützmenge $\Phi$ (Grenzwertschwellen) und $Z_k$ eine Pauschalüberweisung (lump-sum transfer).
Optimierungsstruktur:
- Entscheidungsvariablen: Die gesetzgebungsfähigen Parameter des Steuergesetzes: Sätze ( $\alpha$ ), Schwellenwerte ( $\Phi$ ) und Pauschalüberweisungen ( $Z$ ).
- Nebenbedingungen (Constraints): Politische und distributive Anforderungen, einschließlich:
  - Einkommensgarantien: Grenzen für Änderungen des Nettoeinkommens (z. B. kein Haushalt verliert mehr als $x \%$ ).
  - Marginale Beschränkungen: Obergrenzen für effektive Grenzsteuersätze.
  - Budgetbeschränkungen: Limits für den gesamten Einnahmenverlust/-gewinn.
  - Regelschutz: Harte Nebenbedingungen, um spezifische bestehende Regeln intakt zu halten.
- Ziele (Objectives): Minimierung des Einnahmeverlusts, Minimierung der Systemkomplexität (gewichtete Anzahl aktiver Regeln) oder Minimierung von Armutslücken.
Erweiterungen:
- Komplexität: Wird über ein gewichtetes Kardinalitätsziel (Minimierung aktiver Regeln) mittels Binärvariablen modelliert, was das Problem in ein gemischt-ganzzahliges lineares Programm (MILP) transformiert.
- Dynamisches Bracketing: Behandlung von Schwellenwerten als Entscheidungsvariablen, um das optimale Stütz-Gitter (support grid) auszuwählen.
- Verhaltensreaktionen: Einbeziehung der Elastizität des steuerpflichtigen Einkommens. Dies führt zu einem Produkt aus Entscheidungsvariablen (Rate $\times$ Einkommensreaktion), was ein nicht-konvexes gemischt-ganzzahliges quadratisch beschränktes Programm (MIQCP) zur Folge hat. Die Autoren stellen zudem einen iterativen Fixed-Point-Algorithmus (Algorithmus 1) als LP-only Alternative bereit.
- Infeasibilitäts-Zertifizierung: Wenn sich Nebenbedingungen widersprechen, liefert der Solver ein Irreducible Infeasible Subsystem (IIS), welches ein Zertifikat dafür liefert, dass keine Reform die spezifischen Verpflichtungen erfüllt.

Wesentliche Beiträge

Modellierungsergebnis: Ein Beweis (Proposition 1), dass gesetzliche Kodizes, die die vier Annahmen erfüllen, zu einer einzigen stückweise-linearen Funktion pro Gruppe reduziert werden können, was die Reformierung als Lineares Programm (LP) oder MILP ermöglicht.
Inverse Rekonstruktion: Eine Methode (Proposition 2), um aktuelle Systemparameter aus beobachteten Steuerverbindlichkeiten zu rekonstruieren, inklusive Bedingungen für die eindeutige Identifizierbarkeit.
Reform-Optimierungs-Framework: Eine Bibliothek von Nebenbedingungen und Zielen, die es politischen Entscheidungsträgern ermöglicht, im Raum implementierbarer Kodizes nach optimalen Kandidaten zu suchen oder ein Zertifikat der Unzulässigkeit zu erhalten.
Fallstudie: Eine nahezu vollständige Rekonstruktion des niederländischen Einkommensteuersystems (15 Regeln, 13.500 gewichtete Steuerzahler), die die Generierung zertifizierter Reformen demonstriert.
Software-Implementierung: Die Veröffentlichung von TaxSolver, einem Open-Source, solver-agnostischen Python-Paket.

Ergebnisse: Die niederländische Fallstudie
Das Framework wurde auf das niederländische Steuersystem angewendet, das durch hohe Grenzsteuersatz-Spitzen (>80 %) für viele Haushalte gekennzeichnet ist. Die Autoren generierten Reformkandidaten, die:

Grenzsteuersätze geglättet haben: Die Grenzbelastung wurde auf 55–80 % begrenzt, wodurch die Spitzen eliminiert wurden, die durch den gleichzeitigen Wegfall von Leistungen entstanden.
Haushalte geschützt haben: Garantiert wurde, dass das Nettoeinkommen keines Haushalts unter 95 % seines aktuellen Niveaus fällt.
Komplexität reduziert haben: Die Anzahl der aktiven Regeln wurde durch ein lexikographisches zweistufiges Verfahren (erst Minimierung des Einnahmeverlusts, dann Minimierung der Regelanzahl innerhalb eines begrenzten Einnahmen-Slack) um etwa die Hälfte reduziert (von einem Komplexitätsgewicht von 89 auf ~32–39).
Budgetäre Machbarkeit: Operierte innerhalb eines Bandes von $\pm 1,5 \%$ des Budgets, wobei ein sekundäres Ziel einen zusätzlichen Spielraum von 1 % erlaubte, um Einfachheit zu „erkaufen“.

Die Studie zeigte, dass das Framework in der Lage ist, „zertifizierte“ Reformen zu produzieren – vollständige gesetzliche Vorschläge, die innerhalb des modellierten Raums nachweislich optimal sind – oder zu identifizieren, wenn bestimmte politische Ziele (z. B. extreme Grenzrate-Obergrenzen kombiniert mit striktem Einkommensschutz) unvereinbar sind.

Bedeutung
Das Paper positioniert sich als Brücke zwischen der Theorie der optimalen Besteuerung und der politischen Realität der gesetzlichen Reform. Indem das gesetzliche Regelwerk selbst als Entscheidungsvariable und nicht nur als abstrakter Zeitplan behandelt wird, bietet die Methodik einen praktikablen Weg, um die „Implementierungslücke“ zu schließen. Sie bietet einen rigorosen Mechanismus, um:

Reformvorschläge zu generieren, die harte politische Nebenbedingungen erfüllen (z. B. „kein Haushalt verliert Einkommen“), anstatt lediglich eine Wohlfahrtsfunktion zu optimieren.
Optimalität oder Unzulässigkeit zu zertifizieren, womit über heuristische Suchen hinausgegangen wird, die nicht beweisen können, ob eine Lösung am besten ist oder ob ein Problem unlösbar ist.
Den Trade-off zwischen Systemkomplexität und fiskalischen Ergebnissen zu quantifizieren, was es politischen Entscheidungsträgern ermöglicht, Einfachheit explizit durch kontrollierte Einnahmeverluste zu „kaufen“.

Die Autoren merken an, dass die Methodik derzeit in enger Zusammenarbeit mit den Autoren aktiv vom niederländischen Finanzministerium genutzt wird, was die praktische Nutzbarkeit in einem realen politischen Umfeld validiert.

Technisches Resümee: Steuerreform als ein Problem der beschränkten Optimierung

Mehr davon