1: \begin{abstract}

2: Bargaining networks model the behavior of a set of players

3: that need to reach pairwise agreements for making profits.

4: Nash bargaining solutions are special outcomes of such

5: games that are both stable and balanced. Kleinberg

6: and Tardos proved a sharp algorithmic characterization of

7: such outcomes, but left open the problem of how the actual

8: bargaining process converges  to them.

9: A partial answer was provided by Azar et al. who

10: proposed a distributed algorithm for constructing

11: Nash bargaining solutions, but without polynomial bounds on its

12: convergence rate.

13: In this paper, we introduce a simple and natural model for this process, and

14: study its convergence rate to Nash bargaining solutions.

15: 

16: At each time step, each player proposes a deal to each

17: of her neighbors. The proposal consists of a share of

18: the potential profit in case of agreement. The share is

19: chosen to be balanced in Nash's sense

20: as far as this is feasible (with respect

21: to the current best alternatives for both players).

22: We prove that, whenever the Nash bargaining solution

23: is unique (and satisfies a positive gap condition)

24: this dynamics converges to it in polynomial time.

25: 

26: Our analysis is based on an approximate \emph{decoupling}

27: phenomenon between the dynamics on different substructures of the

28: network. This approach may be of general interest for the

29: analysis of local algorithms on networks.

30: \end{abstract}

31: