Budget-proposal aggregation

Budget-proposal aggregation (BPA) is a problem in social choice theory.[1][2][3] A group has to decide on how to distribute its budget among several issues. Each group-member has a different idea about what the ideal budget-distribution should be. The problem is how to aggregate the different opinions into a single budget-distribution program.

BPA is a special case of participatory budgeting, with the following characteristics:

  1. The issues are divisible and unbounded – each issue can be allocated any amount, as long as the sum of allocations equals the total budget.
  2. Agents' preferences are given by single-peaked preferences over an ideal budget.[citation needed]

It is also a special case of fractional social choice (portioning), in which agents express their preferences by stating their ideal distribution, rather than by a ranking of the issues.[4][5][clarification needed]

Another sense in which aggregation in budgeting has been studied is as follows. Suppose a manager asks his worker to submit a budget-proposal for a project. The worker can over-report the project cost, in order to get the slack to himself. Knowing that, the manager might reject the worker's proposal when it is too high, even though the high cost might be real. To mitigate this effect, it is possible to ask the worker for aggregate budget-proposals (for several projects at once). The experiment shows that this approach can indeed improve the efficiency of the process.[6]

The same problem has been studied in the context of aggregating probability distributions.[7] Suppose each citizen in society has a certain probability-distribution over candidates, representing the probability that the citizen prefers each candidate. The goal is to aggregate all distributions to a single probability-distribution, representing the probability that society should choose each candidate.

Rules for the one-dimensional case

edit

The one-dimensional case is the special case in which there are only two issues, e.g. defense and education. In this case, distributions can be represented by a single parameter: the allocation to issue #1 (the allocation to issue #2 is simply the total budget minus the allocation to issue #1). It is natural to assume that the agents have single-peaked preferences, that is: between two options that are both larger, or both smaller, than their ideal allocation, they prefer the option that is closer to their ideal allocation.

This setting is similar to a one-dimensional facility location problem: a certain facility (e.g. a public school) has to be built on a line; each voter has an ideal spot on the line in which the facility should be built (nearest to his own house); and the problem is to aggregate the voters' preferences and decide where on the line the facility should be built.

The average rule

edit

The average voting rule is an aggregation rule that simply returns the arithmetic mean of all individual distributions. It is the unique rule that satisfies the following three axioms:[7]

  • Completeness: for every n distributions, the rule returns a distribution.
  • Unanimity for losers: if an issue receives 0 in all individual distributions, then it receives 0 in the collective distribution.
  • Strict and equal sensitivity to individual allocations: if one voter increases his allocation to one issue, while all other allocations remain the same, then the collective allocation to this issue strictly increases; moreover, the rate of increase is the same for all voters – it depends only on the issue.

But the average rule is not incentive-compatible, and is very easy to manipulate. For example, suppose there are two issues, the ideal distribution of Alice is (80%, 20%), and the average of the ideal distributions of the other voters is (60%, 40%). Then Alice would be better-off by reporting that her ideal distribution is (100%, 0%), since this will pull the average distribution closer to her ideal distribution.

The median rule

edit

The median voting rule for the one-dimensional case is an aggregation rule that returns the median of the ideal budgets of all citizens. It has several advanatages:

  • Assuming the agents' preferences are single-peaked, the median rule is strategyproof, and even group strategyproof.[8]
  • Assuming further that each agent's utility function is minus the distance between his ideal allocation and the chosen allocation, the median rule is utilitarian – it maximizes the sum of agents' utilities. This also implies that it is Pareto efficient.

But the median rule may be considered unfair, as it ignores the minority opinion. For example, suppose the two issues are "investment in the north" vs. "investment in the south". 49% of the population live in the north and therefore their ideal distribution is (100%,0%), while 51% of the population live in the south and therefore their ideal distribution is (0%,100%), The median rule selects the distribution (0%,100%), which is unfair for the citizens living in the north.

This fairness notion is captured by proportionality (PROP),[1] which means that, if all agents are single-minded (want either 0% or 100%), then the allocation equals the fraction of agents who want 100%. The average rule is PROP but not strategyproof; the median rule is strategyproof but not PROP.

Median with phantoms

edit

The median rule can be generalized by adding fixed votes, that do not depend on the citizen votes. These fixed votes are called "phantoms". Forr every set of phantoms, the rule that chooses the median of the set of real votes + phantoms is strategyproof; see median voting rule for examples and characterization.[9]

