Pareto‐Improving Tax Reforms and the Earned Income Tax Credit¶

作者: Felix J. Bierbrauer, Pierre C. Boyer, Emanuel Hansen
来源: Econometrica
主题: 经济理论 / 应用
相关性: 5/10
机构绿灯: École Polytechnique（US News 前 50，免分进入精读）
链接: https://doi.org/10.3982/ecta18600

一、领域脉络与小综述¶

这个方向是什么¶

本文属于最优税收理论（Optimal Taxation Theory）中的一个子方向：帕累托改进税制改革的识别。其根本问题是：给定一个现存的税收-转移支付系统（包含所得税、补贴、福利等），是否存在一种连续的、微小的税率调整方向（即“改革方向”），使得所有人的福利都不变差、且至少有一人变好（即帕累托改进）？如果存在，如何系统地识别它？如果不存在，系统就是帕累托有效的。这个子方向的核心挑战在于：个体对税收变化的行为反应（劳动供给弹性）会改变税基，从而影响政府预算约束，使得“谁受益、谁受损”的福利分析变得复杂。当前成熟度：这是一个经典的经济理论问题，已有大量理论工作，但本文声称提供了一个新的、更可操作的识别框架。

发展脉络（history）¶

奠基工作：最优税收理论的现代框架始于 Mirrlees (1971)，他建立了在信息不对称（政府不知道个体的真实能力）下设计最优非线性所得税的模型。Diamond and Mirrlees (1971) 进一步将生产效率和税收效率联系起来。这些工作奠定了“政府通过税收进行再分配”的理论基础，但主要关注最优系统，而非从现有系统出发的改进。

主要进展（帕累托改进方向）：将帕累托改进概念引入税收改革分析的关键是 Guesnerie (1977)，他提出了“改革方向”（reform direction）的概念，并给出了存在帕累托改进方向的必要条件。Dixit (1979) 和 Weymark (1979) 等进一步形式化了这一框架，将问题转化为在政府预算约束下，寻找一个使所有人效用不降的税收变化向量。这些工作通常依赖于无限维的税收函数空间，使得条件难以直接检验。

当前 frontier 与本文的位置：近期的进展集中在有限维参数化的税收系统上，例如线性税率或分段线性税率（即“税率档次”）。Saez (2001) 和 Piketty and Saez (2013) 的工作极大地推动了“充分统计量方法”（sufficient statistics approach），该方法用可观测的劳动供给弹性和收入分布来刻画最优税率和改革效应。本文正是在此基础上，将帕累托改进的识别问题参数化到有限个税率档次上。作者声称，他们的主要贡献是证明了“两个税率档次就足够了”：如果无法通过改变一个或两个收入档次的税率来改进系统，则不存在任何连续的帕累托改进方向。这大大简化了识别问题，使其从无限维的变分问题降维到有限维的线性规划问题。

子线索聚类¶

这些被引文献大致落在两条子线索上：

最优税收理论（Optimal Taxation）：关注“什么是最好的税收系统”。代表工作：Mirrlees (1971), Diamond and Mirrlees (1971), Saez (2001), Piketty and Saez (2013)。这一簇的核心是推导最优税率公式，通常依赖于对政府目标函数（如社会福利函数）的假设。本文不直接属于这一簇，但大量借鉴了其充分统计量方法。
帕累托改进税制改革（Pareto-Improving Tax Reforms）：关注“从现有系统出发，能否改进”。代表工作：Guesnerie (1977), Dixit (1979), Weymark (1979)。这一簇的核心是识别改革方向的存在性，通常依赖于无限维的变分法。本文直接属于这一簇，并声称通过参数化（有限税率档次）解决了其可操作性难题。

这个方向在追问的核心问题¶

识别问题：给定一个现实的、复杂的税收-转移支付系统（如美国的EITC），如何系统地判断是否存在帕累托改进的改革方向？主流方法是充分统计量方法，但通常需要计算复杂的积分或求解变分问题。
行为反应：个体对税率变化的劳动供给反应（弹性）如何影响改革空间？主流方法是通过收入效应和替代效应来分解行为反应，并用补偿需求的概念来刻画福利变化。
可操作性：如何将理论条件转化为可检验的、基于数据的条件？已知瓶颈是：无限维的税收函数空间使得理论条件难以直接应用于现实政策评估。

