arXiv++ Combinatorics

Let $G = (V,E)$ be a connected graph. A probability measure $μ$ on $V$ is called "balanced" if it has the following property: if $T_μ(v)$ denotes the "earth mover's" cost of transporting all the mass of $μ$ from all over the graph to the vertex $v$, then $T_μ$ attains its global maximum at each point in the support of $μ$. We prove a decomposition result that characterizes balanced measures as convex combinations of suitable "extremal" balanced measures that we call "basic." An upper bound on the number of basic balanced measures on $G$ follows, and an example shows that this estimate is essentially sharp.

Steinerberger defined a notion of boundary for a graph and established a corresponding isoperimetric inquality. Hence, "large" graphs have more boundary vertices. In this paper, we first characterize graphs with three boundary vertices in terms of two infinite families of graphs. We then completely characterize graphs with four boundary vertices in terms of eight families of graphs, five of which are infinite. This parallels earlier work by Hasegawa and Saito as well as Müller, Pór, and Sereni on another notion of boundary defined by Chartrand, Erwin, Johns, and Zhang.