Axiomatic characterizations of the constrained probabilistic serial mechanism

Afacan (Games and Economic Behavior 110: 71-89, 2018) introduces an object allocation with random priorities problem. He proposes the constrained probabilistic serial (CPS) mechanism. This study, for the first time in the literature, provides axiomatic characterizations of CPS. The first result characterizes it via non-wastefulness, claimwise stability, constrained ordinal fairness, and surplus invariance to truncations. The other axiomatizes CPS via constrained stochastic efficiency, claimwise stability, and constrained ordinal fairness. The independence of the axioms is provided.

1 Introduction Afacan (2018) considers an object allocation problem where the objects' priorities are random.Besides its richer theoretical scope, it has practical appeal.In many reallife object allocation problems, priorities come with large indifference classes. 1 Ties are first randomly broken, and then the outcome is calculated based on the obtained strict priorities.This, in turn, means that priorities are random ex-ante, thereby falling into Afacan (2018)'s setting. 2   The author is grateful to the editor and the anonymous referees for their comments and suggestions.
& Mustafa Oğuz Afacan mafacan@qu.edu.qaAfacan (2018) proposes a fairness notion, so-called "claimwise stability".He then introduces the constrained probabilistic serial (CPS) mechanism.It is mainly built on the well-known "probabilistic serial" (PS) mechanism of Bogomolnaia and Moulin (2001).Informally speaking, CPS lets agents consume objects in decreasing order of their preferences until either relevant claimwise stability constraints start binding or objects are exhausted (whichever occurs first).Afacan (2018) shows that CPS is claimwise stable and constrained stochastically efficient (henceforth, constrained sd-efficient) in the sense that its outcome is never stochastically dominated by another claimwise stable matching. 34No claimwise stable and constrained sd-efficient mechanism is strategy proof; hence, in particular, CPS is not strategy-proof. 5Afacan (2018) also shows that CPS satisfies a weaker version of equal treatment of equals.
In this study, we provide two characterizations of CPS: (i) A mechanism is nonwasteful, claimwise stable, constrained ordinally fair, and surplus-invariant to truncations if and only if it is CPS, and (ii) A mechanism is constrained sd-efficient, claimwise stable, and constrained ordinally fair if and only if it is CPS.We also obtain the independence of the axioms.
Non-wastefulness is a standard property that requires all preferred objects to be exhausted.Claimwise stability is a fairness property, motivated by both the usual fairness notion in object allocations and the proportional allocation principle in claim problems.In terms of the latter, claimwise stability advocates that objects' shares should be distributed in proportion to the probabilistic priorities.On the other hand, if we think of objects as perfectly divisible and interpret the assigned probabilities as the time-shares for which agents consume them, then claimwise stability rules out any time-share in which a pair of agents compete for the same object, but the lower priority one consumes it.In other words, it requires the usual fairness6 over the whole consumption process ( Bogomolnaia and Heo (2012)), where agents acquire objects' shares over the unit-time interval at the speed of one.
Constrained ordinal fairness is an adaptation of the ordinal fairness property of Kesten et al. (2011) and Hashimoto et al. (2014), which is used in their PS characterization, to our framework.Given a matching, let us call the agent i's total share of the objects that are at least as good as object a "surplus of agent i at object a."If agent i's surplus at object a is less than that of agent j while the latter obtains a positive share of object a, then constrained ordinal fairness guarantees that some claimwise stability constraint that is imposed on agent i for object a is binding at the matching.Hence, giving more of object a to agent i would violate claimwise stability. 7Therefore, constrained ordinal fairness can be deemed a fairness property in terms of surpluses but subject to claimwise stability.The last axiom-surplus invariance to truncations-is a mild invariance axiom.It imposes that after an agent truncates his preferences below an object a, his total share from the objects that are at least as good as object a remains the same.More formal motivations of the axioms are provided in the model.
This study is the first to offer an axiomatization of CPS.The most relevant works are the existing PS characterizations.Bogomolnaia and Moulin (2001) axiomatize PS for three-agent economies. 8Then PS has been characterized for any number of agents by Kesten et al. (2011), Hashimoto andHirata (2011), Bogomolnaia andHeo (2012), andHashimoto et al. (2014).Besides, a recent related study is Balbuzanov (2022) where the author proposes a "generalized constrained probabilistic serial mechanism" (GCPS) to accommodate constraints over deterministic assignments into (random) matchings.In a priority-free setting, Balbuzanov (2022) characterizes constraints as upper-bound inequalities.GCPS works as PS except agents stop consuming an object whenever the relevant upper-bound constraints start binding.While our mechanisms CPS and GCPS have similar logic, the former addresses the claimwise stability constraints, which are not captured in Balbuzanov ( 2022).