⚠️ 作者的 framing¶

作者将缺口 frame 成：“现有识别帕累托改进改革方向的方法要么过于复杂（无限维），要么依赖于对政府目标函数的强假设（最优税收）。我们提供了一个新的、基于有限个税率档次的、仅依赖于帕累托效率的充要条件，从而大大简化了识别问题。”

被淡化或回避的竞争路线：作者淡化了最优税收理论中基于社会福利函数的“最优”改革路径。他们强调自己的方法不依赖于任何社会福利函数，只依赖于帕累托效率，因此更“稳健”。他们也回避了非线性税收的复杂性，将分析限定在分段线性（即有限个税率档次）的税收系统上。这既是其方法的优势（可操作），也是其局限（现实系统可能更复杂）。
什么明显该被引/该存在、却没出现在intro里？：从摘要和intro看，作者没有引用任何关于因果推断或部分识别的文献。然而，其识别策略——在给定行为反应假设下，推导出改革是否为帕累托改进的充要条件——与因果推断中的部分识别（partial identification）思想有深刻的共鸣。例如，他们需要知道劳动供给弹性，但可能只知道其一个区间，那么改革是否为帕累托改进的结论可能也是部分识别的。这是一个值得研究者去查的潜在连接点。

张力¶

未见明显对立引用。所有被引工作基本在同一个理论框架下（Mirrlees模型及其扩展）进行讨论，彼此之间是互补和递进关系，而非矛盾关系。

二、最核心、最简单的例子 / 数学问题¶

第一步：把符号、模型、可观测数据交代清楚¶

符号：
- \(n\): 个体类型（如能力、生产率），连续分布，\(n \in [\underline{n}, \bar{n}]\)。
- \(z(n)\): 类型为 \(n\) 的个体的税前收入（earnings）。这是内生变量，取决于个体的劳动供给决策和税率。
- \(T(z)\): 税收-转移支付函数（tax-transfer function）。\(T(z)\) 是税前收入 \(z\) 的函数，可以是正的（纳税）或负的（获得补贴）。这是政策变量，是我们要评估和改革的。
- \(c(n) = z(n) - T(z(n))\): 类型为 \(n\) 的个体的消费（税后收入）。
- \(u(c, z; n)\): 个体的效用函数。通常假设 \(u\) 关于消费 \(c\) 递增、关于劳动（通过 \(z\) 体现）递减。\(n\) 是异质性参数，影响劳动-消费的边际替代率。
- \(R = \int T(z(n)) dF(n)\): 政府总税收收入（或总预算）。\(F(n)\) 是类型的分布函数。政府预算约束是 \(R \ge \bar{R}\)，其中 \(\bar{R}\) 是政府支出需求。
- \(\tau_i\): 第 \(i\) 个税率档次（tax bracket）的边际税率。例如，收入在 \([a_{i-1}, a_i)\) 之间的部分，每多赚1元，需要缴纳 \(\tau_i\) 元的税。
- \(d\tau_i\): 一个改革方向，即对第 \(i\) 个税率档次的边际税率的一个微小变化（可以是正或负）。
- \(\frac{dz(n)}{d\tau_i}\): 个体 \(n\) 对第 \(i\) 个税率档次边际税率变化的行为反应，即其税前收入的变化。这是劳动供给弹性的体现。
模型：
- 数据生成机制：个体 \(n\) 在给定税收函数 \(T(\cdot)\) 下，通过选择劳动供给（从而选择税前收入 \(z\)）来最大化其效用 \(u(z - T(z), z; n)\)。这产生了一个均衡的收入分布 \(z(n)\) 和消费分布 \(c(n)\)。
- 统计模型：这是一个结构模型（structural model）。效用函数 \(u\) 和类型分布 \(F\) 是未知的。税收函数 \(T\) 是已知的政策变量。个体行为反应（如 \(\frac{dz(n)}{d\tau_i}\)）是需要估计或假设的参数。
- 已知：税收函数 \(T\) 的结构（如税率档次和税率）。要估的对象：改革方向 \(d\tau_i\) 是否构成帕累托改进。
可观测数据：
- 可观测：个体的税前收入 \(z\) 的分布（来自税务数据或调查数据）。税收函数 \(T\) 是已知的政策。因此，可以计算出每个个体的税后收入 \(c\)。
- 不可观测：个体的类型 \(n\)（能力、偏好）。个体的效用函数 \(u\)。个体对税率变化的反事实行为反应 \(\frac{dz(n)}{d\tau_i}\)（我们只能观测到当前税率下的行为，无法直接观测到如果税率改变，他们会如何改变劳动供给）。因此，行为反应是识别问题的核心难点，必须通过假设（如劳动供给弹性已知）或估计来获得。

