Cap‐and‐Trade and Carbon Tax Meet Arrow–Debreu¶
作者: Robert M. Anderson, Haosui Duanmu
来源: Econometrica
主题: 经济理论 / 应用
相关性: 2/10
机构绿灯: University of California, Berkeley（US News 前 50，免分进入精读）
链接: https://doi.org/10.3982/ecta22923
一、领域脉络与小综述¶
这个方向是什么： 这个子方向要解决的根本问题是：在包含外部性（特别是环境污染/碳排放）的 Arrow–Debreu 一般均衡框架下，政府通过设定排放配额或排放税率这两种不同政策工具干预市场后，市场能否自发达到均衡？如果达到，均衡是否具有 Pareto 最优性？以及，这两种在局部均衡/局部模型中常被认为等价的工具，在一般均衡中是否真的等价？当前该方向的成熟度处于经典理论已完备（无外部性的一般均衡存在性与最优性）、但引入特定外部性后的政策工具比较仍存在数学反例与理论空白的阶段。
发展脉络： - 奠基工作：Arrow & Debreu (1954) 建立了无外部性下一般均衡存在性的标准框架；随后 Debreu (1954) 给出了 Pareto 最优性与均衡等价的第一福利定理。 - 引入外部性：Starrett (1972) 证明了在存在负外部性时，如果外部性不能被内部化为商品，标准 Arrow–Debreu 均衡可能不存在；这迫使后续文献必须寻找新的均衡定义。 - 主要进展：为了克服存在性难题，文献分化出两条路线：一条是引入 Lindahl 均衡或 Pigou 税（如 Foley 1967, Sandmo 1975），假设政府能精准设定等于边际外部成本的税率并返还税收；另一条是引入可交易的排放配额（Cap-and-Trade），将外部性内部化为产权（如 Montgomery 1972, Tietenberg 1985）。 - 当前 frontier 与本文位置：作者在引言中指出，现有文献在讨论 Cap-and-Trade 与 Carbon Tax 的等价性时，往往依赖于局部均衡假设或假设政府能根据均衡结果动态调整税率（"refrains from further action" 这一条件被淡化）。本文的位置是：在政府设定总量或税率后不再干预的严格设定下，重新审视这两种均衡的存在性、最优性与等价性，并给出了排放税均衡不存在及两者不等价的严格数学证明。
子线索聚类： 被引文献大致落在三条子线索上： 1. 标准一般均衡与福利定理（Arrow-Debreu, Debreu）：在无外部性下，均衡存在且 Pareto 最优。这一簇为本文提供了基准框架与反证的起点。 2. 外部性下的均衡存在性与内部化（Starrett, Foley, Sandmo）：处理外部性导致的标准均衡不存在问题，通过税或 Lindahl 机制恢复存在性。本文的配额均衡沿袭了将外部性产权化的思路，但对政府后续行为做了更弱的假设。 3. 环境政策的等价性争论（Montgomery, Tietenberg, Weitzman 1974）：在局部或特定假设下讨论价格工具（税）与数量工具（配额）的等价或优劣。本文正是在这一簇上，用一般均衡框架给出了不等价的反例。
核心追问： 1. 政府设定排放总量后退出，市场能否自发达到均衡？（配额均衡的存在性） 2. 此时的均衡是否是给定排放总量下的 Pareto 最优？（配额的最优性） 3. 政府设定税率后退出，市场能否自发达到均衡？（税均衡的存在性） 4. 同一政策目标下，配额与税是否等价？（等价性）
⚠️ 作者的 framing： 作者将缺口 frame 为：现有文献对 Cap-and-Trade 与 Carbon Tax 等价性的论证，要么依赖局部均衡，要么隐含假设政府会根据均衡结果调整税率（即政府不 refrains from further action）。作者通过强调"政府设定后不再干预"，使得排放税均衡的存在性与等价性出现裂缝，从而让本文的配额均衡与不等价反例成为"显然的下一步"。 被淡化或回避的竞争路线：作者没有深入讨论动态博弈或机制设计路线（如政府承诺税率后的时间不一致性问题），而是将其简化为一次性静态均衡问题。此外，引言中未出现基于统计/计量经济学的政策评估文献（如 DML, IV 在环境政策中的应用），这属于跨学科的缺失，但对本文的纯理论目标而言并非必须。 明显该被引却未出现的：涉及多重均衡下政策比较的宏观文献（如 Farmer 1999 等 sunspot equilibrium 工作），因为本文的核心发现之一正是多重均衡导致的 inequivalence，但引言未将此与宏观中的多重均衡传统相连接——这是一个值得研究者去查的问题。
张力： 未见明显对立引用。Starrett (1972) 证明了外部性下标准均衡不存在，而 Foley/Sandmo 证明了加税后可以恢复存在性；本文的张力在于：即使加税，如果政府不根据均衡结果调整税率，存在性仍可能崩溃（对某些税率不存在），这构成了对"加税即恢复存在性"这一直觉的精确修正。
二、最核心、最简单的例子 / 数学问题¶
第一步：符号、模型、可观测数据交代清楚
- \(I\)：消费者集合（有限集）。
- \(J\)：生产者集合（有限集）。
- \(L\)：商品空间（\(\mathbb{R}^L\)，包含普通商品与排放相关变量）。
- \(e_i \in \mathbb{R}^L\)：消费者 \(i\) 的初始禀赋。
- \(Y_j \subset \mathbb{R}^L\)：生产者 \(j\) 的生产集（包含技术约束与排放关系）。
- \(X_i \subset \mathbb{R}^L\)：消费者 \(i\) 的消费集。
- \(u_i\)：消费者 \(i\) 的效用函数。
- \(z\)：总净排放量，是所有消费者与生产者行为的函数：\(z = \sum_i x_i + \sum_j y_j\) 在特定分量上的投影（这是外部性的源头）。
- \(q\)：政府设定的排放配额（总量约束），是一个实数。
- \(t\)：政府设定的排放税率，是一个实数。
- \(p \in \mathbb{R}^L\)：市场价格向量。
- \(p_z\)：配额价格（在配额均衡中内生决定）。
- 可观测数据：在一般均衡理论中，"可观测"的是市场价格 \(p\)、配额价格 \(p_z\)、消费分配 \(x_i\)、生产计划 \(y_j\)、总净排放 \(z\)。不可观测的是偏好 \(u_i\)、技术 \(Y_j\) 的具体参数化形式，以及政府设定 \(q\) 或 \(t\) 的决策规则（本文假设政府决策规则任意，只要求设定后不再干预）。
第二步：最小内核——配额与税不等价的最简特例
剥掉所有一般性设定（多商品、多生产者），考虑只有 1 种普通商品 + 1 种排放、1 个消费者、1 个生产者的特例。
- 生产者的生产集 \(Y\) 满足：产出普通商品 \(y_1\) 必须伴随排放 \(y_2 < 0\)（设排放为负数），技术约束为 \(y_1 \leq -y_2\)（产出越多，排放越多）。
- 消费者的效用 \(u(x_1, z)\) 依赖于消费 \(x_1\) 和总净排放 \(z\)（负外部性：\(z\) 越大，效用越低）。
- 政府设定配额 \(q\)（要求 \(z \leq q\)）或设定税率 \(t\)（对每单位排放征 \(t\)）。
配额均衡：生产者在价格 \((p_1, p_z)\) 下最大化利润 \(p_1 y_1 + p_z y_2\)，同时满足 \(y_2 \geq -q\)（排放不超过配额）。消费者在预算约束下最大化效用。均衡存在，且 Pareto 最优（在 \(z = q\) 的约束下）。
排放税均衡：生产者在价格 \(p_1\) 下最大化利润 \(p_1 y_1 + t y_2\)（排放成本为 \(t\)）。关键困难：如果 \(t\) 设得太低，生产者会选择高排放，导致 \(z\) 很大，消费者效用极低；如果 \(t\) 设得太高，生产者可能选择零排放，导致 \(y_1 = 0\)，消费者无商品可消费。在某些中间税率 \(t\) 下，生产者的最优排放量可能是不连续的（跳跃），导致供给与需求在任意价格下都无法匹配——这就是税均衡不存在的最小内核。
不等价的最简机制：假设技术使得在配额 \(q\) 下，均衡配额价格 \(p_z\) 可以是 \(p_z^A\) 或 \(p_z^B\)（多重均衡）。对应地，如果政府设定税率 \(t = p_z^A\)，均衡排放为 \(q\)；如果设定 \(t = p_z^B\)，均衡排放也是 \(q\)。但反过来，如果政府设定税率 \(t = p_z^A\)，市场可能选择排放 \(q^A\) 或 \(q^B\)（多重均衡），而 \(q^A \neq q\)。因此，同一税率对应不同排放，同一配额对应不同价格，配额与税不等价。
三、这篇论文做了什么¶
三句话： ①研究了在 Arrow–Debreu 一般均衡框架下，政府设定排放配额或排放税率后不再干预时，均衡的存在性、最优性与等价性问题。 ②核心工具是配额均衡与排放税均衡的新定义，以及基于标准假设（连续性、凸性）的均衡存在性证明与多重均衡构造。 ③主要结论是：配额均衡存在且在给定排放约束下 Pareto 最优；排放税均衡对某些税率可能不存在；配额与税均衡在多重均衡下不等价。
关键设定与假设： - Quota Equilibrium：政府设定总净排放配额 \(q\)，市场内生配额价格 \(p_z\)，生产者与消费者在价格 \((p, p_z)\) 与配额约束 \(z \leq q\) 下优化。政府不参与市场交易，配额产权的分配（谁初始拥有配额）影响分配但不影响存在性与最优性。 - Emission Tax Equilibrium：政府设定税率 \(t\)，生产者与消费者在价格 \(p\) 与税收 \(t \cdot z\) 下优化，政府将税收一次性返还。政府不根据均衡结果调整 \(t\)。 - 假设：标准 Arrow–Debreu 假设——消费集 \(X_i\) 闭凸下界、偏好连续凸单调、生产集 \(Y_j\) 闭凸包含 0、禀赋在消费集内部。额外假设：外部性仅通过总净排放 \(z\) 进入效用函数（\(u_i(x_i, z)\)），且 \(z\) 是可加的。 - 统计含义：这些假设对应于因果推断中的 SUTVA（个体处理效应不随他人选择变化，除非通过总量 \(z\)）与单调性（排放越多效用越低）。相比已有文献，本文放宽了"政府动态调整税率"的隐含假设，强化了"政府不再干预"的约束。
主要结果： 1. 配额均衡存在性（Theorem 1）：在标准假设下，配额均衡存在。直觉：配额将外部性内部化为可交易产权，市场可以通过价格 \(p_z\) 出清配额，类似于 Arrow–Debreu 的标准存在性证明。 2. 配额均衡 Pareto 最优性（Theorem 2）：如果唯一外部性源自 \(z\)，则在所有满足 \(z = q\) 的可行分配中，配额均衡是 Pareto 最优的。直觉：第一福利定理的推广——价格机制已经内部化了 \(z\) 的边际成本。 3. 排放税均衡不存在性（Theorem 3）：对某些税率 \(t\)，排放税均衡可能不存在。直觉：税率固定时，生产者的排放选择可能不连续，导致市场无法出清。必要条件：生产集或偏好使得最优排放对税率不连续。 4. 不等价性（Theorem 4 & 5）：每一配额均衡可实现为某排放税均衡（取 \(t = p_z\)），反之亦然。但同一配额 \(q\) 可对应多个 \(p_z\)，同一税率 \(t\) 可对应多个 \(z\)，导致配额与税均衡不等价。直觉：多重均衡使得价格与数量的映射不是单值函数。
证明路线与技术技巧： - 整体路线： 1. 定义配额均衡与税均衡，将外部性 \(z\) 纳入价格体系。 2. 对配额均衡，构造增广商品空间（加入配额商品），转化为标准 Arrow–Debreu 均衡问题，利用 Debreu (1954) 的存在性定理。 3. 对 Pareto 最优性，证明配额价格 \(p_z\) 等于边际外部成本，满足第一福利定理的条件。 4. 对税均衡不存在性，构造反例：生产者的最优排放对税率跳跃，导致供给与需求无法匹配。 5. 对不等价性，构造多重均衡反例：同一配额下两个均衡价格，同一税率下两个均衡排放。 - 关键跳跃点： - 配额均衡存在性的关键是将配额视为一种新商品，引入配额价格 \(p_z\)，使得市场出清条件包含配额市场。这一步需要确保配额产权分配不影响总净排放约束的满足。 - 税均衡不存在性的关键在于构造生产者的最优反应不连续的例子。作者利用了凸生产集下利润函数的连续性，但指出消费者的间接效用对税率可能不连续（因为税收返还依赖于均衡排放，而均衡排放可能跳跃）。 - 技术技巧： - 增广商品空间：将配额视为一种新商品，配额价格 \(p_z\) 为其价格，将配额均衡转化为标准 Arrow–Debreu 均衡。用于 Theorem 1。 - 不动点定理：在增广空间上应用 Kakutani 不动点定理证明均衡存在性。用于 Theorem 1。 - 第一福利定理的推广：证明在 \(z = q\) 的约束下，均衡价格体系内部化了外部性。用于 Theorem 2。 - 反例构造：构造特定的生产集与偏好，使得最优反应不连续或多重均衡。用于 Theorem 3, 4, 5。
真实例子与应用： 本文为纯理论/无实证例子。所有结论通过数学定理与反例证明，未使用真实数据或模拟实验。
🔎 结论是否比证明窄： 作者在引言中 claim "All results remain valid regardless of how government chooses its emissions target"，但定理证明依赖于政府设定 \(q\) 或 \(t\) 后不再干预。如果政府的选择规则依赖于均衡结果（如动态调整税率），则税均衡的存在性与等价性可能需要重新证明。这一 claim 在"政府不再干预"的条件下严格成立，但泛泛 claim "regardless of how government chooses" 可能隐含了政府选择规则与均衡结果独立的假设，这一点未在定理中显式陈述。
四、开放问题（点到为止）¶
- 动态调整税率下的均衡存在性与等价性：本文证明了政府设定税率后不再干预时，税均衡可能不存在。若政府根据均衡结果动态调整税率（如将税率设为均衡配额价格的函数），均衡是否存在？配额与税是否等价？扎根在引言 "Government specifies quotas or taxes on emissions, and then refrains from further action" 与 Theorem 3 的反例构造。
- 多重均衡下的政策效应识别与估计：本文证明了同一配额/税率可对应多个均衡，导致不等价。如何将多重均衡视为 identification failure，在半参数框架下识别政策干预的 causal effect？扎根在 Theorem 4 & 5 的多重均衡反例与引言中 "different quota prices may arise in equilibrium from a single quota"。
- 外部性非可加或非单调时的 Pareto 最优性：Theorem 2 假设外部性仅通过总净排放 \(z\) 进入效用且单调。若外部性依赖于个体排放分布（非可加）或存在正外部性，配额均衡是否仍 Pareto 最优？扎根在 Theorem 2 的假设 "If the only externality arises from total net emissions"。
- 统计-计算权衡在均衡计算中的体现：配额均衡的存在性证明依赖 Kakutani 不动点定理，计算均衡价格可能是 NP-hard。在多项式时间约束下，能否近似计算配额均衡价格？扎根在 Theorem 1 的存在性证明（Kakutani 不动点）与计算一般均衡的已知复杂性文献（引言未引用，但属自然延伸）。
要确认某条是不是真 gap，去读同子领域近期约 5 篇的 intro——都指向它 = 共识（真 gap），互相打架 = 机会。
Maintained by 陈星宇 · Homepage · Source on GitHub