Characterization of All Strategyproof Mechanisms for Expected-Utility Agents
Characterize all strategyproof mechanisms for expected-utility agents, including in the classical setting of lotteries over finitely many alternatives, beyond the implicit menu representation.
References
The menu form is exact but implicit: an explicit characterization of all strategyproof mechanisms for expected-utility agents is a long-standing open problem even in the classical case of lotteries over finitely many alternatives.
— Algorithmic Impact Reveals the Hidden Social Choice Structure of Alignment
(2608.24046 - Wojtowicz et al., 25 Aug 2026) in Section 4.1, “The General Family: Option-Set Mechanisms”