we-solve (beta)

Econ-497 · economics · Economics

Carbon border adjustments and leakage

LLM status Open unverified

Statement

Atlas ID: T7; original number: 87; field: International trade. Classification: Editorial research formulation (theoretical/empirical); not a certified unsolved theorem.

Definitions and assumptions

Consider countries $j=1,\ldots,J$ and goods $g=1,\ldots,G$. Firms choose production location, inputs and abatement within specified technologies, generating physical greenhouse-gas emissions $E_j\ge0$ in common carbon-dioxide-equivalent units. Policy $b$ consists of domestic carbon prices, border assessments, exemptions, verified intensity rules and recycling of receipts. The equilibrium selection includes consumer budget optimization, firm profit maximization, market clearing and consistency between verified reports and an explicit measurement or enforcement model. Let $E_j(b)$ denote equilibrium territorial emissions; assume finite expected emissions and utility.

Formal research question

For a domestic-pricing baseline $b^0$ and border-adjustment policy $b^1$, define global mitigation and, when its denominator is strictly positive, a leakage ratio: \[ M=\sum_j\mathbb E[E_j(b^0)-E_j(b^1)],\quad \lambda=\frac{\sum_{j\notin D}\mathbb E[E_j(b^1)-E_j(b^0)]} {\sum_{j\in D}\mathbb E[E_j(b^0)-E_j(b^1)]}, \] where $D$ is the implementing coalition. Characterize implementable border rules that achieve $M>0$ and acceptable household equivalent-variation losses under bounded reporting error and specified administrative-resource costs. Identify substitution, relocation and reporting responses using firm-product data, distinguishing physical emissions from reported embedded emissions.

Interpretation and scope

The ratio is undefined when domestic reductions vanish and can be negative if foreign emissions also fall. It is not a welfare index. Any optimization over mitigation and welfare must state social weights or the monetary valuation of climate damages; do not add tonnes and utility without conversion. Domestic production, consumption-based carbon footprints and global territorial emissions use different accounting boundaries and should be reconciled. A tariff-equivalent carbon charge can redirect trade without lowering global emissions. Policy-event identification must address concurrent ETS changes, free allocation and reporting adjustments. The implementing coalition and sector coverage must be fixed before calculating the ratio. Embodied-emissions estimates should report a measurement-error distribution or a justified deterministic error bound.

Source audit and status

[S1] is verified leakage-measurement background. The atlas’s undated "Böhringer et al." and "carbon-leakage literature" are incomplete citations; [S2] is a verified relevant candidate, not a uniquely resolved source. [S3] verifies CBAM context and quarterly certificate-price averaging in 2026. These institutional rules do not establish policy effectiveness or certify a presently unresolved theorem.

References

    },leftmargin=*]

  1. Meredith Fowlie and Mar Reguant (2018). Challenges in the Measurement of Leakage Risk. AEA Papers and Proceedings 108, 124–129. https://doi.org/10.1257/pandp.20181087. Locator and role: Publisher or author abstract / bibliographic record; Definition and measurement challenges of emissions leakage. Provides background or a benchmark result; does not establish that the editorial question remains unresolved in 2026.

  2. Christoph Böhringer, Edward J. Balistreri, and Thomas F. Rutherford (2012). The Role of Border Carbon Adjustment in Unilateral Climate Policy: Overview of an Energy Modeling Forum Study (EMF 29). Energy Economics 34, supplement 2, S97–S110. https://doi.org/10.1016/j.eneco.2012.10.003. Locator and role: Publisher or author abstract / bibliographic record; Verified relevant model-comparison background, supplied editorially. The original author-only citation cannot be uniquely resolved; this is a clearly identified relevant candidate, not a confirmed attribution of the atlas citation.

  3. European Commission (2026). CBAM Definitive Regime. Directorate-General for Taxation and Customs Union, institutional guidance. https://taxation-customs.ec.europa.eu/carbon-border-adjustment-mechanism/cbam-definitive-regime_en. Locator and role: Publisher or author abstract / bibliographic record; Certificate prices linked to ETS auctions; quarterly average in 2026, weekly from 2027. Verifies policy context, not demonstrated leakage reduction or the unresolved status of the research question; guidance consulted 8 October 2026.

  4. Unresolved original citation: "carbon-leakage literature." No author, title or year was supplied, so no unique source can be assigned.

Common conventions: Source mathematical conventions

Unless an entry states otherwise, agent and firm sets are finite. State and action spaces are measurable, strategies and outcome maps are measurable, probability laws are specified, and expectations exist for the targets under discussion. Infinite-horizon discount factors lie in $(0,1)$ and discounted objectives are finite. Norms, tolerances and complexity input sizes must be specified for computational comparisons. Constants or primitives that appear locally are inputs, not empirical facts asserted by this catalogue.

