Folk theorems on transmission access: Proofs and counterexamples

被引:137
|
作者
Wu, F
Varaiya, P
Spiller, P
Oren, S
机构
关键词
D O I
10.1007/BF00133356
中图分类号
F [经济];
学科分类号
02 ;
摘要
Nodal prices, congestion revenues, transmission capacity rights, and compensation for wire ownership are key concepts used to formulate claims about proposals to organize competitive and open transmission access. Underlying those claims are implicit assertions (folk theorems) concerning the regulation of transmission access, the determination of power flows, properties of economic dispatch, and the operations of competitive nodal markets for power. The paper has two objectives. We first formulate these folk theorems as explicit mathematical assertions. We then prove that some of these assertions are true, and we present counterexamples to other assertions. The counterexamples are interesting because they negate plausible propositions, including: (1) uncongested lines do not receive congestion rents (defined through node price differences); (2) nodal prices clear markets for power only if the allocation is efficient; (3) in an efficient allocation power can only flow from nodes with lower prices to nodes with higher prices; (4) strengthening transmission lines or building additional lines increases transmission capacity; (5) transmission capacity rights are compatible with any economically efficient dispatch.
引用
收藏
页码:5 / 23
页数:19
相关论文
共 50 条
  • [11] A computational attack on the conjectures of Graffiti: New counterexamples and proofs
    Brewster, TL
    Dinneen, MJ
    Faber, V
    DISCRETE MATHEMATICS, 1995, 147 (1-3) : 35 - 55
  • [12] Proofs of lemmas and theorems in the UTP
    REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374
  • [13] Three Sylow Theorems and Their Proofs
    Li, Dezheng
    2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
  • [14] SHORT THEOREMS WITH LONG PROOFS
    SPENCER, J
    AMERICAN MATHEMATICAL MONTHLY, 1983, 90 (06): : 365 - 366
  • [15] Proofs of Theorems A, B, C
    不详
    LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 38 - 42
  • [16] Main Theorems and Strategy for Their Proofs
    Cossart, Vincent
    Jannsen, Uwe
    Saito, Shuji
    DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104
  • [17] ON PHYSICAL PROOFS OF MATHEMATICAL THEOREMS
    PERDANG, J
    PHYSICS LETTERS A, 1983, 93 (09) : 459 - 463
  • [18] COMPUTER PROOFS OF LIMIT THEOREMS
    BLEDSOE, WW
    BOYER, RS
    HENNEMAN, WH
    BOYER, RS
    HENNEMAN, WH
    ARTIFICIAL INTELLIGENCE, 1972, 3 (02) : 27 - 60
  • [19] Short proofs of classical theorems
    Bondy, JA
    JOURNAL OF GRAPH THEORY, 2003, 44 (03) : 159 - 165
  • [20] Simple Proofs of Uniformization Theorems
    Glutsyuk, Alexey A.
    HOLOMORPHIC DYNAMICS AND RENORMALIZATION:: A VOLUME IN HONOUR OF JOHN MILNOR'S 75TH BIRTHDAY, 2008, 53 : 125 - 143