第二步：讲最小内核¶

最简特例：假设税收系统只有一个税率档次，即一个线性所得税：\(T(z) = \tau z - G\)，其中 \(\tau\) 是边际税率，\(G\) 是一次性转移支付（lump-sum transfer）。那么，一个“改革方向”就是改变 \(\tau\) 和 \(G\)，即 \((d\tau, dG)\)。

在这个特例下，要证的命题退化成什么？

帕累托改进的条件是：存在一个微小的改革 \((d\tau, dG)\)，使得： 1. 政府预算平衡：改革后，政府税收收入的变化 \(dR\) 必须为0（或非负，取决于预算约束）。\(dR = \int [z(n) d\tau + \tau dz(n)] dF(n) - dG = 0\)。 2. 所有人的效用不降：对于每个个体 \(n\)，其效用变化 \(du(n) \ge 0\)。

证明怎么走？

效用变化：利用包络定理（Envelope Theorem），个体 \(n\) 的效用变化可以分解为：
\[du(n) = u_c(n) \cdot \left[ -z(n) d\tau + dG \right]\]
其中 \(u_c(n)\) 是消费的边际效用。这个公式的关键是：行为反应 \(\frac{dz(n)}{d\tau}\) 对效用的一阶影响为0，因为个体在初始点已经最优选择了劳动供给。因此，效用变化只取决于直接的价格效应（\(d\tau\) 和 \(dG\)），而不取决于行为反应。这是帕累托改进分析的核心简化。
帕累托改进条件：要使所有人效用不降，我们需要：
\[-z(n) d\tau + dG \ge 0 \quad \text{对所有 } n\]
这意味着，对于收入最低的人（\(z_{min}\)）和收入最高的人（\(z_{max}\)），必须有：
\[dG \ge z_{max} d\tau \quad \text{和} \quad dG \ge z_{min} d\tau\]
如果 \(d\tau > 0\)（提高税率），则 \(dG \ge z_{max} d\tau\) 是最紧的约束（高收入者损失最大）。如果 \(d\tau < 0\)（降低税率），则 \(dG \ge z_{min} d\tau\) 是最紧的约束（低收入者损失最大，因为他们的补贴减少）。
预算约束：政府预算平衡条件为：
\[dR = \bar{z} d\tau + \tau \int \frac{dz(n)}{d\tau} dF(n) - dG = 0\]
其中 \(\bar{z}\) 是平均收入。\(\tau \int \frac{dz(n)}{d\tau} dF(n)\) 是行为反应导致的税基变化，通常称为“拉弗曲线效应”（Laffer effect）。
核心结论：将效用条件代入预算约束，可以推导出存在帕累托改进改革方向 \((d\tau, dG)\) 的充要条件。这个条件通常涉及劳动供给弹性和收入分布。例如，如果当前税率 \(\tau\) 已经很高，以至于降低税率（\(d\tau < 0\)）带来的行为反应（劳动供给增加）足以弥补税率降低带来的直接收入损失，那么就可能存在一个帕累托改进的改革（降低税率，同时调整 \(G\) 使所有人受益）。

