{"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":50574,"journal":{"name":"Discrete & Computational Geometry","volume":"47 4 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete & Computational Geometry","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00454-023-00619-5","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","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}\).
期刊介绍:
Discrete & Computational Geometry (DCG) is an international journal of mathematics and computer science, covering a broad range of topics in which geometry plays a fundamental role. It publishes papers on such topics as configurations and arrangements, spatial subdivision, packing, covering, and tiling, geometric complexity, polytopes, point location, geometric probability, geometric range searching, combinatorial and computational topology, probabilistic techniques in computational geometry, geometric graphs, geometry of numbers, and motion planning.