Identification. A statistical model $m\in\mathcal M$ implies an observable law $P_m$ and target $\theta(m)$. At law $P$, its identified set is \[ \Theta(P;\mathcal M)=\{\theta(m):m\in\mathcal M,\ P_m=P\}. \] Point identification holds when this set is a singleton, or equivalently when $P_{m_1}=P_{m_2}$ implies $\theta(m_1)=\theta(m_2)$ for all compatible models. Sharp bounds mean bounds attained, or approached when the boundary is not attained, by compatible models. Writing this set is a definition, not a solution: the substantive task is to establish informative restrictions and derive or estimate the set. An unrestricted-confounding model may give only trivial bounds.

Inference. Identification, estimability and valid uncertainty quantification are separate questions. Fix $\alpha\in(0,1)$. A confidence procedure $C_n$ over a declared law class $\mathcal P$ has asymptotic uniform coverage at level $1-\alpha$ when \[ \liminf_{n\to\infty}\inf_{P\in\mathcal P}\Pr_P\{\theta(P)\in C_n\}\geq1-\alpha. \] For set-identified targets the coverage event must be defined separately, for example coverage of the full identified set. If an entry uses identification-indexed models instead of uniquely indexed laws, the same coverage convention is applied over those models. Pointwise limits do not establish uniform validity, and asymptotic validity does not guarantee finite-sample precision. Sample sizes, dependence structures and weak-identification sequences are part of each application.

Counterfactuals. $Y_i(a)$ is a potential outcome under a specified intervention, including its timing, implementation and versions. It is not $Y_i$ conditional on voluntarily choosing $a$. A full intervention vector permits interference; shorthand scalar treatment notation does not silently impose no interference. Assignment, selection, attrition, anticipation and measurement must be specified. A claim about an instrument's local effect is not automatically a population policy effect.

Economic equilibrium. A counterfactual model includes best responses, constraints, feasibility, market clearing, state transitions and expectations consistent with the stated information. When several equilibria exist, either a declared selector is an input or the target is set-valued. Comparisons across policy regimes must use the stated selection convention. Reduced-form relationships are not presumed invariant after an equilibrium-changing intervention.

Optimization and welfare. Optimization is over the stated feasible set. If attainment is not established, $\sup$ or $\inf$ and $\varepsilon$-optimal choices replace an asserted maximizer or minimizer. For example, with value $V=\sup_{a\in\mathcal A}W(a)<\infty$, an $\varepsilon$-optimal set is $\{a\in\mathcal A:W(a)\geq V-\varepsilon\}$ for $\varepsilon>0$. Benefits, costs, risk and health or environmental outcomes can be aggregated only using declared units and conversion weights. Interpersonal utility weights, the treatment of fiscal transfers and foreign profits, discounting, and the behavioral welfare criterion are explicit inputs. A comparative-static derivative additionally requires existence and appropriate differentiability of the selected counterfactual.

Sources. Local labels [S1], [S2], and so forth restart in every question. Locators identify the relevant abstract, model, section or result at the level actually checked; a bibliographic or abstract-level verification is not represented as inspection of an entire proof. Working papers are distinguished from later publications and changing versions. Source summaries are paraphrased. All URL checks and editorial formulations refer to the audit date stated above.

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Econ-497-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

GPT 6 Astra Ultra attempt on Econ-497

Border carbon charges in a trading equilibrium: physical mitigation, reporting error and household accounts

Problem ID: F18-493. Status: unresolved; restricted research attempt.

The comparison and the accounting boundary

The target compares a border adjustment with a baseline that already has domestic carbon pricing. We derive an exact two-country competitive benchmark in which imports, prices, domestic production and foreign production all respond. It gives a sharp mitigation condition, a robust reporting-error margin and an equivalent-variation account including tariff recycling and domestic ownership. It also shows why the canonical leakage ratio can be undefined for precisely this policy comparison. This restricted theorem does not resolve endogenous relocation, abatement, strategic reporting or multisector general equilibrium.

Fowlie and Reguant [FR], publisher abstract inspected, motivate careful leakage measurement. The Commission's definitive-regime page [EC], inspected on 9 October 2026, describes emissions certificates, foreign carbon-price credits, and quarterly certificate-price averaging in 2026. Those institutional facts neither prove mitigation nor imply that the stylized specific tariff below describes every operative CBAM rule.

