Fractional Pareto efficiency

In economics and computer science, Fractional Pareto efficiency or Fractional Pareto optimality (fPO) is a variant of Pareto efficiency used in the setting of fair allocation of discrete objects. An allocation of objects is called discrete if each item is wholly allocated to a single agent; it is called fractional if some objects are split among two or more agents. A discrete allocation is called Pareto-efficient (PO) if it is not Pareto-dominated by any discrete allocation; it is called fractionally Pareto-efficient (fPO) if it is not Pareto-dominated by any discrete or fractional allocation.[1] So fPO is a stronger requirement than PO: every fPO allocation is PO, but not every PO allocation is fPO.

Formal definitions

edit

There is a set of n agents and a set of m objects. An allocation is determined by an n-by-m matrix z, where each element z[i,o] is a real number between 0 and 1. It represents the fraction that agent i gets from object o. For every object o, the sum of all elements in column o equals 1, since the entire object is allocated.

An allocation is called discrete or integral if all its elements z[i,o] are either 0 or 1; that is, each object is allocated entirely to a single agent.

An allocation y is called a Pareto improvement of an allocation z, if the utility of all agents in y is at least as large as in z, and the utility of some agents in y is strictly larger than in z. In this case, we also say that y Pareto-dominates z.

If an allocation z is not Pareto-dominated by any discrete allocation, then it is called discrete Pareto-efficient, or simply Pareto-efficient (usually abbreviated PO).

If z is not Pareto-dominated by any allocation at all - whether discrete or fractional - then it is called fractionally Pareto-efficient (usually abbreviated fPO).

Examples

edit

PO does not imply fPO

edit

Suppose there are two agents and two items. Alice values the items at 3, 2 and George values them at 4, 1. Let z be the allocation giving the first item to Alice and the second to George. The utility profile of z is (3,1).

  • z is (discrete) Pareto-efficient. To see this, consider the other possible discrete allocations: their utility profiles are (7,0) or (0,3) or (2,4). In any case, the utility of at least one agent is smaller, so no discrete allocation dominates z.
  • However, z is not fractionally-Pareto-efficient. It is dominated by the allocation y giving to Alice 1/2 of the first item and the whole second item, and the other 1/2 of the first item to George; the utility profile of y is (3.5, 2), so it gives a higher utility to both agents.

The price of fPO

edit

The following example[1] shows the "price" of fPO. The integral allocation maximizing the product of utilities (also called the Nash welfare) is PE but not fPO. Moreover, the product of utilities in any fPO allocation is at most 1/3 of the maximum product. There are five goods {h1,h2,g1,g2,g3} and 3 agents with the following values (where C is a large constant and d is a small positive constant):

Agents ↓ Goods ⇒ h1 h2 g1 g2 g3
A1 C C 1 1-d 1-d
A2 C C 1-d 1 1-d
A3 C C 1-d 1-d 1

A max-product integral allocation is {h1},{h2},{g1,g2,g3}, with product  . It is not fPO, since it is dominated by a fractional allocation: agent 3 can give g1 to agent 1 (losing 1-d utility) in return to a fraction of h1 that both agents value at 1-d/2. This trade strictly improves the welfare of both agents. Moreover, in any integral fPO allocation, there exists an agent Ai who receives only (at most) the good gi - otherwise a similar trade can be done. Therefore, a max-product fPO allocation is {g1,h1},{g2,h2},{g3}, with product  . When C is sufficiently large and d is sufficiently small, the product ratio approaches 1/3.

No fPO allocation is almost-equitable

edit

The following example[2]: Sec.6.6  shows that fPO is incompatible with a fairness notion known as EQx - equitability up to any good. There are three goods {g1,g2,g3} and two agents with the following values (where e is a small positive constant):

Agents ↓ Goods ⇒ g1 g2 g3
A1 1+e (1+e)10 1
A2 1 (1+e)10 1+e

Only two discrete allocations are EQx:

  • Agent 1 gets {g2} and agent 2 gets {g1,g3}; the utility profile is ((1+e)10, 2+e). This allocation is PO but not fPO, since it is dominated by the fractional allocation giving to agent 1 the bundle {g1, (1-(1+e)−9) fraction of g2} and to agent 2 the bundle {g3, (1+e)−9 fraction of g2}, in which the utility profile is ((1+e)10, 2+2e).
  • Agent 1 gets {g1,g3} and agent 2 gets {g2}; the utility profile is (2+e, (1+e)10). This allocation is PO but not fPO, since it is dominated by the fractional allocation giving to agent 2 the bundle {g1, (1-(1+e)−9) fraction of g2} and to agent 1 the bundle {g3, (1+e)−9 fraction of g2}, in which the utility profile is (2+2e, (1+e)10).