The model
There are finite sets of agents N and objects Ô.There is also a null-object, denoted by ;.It represents receiving no object.Each agent i 2 N has a preference relation R i , which is a complete, transitive, and antisymmetric binary relation over Ô [ f;g.For its asymmetric part, we write P i , which is defined as a P i b whenever a R i b and a 6 ¼ b.Let R be the set of all preference relations.Object a 2 Ô is acceptable to agent i if a P i ;, and otherwise, it is unacceptable.We write q a for the number object a copies in the problem.In the rest of the paper, for ease of exposition, we assume that q a ¼ 1 for each a 2 Ô.However, as we discuss in Remark 7, the whole analysis carries over to the multi-copy case.The null-object is not scarce, that is, q ; ¼ jN j.
For object a 2 Ô, we write 1 a for its strict priority ordering over N. Let 1 ¼ ð1 a Þ a2 Ô and f be the priority profile and the set of all such profiles, respectively.By going beyond these priorities, we let the objects have a random priority profile D, which is a probability distribution over f.Let Dð1Þ be the probability of 1 ¼ ð1 a Þ a2 Ô under D. We write D a for the (marginal) priority distribution of object a 2 Ô under D. 9 There is no restriction on D; hence, the objects' priorities may be independent as well as correlated.We write suppðDÞ ¼ f1 2 f : Dð1Þ [ 0g for the support of D. We define Pr D ði. a jÞ ¼ P 12f: i1 a j Dð1Þ.In words, it is the probability that agent i has a higher priority than agent j at object a.In the rest of the paper, we fix the set of agents and objects and write ðR; DÞ for the problem.For ease of writing, let O ¼ Ô [ f;g.A matching r ¼ ½r i;a i2N ;a2O is a matrix such that (i) for each i 2 N and a 2 O, 0 r i;a 1, (ii) P a2O r i;a ¼ 1, and (iii) for each c 2 Ô, P i2N r i;c 1.Here, r i;a represents the probability that agent i is matched with object a.Let r i ¼ ½r i;a a2O denote the matching of agent i.A matching r is deterministic if r i;a 2 f0; 1g for each i 2 N and a 2 O. Let X be the set of all matchings.We write M for the proper subset of X that consists of the deterministic matchings.
A probability distribution k over M is called a lottery.Formally, k ¼ ðk l Þ l2M is such that for each l 2 M, 0 k l 1 and P l2M k l ¼ 1.We write r k for the matching induced by k, that is, for each agent-object pair (i, a), Fact 1 (Birkoff-von Neumann and Kojima and Manea (2010)) Every matching is induced by a lottery k over M.
Because of the above well-known fact, in the rest of the paper, we consider matchings instead of lotteries.A mechanism w is a systematic procedure that produces a matching for each problem ðR; DÞ.We write wðR; DÞ for the outcome of w in problem ðR; DÞ.

The axioms
For an agent i and object a, let SU ðR i ; aÞ ¼ fc 2 O : c P i ag (the strict upper contour set of agent i at object a), and U ðR i ; aÞ ¼ SU ðR i ; aÞ [ fag (the upper contour set of agent i at object a).
A matching r is non-wasteful if, for any objects a; b 2 O and agent i, a P i b and r i;b [ 0, then P j2N r j;a ¼ q a .Note that non-wastefulness implies individual rationality.10A matching r induces a justified claim if there are a pair of agents i and j and object a 2 Ô such that r j;a [ Pr D ðj. a iÞ þ P c2SU ðR i ;aÞ r i;c .A matching is claimwise stable if it does not induce a justified claim.
To better understand the spirit of claimwise stability, by following Afacan (2018), let us utilize the consumption process representation of matchings by Bogomolnaia and Heo (2012).Each matching can be deemed as the outcome of a consumption process where, over the unit-time interval, agents continuously acquire objects' shares at the speed of one and in decreasing order of their preferences.Agents' attained shares are interpreted as time-shares during which they consume them in the consumption process.
Accompanied by Fig. 1, consider a pair of agents i, j, object a, and a matching r.We can interpret Pr D ðj. a iÞ-orange region R.1-as the time-share in which agent j has a higher priority than agent i for object a.Similarly, P c2SU ðR i ;aÞ r i;c -green region R.2-is the time-share in which agent i consumes objects that are better than object a.Therefore, it is unarguably fair to let agent j consume object a over these regions, which amounts to Pr D ðj. a iÞ þ P c2SU ðR i ;aÞ r i;c .However, once agent j's share exceeds it (more than R.1?R.2), he consumes object a during some time-share falling into the red region R.4.This is problematic on the fairness ground because over R.4, both agents i and j compete for object a (note that agent i would prefer consuming object a outside R.2), and agent i has a higher priority than agent j (R.3, the time-share in which agent i has a higher priority than agent j, includes R.4).That is, the standard fairness is violated for some time-share in R.4.
To make the motivation behind claimwise stability more concrete, let us consider a problem with three agents i, j, k, and two objects a, b.Let Pr D ðk1 a iÞ ¼ 3=4 and Pr D ði1 b jÞ ¼ 1.Let the preferences be such that P i : a; b; ;; P j : b; ;; and P k : a; ;.Let us consider a matching r given in the table below.
i ;bÞ r i;c ð¼ 1=4Þ, constituting a violation of claimwise stability (there is no other claimwise stability violation).Agent i desires to consume object b after having done with acquiring object a's share.As r i;a ¼ 1=4, during a time-share of 3/4, agent i demands object b.On the other hand, r j;b [ 1=4 means that in some positive time-share during which agent i demands object b, agent j manages to consume object b (note that this time-share has the mass of r j;b À 1=4 [ 0).Moreover, in this time-share, agent i has a higher priority than agent j at object b.11This goes against the spirit of fairness that the higher priority agents should be treated favorably in receiving objects.Remark 1 Claimwise stability considers agent i's acquired shares of the objects that are better than object a.This is because agent i demands object a once he finishes consuming these better objects.That is, his object a demand is in the amount of 1 À P c2SU ðR i ;aÞ r i;c .On the other hand, if we considered the agent i's object a share as well in calculating his demand, we would have underestimated the agent i's demand for object a (that is, 1 À P c2U ðR i ;aÞ r i;c might be less than the actual agent i's object a demand, which is 1 À P c2SUðR i ;aÞ r i;c Þ.Thus, agent j would have been allowed to consume more than what is needed to ensure fairness over the whole consumption process. Remark 2 Our model features randomness both in priorities and assignments.That is, it exhibits double uncertainty.This makes it hard to relate ex-post and ex-ante properties.Neither ex-post fairness nor claimwise stability does not easily imply the other.To see this, let us consider two agents i, j and one object a. Suppose each agent has a higher priority with the probability of 1/2.The only claimwise stable matching assigns 1/2 of object a to each agent.This matching is not ex-post fair irrespective of the priority realization (either of the agents has a higher priority ex-post, yet in the matching's lottery decomposition, it is always the case that the (ex-post) lower priority agent receives object a with the probability of 1/2).Similarly, any ex-post fair matching assigns the whole share to the (ex-post) higher priority agent.This assignment cannot be claimwise stable as each agent must receive 1/2 of object a under claimwise stability.
For a matching r, agent i, and object a, let FðR i ; a; r i Þ ¼ P c2U ðR i ;aÞ r i;c .Matching r stochastically (sd) dominates r 0 if, for each agent i and object a, FðR i ; a; r i Þ !FðR i ; a; r 0 i Þ, where this strictly holds for some agent-object pair.Matching r is sd-efficient if it is not sd-dominated.Afacan (2018) shows that there does not always exist a claimwise stable and sd-efficient matching.Thus, matching r is constrained sd-efficient if it is not sd-dominated by a claimwise stable matching.
While constrained sd-efficiency is weaker than sd-efficiency, it still implies nonwastefulness, as formally stated below.All the proofs are relegated to Appendices.
Proposition 1 In any problem ðR; DÞ, a constrained sd-efficient matching is nonwasteful.
Remark 3 To see how constrained sd-efficiency implies non-wastefulness, suppose that object a is wasted at a constrained sd-efficient matching r.This means that some agent, say j, would rather consume more of object a; yet this would violate claimwise stability (as, otherwise, r could not have been constrained sd-efficient).That is, for some agent i 6 ¼ j, r j;a ¼ Pr D ðj1 a iÞ þ P c2SU ðR i ;aÞ r i;c .This implies that r i;a \1 À P c2SU ðR i ;aÞ r i;c .12Therefore, agent i also prefers to consume more of object a.However, for the same reason above, it would go against claimwise stability.This means that r i;a ¼ Pr D ði1 a kÞ þ P c2SU ðR k ;aÞ r k;c for some agent k 6 ¼ i.
Note that as Pr D ði1 a jÞ þ Pr D ðj1 a iÞ ¼ 1, agent k have to be different from agent j (as, otherwise, r i;a þ r j;a ¼ 1, contradicting our supposition that object a is wasted).Thus, no pair of agents simultaneously prevent each other from consuming more of object a.In the proof of Proposition 1, we also observe that it holds for any collection of agents of size more than two.Thus, whenever an object is wasted at a constrained sd-efficient matching, we must have a chain of agents of the size of infinity, where each agent prevents the previous one from consuming more of a wasted object.This, however, is not possible, as there are finitely many agents.By following Kesten et al. (2011) andHashimoto et al. (2014), we refer to FðR i ; a; r i Þ as "agent i's surplus at object a under r."We adapt the ordinal fairness property of Kesten et al. (2011) andHashimoto et al. (2014) to our setting as follows. 13efinition 1 In problem ðR; DÞ, matching r is constrained ordinally fair if, for any pair of agents i,j, and object a, FðR i ; a; r i Þ\FðR j ; a; r j Þ and r j;a [ 0, then there exists an agent k such that r i;a ¼ Pr D ði. a kÞ þ P c2SU ðR k ;aÞ r k;c .
In words, constrained ordinal fairness says that if agent i's surplus at object a is less than that of agent j while, at the same time, agent j receives a positive amount of object a-an ordinal fairness violation instance-then some claimwise stability constraint has to bind for agent-object pair (i, a).Therefore, giving more of object a to agent i would go against claimwise stability.In the presence of constrained ordinal fairness violation at the expense of agent i, we can increase agent i's surplus at object a (by a trade with agent j for an arbitrarily small amount of object a) while preserving claimwise stability.Hence, constrained ordinal fairness advocates equality in terms of surpluses to the extent that claimwise stability permits.
Remark 4 Ordinal fairness violation is not solely based on the object a's allotment, but on the total share of the objects that are at least weakly better than object a.Thus, it does not necessarily imply that agent i, at the expense of whom ordinal fairness is violated, receives a lesser amount of object a than agent j.However, the condition that agent j receives a positive amount of object a ensures that agent i's surplus can be increased by taking away some positive amount of object a from agent j.14However, under a constrained ordinally fair matching, doing that would go against claimwise stability.
Remark 5 Constrained ordinal fairness partly justifies ordinal fairness violations on the basis of allocation.That is, the condition of r i;a ¼ Pr D ði. a kÞ þ P c2SU ðR k ;aÞ r k;c depends on the agent k's share from SU ðR k ; aÞ at r (the other term of Pr D ði. a kÞ purely comes from the primitives).While perhaps sounds contriving at first glance, it could be supported via a myopic view.Suppose agent i objects the allocation because of the ordinal fairness violation against himself at object a.That is, FðR i ; a; r i Þ\FðR j ; a; r j Þ and r j;a [ 0 for some agent j.From a myopic perspective, it is plausible to fix the other objects' assignments and look for a possible increase in the agent i's object a allotment, especially given the fact that agent j, for the sake of whom violation occurs, receives a positive amount of object a.Put another way, one can imagine that the assignments of all the objects except object a are taken as granted and search for a room to increase agent i's object a allotment.Constrained ordinal fairness ensures that any such increase is impossible under claimwise stability.Our approach to justifying a violation based on the allocation is common in the field. 15 A mechanism w is <non-wasteful, claimwise stable, constrained ordinally fair, constrained sd-efficient> if, for each problem ðR; DÞ, wðR; DÞ is <non-wasteful, claimwise stable, constrained ordinally fair, constrained sd-efficient> A preference relation R 0 i is the truncation of R i from some object a 2 Ô if (i) a P i ;, (ii) for each pair of objects c; c 0 2 Ô, c R 0 i c 0 if and only if c R i c 0 ; and (iii) c P 0 i ; if and only if c 2 U ðR i ; aÞ.Definition 2 A mechanism w is surplus-invariant to truncations if, for any problem ðR; DÞ and any agent i, FðR i ; a; w i ðR 0 i ; R Ài ; DÞÞ ¼ FðR i ; a; w i ðR; DÞÞ where R 0 i is the truncation of R i from object a. 1617   The invariance axiom above requires no change in agent i's surplus at object a after he truncates his preferences from object a. 18 It is easy to see that surplus invariance to truncations is necessary for a mechanism to be strategy-proof; hence, it is desirable for the strategic concerns, 19 It is also of practical interest.In many reallife problems, there is a cap on the number of objects that can be ranked in preference lists. 20Under such caps, it is natural for agents to truncate their preferences and submit a ranking only over their best objects.Our invariance property ensures that agents' surpluses at their last object under the truncated preferences would remain the same even in the absence of caps; thus, caps do not hurt agents in this sense. 15For instance, Ehlers et al. (2014) find the impossibility of obtaining the usual non-wastefulness in their setting and define constrained non-wastefulness that partly justifies the waste based on the allocation.Similarly, Troyan et al. (2020) weaken the standard fairness notion based on the whole allocation.The same approach is used by Ehlers and Morrill (2019) and Sönmez and Yenmez (2022). 16R Ài is the preference profile of all the agents except agent i. 17 As R 0 i is the truncation of R i from object a, FðR i ; a; w i ðR 0 i ; R Ài ; DÞÞ ¼ FðR i ; a; w i ðR; DÞÞ if and only if FðR 0 i ; a; w i ðR 0 i ; R Ài ; DÞÞ ¼ FðR i ; a; w i ðR; DÞÞ. 18This axiom is weak in that it allows changes in agent i's shares from the objects in UðR i ; aÞ as long as his surplus at object a does not change.Similar axioms have been used for the characterization of PS or its variants in some studies, including Hashimoto and Hirata (2011), Bogomolnaia and Heo (2012), Heo (2014), Hashimoto et al. (2014), and Heo and Yılmaz (2015).The invariance properties in Hashimoto and Hirata (2011), Bogomolnaia and Heo (2012), Heo (2014), Hashimoto et al. (2014), and Heo and Yılmaz (2015) imply our invariance axiom, yet the converse is not true. 19A mechanism w is strategy-proof if, for each problem ðR; DÞ, agent i, and R 0 i 2 R, either w i ðR; DÞ sddominates (with respect to R i ) w i ðR 0 i ; R Ài ; DÞ or w i ðR; DÞ ¼ w i ðR 0 i ; R Ài DÞ. 20 For instance, students can rank at most 12, 4, and 3 schools in NYC, Rhode Island, and Cambridge, respectively (see Sönmez and Pathak (2013)).

Constrained probabilistic serial (CPS)
We relegate the formal description of CPS to Appendix A. Here, instead, we informally outline how it works and run it on a simple example.Let us consider the objects as perfectly divisible.In the course of CPS, over the unit-time interval and in decreasing order of their preferences, agents continuously acquire object shares at the speed of one.An agent stops consuming an object whenever the relevant claimwise stability constraints start binding, or the object is exhausted (whichever occurs first).The algorithm moves to the next step whenever an agent stops consuming an object, and it terminates when each agent has consumed a total share of one.
Below, we run CPS on a simple example.Let N ¼ fi; j; kg and Ô ¼ fa; b; cg.The preferences are given below.Step 1.Each agent first attempts to consume his favorite object.The best object of both agents i and k is object a and Pr D ði. a kÞ ¼ 3=4.Hence, because of the claimwise stability constraints that each of these agents imposes on the other one for object a, agents i and k can consume at most 3/4 and 1/4 of object a, respectively.As agent j attempts to consume object b, no constraint is imposed on him in this round.Hence, the agents start consuming their respective objects, and this round terminates at the time of t 1 ¼ 1=4 when agent k stops consuming object a.By the end of this step, each agent has consumed 1/4 of his top object.
Step 2. Agent k now attempts to consume his second-best object, which is object c.The others continue attempting to consume their previous objects.As the agents' respective objects are all different, no claimwise stability constraint is imposed on the agents in this step.Hence, they start consuming their objects and keep consuming until time t 2 ¼ 3=4 when object a has become exhausted.By the end of this step, each agent has consumed 1/2 of his object.
Step 3. Agent i now attempts to consume his second-best object, which is object b.Hence, both him and agent j desire to consume the same object in this round.We have Pr D ði. b jÞ ¼ 1.However, agent i has already acquired 3/4 of his more preferred object a.Therefore, agent j can consume at most 3/4 of object b.However, as he has already consumed that much, he is not allowed to consume more of object b.
Therefore, he stops consuming object b, implying that the step terminates at the time of t 3 ¼ 3=4, and no agent acquires a positive amount of any object.
Step 4. Agent j now attempts to consume his second-best object c.Therefore, both agents j and k attempt to consume object c in this round.We have Pr D ðj. c kÞ ¼ 1.However, as agent j has already consumed 3/4 of his more preferred object b, agent k is allowed to consume at most 3/4 of object c.Note that agent k has already consumed 1/2 of object c up to this step.Hence, the agents start consuming their respective objects, and this step terminates at the time of t 4 ¼ 1.In the course of this step, each agent has acquired 1/4 of his object.By the end of this step, all the agents have acquired a total share of one; hence, CPS terminates.Below is the CPS outcome:

The results
We are now ready to state our results, whose proofs are relegated to Appendix B.
Theorem 1 A mechanism w is CPS if and only if it is non-wasteful, claimwise stable, constrained ordinally fair, and surplus-invariant to truncations.
Theorem 2 A mechanism w is CPS if and only if it is constrained sd-efficient, claimwise stable, and constrained ordinally fair.
The independence of the axioms is shown in Appendix C.
Remark 6 Constrained ordinal fairness can be seen as very tailored to CPS.However, as we see in the independence analyses (in Appendix C), each property is independent of others.Moreover, for constrained ordinally fair mechanisms different from CPS, we can think of PS; and a mechanism that applies the agent-proposing deferred acceptance ( Gale and Shapley (1962)) whenever the priorities are deterministic, and otherwise CPS.As PS is ordinally fair ( Kesten et al. (2011) and Hashimoto et al. ( 2014)), it is constrained ordinally fair.One can easily verify that any (deterministic) stable matching is constrained ordinally fair in the deterministic priority domain. 21This, as well as the constrained ordinal fairness of CPS, implies that the second mechanism is also constrained ordinally fair.
Remark 7 We present the whole analysis for the case of unit-copy objects.In the case of multi-copy objects, claimwise stability is problematic, as extensively discussed in Afacan (2018).Its caveat is that even though an agent may already satisfy all of his demand with some object a, he may continue preventing someone else from consuming the object through claimwise stability.For instance, consider a problem with two agents i, j and one object a with the capacity of 2. Let Pr D ði1 a jÞ ¼ 1, and both agents prefer consuming object a.Here, agent j cannot consume object a even if agent i receives 1 unit of object a (this is because SU ðR i ; aÞ ¼ ;, hence P c2SU ðR i ;aÞ r i;c ¼ 0 at any matching r).Afacan (2018) overcomes this caveat by transforming multi-quota problems into those with unitquota.The transformation is such that each copy of the same object is treated as a different object with the same priority as the original.Agents' preferences over this extended set of objects are such that the ranking over the original objects is preserved while the same object's copies can be ranked in any matter.We can find a solution in the artificial problem and straightforwardly transform it to the original problem (each agent's share from an object is the sum of the acquired shares from its copies in the artificial problem).Similarly, any matching in the multi-copy problem can be written as a matching in the unit-copy problem in the same manner.Thus, we can only consider unit-copy problems without losing generality; thereby, our results can be invoked in a multi-copy object problem through its corresponding unit-copy object market.

Appendix A: the formal description of CPS
The description is taken from Afacan (2018).Let jN j ¼ n and jOj ¼ m.For agent i and O 0 O, let topði; O 0 Þ denote the favorite object of agent i in O 0 .Given a n Â m matrix r, A ¼ ðA i Þ i2N where A i O, a priority order profile D, below we define H a i for each agent i 2 N and each object a 2 O: H a i ðr; D; AÞ ¼ minfPr D ði. a jÞþ P c2SUðR j ;aÞ r j;c À r i;a : j 2 N n fig such that a ¼ topðj; A j Þg.
(H a i ðr; D; AÞ ¼ 1 if the above set is empty or a is the null-object).H a i will keep track of how much more agent i can consume object a within each step of the algorithm without violating claimwise stability constraints.
We define Mða; where A 0 i ¼ O for each i 2 N and r 0 ¼ ½0 (matrix of zeros).Suppose that A sÀ1 and r sÀ1 are already defined.Then, for each a 2 S i2N A sÀ1 i : For each i 2 N and object a 2 O: otherwise ( Note that A s i keeps track of the set of objects from which agent i can keep consuming in the next step.Here, E consists of the already exhausted objects.We also exclude the top object of agent i, topði; A sÀ1 i Þ, whenever the relevant claimwise stability constraint starts binding. The algorithm terminates whenever each agent has received a total object share of one.As the algorithm moves to the next step when an agent stops consuming an object and everything (i.e., both agents and objects) is finite, the algorithm terminates in a finite step.If the algorithm finishes by the end of step s, then r s , becomes the CPS outcome.

Appendix B: the proofs of proposition 1, Theorem 1, and Theorem 2
Proof of Proposition 1 Let r be a constrained sd-efficient matching at problem ðR; DÞ.Assume for a contradiction that there exist an agent i and objects a, b such that a P i b, r i;b [ 0, a 6 ¼ ; (we will consider the null-object case later in the proof), and P k2N r k;a \1.Then, by constrained sd-efficiency, we have r i;a ¼ Pr D ði. a jÞ þ P c2SUðR j ;aÞ r j;c for some agent j.This is because, otherwise, we can give an arbitrarily small amount of object a to agent i in return of the same amount of object b.While this trade would benefit agent i, it would not violate claimwise stability, contradicting the constrained sd-efficiency of r.Note that if a ¼ ;, then as no claimwise stability constraint is imposed for the allocation of null-object, the same kind of trade would directly go against the constrained sd-efficiency of r.Hence, in the rest of the proof, we assume that a 6 ¼ ;.
As Pr D ði. a jÞ !0, we have r i;a !P c2SU ðR j ;aÞ r j;c .This, along with our initial supposition P k2N r k;a \1, shows that r j;a \1 À P c2SU ðR j ;aÞ r j;c .This, in turn, implies that there exists an object d such that a P j d and r j;d [ 0. By the same argument as above, it implies that there exists an agent ' such that r j;a ¼ Pr D ðj. a 'Þ þ P c2SU ðR ' ;aÞ r ';c .We now claim that ' 6 ¼ i. Assume for a contradiction that ' ¼ i.Then we have r i;a ! 1 À Pr D ðj. a iÞ and r j;a ! 1 À Pr D ði. a jÞ.These inequalities imply that r i;a þ r j;a ! 2 À Pr D ði. a jÞ À Pr D ðj. a iÞ.From here, since Pr D ði. a jÞ ¼ 1 À Pr D ðj. a iÞ, we obtain r i;a þ r j;a ! 1, which contradicts our initial supposition ( P k2N r k;a \1); hence, ' 6 ¼ i.
Next, by the same reasoning as before, there exists an object z such that a P ' z and r ';z [ 0. This in turn implies that there exists an agent h such that r ';a ¼ Pr D ð'. a hÞ þ P c2SU ðR h ;aÞ r h;c .Then, by following the same steps in the previous paragraph, we can easily show that h 6 ¼ j.Furthermore, in what follows, we show that h 6 ¼ i as well.
Assume for a contradiction that h ¼ i.We already have r i;a ! 1 À Pr D ðj. a iÞ and r j;a ! 1 À Pr D ð'. a jÞ.The last finding also implies that r ';a ! 1 À Pr D ði. a 'Þ.Now, we can decompose Pr D ði. a 'Þ as follows: Pr D ði. a 'Þ ¼ P 12suppðDÞ: j1 a i1 a ' Dð1Þþ P 12suppðDÞ: i1 a '1 a j Dð1Þ þ P 12suppðDÞ: i1 a j1 a ' Dð1Þ.The sum of the last two terms is less than or equal to Pr D ði. a jÞ.On the other hand, we have r i;a !Pr D a ði. a jÞ.The first term, moreover, is less than or equal to Pr D ðj. a 'Þ.Similar to above, we also have r j;a !Pr D ðj. a 'Þ.These findings, therefore, show that Pr D ði. a 'Þ r i;a þ r j;a .This, together with r ';a ! 1 À Pr D ði. a 'Þ, implies that r ';a ! 1 À r i;a À r j;a .This, in turn, means that r i;a þ r j;a þ r ';a ! 1, which contradicts our initial supposition.Hence, h 2 N nfi; j; 'g.
If we continue in the same manner as above, we obtain an object u such that a P h u and r h;u [ 0. This implies that there exists an agent l such that r h;a ¼ Pr D ðh. a lÞ þ P c2SU ðR l ;aÞ r l;c .Then by following the same steps as above, we can easily show that l 2 N nfi; j; '; hg.
If we continue applying the same argument to agent l, then we find an agent who is different from all the previously considered agents.Each iteration gives us a different agent.This, however, is impossible because there are finitely many agents, yielding a contradiction.Hence, r is non-wasteful.□ Proof of Theorem 1 "If" Part: From Afacan (2018), CPS is claimwise stable and constrained sd-efficient.Hence, by Proposition 1, it is non-wasteful as well.For constrained ordinal fairness, let us assume that at some problem ðR; DÞ, for a pair of agents i, k and object a, FðR i ; a; CPS i ðR; DÞÞ\FðR k ; a; CPS k ðR; DÞÞ and CPSðR; DÞ k;a [ 0. As, in the course of CPS, agents consume objects in decreasing order of their preferences, it implies that agent i stops consuming object a before it is totally exhausted.By the definition of CPS, it happens only if some claimwise stability constraint imposed on agent i for object a starts binding.That is, for some agent j, CPSðR; DÞ i;a ¼ Pr D ði. a jÞ þ P c2SU ðR j ;aÞ CPSðR; DÞ j;c .Hence, CPS is constrained ordinally fair.
For surplus invariance to truncations, for some agent i, let R 0 i be the truncation of R i from some object a.By its definition, CPS works the same at the truncated preference profile until the time of t ¼ FðR i ; a; CPS i ðR; DÞÞ.Therefore, FðR i ; a; CPS i ðR; DÞÞ ¼ FðR i ; a; CPS i ðR 0 i ; R Ài ; DÞÞ, showing that CPS is surplus-invariant to truncations.
"Only If" Part: Let w be a mechanism that is non-wasteful, claimwise stable, constrained ordinally fair, and surplus-invariant to truncations.Let ðR; DÞ be any problem.For ease of notation, let r ¼ CPSðR; DÞ and r 0 ¼ wðR; DÞ.We now claim that r ¼ r 0 .We prove it through obtaining that FðR i ; a; r i Þ ¼ FðR i ; a; r 0 i Þ for every agent-object (i, a) pair.Assume for a contradiction that for some agent-object pair (i, a), FðR i ; a; r i Þ 6 ¼ FðR i ; a; r 0 i Þ. □ Claim 1 There exists an agent-object pair (i,a) such that a 6 ¼ ;, FðR i ; a; r 0 i Þ\ FðR i ; a; r i Þ, and r i;a [ r 0 i;a .First, it cannot be that for any agent-object pair (j, c), FðR j ; c; r 0 j Þ !FðR j ; c; r j Þ, with strictly holding for some agent-object pair.This is because otherwise r 0 would sd-dominate r.This, along with the claimwise stability of r 0 , would contradict the constrained sd-efficiency of CPS ( Afacan (2018)).Hence, for some agent-object pair (i, a), FðR i ; a; r 0 i Þ\FðR i ; a; r i Þ and r i;a [ r 0 i;a (the latter is true because whenever FðR i ; a; r 0 i Þ\FðR i ; a; r i Þ, there always exists an object b 2 U ðR i ; aÞ such that FðR i ; b; r 0 i Þ\FðR i ; b; r i Þ and r i;b [ r 0 i;b ).Moreover, a 6 ¼ ; because FðR i ; ;; r i Þ ¼ FðR i ; ;; r 0 i Þ ¼ 1 (due to the non-wastefulness of w and CPS), finishing the proof of Claim 1.
Let Z ¼ fFðR i ; a; r 0 i Þ : ði; aÞ 2 N Â Ô such that FðR i ; a; r 0 i Þ\FðR i ; a; r i Þ and r 0 i;a \r i;a g.Moreover, define Z 0 ¼ fFðR i ; a; Claim 2 For every agent-object pair (k,c) where c 6 ¼ ; and FðR k ; c; Note that if D is empty, then there is nothing to prove.Hence, suppose that D 6 ¼ ;.Let t ¼ maxfFðR k ; c; r 0 k Þ : ðk; cÞ 2 Dg (as both the sets of agents and objects are finite, this maximal selection-t-is well-defined).
In the course of CPS, agents consume objects in decreasing order of their preferences until claimwise stability constraints start binding or objects are totally exhausted.Hence, in particular, they do so until the time of t.This, as well as for each ðk; cÞ 2 D (because, otherwise, it would imply that for some ðk; cÞ 2 D, agent k stops consuming object c in CPS before it gets exhausted or the relevant claimwise stability constraints start binding (the latter is due to fact that r 0 is claimwise stable)).Therefore, for each ðk; cÞ 2 D, we have FðR k ; c; r 0 k Þ ¼ FðR k ; c; r k Þ, proving Claim 2. Claim 3 There exists an agent j such that FðR i ; a; r 0 i Þ\FðR j ; a; r 0 j Þ and r 0 j;a [ 0.
Assume for a contradiction that for each agent j with r 0 j;a [ 0, we have FðR j ; a; r 0 j Þ FðR i ; a; r 0 i Þ.If we define N ðaÞ ¼ fj 2 N : r 0 j;a [ 0g, then due to the non-wastefulness of w (note that FðR i ; a; r 0 i Þ\1 implies that agent i consumes some positive amount of a less preferred object to object a at matching r 0 ), P j2N ðaÞ r 0 j;a ¼ 1.On the other hand, r i;a [ r 0 i;a implies that for some agent k 2 N ðaÞ, we have r k;a \r 0 k;a .From here, if SU ðR k ; aÞ 6 ¼ ;, then for any b 2 SU ðR k ; aÞ, we have FðR To summarize our findings so far, we start with different matchings r and r 0 produced by CPS and w at ðR; DÞ, respectively.We then obtain that for some agentobject pair (i, a), r i;a [ r 0 i;a , and moreover, with another agent h, we find the triplet ði; h; aÞ 2 h Þ where b is the least preferred object by agent h among the objects in SU ðR h ; aÞ.
Let us now consider the truncation R 0 h of R h from object b.Let R 0 ¼ ðR 0 h ; R Àh Þ, CPSðR 0 ; DÞ ¼ m, and wðR 0 ; DÞ ¼ m 0 .As both CPS and w are surplus-invariant to truncations, we have FðR If we apply the same whole analysis above to the matchings m and m 0 , we find another agent-object pair (j, d)  Then, as the same as above, if we let agent k truncate his preferences from the least preferred object in SU ðR k ; dÞ and write R 0 k for this truncated preferences, we obtain different CPS and w outcomes at R ¼ ðR 0 h ; R 0 k ; R N nfh;kg Þ. 22,23 If we keep applying the same steps above to the obtained different outcomes of CPS and w at the generated truncated preferences, then each iteration gives us a different triplet for which associated claimwise stability constraint binds.But then, as both agents and objects are finite, we eventually reach the preference profile R 00 where for each agent i, the only acceptable object is his top choice at the original preference R i .Moreover, if we let CPSðR 00 ; DÞ ¼ s and wðR 00 ; DÞ ¼ s 0 , then we have s 6 ¼ s 0 .
As the same as above, at s and s 0 , there exists an agent-object pair (s, e) such that s s;e [ s 0 s;e (where object e 6 ¼ ;), and moreover, with another agent s 0 , there exists a triplet ðs; s 0 ; eÞ such that s 0 s;e ¼ Pr D ðs. e s 0 Þ þ P c2SU ðR 00 s 0 ;eÞ s 0 s 0 ;c .Due to the definition of R 00 and the non-wastefulness of w and CPS, we have P c2SUðR 00 s 0 ;eÞ s 0 s 0 ;c ¼ P c2SU ðR 00 s 0 ;eÞ s s 0 ;c .This, along with the fact that s s;e [ s 0 s;e , implies s s;e [ Pr D ðs. e s 0 Þ þ P c2SU ðR 00 s 0 ;eÞ s s 0 ;c , contradicting the claimwise stability of CPS.Hence, for any agent-object pair (i, a), FðR i ; a; r i Þ ¼ FðR i ; a; r 0 i Þ, implying that r ¼ r 0 , which finishes the proof.
Proof of Theorem 2 "If" Part.Afacan (2018) shows that CPS is constrained sdefficient.This, as well as Theorem 1, shows this part.
For the proof, we invoke the consumption process representation of matchings by Bogomolnaia and Heo (2012): Any matching can be obtained as the outcome of a consumption process where, over the unit-time interval, agents continuously acquire probability shares of objects in decreasing order of their preferences at the speed of one.
We now claim that for some agent-object pair (i, a), FðR i ; a; r i Þ [ FðR i ; a; r 0 i Þ.This holds, as otherwise, r 0 sd-dominates r, implying that r cannot be constrained sd-efficient.This, however, contradicts the fact that CPS is constrained sd-efficient ( Afacan (2018)).
(1) In CPS, each agent continues acquiring probability shares of objects until claimwise stability constraints start binding or the objects are exhausted (whichever occurs first).This, as well as the claimwise stability of w and (1), implies that for each (k, c) with FðR k ; c; r k Þ\FðR i ; a; r i Þ, we have FðR k ; c; r k Þ ¼ FðR k ; c; r 0 k Þ. (2) As FðR i ; a; r i Þ [ FðR i ; a; r 0 i Þ, for some object c 2 U ðR i ; aÞ, we have r i;c [ r 0 i;c 22 By the same previous arguments, object d is not the top object of agent k, and d P k ;.
23 R N nfh;kg is the preference profile of the agents except agents h and k.
we can obtain a matching that sd-dominates r 0 .Moreover, as these agents receive better objects, the claimwise stability constraints imposed on others (because of themselves) relax.This means that for an arbitrarily small amount of cyclic trade, we can preserve claimwise stability.This, however, contradicts constrained sd-efficiency of r 0 .Hence, r 0 ¼ r, finishing the proof.Note that the CPS outcome at the above problem is different from r as, for at least (j, b) pair, CPSðP; DÞ j;b ¼ 1=6.Hence, CPS 6 ¼ w.It is easy to verify that w is constrained sd-efficient (hence, non-wasteful), claimwise stable, and surplusinvariant to truncations.However, FðR i ; b; r i Þ\FðR j ; b; r j Þ and r j;b [ 0, and for every agent k 6 ¼ i, r i;b \Pr D ði. b kÞ þ P c2SU ðR k ;bÞ r k;c .Hence, w fails to be constrained ordinally fair.
Funding Open Access funding provided by the Qatar National Library.
This is because, otherwise, FðR k ; c; r 0 k Þ\FðR k ; c; r k Þ.This implies that for some object d 2 U ðR k ; cÞ, we have FðR k ; d; r 0 k Þ\FðR k ; d; r k Þ and r 0 k;d \r k;d (as r 0 is non-wasteful, d is not the null-object, that is, d 2 Ô).
by Claim 2).This, along with r k;a \r 0 k;a , implies that FðR k ; a; r k Þ\FðR k ; a; r 0 k Þ FðR i ; a; r 0 i Þ\FðR i ; a; r i Þ.Note that if SU ðR k ; aÞ ¼ ;, then as r k;a \r 0 k;a , we directly obtain the above inequality.Hence, FðR k ; a; r k Þ\FðR i ; a; r i Þ, and moreover, r i;a [ 0. Then, by constrained ordinal fairness of CPS, r k;a ¼ Pr D ðk. a sÞ þ P c2SUðR s ;aÞ r s;c for some agent s.This implies that P c2SU ðR s ;aÞ r s;c FðR k ; a; r k Þ\FðR i ; a; r 0 Pr D ðk. a sÞ þ P c2SU ðR s ;aÞ r 0 s;c , contradicting the claimwise stability of w.Hence, there exists an agent j such that FðR i ; a; r 0 i Þ\FðR j ; a; r 0 j Þ and r 0 j;a [ 0, finishing the proof of Claim 3.As FðR This also implies that a is not the top object of agent h (note that a P h ;, as otherwise due to the ¼ 1).Let object b be the least preferred object in SU ðR h ; aÞ.Then we have FðR h i ; a; r 0 i Þ\FðR j ; a; r 0 j Þ and r 0 j;a [ 0, by the constrained ordinal fairness of w, we have r 0i;a ¼ Pr D ði. a hÞ þ P c2SUðRh ;aÞ r 0 h;c for some agent h.As r i;a [ r 0 i;a , due to the claimwise stability of r, we have P c2SU ðR h ;aÞ r h;c [ P c2SU ðR h ;aÞ r 0 h;c .

□
Example 4 Let us consider a problem where N ¼ fi; j; kg and O ¼ fa; bg [ f;g.Consider the following problem ðR; DÞ;R i ¼ R j ¼ R k : a; b; ;: Let Dð1Þ ¼ 1=2, Dð1 0 Þ ¼ 1=10,and Dð1 00 Þ ¼ 2=5.Let w be the mechanism that gives the following matching r at the above instance and coincides with CPS at every other instance.