1. Mechanism Design on Discrete Lines and Cycles Elad Dokow, Michal Feldman, Reshef Meir and Ilan Nehama

2. Example (line + graph?) Previous work – SV, Alon, Moulin Example of non-dictatorial mechanism on small cycles Main result on cycles Proof outline implications Characterization on cube ?

3. Example Suppose we have two agents, A and B Mechanism: take the average  A mechanism is strategyproof if agents can never benefit from lying = the distance from their location cannot decrease by misreporting it 3 Slides are courtesy of Ariel Procaccia

4. Example B B E E C C D D A A B B Mechanism: select the leftmost reported location Mechanism is strategyproof B B 4 Also ok: Second from the left, Median, etc.

5. Discrete facility location 5 A facility cannot be placed just anywhere Allowed locations are vertices of a graph (unweighted) Agents care about their distance from the facility

6. Main questions Given a graph G, characterize all deterministic strategyproof (SP) mechanisms on G Are there SP mechanisms with good social welfare?

7. Previous work Schummer and Vohra 2004: Full characterization on continuous Lines, Cycles and Trees. – On every continuous cycle there is a dictator Alon et al. 2010: – optimal welfare on (cont.) Trees – Ω(n) approximation on cyclic graphs – Randomized mechanisms Moulin 1980: Single-peaked preferences.

8. Notations Denote x = f(a) = f(a 1,a 2,…,a n ) d(x,y) is the distance between x and y A k-dictator is an agent that is always at distance (at most) k from the facility, i.e. d(a i,f(a)) ≤ k for all a A mechanism is anonymous if it treats all agents symmetrically (“fairly”)

9. Main result 1 A full characterization of onto SP mechanisms on discrete lines What about cycles?

10. Non dictatorial mechanisms Consider a small cycle (e.g. |C|=6)

11. Non dictatorial mechanisms Take the longest arc between a pair of agents

12. Non dictatorial mechanisms Take the longest arc between a pair of agents Place the facility on the agent opposing the arc

13. Main result 2 Every SP and onto mechanism on (sufficiently large) cycles has a 1-dictator

14. Main result 2 Every SP and onto mechanism on (sufficiently large) cycles has a 1-dictator

15. Proof outline The case of two agents: – Every SP and onto mechanism is unanimous – “ “ “ “ is Pareto – The facility must be next to some agent – It is always the same agent (the 1-dictator)

16. Proof outline (cont.) For three agents: – Either (a) there is a 1-dictator, or (b) every pair is a “dictator” when in the same place – For large cycles, (b) is impossible – Thus there is a 1-dictator For n>3 agents: – A reduction to n-1 agents (similar to SV’04)

17. How large are large cycles? # of agentsAnonymousNon-dictatorial1-Dictatorial n = 2Size ≤ 12-Size ≥ 13 n = 3 n > 3

18. How large are large cycles? # of agentsAnonymousNon-dictatorial1-Dictatorial n = 2Size ≤ 12-Size ≥ 13 n = 3Size ≤ 14 (and 16)-Size ≥ 17 (and 15) n > 3Impossible if size>nSize ≤ 14 (and 16)Size ≥ 17 (and 15) Our proof only works for size ≥ 22 For smaller cycles – used exhaustive search Search space size is |C| (|C| n ) [= 20 8000 for |C|=20] …but we can narrow it significantly

19. Implications Graphs with several cycles A lower bound on the social cost A simpler proof for the continuous case Applications for Judgment aggregation and Binary classification

20. The Binary cube There is a natural embedding of lines in the Binary cube

21. The Binary cube There is a natural embedding of lines in the Binary cube Also for cycles of even length

22. The Binary cube There is a natural embedding of lines in the Binary cube Also for cycles of even length

23. The Binary cube We can characterize onto SP mechanisms using properties defined w.r.t. the cube. Lines(Large) even-sized cycles

24. The Binary cube We can characterize onto SP mechanisms using properties defined w.r.t. the cube. Lines(Large) even-sized cycles Cube-monotone

25. The Binary cube We can characterize onto SP mechanisms using properties defined w.r.t. the cube. Lines(Large) even-sized cycles Cube-monotone Independent of Disjoint Attributes (IDA)

26. The Binary cube We can characterize onto SP mechanisms using properties defined w.r.t. the cube. Lines(Large) even-sized cycles Cube-monotone Independent of Disjoint Attributes (IDA) 1-Dictatorial

27. The Binary cube We can characterize onto SP mechanisms using properties defined w.r.t. the cube. Lines(Large) even-sized cycles Cube-monotone Independent of Disjoint Attributes (IDA) 1-IIA1-Dictatorial

28. Future work Other graph topologies – trees Randomized mechanisms – An open question: is there a topology where every SP mechanism is a random dictator?