### Abstract

Consider an arrangement of n hyperplanes in ℝ^{d}. Families of convex polytopes whose boundaries are contained in the union of the hyperplanes are the subject of this paper. We aim to bound their maximum combinatorial complexity. Exact asymptotic bounds were known for the case where the polytopes are cells of the arrangement. Situations where the polytopes are pairwise openly disjoint have also been considered in the past. However, no nontrivial bound was known for the general case where the polytopes may have overlapping interiors, for d > 2. We analyze families of polytopes that do not share vertices. In ℝ^{3} we show an O (k^{1/3}n^{2}) bound on the number of faces of k such polytopes. We also discuss worst-case lower bounds and higher-dimensional versions of the problem. Among other results, we show that the maximum number of facets of k pairwise vertex-disjoint polytopes in ℝ^{d} is Ω (k^{1/2}n^{d/2}) which is a factor of √n away from the best known upper bound in the range n^{d-2} ≤ k ≤ n^{d}. The case where 1 ≤ k ≤ n^{d-2} is completely resolved as a known Θ(kn) bound for cells applies here.

Original language | English (US) |
---|---|

Pages (from-to) | 51-63 |

Number of pages | 13 |

Journal | Discrete and Computational Geometry |

Volume | 25 |

Issue number | 1 |

State | Published - 2001 |

### Fingerprint

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computational Theory and Mathematics
- Discrete Mathematics and Combinatorics
- Geometry and Topology

### Cite this

*Discrete and Computational Geometry*,

*25*(1), 51-63.

**Polytopes in arrangements.** / Aronov, Boris; Dey, T. K.

Research output: Contribution to journal › Article

*Discrete and Computational Geometry*, vol. 25, no. 1, pp. 51-63.

}

TY - JOUR

T1 - Polytopes in arrangements

AU - Aronov, Boris

AU - Dey, T. K.

PY - 2001

Y1 - 2001

N2 - Consider an arrangement of n hyperplanes in ℝd. Families of convex polytopes whose boundaries are contained in the union of the hyperplanes are the subject of this paper. We aim to bound their maximum combinatorial complexity. Exact asymptotic bounds were known for the case where the polytopes are cells of the arrangement. Situations where the polytopes are pairwise openly disjoint have also been considered in the past. However, no nontrivial bound was known for the general case where the polytopes may have overlapping interiors, for d > 2. We analyze families of polytopes that do not share vertices. In ℝ3 we show an O (k1/3n2) bound on the number of faces of k such polytopes. We also discuss worst-case lower bounds and higher-dimensional versions of the problem. Among other results, we show that the maximum number of facets of k pairwise vertex-disjoint polytopes in ℝd is Ω (k1/2nd/2) which is a factor of √n away from the best known upper bound in the range nd-2 ≤ k ≤ nd. The case where 1 ≤ k ≤ nd-2 is completely resolved as a known Θ(kn) bound for cells applies here.

AB - Consider an arrangement of n hyperplanes in ℝd. Families of convex polytopes whose boundaries are contained in the union of the hyperplanes are the subject of this paper. We aim to bound their maximum combinatorial complexity. Exact asymptotic bounds were known for the case where the polytopes are cells of the arrangement. Situations where the polytopes are pairwise openly disjoint have also been considered in the past. However, no nontrivial bound was known for the general case where the polytopes may have overlapping interiors, for d > 2. We analyze families of polytopes that do not share vertices. In ℝ3 we show an O (k1/3n2) bound on the number of faces of k such polytopes. We also discuss worst-case lower bounds and higher-dimensional versions of the problem. Among other results, we show that the maximum number of facets of k pairwise vertex-disjoint polytopes in ℝd is Ω (k1/2nd/2) which is a factor of √n away from the best known upper bound in the range nd-2 ≤ k ≤ nd. The case where 1 ≤ k ≤ nd-2 is completely resolved as a known Θ(kn) bound for cells applies here.

UR - http://www.scopus.com/inward/record.url?scp=0035586252&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035586252&partnerID=8YFLogxK

M3 - Article

VL - 25

SP - 51

EP - 63

JO - Discrete and Computational Geometry

JF - Discrete and Computational Geometry

SN - 0179-5376

IS - 1

ER -