arXiv++ Combinatorics

Consider an undirected graph $G=(V,E)$. A subgraph of $G$ is a subset of its edges, whilst an orientation of $G$ is an assignment of a direction to each edge. Provided with an integer circulation-demand $d:V\to \mathbb{Z}$, we show an explicit and efficiently computable bijection between subgraphs of $G$ on which a $d$-flow exists and orientations on which a $d$-flow exists. Moreover, given a cost function $w:E\to (0,\infty)$ we can find such a bijection which preserves the $w$-min-cost-flow. In 2013, Kozma and Moran showed, using dimensional methods, that the number of subgraphs $k$-connecting a vertex $s$ to a vertex $t$ is the same as the number of orientations $k$-connecting $s$ to $t$. An application of our result is an efficient, bijective proof of this fact.

We show that every outerplanar graph $G$ can be linearly embedded in the plane such that the number of distinct distances between pairs of adjacent vertices is at most thirteen and there is no intersection between the image of a vertex and that of an edge not containing it. This extends the work of Alon and the second author, where only overlap between vertices was disallowed, thus settling a problem posed by Carmi, Dujmović, Morin and Wood.

We consider random polynomials whose coefficients are independent and identically distributed on the integers. We prove that if the coefficient distribution has bounded support and its probability to take any particular value is at most $\tfrac12$, then the probability of the polynomial to have a double root is dominated by the probability that either $0$, $1$, or $-1$ is a double root up to an error of $o(n^{-2})$. We also show that if the support of coefficient distribution excludes $0$ then the double root probability is $O(n^{-2})$. Our result generalizes a similar result of Peled, Sen and Zeitouni for Littlewood polynomials.

We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional discrete torus has a very rigid structure when the dimension $d$ is sufficiently high. We show that with high probability the coloring takes just one color on almost all of either the even or the odd sub-torus. In particular, one color appears on nearly half of the torus sites. This model is the zero temperature case of the $3$-state anti-ferromagnetic Potts model from statistical physics. Our work extends previously obtained results for the discrete torus with specific boundary conditions. The main challenge in this extension is to overcome certain topological obstructions which appear when no boundary conditions are imposed on the model. Locally, a proper $3$-coloring defines the discrete gradient of an integer-valued height function which changes by exactly one between adjacent sites. However, these locally-defined functions do not always yield a height function on the entire torus, as the gradients may accumulate to a non-zero quantity when winding around the torus. Our main result is that in high dimensions, a global height function is well defined with high probability, allowing to deduce the rigid structure of the coloring from previously known results. Moreover, the probability that the gradients accumulate to a vector $m$, corresponding to the winding in each of the $d$ directions, is at most exponentially small in the product of $\|m\|_\infty$ and the area of a cross-section of the torus. In the course of the proof we develop discrete analogues of notions from algebraic topology. This theory is developed in some generality and may be of use in the study of other models.

The firefighter problem is a monotone dynamic process in graphs that can be viewed as modeling the use of a limited supply of vaccinations to stop the spread of an epidemic. In more detail, a fire spreads through a graph, from burning vertices to their unprotected neighbors. In every round, a small amount of unburnt vertices can be protected by firefighters. How many firefighters per turn, on average, are needed to stop the fire from advancing? We prove tight lower and upper bounds on the amount of firefighters needed to control a fire in the Cartesian planar grid and in the strong planar grid, resolving two conjectures of Ng and Raff.