Contested garment rule

Last updated

The contested garment (CG) rule, [1] also called concede-and-divide, [2] is a division rule for solving problems of conflicting claims (also called "bankruptcy problems"). The idea is that, if one claimant's claim is less than 100% of the estate to divide, then he effectively concedes the unclaimed estate to the other claimant. Therefore, we first give to each claimant, the amount conceded to him/her by the other claimant. The remaining amount is then divided equally among the two claimants.

Contents

The CG rule first appeared in the Mishnah, exemplified by a case of conflict over a garment, hence the name. In the Mishnah, it was described only for two-people problems. But in 1985, Robert Aumann and Michael Maschler have proved that, in every bankruptcy problem, there is a unique division that is consistent with the CG rule for each pair of claimants. [1] They call the rule, that selects this unique division, the CG-consistent rule (it is also called the Talmud rule). [2]

Problem description

There is a divisible resource, denoted by (=Estate or Endowment). There are n people who claim this resource or parts of it; they are called claimants. The amount claimed by each claimant i is denoted by . We denote the total claim. , that is, the estate is insufficient to satisfy all the claims. The goal is to allocate to each claimant an amount such that .

Two claimants

With two claimants, the CG rule works in the following way.

Summing the amounts given to each claimant, we can write the following formula:

For example:

These two examples are first mentioned in the first Mishnah of Bava Metzia: [3]

"Two are holding a garment. One says, "I found it," and the other says, "I found it":

Many claimants

To extend the CG rule to problems with three or more claimants, we apply the general principle of consistency (also called coherence), which says that every part of a fair division should be fair. [4] In particular, we seek an allocation that respects the CG rule for each pair of claimants. That is, for every claimants i and j:

.

Apriori, it is not clear that such an allocation always exists, or that it is unique. However, it can be proved that a unique CG-consistent allocation always exists. [1] It can be described by the following algorithm:

Note that, with two claimants, once the claims are truncated to be at most the estate, the condition always holds. For example:

Here are some three-claimant examples:

The first three examples appear in another Mishnah, in Ketubot: [5]

"Suppose a man, who was married to three women, died; the marriage contract of one wife was for 100 dinars, and the marriage contract of the second wife was for 200 dinars, and the marriage contract of the third wife was for 300, and all three contracts were issued on the same date so that none of the wives has precedence over any of the others.

Constructive description

The CG rule can be described in a constructive way. Suppose E increases from 0 to the half-sum of the claims: the first units are divided equally, until each claimant receives . Then, the claimant with the smallest is put on hold, and the next units are divided equally among the remaining claimants until each of them up to the next-smallest . Then, the claimant with the second-smallest is put on hold too. This goes on until either the estate is fully divided, or each claimant gets exactly . If some estate remains, then the losses are divided in a symmetric way, starting with an estate equal to the sum of all claims, and decreasing down to half this sum.

Explicit formula

Elishakoff and Dancygier [6] present an explicit formula for the CG rule for n claimants.

Properties

CG satisfies independence of irrelevant claims. This means that increasing the claim above the total estate does not change the allocation. Formally: . [7]

CG is self-dual. This means that it treats gains and losses symmetrically: it divides gains in the same way that it divides losses. Formally: , [1] [7] where C is the sum of all claims.

CG satisfies equal treatment of equals : agents with the same claim will get exactly the same allocation.

CG satisfies seperability: define = the sum conceded to i by all other agents. Then, CG can be separated to two phases as follows: first, each agent i gets vi; then, the same rule is activated on the remaining claims and the remaining estate.

CG satisfies securement. This means that each agent with a feasible claim (ciE) is guaranteed at least 1/n of his claim: (this property is similar to proportionality). In fact, CG satisfies a stronger property: . [9]

CG also satisfies the dual property to securement: the loss of each agent i with claim at most the total loss C-E, is at least 1/n of his claim: . [9]

Characterizations

Nir Dagan [7] proved two characterizations of CG:

Moreno-Ternero and Villar [9] proved that CG is characterized by each of the following combinations:

They show that these characterizations are tight:

See also: More characterization of the Talmud rule. [11] [12]

Equality

Ly, Zakharevich, Kosheleva and Kreinovich [13] prove that CG for two agents satisfies a fairness notion based on equal distance from a status quo point. Several other rules are based on this fairness notion, e.g.:

This raises the question of what status-quo points are reasonable. For each claimant, there can be a whole interval of possible status-quo points, for example:

The agents can be optimistic and look at the highest values in their interval, or be pessimistic and look at the lowest values in their interval, or in general look at any intermediate point r*max+(1-r)*min, where r is the "optimism coefficient". For any optimism coefficient r, we get a different status-quo point.

The CG rule selects, for any optimism coefficient r, an outcome in which both claimants are equally distant from their status-quo point corresponding to r. [13]

Game-theoretic analysis

Nash equilibrium of competitive game

O'Neill [14] describes the following game.

Naturally, the agents would try to choose units such that the overlap between different agents is minimal. This game has a Nash equilibrium. In any Nash equilibrium, there is some integer k such that each unit is claimed by either k or k+1 claimants. When there are two claimants, there is a unique equilibrium payoff vector, and it is identical to the one returned by CG. [14]

Nucleolus of cooperative game

The CG rule can be derived independently, as the nucleolus of a certain cooperative game defined based on the claims. [15]

Manipulation by pre-donation

Sertel [16] considers a special case of a two-claimant setting, in which the endowment E is equal to the larger claim (E = c2 ≥ c1). This special case corresponds to a cooperative bargaining problem in which the feasible set is a triangle with vertices (0,0), (c1,0), (0,c2), and the disagreement point is (0,0). The payoff is calculated using the Nash Bargaining Solution. A claimant may manipulate by pre-donating some of his claims to the other claimant. In equilibrium, both claimants receive the payoffs prescribed by CG.

