{"title":"Plurality in Spatial Voting Games with Constant $$\\beta $$","authors":"Arnold Filtser, Omrit Filtser","doi":"10.1007/s00454-023-00619-5","DOIUrl":null,"url":null,"abstract":"<p>Consider a set <i>V</i> of voters, represented by a multiset in a metric space (<i>X</i>, <i>d</i>). The voters have to reach a decision—a point in <i>X</i>. A choice <span>\\(p\\in X\\)</span> is called a <span>\\(\\beta \\)</span>-plurality point for <i>V</i>, if for any other choice <span>\\(q\\in X\\)</span> it holds that <span>\\(|\\{v\\in V\\mid \\beta \\cdot d(p,v)\\le d(q,v)\\}| \\ge \\frac{|V|}{2}\\)</span>. In other words, at least half of the voters “prefer” <i>p</i> over <i>q</i>, when an extra factor of <span>\\(\\beta \\)</span> is taken in favor of <i>p</i>. For <span>\\(\\beta =1\\)</span>, this is equivalent to Condorcet winner, which rarely exists. The concept of <span>\\(\\beta \\)</span>-plurality was suggested by Aronov, de Berg, Gudmundsson, and Horton [TALG 2021] as a relaxation of the Condorcet criterion. Let <span>\\(\\beta ^*_{(X,d)}=\\sup \\{\\beta \\mid \\text{ every } \\text{ finite } \\text{ multiset } V{ in}X{ admitsa}\\beta \\text{-plurality } \\text{ point }\\}\\)</span>. The parameter <span>\\(\\beta ^*\\)</span> determines the amount of relaxation required in order to reach a stable decision. Aronov et al. showed that for the Euclidean plane <span>\\(\\beta ^*_{({\\mathbb {R}}^2,\\Vert \\cdot \\Vert _2)}=\\frac{\\sqrt{3}}{2}\\)</span>, and more generally, for <i>d</i>-dimensional Euclidean space, <span>\\(\\frac{1}{\\sqrt{d}}\\le \\beta ^*_{({\\mathbb {R}}^d,\\Vert \\cdot \\Vert _2)}\\le \\frac{\\sqrt{3}}{2}\\)</span>. In this paper, we show that <span>\\(0.557\\le \\beta ^*_{({\\mathbb {R}}^d,\\Vert \\cdot \\Vert _2)}\\)</span> for any dimension <i>d</i> (notice that <span>\\(\\frac{1}{\\sqrt{d}}<0.557\\)</span> for any <span>\\(d\\ge 4\\)</span>). In addition, we prove that for every metric space (<i>X</i>, <i>d</i>) it holds that <span>\\(\\sqrt{2}-1\\le \\beta ^*_{(X,d)}\\)</span>, and show that there exists a metric space for which <span>\\(\\beta ^*_{(X,d)}\\le \\frac{1}{2}\\)</span>.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00454-023-00619-5","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Consider a set V of voters, represented by a multiset in a metric space (X, d). The voters have to reach a decision—a point in X. A choice \(p\in X\) is called a \(\beta \)-plurality point for V, if for any other choice \(q\in X\) it holds that \(|\{v\in V\mid \beta \cdot d(p,v)\le d(q,v)\}| \ge \frac{|V|}{2}\). In other words, at least half of the voters “prefer” p over q, when an extra factor of \(\beta \) is taken in favor of p. For \(\beta =1\), this is equivalent to Condorcet winner, which rarely exists. The concept of \(\beta \)-plurality was suggested by Aronov, de Berg, Gudmundsson, and Horton [TALG 2021] as a relaxation of the Condorcet criterion. Let \(\beta ^*_{(X,d)}=\sup \{\beta \mid \text{ every } \text{ finite } \text{ multiset } V{ in}X{ admitsa}\beta \text{-plurality } \text{ point }\}\). The parameter \(\beta ^*\) determines the amount of relaxation required in order to reach a stable decision. Aronov et al. showed that for the Euclidean plane \(\beta ^*_{({\mathbb {R}}^2,\Vert \cdot \Vert _2)}=\frac{\sqrt{3}}{2}\), and more generally, for d-dimensional Euclidean space, \(\frac{1}{\sqrt{d}}\le \beta ^*_{({\mathbb {R}}^d,\Vert \cdot \Vert _2)}\le \frac{\sqrt{3}}{2}\). In this paper, we show that \(0.557\le \beta ^*_{({\mathbb {R}}^d,\Vert \cdot \Vert _2)}\) for any dimension d (notice that \(\frac{1}{\sqrt{d}}<0.557\) for any \(d\ge 4\)). In addition, we prove that for every metric space (X, d) it holds that \(\sqrt{2}-1\le \beta ^*_{(X,d)}\), and show that there exists a metric space for which \(\beta ^*_{(X,d)}\le \frac{1}{2}\).