[论文解读] Novel Distance Measures for Vote Aggregation

Farzad Farnoud, Behrouz Touri+1 more|arXiv (Cornell University)|Mar 28, 2012

Game Theory and Voting Systems参考文献 14被引用 9

一句话总结

本文提出了新颖的加权距离度量——加权肯德尔距离与加权凯莱距离——用于排名聚合，优先考虑高排名项目并考虑项目相似性，从而实现更准确且公平的投票系统。此外，本文分析了基于分数的分布式投票机制，通过信息传播算法证明在博尔达规则下收敛至共识具有指数收敛速度，并给出了收敛时间的概率界。

ABSTRACT

We consider the problem of rank aggregation based on new distance measures derived through axiomatic approaches and based on score-based methods. In the first scenario, we derive novel distance measures that allow for discriminating between the ranking process of highest and lowest ranked elements in the list. These distance functions represent weighted versions of Kendall's tau measure and may be computed efficiently in polynomial time. Furthermore, we describe how such axiomatic approaches may be extended to the study of score-based aggregation and present the first analysis of distributed vote aggregation over networks.

研究动机与目标

• 通过设计对高排名变更施加更重惩罚的度量方法，解决排名重要性失衡的问题。
• 通过设计对相似项目间交换施加较低惩罚的度量函数，将项目相似性纳入排名聚合。
• 将基于距离的聚合的公理基础扩展至包含此前文献中未探讨的加权与相似性感知度量。
• 分析基于网络的分布式评分投票系统，重点关注共识动态与收敛速率，采用信息传播算法。
• 为在随机配对交互下，基于博尔达规则的分布式博尔达投票系统提供收敛时间的理论保证。

提出的方法

• 提出加权肯德尔距离作为标准肯德尔τ的推广，通过依赖位置的权重使高排名位置的交换承受更大惩罚。
• 引入加权凯莱距离作为互补度量，基于循环分解，同样体现排名位置的敏感性。
• 为新距离函数建立公理化表征，确保在指定公平性与一致性条件下具有唯一性。
• 将分布式投票建模为网络上的连续时间平均过程，其中代理通过与邻居的成对平均来更新其评分。
• 应用图谱理论，利用加权转移矩阵的第二大特征值来界定信息传播算法的收敛速率。
• 利用马尔可夫不等式和平均评分偏差的平方期望衰减，推导共识时间T的概率上界。

实验结果

研究问题

• RQ1 如何修改排名聚合中的距离度量，以体现高排名项目相较于低排名项目更高的重要性？
• RQ2 能否设计出对不同项目间交换施加更高惩罚、对相似项目间交换施加较低惩罚的距离函数，以及如何从公理化角度形式化这一设计？
• RQ3 基于信息传播协议的分布式评分投票系统的收敛特性如何？共识可多快达成？
• RQ4 在联网环境中，博尔达规则在何种条件下可收敛至全局共识排名？
• RQ5 能否为基于评分方法的分布式排名聚合系统，推导出达到共识时间的紧致概率界？

主要发现

• 所提出的加权肯德尔与凯莱距离是首次通过公理化构造，同时整合了排名位置重要性（高排名 vs. 低排名）与项目相似性的度量。
• 本文证明了新距离度量满足一组公平性与一致性公理，确保其唯一性与可解释性。
• 对于基于博尔达的分布式投票，共识时间T的概率上界为 $ P(T>t) \leq 4m\lambda_{2}^{t}(W)\sum_{j=1}^{n}\left(\frac{d^{j}}{r^{j}}\right)^{2} $，其中若网络连通，则 $ \lambda_2(W) < 1 $。
• 收敛速率随时间呈指数衰减，因为 $ \lambda_2(W) < 1 $ 意味着非共识概率呈指数下降。
• 分析表明，当所有代理对每个对象的评分均在平均分的 $ \frac{r^j}{2} $ 范围内时，共识达成，从而确保正确的相对排序。
• 该界依赖于初始评分范围 $ d^j $ 与相邻平均分之间的最小间隙 $ r^j $，反映了达成共识的难度。