• Corpus ID: 246210171

Fixed-point cycles and EFX allocations

@article{Berendsohn2022FixedpointCA,
  title={Fixed-point cycles and EFX allocations},
  author={Benjamin Aram Berendsohn and Simona Boyadzhiyska and L{\'a}szl{\'o} Kozma},
  journal={ArXiv},
  year={2022},
  volume={abs/2201.08753}
}

• Benjamin Aram Berendsohn, S. Boyadzhiyska, L. Kozma
• Published 21 January 2022
• Mathematics
• ArXiv

We study edge-labelings of the complete bidirected graph ↔ Kn with functions from the set [d] = {1, . . . , d} to itself. We call a cycle in ↔ Kn a fixed-point cycle if composing the labels of its edges 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 Rf (d), for which there exists a fixed-point-free labeling of ↔ Kn. Determining Rf (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, who proved that d ≤ Rf (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 Rf (d) ≤ d, yielding an efficient (1− ε)-EFX allocation with n agents and O(n) unallocated goods for any constant ε ∈ (0, 1/2]; this improves the bound of O(n) of Chaudhury, Garg, Mehlhorn, Mehta, and Misra. Additionally, we prove the stronger upper bound 2d − 2, in the case where all edge-labels are permulations. A very special case of this problem, that of finding zero-sum cycles in digraphs whose edges are labeled with elements of Zd, was recently considered by Alon and Krivelevich and by Mészáros and Steiner. Our result improves the bounds obtained by these authors and extends them to labelings from an arbitrary (not necessarily commutative) group, while also simplifying the proof.