Robust Mechanism Design: An Introduction

This essay is the introduction for a collection of papers by the two of us on "Robust Mechanism Design" to be published by World Scientific Publishing. The appendix of this essay lists the chapters of the book. The objective of this introductory essay is to provide the reader with an overview of the research agenda pursued in the collected papers. The introduction selectively presents the main results of the papers, and attempts to illustrate many of them in terms of a common and canonical example, the single unit auction with interdependent values. In addition, we include an extended discussion about the role of alternative assumptions about type spaces in our work and the literature, in order to explain the common logic of the informational robustness approach that unifies the work in this volume.Mechanism design, Robust mechanism design, Common knowledge, Universal type space, Interim equilibrium, Ex post equilibrium, Dominant strategies, Rationalizability, Partial implementation, Full implementation, Robust implementation

Robust Implementation in General Mechanisms

A social choice function is robustly implemented if every equilibrium on every type space achieves outcomes consistent with it. We identify a robust monotonicity condition that is necessary and (with mild extra assumptions) sufficient for robust implementation. Robust monotonicity is strictly stronger than both Maskin monotonicity (necessary and almost sufficient for complete information implementation) and ex post monotonicity (necessary and almost sufficient for ex post implementation). It is equivalent to Bayesian monotonicity on all type spaces.Mechanism design, Implementation, Robustness, Common knowledge, Interim equilibrium, Dominant strategies

Robust Implementation in General Mechanisms

A social choice function is robustly implemented if every equilibrium on every type space achieves outcomes consistent with it. We identify a robust monotonicity condition that is necessary and (with mild extra assumptions) sufficient for robust implementation. Robust monotonicity is strictly stronger than both Maskin monotonicity (necessary and almost sufficient for complete information implementation) and ex post monotonicity (necessary and almost sufficient for ex post implementation). It is equivalent to Bayesian monotonicity on all type spaces.Mechanism design, Implementation, Robustness, Common knowledge, Interim equilibrium, Dominant strategies

Continuous Implementation

It is well-known that mechanism design literature makes many simplifying infor- mational assumptions in particular in terms of common knowledge of the environment among players. In this paper, we introduce a notion of continuous implementation and characterize when a social choice function is continuously implementable. More specif- ically, we say that a social choice function is continuously (partially) implementable if it is (partially) implementable for types in the model under study and it continues to be (partially) implementable for types "close" to this initial model. We ?rst show that if the model is of complete information a social choice function is continuously (partially) implementable only if it satis?es Maskin?s monotonicity. We then extend this result to general incomplete information settings and show that a social choice function is continuously (partially) implementable only if it is fully implementable in iterative dominance. For ?nite mechanisms, this condition is also su¢ cient. We also discuss implications of this characterization for the virtual implementation approach.High order beliefs, robust implementation

Robust Implementation in Direct Mechanisms

A social choice function is robustly implementable if there is a mechanism under which the process of iteratively eliminating strictly dominated messages leads to outcomes that agree with the social choice function for all beliefs at every type profile. In an interdependent value envi­ronment with single crossing preferences, we identify a contraction property on the preferences which together with strict ex post incentive compatibility is sufficient to guarantee robust imple­mentation in the direct mechanism. Strict ex post incentive compatibility and the contraction property are also necessary for robust implementation in any mechanism, including indirect ones. The contraction property requires that the interdependence is not too large. In a linear signal model, the contraction property is equivalent to an interdependence matrix having all eigenvalues smaller than one.Mechanism design, Implementation, Robustness, Common knowledge, Interim equilibrium, Iterative deletion, Direct mechanism