Next Article in Journal
The Black Box as a Control for Payoff-Based Learning in Economic Games
Next Article in Special Issue
A Note on Binary Strategy-Proof Social Choice Functions
Previous Article in Journal
Endogenous Game Choice and Giving Behavior in Distribution Games
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Egalitarian-Equivalence and Strategy-Proofness in the Object Allocation Problem with Non-Quasi-Linear Preferences

Graduate School of Economics, Osaka University, 1-7 Machikaneyama, Toyonaka, Osaka 560-0043, Japan
Games 2022, 13(6), 75; https://doi.org/10.3390/g13060075
Submission received: 3 October 2022 / Revised: 6 November 2022 / Accepted: 8 November 2022 / Published: 15 November 2022
(This article belongs to the Special Issue Strategy-Proof Mechanism Design)

Abstract

:
We consider the problem of allocating heterogeneous objects to agents with money, where the number of agents exceeds that of objects. Each agent can receive at most one object, and some objects may remain unallocated. A bundle is a pair consisting of an object and a payment. An agent’s preference over bundles may not be quasi-linear, which exhibits income effects or reflects borrowing costs. We investigate the class of rules satisfying one of the central properties of fairness in the literature, egalitarian-equivalence, together with the other desirable properties. We propose (i) a novel class of rules that we call the independent second-prices rules with variable constraints and (ii) a novel condition on constraints that we call respecting the valuation coincidence. Then, we establish that the independent second-prices rule with variable constraints that respects the valuation coincidence is the only rule satisfying egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers. Our characterization result implies that in the case of three or more agents, there are few opportunities for agents to receive objects under a rule satisfying egalitarian-equivalence and the other desirable properties, which highlights the strong tension between egalitarian-equivalence and efficiency. In contrast, in the case of two agents and a single object, egalitarian-equivalence is compatible with efficiency.

1. Introduction

1.1. Motivation

Governments in many countries make use of auctions in order to allocate scarce resources such as spectrum licenses, vehicle ownership licenses, public houses, etc. One of the most important goals of government auctions is efficiency. However, a government is often more concerned with the other goals such as fairness of an allocation, promotion of competition, raising the revenue, etc. In this paper, we focus on the fairness of an allocation. In particular, we investigate the implications of one of the most important properties of fairness in the literature, egalitarian-equivalence [1], in the auction model with unit-demand agents and non-quasi-linear preferences.

1.2. Main Result

We consider the object allocation problem with money, where the number of agents exceeds that of objects. An agent can obtain at most one object. We allow the possibility that some objects remain unallocated. A bundle of an agent is a pair consisting of the object that he receives and the amount of payments made by him. Each agent has a preference over bundles which are not necessarily quasi-linear. Non-quasi-linear preferences reflects the important factors in practical auctions such as income effects and borrowing costs. An allocation specifies a bundle to each agent. An allocation rule, or a rule for short, is a mapping from the set of preference profiles (the domain) to the set of allocations. A rule is egalitarian-equivalent if for each preference profile, there is a reference bundle to which each agent finds his outcome bundle of the rule indifferent. A rule is strategy-proof if no agent ever benefits by misrepresenting his preferences. A rule is individually rational if no agent ever gets worse off than receiving no object and making no monetary transfer. A rule satisfies no subsidy for losers if an agent who receives no object always makes non-negative payments. We regard these four properties as desiderata and investigate the class of rules satisfying the four properties.
A second-price rule for an object is a rule such that an agent with the highest valuation of the object receives the object and pays the second highest valuation, and the other agents receive and pay nothing. Note that all the other objects are allocated to no agent under the rule. An independent second-prices rule is a rule whose outcome allocation is determined by running a second-price rule for each object independently. More precisely, it determines an allocation for each preference profile as follows. First, a second-price rule for each object is conducted. Second, each winner in second-price rules chooses a best bundle among the set of bundles that he won in the first step. The outcome allocation of the rule is as follows. Each winner in the first step receives the bundle that he chose in the second step, and each loser in the first step receives and pays nothing.
We incorporate constraints into an independent second-prices rule. A constraint on each agent restricts the set of available objects to him in the second step of the above procedure. Thus, if an agent faces a constraint in an independent second-prices rule, then he participates in a second-price rule for each agent as in the case without a constraint, but in the second step, he chooses the best bundle among the set of bundles that he won in the first step and are available to him under the constraint. A variable constraint on an agent is a mapping from other agents’ preferences to a constraint. Thus, it allows a constraint to vary depending on other agents’ preferences. A rule is an independent second-prices rule with variable constraints if it is an independent second-prices rule where each agent faces a variable constraint.
If agents face no constraints, an independent second-prices rule violates egalitarian-equivalence (Example 3). We introduce a condition on constraints that we call respecting the valuation coincidence. It ensures that an independent second-prices rule with variable constraints satisfies egalitarian-equivalence. The basic idea is as follows: if an independent second-prices rule violates egalitarian-equivalence for a preference profile, then the constraints forbid agents to win objects in an independent second-prices rule with variable constraints. We show that respecting the valuation coincidence is a necessary and sufficient condition for an independent second-prices rule with variable constraints to satisfy egalitarian-equivalence (Proposition 3).
In our result, we require a domain to be sufficiently rich. Our richness condition of a domain is borrowed from Kazumura et al. [2], which is satisfied by many domains of interest such as the quasi-linear domain, the positive income effects domain, the borrowing costs domain, etc.
The main result of this paper is a characterization of the class of rules satisfying egalitarian-equivalence together with the other desirable properties. We establish that a rule on a rich domain satisfies egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers if and only if it is an independent second-prices rule with variable constraints that respects the valuation coincidence (Theorem 1).
In the case of three or more agents, the respecting the valuation coincidence condition severely restricts the set of available objects to each agent so that agents have almost no chances to win objects (Example 6). Thus, in such a case, our characterization theorem (Theorem 1) highlights the strong tension between egalitarian-equivalence and efficiency under the other three desirable properties.
In contrast, in the case of two agents and a single object, the condition always holds and places no restrictions. Thus, in such a case, egalitarian-equivalence is compatible with efficiency under the other desirable properties (Proposition 4).

1.3. Related Literature

This paper belongs to the two strands of research: object allocation problems with money and fair allocation theory. The papers on object allocation problems with money mainly investigate efficiency [3,4,5,6]. In the model studied in this paper (i.e., the model with unit-demand agents and non-quasi-linear preferences), the generalized Vickrey rule [4,5] and the minimum price Warlasian rule [6,7] occupy the central positions. Remarkably, they are the only rules satisfying efficiency, strategy-proofness, individual rationality, and no subsidy for losers in the different settings.1 The minimum price Warlasian rule is the only rule satisfying the four properties in the heterogeneous objects model. The class of independent second-prices rules with variable constraints is novel because the two central rules in this model do not belong to it.
In the literature on fair allocation theory, there are at least two important properties of fairness: egalitarian-equivalence and envy-freeness.2 Many authors have investigated the implications of envy-freeness in object allocation problems with money [9,10,11,12].
Compared with the papers on envy-freeness, there are a few papers that investigate egalitarian-equivalence in object allocation problems with money. The following is the complete list of papers that investigate egalitarian-equivalence and strategy-proofness to our knowledge. Ohseto [9] considers the identical objects model with unit-demand agents and quasi-linear preferences, and they characterize the class of rules satisfying egalitarian-equivalence, efficiency, and strategy-proofness. Yengin [12,13] considers the heterogeneous objects model with multi-demand agents and quasi-linear preferences, and they identify the class of rules satisfying the same properties as Ohseto [14]. Chun et al. [15] consider the queueing model (a special case of the model with unit-demand agents) with quasi-linear preferences, and they characterize the class of rules satisfying the same three properties.
There are three differences between this paper and the above papers. First, we impose additional properties that are crucial for the practical auction design, i.e., individual rationality and no subsidy for losers, while they do not. Note that they obtain positive characterization results without such properties, while our main result with the properties for auction design (Theorem 1) can be seen as negative. Thus, in conjunction with their positive results, our main result suggests that it is the properties for auction design that yield a negative conclusion. Second, we do not impose any property of efficiency in our characterization result (Theorem 1), while the above papers assume efficiency in their results. In general, characterizing a class of rules without any property of efficiency is difficult because such a class of rules is usually so large that a tractable characterization is almost impossible. We overcome such a difficulty by exploiting the strong implications of egalitarian-equivalence compared with the other properties of fairness. Finally, we consider general preferences that are not necessarily quasi-linear, while their results and proofs crucially depend on the assumption of quasi-linear preferences.
Apart from object allocation problems with money, to the best of our knowledge, the unique paper that investigates a class of rules satisfying egalitarian-equivalence and strategy-proofness is Hayashi [16]. He establishes that in the pure exchange economy, the equal division rule is the only rule satisfying egalitarian-equivalence, strategy-proofness, and non-bossiness. Our characterization result is different from his in that we do not impose non-bossiness which prevents agents from joint manipulation of preferences if it is combined with strategy-proofness. In contrast, we impose properties that are important for the practical auction design: individual rationality and no subsidy for losers.
In object allocation problems with money, some authors investigate other properties of fairness such as anonymity in welfare [17] and equal treatment of equals [2]. Again, the difference between this paper and such papers is that they impose a minimal property of efficiency such as no wastage in their characterization results, while we do not.

1.4. Organization

The remainder of the paper is organized as follows. Section 2 sets up the model. Section 3 introduces the independent second-prices rule with variable constraints. Section 4 provides the main result. Section 5 discusses the relationships between egalitarian-equivalence and the other important properties. Section 6 concludes. All the proofs are relegated to Appendix A, Appendix B and Appendix C.

2. Model

There are n agents and m objects, where n > m . Let N = { 1 , , n } denote the set of agents. Let M denote the set of objects. Typical agents are denoted by i , j , etc., and typical objects are denoted by a , b , etc. Each agent receives at most one object. An agent who receives no “real” object consumes the null object denoted by 0. Let L = M { 0 } .
The amount of money paid by agent i N is t i R . The consumption set of agent i N is L × R , and his (consumption) bundle is z i = ( x i , t i ) L × R . Let 0 = ( 0 , 0 ) L × R denote the status quo bundle.
Each agent has a complete and transitive preference R i over L × R . Let P i and I i be the strict and indifference parts of R i , respectively. Throughout the paper, we consider the class of preferences satisfying the following four properties.
  • Money monotonicity. For each x i L and each pair t i , t i R with t i < t i , we have ( x i , t i ) P i ( x i , t i ) .
  • Desirability of objects. For each x i M and each t i R , we have ( x i , t i ) P i ( 0 , t i ) .
  • Possibility of compensation. For each z i L × R and each x i L , there is a pair t i , t i R such that ( x i , t i ) R i z i and z i R i ( x i , t i ) .
  • Continuity. For each z i L × R , its upper contour set, { z i L × R : z i R i z i } , and its lower contour set, { z i L × R : z i R i z i } , are both closed.
