Abstract:We study fair mechanisms for the classic job scheduling problem on unrelated machines with the objective of minimizing the makespan. This problem is equivalent to minimizing the egalitarian social cost in the fair division of chores. The two prevalent fairness notions in the fair division literature are envy-freeness and proportionality. Prior work has established that no envy-free mechanism can provide better than an $\Omega(\log m/ \log \log m)$-approximation to the optimal makespan, where $m$ is the number of machines, even when payments to the machines are allowed. In strong contrast to this impossibility, our main result demonstrates that there exists a proportional mechanism (with payments) that achieves a $3/2$-approximation to the optimal makespan, and this ratio is tight. To prove this result, we provide a full characterization of allocation functions that can be made proportional with payments. Furthermore, we show that for instances with normalized costs, there exists a proportional mechanism that achieves the optimal makespan. We conclude with important directions for future research concerning other fairness notions, including relaxations of envy-freeness. Notably, we show that the technique leading to the impossibility result for envy-freeness does not extend to its relaxations.

What problem does this paper attempt to address?

This paper attempts to solve the problem of how to minimize the maximum completion time (i.e., makespan) while ensuring fairness when allocating tasks on different machines. Specifically, the paper mainly focuses on the classic task scheduling problem on unrelated machines, with the goal of minimizing the maximum completion time. This problem is equivalent to minimizing the equal social cost when fairly allocating chores. ### Main Problems in the Paper 1. **Design of Fairness Mechanisms**: The paper explores how to design fair mechanisms for task allocation so that the burden on each machine is as balanced as possible while ensuring that the overall maximum completion time does not increase significantly. 2. **Choice of Fairness Concepts**: In the field of fair allocation, two common fairness concepts are "envy - freeness" and "proportionality". The paper points out that existing research has shown that in task scheduling on unrelated machines, no envy - free mechanism can provide a better approximation ratio of the maximum completion time than $ \Omega(\log m / \log \log m) $ (where $ m $ is the number of machines), even if payments to machines are allowed. 3. **Effect of Proportional Fairness Mechanisms**: In sharp contrast to the limitations of envy - free mechanisms, the main result of the paper shows that there is a proportional fairness mechanism (with payments) that can achieve a $ 3/2 $-approximation ratio of the maximum completion time, and this ratio is tight. This means that in some cases, the proportional fairness mechanism can effectively reduce the maximum completion time while maintaining fairness. ### Specific Contributions of the Paper - **Design of Proportional Fairness Mechanisms**: The paper introduces an algorithm called the "Anti - Diagonal Mechanism", and proves that it can achieve a $ 3/2 $-approximation ratio of the maximum completion time in general instances, and this mechanism is proportionally fair. - **Optimal Solutions for Normalized Instances**: For normalized instances, the paper further proves that there is a proportional fairness mechanism that can directly reach the optimal maximum completion time. - **Limitations of Envy - Free Mechanisms**: The paper also shows that the impossibility results of envy - free mechanisms do not apply to their relaxed versions, which provides a new direction for further research. ### Formula Summary - **Approximation Ratio of the Maximum Completion Time**: - For general instances, the approximation ratio of the maximum completion time of the proportional fairness mechanism is $ \frac{3}{2} $. - For normalized instances, the proportional fairness mechanism can reach the optimal maximum completion time. - **Lower Bound of Envy - Free Mechanisms**: - For general instances, the approximation ratio of the maximum completion time of the envy - free mechanism is at least $ \Omega(\log m / \log \log m) $. Through these results, the paper not only demonstrates the effectiveness of the proportional fairness mechanism in task scheduling but also provides important directions and theoretical foundations for future research.

Proportionally Fair Makespan Approximation