# Faithful Implementations of Distributed Algorithms and Control Laws

arXiv: https://arxiv.org/abs/1309.4372 · HTML: https://mlsanity.com/paper/1309.4372/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 17 Sep 2013.

## Built on by (most cited first, 1 of 1)

- [Faithful Edge Federated Learning: Scalability and Privacy](https://mlsanity.com/paper/2106.15905/) (2021)

## Abstract (arXiv)

When a distributed algorithm must be executed by strategic agents with misaligned interests, a social leader needs to introduce an appropriate tax/subsidy mechanism to incentivize agents to faithfully implement the intended algorithm so that a correct outcome is obtained. We discuss the incentive issues of implementing economically efficient distributed algorithms using the framework of indirect mechanism design theory. In particular, we show that indirect Groves mechanisms are not only sufficient but also necessary to achieve incentive compatibility. This result can be viewed as a generalization of the Green-Laffont theorem to indirect mechanisms. Then we introduce the notion of asymptotic incentive compatibility as an appropriate solution concept to faithfully implement distributed and iterative optimization algorithms. We consider two special types of optimization algorithms: dual decomposition algorithms for resource allocation and average consensus algorithms.