There are countries $D$ and $F$ and one homogeneous traded good. Domestic consumers have inverse demand corresponding to $d_D=A_D-b_DP_D$, and foreign consumers have $d_F=A_F-b_FP_F$, where $b_D,b_F>0$. Utilities are quasilinear in a freely traded numeraire, with sufficiently large numeraire endowments. Domestic production costs are $C_D(q)=c_Dq+q^2/(2s_D)$ and foreign costs are $C_F(q)=c_Fq+q^2/(2s_F)$, with $s_D,s_F>0$. Physical emissions are $E_D=e_Dq_D$, $E_F=e_Fq_F$, with fixed positive intensities $e_D,e_F$. No physical emissions are assigned to the numeraire. Domestic carbon tax $\tau e_D$ per unit is already in force, $\tau\geq0$; the foreign carbon tax is zero in this benchmark.

An additional border charge $t\geq0$ is paid on imports into $D$. For every $t$ in a declared compact interval $[0,\bar t]$, assume positive demand and production in both countries and strictly positive imports $m=d_D-q_D=q_F-d_F>0$. Arbitrage then gives $P_D=P_F+t$. The theorem is conditional on this active trade pattern; zero imports or trade reversal requires another regime of the complementarity system.

Equilibrium response and a global mitigation threshold

Put $H=b_D+s_D$, $F=b_F+s_F$, and $N=H+F$. Competitive profit maximization gives \[ q_D=s_D(P_D-c_D-\tau e_D),\qquad q_F=s_F(P_F-c_F). \]
Theorem (Exact competitive equilibrium and emissions change): On the stated interior domain, equilibrium exists uniquely and \[ P_F(t)=\frac{A_D+A_F+s_D(c_D+\tau e_D)+s_Fc_F-Ht}{N}, \qquad P_D(t)=P_F(t)+t. \] For the comparison with $t=0$, \begin{align} q_D(t)-q_D(0)&=\frac{s_DF}{N}t,& q_F(t)-q_F(0)&=-\frac{s_FH}{N}t,\nonumber\\ m(t)&=m(0)-\frac{HF}{N}t,& M(t)&=\frac{e_Fs_FH-e_Ds_DF}{N}t. \tag{1} \end{align} For $t>0$, global mitigation is positive if and only if $e_Fs_FH>e_Ds_DF$. The canonical leakage ratio with domestic reductions in its denominator is undefined here, since that denominator equals $-e_Ds_DFt/N<0$ and fails its required positive-domain condition.
Proof: Strict convexity of costs makes the supply equations unique on the positive-output domain; strict concavity of consumer benefit makes demand unique. Substitute these equations and $P_D=P_F+t$ into aggregate goods clearing $d_D+d_F=q_D+q_F$. Its coefficient on $P_F$ is $N>0$, giving the displayed unique price. The assumed positivity makes the solution feasible, and the individual first-order conditions are sufficient. Numeraire budget clearing follows by summing household, firm and balanced-government budget identities; transfers and imports cancel between the two countries. Differentiate the price formulas: $P_F'=-H/N$, $P_D'=F/N$. Supply gives the quantity changes; subtracting domestic supply from demand gives $m'=-HF/N$. Summing the two physical emissions changes and reversing sign gives $M$. Since $t>0$, its sign is exactly the stated numerator's sign. Domestic emissions strictly rise, so the definedness condition for the catalogue's leakage ratio fails. ∎

Domestic output growth is not evidence of failed mitigation: sufficiently large reductions in foreign emissions can dominate it. Conversely, a border charge can raise global emissions if the domestic production response is sufficiently carbon intensive. Actual tonnes, rather than import-weighted reported intensity alone, determine (1).

Bounded reporting error and a policy certificate

Suppose a verification system guarantees $|\widehat e_F-e_F|\leq\eta$ with $\widehat e_F\geq0$, and applies $t=\tau\widehat e_F$. True $e_F$ is the fixed physical intensity in the model; the error bound concerns the assessment used by customs. This is an external enforcement assumption, not an incentive-compatibility result. It implies \[ t\in\mathcal J=[\tau\max\{0,e_F-\eta\},\,\tau(e_F+\eta)]. \] Assume this entire interval lies in the interior-trade domain and let $k=(e_Fs_FH-e_Ds_DF)/N$.
Corollary (Robust mitigation margin): If $k>0$, the minimum mitigation over all admissible reports is $k\tau\max\{0,e_F-\eta\}$. Hence $\tau>0$, $e_F>\eta$ and $k>0$ certify strictly positive mitigation for every report. The bound is sharp under the stated report interval. If $k<0$, every strictly positive assessment increases global emissions in this model.
Proof: Equation (1) gives $M=kt$. A linear function attains its minimum on an interval at its lower endpoint for $k>0$, and the report producing that endpoint is allowed. The final assertion follows from $kt<0$. ∎

