Self-Selective Social Choice Functions Verify Arrow and Gibbard-Satterthwaite Theorems
提出社会选择函数的自选性概念，证明一致且中立的社会选择函数具有普遍自选性当且仅当它是帕累托最优且满足无关选项独立性，进而推出独裁性，并验证了阿罗定理和吉巴德-萨特斯韦特定理。
This paper introduces a new notion of consistency for social choice functions, called self-selectivity, which requires that a social choice function employed by a society to make a choice from a given alternative set it faces should choose itself from among other rival such functions when it is employed by the society to make this latter choice as well. A unanimous neutral social choice function turns out to be universally self-selective if and only if it is Paretian and satisfies independence of irrelevant alternatives. The neutral unanimous social choice functions whose domains consist of linear order profiles on nonempty sets of any finite cardinality induce a class of social welfare functions that inherit Paretianism and independence of irrelevant alternatives in case the social choice function with which one starts is universally self-selective. Thus, a unanimous and neutral social choice function is universally self-selective if and only if it is dictatorial. Moreover, universal self-selectivity for such functions is equivalent to the conjunction of strategy-proofness and independence of irrelevant alternatives or the conjunction of monotonicity and independence of irrelevant alternatives again.