Abstract
Consider the projections of a finite set (Formula presented.) onto the coordinate hyperplanes; how small can the sum of the sizes of these projections be, given the size of A? In a different form, this problem has been studied earlier in the context of edge-isoperimetric inequalities on graphs, and it can be derived from the known results that there is a linear order on the set of n-tuples with non-negative integer coordinates, such that the sum in question is minimised for the initial segments with respect to this order. We present a new, self-contained and constructive proof, enabling us to obtain a stability result and establish algebraic properties of the smallest possible projection sum. We also solve the problem of minimising the sum of the sizes of the one-dimensional projections.
| Original language | English |
|---|---|
| Pages (from-to) | 493-511 |
| Number of pages | 19 |
| Journal | Discrete and Computational Geometry |
| Volume | 60 |
| Issue number | 2 |
| Early online date | 8 Mar 2018 |
| DOIs | |
| Publication status | Published - Sept 2018 |
Keywords
- Isoperimetric problem
- Loomis–Whitney inequality
- Projections