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

Resumo Técnico: Reforma Tributária como um Problema de Otimização Restrita

Enunciado do Problema
Os códigos de imposto de renda em nações desenvolvidas evoluíram para sistemas complexos e interativos de faixas, benefícios e deduções. Essa complexidade cria um "hiato de implementação" onde os princípios teóricos de tributação ótima (ex: Mirrlees, 1971; Saez, 2001) divergem drasticamente da realidade estatutária. Um sintoma primário é a emergência de "picos de alíquota marginal" — taxas efetivas que excedem 80% para famílias de baixa e média renda devido à redução simultânea de múltiplos benefícios. Esses picos reduzem os incentivos ao trabalho e são frequentemente subprodutos não pretendidos de reformas históricas ad hoc.

As ferramentas existentes para política tributária enfrentam três limitações:

1. Modelos de microssimulação (ex: EUROMOD, TAXSIM) avaliam propostas fornecidas pelo analista, mas não podem gerá-las.
2. Modelos numéricos de tributação ótima otimizam cronogramas abstratos e suaves sob suposições estilizadas, ignorando as regras estatutárias específicas de um código real.
3. Abordagens de aprendizado por reforço retornam políticas de "caixa-preta" sem certificar a otimalidade ou identificar a inviabilidade.

Consequentemente, os esforços de reforma costumam basear-se em ajustes incrementais em vez de um redesenho sistemático, falhando em atender aos objetivos declarados de eficiência, equidade e simplicidade.

Metodologia: Uma Estrutura Linear por Partes
Os autores propõem tratar a reforma tributária como um problema de otimização restrita. A principal percepção de modelagem é que, sob quatro suposições brandas, qualquer código de imposto de renda estatutário pode ser reduzido a uma função contínua, linear por partes e de dimensão finita para cada grupo de contribuintes.

• Suposições:

  1. Aditividade: A pressão tributária total é a soma das pressões de regras individuais.
  2. Entrada Escalar: Cada regra incide sobre uma única entrada (ex: renda).
  3. Linearidade por Partes: A pressão marginal é constante em intervalos; a pressão absoluta é uma função contínua e linear por partes.
  4. Heterogeneidade de Grupo: A elegibilidade e os parâmetros dependem das características do contribuinte, particionando a população em grupos finitos.

• Formulação Matemática:
  O passivo tributário total $f_k(x_i)$ para um contribuinte $i$ no grupo $k$ é expresso como:
  $$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$$
  onde $\alpha$ são as alíquotas marginais, $g_b$ são funções de faixa definidas por um conjunto de suporte $\Phi$ (limiares de corte) e $Z_k$ é uma transferência de valor fixo (lump-sum).

• Estrutura de Otimização:

  • Variáveis de Decisão: Os parâmetros legisláveis do código: alíquotas ($\alpha$), limiares de faixa ($\Phi$) e transferências de valor fixo ($Z$).
  • Restrições: Requisitos políticos e distributivos, incluindo:
    • Garantias de Renda: Limites para mudanças na renda líquida (ex: nenhuma família perde mais de $x\%$).
    • Restrições Marginais: Tetos para taxas marginais efetivas.
    • Restrições Orçamentárias: Limites para perda/ganho de receita total.
    • Proteção de Regras: Restrições rígidas para manter regras legadas específicas intactas.
  • Objetivos: Minimizar a perda de receita, minimizar a complexidade do sistema (contagem ponderada de regras ativas) ou minimizar lacunas de pobreza.

