# Mechanism design with two alternatives in quasi-linear environments

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s00355-014-0837-4

- Cite this article as:
- Marchant, T. & Mishra, D. Soc Choice Welf (2015) 44: 433. doi:10.1007/s00355-014-0837-4

- 238 Downloads

## Abstract

We study mechanism design in quasi-linear private values environments when there are two alternatives. We show that under a mild range condition, every implementable allocation rule is a *generalized utility function maximizer*. In unbounded domains, if we replace our range condition by an *independence* condition, then every implementable allocation rule is an affine maximizer. Our results extend Roberts’ affine maximizer theorem (Roberts, In: Laffont J-J (ed) The characterization of implementable choice rules, 1979) to the case of two alternatives.

## 1 Introduction

This paper considers dominant strategy implementation of deterministic (no randomization) allocation rules in quasi-linear environments with two alternatives, e.g. bilateral trading, provision of a public good, choosing one out of two locations for locating a facility or any situation with a status-quo alternative and a new alternative. The private information of each agent is a two dimensional vector, representing the valuation (a real number) for each alternative. Given the reported valuations of agents, an allocation rule chooses an alternative and a payment rule determines the payments of each agent. The net utility of each agent is quasi-linear in the payment he makes. An allocation rule is implementable (in dominant strategies) if there is a payment rule which makes truth-telling a weakly dominant strategy for each agent. We answer the following fundamental question in our model.

*Which allocation rules are implementable?*

We offer two main results.^{1} Under a mild range condition, we show that an allocation rule is implementable if and only if it is a *generalized utility function (GUF) maximizer*. At every valuation profile, a GUF of an agent translates his valuation vector to a pair of real numbers, which we call his *generalized utilities* for these two alternatives at this valuation profile. At every valuation profile, a GUF maximizer allocation rule chooses an alternative that maximizes the sum of generalized utilities of agents.

Our second result shows that an implementable allocation rule satisfying an *independence* condition is an *affine maximizer*. Affine maximizer allocation rules, introduced in Roberts (1979), are generalizations of the efficient allocation rule. They can be thought of as *linearized* GUF maximizer allocation rules. Conversely, every affine maximizer satisfies our independence condition. It is well known that under a mild condition, an affine maximizer is implementable.

To prove the latter result, we prove another result, which is of independent interest. We show that if an implementable allocation rule satisfies *unanimity* and *transitivity* ^{2} in our model, then it must be a *weighted efficient allocation rule*. Weighted efficient allocation rules are a special class of affine maximizer allocation rules. Conversely, every weighted efficient allocation rule satisfies unanimity and transitivity.

Though a mechanism design problem with two alternatives seems far-fetched, many well-studied problems fall into this category. First, the bilateral trading problem has two agents (a buyer and a seller) and two alternatives—trade or no trade. Second, the non-excludable public good provision problem is a problem with two alternatives—whether to provide the public good or not. Since the valuation for the status-quo alternative (no trade in the case of bilateral trading problem and not providing the public good in case of public good provision problem) is zero in these problems, the private information of each agent is uni-dimensional here. However, there are two-dimensional problems where our results can be applied. For instance, consider the problem of locating a facility in one of two locations. Each agent has a two-dimensional valuation vector representing his valuation for each location. All our results can be applied to this problem to identify the set of implementable allocation rules. Our results can also be applied to some extensions of classical bilateral trading problem and public good provision problem. The classical versions of these problems assume that the status-quo alternative has zero valuation for all the agents. Our model of two alternatives can allow agents to have non-zero private valuation for such a status-quo alternative.

A characterization of implementable allocation rules in the two-alternatives model is also an important step to achieving similar characterization for models with more than two alternatives. This is shown in Carbajal et al. (2013), who show that in a specific model (discussed later) with arbitrary number of alternatives, the set of implementable allocation rules can be defined recursively with the starting point being the two alternatives case. They refer to our characterizations for the two alternatives case.

### 1.1 Relation to the literature

