6 problems

Let $g$ be the function defined in Theorem, and let $k$ and $i$ be the parameters occurring there. Strict exclusion conjecture. One has … and … The paper presents this as a stronge…

Bounded-arithmetic conjecture for Arrow's theorem. The first-order formalisation of Arrow's theorem is provable in

Let $m\geq 2$, let $\rho\in[0,1]$, and let $\varepsilon>0$. For a function $f:\{1,\ldots,m\}^n\to\Delta_m$, write $\operatorname{Inf}_i(f_j)$ for the influence of coordinate $i$ on…

Let $S_k$ be the set of rankings of $k$ candidates, and let $f\colon S_k^n\to\Delta_k$ be a ranked-choice voting method, where $\Delta_k$ is the simplex of randomized outcomes on t…

Let $n$ be large, let $k\geq 3$ be the number of candidates, and let voters cast independent uniformly random votes. A voting method is balanced when each candidate has equal proba…

Let $S$ be a random fixed-length circular society with $n$ voters, approval set length $p$, and piercing number $\tau(S)$. For a positive integer $k$, Extended probability formula.…