## Abstract

We introduce and prove the n-dimensional Pizza Theorem: Let H be a hyperplane arrangement in R^{n}. If K is a measurable set of finite volume, the pizza quantity of K is the alternating sum of the volumes of the regions obtained by intersecting K with the arrangement H. We prove that if H is a Coxeter arrangement different from A^{n}_{1} such that the group of isometries W generated by the reflections in the hyperplanes of H contains the map −id, and if K is a translate of a convex body that is stable under W and contains the origin, then the pizza quantity of K is equal to zero. Our main tool is an induction formula for the pizza quantity involving a subarrangement of the restricted arrangement on hyperplanes of H that we call the even restricted arrangement. More generally, we prove that for a class of arrangements that we call even (this includes the Coxeter arrangements above) and for a sufficiently symmetric set K, the pizza quantity of K + a is polynomial in a for a small enough, for example if K is convex and 0 ∈ K + a. We get stronger results in the case of balls, more generally, convex bodies bounded by quadratic hypersurfaces. For example, we prove that the pizza quantity of the ball centered at a having radius R ≥ ∣∣a∣∣ vanishes for a Coxeter arrangement H with |H| − n an even positive integer. We also prove the Pizza Theorem for the surface volume: When H is a Coxeter arrangement and |H| − n is a nonnegative even integer, for an n-dimensional ball the alternating sum of the (n − 1)-dimensional surface volumes of the regions is equal to zero.

Original language | English |
---|---|

Pages (from-to) | 5829-5857 |

Number of pages | 29 |

Journal | Transactions of the American Mathematical Society |

Volume | 375 |

Issue number | 8 |

DOIs | |

State | Published - Aug 1 2022 |

### Bibliographical note

Publisher Copyright:© 2022 American Mathematical Society.

## ASJC Scopus subject areas

- General Mathematics
- Applied Mathematics