arXiv++ Combinatorics

We develop criteria based on a calibration argument via discrete PDE and semidiscrete optimal transport, for finding sharp isoperimetric inequalities of the form $(\sharp Ω)^{d-1} \le C (\sharp \overrightarrow{\partialΩ})^d$ where $Ω$ is a subset of vertices of a graph and $\overrightarrow{\partialΩ}$ is the oriented edge-boundary of $Ω$, as well as the optimum isoperimetric shapes $Ω$. The method is a discrete counterpart to Optimal Transport and ABP method proofs valid in the continuum, and answers a question appearing in Hamamuki \cite{hamamuki}, extending that work valid for rectangular grids, to a larger class of graphs, including graphs dual to simplicial meshes of equal volume. We also connect the problem to the theory Voronoi tessellations and of Aleksandrov solutions from semidiscrete optimal transport. The role of the geometric-arithmetic inequality that was used in previous works in the continuum case and in the $\mathbb Z^d$-graph case is now played by a geometric cell-optimization constant, where the optimization problem is like in Minkowski's proof of his classical theorem for convex polyhedra. Finally, we study the optimal constant in the related discrete Neumann boundary problem, and present a series of possible directions for a further classification of discrete edge-isoperimetric constants and shapes.

In this work we consider an optimal transport problem with coefficients in a normed Abelian group $G$, and extract a purely intrinsic condition on $G$ that guarantees that the optimal transport (or the corresponding minimum filling) is not branching. The condition turns out to be equivalent to the nonbranching of minimum fillings in geodesic metric spaces. We completely characterize finitely generated normed groups and finite-dimensional normed vector spaces of coefficients that induce nonbranching optimal transport plans. We also provide a complete classification of normed groups for which the optimal transport plans, besides being nonbranching, have acyclic support. This seems to initiate a new geometric classifications of certain normed groups. In the nonbranching case we also provide a global version of calibration, i.e. a generalization of Monge-Kantorovich duality.

We show that for a metric space with an even number of points there is a 1-Lipschitz map to a tree-like space with the same matching number. This result gives the first basic version of an unoriented Kantorovich duality. The study of the duality gives a version of global calibrations for 1-chains with coefficients in $\mathbb Z_2$. Finally we extend the results to infinite metric spaces and present a notion of "matching dimension" which arises naturally.