Envy-free cake cutting: A polynomial number of queries with high probability
In this article we propose a probabilistic framework in order to study the fair division of a divisible good, e.g. a cake, between n players. Our framework follows the same idea than the ”Full independence model” used in the study of fair division of indivisible goods. We show that, in this framework, there exists an envy-free division algorithm satisfying the following probability estimate: ℙ( C(μ_1, …,μ_n) ≥ n^7+b) = 𝒪(n^-b-1/3+1+o(1)), where μ_1,…, μ_n correspond to the preferences of the n players,C(μ_1, …,μ_n) is the number of queries used by the algorithm and b>4.In particular, this gives lim_n → + ∞ℙ( C(μ_1, …,μ_n) ≥ n^12) = 0. It must be noticed that nowadays few things are known about the complexity of envy-free division algorithms. Indeed, Procaccia has given a lower bound in Ω(n^2) and Aziz and Mackenzie have given an upper bound in n^n^n^n^n^n. As our estimate means that we have C(μ_1, …, μ_n)<n^12 with a high probability, this gives a new insight on the complexity of envy-free cake cutting algorithms. Our result follows from a study of Webb's algorithm and a theorem of Tao and Vu about the smallest singular value of a random matrix.
READ FULL TEXT