民主选举中击败关系的公理

我们提出六条公理，涉及在包含两名或更多候选人的民主选举中一名候选人应何时击败另一名候选人。其中五条公理被已知的投票程序广泛满足。第六条公理是对 Kenneth Arrow 著名的无关备选方案独立性（IIA）条件的弱化。我们称此弱化为连贯 IIA（Coherent IIA）。我们证明，这五条公理加上连贯 IIA 唯一确定了我们近期工作中所研究的击败关系判定方法：Split Cycle。特别地，在满足民主击败六条公理的方法中，Split Cycle 给出了最具确定性的击败定义。此外，我们分析了 Split Cycle 如何规避 Arrow 不可能定理及相关的不可能结果。