Individually rational, budget-balanced mechanisms and allocation of surplus

We investigate the issue of implementation via individually rational ex-post budget-balanced Bayesian mechanisms. We show that all decision rules generating a nonnegative expected social surplus are implementable via such mechanisms if and only if the probability distribution of the agents’ type profiles satisfies two conditions: the well-known condition of Crémer and McLean [1988. Full extraction of the surplus in Bayesian and dominant strategy auctions, Econometrica 56, 1247–1257] and the Identifiability condition introduced in this paper. We also show that these conditions are necessary for ex-post efficiency to be attainable with budget balance and individual rationality, and that the expected social surplus in these mechanisms can be distributed in any desirable way. Lastly, we demonstrate that, like Crémer–McLean condition, the Identifiability condition is generic if there are at least three agents.     

Coalitional Bayesian Nash implementation in differential information economies

Summary. A mechanism coalitionally implements a social choice set if any outcome of the social choice set can be achieved as a coalitional Bayesian Nash equilibrium of a mechanism and vice versa. We say that a social choice set is coalitionally implementable if there is a mechanism which coalitionally implements it. Our main theorem proves that a social choice set is coalitionally implementable if and only if it is interim individually rational, interim efficient, coalitional B ayesian incentive compatible, and satisfies a coalitional Bayesian monotonicity condition as well as a closure condition. As an application of our main result, we show that the private core and the private Shapley value of an economy with differential information are coalitionally implementable. Received: January 12, 1998; revised version: March 30, 2000     

On efficient partnership dissolution under ex post individual rationality

This paper studies ex post individually rational, efficient partnership dissolution in a setting with interdependent valuations. We derive a sufficient condition that ensures the existence of an efficient dissolution mechanism that satisfies Bayesian incentive compatibility, ex post budget balancedness, and ex post individual rationality. For equal-share partnerships, we show that our sufficient condition is satisfied for any symmetric type distribution whenever the interdependence in valuations is non-positive. This result improves former existence results, demonstrating that the stronger requirement of ex post individual rationality does not always rule out efficiency. We also show that if we allow for two-stage revelation mechanisms, in which agents report their realized payoffs from the allocation, as well as imposing penalties off the equilibrium path, efficient dissolution is always possible even when the interdependence is positive. We further discuss the possibility of efficient dissolution with ex post quitting rights.     

GAINS FROM TRADE

In a social choice context, we ask whether there exists a rule in which nobody loses under trade liberalization. We consider a resource allocation problem in which the traded commodities vary. We propose an axiom stating that enlarging the set of tradable commodities hurts nobody. We show that if a rule satisfies this axiom, together with an allocative efficiency axiom and an institutional constraint axiom stating that only preferences over tradable commodities matter, gains from trade can be given to only one individual in the first step of liberalization.     

ON DETAIL‐FREE MECHANISM DESIGN AND RATIONALITY*

Mechanism design theory has been criticized, because mechanisms depend on the detail of specification and agents’ behaviour relies on strong rationality assumptions. Hence the study of “detail‐free” mechanism design with weak rationality is important as a practical theory. This paper emphasizes that, even if we confine our attention to detail‐free mechanisms with weak rationality, there exists plenty of scope for the development of new and significant ideas. I describe my recent work along these lines, and argue that stochastic decisions work in large double auction environments, and that moral preferences improve the implementability of social choice functions.     

The micro economics of group behavior: General characterization

We study the demand function of a group of S members facing a global budget constraint. Any vector belonging to the budget set can be consumed within the group, with no restriction on the form of individual preferences, the nature of individual consumptions or the form of the decision process beyond efficiency. Moreover, only the group aggregate behavior, summarized by its demand function, is observable. We provide necessary and (locally) sufficient restrictions that fully characterize the group's demand function, with and without distribution factors. We show that the private or public nature of consumption within the group is not testable from aggregate data on group behavior.     

Rationality, path independence, and the power structure

The justification of the requirement of consistency in aggregating individual preferences is to make the choice rational and path independent. This paper shows that a Paretian social choice mechanism that satisfies even the weakest rationality requirement which is related to the principle of some sort of maximization or path independence alone generates an extremely asymmetric power structure, e.g., almost dictatorship. Consequently, some well-known and interesting impossibility results are generalized.     

An experimental study on individual choice, social welfare, and social preferences

We experimentally study subjects’ compliance with dominance relationships of income distributions in a ranking task. The experiment consisted of four different treatments: Lottery, individual choice, social preferences, and social planner. Our results suggest that people's risk attitudes do not adequately reflect their inequality attitudes. Uninvolved social planners exhibit randomization preferences, while self-interested social planners are generally more inequality averse and try to avoid extreme outcomes.     

Unequal uncertainties and uncertain inequalities: an axiomatic approach

In this paper, we provide an axiomatic characterization of social welfare functions for uncertain incomes. Our most general result is that a small number of reasonable assumptions regarding welfare orderings under uncertainty rule out pure ex ante as well as pure ex post evaluations. Any social welfare function that satisfies these axioms should lie strictly between the ex ante and the ex post evaluations of income distributions. We also provide an axiomatic characterization of the weighted average of the minimum and the maximum of ex post and ex ante evaluations.     

The communication requirements of social choice rules and supporting budget sets

