A single cell in an arrangement of convex polyhedra in ℝ ^3*

We show that the combinatorial complexity of a single cell in an arrangement of k convex polyhedra in 3-space having n facets in total is O(nk^1+ε), for any ε > 0, thus settling a conjecture of Aronov et al. We then extend our analysis and show that the overall complexity of the zone of a low-degree algebraic surface, or of the boundary of an arbitrary convex set, in an arrangement of k convex polyhedra in 3-space with n facets in total, is also O(nk^1+ε), for any ε > 0. Finally, we present a deterministic algorithm that constructs a single cell in an arrangement of this kind, in time O(nk^1+εlog³n), for any ε > 0.