π€ AI Summary
This paper investigates the approximation ratio of the random proposer mechanism for achieving optimal social welfare in bilateral trade. Prior work in classic mechanism design established only a 4-approximation guarantee for this mechanismβa known bottleneck. To overcome this limitation, we develop a unified framework integrating geometric modeling and game-theoretic analysis: we represent the feasible trade region as a convex set in the plane, formalize mechanism performance as the ratio of two specific integrals, and employ constructive boundary analysis together with optimization techniques to rigorously prove an improved approximation ratio of 3.15. This result constitutes the currently best-known bound, substantially strengthening the theoretical guarantees for the random proposer mechanism in bilateral exchange settings. Moreover, our geometric approach establishes a novel paradigm for analyzing approximation ratios of mechanisms through convex geometry and integral characterizations.
π Abstract
We provide a geometric proof that the random proposer mechanism is a $4$-approximation to the first-best gains from trade in bilateral exchange. We then refine this geometric analysis to recover the state-of-the-art approximation ratio of $3.15$.