The Uniform Phantom median rule (UPM) is a special case of the median rule, with n-1 phantoms at 1/n, ..., (n-1)/n. This rule is strategyproof (like all phantom-median rules), but in addition, it is also proportional. It has several characerizations:

  • UPM is the only rule satisfying continuity, anonymity, strategyproofness and proportionality among all symmetric single-peaked preferences.[1]: Prop.1 
  • UPM is the only rule satisfying strategyproofness and proportionality among all single-peaked preferences.[10]

Proportional fairness

edit

Aziz, Lam, Lee and Walsh[11] study the special case in which the preferences are single-peaked and symmetric, that is: each agent compares alternatives only by their distance from his ideal point, regardless of the direction. In particular, they assume that each agent's utility is 1 minus the distance between his ideal point and the chosen allocation. They consider several fairness axioms:

  • Individual fair share (IFS) means that each agent's utility is at least 1/n (that is, the distance from his ideal point to the allocation is at most 1-1/n);
  • Proportionality[1] means that, if all agents are single-minded and want either 0% or 100%, then the allocation equals the fraction of agents who want 100%.
  • Unanimity means that, if all agents agree on an allocation, then this allocation should be chosen.
  • Unanimous fair share (UFS) means that, for each group of size k with exactly the same ideal point, the utility of each group member is at least k/n (this is analogous to requirements of justified representation).
    • UFS implies IFS (take k=1), unanimity (take k=n) and proportionality (take k=number of agents whose ideal point is 100%).
  • Proportional fairness (PF) means that, for each group of size k with ideal points in an interval of radius r, the utility of each group member is at least k/n-r. PF implies UFS (take r=0). All implications are strict.

