The price mechanism is fundamental to economics but difficult to reconcile with incentive compatibility and individual rationality. We introduce a double clock auction for a homogeneous good market with multidimensional private information and multiunit traders that is deficit-free, ex post...

The price mechanism is fundamental to economics but difficult to reconcile with incentive compatibility and individual rationality. We introduce a double clock auction for a homogeneous good market with multidimensional private information and multiunit traders that is deficit‐free, ex post...

We derive several implications of incentive compatibility in general (i.e., not necessarily quasilinear) environments. Building on Kos and Messner (2013), we provide a (partial) characterization of incentive compatible mechanisms.

We characterize the boundaries of the set of transfers (extremal transfers) implementing a given allocation rule without imposing any assumptions on the agentʼs type space or utility function besides quasi-linearity. Exploiting the concept of extremal transfers allows us to obtain an exact...

We study mechanism design problems in quasi-linear environments where the envelope theorem and revenue equivalence principle fail due to non-convex and non-differentiable valuations. We obtain a characterization of incentive compatibility based on the Mirrlees representation of the indirect...

We give a sufficient condition on the type space for revenue equivalence when the set of social alternatives consists of probability distributions over a finite set. Types are identified with real-valued functions that assign valuations to elements of this finite set, and the type space is...

We give a sufficient condition on the type space for revenue equivalence when the set of social alternatives consists of probability distributions over a finite set. Types are identified with real-valued functions that assign valuations to elements of this finite set, and the type space is...

We give a sufficient condition on the type space for revenue equivalence when the set of social alternatives consists of probability distributions over a finite set. Types are identified with real-valued functions that assign valuations to elements of this finite set, and the type space is...