Anonymous implementation

Barlo M., DALKIRAN N. A., Donmez M.

SOCIAL CHOICE AND WELFARE, vol.67, no.1, pp.21-45, 2026 (SSCI, Scopus)

  • Publication Type: Article / Article
  • Volume: 67 Issue: 1
  • Publication Date: 2026
  • Doi Number: 10.1007/s00355-025-01635-5
  • Journal Name: SOCIAL CHOICE AND WELFARE
  • Journal Indexes: Social Sciences Citation Index (SSCI), Scopus, IBZ Online, Periodicals Index Online, ABI/INFORM, Abstracts in Social Gerontology, EconLit, MathSciNet, Political Science Complete, Public Affairs Index, zbMATH, Political Science Abstract (IPSA), Academic Search Ultimate (EBSCO), Social Science Premium Collection (ProQuest), Business Source Ultimate (EBSCO), Health Research Premium Collection (ProQuest), Pharma Collection (ProQuest), Political Science Database (ProQuest)
  • Page Numbers: pp.21-45
  • Open Archive Collection: AVESIS Open Access Collection
  • Middle East Technical University Affiliated: Yes

Abstract

This paper investigates full implementation under complete information, incorporating fairness considerations when designing mechanisms. In particular, we propose two notions of full implementation: anonymous implementation and no-envy implementation. Anonymous implementation requires that for any state, all socially optimal alternatives are attainable via a Nash equilibrium (NE) offering identical opportunity sets to all individuals, and that any such NE is itself socially optimal. No-envy implementation requires socially optimal alternatives to be achievable via NE, adding the condition that each individual weakly prefers the socially desirable alternative to any alternative in others' opportunity sets. We identify necessary and (almost) sufficient conditions for both anonymous and no-envy implementation. We also demonstrate the existence of social choice rules that are anonymously and no-envy implementable but not implementable in NE, revealing that fairness considerations may enlarge the set of implementable social choice rules. Finally, we establish the equivalence of anonymous and no-envy implementation in rational environments with at least three individuals and no-veto social goals, but show that this equivalence fails in behavioral environments.