arXiv++ Combinatorics

Inspired by the classical Riemannian systolic inequality of Gromov we present a combinatorial analogue providing a lower bound on the number of vertices of a simplicial complex in terms of its edge-path systole. Similarly to the Riemannian case, where the inequality holds under a topological assumption of "essentiality", our proofs rely on a combinatorial analogue of that assumption. Under a stronger assumption, expressed in terms of cohomology cup-length, we improve our results quantitatively. We also illustrate our methods in the continuous setting, generalizing and improving quantitatively the Minkowski principle of Balacheff and Karam; a corollary of this result is the extension of the Guth--Nakamura cup-length systolic bound from manifolds to complexes.

If a convex body $K \subset \mathbb{R}^n$ is covered by the union of convex bodies $C_1, \ldots, C_N$, multiple subadditivity questions can be asked. Two classical results regard the subadditivity of the width (the smallest distance between two parallel hyperplanes that sandwich $K$) and the inradius (the largest radius of a ball contained in $K$): the sum of the widths of the $C_i$ is at least the width of $K$ (this is the plank theorem of Thoger Bang), and the sum of the inradii of the $C_i$ is at least the inradius of $K$ (this is due to Vladimir Kadets). We adapt the existing proofs of these results to prove a theorem on coverings by certain generalized non-convex "multi-planks". One corollary of this approach is a family of inequalities interpolating between Bang's theorem and Kadets's theorem. Other corollaries include results reminiscent of the Davenport--Alexander problem, such as the following: if an $m$-slice pizza cutter (that is, the union of $m$ equiangular rays in the plane with the same endpoint) in applied $N$ times to the unit disk, then there will be a piece of the partition of inradius at least $\frac{\sin π/m}{N + \sin π/m}$.

Planar bicolored (plabic) graphs are combinatorial objects introduced by Postnikov to give parameterizations of the positroid cells of the totally nonnegative Grassmannian $\text{Gr}^{\geq 0}(n,k)$. Any two plabic graphs for the same positroid cell can be related by a sequence of certain moves. The flip graph has plabic graphs as vertices and has edges connecting the plabic graphs which are related by a single move. A recent result of Galashin shows that plabic graphs can be seen as cross-sections of zonotopal tilings for the cyclic zonotope $Z(n,3)$. Taking this perspective, we show that the fundamental group of the flip graph is generated by cycles of length 4, 5, and 10, and use this result to prove a related conjecture of Dylan Thurston about triple crossing diagrams. We also apply our result to make progress on an instance of the generalized Baues problem.

We examine Gromov's method of selecting a point "heavily covered" by simplices formed by a given finite point sets, in order to understand the dependence of the heavily covered point on parameters. We have no continuous dependence, but manage to utilize the "homological continuous dependence" of the heavily covered point. This allows us to infer some corollaries in a usual way. We also give an elementary argument to prove the simplest of these corollaries.