Tight Revenue Bounds With Possibilistic Beliefs and Level-k Rationality
证明在玩家具有可能性信念时，理性层级越高，机制设计可保证的收入基准也越高，并构造了一个无需知晓理性层级即可达到相应收入基准的拍卖机制。
Mechanism design enables a social planner to obtain a desired outcome by leveraging the players’ rationality and their beliefs. It is thus a fundamental, but yet unproven, intuition that the higher the level of rationality of the players, the better the set of obtainable outcomes. In this paper, we prove this fundamental intuition for players with possibilistic beliefs, a model long considered in epistemic game theory. Specifically, • We define a sequence of monotonically increasing revenue benchmarks for single- good auctions, G0 ≤ G1 ≤ G2 ≤ · · ·, where each Gi is defined over the players’ beliefs and G0 is the second-highest valuation (i.e., the revenue benchmark achieved by the second-price mechanism). • We (1) construct a single, interim individually rational, auction mechanism that, without any clue about the rationality level of the players, guarantees revenue Gk if all players have rationality levels ≥ k + 1, and (2) prove that no such mechanism can guarantee revenue even close to Gk when at least two players are at most level-k rational.