The paper examines the communication requirements of social choice rules when the (sincere) agents privately know their preferences. It shows that for a large class of choice rules, any minimally informative way to verify that a given alternative is in the choice rule is by verifying a “budget equilibrium”, i.e., that the alternative is optimal to each agent within a “budget set” given to him. Therefore, any communication mechanism realizing the choice rule must find a supporting budget equilibrium. We characterize the class of choice rules that have this property. Furthermore, for any rule from the class, we characterize the minimally informative messages (budget equilibria) verifying it. This characterization is used to identify the amount of communication needed to realize a choice rule, measured with the number of transmitted bits or real variables. Applications include efficiency in convex economies, exact or approximate surplus maximization in combinatorial auctions, the core in indivisible-good economies, and stable many-to-one matchings.     

An extreme point characterization of random strategy-proof social choice functions: The two alternative case

We show that every strategy-proof random social choice function is a convex combination of strategy-proof deterministic social choice functions in a two-alternative voting model. This completely characterizes all strategy-proof random social choice functions in this setting.     

Decomposable Strategy-Proof Social Choice Functions

This article shows that a social choice function defined on a domain of separable preferences which satisfies a relatively weak domain-richness condition on a product set of alternatives is (i) strategy-proof and only depends on the tops of the individual preferences if and only if (ii) the range of the social choice function is a product set and the social choice function can be decomposed into the product of one-dimensional, strategy-proof, nontop-insensitive social choice functions.
JEL Classification Number: D71.     

Characterization of a second-best rationalizable choice function with full domain

The idea of equating the concept of ‘rationality’ with that of the ‘choice of best elements’ unnecessarily limits the sense and scope of ‘rationality’. The existing internal consistency conditions that are popularly used in the social choice theory to assess a choice function are insufficient to analyze several non-standard choice patterns. This paper makes a modest effort to address this limitation. The paper accepts a broader definition of rationality and characterizes choice behaviors where an individual chooses a second best element when available and chooses a best element only when a second best is not available.     

Factoring out the impossibility of logical aggregation

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow's and arguably enhances its paradoxical value.     

Afriat's theorem for general budget sets

Afriat proved the equivalence of a variant of the strong axiom of revealed preference and the existence of a solution to a set of linear inequalities. From this solution he constructed a utility function rationalizing the choices of a competitive consumer. We extend Afriat's theorem to a class of nonlinear, nonconvex budget sets. We thereby obtain testable implications of rational behavior for a wide class of economic environments, and a constructive method to derive individual preferences from observed choices. We also show that by increasing in a regular way the number of observed choices from our class of budget sets one can fully identify the underlying preference relation.     

Securing basic well-being for all

The purpose of this article is to examine the possibility of a social choice rule to implement a social policy for “securing basic well-being for all.” The article introduces a new scheme of social choice, called a social relation function (SRF), which associates a reflexive and transitive binary relation over a set of social policies to each profile of individual well-being appraisals and each profile of group evaluations. As part of the domains of SRFs, the available class of group evaluations is constrained by three conditions. Furthermore, the non-negative response (NR) and the weak Pareto condition (WP) are introduced. NR demands giving priority to group evaluation, while treating the groups as formally equal relative to each other. WP requires treating impartially the well-being appraisals of all individuals. In conclusion, this article shows that under some reasonable assumptions, there exists an SRF that satisfies NR and WP.     

A general characterization of interim efficient mechanisms for independent linear environments

We consider the class of Bayesian environments with independent types, and utility functions which are both quasi-linear in a private good and linear in a one-dimensional private-value type parameter. We call these independent linear environments. For these environments, we fully characterize interim efficient allocation rules which satisfy interim incentive compatibility and interim individual rationality constraints. We also prove that they correspond to decision rules based on virtual surplus maximization, together with the appropriate incentive taxes. We illustrate these techniques with applications to auction design and public good provision.     

On the universally beneficial manipulation conjecture

The universally beneficial manipulation conjecture of Campbell and Kelly states that for a social choice rule, if everyone gains as a result of any optimal manipulation, then the rule satisfies universally beneficial manipulation, i.e., everyone gains as a result of any manipulation, optimal or not. We prove the conjecture for three alternatives and any number of individuals. We also construct a counterexample in a general form with more than three alternatives and at least two individuals.     

Never choose the uniquely largest a characterization

Summary In this paper we characterize choice behaviour that picks the second largest element if there is a uniquely largest; otherwise, the largest elements are picked. Having defined our choice function, we offer a complete characterization of the latter in terms of pure choice function conditions. Similarities to and divergences from conventional choice theory are explained. We discuss the motivations underlying our exercise and provide several examples for the axiomatized choice behaviour.Helpful discussions with R. Deb, M. R. Johnson, P. K. Pattanaik, A. Sen, Y. Xu, and participants at a seminar on individual and social choice in Osnabrück, November 1993, are gratefully acknowledged. One of the authors wishes to thank the British Council and the University of Osnabrück for financial support. We are also grateful to the Department of Economics at Queen Mary and Westfield College, London, for its hospitality.     

Arrovian aggregation in economic environments: how much should we know about indifference surfaces?

Arrow's celebrated theorem of social choice shows that the aggregation of individual preferences into a social ordering cannot make the ranking of any pair of alternatives depend only on individual preferences over that pair, unless the fundamental weak Pareto and non-dictatorship principles are violated. In the standard model of division of commodities, we investigate how much information about indifference surfaces is needed to construct social ordering functions satisfying the weak Pareto principle and anonymity. We show that local information such as marginal rates of substitution or the shapes “within the Edgeworth box” is not enough, and knowledge of substantially non-local information is necessary.