The pursuit of identifying the set of implementable allocation rules in voting models goes back to the seminal work of Gibbard (1973) and Satterthwaite (1975), who establish that dictatorship is the only implementable allocation rule under a mild range condition with unrestricted domain, when there are at least three alternatives. In quasi-linear environments, the analogue of the Gibbard–Satterthwaite theorem is due to Roberts (1979). In a remarkable result, Roberts (1979) showed that under a mild range condition, every implementable allocation rule is an *affine maximizer* if there are at least three alternatives and the domain of valuations for each alternative is unrestricted. It is well known that an affine maximizer is implementable using generalized Groves payment rules (Vickrey 1961; Clarke 1971; Groves 1973) if it satisfies a mild tie-breaking condition.

When the domain of valuations is restricted or the number of alternatives is two, Roberts’ affine maximizer theorem is no longer true, and the set of implementable allocation rules is significantly enlarged. However, there has been very little progress in understanding the extensions of Roberts’ theorem in restricted domains of valuations or in problems with two alternatives. We note some exceptions. Jehiel et al. (2008) show that Roberts’ theorem extends to certain environments with interdependent valuations. Mishra and Sen (2012) show that in multidimensional open interval domains, every *neutral* and implementable allocation rule is a weighted efficient allocation rule if the number of alternatives is at least three.

Carbajal et al. (2013) show that if the domain of valuation profiles is restricted to the space of continuous functions defined on a topological space, or the space of piecewise linear functions defined on an affine space, or the space of smooth functions defined on a compact differentiable manifold, then an allocation rule is implementable if and only if it is a *lexicographic affine maximizer*. Their results do not require the set of alternatives to be finite. Lexicographic affine maximizers, which are defined recursively, are generalizations of affine maximizer allocation rules. Thus, they generalize Roberts’ theorem to a restricted environment. Lexicographic affine maximization does not require the number of alternatives to be at least three. However, when the number of alternatives is two, lexicographic affine maximization in Carbajal et al. (2013) is a *monotonicity* condition (or equivalently a cutoff in differences condition). This monotonicity is similar to the monotonicity condition used to characterize implementability in the single object auction setting (Myerson 1981). Further, this is equivalent to the 2-cycle monotonicity condition widely used in the multidimensional mechanism design literature (Bikhchandani et al. 2006; Saks and Yu 2005; Ashlagi et al. 2010).

The difference between the “monotonicity” characterizations and the “maximization” characterizations (a la Roberts 1979 and our GUF maximization) is significant. A monotonicity characterization will say that for every agent and for every valuation vector of other agents, the allocation rule must be “monotone” in some sense when the valuation vector of this agent is changed. On the other hand, a maximization characterization is more explicit. It tells you the exact parameters that define an implementable allocation rule. Thus, it is a direct prescription for designing a dominant strategy mechanism.

Because of this reason, there have been several attempts at simplifying the proof in Roberts’ theorem—Lavi et al. (2009), Dobzinski and Nisan (2009), Vohra (2011). Dobzinski and Nisan (2011) show that in combinatorial auction domains (a restricted domain) involving two agents, there are non-affine maximizer allocation rules which give good approximation to efficiency. However, they do not provide any general characterization result (except for a specific case of auction of two goods among two agents).

Another related paper is Mishra and Quadir (2014). They characterize the set of implementable allocation rules in the model of single object auctions. Like the current paper, their characterization captures a larger class of allocation rules than affine maximizers. However, since single object auctions is a very different domain, their results cannot be applied in our model of two alternatives.

One such model is the bilateral trading model, where there is one buyer and one seller who want to trade a good (owned by the seller). Myerson and Satterthwaite (1983) showed that Bayes–Nash implementation, budget-balance, efficiency, and individual rationality are incompatible in bilateral trading. Hagerty and Rogerson (1987) showed that the only mechanisms which are

*dominant strategy incentive compatible, budget-balanced, and individually rational*are*posted-price*mechanisms. Our GUF maximizer result applies to the bilateral trading model. Indeed, our results can be applied to the bilateral trading models where the no-trade alternative (outside option) also has some non-zero value (which can be a private information of the agents). Further, our characterizations are of implementable allocation rules and not of mechanisms (allocation rule and payments). Thus, we do not impose additional properties like budget-balance and individual rationality, which are all properties of payments.Another model with two alternatives is the public good provision problem, where a planner is deciding whether to provide the public good or not. An excellent treatment of this problem is given in Borgers (2010)—see also Güth and Hellwig (1986). Like in the bilateral trading problem, our results can be applied to this problem. Our results are applicable even if agents have private valuation for the status quo alternative. Unlike the literature, where the focus has been to find incentive compatible