为什么成立？

这个特例揭示了帕累托改进分析的核心机制：通过调整税率和一次性转移支付，可以在不同收入群体之间重新分配改革带来的“效率收益”（来自行为反应）和“效率损失”（来自扭曲）。如果行为反应足够大（弹性高），降低税率可能带来效率收益，这些收益可以通过增加转移支付 \(G\) 来补偿给所有人，从而实现帕累托改进。反之，如果弹性小，提高税率可能更有效。

论文的一般情形：本文的一般化就是将上述“一个税率档次”的线性税，推广到多个税率档次的分段线性税。核心思想不变，但计算更复杂：改革方向变成了一个向量 \((d\tau_1, ..., d\tau_K)\)，效用变化和预算约束都需要在每个收入区间上积分，并且要考虑个体在不同税率档次之间的跨档行为反应（例如，一个收入在第二档的人，如果第一档税率变化，他可能改变劳动供给，从而“跳”到第一档）。本文的关键贡献是证明了，在分段线性税下，只需要考虑改变一个或两个税率档次，就能判断是否存在任何帕累托改进方向。

三、这篇论文做了什么¶

三句话¶

研究了什么问题：在分段线性所得税-转移支付系统下，如何识别是否存在帕累托改进的连续改革方向。
核心工具/方法：利用充分统计量方法（劳动供给弹性、收入分布）和包络定理，将帕累托改进的识别问题转化为一个有限维线性规划问题，并推导出存在帕累托改进方向的充要条件。
主要结论：“两个税率档次就足够了”——如果无法通过改变一个或两个收入档次的税率来改进系统，则不存在任何连续的帕累托改进方向。作者将该方法应用于1975年美国EITC的引入，发现改革前的系统并非帕累托有效，且1975年的改革本身也非帕累托改进，但一个更广泛的补贴方案本可以是。

关键设定与假设¶

在第二节最小记号的基础上，补全完整设定：

税收函数：分段线性，有 \(K\) 个税率档次。收入区间为 \([0, a_1), [a_1, a_2), ..., [a_{K-1}, \infty)\)。每个区间的边际税率为 \(\tau_i\)。税收函数为 \(T(z) = \sum_{i=1}^K \tau_i \cdot \max(0, \min(z, a_i) - a_{i-1}) - G\)，其中 \(a_0 = 0\)，\(G\) 是一次性转移支付。
个体行为：个体 \(n\) 在给定税收函数下最大化效用 \(u(c, z; n)\)。假设效用函数是拟线性的（quasi-linear）或可分离的（separable），以便于分析。具体地，作者假设 \(u(c, z; n) = v(c) - \psi(z/n)\)，其中 \(v\) 是递增凹函数，\(\psi\) 是递增凸函数。这保证了劳动供给决策只取决于边际税率，而不取决于收入水平（无收入效应）。
关键假设：
- 无收入效应（No income effects on labor supply）：这是充分统计量方法的标准假设，使得行为反应只由替代效应驱动，大大简化了分析。作者在附录中讨论了放松该假设的情况。
- 连续分布：个体类型 \(n\) 服从一个连续分布，且收入 \(z(n)\) 是 \(n\) 的严格递增函数（即能力越高，收入越高）。这保证了收入分布是连续的，且每个收入水平对应唯一的个体类型。
- 已知劳动供给弹性：作者假设劳动供给弹性 \(\epsilon(z)\) 是已知的（或可以从文献中获取）。这是充分统计量方法的核心输入。
相比已有文献的强化/放宽：
- 强化：相比Guesnerie (1977) 的无限维框架，本文通过参数化税收函数（分段线性）和假设无收入效应，将问题降维到有限维，使得充要条件可操作。
- 放宽：相比最优税收理论（如Saez, 2001），本文不依赖于任何社会福利函数，只依赖于帕累托效率，因此结论更稳健。

主要结果¶

定理1（两个税率档次就足够了）：在分段线性所得税系统下，如果不存在一个帕累托改进的改革方向，该方向只涉及改变一个或两个相邻的税率档次（以及一次性转移支付 \(G\)），那么就不存在任何连续的帕累托改进方向。

