On the structure of EFX orientations on graphs

Jinghan A Zeng,Ruta Mehta

2024-07-24

Abstract:Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest open question within fair division. Recently, Christodoulou, Fiat, Koutsoupias, and Sgouritsa (EC 2023) showed that EFX allocations exist for the case of graphical valuations where an instance is represented by a graph: nodes are agents, edges are goods, and each agent values only her incident edges. On the other hand, they showed NP-hardness for checking the existence of EFX orientation where every edge is allocated to one of its incident vertices, and asked for a characterization of graphs that exhibit EFX orientation regardless of the assigned valuations. In this paper, we make significant progress toward answering their question. We introduce the notion of strongly EFX orientable graphs -- graphs that have EFX orientations regardless of how much agents value the edges. We show a surprising connection between this property and the chromatic number $\chi(G)$ of the graph $G$. In particular, we show that graphs with $\chi(G)\le 2$ are strongly EFX orientable, and those with $\chi(G)>3$ are not strongly EFX orientable. We provide examples of strongly EFX orientable and non-strongly EFX orientable graphs of $\chi(G)=3$ to prove tightness. Finally, we give a complete characterization of strong EFX orientability when restricted to binary valuations.

Computer Science and Game Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the existence of EFX (envy - freeness up to any good, that is, remaining envy - free after removing any single item) allocation in graph structures. Specifically:

1. **Background and Motivation**:
- The fair allocation problem is to fairly allocate a set of items to multiple agents, and an important fairness concept among them is envy - freeness (EF). However, when items are indivisible, envy - free allocation may not exist, so a stronger relaxed condition - EFX - is proposed.
- EFX requires that for any two agents i and j, agent i still does not envy j after removing any single item of agent j.

2. **Research Status**:
- Recent research (Christodoulou et al., EC 2023) shows that in the case of graph - structured valuations, EFX allocation exists; but checking whether there exists an EFX orientation (each edge is assigned to one of its endpoints) is an NP - hard problem.
- They pose a question: Are there certain classes of graphs that can guarantee the existence of an EFX orientation regardless of the valuations assigned?

3. **Main Contributions of the Paper**:
- The concept of "strongly EFX - orientable graphs" is introduced, that is, these graphs always have an EFX orientation regardless of how agents value the edges.
- The relationship between this property and the chromatic number of the graph is revealed. Specifically:
- For graphs with chromatic number \(\chi(G)\leq2\), they are strongly EFX - orientable.
- Graphs with chromatic number \(\chi(G)> 3\) are not strongly EFX - orientable.
- For graphs with chromatic number \(\chi(G) = 3\), there are both examples of strongly EFX - orientable and non - strongly EFX - orientable, which proves that this bound is optimal.
- A complete characterization of strong EFX - orientability under binary valuation functions is given.

Through the exploration of these problems, the paper provides a new perspective for understanding which types of graphs can always guarantee the existence of an EFX orientation and lays the foundation for further research on fair allocation problems.