pith. sign in

arxiv: 2605.00690 · v3 · pith:3AWXBET4new · submitted 2026-05-01 · 📡 eess.SY · cs.SY

The Potential Welfare Gains from Curtailment Trading Under Non-Firm Interconnection

Pith reviewed 2026-05-21 00:02 UTC · model grok-4.3

classification 📡 eess.SY cs.SY
keywords curtailment tradingnon-firm interconnectioncredit marketpower system economicsbilevel optimizationMILPvalue of lost load
0
0 comments X

The pith

A curtailment credit market using bilateral flows reaches every allocation a central planner could achieve for non-firm loads.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces the network-constrained Curtailment Credit Market in which participants submit bids that set bilateral credit flows subject to transmission limits. It proves this bilateral structure spans the full set of curtailment allocations possible under an omniscient planner. When bids equal true interruption costs, the market clears to the planner's maximum total value of served load. Numerical tests on a 3-bus system, the IEEE 24-bus case, and a reduced New York grid show the mechanism raises that total value by factors between 1.24 and 1.83 relative to pro-rata rules while leaving no participant worse off under incentive-compatible payments.

Core claim

The Curtailment Credit Market achieves feasible-set equivalence: its bilateral credit flows can produce every curtailment allocation feasible for a central planner, and under truthful bidding it matches the planner's total value of served load exactly.

What carries the argument

The Curtailment Credit Market formulated as a bilevel clearing problem that admits an exact single-level mixed-integer linear program using bilateral credit flows under network constraints.

If this is right

  • Decentralized bilateral trading can replicate any efficient curtailment pattern without requiring a central authority to know all values.
  • The market clears to the same aggregate welfare as the planner whenever bids are truthful.
  • Computational solution remains fast, with MILP solve times between 0.009 and 0.034 seconds on the examined networks.
  • No participant ends up worse off under the incentive-compatible payment rule than under the existing administrative baseline.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Wider use could accelerate data-center connections by lowering the expected cost of accepting curtailment risk.
  • The same bilateral-flow logic might extend to other scarce-grid services such as congestion rights or flexibility products.
  • Real-world performance hinges on whether participants can be induced to reveal true costs through the payment rule.

Load-bearing premise

Bids submitted by participants equal their true interruption costs.

What would settle it

A test case in which participants submit bids different from their true interruption costs and the resulting total value of served load falls below the central planner's optimum.

Figures

Figures reproduced from arXiv: 2605.00690 by Ali Amadeh, Charlotte Gressel, K. Max Zhang, Richard Mahuze.

Figure 1
Figure 1. Figure 1: 3-bus network schematic with representative CCM credit outcomes. Signed labels view at source ↗
Figure 2
Figure 2. Figure 2: Social welfare comparison across three testbeds. Panels (a) and (b) compare view at source ↗
Figure 3
Figure 3. Figure 3: Social welfare sensitivity to binding interface capacity. Left: 3-bus testbed view at source ↗
Figure 4
Figure 4. Figure 4: Can a low-value agent profit by overstating its interruption cost? VPP-1 view at source ↗
read the original abstract

Rapid growth of large loads led by data centers is straining grid capacity. These loads increasingly accept curtailment risk through non-firm interconnection agreements to gain faster grid access, expanding the pool of consumers subject to mandatory disconnection during supply shortfalls. Yet, blunt rules assign curtailment without reference to the wide variation in the value consumers place on avoiding curtailment, often captured by the value of lost load (VOLL). This paper introduces the network-constrained Curtailment Credit Market (CCM), a mechanism in which agents submit bids that determine bilateral credit flows, subject to transmission network constraints. We prove that the bilateral credit flow representation can reach every curtailment allocation available to an omniscient central planner (feasible-set equivalence). Under truthful bidding, the CCM achieves the planner's total value of served load. The CCM clearing problem is a linear program. When embedded in a strategic bidding model, where an upper-level agent anticipates the CCM clearing outcome, the resulting bilevel problem admits an exact single-level mixed-integer linear program (MILP), solved in 0.009 to 0.034 seconds on the reported test systems. Numerical experiments on the three test systems validate the mechanism at increasing scale and complexity. A 3-bus illustrative network isolates the core trading logic, the IEEE 24-bus reliability test system provides a standard benchmark, and a reduced New York (NY) grid captures coordination across NY load zones. Our simulations show that the CCM increases the total value of served load by 1.41 to 1.83 times relative to pro-rata curtailment. On the three test systems examined here, no participant is worse off under incentive-compatible benchmark payments than under the administrative baseline.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proposes the network-constrained Curtailment Credit Market (CCM) for allocating curtailment among consumers with non-firm interconnections. It proves that bilateral credit flows achieve every curtailment allocation available to an omniscient central planner (feasible-set equivalence). Under truthful bidding the CCM is claimed to match the planner's total value of served load. The clearing problem is formulated as a bilevel program that admits an exact MILP reformulation solved in 0.009–0.034 s. Numerical tests on a 3-bus toy network, the IEEE 24-bus system, and a reduced New York grid report 1.24–1.83× gains in total value of served load relative to pro-rata curtailment, with no participant worse off under incentive-compatible benchmark payments.

