Proportionality in Approval-Based Participatory Budgeting
Authors: Markus Brill, Stefan Forster, Martin Lackner, Jan Maly, Jannik Peters
AAAI 2023 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We establish logical implications among our axioms and related notions from the literature, and we ask whether outcomes can be achieved that are proportional with respect to more than one satisfaction function. We show that this is impossible for the two commonly used satisfaction functions when considering proportionality notions based on extended justified representation, but achievable for a notion based on proportional justified representation. For the latter result, we introduce a strengthening of priceability and show that it is satisfied by several polynomial-time computable rules, including the Method of Equal Shares and Phragm en s sequential rule. |
| Researcher Affiliation | Academia | Markus Brill1,2, Stefan Forster3, Martin Lackner3, Jan Maly4, Jannik Peters1 1TU Berlin, Berlin, Germany 2University of Warwick, Coventry, UK 3TU Wien, Vienna, Austria 4ILLC, University of Amsterdam, Amsterdam, Netherlands |
| Pseudocode | No | The paper defines algorithms like MES[ยต] but describes them in paragraph form without a formal pseudocode block or algorithm listing. |
| Open Source Code | No | The paper does not provide concrete access to source code, nor does it explicitly state that code for the methodology is being released. |
| Open Datasets | No | The paper is theoretical and focuses on axioms and algorithms for participatory budgeting. It does not conduct experiments on datasets, thus no dataset is mentioned as being publicly available for training. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical evaluation with dataset splits. Therefore, no training/test/validation splits are mentioned. |
| Hardware Specification | No | The paper is theoretical and does not conduct experiments that would require specific hardware. Therefore, no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and focuses on mathematical proofs and algorithm design. It does not specify any software dependencies with version numbers needed for replication. |
| Experiment Setup | No | The paper is theoretical and focuses on mathematical proofs and algorithm design. It does not involve experimental setups with hyperparameters or training configurations. |