← 研踪 PaperTrailarXiv:2609.05191 · v2
Cutting Down the Tower: Single-Exponential Envy-Free Cake Cutting
首次提交 2026-09-04 22:26
版本更新 2026-11-03 18:01
雷达观测 2026-11-04 23:39
摘要
Envy-free cake cutting is a central problem in fair division with a striking divide between existence and computation. Classical topology guarantees that envy-free allocations exist, yet finding one efficiently (in the Robertson-Webb query model) has resisted decades of work. The seminal work by Aziz and Mackenzie established the existence of a bounded protocol for every $n$, but its query bound is $n^{n^{n^{n^{n^n}}}}$. Subsequently, Sokolov modified their protocol and sharpened its analysis, obtaining a bound of $n^{8n^2(1+o(1))}$ queries, the best deterministic upper bound known before this work. In contrast, the general lower bound, due to Procaccia, is merely $Ω(n^2)$. We close much of this gap with a deterministic protocol using $n^{O(1)}2^n$ queries, the first single-exponential bound for general valuations. Like Aziz and Mackenzie, we repeatedly allocate cake without envy until some agents can leave with their pieces, guaranteed not to envy anyone who stays, even if a staying agent receives all the remaining cake. To reach this state, Aziz and Mackenzie generate $n^{n^{n^n}}$ partial allocations so that enough of them can be redistributed without conflict. Instead, we show that only polynomially many partial allocations suffice. Our key idea is to ``prune'' scarce allocations upfront: if only a few allocations can help a certain pair of agents, we discard them and handle that pair another way, leaving plenty of allocations for every remaining pair so each gets a distinct one. As a result, we make only polynomially many calls to Aziz and Mackenzie's subroutines, and this gives us our $n^{O(1)}2^n$ bound.
观测到的版本
相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。
v2 · 2026-11-03 18:01 · 最新观测版本
Cutting Down the Tower: Single-Exponential Envy-Free Cake Cutting
Envy-free cake cutting is a central problem in fair division with a striking divide between existence and computation. Classical topology guarantees that envy-free allocations exist, yet finding one efficiently (in the Robertson-Webb query model) has resisted decades of work. The seminal work by Aziz and Mackenzie established the existence of a bounded protocol for every $n$, but its query bound is $n^{n^{n^{n^{n^n}}}}$. Subsequently, Sokolov modified their protocol and sharpened its analysis, obtaining a bound of $n^{8n^2(1+o(1))}$ queries, the best deterministic upper bound known before this work. In contrast, the general lower bound, due to Procaccia, is merely $Ω(n^2)$. We close much of this gap with a deterministic protocol using $n^{O(1)}2^n$ queries, the first single-exponential bound for general valuations. Like Aziz and Mackenzie, we repeatedly allocate cake without envy until some agents can leave with their pieces, guaranteed not to envy anyone who stays, even if a staying agent receives all the remaining cake. To reach this state, Aziz and Mackenzie generate $n^{n^{n^n}}$ partial allocations so that enough of them can be redistributed without conflict. Instead, we show that only polynomially many partial allocations suffice. Our key idea is to ``prune'' scarce allocations upfront: if only a few allocations can help a certain pair of agents, we discard them and handle that pair another way, leaving plenty of allocations for every remaining pair so each gets a distinct one. As a result, we make only polynomially many calls to Aziz and Mackenzie's subroutines, and this gives us our $n^{O(1)}2^n$ bound.
查看此版本解读 →查看此版本原文 ↗