*mechanisms*satisfying additional properties like budget-balance, individual rationality etc., our results characterize implementable*allocation rules*.

*strategy-proofness*is well known (Fishburn and Gehrlein 1977)—see also the surveys of Moulin (1983) and Barbera (2011). The strategy-proof rules identified in this voting model continue to be implementable in our model. However, these allocation rules are

*ordinal rules*—the ordinal ranking of alternatives, and not their cardinal valuations, matter. The range condition we use in our main characterization and the independence condition we use in our affine maximizer characterization are not satisfied by such ordinal allocation rules. Hence, the allocation rules we characterize in this paper do not capture the ordinal strategy-proof allocation rules in the voting model.

Finally, though we characterize implementable allocation rules, we can use revenue equivalence to pin down the class of payments in our model. This allows us to describe the entire class of incentive compatible *mechanisms*.

## 2 The model and a preliminary result

The set of agents is \(N:=\{1,\ldots ,n\}\). There are exactly two alternatives: \(a_1\) and \(a_2\). The set of alternatives is denoted by \(A:=\{a_1,a_2\}\). Each agent \(i \in N\) has a valuation for each alternative, and this is denoted as \(v_i(a_j)\) for every \(j \in \{1,2\}\). A valuation vector for agent \(i\) is denoted as \(v_i\). For any agent \(i \in N\), let \(V_i\) denote the set of all valuation vectors for agent \(i\). A valuation profile is denoted as \(v:=(v_1,\ldots ,v_n)\) and the set of all valuation profiles is \(V:=V_1 \times \cdots \times V_n\). We will use the standard notations \(v_{-i}\) to denote a valuation profile of agents other than agent \(i\) and \(V_{-i}\) to denote the set of all such valuation profiles.

An **allocation rule** is a mapping \(f:V \rightarrow A\). Note that we focus on deterministic allocation rules. A **payment rule** of agent \(i\) is a mapping \(p_i: V \rightarrow \mathbb {R}\).