The certificate is robust to errors in assessed intensity, but not to unbounded production diversion or an endogenous change in true intensity. An additional measured physical-emissions change $\Delta E_{\rm outside}$ outside these two sectors changes mitigation to $kt-\Delta E_{\rm outside}$. If an externally justified upper bound is $\Delta E_{\rm outside}\leq\Lambda$, the same proof gives the sufficient condition $k\inf\mathcal J>\Lambda$. This is honest accounting of omitted leakage, not a derived estimate of it.

Equivalent variation with ownership and recycling

A representative domestic household owns all domestic firms and no foreign firms. Both domestic carbon-tax and border-charge receipts are returned to that household as lump sums after paying real administration cost $A(t)$, with $A(0)=0$. Other taxes or distortionary financing are absent. Let $\pi_D$ be profits net of the domestic carbon tax and let $CS_D$ be quasilinear consumer surplus. Domestic market welfare is \[ W_D(t)=CS_D(P_D(t))+\pi_D(t)+\tau e_Dq_D(t)+tm(t)-A(t). \tag{2} \] Profits are included once through household ownership. Formula (2) is not gross consumer surplus plus an additional already-counted household income measure. Climate damages are not yet subtracted.
Proposition (Exact domestic monetary welfare change): For differentiable $A$ and $t$ in the interior domain, \begin{align} W_D(t)-W_D(0) &=\left(\frac{Hm(0)}{N}+\frac{\tau e_Ds_DF}{N}\right)t\nonumber\\ &\quad-\frac{HF}{2N}\left(1+\frac HN\right)t^2-A(t). \tag{3} \end{align} This change equals household equivalent variation at baseline prices under the quasilinear numeraire convention. If the household's valuation of global climate damage is $v\geq0$ per tonne, its climate-inclusive change is (3) plus $vM(t)$. Thus, for a permitted loss $L_*>0$, bounded reporting error permits a direct certificate: verify (3)$+vkt\geq-L_*$ for every $t\in\mathcal J$, along with $\inf_{t\in\mathcal J}kt>0$.
Proof: The consumer envelope gives $CS_D'=-d_DP_D'$. The firm's envelope at a fixed domestic tax gives $\pi_D'=q_DP_D'$. Differentiate (2) to obtain \[ W_D'= -m\frac FN+\tau e_D\frac{s_DF}{N} +m-t\frac{HF}{N}-A' =\frac HN m+\frac{\tau e_Ds_DF}{N} -t\frac{HF}{N}-A'. \] Insert $m(t)=m(0)-HFt/N$ and integrate from zero to $t$, yielding (3). Indirect quasilinear utility equals numeraire income plus consumer surplus. A baseline-price numeraire transfer of size $W_D(t)-W_D(0)$ changes utility by exactly that amount, proving equivalent variation. A linear damage valuation changes welfare by minus $v$ times the global emissions change, i.e. $vM(t)$. Taking the worst case over the admissible interval establishes the stated certificate. ∎

Foreign profits and consumer effects are absent from this domestic criterion because foreign welfare has weight zero. A global welfare criterion must include them, at declared weights, and cannot count the domestic terms-of-trade gain as a global resource gain. With unequal household ownership or imperfect recycling, a representative equivalent variation no longer describes every household; the budget identities must be distributed before assessing acceptable individual losses.

Remaining gap and empirical requirements

The theorem isolates import substitution, foreign demand rebound and administrative cost in one equilibrium. Its slope parameters are causal technology and demand primitives, not regressions of trade on endogenous prices. Identification requires instruments or design restrictions that separate border assessments from concurrent domestic carbon-policy and free-allocation changes, plus audited physical intensity and ownership accounts. Strategic misreporting, endogenous abatement, technology choice, relocation, export rebates and traded input networks are essential extensions. A useful next step is a multisector complementarity model with bounded verification error and explicit government budgets, checking active-set changes rather than extrapolating (1) beyond positive imports. The broad canonical implementation and identification agenda remains unresolved.

Completion Estimate

45%

This is a post hoc, heuristic estimate for the full catalogue target. The attempt derives competitive border-charge mitigation and equivalent variation, with sharp reporting-error safeguards and correct domestic-carbon-price baseline accounting. Implementable multisector rules still require endogenous abatement, relocation and strategic reporting responses, distributional household losses, and credible identification from firm-product policy variation.

References

Go to contribution →