直觉：这个定理的核心是，帕累托改进的“障碍”总是可以归结为两个相邻收入群体之间的冲突。如果系统不是帕累托有效的，那么一定存在某个“瓶颈”收入区间，通过调整该区间及其相邻区间的税率，就可以实现改进。这类似于线性规划中，最优解总是在顶点上达到。
必要条件：该定理成立依赖于无收入效应假设和连续收入分布假设。
解决的技术难点：如何将无限维的变分问题转化为有限维的线性规划问题，并证明其等价性。作者通过对偶理论（duality theory）和凸分析（convex analysis）来证明，任何帕累托改进方向都可以被分解为一系列“局部”的、只涉及两个税率档次的改革。

定理2（帕累托改进的充要条件）：存在一个帕累托改进的改革方向，当且仅当存在一个收入区间 \([a_{i-1}, a_i)\)，使得在该区间上，一个特定的“福利加权”的边际税收收入变化为正。

直觉：这个条件将帕累托改进的存在性归结为一个可检验的不等式。该不等式涉及该收入区间的平均收入、边际税率、劳动供给弹性以及收入分布的密度。如果这个不等式成立，就意味着通过调整该区间的税率，可以产生足够的“效率收益”来补偿所有人。
必要条件：需要知道劳动供给弹性 \(\epsilon(z)\) 和收入分布 \(f(z)\)。

证明路线与技术技巧¶

整体路线：
1. 定义改革方向：一个改革方向是一个向量 \((d\tau_1, ..., d\tau_K, dG)\)。
2. 刻画效用变化：利用包络定理，个体 \(n\) 的效用变化 \(du(n)\) 可以表示为 \(d\tau_i\) 和 \(dG\) 的线性函数，系数取决于其收入 \(z(n)\) 和消费的边际效用 \(u_c(n)\)。
3. 刻画预算约束：政府预算变化 \(dR\) 可以表示为 \(d\tau_i\) 和 \(dG\) 的线性函数，系数取决于平均收入和行为反应（通过劳动供给弹性）。
4. 转化为线性规划：帕累托改进的存在性问题等价于：是否存在一个向量 \((d\tau_1, ..., d\tau_K, dG)\)，使得 \(du(n) \ge 0\) 对所有 \(n\) 成立，且 \(dR \ge 0\)。这是一个无限维的线性规划问题（因为约束条件对每个 \(n\) 都成立）。
5. 对偶与降维：作者利用对偶理论，将原问题转化为一个有限维的对偶问题。对偶问题的变量是“福利权重”（welfare weights），即对每个个体 \(n\) 赋予一个非负权重。帕累托改进不存在当且仅当存在一组福利权重，使得对偶问题的目标函数为负。
6. “两个档次”的证明：作者进一步证明，如果对偶问题的最优解存在，那么它一定可以表示为最多两个“临界”个体的福利权重。这两个临界个体对应于两个相邻收入区间的边界。因此，只需要检查改变这两个区间对应的税率档次，就能判断帕累托改进是否存在。
关键跳跃点：从无限维的原始问题到有限维的对偶问题，并证明对偶问题的解具有“稀疏性”（最多两个非零权重）。这是整个证明最吃功夫的地方。作者使用了凸分析中的支撑超平面定理（Supporting Hyperplane Theorem）和Krein-Milman定理（Krein-Milman Theorem）来证明这一点。
技术技巧点名：
- 包络定理：用于简化效用变化，消除行为反应的一阶效应。
- 充分统计量方法：用劳动供给弹性 \(\epsilon(z)\) 和收入分布 \(f(z)\) 来参数化行为反应和预算约束。
- 对偶理论/线性规划对偶：将无限维的帕累托改进存在性问题转化为有限维的对偶问题。
- 凸分析/支撑超平面定理：用于证明对偶问题解的存在性和稀疏性。
- Krein-Milman定理：用于证明对偶问题的极值点（extreme points）对应于“临界”个体。