**(dominant strategy) implementable**if there exists payment rules \(p_1,\ldots ,p_n\) such that for every agent \(i \in N\) and for every \(v_{-i} \in V_{-i}\) the following inequality holds for every \(v_i,v'_i \in V_i\),

**mechanism**is an allocation rule \(f\) and payment rules \((p_1,\ldots ,p_n)\). A mechanism \(M \equiv (f,p_1,\ldots ,p_n)\) is

**incentive compatible**if \((p_1,\ldots ,p_n)\) implement \(f\).

For every agent \(i \in N\) and for any valuation vector \(v_i \in V_i\), define \(\partial v_i := v_i(a_1)-v_i(a_2)\).

**Definition 1**

An allocation rule \(f\) is monotone if for every \(i \in N\), for every \(v_{-i} \in V_{-i}\), and for every \(v_i,v'_i \in V_i\), if \(\partial v_i > \partial v'_i\) and \(f(v'_i,v_{-i})=a_1\), then \(f(v_i,v_{-i}) = a_1\).

The following preliminary result, due to Carbajal et al. (2013), characterizes implementable allocation rules. We use this result to prove our main results.

**Proposition 1**

(Carbajal et al. 2013) An allocation rule is implementable if and only if it is monotone.

The monotonicity condition we use to characterize implementability in Proposition 1 is equivalent to the well-known *2-cycle monotonicity*. It is well known that such monotonicity is necessary and sufficient for implementability in one-dimensional value models such as single object auctions (Myerson 1981). Though agents have two-dimensional values in our model, what matters for implementability is their difference of value between the two alternatives. This ensures that monotonicity is still necessary and sufficient in our model.

## 3 Complete characterization

We present our main result in this section. We give a characterization of implementable allocation rules under a mild condition. Before presenting this characterization, we discuss Roberts’ affine maximizer theorem (Roberts 1979).

### 3.1 Roberts’ affine maximizers

**affine maximizer**if there exist non-negative real numbers \(\lambda _1,\ldots ,\lambda _n\) and a mapping \(\gamma :A \rightarrow \mathbb {R}\) such that at every valuation profile \(v\), we have

**unresponsiveness to irrelevant agents (UIA)**if for every \(i \in N\) such that \(\lambda _i=0\), we have \(f(v_i,v_{-i})=f(v'_i,v_{-i})\) for every \(v_{-i} \in V_{-i}\) and for every \(v_i, v'_i \in V_i\). It is well known that an affine maximizer that satisfies UIA can be implemented using generalized Groves (1973) payment rules—see for instance Mishra and Sen (2012).

Note that in the definition of an affine maximizer, we can choose, without loss of generality, \(\lambda _i\) for all \(i \in N\) such that \(\sum _{i \in N}\lambda _i=1\) if \(\lambda _i > 0\) for some \(i \in N\). We call such an affine maximizer a *responsive* affine maximizer. Roberts (1979) showed that if \(|A| \ge 3\) and \(V_i=\mathbb {R}^{|A|}\) for all \(i \in N\), then every *onto* implementable allocation rule is a responsive affine maximizer. To remind, an allocation rule \(f\) is onto if for every \(a \in A\), there exists a valuation profile \(v \in V\) such that \(f(v)=a\).

Hence, Roberts (1979) almost characterizes the set of implementable allocation rules in unrestricted domains (i.e., when \(V_i=\mathbb {R}^{|A|}\) for all \(i \in N\)) and when \(|A| \ge 3\).

*Example 1*

### 3.2 Generalized utility function maximizers

The main tool of our characterization is the notion of a *generalized utility function*.

**Definition 2**

A **generalized utility function (GUF)** is a mapping \(u:A \times V \rightarrow \mathbb {R}\) for all \(v \in V\).

**Definition 3**

**strictly monotone**if

- (1)for every \(v_{-i} \in V_{-i}\), for every \(v_i,v'_i \in V_i\) with \(\partial v_i > \partial v'_i\), we have$$\begin{aligned} \partial u_i(v_i,v_{-i})&> \partial u_i(v'_i,v_{-i}). \end{aligned}$$
- (2)for every \(j \ne i\), for every \(v_{-j} \in V_{-j}\), and every \(v_j,v'_j \in V_j\) with \(\partial v_j > \partial v'_j\), we have$$\begin{aligned} \partial u_i(v_j,v_{-j})&\ge \partial u_i(v'_j,v_{-j}). \end{aligned}$$

Using the notion of GUFs, we define a broad class of allocation rules.

**Definition 4**

We now show that every GUF maximizer is implementable.

**Lemma 1**

Every GUF maximizer allocation rule is implementable.

*Proof*

A GUF maximizer can be quite involved. In particular, GUF of an agent may depend on the valuations of all the agents. We illustrate this with an example.

*Example 2*

Our main result shows that under a mild range condition, GUF maximizers are the only implementable allocation rules.

**Definition 5**

An allocation rule \(f\) satisfies **agent sovereignty** if for every agent \(i \in N\), every \(v_{-i} \in V_{-i}\), and every \(a \in A\), there is a \(v_i \in V_i\) such that \(f(v_i,v_{-i})=a\). An allocation rule \(f\) satisfies **weak agent sovereignty** if for every agent \(i \in N\), every \(v_{-i} \in V_{-i}\), there is a \(v_i \in V_i\) such that \(f(v_i,v_{-i})=a_1\).

Agent sovereignty requires every agent to have some decisive power irrespective of the values of other agents. It has been used extensively in public good provision problems (Moulin 1999; Moulin and Shenker 2001). Lavi et al. (2009) use agent sovereignty^{3} to give a clean proof of Roberts’ affine maximizer theorem (Roberts 1979).

For every \(i \in N\), define \(D_i:=\{\partial v_i: v_i \in V_i\}\). Note that \(D_i \subseteq \mathbb {R}\).

**Theorem 1**

- Ca
\(f\) satisfies agent sovereignty and for every \(i \in N\), \(D_i\) is an interval.

- Cb
\(f\) satisfies weak agent sovereignty and for every \(i \in N\), \(D_i\) is an interval bounded from below.

The natural domains where condition Ca and Cb can be satisfied are *product interval domains*. Denote by \(V_i^a\) the set of possible valuations on alternative \(a \in A\) for agent \(i \in N\). Let \(V_i=V_i^{a_1} \times V_i^{a_2}\). Condition Ca holds if \(f\) satisfies agent sovereignty and \(V_i^a\) is an interval for every \(a \in A\). Condition Cb holds if \(f\) satisfies weak agent sovereignty and \(V_i^{a_1}\) and \(V_i^{a_2}\) are intervals, and \(V_i^{a_1}\) is bounded from below (for instance \(\mathbb {R}_+\)) and \(V_i^{a_2}\) is bounded from above (for instance any compact interval). These domain restrictions cover the classical problems of bilateral trading, public good provision, and their extensions.

In the Appendix, we give examples that illustrate that the conditions used in Theorem 1 are required.

### 3.3 Proof of Theorem 1

The first claim shows when \(d^f_i(v_{-i})\) is well defined for every \(i \in N\) and for every \(v_{-i} \in V_{-i}\).

**Claim 1**

For every \(i \in N\) and for every \(v_{-i} \in V_{-i}\), \(d^f_i(v_{-i})\) exists.

*Proof*

Fix agent \(i\) and \(v_{-i} \in V_{-i}\). Under conditions (Ca) or (Cb), there is some value \(v_i \in V_i\) such that \(f(v_i,v_{-i})=a_1\).

If condition (Ca) holds, then for some \(v'_i\), \(f(v'_i,v_{-i})=a_2\). Since \(f\) is implementable, it is monotone (Proposition 1). Hence, \(\partial v'_i \le \partial v_i\). Since \(D_i\) is an interval, we get that \(\inf \{\partial v_i \in D_i: f(v_i,v_{-i})=a_1\}\) is a real number.

If condition (Cb) holds, then since \(D_i\) is an interval bounded below, \(\inf \{\partial v_i \in D_i: f(v_i,v_{-i})=a_1\}\) is a real number. \(\square \)

**Claim 2**

The payment rule \((p^f_1,\ldots ,p^f_n)\) implements \(f\).

*Proof*

Case 1. Suppose \(f(v_i,v_{-i})=a_1\) and \(f(v'_i,v_{-i})=a_2\). Then, \(v_i(f(v_i,v_{-i})) - p^f_i(v_i,v_{-i}) = v_i(a_1) - d^f_i(v_{-i})\). Since \(d^f_i(v_{-i}) \le \partial v_i\), we get that \(v_i(a_1) - d^f_i(v_{-i}) \ge v_i(a_2) = v_i(f(v'_i,v_{-i})) - p^f_i(v'_i,v_{-i})\), where we used the fact that \(p^f_i(v'_i,v_{-i})=0\) since \(f(v'_i,v_{-i})=a_2\).

Case 2. Suppose \(f(v_i,v_{-i})=a_2\) and \(f(v'_i,v_{-i})=a_1\). We argue that \(\partial v_i \le d^f_i(v_{-i})\). Assume for contradiction that \(\partial v_i > d^f_i(v_{-i})\). By definition of \(d^f_i(v_{-i})\), there is \(v''_i\) such that \(f(v''_i,v_{-i})=a_1\) and \(\partial v''_i\) is arbitrarily close to \(d^f_i(v_{-i})\). Hence, \(\partial v_i > \partial v''_i\). Then, since \(f\) is monotone, \(f(v_i,v_{-i})=a_1\), which is a contradiction.

Hence, \(v_i(a_2) \ge v_i(a_1) - d^f_i(v_{-i})\). Using the fact that \(p^f_i(v_i,v_{-i})=0\) since \(f(v_i,v_{-i})=a_2\) and \(p^f_i(v'_i,v_{-i})=d^f_i(v_{-i})\) since \(f(v'_i,v_{-i})=a_1\), we get that \(v_i(f(v_i,v_{-i})) - p^f_i(v_i,v_{-i}) = v_i(a_2) \ge v_i(a_1) - d^f_i(v_{-i}) = v_i(f(v'_i,v_{-i})) - p^f_i(v'_i,v_{-i})\). \(\square \)

Claim 2 has other implications. If \(V_i\) is connected for each \(i \in N\), then by well-known results on revenue equivalence (Heydenreich et al. 2009), we can conclude that any other payment rule \(p_i\) of agent \(i\) must look as follows: \(p_i(v)=p^f_i(v) + h_i(v_{-i})\) for all \(v \in V\), where \(h_i:V_{-i} \rightarrow \mathbb {R}\) is any function.

The next claim shows a monotonicity property of \(d^f_i(\cdot )\) for every \(i \in N\).

**Claim 3**

For every \(i\), for every \(j \ne i\), for every \(v_j,v'_j \in V_j\) such that \(\partial v_j < \partial v'_j\), we have that \(d^f_i(v_j,v_{-ij}) \ge d^f_i(v'_j,v_{-ij})\) for all \(v_{-ij} \in V_{-ij}\).

*Proof*

Fix agents \(i\) and \(j \ne i\), and consider \(v_j,v'_j \in V_j\) such that \(\partial v_j < \partial v'_j\). Assume for contradiction that \(d^f_i(v_j,v_{-ij}) < d^f_i(v'_j,v_{-ij})\) for some \(v_{-ij} \in V_{-ij}\). Let \(v_i\) be such that \(\partial v_i = d^f_i(v_j,v_{-ij}) + \epsilon < d^f_i(v'_j,v_{-ij})\) for some sufficiently small \(\epsilon > 0\). Since \(D_i\) is an interval, such a \(v_i\) exists. By definition, \(f(v_i,v_j,v_{-ij})=a_1\) and \(f(v_i,v'_j,v_{-ij})=a_2\). But \(\partial v_j < \partial v'_j\) means \(f(v_i,v'_j,v_{-ij})=a_1\) by monotonicity. This is a contradiction. \(\square \)

This leads us to the proof of Theorem 1.

*Proof*

Now, consider any \(v \in V\) and suppose \(f(v)=a_1\). Then, by definition, for every \(i \in N\), \(d^f_i(v_{-i}) \le \partial v_i\). Hence, \(u_i(a_1,v) \ge u_i(a_2,v)\), which implies that \(\sum _{j \in N}u_j(a_1,v) \ge \sum _{j \in N}u_j(a_2,v)\). Similarly, suppose \(f(v)=a_2\). Then, for every \(i \in N\), since \(f\) satisfies agent sovereignty, there is a \(v'_i\) such that \(f(v'_i,v_{-i})=a_1\). But, by Claim 2, \(v_i(a_2) - 0 \ge v_i(a_1) - d^f_i(v_{-i})\). Hence, \(u_i(a_2,v) \ge u_i(a_1,v)\), which implies that \(\sum _{j \in N}u_j(a_2,v) \ge \sum _{j \in N}u_j(a_1,v)\). This shows that \(f\) is representable by GUFs \((u_1,\ldots ,u_n)\). \(\square \)

## 4 An axiomatization of affine maximizers

Theorem 1 shows the rich class of “maximizers” that can be implemented when there are two alternatives. However, when we have more than two alternatives, we only get affine maximizers in unrestricted domains. Then, a natural question to ask is: *what extra condition(s) besides implementability are needed to pin down the affine maximizers when there are two alternatives?* This will help us understand the case of two alternatives even further.

The aim of this section is to *axiomatize* the affine maximizers for the case of \(|A|=2\) using implementability and some additional condition(s). It turns out, we only need one new condition besides implementability. To introduce the new condition, we will need some notation.

We will assume that the set of possible valuations of each for each alternative is an open interval. Hence, throughout this section, we will assume that for every \(i \in N\), \(V_i = L_i \times L_i\), where \(L_i\) is an open interval. We will call this the **open interval domain**. Notice that the valuation for every alternative lies in the same interval.

Given a profile of valuations \((v_1,\ldots ,v_n)\), we will often be interested in the vector of valuations associated with each alternative. In particular, for \(j \in \{1,2\}\), let \(v(a_j) \in \mathbb {R}^n\) denote the valuation vector associated with alternative \(a_j\). Let \(U\) be the set of all valuation vectors for alternatives given our open interval domain assumption. Note that \(U\) is an open *rectangle* in \(\mathbb {R}^n\). A profile of valuations contains exactly two valuation vectors from \(U\), one denoting the valuations for alternative \(a_1\) and the other denoting the valuations for alternative \(a_2\). For convenience, we will denote the profile of valuations as \((v(a_1),v(a_2))\) instead of \((v_1,\ldots ,v_n)\). Further, for every \(a \in A\), we will sometimes write \((v(a),v(-a))\) to denote the profile of valuations \((v(a_1),v(a_2))\).

We are now ready to state our new condition.

**Definition 6**

**independence**if for every \(a \in A\), for every pair of valuation profiles \(v,v'\), and for every \(\epsilon \in \mathbb {R}^n_{++}\), we have

Suppose there are two valuation profiles \(v,v'\), an alternative \(a \in A\) and \(\epsilon \in \mathbb {R}^n_{++}\) such that \(f(v(a),v(-a))=a\) and \(f(v'(a)+\epsilon ,v(-a)) \ne a\). From this, we can infer that the support provided to \(a\) by \(v(a)\) is stronger than the support provided to \(a\) by \(v'(a)\). Suppose now that \(f(v'(a),v'(-a))=a\). If we replace \(v'(a)\) by \(v(a)+\epsilon \) in the profile \((v'(a),v'(-a))\), the support in favor of \(a\) must increase. Since \(a\) was chosen at \((v'(a),v'(-a))\), it must be chosen at \((v(a)+\epsilon ,v'(-a))\). Hence, \(f(v(a)+\epsilon ,v'(-a))=a\). This is what independence says.

A similar condition is used in Debreu’s theorem on the additive representation of a binary relation over a Cartesian product (see Theorem 3 in Debreu 1960). The central idea behind an independence condition is the ability to compare a pair of valuation vectors independent of other valuation vectors. With three or more alternatives, the natural notion of independence is *binary independence*, which requires comparison of valuation vectors of any pair of alternatives independent of the valuation vectors of other alternatives. This condition is implied by implementability and *neutrality* if there are three or more alternatives (Mishra and Sen 2012).

However, with two alternatives, binary independence cannot be defined. The independence we use is natural with two alternatives: if we take any two valuation vectors of an alternative, the social choice function must evaluate them independent of the valuation vector of the other alternative. Allocation rules satisfying independence are clearly less complicated than those that do not satisfy independence. As it turns out, such implementable allocation rules are affine maximizers. Hence, it rules out “non-linear” allocation rules that are implementable.

First, we show that an affine maximizer allocation rule satisfies independence.

**Lemma 2**

Every affine maximizer allocation rule satisfies independence.

*Proof*

There are non-affine maximizer allocation rules which are implementable but do not satisfy independence. For instance, consider the implementable allocation rule \(\bar{f}\) in Example 1. Suppose \(v\) is the valuation profile where \(v_1(a_1)=2, v_1(a_2)=0, v_2(a_1)=1,v_2(a_2)=4\) and \(v'\) is the valuation profile where \(v'_1(a_1)=0,v'_1(a_2)=1,v'_2(a_1)=v'_2(a_2)=3\). By definition, \(\bar{f}(v)=\bar{f}(v')=a_1\). Now, for sufficiently small \(\epsilon \in \mathbb {R}^2_{++}\), it is easily verified that \(\bar{f}(v(a_1)+\epsilon ,v'(a_2))=\bar{f}(v'(a_1)+\epsilon ,v(a_2))=a_2\). Hence, \(\bar{f}\) does not satisfy independence.

Under some domain assumption, we show that amongst the implementable allocation rules, only affine maximizers satisfy independence.

**Theorem 2**

Suppose for every \(i \in N\), \(L_i\) is an open interval unbounded from above. If an allocation rule is implementable and satisfies independence, then it is an affine maximizer. Conversely, if \(f\) is an affine maximizer, then it satisfies independence, and further, if it satisfies UIA, then it is implementable.

The proof of Theorem 2 is in the Appendix. The proof uses another interesting result on axiomatizing *weighted efficiency*, which we state next.

### 4.1 An axiomatization of weighted efficiency

Weighted efficiency is a particular form of affine maximizer. An allocation rule \(f\) is a **weighted efficient allocation rule** if there exists weights \(\lambda _1,\ldots ,\lambda _n \ge 0\) with \(\lambda _i > 0\) for some \(i \in N\), such that for every valuation profile \(v \in V\), we have \(f(v) \in \arg \max _{a \in A}\sum _{i \in N}\lambda _iv_i(a)\).

Among the class of affine maximizer allocation rules, weighted efficient allocation rules do not discriminate between alternatives. We will show that under some additional conditions, implementability will imply weighted efficiency. To define the additional conditions, we need some preparation. First, we introduce a well known monotonicity condition due to Roberts (1979).

**Definition 7**

An allocation rule \(f\) satisfies **positive association of differences (PAD)** if for every pair of profile of valuations \(v,v' \in V\) such that \(\partial v_i > \partial v'_i\) for every \(i \in N\) and \(f(v')=a_1\) we have \(f(v)=a_1\).

Consider a pair of profile of valuations \(v,v' \in V\) such that \(\partial v_i < \partial v'_i\) for every \(i \in N\) and \(f(v')=a_2\). Note that PAD implies that \(f(v)=a_2\). To see this, assume for contradiction \(f(v)=a_1\). Then, applying PAD (interchanging the role of \(v\) and \(v'\) in above definition), we get that \(f(v')=a_1\), a contradiction.

Roberts (1979) showed that PAD is a necessary condition for implementability.

**Lemma 3**

(Roberts 1979) If an allocation rule is implementable, then it satisfies PAD.

It can be shown that monotonicity implies PAD, and hence, Lemma 3 is a direct consequence of Proposition 1.

**choice set**at a profile of valuations \(v\) as

We now introduce two new conditions on allocation rules. The first one is a transitivity requirement.

**Definition 8**

**transitive**if for every \(x,y,z \in U\), and every \(v,v',v'' \in V\) such that \(v(a_1)=x=v''(a_1)\), \(v(a_2)=y=v'(a_1)\), and \(v'(a_2)=z=v''(a_2)\), we have,

if \(C^f(v)=\{a_1\}\) and \(C^f(v')=\{a_1\}\), then \(f(v'')=a_1\) and

if \(C^f(v)=\{a_2\}\) and \(C^f(v')=\{a_2\}\), then \(f(v'')=a_2\).

The next condition is unanimity, which is very similar in flavor to the unanimity axiom used in the social choice theory literature.

**Definition 9**

An allocation rule \(f\) is unanimous if \(\partial v_i > 0\) for all \(i \in N\) implies \(f(v) = a_1\) and \(\partial v_i < 0\) for all \(i \in N\) implies \(f(v)=a_2\).

**Theorem 3**

Suppose for every \(i \in N\), \(L_i\) is an open interval. If \(f\) is an implementable allocation rule that is unanimous and transitive, then it is a weighted efficient allocation rule. Conversely, a weighted efficient allocation rule \(f\) is unanimous and transitive, and further, if it satisfies UIA, then it is implementable.

The proof of Theorem 3 is in the Appendix. In Mishra and Sen (2012), it was shown that if the number of alternatives is at least three, then in open interval domains, every *neutral* and implementable allocation rule is a weighted efficient allocation rule. Neutrality requires that the allocation rule does not discriminate between alternatives. Theorem 3 is the counterpart of this result for the two alternatives case. The proof of Theorem 3 reveals that in the presence of transitivity, unanimity is equivalent to neutrality in our model. Hence, compared to Mishra and Sen (2012), the extra axiom required to characterize weighted efficiency in our two alternatives model is transitivity.

## 5 Conclusion

In quasi-linear private values environment, Roberts’ affine maximizer theorem is a seminal contribution. Two crucial assumptions of this theorem are (a) there are at least three alternatives and (b) the domain of valuations is unrestricted. We extend this theorem by considering the case of two alternatives. Unlike the three or more alternatives result of Roberts (1979), which requires the domain of valuations to be unrestricted, our results for two alternatives hold in various restricted domains of valuations. An interesting future research direction will be to apply these results to specific problems with two alternatives, and do some optimization—for instance, revenue maximization or budget-balancing with minimal efficiency loss etc.

Finally, the notion of a GUF maximizer can be extended to environments with more than two alternatives also. With suitable restrictions on GUFs, one can make a GUF maximizer implementable in such environments. However, an open question remains whether such GUF maximizers are the only implementable allocation rules (under some additional mild conditions) in such environments.

Most of our results require some richness of the domain. We discuss these specifics of the domain restrictions later in the paper.

Unanimity requires that if valuation of every agent for an alternative is larger than the other alternative, then the higher valuation alternative must be the outcome of the allocation rule. Transitivity requires that outcomes at three valuation profiles which are linked in a certain way must be transitive in some sense.

## Acknowledgments

We are extremely grateful to Marc Fleurbaey, Benny Moldovanu, Anup Pramanik, Souvik Roy, Arunava Sen, and Dries Vermulen, and two anonymous referees for useful comments and discussions.