A preference is classical if it satisfies the above four properties. Let R C denote the class of classical preferences. A typical subset of R C is denoted by R .
Definition 1.
A preference R i R is quasi-linearif for each pair ( x i , t i ) , ( x i , t i ) L × R and each δ R , ( x i , t i ) I i ( x i , t i ) implies ( x i , t i + δ ) I i ( x i , t i + δ ) .
Let R Q denote the class of quasi-linear preferences. Given a quasi-linear preference R i R Q , there is a valuation function v i : L R + such that (i) v i ( 0 ) = 0 , (ii) for each x i M , v i ( x i ) > 0 , and (iii) for each pair ( x i , t i ) , ( x i , t i ) L × R , ( x i , t i ) R i ( x i , t i ) if and only if v i ( x i ) t i v i ( x i ) t i .
Given R i R , z i L × R , and x i L , the possibility of compensation and continuity together imply the existence of a payment V i ( x i , z i ) R such that ( x i , V i ( x i , z i ) ) I i z i . By money monotonicity, such a payment is unique. We call the payment V i ( x i , z i ) the valuation of x i at z i . If R i R Q , then for each ( x i , t i ) L × R and each x i L , V i ( x i , ( x i , t i ) ) t i = v i ( x i ) v i ( x i ) .
Given a preference R i R and a set of bundles A L × R , let
B ( R i , A ) = { z i A : z i R i z i for each z i A }
denote the set of best bundles in A according to R i .
An object allocation is an n-tuple x = ( x i ) i N L n such that for each distinct pair i , j N , x i 0 implies x i x j . Let X denote the set of object allocations. Note that we allow the possibility that some objects remain unallocated.
An allocation is an n-tuple z = ( z i ) i N = ( x i , t i ) i N ( L × R ) n such that ( x i ) i N X . Let Z denote the set of allocations. We may write z = ( x , t ) Z , where x X and t R n are the object allocation and the profile of payments associated with z, respectively.
A preference profile is an n-tuple R = ( R i ) i N R n . Given a distinct pair i , j N , let R i = ( R k ) k N \ { i } and R i , j = ( R k ) k N \ { i , j } .
We call R n a domain. An (allocation) rule on R n is a function f : R n Z . With an abuse of notation, we may write f = ( x , t ) , where x : R n X and t : R n R n are the object allocation and the payment rules associated with the rule f, respectively.
Now, we introduce the properties of rules.
Given a rule f on R n , R R n , and z 0 L × R , if f i ( R ) I i z 0 for each i N , then we call the bundle z 0 a reference bundle for R (under f). The first property is a central property of fairness in the literature which was introduced by Pazner and Shmeidler [1]. It requires that for each preference profile, there is a reference bundle to which each agent finds his outcome bundle of the rule indifferent.
  • Egalitarian-equivalence. For each R R n , there is a reference bundle z 0 L × R for R such that f i ( R ) I i z 0 for each i N .
Another central property of fairness was introduced by Foley [18]. The second property requires that no agent prefer another agent’s bundle to his own.
  • Envy-freeness. For each R R n and each pair i , j N , f i ( R ) R i f j ( R ) .
The third property requires that no agent ever benefit by misrepresenting his preferences.
  • Strategy-proofness. For each R R n , each i N , and each R i R , f i ( R ) R i f i ( R i , R i ) .
The fourth property requires that each agent find his bundle at least as desirable as the status quo bundle 0 .
  • Individual rationality. For each R R n and each i N , f i ( R ) R i 0 .
The fifth property requires that an agent who receives the null object make non-negative payments.
  • No subsidy for losers. For each R R n and each i N , if x i ( R ) = 0 , then t i ( R ) 0 .
The last four properties are concerned with the efficiency of an allocation. The sixth property is a standard property of the (Pareto) efficiency in our model.
  • Efficiency. For each R R n , there is no z = ( x , t ) Z such that (i) z i R i f i ( R ) for each i N , (ii) z j P j f j ( R ) for some j N , and (iii) i N t i i N t i ( R ) .
Given a rule f = ( x , t ) on R n and R R n , let L f ( R ) = { a L : i N s . t . x i ( R ) = a } denote the set of objects that are already allocated to agents at R under f. By n > m , for each rule f on R n and each R R n , 0 L f ( R ) .
The seventh property requires that for each preference profile, there be no other allocation at which each agent receives an object already allocated to some agent at the preference profile under the rule, and which Pareto dominates the allocation chosen by the rule.
  • Constrained efficiency. For each R R n , there is no z = ( x , t ) Z such that (i) x i L f ( R ) for each i N , (ii) z i R i f i ( R ) for each i N , (iii) z j P j f j ( R ) for some j N , and (iv) i N t i i N t i ( R ) .
The next characterization of constrained efficiency is useful.
Remark 1.
A rule f = ( x , t ) on R n is constrained efficient if and only if for each R R n ,
i N t i ( R ) = max { i N V i ( x i , f i ( R ) ) : x = ( x i ) i N X , x i L f ( R ) for each i N } .
The eighth property requires that for each preference profile, each object be allocated to some agent.
  • No wastage. For each R R n and each a M , there is i N such that x i ( R ) = a .
The last property requires that for each preference profile, at least one object be allocated to some agent.
  • Minimal no wastage. For each R R n , there are a M and i N such that x i ( R ) = a .
The next remark reveals the relationships between the above properties concerned with the efficiency of an allocation.
Remark 2. (i) If a rule f on R n satisfies efficiency, then it satisfies constrained efficiency.
(ii)
If a rule f on R n satisfies efficiency, then it satisfies no wastage.
(iii)
If a rule f on R n satisfies no wastage, then it satisfies minimal no wastage.
(iv)
A rule f on R n satisfies efficiency if and only if it satisfies constrained efficiency and no wastage.
(v)
Suppose m = 1 . A rule f on R n satisfies minimal no wastage if and only if it satisfies no wastage.

3. The Independent Second-Prices Rule with Variable Constraints

In this section, we introduce a novel class of rules that we call the independent second-prices rules with variable constraints.
First, we introduce a second-price rule for each object.
Definition 2.
Given a M , a rule f on R n is a second-price rule for objecta if for each R R n and each i N ,
f i ( R ) = ( a , max j N \ { i } V j ( a , 0 ) ) if V i ( a , 0 ) > max j N \ { i } V j ( a , 0 ) , 0 if V i ( a , 0 ) < max j N \ { i } V j ( a , 0 ) .
Note that the above definition may be slightly different from the standard definition of a second-price rule in that in case of ties, we allow the possibility that an object is not allocated to anyone. The next remark states that in the case of a single object, if a second-price rule for the object always gives the object to some agent, then it coincides with the generalized Vickrey rule [4,5].3
Remark 3.
Assume m = 1 . Let R R C . A rule f on R n is a second-price rule for an object satisfying no wastage if and only if it is a generalized Vickrey rule.
Next, we introduce the no-trade rule.
Definition 3.
A rule f on R n is theno-trade ruleif for each R R n and each i N , f i ( R ) = 0 .
Given a M , let f a denote a second-price rule for object a. Furthermore, let f 0 denote the no-trade rule. We regard the no-trade rule f 0 as the second-price rule for the null object, and we call a profile of rules ( f a ) a L a profile of second-price rules.
Now, we introduce the independent second-prices rule.
Definition 4.
A rule f on R n is anindependent second-prices ruleif there is a profile of second-price rules ( f a ) a L such that for each R R n and each i N ,
f i ( R ) B ( R i , { f i x i ( R ) : x i L } ) .
Given a preference profile, the outcome allocation of an independent second-prices rule is determined by a second-price rule for each object as follows.
Step 1:
A second-price rule for each object is conducted.
Step 2:
Each winner of some object(s) in the first step chooses a best bundle among the bundles that he won in the first step.
Step 3:
The outcome allocation of the rule is as follows. Each winner in the first step receives the bundle chosen by him in the second step. Each loser in the first step receives no object and pays nothing.
If an agent wins several objects in second-price rules, then the objects that are not chosen by him in the second step are wasted. The next example illustrates this point.
Example 1.
Let N = { 1 , 2 , 3 , 4 } and M = { a , b , c } . Let R = R C . Let f be an independent second-prices rule on R n associated with a profile of second-price rules ( f d ) d L . Let R 1 R Q be such that v 1 ( a ) = 10 , v 1 ( b ) = 7 , and v 1 ( c ) = 5 . Let R 2 R Q be such that v 2 ( a ) = 6 , v 2 ( b ) = 4 and v 2 ( c ) = 10 . Let R 3 R Q be such that v 3 ( x 3 ) = 1 for each x 3 M . Let R 4 = R 3 .
We first determine the outcome allocations of the second-price rules for R. By v 1 ( a ) = 10 > 6 = max i N \ { 1 } v i ( a ) , f 1 a ( R ) = ( a , 6 ) and f i a ( R ) = 0 for each i N \ { 1 } . By v 1 ( b ) = 7 > 4 = max i N \ { 1 } v i ( b ) , f 1 b ( R ) = ( b , 4 ) and f i b ( R ) = 0 for each i N \ { 1 } . Further, by v 2 ( c ) = 10 > 5 = max i N \ { 2 } v i ( c ) , f 2 c ( R ) = ( c , 5 ) , and f i c ( R ) = 0 for each i N \ { 2 } .
Next, we determine the outcome allocation of f for R. For each i { 3 , 4 } , by { f i x i ( R ) : x i L } = { 0 } , f i ( R ) = 0 . By v 2 ( c ) t 2 c ( R ) = 5 > 0 , f 2 c ( R ) P 2 0 . Thus, by { f 2 x 2 ( R ) : x 2 L } = { 0 , f 2 c ( R ) } , f 2 ( R ) = f 2 c ( R ) = ( c , 5 ) . By v 1 ( a ) t 1 a ( R ) = 4 > 3 = v 1 ( b ) t 1 b ( R ) , f 1 a ( R ) P 1 f 1 b ( R ) . Further, by v 1 ( b ) t 1 b ( R ) = 3 > 0 , f 1 b ( R ) P 1 0 . Thus, by { f 1 x 1 ( R ) : x 1 L } = { 0 , f 1 a ( R ) , f 1 b ( R ) } , f 1 ( R ) = f 1 a ( R ) = ( a , 6 ) . Note that agent 1 wins both objects a and b in the second-price rules for the objects, but he finally receives object a, and object b is wasted.
Next, we restrict the set of available objects to each agent in an independent second-prices rule. Given i N , a constraint on (the set of available objects to) agent i is a subset of L such that 0 L i . A typical constraint on agent i is denoted by L i . Given i N , let L i denote the set of constraints on agent i.
Definition 5.
A rule f on R n is anindependent second-prices rule with constraintsif there is a profile of constraints ( L i ) i N × i N L i and a profile of second-price rules ( f a ) a L such that for each R R n and each i N ,
f i ( R ) B ( R i , { f i x i ( R ) : x i L i } ) .
Note that if L i = L for each i N , then an independent second-prices rule with constraints associated with ( L i ) i N coincides with an independent second-prices rule.
A constraint on each agent restricts the set of available objects to him not in the first step of the above procedure but in the second step. In other words, if agents face constraints, then all the agents participate in a second-price rule for each object as in the case without constraints, but the constraints on the winners restrict the set of available objects to them in the second step. Thus, in the second step, a winner in the first step chooses his most preferred bundle among the bundles that he won in the first step and whose objects are available to him under the constraint.
The next example illustrates an independent second-prices rule with constraints.
Example 2.
Let N = { 1 , 2 , 3 , 4 } and M = { a , b , c } . Let ( L i ) i N × i N L i be such that L 1 = { 0 , b } , L 2 = { 0 , a , b } , and L 3 = L 4 = L . Let R = R C . Let f be an independent second-prices rule on R n with constraints associated with a profile of constraints ( L i ) i N and a profile of second-price rules ( f d ) d L . Consider the same preference profile R as in Example 1.
In Example 1, we showed that f 1 a ( R ) = ( a , 6 ) , f 1 b ( R ) = ( b , 4 ) , and f 2 c ( R ) = ( c , 5 ) . For each i { 3 , 4 } , by { f i x ( R ) : x L i } = { 0 } , f i ( R ) = 0 . Note that x 3 c ( R ) = c , but by c L 2 , { f 2 x 2 ( R ) : x 2 L 2 } = { 0 } . Thus, f 2 ( R ) = 0 . Recall that in Example 1, we showed that f 1 a ( R ) P 1 f 1 b ( R ) P 1 0 . By { f 1 x 1 ( R ) : x 1 L 1 } = { 0 , f 1 b ( R ) } , f 1 ( R ) = f 1 b ( R ) = ( b , 4 ) . Thus, agent 1 does not receive the best bundle f 1 a ( R ) among the bundles that he won in the second-price rules because it is not available to him (i.e., a L 1 ). Notice that ( L i ) i N does not affect the outcome allocation of the second-price rule for each object d M : f d ( R ) . Instead, L i restricts the set of available objects to agent i when he chooses the best bundle that he won in the second-price rules.
Now, we extend an independent second-prices rule with constraints so that the constraint on each agent could depend on other agents’ preferences. Given i N , a variable constraint on agent i is a function L i : R n 1 L i .
Definition 6.
A rule f on R n is anindependent second-prices rule with variable constraintsif there is a profile of variable constraints ( L i ( · ) ) i N and a profile of second-price rules ( f a ) a L such that for each R R n and each i N ,
f i ( R ) B ( R i , { f i x i ( R ) : x i L i ( R i ) } ) .
The class of independent second-prices rules with variable constraints is novel in that central rules in our model such as the minimum price Warlasian rule [6,7] and the generalized Vickrey rule [4,5] do not belong to it.