The same instance shows that fPO is incompatible with a fairness notion known as EFx - envy-freeness up to any good.[2]: Rem.5 

Characterization

edit

Maximizing a weighted sum of utilities

edit

An allocation is fPO if-and-only-if it maximizes a weighted sum of the agents' utilities. Formally, let w be a vector of size n, assigning a weight wi to every agent i. We say that an allocation z is w-maximal if one of the following (equivalent) properties hold:

  • Each object o is assigned only to agents i for whom the product   is maximal.
  •   implies   for all agents i, j and objects o.
  • The weighted sum of utilities,  , is maximal among all allocations, where   the utility of agent i in the allocation z.

An allocation is fPO if-and-only-if it is w-maximal for some vector w of strictly-positive weights. This equivalence was proved for goods by Negishi[3] and Varian.[4] The proof was extended for bads by Branzei and Sandomirskiy.[5] It was later extended to general valuations (mixtures of goods and bads) by Sandomirskiy and Segal-Halevi.[6]: Lem.2.3, App.A 

No improvements cycles in the consumption graph

edit

An allocation is fPO if-and-only-if it its directed consumption graph does not contain cycles with product smaller than 1. The directed consumption graph of an allocation z is a bipartite graph in which the nodes on one side are agents, the nodes on the other side are objects, and the directed edges represent exchanges: an edge incoming into agent i represents objects that agent i would like to accept (goods he does not own, or bads he own); an edge incoming from agent i represents objects that agent i can pay by (goods he owns, or bads he does not own). The weight of edge i -> o is |vi,o|, The weight of edge i -> o is |vi,o| and the weight of edge o -> i is 1/|vi,o|.

An allocation is called malicious if some object o is consumed by some agent i with vi,o ≤ 0, even though there is some other agent j with vj,o > 0; or, some object o is consumed by some agent i with vi,o < 0, even though there is some other agent j with vj,o ≥ 0. Clearly, every malicious allocation can be Pareto-improved by moving the object o from agent i to agent j. Therefore, non-maliciousness is a necessary condition for fPO.

An allocation is fPO if-and-only-if it is non-malicious, and its directed consumption graph as no directed cycle in which the product of weights is smaller than 1. This equivalence was proved for goods in the context of cake-cutting by Barbanel.[7] It was extended for bads by Branzei and Sandomirskiy.[5] It was later extended to general valuations (mixtures of goods and bads) by Sandomirskiy and Segal-Halevi.[6]: Lem.2.1, App.A 

Relation to market equilibrium

edit

In a Fisher market, when all agents have linear utilities, any market equilibrium is fPO. This is the first welfare theorem.[8]

Algorithms

edit

Deciding whether a given allocation is fPO

edit

The following algorithm can be used to decide whether a given an allocation z is fPO:

  • Compute the directed consumption graph of z;
  • Replace each weight with its logarithm;
  • Use an algorithm for finding a negative cycle, e.g., the Bellman-Ford algorithm.
  • Based on the above characterization, z is fPO if-and-only-if no negative cycle is found.

The run-time of the algorithm is O(|V||E|). Here, |V|=m+n and |E|≤m n, where m is the number of objects and n the number of agents. Therefore, fPO can be decided in time O(m n (m+n)).[6]: Lem.2.2, App.A 

An alternative algorithm is to find a vector w such that the given allocation is w-maximizing. This can be done by solving a linear program. The run-time is weakly-polynomial.

In contrast, deciding whether a given discrete allocation is PO is co-NP-complete.[9] Therefore, if the divider claims that an allocation is fPO, the agents can efficiently verify this claim; but if the divider claims that an allocation is PO, it may be impossible to verify this claim efficiently.[10]

Finding a dominating fPO allocation

edit

Finding an fPO allocation is easy. For example, it can be found using serial dictatorship: agent 1 takes all objects for which he has positive value; then agent 2 takes all remaining objects for which he has positive value; and so on.

A more interesting challenge is: given an initial allocation z (that may be fractional, and not be fPO), find an fPO allocation z* that is a Pareto-improvement of z. This challenge can be solved for n agents and m objects with mixed (positive and negative) valuations, in strongly-polynomial time, using O(n2 m2 (n+m)) operations. Moreover, in the computed allocation there are at most n-1 sharings.[6]: Lem.2.5, App.A 

If the initial allocation z is the equal split, then the final allocation z* is proportional. Therefore, the above lemma implies an efficient algorithm for finding a fractional PROP+fPO allocation, with at most n-1 sharings. Similarly, if z is an unequal split, then z* is weighted-proportional (proportional for agents with different entitlements). This implies an efficient algorithm for finding a fractional WPROP+fPO allocation with at most n-1 sharings.

Combining the above lemma with more advanced algorithms can yield, in strongly-polynomial time, allocations that are fPO and envy-free, with at most n-1 sharings.[6]: Cor.2.6 

Enumerating the fPO allocations

edit

There is an algorithm that enumerates all consumption graphs that correspond to fPO allocations.[6]: Prop.3.7  The run-time of the algorithm is  , where D is the degree of degeneracy of the instance (D=m-1 for identical valuations; D=0 for non-degenerate valuations, where for every two agents, the value-ratios of all m objects are different). In particular, when n is constant and D=0, the run-time of the algorithm is strongly-polynomial.

Finding fair and fPO allocations

edit

Several recent works have considered the existence and computation of a discrete allocation that is both fPO and satisfies a certain notion of fairness.

  • Barman and Krishnamurthy[11] prove that a discrete fPO+PROP1 allocation of goods can be computed in strongly-polynomial time. They show a similar result for a discrete fPO+EF11 allocation, where EF11 means "envy-free up to addition of one good and removal of another good".
  • Aziz, Moulin and Sandomirskiy[12] present an algorithm that computes a fractional fPO+WPROP allocation of mixed objects (goods and chores). It uses a linear program that maximizes the sum of utilities subject to proportionality. If a basic feasible solution is found (e.g. using the simplex algorithm), then the consumption graph of the resulting allocation is acyclic. Alternatively, it is possible to remove cycles from the resulting consumption graph in polynomial time. They also present an algorithm that converts a fractional fPO+WPROP allocation to a discrete fPO+WPROP1 allocation, in strongly-polynomial-time.
  • Barman, Krishnamurthy and Vaish[1] prove that there always exists a discrete allocation of goods that is fPO+EF1.
  • Murhekar and Garg[13] prove that a discrete fPO+EF1 allocation of goods can be found in pseudo-polynomial time. They also prove that, when all values are positive, a discrete fPO+EQ1 allocation can exists and can be found in pseudo-polynomial time. For k-ary instances (each agent has at most k different values for the goods), the above two results can be computed in polynomial time. Similarly, when the number of agents is a constant, the above two results can be computed in polynomial time.
  • Garg and Murhekar[10] prove that, when the valuation matrix contains only two different (positive) values, a discrete fPO+EFx allocation of goods always exists and can be computed in polynomial time. This strengthens previous results which showed similar results for binary (0,1) valuations,[14][15] and for PO+EFx.[16] They show similar results for PO+EQx.
  • Garg, Murhekar and Qin[17] prove that, when the valuation matrix contains only two different (negative) values, a discrete fPO+EF1 allocation of chores always exists and can be computed in polynomial time. The also prove that, in this case, a fractional fPO+EF allocation of (divisible) chores can be computed in polynomial time.
  • Freeman, Sikdar, Vaish and Xia[2] present a polynomial-time algorithm for computing a discrete allocation that is fPO+approximately-EQ1, for instances in which all valuations are powers of (1+e) for some constant e>0. They prove that, even for such instances (when there are at least 3 different valuations), there may be no discrete fPO+EQx allocation and no discrete fPO+EFx allocation.
  • Bai and Golz[18] present an algorithm for computing a weight-vector w such that, when the utilities ui of each agent i are drawn randomly and independently from a distribution (which may be different for different agents), each agent i has an equal probability that wi ui is larger than the wj uj of all other agents. They show, using Sperner's lemma, that a vector of equalizing weights always exists. When w is a vector of equalizing weights, the w-maximal allocation is envy-free with high probability. This implies that, with high probability (under suitable conditions on the utility distributions), there exists a discrete fPO+EF allocation.

References

edit
  1. ^ a b c Barman, S., Krishnamurthy, S. K., & Vaish, R., "Finding Fair and Efficient Allocations", EC '18: Proceedings of the 2018 ACM Conference on Economics and Computation, June 2018.
  2. ^ a b c Freeman, Rupert; Sikdar, Sujoy; Vaish, Rohit; Xia, Lirong (2019-08-10). "Equitable allocations of indivisible goods". Proceedings of the 28th International Joint Conference on Artificial Intelligence. IJCAI'19. Macao, China: AAAI Press: 280–286. arXiv:1905.10656. ISBN 978-0-9992411-4-1.
  3. ^ Negishi, Takashi (1960-06-01). "Welfare economics and existence of an equilibrium for a competitive economy". Metroeconomica. 12 (2–3): 92–97. doi:10.1111/j.1467-999X.1960.tb00275.x. ISSN 0026-1386.
  4. ^ Varian, Hal R. (1976-04-01). "Two problems in the theory of fairness". Journal of Public Economics. 5 (3): 249–260. doi:10.1016/0047-2727(76)90018-9. hdl:1721.1/64180. ISSN 0047-2727.
  5. ^ a b Brânzei, Simina; Sandomirskiy, Fedor (2019-07-03). "Algorithms for Competitive Division of Chores". arXiv:1907.01766 [cs.GT].
  6. ^ a b c d e f Sandomirskiy, Fedor; Segal-Halevi, Erel (2022-05-01). "Efficient Fair Division with Minimal Sharing". Operations Research. 70 (3): 1762–1782. arXiv:1908.01669. doi:10.1287/opre.2022.2279. ISSN 0030-364X. S2CID 247922344.
  7. ^ Barbanel, Julius B. (2005-01-24). The Geometry of Efficient Fair Division. Cambridge University Press. ISBN 978-1-139-44439-2.
  8. ^ Mas-Colell, Andreu (1995). "Microeconomic theory". 1. {{cite journal}}: Cite journal requires |journal= (help)
  9. ^ de Keijzer, Bart; Bouveret, Sylvain; Klos, Tomas; Zhang, Yingqian (2009). "On the Complexity of Efficiency and Envy-Freeness in Fair Division of Indivisible Goods with Additive Preferences". In Rossi, Francesca; Tsoukias, Alexis (eds.). Algorithmic Decision Theory. Lecture Notes in Computer Science. Vol. 5783. Berlin, Heidelberg: Springer. pp. 98–110. doi:10.1007/978-3-642-04428-1_9. ISBN 978-3-642-04428-1.
  10. ^ a b Garg, Jugal; Murhekar, Aniket (2021). "Computing Fair and Efficient Allocations with Few Utility Values". In Caragiannis, Ioannis; Hansen, Kristoffer Arnsfelt (eds.). Algorithmic Game Theory. Lecture Notes in Computer Science. Vol. 12885. Cham: Springer International Publishing. pp. 345–359. doi:10.1007/978-3-030-85947-3_23. ISBN 978-3-030-85947-3. S2CID 237521642.
  11. ^ Barman, Siddharth; Krishnamurthy, Sanath Kumar (2019-07-17). "On the Proximity of Markets with Integral Equilibria". Proceedings of the AAAI Conference on Artificial Intelligence. 33 (1): 1748–1755. arXiv:1811.08673. doi:10.1609/aaai.v33i01.33011748. ISSN 2374-3468. S2CID 53793188.
  12. ^ Aziz, Haris; Moulin, Hervé; Sandomirskiy, Fedor (2020-09-01). "A polynomial-time algorithm for computing a Pareto optimal and almost proportional allocation". Operations Research Letters. 48 (5): 573–578. arXiv:1909.00740. doi:10.1016/j.orl.2020.07.005. ISSN 0167-6377. S2CID 202541717.
  13. ^ Murhekar, Aniket; Garg, Jugal (2021-05-18). "On Fair and Efficient Allocations of Indivisible Goods". Proceedings of the AAAI Conference on Artificial Intelligence. 35 (6): 5595–5602. arXiv:2204.14229. doi:10.1609/aaai.v35i6.16703. ISSN 2374-3468. S2CID 235306087.
  14. ^ Darmann, Andreas; Schauer, Joachim (2015-12-01). "Maximizing Nash product social welfare in allocating indivisible goods". European Journal of Operational Research. 247 (2): 548–559. doi:10.1016/j.ejor.2015.05.071. ISSN 0377-2217.
  15. ^ Barman, Siddharth; Krishnamurthy, Sanath Kumar; Vaish, Rohit (2018-07-09). "Greedy Algorithms for Maximizing Nash Social Welfare". Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS '18. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems: 7–13. arXiv:1801.09046.
  16. ^ Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Hollender, Alexandros; Voudouris, Alexandros A. (2021-04-08). "Maximum Nash welfare and other stories about EFX". Theoretical Computer Science. 863: 69–85. arXiv:2001.09838. doi:10.1016/j.tcs.2021.02.020. ISSN 0304-3975. S2CID 232423008.
  17. ^ Garg, Jugal; Murhekar, Aniket; Qin, John (2021-10-18). "Fair and Efficient Allocations of Chores under Bivalued Preferences". arXiv:2110.09601 [cs.GT].
  18. ^ Bai, Yushi; Gölz, Paul (2022-02-11). "Envy-Free and Pareto-Optimal Allocations for Agents with Asymmetric Random Valuations". arXiv:2109.08971 [cs.GT].