The following is known about existing rules:

  • The median rule is strategyproof. It satisfies unanimity, but not IFS or PROP (hence not UFS or PF).
  • The egalitarian rule (- selecting the midpoint between the smallest and largest ideal point) satisfies unanimity and IFS, but not PROP (hence not UFS or PF). It is also not strategyproof.
  • The Nash rule (- selecting an allocation that maximizes the product of agents' utilities) satisfies PF (hence all other fairness properties), but it is not strategyproof.
  • The uniform phantom median rule satisfies PF (hence all other fairness properties), and it is also strategyproof.

They prove the following characterizations:

  • Every rule that satisfies IFS, unanimity, anonymity and strategyproofness is a phantom-median mechanism with n-1 phantoms between 1/n and 1-1/n.
  • The only rule that satisfies PROP, unanimity and strategyproofness is the Uniform Phantom median rule. Hence, the only rule that satisfies UFS/PF and strategyproofness is UPM.

Border and Jordan[12]: Cor.1  prove that the only rule satisfying continuity, anonymity, proportionality and strategyproofness is UPM.

Average vs. median

edit

Rosar compares the average rule to the median rule when the voters have diverse private information and interdependent preferences. For uniformly distributed information, the average report dominates the median report from a utilitarian perspective, when the set of admissible reports is designed optimally. For general distributions, the results still hold when there are many agents.[13]

Rules for the multi-dimensional case

edit

When there are more than two issues, the space of possible budget-allocations is multi-dimensional. Extending the median rule to the multi-dimensional case is challenging, since the sum of the medians might be different than the median of the sum. In other words, if we pick the median on each issue separately, we might not get a feasible distribution.

In the multi-dimensional case, aggregation rules depend on assumptions on the utility functions of the voters.

L1 utilities

edit

A common assumption is that the utility of voter i, with ideal budget (peak) pi, from a given budget allocation x, is minus the L1-distance between pi and x. Under this assumption, several aggregation rules were studied.

Utilitarian rules

edit

Lindner, Nehring and Puppe[14] consider BPA with discrete amounts (e.g. whole dollars). They define the midpoint rule: it chooses a budget-allocation that minimizes the sum of L1-distances to the voters' peaks. In other words, it maximizes the sum of utilities – it is a utilitarian rule. They prove that the set of midpoints is convex, and that it is locally determined (one can check if a point is a midpoint only by looking at its neighbors in the simplex of allocations). Moreover, they prove that the possibility of strategic manipulation is limited: a manipulating agent cannot make the closest midpoint closer to his peak, nor make the farthest midpoint closer to his peak. As a consequence, the midpoint rule is strategyproof if all agents have symmetric single-peaked preferences.

Goel, Krishnaswamy, Saskhuwong and Aitamurto[15] consider BPA in the context of participatory budgeting with divisible projects: they propose to replace the common voting format of approving k projects with "knapsack voting". With discrete projects, this means that each voter has to select a set of projects whose total cost is at most the available budget; with divisible projects, this means that each voter reports his ideal budget-allocation. Now, each project is partitioned into individual "dollars"; for dollar j of project i, the number of votes is the total number of agents whose ideal budget gives at least j to project i. Given the votes, the knapsack-voting rule selects the dollars with the highest amount of support (as in utilitarian approval voting). They prove that, with L1-utilities, the knapsack voting is strategyproof and utilitarian (and hence efficient).

Both utilitarian rules are not "fair" in the sense that they may ignore minorities. For example, if 60% of the voters vote for the distribution (100%,0%) whereas 40% vote for (0%,100%), then the utilitarian rules would choose (100%,0%) and give nothing to the issue important for the minority.

Moving phantoms rules

edit

Freeman, Pennock, Peters and Vaughan[1] suggest a class of rules called moving-phantoms rules, where there are n+1 phantoms that increase continuously until the outcome equals the total budget. They prove that all these rules are strategyproof. The proof proceeds in two steps. (1) If an agent changes his reported peak, but all the phantoms are fixed in place, then we have a median voting rule in each issue, so the outcome in each issue either stays the same or goes farther from the agent's real peak. (2) as the phantoms move, the outcome in some issues may move nearer to the agent's real peak, but the agent's gain from this is at most the agent's loss in step 1.

Note that the proof of (2) crucially relies on the assumption of L1 utilities, and does not work with other distance metrics. For example, suppose there are 3 issues and two agents with peaks at (20,60,20) and (0,50,50). One moving-phantoms rule (the "independent markets" rule below) returns (20,50,30), so agent 1's L1 disutility is 10+10+0=20 and L2 disutility is sqrt(100+100+0)=sqrt(200). If agent 1 changes his peak to (30,50,20), then the rule returns (25,50,25). Agent 1's L1 disutility is 5+10+5=20 and L2 disutility is sqrt(25+100+25)=sqrt(150). Agent 1 does not gain in L1 disutility, but does gain in L2 disutility.

Independent markets rule

edit

A particular moving-phantoms rule is the Independent Markets rule. In addition to strategyproofness, it satisfies a property that they call proportionality: if all agents are single-minded (each agent's ideal budget allocates 100% of the budget to a single issue), then the rule allocates the budget among the issues proportionally to the number of their supporters. However, this rule is not efficient (in fact, the only efficient moving-phantom rule is the utilitarian rule). A demo of the Independent Markets rule, and several other moving-phantoms rules, is available online..

Piecewise-uniform rule

edit

Caragiannis, Christodoulou and Protopapas[2] extended the definition of proportionality from single-minded preference profiles to any preference profile. They define the proportional outcome as the arithmetic mean of peaks. The only mechanism which is always proportional is the average rule, which is not strategyproof. Hence, they define the L1 distance between the outcome of a rule and the average as the degree of dis-proportionality. The disproportionality of any budget-allocation is between 0 and 2. They evaluate BPA mechanisms by their worst-case disproportionality. In BPA with two issues, they show that UPM has worst-case disproportionality 1/2. With 3 issues, the independent-markets mechanism may have disproportionality 0.6862; they propose another moving-phantoms rule, called Piecewise-Uniform rule, which is still proportional, and has disproportionality ~2/3. They prove that the worst-case disproportionality of a moving-phantoms mechanism on m issues is at least 1-1/m, and the worst-case disproportionality of any truthful mechanism is at least 1/2; this implies that their mechanisms attain the optimal disproportionality.

Ladder rule

edit

Freeman and Schmidt-Kraepelin[3] study a different measure of dis-proportionality: the L-infinity distance between the outcome and the average (i.e., the maximum difference per project, rather than the sum of differences). They define a new moving-phantoms rule called the Ladder rule, which underfunds a project by at most 1/2-1/(2m), and overfunds a project by at most 1/4; both bounds are tight for moving-phantoms rules.

Other rules

edit

It is an open question whether every anonymous, neutral, continuous and strategyproof rule is a moving-phantoms rule.[1][2]

Elkind, Suksompong and Teh[16] define various axioms for BPA with L1-disutilities, analyze the implications between axioms, and determine which axioms are satisfied by common aggregation rules. They study two classes of rules: those based on coordinate-wise aggregation (average, maximum, minimum, median, product), and those based on global optimization (utilitarian, egalitarian).

Convex preferences

edit

Nehring and Puppe[17][18] aim to derive decision rules with as few assumptions as possible on agents' preferences; they call this the frugal model. They assume that the social planner knows the agents' peaks, but does not know their exact preferences; this leads to uncertainty regarding how many people prefer an alternative x to an alternative y.

Given two alternatives x and y, x is a necessary majority winner if it wins over y according to all preferenes in the domain that are consistent with the agents' peaks; x is majority admissible if no other alternative is a necessary-majority-winner over x. Given two alternatives x and y, x is an ex-ante majority winner if its smallest possible number of supporters is at least as high as the smallest possible number of supporters of y, which holds iff its largest possible number of supporters is at least as high as the largest possible number of supporters of y. x is an ex-ante Condorcet winner (EAC) if it is an ex-ante majority winner over every other alternative.

They assume that agents' preferences are convex, which in one dimension is equivalent to single-peakedness.[clarification needed] But convexity alone is not enough to attain meaningful results in two or more dimensions (if the peaks are in general position, then all peaks are EAC winners). So they consider two subsets of convex preferences: homogenous quadratic preferences, and separable convex preferences.

  • In the homogeneous quadratic model, an EAC winner always exists and it is always a Tukey median.
  • In the separable convex model, an EAC winner may not exist, but a "local" EAC winner exists and it minimizes the sum of L1 -distances to the agents’ peaks. This solution can be efficiently computed using a spreadsheet. Note that, even with separable convex preferences, the only strategyproof rules are dictatorships.[19][20]

They study BPA allowing lower and upper bounds on the spending on each issue.

Fain, Goel and Munagala[21] assume that agents have additive concave utility functions, which represent convex preferences over bundles. In particular, for each agent i and issue j there is a coefficient ai,j, and for each issue j there is an increasing and strictly concave function gj; the total utility of agent i from budget allocation x is:  . They study the Lindahl equilibrium of this problem, prove that it is in the core (which is a strong fairness property), and show that it can be computed in polynomial time.

Wagner and Meir[22] study a generalization of BPA in which each agent may propose, in addition to a budget-allocation, also an amount t of tax (positive or negative) that will be taken from all agents and added to the budget. For each agent i there is a coefficient ai,f that represents the utility of monetary gains and losses, and there is a function f which is strictly convex for negative values and strictly concave for positive values, and  , where d is the monetary gain (which can be negative). For this utility model, they present a variant of the Vickrey–Clarke–Groves mechanism that is strategyproof, but requires side-payments (in addition to the tax).

Empirical evidence

edit

Puppe and Rollmann present a lab experiment comparing the average voting rule and a normalized median voting rule in multidimensional budget aggregation setting.[23] Under the average rule, people act in equilibrium when the equilibrium strategies are easily identifiable.[clarification needed] Under normalized median rule, many people play best responses, but these best responses are usually not exactly truthful. Still, the median rule attains much higher social welfare than the average rule.

See also

edit
  • Belief aggregation – a similar problem in which experts report probability distributions, and the goal is to select a single probability distribution aggregating their different opinions.
  • Spatial model of voting – another model in which agents' preferences are fully determined by their top choice.

References

edit
  1. ^ a b c d e f Freeman, Rupert; Pennock, David M.; Peters, Dominik; Wortman Vaughan, Jennifer (2019-06-17). "Truthful Aggregation of Budget Proposals". Proceedings of the 2019 ACM Conference on Economics and Computation. EC '19. New York: Association for Computing Machinery. pp. 751–752. arXiv:1905.00457. doi:10.1145/3328526.3329557. ISBN 978-1-4503-6792-9.
  2. ^ a b c Caragiannis, Ioannis; Christodoulou, George; Protopapas, Nicos (2022-06-28). "Truthful Aggregation of Budget Proposals with Proportionality Guarantees". Proceedings of the AAAI Conference on Artificial Intelligence. 36 (5): 4917–4924. arXiv:2203.09971. doi:10.1609/aaai.v36i5.20421. ISSN 2374-3468.
  3. ^ a b Freeman, Rupert; Schmidt-Kraepelin, Ulrike (2023). "Project-Fair and Truthful Mechanisms for Budget Aggregation". arXiv:2309.02613 [cs.GT].
  4. ^ Airiau, Stéphane; Aziz, Haris; Caragiannis, Ioannis; Kruger, Justin; Lang, Jérôme; Peters, Dominik (2023-01-01). "Portioning using ordinal preferences: Fairness and efficiency". Artificial Intelligence. 314: 103809. doi:10.1016/j.artint.2022.103809. ISSN 0004-3702.
  5. ^ Elkind, Edith; Suksompong, Warut; Teh, Nicholas (2023), "Settling the Score: Portioning with Cardinal Preferences", ECAI 2023, Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 621–628, arXiv:2307.15586, doi:10.3233/FAIA230324, ISBN 9781643684369
  6. ^ "Aggregation in Budgeting: An Experiment". publications.aaahq.org. Retrieved 2023-10-16.
  7. ^ a b Intriligator, M. D. (1973-10-01). "A Probabilistic Model of Social Choice". The Review of Economic Studies. 40 (4): 553–560. doi:10.2307/2296588. ISSN 0034-6527. JSTOR 2296588.
  8. ^ Dummett, Michael; Farquharson, Robin (1961). "Stability in Voting". Econometrica. 29 (1): 33–43. doi:10.2307/1907685. ISSN 0012-9682. JSTOR 1907685.
  9. ^ Moulin, H. (1980-01-01). "On strategy-proofness and single peakedness". Public Choice. 35 (4): 437–455. doi:10.1007/BF00128122. ISSN 1573-7101. S2CID 154508892.
  10. ^ Jennings, Andrew B.; Laraki, Rida; Puppe, Clemens; Varloot, Estelle M. (2023-08-28). "New characterizations of strategy-proofness under single-peakedness". Mathematical Programming. 203 (1–2): 207–238. arXiv:2102.11686. doi:10.1007/s10107-023-02010-x. ISSN 1436-4646. S2CID 232014167.
  11. ^ Aziz, Haris; Lam, Alexander; Lee, Barton; Walsh, Toby (October 2022). Strategyproof and Proportionally Fair Facility Location (Report). arXiv.org.
  12. ^ "Straightforward Elections, Unanimity and Phantom Voters". academic.oup.com. Retrieved 2023-10-16.
  13. ^ Rosar, Frank (2015-09-01). "Continuous decisions by a committee: Median versus average mechanisms". Journal of Economic Theory. 159: 15–65. doi:10.1016/j.jet.2015.05.010. ISSN 0022-0531.
  14. ^ http://www.accessecon.com/pubs/SCW2008/GeneralPDFSCW2008/SCW2008-08-00132S.pdf
  15. ^ Goel, Ashish; Krishnaswamy, Anilesh K.; Sakshuwong, Sukolsak; Aitamurto, Tanja (2019-07-29). "Knapsack Voting for Participatory Budgeting". ACM Transactions on Economics and Computation. 7 (2): 8:1–8:27. arXiv:2009.06856. doi:10.1145/3340230. ISSN 2167-8375.
  16. ^ Elkind, Edith; Suksompong, Warut; Teh, Nicholas (2023). "Settling the Score: Portioning with Cardinal Preferences". arXiv:2307.15586 [cs.GT].
  17. ^ Nehring, Klaus; Puppe, Clemens (2022). Condorcet solutions in frugal models of budget allocation (Report). KIT Working Paper Series in Economics., which supersedes Nehring, Klaus; Puppe, Clemens (2019). Resource allocation by frugal majority rule (Report). KIT Working Paper Series in Economics.
  18. ^ Nehring, Klaus; Puppe, Clemens (2023). Multi-dimensional social choice under frugal information: The Tukey median as Condorcet winner ex ante by (Report). KIT Working Paper Series in Economics.
  19. ^ Nehring, Klaus; Puppe, Clemens (2007-07-01). "The structure of strategy-proof social choice — Part I: General characterization and possibility results on median spaces". Journal of Economic Theory. 135 (1): 269–305. doi:10.1016/j.jet.2006.04.008. ISSN 0022-0531.
  20. ^ Nehring, Klaus; Puppe, Clemens (2010-03-01). "Abstract Arrowian aggregation". Journal of Economic Theory. Judgment Aggregation. 145 (2): 467–494. doi:10.1016/j.jet.2010.01.010. ISSN 0022-0531.
  21. ^ Fain, Brandon; Goel, Ashish; Munagala, Kamesh (2016). "The Core of the Participatory Budgeting Problem". In Cai, Yang; Vetta, Adrian (eds.). Web and Internet Economics. Lecture Notes in Computer Science. Vol. 10123. Berlin, Heidelberg: Springer. pp. 384–399. arXiv:1610.03474. doi:10.1007/978-3-662-54110-4_27. ISBN 978-3-662-54110-4.
  22. ^ Wagner, Jonathan; Meir, Reshef (2023). "Strategy-Proof Budgeting via a VCG-Like Mechanism". In Deligkas, Argyrios; Filos-Ratsikas, Aris (eds.). Algorithmic Game Theory. Lecture Notes in Computer Science. Vol. 14238. Cham: Springer Nature Switzerland. pp. 401–418. arXiv:2303.06923. doi:10.1007/978-3-031-43254-5_23. ISBN 978-3-031-43254-5.
  23. ^ Puppe, Clemens; Rollmann, Jana (2021-11-01). "Mean versus median voting in multi-dimensional budget allocation problems. A laboratory experiment". Games and Economic Behavior. 130: 309–330. doi:10.1016/j.geb.2021.08.008. ISSN 0899-8256. S2CID 239701471.