4. Main Result

In this section, we provide the main result of this paper.

4.1. Rich Domain

First, we introduce a domain richness condition that will be used in the main result.
A price vector is p = ( p a ) a L R + | L | such that p 0 = 0 . Given a pair of price vectors p , p ^ R + | L | , we may write p > p ^ if p a > p ^ a for each a M .
Given a preference R i R , a price vector p R + | L | , and a set L i L , the demand set of R i at p on L i is defined as
D ( R i , p , L i ) = { x i L i : ( x i , p x i ) R i ( x i , p x i ) for each x i L i } .
If L i = L , then let D ( R i , p ) = D ( R i , p , L i ) .
Our main result requires a domain to be rich. The following richness condition of a domain is introduced by Kazumura et al. [2].
Definition 7.
A class of preferences R isrichif for each a M , for each pair of price vectors p , p ^ R + | L | such that (i) p a > 0 and p b = 0 for each b L \ { a } , and (ii) p ^ > p , there is a preference R i R such that
D ( R i , p ) = { a } and D ( R i , p ^ ) = { 0 } .
A domain R n isrichif R is rich.
Clearly, R Q and R C are both rich.
An example of a rich domain is the positive income effects domain. We do not take into account an agent’s income explicitly in our model, but the zero payment can be regarded as the initial income of the agent. Then, a payment level can be interpreted as the negative of an agent’s income level relative to his initial income. Thus, the increase of an income corresponds to the decrease of a payment. In other words, a preference exhibits a positive income effect if the increase of an income (or equivalently, the decrease of a payment) makes a preferred object more preferable. Formally, R i exhibits the positive income effect if for each pair ( x i , t i ) , ( x i , t i ) L × R and each δ R + + , ( x i , t i ) R i ( x i , t i ) and t i > t i imply ( x i , t i δ ) P i ( x i , t i δ ) . Let R + denote the class of preferences that exhibits positive income effects. Then, it is straightforward to verify that R + is rich.
Another example of a rich domain is the quasi-linear domain with borrowing costs. Suppose that an agent has a quasi-linear preference but faces a soft budget constraint I i > 0 . Then, he has to borrow money at an interest rate r > 0 if a payment exceeds his budget I i . Then, there is a valuation function v i : L R + such that for each pair ( x i , t i ) , ( x i , t i ) L × R , ( x i , t i ) R i ( x i , t i ) if and only if v i ( x i ) c i ( t i , I i ) v i ( x i ) c i ( t i , I i ) , where c i : R × R + + R is a function such that for each t i R and each I i R + + ,
c i ( t i , I i ) = t i if t i I i , I i + ( t i I i ) ( 1 + r ) if t i > I i .
Let R B denote the class of quasi-linear preferences with borrowing costs. Then, it is rich.
Kazumura et al. (2020) include other examples of rich domains of interest. For further examples and the detailed discussion of a rich domain, see Kazumura et al. [2].

4.2. Constraints

The goal of this paper is to characterize the class of rules satisfying egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers. The purpose of this subsection is to provide building blocks for a characterization.
We begin with the following proposition. It states that the class of rules satisfying egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers is a subset of the class of independent second-prices rules with variable constraints.
Proposition 1.
Let R be rich. If a rule f on R n satisfies egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy, then it is an independent second-prices rule with variable constraints.
Thus, the problem of characterizing the class of rules satisfying the four properties reduces to the problem of whether the converse of Proposition 1 is true, i.e., whether an independent second-prices rule with variable constraints satisfies the four properties. The next proposition states that it satisfies all the properties except for egalitarian-equivalence.
Proposition 2.
Let R R C . An independent second-prices rule with variable constraints satisfies strategy-proofness, individual rationality, and no subsidy for losers.
The next example shows that an independent second-price rule violates egalitarian-equivalence. Thus, some independent second-prices rules with variable constraints violate it, and so the converse of Proposition 1 is not necessarily true.
Example 3
(Independent second-prices rule violates egalitarian-equivalence). Let N = { 1 , 2 , 3 } and M = { a , b } . Let R = R C . Let f be an independent second-prices rule on R 3 associated with a profile of second-price rules ( f c ) c L . Let R 1 R Q be such that v 1 ( a ) = 10 and v 1 ( b ) = 9 . Let R 2 R Q be such that v 2 ( a ) = v 2 ( b ) = 5 . Let R 3 R Q be such that v 3 ( a ) = v 3 ( b ) = 1 . Then, agent 1 wins both objects a and b in the second-price rules: f 1 a ( R ) = ( a , 5 ) and f 1 b ( R ) = ( b , 5 ) . It is straightforward to check that f 1 a ( R ) P 1 f 1 b ( R ) P 1 0 . Thus, f 1 ( R ) = f 1 a ( R ) = ( a , 5 ) . Further, f 2 ( R ) = f 3 ( R ) = 0 .
We show that there is no reference bundle z 0 L × R for R such that f i ( R ) I i z 0 for each i N . By contradiction, suppose there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for R such that f i ( R ) I i z 0 for each i N . If x 0 = 0 , then by x 3 ( R ) = 0 , z 0 = f 3 ( R ) = 0 . However, by v 1 ( a ) = 10 > 5 = t 1 ( R ) , f 1 ( R ) P 1 0 = z 0 , a contradiction. If x 0 = a , then by x 1 ( R ) = a , z 0 = f 1 ( R ) = ( a , 5 ) . By v 3 ( a ) = 1 < 5 = t 0 , f 3 ( R ) = 0 P 3 ( a , 5 ) = z 0 , a contradiction. Finally, if x 0 = b , then by v 2 ( b ) t 0 = 0 , t 0 = 5 . By v 3 ( b ) = 1 < 5 = t 0 , f 3 ( R ) = 0 P 3 ( b , 5 ) = z 0 , a contradiction. Thus, f violates egalitarian-equivalence.
Given Propositions 1 and 2 and Example 3, the problem of characterizing the class of rules satisfying egalitarian-equivalence and the other properties reduces to the problem of identifying a necessary and sufficient condition on constraints for an independent second-prices rule with variable constraints to satisfy egalitarian-equivalence. Such a condition will be as follows: for a preference profile at which an independent second-prices rule violates egalitarian-equivalence, the constraints forbid agents to win objects. Thus, the problem is to identify preference profiles at which an independent second-prices rule violates egalitarian-equivalence. Instead of solving this problem directly, we identify preference profiles at which an independent second-prices rule satisfies egalitarian-equivalence.
We introduce the two examples of preference profiles at which an independent second-prices rule satisfies egalitarian-equivalence. The first example is concerned with the case of a single winner.
Example 4
(Single winner). Let N = { 1 , 2 , 3 } and M = { a , b } . Let f be an independent second-prices rule on R 3 associated with a profile of second-price rules ( f c ) c L . Let R R 3 be such that V 1 ( a , 0 ) > max i N \ { 1 } V i ( a , 0 ) , V 1 ( b , 0 ) > max i N \ { 1 } V i ( b , 0 ) , and ( a , max i N \ { 1 } V i ( a , 0 ) ) P 1 ( b , max i N \ { 1 } V i ( b , 0 ) ) . Then, agent 1 wins both objects a and b in the second-price rules: f 1 a ( R ) = ( a , max i N \ { 1 } V i ( a , 0 ) ) and f 1 b ( R ) = ( b , max i N \ { 1 } V i ( b , 0 ) ) . By f 1 a ( R ) P 1 f 1 b ( R ) , f 1 ( R ) = f 1 a ( R ) . Since agents 2 and 3 win no object in the second-price rules, for each i N \ { 1 } , f i ( R ) = 0 .
Now, suppose that for each pair i , j N \ { 1 } , V i ( a , 0 ) = V j ( a , 0 ) . We show that f satisfies egalitarian-equivalence for R. Let z 0 = f 1 ( R ) . Then, z 0 I 1 f 1 ( R ) . For each i N \ { 1 } , by V i ( a , 0 ) = t 1 ( R ) , f i ( R ) = 0 I i ( a , V i ( a , 0 ) ) = ( a , t 1 ( R ) ) = z 0 . Thus, the example shows that in the case of a single winner, if the losers’ valuations of the winner’s object at 0 coincide with each other, then an independent second-prices rule satisfies egalitarian-equivalence.
Next, we provide an example of a preference profile at which an independent second-prices rule satisfies egalitarian-equivalence in the case of several winners.
Example 5
(Several winners). Let N = { 1 , 2 , 3 , 4 } and M = { a , b , c } . Let f be an independent second-prices rule on R 4 associated with a profile of second-price rules ( f d ) d L . Let R R 4 be such that V 1 ( a , 0 ) > max i N \ { 1 } V i ( a , 0 ) , V 2 ( b , 0 ) > max i N \ { 2 } V i ( b , 0 ) , V 1 ( c , 0 ) > max i N \ { c } V i ( c , 0 ) , and ( a , max i N \ { 1 } V i ( a , 0 ) ) P 1 ( c , max i N \ { 1 } V i ( c , 0 ) ) . Then, agents 1 wins both objects a and c, and agent 2 wins object b in the second-price rules: f 1 a ( R ) = ( a , max i N \ { 1 } V i ( a , 0 ) ) , f 2 b ( R ) = ( b , max i N \ { 2 } V i ( b , 0 ) ) , and f 1 c ( R ) = ( c , max i N \ { 1 } V i ( c , 0 ) ) . By f 1 a ( R ) P 1 f 1 c ( R ) , f 1 ( R ) = f 1 a ( R ) . Furthermore, f 2 ( R ) = f 2 b ( R ) , and for each i N \ { 1 , 2 } , f i ( R ) = 0 .
Now, suppose that there is an object d M such that for each pair i , j N , it holds that V i ( d , f i ( R ) ) = V j ( d , f j ( R ) ) .4 We show that f satisfies egalitarian-equivalence for R. By the assumption, we can choose v R such that v = V i ( d , f i ( R ) ) for each i N . Let z 0 = ( d , v ) . Then, for each i N , f i ( R ) I i ( d , V i ( d , f i ( R ) ) ) = ( d , v ) = z 0 . Thus, the example shows that in the case of several winners, if all the agents’ valuations of some (real) object at their outcome bundles of the rule coincide with each other, then an independent second-prices rule satisfies egalitarian-equivalence.
The above two examples show that when the agents’ valuations coincide with each other, an independent second-prices rule with variable constraints satisfies egalitarian-equivalence. Then, we introduce the condition on constraints such that agents win objects only when the valuations coincide with each other as in the above two examples, i.e., if the agents’ valuations do not coincide with each other, then agents cannot win objects.
In order to introduce the condition, we need to prepare a notation. Given R R n and ( L i ) i N × i N L i , let
W ( R , ( L i ) i N ) = { i N : x i L i \ { 0 } s . t . V i ( x i , 0 ) > max j N \ { i } V j ( x i , 0 ) }
denote the set of strict winners who win an object for sure in an independent second-prices rule with variable constraints associated with ( L i ) i N for R.
Now, we are ready to introduce the condition on the constraints. In other words, it states that in an independent second-prices rule with variable constraints, (i) there is a single strict winner only if the losers’ valuations of the winner’s object at 0 coincide with each other as in Example 4, and (ii) there are several strict winners only if all the agent’s valuations of some (real) object at their outcome bundles of the rule coincide with each other as in Example 5.
Definition 8.
An independent second-prices rule with variable constraints associated with ( L i ( · ) ) i N respects the valuation coincidenceif for each R R n , the following conditions hold.
(i)
If | W ( R , ( L i ( R i ) ) i N ) | = 1 , then for each i W and each pair j, k N \ { i } , V j ( x i ( R ) , 0 ) = V k ( x i ( R ) , 0 ) .
(ii)
If | W ( R , ( L i ( R i ) ) i N ) | 2 , then there is a M such that for each pair i, j N , V i ( a , f i ( R ) ) = V j ( a , f j ( R ) ) .
The next proposition states that respecting the valuation coincidence is a necessary and sufficient condition for an independent second-prices rule with variable constraints to satisfy egalitarian-equivalence.
Proposition 3.
Let R be rich. An independent second-prices rule with variable constraints satisfies egalitarian-equivalence if and only if it respects the valuation coincidence.
When n = 2 and m = 1 , the valuations always coincide with each other in the sense of the above definition, and so any independent second-prices rule with variable constraints respects the valuation coincidence. However, when n 3 , the valuations almost never coincide with each other, and so in an independent second-prices rule with variable constraints, agents have few opportunities to win objects. In the example below, we confirm this fact by providing a few examples of independent second-prices rules with variable constraints that respect the valuation coincidence.
Example 6.
Let f be an independent second-prices rule with variable constraints on R n .
(i)
Let ( L i ( · ) ) i N be such that for each i N and each R i R n 1 , L i ( R i ) = { 0 } . In other words, each agent never has a chance to win an object under the profile of variable constraints ( L i ( · ) ) i N . Then, f associated with ( L i ( · ) ) i N coincides with the no-trade rule.
(ii)
Let i N . Let ( L j ( · ) ) j N be such that for each R i R n 1 , L i ( R i ) = { x i L : V j ( x i , 0 ) = V k ( x i , 0 ) for each pair j, k N \ { i } } , and for each j N \ { i } and each R j R n 1 , L j ( R j ) = { 0 } . In other words, agent i can receive an object only if all the other agents’ valuations of the object at 0 coincide with each other, and no other agent has an opportunity to win objects.
(iii)
Let a M . Let ( L i ( · ) ) i N be such that for each i N and each R i R n 1 , L i ( R i ) = { 0 , a } if V j ( a , 0 ) = V k ( a , 0 ) for each pair j , k N \ { i } , and L i ( R i ) = { 0 } otherwise. In words, each agent has an opportunity to win the object a only if all the other agents’ valuations of a at 0 coincide with each other, but it has no access to all the other real objects.
(iv)
Let ( L i ( · ) ) i N be such that for each i N and each R i R n 1 , L i ( R i ) = L if for each pair j , k N \ { i } and each a M , V j ( a , 0 ) = V k ( a , 0 ) , and L i ( R i ) = { 0 } otherwise. In words, each agent has access to all the objects when all the other agents’ valuations of each object coincide with each other, but it has no access to a real object otherwise.
In all the above cases, an independent second-prices rule with variable constraints f associated with ( L i ( · ) ) i N respects the valuation coincidence.

