[论文解读] Exploiting Weak Supermodularity for Coalition-Proof Mechanisms

Orçun Karaca, Maryam Kamgarpour|arXiv (Cornell University)|Jan 1, 2018

Game Theory and Voting Systems被引用 1

一句话总结

本文引入超模比（supermodularity ratio）以量化市场目标接近超模性的程度，从而在维克里-克拉克-格罗夫斯（VCG）机制下对共谋和虚报出价的盈利性提供紧致的边界。该文推导了电力市场中该比值的解析下界，并通过IEEE测试系统验证其紧致性，表明即使市场目标不完全超模，弱超模性仍能限制策略性操纵。

ABSTRACT

Under the incentive-compatible Vickrey-Clarke-Groves mechanism, coalitions of participants can influence the auction outcome to obtain higher collective profit. These manipulations were proven to be eliminated if and only if the market objective is supermodular. Nevertheless, several auctions do not satisfy the stringent conditions for supermodularity. These auctions include electricity markets, which are the main motivation of our study. To characterize nonsupermodular functions, we introduce the supermodularity ratio and the weak supermodularity. We show that these concepts provide us with tight bounds on the profitability of collusion and shill bidding. We then derive an analytical lower bound on the supermodularity ratio. Our results are verified with case studies based on the IEEE test systems.

研究动机与目标

• 本文旨在解决VCG机制在市场目标非超模的电力市场中易受共谋和虚报出价影响的漏洞。
• 旨在通过一种新度量——超模比，对非超模函数进行表征。
• 目标是为VCG机制下策略性操纵的盈利性提供紧致的解析边界。
• 通过量化其联盟抗性（coalition-proofness），评估VCG在现实电力市场中的适用性。
• 通过IEEE 30-bus和118-bus测试系统中的案例研究验证理论边界。

提出的方法

• 超模比被定义为最大的标量γsup，使得对所有满足S ⊆ L和K ⊆ L的集合，不等式∑_{l∈K} [J(S−l) − J(S)] ≤ γsup [J(S−K) − J(S)] 成立。
• 该方法利用该比值推导出在VCG机制下共谋和虚报出价所带来的集体利润增益的上界。
• 针对电力市场目标，特别是线路限制和报价曲线等常见约束，推导出超模比的解析下界。
• 该方法借鉴子模比文献中的概念，将其扩展至超模性分析。
• 通过在IEEE 30-bus和118-bus系统上使用真实报价数据与系统约束进行数值案例研究，验证理论边界。
• 通过将理论预测与测试系统中的实际结果进行比较，评估边界的紧致性。

实验结果

研究问题

• RQ1 当市场目标非超模时，共谋和虚报出价在基于VCG的电力市场中能将集体利润提升多大程度？
• RQ2 如何利用超模比来量化非超模函数的超模程度？
• RQ3 在电力市场环境下，超模比的解析下界可推导出哪些结果？
• RQ4 在实际测试系统中，所推导的共谋盈利性边界有多紧致？
• RQ5 在何种结构条件下（如线路限制）下，市场目标会趋近于超模性？

主要发现

• 超模比为VCG机制下共谋和虚报出价的盈利性提供了紧致的解析边界。
• 在IEEE 30-bus系统中，超模比计算结果为1，表明在非约束性线路条件下，VCG机制具有完全的联盟抗性。
• 在IEEE 118-bus系统中，当不考虑线路限制时，超模比同样为1，与预期一致，确认了其超模性与联盟抗性。
• 当在118-bus系统中引入50 MW的线路限制后，超模比下降至0.92，表明系统约束可导致弱超模性。
• 超模比的解析下界成功推导并经案例研究验证。
• 结果表明，即使在非超模市场中，策略性操纵仍受限制，且可借助超模比进行定量评估。