真实例子与应用¶

用的什么数据/场景：1975年美国劳动所得税抵免（EITC） 的引入。作者使用了1975年改革前的美国税收-转移支付系统数据（包括联邦所得税、社会保障税、AFDC等福利项目）和收入分布数据。
怎么把本文方法用上去：
1. 参数化：将1975年改革前的美国税收-转移支付系统近似为一个分段线性的税收函数，包含多个税率档次和补贴档次。
2. 估计/假设弹性：从文献中获取劳动供给弹性 \(\epsilon(z)\) 的估计值（例如，低收入群体弹性较高，高收入群体弹性较低）。作者考虑了不同的弹性假设进行稳健性检验。
3. 应用定理：利用定理1和定理2，检验是否存在帕累托改进的改革方向。具体地，他们计算了每个收入区间上的“福利加权边际税收收入变化”，并检查其是否为正。
得到什么结果：
1. 改革前系统非帕累托有效：在合理的弹性假设下，作者发现1975年改革前的美国税收-转移支付系统不是帕累托有效的。存在帕累托改进的改革方向。
2. 1975年改革本身非帕累托改进：1975年的EITC改革（主要针对有孩子的低收入家庭）本身不是帕累托改进。它使一些低收入家庭受益，但使一些中等收入家庭（因税收增加）和高收入家庭（因补贴减少）受损。
3. 定性上方向正确：作者发现，一个更广泛的EITC改革——将收入补贴覆盖到更广的收入范围（例如，不仅限于有孩子的家庭，也覆盖无孩子的低收入工人）——本可以是帕累托改进的。这表明，1975年改革的方向（增加对低收入者的补贴）是正确的，但其设计（覆盖范围太窄）导致了非帕累托改进的结果。
这个例子想说明什么：这个例子旨在展示本文方法的实用性和洞察力。它不仅可以判断一个历史改革是否为帕累托改进，还可以反事实地分析“什么样的改革本可以是帕累托改进”，从而为政策设计提供指导。它验证了理论（“两个档次就够了”），并展示了相对于传统最优税收方法（需要假设社会福利函数）的优势——结论更稳健，不依赖于对政府目标的强假设。

🔎 结论是否比证明窄¶

是的。作者在intro和结论中声称他们的方法可以识别“帕累托改进税制改革”，但证明严格依赖于无收入效应假设。在附录中，他们讨论了放松该假设的情况，但并未给出完整的充要条件。因此，“两个档次就够了”这一核心结论的严格证明，目前只适用于无收入效应的情形。作者在正文中（如第4节）也承认了这一点，并指出有收入效应时，分析会更复杂，可能需要考虑更多税率档次。这是一个值得注意的“窄化”。

四、开放问题¶

有收入效应下的推广：本文的核心结论“两个档次就够了”严格依赖于无收入效应假设。在有收入效应的一般情形下，是否存在类似的、有限维的充要条件？需要改变多少个税率档次？这扎根于本文第4节和附录中对收入效应的讨论。
非线性税收系统：本文的分析限定在分段线性税收系统。对于更一般的非线性税收系统（如连续可微的税收函数），是否存在类似的、基于有限个“临界点”的识别条件？这扎根于本文第1节对Guesnerie (1977) 等无限维框架的引用。
部分识别与敏感性分析：本文假设劳动供给弹性 \(\epsilon(z)\) 是已知的。但在实践中，弹性是估计出来的，存在不确定性。如何将本文的充要条件与部分识别（partial identification）或敏感性分析（sensitivity analysis）结合起来，在弹性未知但属于某个区间时，判断改革是否为帕累托改进？这扎根于本文第5节对弹性假设的稳健性检验，但并未给出一个系统的部分识别框架。
动态/跨期改革：本文分析的是静态的、一次性的改革。在动态经济中，个体可能对未来税收变化有预期，从而改变当前行为。如何将本文的方法扩展到动态税收改革？这扎根于本文第6节（结论）中提到的未来研究方向。

Maintained by 陈星宇 · Homepage · Source on GitHub