• Extensões:

  • Complexidade: Modelada via um objetivo de cardinalidade ponderada (minimizando regras ativas) usando variáveis binárias, transformando o problema em um Programa Linear Inteiro Misto (MILP).
  • Dimensionamento Dinâmico de Faixas: Tratar os pontos de corte como variáveis de decisão para selecionar a grade de suporte ideal.
  • Respostas Comportamentais: Incorporar a elasticidade da renda tributável. Isso introduz um produto de variáveis de decisão (alíquota $\times$ resposta da renda), resultando em um Programa de Restrição Quadrática Inteiro Misto Não Convexo (MIQCP). Os autores também fornecem um algoritmo de ponto fixo iterativo (Algoritmo 1) como uma alternativa apenas de LP.
  • Certificação de Inviabilidade: Se as restrições conflitarem, o solver retorna um Subsistema Inviável Irredutível (IIS), fornecendo um certificado de que nenhuma reforma satisfaz o conjunto específico de compromissos.

Principais Contribuições

1. Resultado de Modelagem: Uma prova (Proposição 1) de que códigos estatutários que satisfazem as quatro suposições reduzem-se a uma única função linear por partes por grupo, permitendo que a reforma seja formulada como um Programa Linear (LP) ou MILP.
2. Recuperação Inversa: Um método (Proposição 2) para recuperar os parâmetros do sistema atual a partir dos passivos tributários observados, com condições para identificabilidade única.
3. Estrutura de Otimização de Reforma: Uma biblioteca de restrições e objetivos que permite aos formuladores de políticas pesquisar o espaço de códigos implementáveis para encontrar candidatos ótimos ou receber um certificado de inviabilidade.
4. Estudo de Caso: Uma reconstrução quase completa do código de imposto de renda holandês (15 regras, 13.500 contribuintes ponderados) demonstrando a geração de reformas certificadas.
5. Implementação de Software: O lançamento do TaxSolver, um pacote Python de código aberto e agnóstico a solvers.

Resultos: O Estudo de Caso Holandês
A estrutura foi aplicada ao sistema tributário holandês, caracterizado por altos picos de taxa marginal (>80%) para muitas famílias. Os autores geraram candidatos de reforma que:

• Suavizaram as Taxas Marginais: Limitaram a pressão marginal entre 55–80%, eliminando os picos causados pela redução simultânea de benefícios.
• Protegeram as Famílias: Garantiram que nenhuma família tivesse sua renda líquida abaixo de 95% de seu nível atual.
• Reduziram a Complexidade: Reduziram aproximadamente pela metade o número de regras ativas (de um peso de complexidade de 89 para ~32–39) através de um procedimento lexicográfico de dois estágios (primeiro minimizando a perda de receita, depois minimizando a contagem de regras dentro de uma folga de receita limitada).
• Viabilidade Orçamentária: Operou dentro de uma banda orçamentária de $\pm 1,5\%$, com um objetivo secundário permitindo uma folga adicional de 1% para "comprar" simplicidade.

O estudo demonstrou que a estrutura poderia produzir reformas "certificadas" — propostas estatutárias completas que são comprovadamente ótimas dentro do espaço modelado — ou identificar quando objetivos de política específicos (ex: limites extremos de taxa combinados com proteção rigorosa de renda) são mutuamente incompatíveis.

Significância
O artigo posiciona-se como uma ponte entre a teoria da tributação ótima e a realidade política da reforma estatutária. Ao tratar o próprio código estatutário como a variável de decisão, em vez de um cronograma abstrato, a metodologia oferece uma forma tratável de navegar o "hiato de implementação". Ela fornece um mecanismo rigoroso para:

• Gerar propostas de reforma que satisfaçam restrições políticas rígidas (ex: "nenhuma família perde renda") em vez de apenas otimizar uma função de bem-estar.
• Certificar a otimalidade ou inviabilidade, indo além de buscas heurísticas que não podem provar que uma solução é a melhor ou que um problema é insolúvel.
• Quantificar o compromisso (trade-off) entre a complexidade do sistema e os resultados fiscais, permitindo que os formuladores de políticas possam explicitamente "comprar" simplicidade com perdas de receita controladas.

Os autores observam que a metodologia está atualmente em uso ativo pelo Ministério das Finanças dos Países Baixos, desenvolvida em estreita colaboração com os autores, validando sua utilidade prática em um ambiente de política real.