Characterizing the top cycle via strategyproofness
研究了在Fishburn偏好扩展下满足策略证明性的集值社会选择对应，证明在温和条件下顶循环是唯一满足非强加性且结果仅依赖两两比较的对应，将Gibbard-Satterthwaite不可能性转化为对顶循环的完整刻画。
Gibbard and Satterthwaite have shown that the only single‐valued social choice functions (SCFs) that satisfy nonimposition (i.e., the function's range coincides with its codomain) and strategyproofness (i.e., voters are never better off by misrepresenting their preferences) are dictatorships. In this paper, we consider set‐valued social choice correspondences (SCCs) that are strategyproof according to Fishburn's preference extension and, in particular, the top cycle , an attractive SCC that returns the maximal elements of the transitive closure of the weak majority relation. Our main theorem shows that, under mild conditions, the top cycle is the only non‐imposing strategyproof SCC whose outcome only depends on the quantified pairwise comparisons between alternatives. This result effectively turns the Gibbard–Satterthwaite impossibility into a complete characterization of the top cycle by moving from SCFs to SCCs. We also leverage key ideas of the proof of this statement to obtain a more general characterization of strategyproof SCCs.