4.3. Main Result

Now, we are ready to provide the main result of this paper.
The main result of this paper is a characterization of a class of rules on a rich domain satisfying egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers.
Theorem 1.
Let R be rich. A rule f on R n satisfies egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers if and only if it is an independent second-prices rule with variable constraints that respects the valuation coincidence.
Note that Theorem 1 follows from Propositions 1–3. Instead of proving the three propositions, we prove Theorem 1 directly in Appendix B and omit the proofs of the three propositions.5
Since ( R C ) n , ( R Q ) n , ( R + ) n , and ( R B ) n are all rich, Theorem 1 is valid on these domains. Thus, Theorem 1 is valid not only on the quasi-linear domain but also on non-quasi-linear domains.
All the properties in Theorem 1 are indispensable for the characterization result. In the examples below, let R be an arbitrary rich class of preferences.
Example 7
(Dropping egalitarian-equivalence). Let f be a minimum price Warlasian rule on R n .6 Then, f satisfies all the properties in Theorem 1 other than egalitarian-equivalence.
Example 8
(Dropping strategy-proofness). Let f = ( x , t ) be a generalized pay-as-bid rule on R n such that for each preference profile R R n , (i) the objects are allocated so as to maximize the sum of valuations at 0 , and (ii) each agent pays his valuation of x i ( R ) at 0 . Then, f satisfies all the properties in Theorem 1 other than strategy-proofness.
Example 9
(Dropping individual rationality). Let f be the no-trade rule with a fixed entry fee e > 0 on R n . Then, f satisfies all the properties in Theorem 1 other than individual rationality.
Example 10
(Dropping no subsidy for losers). Let f be the no-trade rule with a fixed subsidy s < 0 on R n . Then, f satisfies all the properties in Theorem 1 other than no subsidy for losers.
Recall that when n = 2 and m = 1 , any independent second-prices rule with variable constraints respects the valuation coincidence. Thus, we obtain the following characterization.
Corollary 1.
Assume n = 2 and m = 1 . Let R be rich. A rule on R n satisfies egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers if and only if it is an independent second-prices rule with variable constraints.

5. Discussion

In this section, we discuss the relationships between egalitarian-equivalence and the other important properties under strategy-proofness, individual rationality, and no subsidy for losers.

5.1. Efficiency

Efficiency is arguably one of the most important properties in economic design. Thus, it is important to clarify the relationships between egalitarian-equivalence and properties of efficiency under the other three desirable properties.
Recall that Remark 3 states that in the case of a single object, a second-price rule for the object that satisfies no wastage coincides with the generalized Vickrey rule. Saitoh and Serizawa [4] and Sakai [5] establish that in the case of a single object, the generalized Vickrey rule satisfies efficiency. Thus, by Corollary 1 and Remark 2 (ii), we obtain the following.
Proposition 4.
Assume n = 2 and m = 1 . Let R be rich.
(i)
A rule on R n satisfies egalitarian-equivalence, efficiency, strategy-proofness, individual rationality, and no subsidy for losers if and only if it is a generalized Vickrey rule.
(ii)
A rule on R n satisfies egalitarian-equivalence, no wastage, strategy-proofness, individual rationality, and no subsidy for losers if and only if it is a generalized Vikcrey rule.
By Remark 2 (v), no wastage in Proposition 4 (ii) can be replaced by minimal no wastage.
Proposition 4 implies that in the case of two agents and a single object, egalitarian-equivalence is compatible with efficiency under the other three desirable properties. This positive observation comes from the fact that in such a case, the respecting the valuation coincidence condition is always true.
In contrast with the case of two agents and a single object, in the case of three or more agents, the respecting valuation coincidence condition severely restricts the set of available objects to each agent, which may yield significant inefficiency. Indeed, the next proposition states that egalitarian-equivalence is incompatible with a minimal property of efficiency under the other three desirable properties.
Proposition 5.
Assume n 3 . Let R be rich. Then, no rule on R n satisfies egalitarian-equivalence, minimal no wastage, strategy-proofness, individual rationality, and no subsidy for losers.
The following corollary is immediate from Proposition 5 and Remark 2 (ii) and (iii).
Corollary 2.
Assume n 3 . Let R be rich.
(i)
No rule on R n satisfies egalitarian-equivalence, efficiency, strategy-proofness, individual rationality, and no subsidy for losers.
(ii)
No rule on R n satisfies egalitarian-equivalence, no wastage, strategy-proofness, individual rationality, and no subsidy for losers.
Recall that Remark 2 (iv) states that efficiency can be decomposed into constrained efficiency and no wastage. The next proposition states that an independent second-prices rule with variable constraints satisfies constrained efficiency.
Proposition 6.
Let R R C . An independent second-prices rule with variable constraints on R n satisfies constrained efficiency.
When n 3 , egalitarian-equivalence is incompatible with one of the two components of efficiency, i.e., no wastage, under the other three properties (Proposition 5). In contrast, egalitarian-equivalence is compatible with the other component of efficiency, i.e., constrained efficiency, under the other three properties (Theorem 1 and Proposition 6). Thus, the inefficiency that arises from egalitarian-equivalence can be fully attributed to the few opportunities for agents to receive objects.

5.2. Envy-Freeness

In this paper, we have so far investigated the class of rules satisfying egalitarian-equivalence together with the other desirable properties. Another important property of fairness in the literature is envy-freeness. Thus, it is worthwhile to discuss the relationship between egalitarian-equivalence and envy-freeness.
The next proposition states that an independent second-prices rule with variable constraints satisfies envy-freeness.
Proposition 7.
Let R R C . An independent second-prices rule with variable constraints on R n satisfies envy-freeness.
In many models, egalitarian-equivalence neither implies nor is implied by envy-freeness. In particular, they are often incompatible under mild assumptions [19]. However, Theorem 1 and Proposition 7 together imply that egalitarian-equivalence implies envy-freeness under the other three desirable properties in our model.
Corollary 3.
Let R be rich. Let f be a rule on R n satisfying strategy-proofness, individual rationality, and no subsidy for losers. If f satisfies egalitarian-equivalence, then it satisfies envy-freeness.
The converse is obviously not true; i.e., envy-freeness does not necessarily imply egalitarian-equivalence under the other three properties. For example, the minimum price Warlasian rule satisfies envy-freeness and the other three properties, but it violates egalitarian-equivalence (Example 7). Since the rule is not an independent second-prices rule with variable constraints, this implies that the class of rules satisfying envy-freeness and the other three properties is not equivalent to the class of independent second-prices rules with variable constraints (indeed, the latter is a propert subset of the former).

