Abstract
We study the problem of selecting a single element from a set of candidates on which a group of agents has some spatial preferences. The exact distances between agent and candidate locations are unknown but we know how agents rank the candidates from the closest to the farthest. Whether it is desirable or undesirable, the winning candidate should either minimize or maximize its aggregate distance to the agents. The goal is to understand the optimal distortion, which evaluates how good an algorithm that determines the winner based only on the agent rankings performs against the optimal solution. We give a characterization of the distortion in the case of latent Euclidean distances such that the candidates are aligned, but the agent locations are not constrained. This setting generalizes the well-studied setting where both agents and candidates are located on the real line. Our bounds on the distortion are expressed with a parameter which relates, for every agent, the distance to her best candidate to the distance to any other alternative.
Similar content being viewed by others
Notes
We shall see that these properties hold under the mild assumption that no agent is equidistant from two distinct candidates.
There is no incentive for a single agent or a group of agents to misreport their true rankings.
In the present work, the location of the agents and the candidates are private.
Some previous works do not explicitly specify how to deal with ties probably because the input must contain strict preferences and ties are thus implicitly excluded. However, in [2, 19], the authors clearly state that no agent is equidistant from two candidates. In [24], the authors mention that candidates that are equidistant to an agent can be ranked arbitrarily by the agent.
Technically, we consider that the distortion is 1 when both its numerator and denominator are 0. The distortion is infinite when its numerator is positive and its denominator is 0.
Again, we consider that the distortion is 1 when both its numerator and denominator are 0; it is infinite if the denominator is 0 but the numerator is positive.
The two candidates can even be co-located
Under Assumption 2, there is a unique leftmost candidate and a unique rightmost candidate on the candidate line. The least preferred candidate of every agent (i.e., the farthest) must be one of them.
See, for example, [16] and references therein for a similar result on a real line or a path.
References
Amanatidis, G., Birmpas, G., Filos-Ratsikas, A., & Voudouris, A. A., (2020). Peeking behind the ordinal curtain: Improving distortion via cardinal queries. In Proceedings of the 34th AAAI conference on artificial intelligence, pages 1782–1789.
Anshelevich, E., Bhardwaj, O., Elkind, E., Postl, J., & Piotr, S., (2018). Approximating optimal social choice under metric preferences. Artificial Intelligence, 264, 27–51.
Anshelevich, E., Bhardwaj, O., & Postl. J., (2015). Approximating optimal social choice under metric preferences. In Proceedings of the 29th AAAI conference on artificial intelligence, pages 777–783.
Anshelevich, E., Filos-Ratsikas, A., Shah, N., & Voudouris, A. A., (2021). Distortion in social choice problems: The first 15 years and beyond. In Proceedings of the 30th international joint conference on artificial intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 4294–4301.
Anshelevich, E., & John, P., (2017). Randomized social choice functions under metric preferences. Journal of Artificial Intelligence Research, 58, 797–827.
Anshelevich, E., Zhu, W., (2018). Ordinal approximation for social choice, matching, and facility location problems given candidate positions. In Web and Internet Economics - 14th International conference, WINE 2018, Oxford, UK, December 15-17, 2018, Proceedings, pages 3–20.
Bartholdi, J., & Trick, M. A. (1986). Stable matching with preferences derived from a psychological model. Operations Research Letters, 5(4), 165–169.
Black, D. (1948). On the rationale of group decision-making. Journal of Political Economy, 56(1), 23–34.
Boutilier, C., Caragiannis, I., Haber, S., Tyler, L., Procaccia, A. D., & Sheffet, O. (2015). Optimal social choice functions: A utilitarian view. Artificial Intelligence, 227, 190–213.
Bredereck, R., Chen, J., & Woeginger, G. J. (2013). A characterization of the single-crossing domain. Social Choice and Welfare, 41(4), 989–998.
Byrka, J., Pensyl, T. W., Rybicki, B., Srinivasan, A., & Trinh, K. (2017). An improved approximation for k-median and positive correlation in budgeted optimization. ACM Transactions on Algorithms, 13(2), 23:1-23:31.
Caragiannis, I., Nath, S., Procaccia, A. D., & Shah, Nisarg. (2017). Subset selection via implicit utilitarian voting. Journal of Artificial Intelligence Research, 58, 123–152.
Charikar, M., & Ramakrishnan, P., (2022). Metric distortion bounds for randomized social choice. In Proceedings of the 2022 ACM-SIAM Symposium on discrete algorithms, SODA 2022, virtual conference / Alexandria, VA, USA, January 9 - 12, 2022, pages 2986–3004.
Chen, J., Pruhs, K., & Woeginger, G. J. (2017). The one-dimensional euclidean domain: finitely many obstructions are not enough. Social Choice and Welfare, 48(2), 409–432.
Chen, X., Li, M., & Wang, C., (2020). Favorite-candidate voting for eliminating the least popular candidate in a metric space. In The thirty-fourth AAAI conference on artificial intelligence, AAAI 2020, The thirty-second innovative applications of artificial intelligence conference, IAAI 2020, The Tenth AAAI symposium on educational advances in artificial intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 1894–1901.
Cheng, Y., Wei, Y., & Zhang, Guochuan. (2013). Strategy-proof approximation mechanisms for an obnoxious facility game on networks. Theoretical Computer Science, 497, 154–163.
Church, R. L., & Drezner, Z. (2022). Review of obnoxious facilities location problems. Computers & Operations Research, 138, 105468.
Doignon, J. P., & Falmagne, Jean-Claude. (1994). A polynomial time algorithm for unidimensional unfolding representations. Journal of Algorithms, 16(2), 218–233.
Elkind, E., & Faliszewski, P., (2014). Recognizing 1-Euclidean preferences: an alternative approach. In Proceedings of the 7th international symposium on algorithmic game theory (SAGT 2014), pages 146–157.
Elkind, E., Faliszewski, P., & Slinko, A. M., (2012). Clone structures in voters’ preferences. In Proceedings of the 13th ACM conference on electronic commerce, EC 2012, Valencia, Spain, June 4-8, 2012, pages 496–513.
Enelow, J. M., & Hinich, M. J. (1984). The spatial theory of voting: An introduction. Cambridge University Press.
Bruno Escoffier, Jérôme Lang, & Meltem Öztürk. (2018). Single-peaked consistency and its complexity. In ECAI 2008 - 18th european conference on artificial intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pages 366–370.
Feldman, M., Fiat, A., & Golomb, I., (2016). On voting and facility location. In Proceedings of the 2016 ACM Conference on economics and computation, EC ’16, Maastricht, The Netherlands, July 24-28, 2016, pages 269–286.
Gkatzelis, V., Halpern, D., & Shah, N., (2020). Resolving the optimal metric distortion conjecture. In 61st IEEE annual symposium on foundations of computer science, FOCS 2020, Durham, NC, USA, November 16-19, 2020, pages 1427–1438.
Goel, A., Hulett, R., & Krishnaswamy, A. K., (2018). Relating metric distortion and fairness of social choice rules. In Proceedings of the 13th workshop on economics of networks, systems and computation, NetEcon@SIGMETRICS 2018, Irvine, CA, USA, June 18, 2018, page 4:1.
Gross, S., Anshelevich, E., & Xia, L., (2017). Vote until two of you agree: mechanisms with small distortion and sample complexity. In Proceedings of the 31st AAAI conference on artificial intelligence, pages 544–550. AAAI Press.
Hosseini, S., & Moharerhaye Esfahani, A. (2009). Obnoxious facility location (pp. 315–345). Physica-Verlag Heidelberg.
Karlin, Samuel. (1968). Total Positivity. Stanford University Press.
Kempe, D., (2020). An analysis framework for metric voting based on LP duality. In Proceedings of the 34th AAAI conference on artificial intelligence (AAAI 2020), pages 2079–2086. AAAI Press.
Kempe, D., (2020). Communication, distortion, and randomness in metric voting. In Proceedings of the 34th AAAI conference on artificial intelligence (AAAI 2020), pages 2087–2094. AAAI Press.
Knoblauch, V. (2010). Recognizing one-dimensional euclidean preference profiles. Journal of Mathematical Economics, 46(1), 1–5.
Mandal, D., Shah, N., & David, P., (2020). Woodruff. Optimal communication-distortion tradeoff in voting. In EC ’20: The 21st ACM conference on economics and computation, virtual event, hungary, July 13-17, 2020, pages 795–813.
Mei, L., Ye, D., & Zhang, G. (2018). Mechanism design for one-facility location game with obnoxious effects on a line. Theoretical Computer Science, 734, 46–57.
Mei, L., Ye, D., & Zhang, Y. (2018). Approximation strategy-proof mechanisms for obnoxious facility location on a line. Journal of Combinatorial Optimization, 36(2), 549–571.
Mirrlees, J. A. (1971). An exploration in the theory of optimal income taxation. Review of Economic Studies, 38, 175–208.
Munagala, K., & Wang, K., (2019). Improved metric distortion for deterministic social choice rules. In Proceedings of the 2019 ACM conference on economics and computation, EC 2019, pages 245–262.
Procaccia, A. D., & Jeffrey, S. (2006). Rosenschein. The distortion of cardinal preferences in voting. In Cooperative Information Agents X, 10th international workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings, pages 317–331.
Tamir, A. (1991). Obnoxious facility location on graphs. SIAM Journal on Discrete Mathematics, 4(4), 550–567.
Vijay, V. (2001). Vazirani. Approximation algorithms: Springer.
Zvi, D., & Hamacher, H. W. (2004). Facility Location Applications and Theory. Springer.
Zwicker, W. S. (2016). Introduction to the theory of voting. Handbook of computational social choice (pp. 23–56). Cambridge University Press.
Acknowledgements
We thank anonymous reviewers for their valuable comments on the preliminary version of this work. Laurent Gourvès is supported by Agence Nationale de la Recherche (ANR), project THEMIS ANR-20-CE23-0018.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 About randomization
In the following result, the \({\bar{\alpha }}\)-distortion of a randomized algorithm \(\mathcal{A}\) under preference profile \(\succ \) is the worst case value that \(\frac{\sum _{i \in \mathcal {N}} d(i,\mathsf{opt}(\succ ))}{{\mathbb {E}}_{f \sim \mathcal {A}(\succ )}[\sum _{i \in \mathcal {N}} d(i,f)]}\) takes.
Proposition 2
When \(m=2\), any randomized algorithm has \({\bar{\alpha }}\)-distortion at least \(\frac{1+2 {\bar{\alpha }}}{1+ {\bar{\alpha }}}\).
Proof
Suppose there are two candidates \(f_1\) and \(f_2\), and two agents. Agent 1 has preference order \(f_1 \succ _1 f_2\) and agent 2’s preference order is \(f_2 \succ _2 f_1\). Suppose \(f_1\) and \(f_2\) are output with probability p and \(1-p\), respectively, with \(p \le 1-p\) (the case \(p > 1-p\) is symmetric).
Consider an instance where the candidates and the agents are on a line. The location of \(f_1\), \(f_2\), agent 1 and agent 2, are 0, \({\bar{\alpha }} +1\), \({\bar{\alpha }}\), and \({\bar{\alpha }} +1\), respectively.
The instance is consistent with the preference profile and \(\bar{\alpha }\)-decisive. The distortion is \(\frac{1+2{\bar{\alpha }}}{p(1+2 {\bar{\alpha }}) + 1-p} = \frac{1+2{\bar{\alpha }}}{1+ 2{\bar{\alpha }} p}\). The largest value that p can take is 1/2, giving a lower bound of \(\frac{1+2 {\bar{\alpha }}}{1+ {\bar{\alpha }}}\). \(\square \)
Rights and permissions
About this article
Cite this article
Fotakis, D., Gourvès, L. On the distortion of single winner elections with aligned candidates. Auton Agent Multi-Agent Syst 36, 37 (2022). https://doi.org/10.1007/s10458-022-09567-5
Accepted:
Published:
DOI: https://doi.org/10.1007/s10458-022-09567-5