Document

# Fixed-Point Cycles and Approximate EFX Allocations

## File

LIPIcs.MFCS.2022.17.pdf
• Filesize: 0.81 MB
• 13 pages

## Cite As

Benjamin Aram Berendsohn, Simona Boyadzhiyska, and László Kozma. Fixed-Point Cycles and Approximate EFX Allocations. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 241, pp. 17:1-17:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.MFCS.2022.17

## Abstract

We study edge-labelings of the complete bidirected graph K^↔_n with functions that map the set [d] = {1, … , d} to itself. We call a directed cycle in K^↔_n a fixed-point cycle if composing the labels of its edges in order results in a map that has a fixed point, and we say that a labeling is fixed-point-free if no fixed-point cycle exists. For a given d, we ask for the largest value of n, denoted R_f(d), for which there exists a fixed-point-free labeling of K^↔_n. Determining R_f(d) for all d > 0 is a natural Ramsey-type question, generalizing some well-studied zero-sum problems in extremal combinatorics. The problem was recently introduced by Chaudhury, Garg, Mehlhorn, Mehta, and Misra [EC 2021], who proved that d ≤ R_f(d) ≤ d⁴+d and showed that the problem has close connections to EFX allocations, a central problem of fair allocation in social choice theory. In this paper we show the improved bound R_f(d) ≤ d^{2 + o(1)}, yielding an efficient (1-ε)-EFX allocation with n agents and O((n/ε)^{0.67}) unallocated goods; this improves the bound of O((n/ε)^{0.8}) of Chaudhury, Garg, Mehlhorn, Mehta, and Misra. {Additionally, we prove the stronger upper bound 2d-2, in the case where all edge-labels are permutations. A very special case of this problem, that of finding zero-sum cycles in digraphs whose edges are labeled with elements of ℤ_d, was recently considered by Alon and Krivelevich [JGT 2021] and by Mészáros and Steiner [EJC 2021]. Our result improves the bounds obtained by these authors and extends them to labelings with elements of an arbitrary (not necessarily commutative) group, while also simplifying the proof.}

## Subject Classification

##### ACM Subject Classification
• Theory of computation → Algorithmic game theory
• Mathematics of computing → Extremal graph theory
##### Keywords
• fixed-point
• zero-sum cycle
• Ramsey theory
• fair allocation
• EFX

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. Hannaneh Akrami, Bhaskar R. Chaudhury, Jugal Garg, Kurt Mehlhorn, and Ruta Mehta. EFX allocations: Simplifications and improvements. CoRR, abs/2205.07638, 2022. URL: https://doi.org/10.48550/arXiv.2205.07638.
2. Noga Alon and Yair Caro. On three zero-sum Ramsey-type problems. J. Graph Theory, 17(2):177-192, 1993. URL: https://doi.org/10.1002/jgt.3190170207.
3. Noga Alon and Moshe Dubiner. Zero-sum sets of prescribed size. Combinatorics, Paul Erdős is eighty, 1:33-50, 1993.
4. Noga Alon and Michael Krivelevich. Divisible subdivisions. J. Graph Theory, 98(4):623-629, 2021. URL: https://doi.org/10.1002/jgt.22716.
5. Noga Alon and Nathan Linial. Cycles of length 0 modulo k in directed graphs. J. Comb. Theory, Ser. B, 47(1):114-119, 1989. URL: https://doi.org/10.1016/0095-8956(89)90071-3.
6. Ben Berger, Avi Cohen, Michal Feldman, and Amos Fiat. (Almost Full) EFX exists for four agents (and Beyond). CoRR, abs/2102.10654, 2021. URL: https://doi.org/10.48550/arXiv.2102.10654.
7. Arie Bialostocki. Zero Sum Trees: A Survey of Results and Open Problems, pages 19-29. Springer Netherlands, Dordrecht, 1993. URL: https://doi.org/10.1007/978-94-011-2080-7_2.
8. Steven J. Brams and Alan D. Taylor. Fair division - from cake-cutting to dispute resolution. Cambridge University Press, 1996.
9. Ioannis Caragiannis, Nick Gravin, and Xin Huang. Envy-freeness up to any item with high Nash welfare: The virtue of donating items. In EC'19: The 19th ACM Conf. on Economics and Computation, pages 527-545. ACM, 2019. URL: https://doi.org/10.1145/3328526.3329574.
10. Ioannis Caragiannis, David Kurokawa, Hervé Moulin, Ariel D. Procaccia, Nisarg Shah, and Junxing Wang. The unreasonable fairness of maximum Nash welfare. ACM Trans. Econ. Comput., 7(3), September 2019. URL: https://doi.org/10.1145/3355902.
11. Yair Caro. Zero-sum problems - A survey. Discret. Math., 152(1-3):93-113, 1996. URL: https://doi.org/10.1016/0012-365X(94)00308-6.
12. Bhaskar R. Chaudhury, Jugal Garg, Kurt Mehlhorn, Ruta Mehta, and Pranabendu Misra. Improving EFX guarantees through rainbow cycle number. In EC '21: The 22nd ACM Conf. on Economics and Computation, pages 310-311. ACM, 2021. URL: https://doi.org/10.1145/3465456.3467605.
13. David Conlon and Asaf Ferber. Lower bounds for multicolor Ramsey numbers. Advances in Mathematics, 378:107528, 2021. URL: https://doi.org/10.1016/j.aim.2020.107528.
14. Paul Erdős, Abraham Ginzburg, and Abraham Ziv. A theorem in additive number theory. Bull. Res. Council Israel 10F, 41-43, 1961.
15. Zoltán Füredi and Daniel J. Kleitman. On zero-trees. J. Graph Theory, 16(2):107-120, 1992. URL: https://doi.org/10.1002/jgt.3190160202.
16. Edmund Landau. Über die Maximalordnung der Permutationen gegebenen Grades. Archiv der Math. und Phys, 3:92-103, 1903.
17. Tamás Mészáros and Raphael Steiner. Zero sum cycles in complete digraphs. Eur. J. Comb., 98:103399, 2021. URL: https://doi.org/10.1016/j.ejc.2021.103399.
18. Jean-Louis Nicolas. On Landau's function g(n). In The Mathematics of Paul Erdős I, pages 228-240. Springer, 1997.
19. Ariel D. Procaccia. Technical perspective: An answer to fair division’s most enigmatic question. Commun. ACM, 63(4):118, 2020. URL: https://doi.org/10.1145/3382131.
20. Will Sawin. An improved lower bound for multicolor Ramsey numbers and a problem of Erdős. J. Comb. Theory, Ser. A, 188:105579, 2022. URL: https://doi.org/10.1016/j.jcta.2021.105579.
21. Alexander Schrijver and Paul D. Seymour. A simpler proof and a generalization of the zero-trees theorem. J. Comb. Theory, Ser. A, 58(2):301-305, 1991. URL: https://doi.org/10.1016/0097-3165(91)90063-M.
22. Hugo Steinhaus. The problem of fair division. Econometrica: Journal of the Econometric Society, 16:101-104, 1948.
23. Yuval Wigderson. An improved lower bound on multicolor Ramsey numbers. Proc. Amer. Math. Soc., 149(6):2371-2374, 2021. URL: https://doi.org/10.1090/proc/15447.