6. Conclusions

In this paper, we have investigated the implications of egalitarian-equivalence along with the other desirable properties in the auction model with unit-demand agents and non-quasi-linear preferences. We characterize the class of rules satisfying egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers (Theorem 1). Our characterization result reveals that in the case of three or more agents, the cost of egalitarian-equivalence in the auction model is enormous as it gives agents few opportunities to receive objects (Proposition 5). In contrast, in the case of two agents and a single object, egalitarian-equivalence is compatible with efficiency (Proposition 4).
Our characterization result is of independent interest in that it suggests if we impose a strong property of fairness such as egalitarian-equivalence, then the independent second-prices rule stands out instead of the minimum price Warlasian rule and the generalized Vickrey rule, both of which are the central rules in the literature.7
An interesting and fruitful direction of future research will be to drop the assumption of the model or to weaken properties of rule. For example, to drop the assumption on the numbers of agents and objects would change not only the proofs but also the results. In addition, allowing randomization in our model or weakening the concept of egalitarian-equivalence may enable us to escape from the negative result in the case of three or more agents in this paper (Proposition 5).8 Although such directions of research are beyond the scope of this paper, we believe that our results and proof technique serve as a benchmark for future research.

Funding

The research was funded by the Japan Society for Promotion of Sciences (19J20448).

Data Availability Statement

Not applicapble.

Acknowledgments

The author is grateful to Academic Editors of the journal and three anonymous referees for their valuable comments. He is also grateful to Bernardo Moreno, Shigehiro Serizawa, and Yuya Wakabayashi for their detailed and helpful comments and discussions.

Conflicts of Interest

The author declares no conflict of interest.

Appendix A. Preliminaries

In this section, we provide the lemmas that will be used to prove the results.
The next lemma gives a useful characterization of the independent second-prices rule with variable constraints. The proof of the following lemma is trivial. Thus, we omit it.
Lemma A1.
A rule f on R n is an independent second-prices rule with variable constraints if and only if for each i N , there is L i : R n 1 L i such that for each R R n , x i ( R ) D ( R i , p i , L i ( R i ) ) and t i ( R ) = p x i , where p i R + | L | is a price vector such that for each x i M , p i x i = max j N \ { i } V j ( x i , 0 ) .
Now, we introduce the lemmas that provide the implications of the properties of rules.
The next lemma states that an agent who receives the null object makes no monetary transfer. Since its proof is trivial, we omit it.
Lemma A2
(Zero payment for losers). Let f be a rule on R n satisfying individual rationality and no subsidy for losers. Let R R n and i N . If x i ( R ) = 0 , then t i ( R ) = 0 .
The following lemma states that if a reference bundle includes the null object, then it coincides with the status quo bundle 0 .
Lemma A3.
Let f be a rule on R n satisfying individual rationality and no subsidy for losers. Let R R n and z 0 = ( x 0 , t 0 ) L × R be a reference bundle for R such that f i ( R ) I i z 0 for each i N . If x 0 = 0 , then z 0 = 0 .
Proof. 
Suppose x 0 = 0 . By n > m , there is i N such that x i ( R ) = 0 . By Lemma A2, f i ( R ) = 0 . By 0 = f i ( R ) I i z 0 = ( 0 , t 0 ) , t 0 = 0 . Thus, z 0 = 0 . □
The following lemma states that the payment at a reference bundle is non-negative.
Lemma A4.
Let f be a rule on R n satisfying individual rationality and no subsidy for losers. Let R R n and z 0 = ( x 0 , t 0 ) L × R be a reference bundle for R such that f i ( R ) I i z 0 for each i N . Then, t 0 0 .
Proof. 
By contradiction, suppose t 0 < 0 . By n > m , there is i N such that x i ( R ) = 0 . By Lemma A2, f i ( R ) = 0 . We show that x 0 0 . Suppose x 0 = 0 . By t 0 < 0 , z 0 = ( 0 , t 0 ) P i 0 = f i ( R ) , which contradicts that f i ( R ) I i z 0 .
Thus, x 0 0 . By 0 = f i ( R ) I i z 0 , V i ( x 0 , 0 ) = t 0 < 0 . Then,
0 I i ( x 0 , V i ( x 0 , 0 ) ) P i ( x 0 , 0 ) ,
which contradicts desirability of objects. □
The next lemma states that if an agent receives a real object and has a preference whose valuations at 0 are sufficiently small compared with other agents, then his payment is equal to his valuation of the object that he receives at 0 .
Lemma A5.
Let f be a rule on R n satisfying egalitarian-equivalence, individual rationality and no subsidy for losers. Let R R n and i N be such that x i ( R ) 0 , and for each x i M , V i ( x i , 0 ) < min j N \ { i } min x j M V j ( x j , 0 ) . Then, t i ( R ) = V i ( x i ( R ) , 0 ) .
Proof. 
By n > m and x i ( R ) 0 , there is j N \ { i } such that x j ( R ) = 0 . By Lemma A2, f j ( R ) = 0 . By egalitarian-equivalence, there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for R such that f k ( R ) I k z k for each k N .
Now, we claim that x 0 = 0 . Suppose by contradiction that x 0 0 . By 0 = f j ( R ) I j z 0 , t 0 = V j ( x 0 , 0 ) . Then,
t 0 = V j ( x 0 , 0 ) > V i ( x 0 , 0 ) ,
where the inequality follows from the assumption on R i . Then,
f i ( R ) R i 0 I i ( x 0 , V i ( x 0 , 0 ) ) P i ( x 0 , t 0 ) = z 0 ,
where the first relation follows from individual rationality, and the third one follows from (A1). This contradicts f i ( R ) I i z 0 .
Thus, x 0 = 0 . By Lemma A3, z 0 = 0 . By f i ( R ) I i z 0 = 0 , t i ( R ) = V i ( x i ( R ) , 0 ) . □
Given a rule f on R n , i N and R i R n 1 , agent i’s option set under f for R i is defined by
o i f ( R i ) = { z i L × R : R i R s . t . f i ( R i , R i ) = z i } .
Furthermore, given a rule f on R n , i N and R i R n 1 , let L i f ( R i ) = { x i L : R i R s . t . x i ( R i , R i ) = x i } and M i f ( R i ) = L i f ( R i ) \ { 0 } .
Let f be a rule on R n satisfying strategy-proofness. Given i N , R i R n 1 , and x i L i f ( R i ) , let t i f ( R i ; x i ) R be a payment such that ( x i , t i f ( R i ; x i ) ) o i f ( R i ) . By strategy-proofness, such a payment must be unique. Then, for each i N and each R i R n 1 , it holds that
o i f ( R i ) = { ( x i , t i f ( R i ; x i ) ) : x i L i f ( R i ) } .
Furthermore, given i N , R i R n 1 , and x i L i f ( R i ) , let z i f ( R i ; x i ) = ( x i , t i f ( R i ; x i ) ) .
The following lemma states that each agent receives the best bundle among his option set. Since its proof is trivial, we omit it.
Lemma A6.
Let f be a rule on R n satisfying strategy-proofness. For each R R n , each i N , and each x i L i f ( R i ) , f i ( R ) R i z i f ( R i ; x i ) .
The following lemma states that the payment of an agent who receives a real object is positive.
Lemma A7
(Positive payments for real objects). Let f be a rule on R n satisfying strategy-proofness, individual rationality, and no subsidy for losers. Let i N and R i R n 1 be such that 0 L i f ( R i ) . For each x i M i f ( R i ) , t i f ( R i ; x i ) > 0 .
Proof. 
Let x i M i f ( R i ) . Suppose by contradiction that t i f ( R i ; x i ) 0 . By 0 L i f ( R i ) , there is R i R such that x i ( R ) = 0 . By Lemma A2, f i ( R ) = 0 . Then,
z i f ( R i ; x i ) R i ( x i , 0 ) P i 0 = f i ( R ) ,
where the first relation follows from t i f ( R i ; x i ) 0 , and the second one follows from the desirability of objects. However, this contradicts Lemma A6. □
The next corollary states that the payment of each agent is non-negative.
Corollary A1
(No subsidy). Let f be a rule on R n satisfying strategy-proofness, individual rationality, and no subsidy for losers. Let i N and R i R n 1 be such that 0 L i f ( R i ) . For each R i R , t i ( R ) 0 .
Proof. 
Let R i R . If x i ( R ) = 0 , then by Lemma A2, t i ( R ) = 0 . If x i ( R ) 0 , then by Lemma A7, t i ( R ) = t i f ( R i ; x i ( R ) ) > 0 . □
Given a bundle z i = ( x i , t i ) M × R + + , a preference R i is z i -favoring if for each x i L \ { x i } , V i ( x i , z i ) < 0 . Given z i M × R + + , let R N V ( z i ) denote the class of preferences that are z i -favoring.
The next lemma states that for each R R n , if agent i N replaces his preference by a f i ( R ) -favoring one, then the outcome bundle of the agent does not change by such a preference replacement.
Lemma A8.
Let f be a rule on R n satisfying strategy-proofness, individual rationality, and no subsidy for losers. Let i N and R i R n 1 be such that 0 L i f ( R i ) . Let R i R be such that f i ( R ) M × R + + . Let R i R R N V ( f i ( R ) ) . Then, f i ( R i , R i ) = f i ( R ) .
Proof. 
By R i R N V ( f i ( R ) ) , for each x i L \ { x i ( R ) } ,
V i ( x i , f i ( R ) ) < 0 .
Now, we show that x i ( R i , R i ) = x i ( R ) . By contradiction, suppose x i ( R i , R i ) x i ( R ) . Then. by strategy-proofnsss, f i ( R i , R i ) R i f i ( R ) . This implies
t i ( R i , R i ) V i ( x i ( R i , R i ) , f i ( R ) ) < 0 ,
where the last inequality follows from (A2). However, this contradicts Corollary A1.
Thus, x i ( R i , R i ) = x i ( R ) . This implies that f i ( R i , R i ) = z i f ( R i ; x i ( R i , R i ) ) = z i f ( R i ; x i ( R ) ) = f i ( R ) . □
The next lemma states that for each R R n , if agent i N replaces his preference by a f i ( R ) -favoring one R i , then a reference bundle for ( R i , R i ) coincides with f i ( R i , R i ) .
Lemma A9.
Let f be a rule on R n satisfying strategy-proofness, individual rationality, and no subsidy for losers. Let i N and R i R n 1 be such that 0 L i f ( R i ) . Let R i R be such that f i ( R ) M × R + + . Let R i R R N V ( f i ( R ) ) . Let z 0 = ( x 0 , t 0 ) L × R be a reference bundle for ( R i , R i ) such that f i ( R i , R i ) I i z 0 and f j ( R i , R i ) I j z 0 for each j N \ { i } . Then, f i ( R i , R i ) = z 0 .
Proof. 
We show x 0 = x i ( R i , R i ) . Suppose by contradiction that x 0 x i ( R i , R i ) . By R i R R N V ( f i ( R ) ) , Lemma A8 implies f i ( R i , R i ) = f i ( R ) . Thus, by x 0 x i ( R i , R i ) , x 0 x i ( R ) . Thus, by R i R N V ( f i ( R ) ) , V i ( x 0 , f i ( R ) ) < 0 . Thus, by f i ( R i , R i ) = f i ( R ) ,
V i ( x 0 , f i ( R i , R i ) ) = V i ( x 0 , f i ( R ) ) < 0 .
By f i ( R i , R i ) I i z 0 , t 0 = V i ( x 0 , f i ( R i , R i ) ) . Thus, t 0 < 0 , which contradicts Lemma A4.
Thus, x 0 = x i ( R i , R i ) . By f i ( R i , R i ) I i z 0 , t i ( R i , R i ) = t 0 . Thus, we obtain f i ( R i , R i ) = z 0 . □
Finally, the next lemma states that for each z i M × R + + , a rich class of preferences includes at least one z i -favoring preference.
Lemma A10.
Let R be rich. Let z i = ( x i , t i ) M × R + + . Then, R R N V ( z i ) .
Proof. 
Let p R + | L | be a price vector such that p x i = t i , and for each x i L \ { x i } , p x i = 0 . By richness, there is a preference R i R such that D ( R i , p ) = { x i } . Let x i L \ { x i } . Then, by D ( R i , p ) = { x i } , z i = ( x i , p x i ) P i ( x i , p x i ) = ( x i , 0 ) . This implies V i ( x i , z i ) < 0 . Thus, R i R N V ( z i ) . By R i R , we have R i R R N V ( z i ) . □