Piniles' rule

Zvi Menahem Piniles, a 19th-century Jewish scholar, presented a different rule to explain the cases in Ketubot. [17] His rule is similar to the CG rule, but it is not consistent with the CG rule when there are two claimants. The rule works as follows: [2]

Examples with two claimants:

Examples with three claimants:

Generalization

Moreno-Ternero and Villar [18] define a family of rules, which they call the TAL family, which generalizes the Talmud rule, as well as constrained equal awards and constrained equal losses. Each rule in the TAL family is parameterized by a parameter t in [0,1]. The TAL_t rule divides the estate as follows:

An equivalent description is: the claimants receive money in an equal rate, until the lowest claimant (1) has received t*c1. Then the lowest claimant exits, and the others continue until the second-lowest (2) claimant has received t*c2. This goes on until all claimants have received . If there is remaining amount, then the claimants enter again, from the highest to the lowest, and get money until their losses are equal.

In this family, TAL-0 is CEL; TAL-1/2 is CG; and TAL-1 is CEA. The dual of TAL_t is TAL_(1-t). All rules in this family have the following properties:

Some properties are satisfied only by subsets of the TAL family:

Further reading

References

  1. 1 2 3 4 Aumann, Robert J; Maschler, Michael (1985-08-01). "Game theoretic analysis of a bankruptcy problem from the Talmud" . Journal of Economic Theory. 36 (2): 195–213. doi:10.1016/0022-0531(85)90102-4. ISSN   0022-0531.
  2. 1 2 3 William, Thomson (2003-07-01). "Axiomatic and game-theoretic analysis of bankruptcy and taxation problems: a survey" . Mathematical Social Sciences. 45 (3): 249–297. doi:10.1016/S0165-4896(02)00070-7. ISSN   0165-4896.
  3. Bava Metzia 1:1.
  4. Balinski, Michel (2005-06-01). "What Is Just?" . The American Mathematical Monthly. 112 (6): 502–511. doi:10.1080/00029890.2005.11920221. ISSN   0002-9890. S2CID   32125041.
  5. Ketubot 10:4
  6. Elishakoff, Isaac; Dancygier, Avraham N. (2023-08-11). "An explicit solution to a game-theoretic bankruptcy problem". SN Business & Economics. 3 (9): 167. doi:10.1007/s43546-023-00534-0. ISSN   2662-9399.
  7. 1 2 3 Dagan, Nir (1996). "New characterizations of old bankruptcy rules". Social Choice and Welfare. 13: 51–59. CiteSeerX   10.1.1.319.3243 . doi:10.1007/BF00179098. S2CID   18151768.
  8. Herrero, Carmen; Villar, Antonio (2001-11-01). "The three musketeers: four classical solutions to bankruptcy problems" . Mathematical Social Sciences. 42 (3): 307–328. doi:10.1016/S0165-4896(01)00075-0. ISSN   0165-4896.
  9. 1 2 3 Moreno-Ternero, Juan D.; Villar, Antonio (2004-03-01). "The Talmud rule and the securement of agents' awards" . Mathematical Social Sciences. 47 (2): 245–257. doi:10.1016/S0165-4896(03)00087-8. ISSN   0165-4896.
  10. Curiel, I. J.; Maschler, M.; Tijs, S. H. (1987-09-01). "Bankruptcy games". Zeitschrift für Operations Research. 31 (5): A143 –A159. doi:10.1007/BF02109593. ISSN   1432-5217.
  11. Albizuri, M. J.; Leroux, J.; Zarzuelo, J. M. (2010-09-01). "Updating claims in bankruptcy problems" . Mathematical Social Sciences. 60 (2): 144–148. doi:10.1016/j.mathsocsci.2010.04.002. ISSN   0165-4896.
  12. Thomson, William (2003-07-01). "Axiomatic and game-theoretic analysis of bankruptcy and taxation problems: a survey" . Mathematical Social Sciences. 45 (3): 249–297. doi:10.1016/S0165-4896(02)00070-7. ISSN   0165-4896.
  13. 1 2 Ly, Anh H.; Zakharevich, Michael; Kosheleva, Olga; Kreinovich, Vladik (2018). Anh, Ly H.; Dong, Le Si; Kreinovich, Vladik; Thach, Nguyen Ngoc (eds.). "An Ancient Bankruptcy Solution Makes Economic Sense". Econometrics for Financial Applications. Cham: Springer International Publishing: 152–160. doi:10.1007/978-3-319-73150-6_12. ISBN   978-3-319-73150-6.
  14. 1 2 O'Neill, Barry (1982-06-01). "A problem of rights arbitration from the Talmud" . Mathematical Social Sciences. 2 (4): 345–371. doi:10.1016/0165-4896(82)90029-4. hdl: 10419/220805 . ISSN   0165-4896.
  15. Robert J. Aumann, Game theory in the Talmud, 2002
  16. Sertel, Murat R. (1992-09-01). "The Nash bargaining solution manipulated by pre-donations is Talmudic" . Economics Letters. 40 (1): 45–55. doi:10.1016/0165-1765(92)90243-R. ISSN   0165-1765.
  17. Piniles, Zvi Menahem (1863). Darkah Shel Torah (Hebrew). Wien: Forester.
  18. Moreno-Ternero, Juan D.; Villar, Antonio (2006-10-01). "The TAL-Family of Rules for Bankruptcy Problems". Social Choice and Welfare. 27 (2): 231–249. doi:10.1007/s00355-006-0121-3. ISSN   1432-217X.