Significance. If the feasible-set equivalence and the performance claims hold, the work supplies a concrete market mechanism that preserves the full allocative capability of a central planner while respecting network constraints and bilateral trading. The exact MILP reformulation and sub-second solution times on realistic test systems are practical strengths. The reported welfare multipliers on three systems of increasing scale provide falsifiable evidence that bilateral credit trading can materially improve efficiency over blunt administrative rules when interruption costs vary.

major comments (1)
  1. [Abstract] Abstract and mechanism description: the central welfare claim that 'under truthful bidding, the CCM achieves the planner's total value of served load' is conditioned on bids reflecting true interruption costs, yet the manuscript supplies neither a payment rule nor an equilibrium argument establishing that truth-telling is dominant or Nash. Because the objective uses reported bids, any profitable deviation would cause realized allocations to deviate from the planner benchmark even if feasible-set equivalence holds; this assumption is therefore load-bearing for the main performance guarantee.
minor comments (2)
  1. [Numerical experiments] Clarify whether the 'incentive-compatible benchmark payments' used in the numerical experiments are derived from a specific mechanism (e.g., VCG) or are simply the ex-post efficient payments; this affects how the 'no participant worse off' result should be interpreted.
  2. The 3-bus toy example is described as isolating the core trading logic; adding an explicit small-scale table or figure showing the credit flows, curtailment quantities, and payments for both the CCM and pro-rata cases would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The major comment raises a valid point about the incentive properties underlying the welfare claims. We address it directly below and outline the revisions we will make.

read point-by-point responses
  1. Referee: [Abstract] Abstract and mechanism description: the central welfare claim that 'under truthful bidding, the CCM achieves the planner's total value of served load' is conditioned on bids reflecting true interruption costs, yet the manuscript supplies neither a payment rule nor an equilibrium argument establishing that truth-telling is dominant or Nash. Because the objective uses reported bids, any profitable deviation would cause realized allocations to deviate from the planner benchmark even if feasible-set equivalence holds; this assumption is therefore load-bearing for the main performance guarantee.

    Authors: We agree that the welfare performance guarantee is stated under the assumption of truthful bidding and that the manuscript does not supply a payment rule or formal equilibrium analysis establishing dominant-strategy or Nash truth-telling. The core theoretical result is feasible-set equivalence, which holds independently of bidding behavior and shows that the bilateral credit market can replicate any curtailment allocation feasible for a central planner. The welfare comparison to the planner is presented as a benchmark that is attained when bids equal true interruption costs. In the numerical section we employ 'incentive-compatible benchmark payments' solely to verify individual rationality relative to the pro-rata baseline; these payments are not claimed to implement truth-telling in equilibrium. We will revise the abstract to remove any implication that truth-telling is guaranteed and will add a short subsection clarifying the maintained assumption, noting that a full mechanism-design treatment (e.g., VCG-style payments or equilibrium analysis) is left for future work. These changes will be incorporated in the next revision. revision: partial

Circularity Check

0 steps flagged

No circularity: equivalence proved via explicit MILP reformulation and feasible-set argument

full rationale

The paper's central derivation establishes feasible-set equivalence between bilateral credit flows and an omniscient central planner through an explicit bilevel optimization formulation that is exactly reformulated as a single-level MILP; this is a direct mathematical construction rather than a reduction to fitted inputs or self-referential quantities. Performance claims are conditioned on truthful bidding and validated numerically on independent test systems (3-bus, IEEE 24-bus, NY grid), providing external falsifiability. No self-citation load-bearing steps, ansatz smuggling, or renaming of known results appear in the derivation chain; the mechanism and its equivalence proof are self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces a new market mechanism relying on standard assumptions in mechanism design and optimization, with the main innovation being the CCM itself.

axioms (1)
  • domain assumption Participants bid truthfully according to their true value of lost load
    This is required for the CCM to achieve the planner's total value of served load as stated in the abstract.
invented entities (1)
  • Curtailment Credit Market (CCM) no independent evidence
    purpose: Mechanism for bilateral trading of curtailment credits under network constraints to improve allocative efficiency
    Newly introduced in this paper to address curtailment allocation for non-firm interconnections.

pith-pipeline@v0.9.0 · 5853 in / 1456 out tokens · 66501 ms · 2026-05-21T00:02:50.620569+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.