Appendix B. Proof of Theorem 1

In this section, we provide the proof of Theorem 1. Let R be rich.

Appendix B.1. Proof of the “If” Part

In this subsection, we show the “if” part of Theorem 1. Let f be an independent second-prices rule with variable constraints on R n respecting the equality for a single winner and the equality for several winners. Let ( L i ( · ) ) i N be a profile of variable constraints associated with f.
It is straightforward to show that f satisfies individual rationality and no subsidy for losers. Thus, we here show egalitarian-equivalence and strategy-proofness.
Egalitarian-equivalence. Let R R n . Let W = W ( R , ( L i ( R i ) i N ) ) . For each i N , let p i R + | L | be a price vector such that for each x i M , p i x i = max j N \ { i } V j ( x i , 0 ) .
First, we show the following claim.
Claim A1.
Let i N \ W . Then, f i ( R ) I i 0 .
Proof. 
By i W , for each x i L i ( R i ) , V i ( x i , 0 ) p i x i . Thus, by x i ( R ) L i ( R i ) , V i ( x i ( R ) , 0 ) p i x i ( R ) = t i ( R ) , where the equality follows from Lemma A1. This implies 0 R i f i ( R ) . This, together with individual rationality, implies f i ( R ) I i 0 . □
We consider the following three cases.
  • Case 1. | W | = 0 .
By Claim A1, for each i N , f i ( R ) I i 0 . Thus, 0 can be taken as a reference bundle for R.
  • Case 2. | W | = 1 .
By | W | = 1 , there is i N such that W = { i } . Since f respects the valuation coincidence, for each j N \ { i } ,
V j ( x i ( R ) , 0 ) = p i x i ( R ) = t i ( R ) ,
which implies 0 I j f i ( R ) . By Claim A1, for each j N \ { i } , f j ( R ) I j 0 . Thus, for each j N \ { i } , f j ( R ) I j f i ( R ) . Thus, f i ( R ) can be chosen as a reference bundle for R.
  • Case 3. | W | 2 .
Since f respects the valuation coincidence, there is a M such that for each pair i , j N , v = V i ( a , f i ( R ) ) = V j ( a , f j ( R ) ) . Then, for each i N , f i ( R ) I i ( a , V i ( a , f i ( R ) ) ) = ( a , v ) . Thus, ( a , v ) can be taken as a reference bundle for R.
Strategy-proofness. Let R R n , i N , and R i R . Then, by Lemma A1, it holds that x i ( R ) D ( R i , p i , L i ( R i ) ) , t i ( R ) = p i x i ( R ) , and t i ( R i , R i ) = p i x i ( R i , R i ) , where p i R + | L | is a price vector such that for each x i M , p i x i = max j N \ { i } V j ( x i , 0 ) . By x i ( R ) D ( R i , p i , L i ( R i ) ) and x i ( R i , R i ) L i ( R i ) ,
f i ( R ) = ( x i ( R ) , p i x i ( R ) ) R i ( x i ( R i , R i ) , p i x i ( R i , R i ) ) = f i ( R i , R i ) ,
as desired.

Appendix B.2. Proof of the “Only If” Part

In this subsection, we show the “only if” part of Theorem 1. Let f be a rule on R n satisfying egalitarian-equivalence, strategy-proofness, individual rationality, and no subsidy for losers. The proof is in five steps.
  • Step 1. We show that for each i and each R i R n 1 , L i f ( R i ) L i , i.e., 0 L i f ( R i ) .
Let i N and R i R n 1 . By contradiction, suppose 0 L i f ( R i ) . Let p R + | L | be a price vector such that p x i = min j N \ { i } min x j M V j ( x j , 0 ) for each x i M . By richness, there is a preference R i R such that D ( R i , p ) = { 0 } . Then, for each x i M , 0 P i ( x i , p x i ) , which implies
V i ( x i , 0 ) < p x i = min j N \ { i } min x j M V j ( x j , 0 ) .
Let p ^ R + | L | be a price vector such that p ^ x i = V i ( x i , 0 ) for each x i M . Again, by richness, there is a preference R i R such that D ( R i , p ^ ) = { 0 } . Then, for each x i M , 0 P i ( x i , p ^ x i ) , which implies
V i ( x i , 0 ) < p ^ x i = V i ( x i , 0 ) .
For each x i M , by (A3) and (A4),
V i ( x i , 0 ) < min j N \ { i } min x j M V j ( x j , 0 ) .
By 0 L i f ( R i ) , x i ( R ) , x i ( R i , R i ) 0 . Thus, by (A3) and (A5), Lemma A5 implies that t i ( R ) = V i ( x i ( R ) , 0 ) and t i ( R i , R i ) = V i ( x i ( R i , R i ) , 0 ) . Then,
f i ( R i , R i ) P i ( x i ( R i , R i ) , V i ( x i ( R i , R i ) , 0 ) I i 0 I i ( x i ( R ) , V i ( x i ( R ) , 0 ) ) = f i ( R ) ,
where the first relation follows from (A4). However, this contradicts strategy-proofness.
  • Step 2. We show that for each i N , each R i R n 1 , and each x i M , if x i L i f ( R i ) , then V j ( x , 0 ) = V k ( x i , 0 ) for each pair j , k N \ { i } .
Let i N , R i R n 1 , and x i M i f ( R i ) . Suppose by contradiction that for some distinct pair j , k N \ { i } , it holds that V j ( x i , 0 ) V k ( x i , 0 ) .
Let p R + | L | be a price vector such that p x i = t i f ( R i ; x i ) and p x i = 0 for each x i L \ { x i } . Furthermore, let p ^ R + | L | be a price vector such that p ^ x i = t i f ( R i ; x i ) + ε , p ^ x i = t i f ( R i ; x i ) for each x i M i f ( R i ) \ { x i } , and p ^ x i = ε for each x i M \ M i f ( R i ) , where ε > 0 is a positive number. By Step 1 and x i M i f ( R i ) , Lemma A7 implies p x i > 0 . Furthermore, for each x i M i f ( R i ) \ { x i } , by Step 1, Lemma A7 implies p ^ x i > 0 = p x i . Thus, p ^ > p . By richness, there is R i R such that D ( R i , p ) = { x i } and D ( R i , p ^ ) = { 0 } .
By D ( R i , p ) = { x i } ,
z i f ( R i ; x i ) = ( x i , p x i ) P i 0 = z i f ( R i ; 0 ) ,
where the last equality follows from Step 1 and Lemma A2. Furthermore, for each x i M i f ( R i ) \ { x i } , by D ( R i , p ^ ) = { 0 } ,
z i f ( R i ; 0 ) = 0 P i ( x i , p ^ x i ) = z i f ( R i ; x i ) .
Thus, z i f ( R i ; x i ) P i z i f ( R i ; x i ) for each x i L i f ( R i ) \ { x i } . Thus, by Lemma A6, x i ( R ) = x i . Note that by x i M and t i ( R ) = t i f ( R i ; x i ( R ) ) = p x i > 0 , f i ( R ) M × R + + .
Now, we will show that for each j N \ { i } , x j ( R ) 0 . Note that by x i ( R ) 0 and n > m , this will give a contradiction.
By contradiction, suppose x j ( R ) = 0 for some j N \ { i } . By Lemma A2, f j ( R ) = 0 . Let N ¯ = { k N \ { i , j } : V k ( x i , 0 ) V j ( x i , 0 ) } . By our assumption that V k ( x i , 0 ) V l ( x i , 0 ) for some pair k , l N \ { i } , N ¯ . The proof is in five substeps.
  • Step 2-1. By egalitarian-equivalence, there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for R such that f k ( R ) I k z k for each k N . We show z 0 = f i ( R ) . Let x i L \ { x i } . By D ( R i , p ) = { x i } , f i ( R ) = ( x i , p x i ) P i ( x i , p x i ) = ( x i , 0 ) . This implies
    V i ( x i , f i ( R ) ) < 0 .
    Thus, R i R N V ( f i ( R ) ) . By Step 1, Lemma A9 gives z 0 = f i ( R ) .
  • Step 2-2. We show that for each k N ¯ , V k ( x i , 0 ) > V j ( x i , 0 ) . By contradiction, suppose there is k N ¯ such that V k ( x i , 0 ) V j ( x i , 0 ) . By k N ¯ , V k ( x i , 0 ) < V j ( x i , 0 ) . By Step 2-1, z 0 = f i ( R ) . Thus, by x i ( R ) = x i , x 0 = x i . By 0 = f j ( R ) I j z 0 = ( x i , t 0 ) , t 0 = V j ( x i , 0 ) . Thus, by V k ( x i , 0 ) < V j ( x i , 0 ) , V k ( x i , 0 ) < t 0 . This implies 0 P k ( x i , t 0 ) . Thus, by f k ( R ) I k z 0 = ( x i , t 0 ) , 0 P k f k ( R ) , which contradicts individual rationality.
  • Step 2-3. We show that for each R i R R N V ( f i ( R ) ) and each k N ¯ , x k ( R i , R i ) 0 . Let R i R R N V ( f i ( R ) ) and k N ¯ . Suppose by contradiction that x k ( R i , R i ) = 0 . By Lemma A2, f k ( R i , R i ) = 0 . By Step 1, Lemma A8 implies f i ( R i , R i ) = f i ( R ) . By Step 2-1, f i ( R ) = z 0 . Thus, 0 = f j ( R ) I j z 0 = f i ( R ) = f i ( R i , R i ) . Thus, by x i ( R i , R i ) = x i ( R ) = x i ,
    t i ( R i , R i ) = V j ( x i , 0 ) .
    By egalitarian-equivalence, there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for ( R i , R i ) such that f i ( R i , R i ) I i z 0 and f l ( R i , R i ) I l z 0 for each l N \ { i } . By Step 1, Lemma A9 gives z 0 = f i ( R i , R i ) . Thus, by (A6) and Step 2-2,
    t 0 = t i ( R i , R i ) = V j ( x i , 0 ) < V k ( x i , 0 ) ,
    which implies ( x i , t 0 ) P k 0 = f k ( R i , R i ) . By z 0 = f i ( R i , R i ) = f i ( R ) and x i ( R ) = x i , z 0 = ( x i , t 0 ) . Thus, z 0 P k f k ( R i , R i ) . However, this contradicts f k ( R i , R i ) I k z 0 .
  • Step 2-4. We show that for each R i R R N V ( f i ( R ) ) and each k N ¯ , we have V k ( x k ( R i , R i ) , f i ( R ) ) > 0 . Let R i R R N V ( f i ( R ) ) and k N ¯ . By Step 2-3, we have x k ( R i , R i ) 0 .
    By egalitarian-equivalence, there is a reference bundle z 0 L × R for ( R i , R i ) such that f i ( R i , R i ) I i z 0 and for each l N \ { i } , f l ( R i , R i ) I l z 0 . By Step 1, Lemma A9 implies z 0 = f i ( R i , R i ) . By Step 1, Lemma A8 gives f i ( R i , R i ) = f i ( R ) . Thus,
    f k ( R i , R i ) I k z 0 = f i ( R i , R i ) = f i ( R ) ,
    which implies t k ( R i , R i ) = V k ( x k ( R i , R i ) , f i ( R ) ) . By Step 1 and x k ( R i , R i ) 0 , Lemma A7 implies that
    V k ( x k ( R i , R i ) , f i ( R ) ) = t k ( R i , R i ) = t k f ( R i , R i , k ; x k ( R i , R i ) ) > 0 ,
    as desired.
  • Step 2-5. Let k N ¯ . Let p i R + | L | be a price vector such that p i x i = t i ( R ) and p i x i = 0 for each x i L \ { x i } . By Step 1 and x i = x i ( R ) M i f ( R i ) , Lemma A7 implies p x i > 0 .
    By Step 2-3,
    M k = R i R R N V ( f i ( R ) ) { x k ( R i , R i ) } M .
    By f i ( R ) M × R + + and Lemma A10, R R N V ( f i ( R ) ) . Thus, M k is well-defined, and M k . Note that x i M k .9
Let p ^ i R + | L | be a price vector such that p ^ i x i = t i ( R ) + ε , p ^ i x i = V k ( x i , f i ( R ) ) for each x i M k , and p ^ x i = ε for each x i M \ ( M k { x i } ) , where ε > 0 is a positive number. Let x k M k . Then, there is R i R R N V ( f i ( R ) ) such that x k = x k ( R i , R i ) M . By Step 2-4,
p ^ i x k = V k ( x k , f i ( R ) ) = V k ( x k ( R i , R i ) , f i ( R ) ) > 0 = p i x k .
Thus, it holds that p ^ i > p i .
By richness, there is a preference R i R such that D ( R i , p i ) = { x i } and D ( R i , p ^ i ) = { 0 } . Then, by D ( R i , p i ) = { x i } , R i R N V ( f i ( R ) ) . Thus, by Step 1, Lemma A8 gives f i ( R i , R i ) = f i ( R ) .
By egalitarian-equivalence, there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for ( R i , R i ) such that f i ( R i , R i ) I i z 0 and f l ( R i , R i ) I l z 0 for each l N \ { i } . By Step 1, Lemma A9 implies z 0 = f i ( R i , R i ) . Thus, by f i ( R i , R i ) = f i ( R ) , z 0 = f i ( R ) . Thus, f k ( R i , R i ) I k z 0 = f i ( R ) , which implies
t k ( R i , R i ) = V k ( x k ( R i , R i ) , f i ( R ) ) .
By Step 2-4, x k ( R i , R i ) 0 . Thus, by Step 1, Lemma A7 gives
t k ( R i , R i ) = t k f ( R i , R i , k ; x k ( R i , R i ) ) > 0 .
Thus, f k ( R i , R i ) M × R + + . Thus, by Lemma A10, there is R k R R N V ( f k ( R i , R i ) ) . By Step 1, Lemma A8 implies f k ( R i , R k , R i , k ) = f k ( R i , R i ) .
By egalitarian-equivalence, there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for ( R i , R k , R i , k ) such that for each l { i , k } , f l ( R i , R k , R i , k ) I l z 0 , and for each l N \ { i , k } , f l ( R i , R k , R i ) I l z 0 . By Step 1, Lemma A9 gives z 0 = f k ( R i , R k , R i , k ) . By f k ( R i , R k , R i k ) = f k ( R i , R i ) , z 0 = f k ( R i , R i ) .
Let x k = x k ( R i , R i ) . By R i R R N V ( f i ( R ) ) , x k M k . Thus, by D ( R i , p ^ i ) = { 0 } ,
0 P i ( x k , p ^ i x k ) = ( x k , V k ( x k , f i ( R ) ) ) ,
which implies
V i ( x k , 0 ) < V k ( x k , f i ( R ) ) = t k ( R i , R i ) ,
where the equality follows from (A7). Thus,
0 P i ( x k , t k ( R i , R i ) ) = f k ( R i , R i ) = z 0 .
This, together with individual rationality, implies that
f i ( R i , R k , R i , k ) P i z 0 .
However, this contradicts f i ( R i , R k , R i , k ) I i z 0 .
Now, we complete the proof of Step 2. We have shown that for each j N \ { i } , x j ( R ) 0 . Recall that x i ( R ) 0 . Thus, for each j N , x j ( R ) 0 . However, this is impossible because n > m .
  • Step 3. We show that for each i N , each R i R n 1 , and each x i L i f ( R i ) , t i f ( R i ; x i ) = max j N \ { i } V j ( x i , 0 ) . Let i N , R i R n 1 , and x i L i f ( R i ) . If x i = 0 , then by Lemma A2, t i f ( R i ; x i ) = 0 . Thus, assume x i 0 .
By Step 1 and x i M i f ( R i ) , Lemma A7 gives t i f ( R i ; x i ) > 0 . Let p R + | L | be a price vector such that p x i = t i f ( R i ; x i ) , and p x i = 0 for each x i L \ { x i } . By richness, there is R i R such that D ( R i , p ) = { x i } . Then, for each x i L i f ( R i ) \ { x i } ,
z i f ( R i ; x i ) = ( x i , p x i ) P i ( x i , p x i ) = ( x i , 0 ) R i ( x i , t i f ( R i ; x i ) ) = z i f ( R i ; x i ) ,
where the first relation follows from D ( R i , p ) = { x i } , and the second one from Step 1 and Corollary A1. Thus, by Lemma A6, f i ( R ) = z i f ( R i ; x i ) . By x i 0 and t i f ( R i ; x i ) > 0 , f i ( R ) M × R + + .
By egalitarian-equivalence, there is a reference bundle z 0 L × R for R such that f j ( R ) I j z 0 for each j N . For each x i L \ { x i } , by D ( R i , p ) = { x i } ,
f i ( R ) = ( x i , p x i ) P i ( x i , p x i ) = ( x i , 0 ) ,
which implies
V i ( x i , f i ( R ) ) < 0 .
Thus, R i R N V ( f i ( R ) ) . Thus, by f i ( R ) M × R + + and Step 1, Lemma A9 implies z 0 = f i ( R ) .
By n > m , there is j N \ { i } such that x j ( R ) = 0 . By Lemma A2, f j ( R ) = 0 . By 0 = f j ( R ) I j z 0 = f i ( R ) , t i ( R ) = V j ( x i ( R ) , 0 ) . Thus,
t i ( R i ; x i ) = t i ( R ) = V j ( x i ( R ) , 0 ) = V j ( x i , 0 ) = max k N \ { i } V k ( x i , 0 ) ,
where the last equality follows from Step 2.
  • Step 4. We show that f is an independent second-prices rule with variable constraints. Let R R n and i N . Let p i R + | L | be a price vector such that for each x i M , p i x i = max j N \ { j } V j ( x i , 0 ) . By Step 3, for each x i L i f ( R i ) , p i x i = t i f ( R i ; x i ) . By Lemma A6, x i ( R ) D ( R i , p i , L i f ( R i ) ) . Furthermore, t i ( R ) = t i f ( R i ; x i ( R ) ) = p i x i ( R ) . Thus, by Lemma A1 and Step 1, f is an independent second-prices rule with variable constraints associated with ( L i f ( · ) ) i N .
  • Step 5. Now, we complete the proof of Theorem 1. By Step 4, f is an independent second-prices rule with variable constraints associated with ( L i f ( · ) ) i N . Thus, we finally show that it respects the valuation coincidence.
Let R R n . We show that the two conditions of respecting the valuation coincidence holds. Let W = W ( R , ( L i f ( R i ) ) i N ) .
Suppose | W | = 1 . Then, there is i W . In addition, there is x i L i f ( R i ) such that V i ( x i , 0 ) > max j N \ { i } V j ( x i , 0 ) . This implies ( x i , max j N \ { i } V j ( x i , 0 ) ) P i 0 . By Step 4 and Lemma A1,
f i ( R ) R i ( x i , max j N \ { i } V j ( x i , 0 ) ) P i 0 .
Thus, by Lemma A2, x i ( R ) 0 . By x i ( R ) L i f ( R i ) , x i ( R ) M i f ( R i ) . By Step 2, for each pair j , k N \ { i } ,
V j ( x i ( R ) , 0 ) = V k ( x i ( R ) , 0 ) ,
as desired.
Next, suppose | W | 2 . By egalitarian-equivalence, there is a reference bundle z 0 = ( x 0 , t 0 ) L × R for R such that f i ( R ) I i z 0 for each i N . We show that x 0 M . By | W | 2 , there is i W . By the same argument as above, f i ( R ) P i 0 . Thus, by f i ( R ) I i z 0 , z 0 P i 0 . In addition, z 0 0 . By Lemma A3, this implies x 0 0 . For each j N , f j ( R ) I j z 0 = ( x 0 , t 0 ) implies t 0 = V j ( x 0 , f j ( R ) ) . Thus, for each pair j , k N ,
V j ( x 0 , f j ( R ) ) = t 0 = V k ( x 0 , f k ( R ) ) ,
as desired.

Appendix C. Proof of Propositions

In this section, we provide the proofs of Propositions 5–7.

Appendix C.1. Proof of Proposition 5

Suppose by contradiction that there is a rule f on R n satisfying egalitarian-equivalence, minimal no wastage, strategy-proofness, individual rationality, and no subsidy for losers. Note that by Step 1 of the proof of the “only if” part of Theorem 1, for each i N and each R i R n 1 , 0 L i f ( R i ) . Note also that by Step 2 of the proof of the “only of” part of Theorem 1, for each i N , each R i R n 1 , and each x i M , if x i L i f ( R i ) , then for each pair j , k N \ { i } , V j ( x i , 0 ) = V k ( x i , 0 ) .
Fix a preference R 1 R of agent 1. Let p 2 R + | L | be a price vector such that p 2 x 2 = V 1 ( x 2 , 0 ) for each x 2 M . By richness, we can pick a preference R 2 R of agent 2 such that D ( R 2 , p 2 ) = { 0 } . For each x 2 M , D ( R 2 , p 2 ) = { 0 } implies 0 P 2 ( x 2 , p 2 x 2 ) . Thus, for each x 2 M ,
V 2 ( x 2 , 0 ) < p 2 x 2 = V 1 ( x 2 , 0 ) .
Next, we construct a preference of agent 3. Let p 3 R + | L | be a price vector such that p 3 x 3 = V 2 ( x 3 , 0 ) for each x 3 M . By richness, there is a preference R 3 R of agent 3 such that D ( R 3 , p 3 ) = { 0 } . Thus, for each x 3 M , 0 P 3 ( x 3 , p 3 x 3 ) , which implies
V 3 ( x 3 , 0 ) < p 3 x 3 = V 2 ( x 3 , 0 ) .
By repeating the same arguments inductively, we can construct a preference profile R R n such that for each i N \ { 1 } and each x i M ,
V i ( x i , 0 ) < p i x i = V i 1 ( x i , 0 ) .
Thus, for each a M and each distinct pair i , j N ,
V i ( a , 0 ) V j ( a , 0 ) .
By Step 2 of the proof of the “only if” of Theorem 1, (A8) implies that for each i N and each x i M , x i L i f ( R i ) . Thus, for each i N , by 0 L i f ( R i ) , L i f ( R i ) = { 0 } . Thus, for each i N , x i ( R ) = 0 . However, this contradicts minimal no wastage.

Appendix C.2. Proof of Proposition 6

Let f be an independent second-prices rule with variable constraints on R n . Let R R n .
The next claim is immediate from the definition of the rule. Thus, we omit the proof
Claim A2.
Let i N . (i) t i ( R ) 0 . (ii) If x i ( R ) = 0 , then t i ( R ) = 0 .
Then, we show the following claim.
Claim A3.
For each pair i , j N , V i ( x j ( R ) , f i ( R ) ) t j ( R )
Proof. 
Let i , j N be a pair. If i = j , then the conclusion is trivial. Thus, suppose i j .
  • Case 1. x j ( R ) = 0 .
By Claim A2 (ii), t j ( R ) = 0 . By Theorem 1, f satisfies individual rationality. Thus, f i ( R ) R i 0 , which implies V i ( 0 , f i ( R ) ) 0 .
  • Case 2. x j ( R ) 0 .
Then, f j ( R ) = ( x j ( R ) , max k N \ { j } V k ( x j ( R ) , 0 ) ) . Thus,
t j ( R ) = max k N \ { j } V k ( x j ( R ) , 0 ) V i ( x j ( R ) , 0 ) .
By individual rationality,
( x j ( R ) , V i ( x j ( R ) , f i ( R ) ) ) I i f i ( R ) R i 0 I i ( x j ( R ) , V i ( x j ( R ) , 0 ) ) ,
which implies
V i ( x j ( R ) , 0 ) V i ( x j ( R ) , f i ( R ) ) .
(A9) and (A10) together imply t j ( R ) V i ( x j ( R ) , f i ( R ) ) . □
Let x X be such that x i L f ( R ) for each i N . Then, for each i N , there is ι ( i ) N such that x i = x ι ( i ) ( R ) . Let N 1 = { i N : x i ( R ) 0 } and N 2 = { ι ( i ) N : x ι ( i ) ( R ) 0 } = { i N : j N s . t . i = ι ( j ) and x i ( R ) 0 } .
The proof of the following claim is trivial, and so we omit it.
Claim A4.
N 2 N 1 .
Then,
i N V i ( x i , f i ( R ) ) i N t ι ( i ) ( R ) = i N 2 t i ( R ) i N 1 t i ( R ) = i N t i ( R ) ,
where the first inequality follows from Claim A3, the first equality follows from Claim A2 (ii), the second inequality follows from Claims A2 (i) and A4, and the second equality follows from Claim A2 (ii). Thus, by Remark 1, f is constrained efficient.

Appendix C.3. Proof of Proposition 7

Let f be an independent second-prices rule with variable constraints on R n . Let R R n and i , j N be a pair. Then,
f i ( R ) I i ( x j ( R ) , V i ( x j ( R ) , f i ( R ) ) ) R i ( x j ( R ) , t j ( R ) ) = f j ( R ) ,
where the second relation follows from Claim A3 in the proof of Proposition 6.

Notes

1
The generalized Vickrey rule is the only rule satisfying the four properties in the identical objects model [4,5].
2
For the comprehensive survey on fair allocation theory, see [8]
3
A rule f = ( x , t ) on R n is a generalized Vickrey rule if it holds that for each R R n , x ( R ) arg max x X i N V i ( x i , 0 ) , and for each i N , t i ( R ) = max x X j N \ { i } V j ( x j , 0 ) j N \ { i } V j ( x j ( R ) , 0 ) .
4
By f 1 ( R ) P 1 f 2 ( R ) and f 2 ( R ) P 2 f 1 ( R ) , in this case it must hold that d = c .
5
Note that all Propositions 1–3 follow from Theorem 1. The purpose of the three propositions in Section 4.2 was to clarify the motivation of the respecting the valuation coincidence condition.
6
For the formal definition of the minimum price Warlasian see, for example, Morimoto and Serizawa [6]
7
In the companion paper [20], motivated by the observation that real-life bidders usually have neither the full access to the outcomes of auctions nor full confidence that the published data are correct, we propose a new property of fairness that we call obvious envy-freeness. It extends envy-freeness to the agents who has only partial access to or partial confidence in the other agents’ outcome bundles. In Shinozaki [20], we establish that the independent second-prices rule with variable reserve prices is the only rule satisfying obvious envy-freeness, strategy-proofness, individual rationality, and no subsidy for losers.
8
We are grateful to an anonymous referee for suggesting such interesting directions of future research.
9
Indeed, suppose by contradiction that x i M k . Then, there is R i R R N V ( f i ( R ) ) such that x k ( R i , R i ) = x i . By Step 1, Lemma A8 implies x i ( R i , R i ) = x i ( R ) = x i . However, this contradicts x k ( R i , R i ) = x i since k i and x i 0 .

References

  1. Pazner, E.A.; Shmeidler, D. Egalitarian equivalent allocations: A new concept of economic equity. Q. J. Econ. 1978, 92, 671–687. [Google Scholar] [CrossRef]
  2. Kazumura, T.; Mishra, D.; Serizawa, S. Strategy-proof multi-object mechanism design: Ex-post revenue maximization with non-quasilinear preferences. J. Econ. Theory 2020, 188, 105036. [Google Scholar] [CrossRef]
  3. Holmström, B. Groves’ sheme on restricted domains. Econometrica 1979, 47, 1137–1144. [Google Scholar] [CrossRef] [Green Version]
  4. Saitoh, H.; Serizawa, S. Vickrey allocation rule with income effect. Econ. Theory 2008, 35, 391–401. [Google Scholar] [CrossRef]
  5. Sakai, T. Second price auctions on general preference domains: Two characteriations. Econ. Theory 2008, 37, 347–356. [Google Scholar] [CrossRef]
  6. Morimoto, S.; Serizawa, S. Strategy-proofness and efficiency with non-quasi-linear preferences: A characterization of minimum price Warlasian rule. Theor. Econ. 2015, 10, 445–487. [Google Scholar] [CrossRef] [Green Version]
  7. Demange, G.; Gale, D. The strategy structure of two-sided matching markets. Econometrica 1985, 53, 873–888. [Google Scholar] [CrossRef]
  8. Thomson, W. Fair allocation rules. In Handbook of Social Choice and Welfare; Arrow, K., Sen, A., Suzumura, K., Eds.; Elsevier: Amsterdam, The Netherlands, 2011; pp. 393–506. [Google Scholar]
  9. Ohseto, S. Characterizations of strategy-proof and fair mechanisms for allocating indivisible goods. Econ. Theory 2006, 29, 111–121. [Google Scholar] [CrossRef]
  10. Svensson, L.G. Coalitional strategy-proofness and fairness. Econ. Theory 2009, 40, 227–245. [Google Scholar] [CrossRef]
  11. Andersson, T.; Ehlers, L.; Svensson, L.G. Budget balance, fairness, and minimal manipulability. Theor. Econ. 2014, 9, 753–777. [Google Scholar] [CrossRef]
  12. Yengin, D. No-envy and egalitarian-equivalence under multi-object-demand for heterogeneous objects. Soc. Choice Welf. 2017, 48, 81–180. [Google Scholar] [CrossRef]
  13. Yengin, D. Egalitarian-equivalent Groves mechanisms in the allocation of heterogeneous objects. Soc. Choice Welf. 2012, 38, 137–160. [Google Scholar] [CrossRef]
  14. Ohseto, S. Implementing egalitarian-equivalent allocation of indivisible goods on restricted domains. Econ. Theory 2004, 23, 659–670. [Google Scholar] [CrossRef]
  15. Chun, Y.; Mitra, M.; Mutuswami, S. Egalitarian equivalence and strategyproofness in the queueing problem. Econ. Theory 2014, 56, 425–442. [Google Scholar] [CrossRef] [Green Version]
  16. Hayashi, T. Egalitarian Equivalence and Implementability Imply Equal Division. Working Paper. 2022. Available online: https://drive.google.com/file/d/12bze9XaLtFM_MSd3uG-stRzgKElcMjS6/view (accessed on 12 November 2022).
  17. Ashlagi, I.; Serizawa, S. Characterizing Vickrey allocation rule by anonymity. Soc. Choice Welf. 2012, 38, 531–542. [Google Scholar] [CrossRef] [Green Version]
  18. Foley, D. Resource allocation and the public sector. Yale Econ. Essays 1967, 7, 45–98. [Google Scholar]
  19. Thomson, W. On the non existence of envy-free and egalitarian-equivalent allocations in economies with indivisiblities. Econ. Lett. 1990, 34, 227–229. [Google Scholar] [CrossRef]
  20. Shinozaki, H. Obviously fair object allocation with money. Graduate School of Economics, Osaka University, 1-7 Machikaneyama, Toyonaka, Osaka, Japan. 2022; manuscript in preparation. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Shinozaki, H. Egalitarian-Equivalence and Strategy-Proofness in the Object Allocation Problem with Non-Quasi-Linear Preferences. Games 2022, 13, 75. https://doi.org/10.3390/g13060075

AMA Style

Shinozaki H. Egalitarian-Equivalence and Strategy-Proofness in the Object Allocation Problem with Non-Quasi-Linear Preferences. Games. 2022; 13(6):75. https://doi.org/10.3390/g13060075

Chicago/Turabian Style

Shinozaki, Hiroki. 2022. "Egalitarian-Equivalence and Strategy-Proofness in the Object Allocation Problem with Non-Quasi-Linear Preferences" Games 13, no. 6: 75. https://doi.org/10.3390/g13060075

APA Style

Shinozaki, H. (2022). Egalitarian-Equivalence and Strategy-Proofness in the Object Allocation Problem with Non-Quasi-Linear Preferences. Games, 13(6), 75. https://doi.org/10.3390/g13060075

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop