arXiv++ Combinatorics

We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until $n$ intervals have been produced. The discrepancy of such a process is the maximum, over all intermediate stages, of the ratio between the longest interval and the shortest interval. A theorem of de Bruijn and Erdős from 1949 shows that this ratio must approach $2$ as $n\to\infty$, and they give a sharp construction achieving this bound. For fixed $n$, their construction gives the upper bound $\text{disc}(n)\leq 2-\frac{3}{2n}+O(1/n^2)$. In this paper, we improve the first-order term of this bound. Specifically, we construct a strategy, called \emph{lex-merge}, with $\text{disc}(n)\leq 2-\frac{4\ln 2}{n}+O(1/n^2)$. We prove also the lower bound $\text{disc}(n)\geq 2-\frac{6\ln 2}{n}-O(1/n^2)$, showing that the first-order term in this improvement over the de Bruijn--Erdős construction has the correct order of magnitude. We conjecture that the lex-merge strategy is optimal for every $n$.

A compact metric surface $M$ isometrically fills a closed metric curve $C$ if $\partial M=C$ and $d_M(x,y)=d_C(x,y)$ for every $x,y\in C=\partial M$; that is, $M$ does not introduce any ``shortcuts'' between points on its boundary. Gromov's filling area conjecture in differential geometry from 1983 asserts that among all compact, orientable Riemannian surfaces which isometrically fill the Riemannian circle, the one with the smallest surface area is the hemisphere. Gromov demonstrated that this is indeed the case if $M$ is homeomorphic to the disk. While Gromov's conjecture has since been verified in some other cases, the full conjecture remains unresolved. In this paper, we consider a discrete analogue of Gromov's problem, which is likely natural to those who study graph embeddings on arbitrary surfaces. Using standard graph-theoretic tools, such as Menger's theorem, we obtain reasonable asymptotic bounds on this discrete variant. We then demonstrate how these discrete bounds can be translated to the continuous setting, showing that any isometric filling of the Riemannian circle of length $2π$ has surface area at least $1.36π$ (the hemisphere has surface area $2π$). This appears to be the first quantitative lower-bound on Gromov's problem that applies to arbitrary isometric fillings.

Write $W^{(n)}$ to mean the $n$-letter word obtained by repeating a fixed word $W$ and let $R_n$ denote a uniformly random $n$-letter word sampled from the same alphabet as $W$. We are interested in the average length of the longest common subsequence between $W^{(n)}$ and $R_n$, which is known to be $γ(W)\cdot n+o(n)$ for some constant $γ(W)$. Bukh and Cox recently developed an interacting particle system, dubbed the frog dynamics, which can be used to compute the constant $γ(W)$ for any fixed word $W$. They successfully analyzed the simplest case of the frog dynamics to find an explicit formula for the constants $γ(12\cdots k)$. We continue this study by using the frog dynamics to find an explicit formula for the constants $γ(12\cdots kk\cdots 21)$. The frog dynamics in this case is a variation of the PushTASEP on the ring where some clocks are identical. Interestingly, exclusion processes with correlated clocks of this type appear to have not been analyzed before. Our analysis leads to a seemingly new combinatorial object which could be of independent interest: frogs with hats!

Barber and Erde asked the following question: if $B$ generates $\mathbb Z^d$ as an additive group, then must the extremal sets for the vertex/edge-isoperimetric inequality on the Cayley graph $\operatorname{Cay}(\mathbb Z^d,B)$ form a nested family? We answer this question negatively for both the vertex- and edge-isoperimetric inequalities, specifically in the case of $d=1$. The key is to show that the structure of the cylinder $\mathbb Z\times(\mathbb Z/k\mathbb Z)$ can be mimicked in certain Cayley graphs on $\mathbb Z$, leading to a phase transition. We do, however, show that Barber--Erde's question for Cayley graphs on $\mathbb Z$ has a positive answer if one is allowed to ignore finitely many sets.

How many copies of a fixed odd cycle, $C_{2m+1}$, can a planar graph contain? We answer this question asymptotically for $m\in\{2,3,4\}$ and prove a bound which is tight up to a factor of $3/2$ for all other values of $m$. This extends the prior results of Cox--Martin and Lv et al. on the analogous question for even cycles. Our bounds result from a reduction to the following maximum likelihood question: which probability mass $μ$ on the edges of some clique maximizes the probability that $m$ edges sampled independently from $μ$ form either a cycle or a path?

We formulate explicit predictions concerning the symmetry of optimal codes in compact metric spaces. This motivates the study of optimal codes in various spaces where these predictions can be tested.