arXiv++ Combinatorics

We introduce a stochastic model for the papal conclave in which $n$ cardinals vote repeatedly among themselves until one cardinal receives all the votes. In each round, the probability that a cardinal votes for a given candidate is proportional to the $α$-th power of that candidate's vote count in the preceding round. For $α=1$, the model reduces to the Wright-Fisher model and is dual to Kingman's n-coalescent. We reveal a sharp transition in the absorption time $\mathcal{T}$ at $α=1$. It was known that when $α=1$, $\mathcal{T}$ is typically of order $n$. We prove that for $α>1$, it drops to order $\textit{loglog n.}$ In contrast, for $α<1$, $\mathcal{T}$ is typically at least $\exp(Ω(n))$. We also prove a sharp phase transition in the identity of the winner when $α>1$. For every positive integer $k$, if $2^{1/k}<α<2^{1/(k-1)}$ (where we write $2^{1/0} = +\infty$), with probability tending to 1 as $n\to\infty$, the eventual winner is the unique leader after round $k$. These results show that reinforced voting processes reach consensus remarkably quickly even for large electorates.

For an arbitrary finite tree $T$, we find the exact value of the wort-case stabilisation time of majority dynamics on $T$. We also prove that for a perfect rooted cubic tree $T$ with diameter $D$ and uniformly random initial opinions, the dynamics stabilises in time $τ\in(D/4,D/3)$ with high probability.

Let $G$ be a graph on $n$ vertices and $(H,+)$ be an abelian group. What is the minimum size ${\sf S}_H(G)$ of the set of all sums $A(u)+A(v)$ over all injections $A:V(G)\to H$? In 2012, the first author, Angel, the second author, and Lubetzky proved that, for expander graphs and $H=\mathbb{Z}$, this minimum is at least $Ω(\log n)$, and this bound is tight -- there exists a regular expander $G$ with ${\sf S}_{\mathbb{Z}}(G)=O(\log n)$. We prove that, for every constant $d\geq 3$, the random $d$-regular graph $\mathcal{G}_{n,d}$ has significantly larger sum-sets: with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=Ω(n^{1-2/d})$. In particular, this proves that, for every $\varepsilon>0$, there exists a regular graph with $O(n)$ edges and with sum-sets of size at least $n^{1-\varepsilon}$, for all abelian groups. The bound ${\sf S}_H(\mathcal{G}_{n,d})=Ω(n^{1-2/d})$ is tight up to a polylogarithmic factor: We show that, for every $3\leq d\leq \ln n/ \ln \ln n$, there exists an abelian group $H$ such that, for every graph $G$ on $n$ vertices with maximum degree at most $d$, ${\sf S}_H(G) \leq n^{1-2/d}(\log n)^{O(1)}$. We also prove that, for $d\gg\ln^2 n$, with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=n(1-o(1))$ and determine the second-order term, up to a polylogarithmic factor.

A graph $G$ is $m$-minor-universal if every graph with at most $m$ edges (and no isolated vertices) is a minor of $G$. We prove that the $d$-dimensional hypercube, $Q_d$, is $Ω\left(\frac{2^d}{d}\right)$-minor-universal, and that there exists an absolute constant $C >0$ such that $Q_d$ is not $\frac{C2^d}{\sqrt{d}}$-minor-universal. Similar results are obtained in a more generalized setting, where we bound the size of minors in a product of finite connected graphs. A key component of our proof is the following claim regarding the decomposition of a permutation of a box into simpler, one-dimensional permutations: Let $n_1, \dots, n_d$ be positive integers, and define $X := [n_1] \times \dots \times [n_d]$. We prove that every permutation $σ: X \to X$ can be expressed as $σ= σ_1 \circ \dots \circ σ_{2d-1}$, where each $σ_i$ is a one-dimensional permutation, meaning it fixes all coordinates except possibly one. We discuss future directions and pose open problems.

It is proved that the number of shortest paths between two vertices of distance $t$ in a graph with degrees bounded by $Δ$ is at most $2 \cdot (\fracΔ{2})^t$. This improves upon the naïve $Δ(Δ-1) ^{t-1}$ bound.

It is proved that the number of subsets of $[n]^d$ that tile $\mathbb{Z}^d$ is $\left(3^{\frac{1}{3}}\right)^{n^d \pm o(n^d)}$.

Twisted hypercubes are generalizations of the Boolean hypercube, obtained by iteratively connecting two instances of a graph by a uniformly random perfect matching. Dudek et al. showed that when the two instances are independent, these graphs have optimal diameter. We study twisted hypercubes in the setting where the instances can have general dependence, and also in the particular case where they are identical. We show that the resultant graph shares properties with random regular graphs, including small diameter, large vertex expansion, a semicircle law for its eigenvalues and no non-trivial automorphisms. However, in contrast to random regular graphs, twisted hypercubes allow for short routing schemes.

We investigate rigidity-type problems on the real line and the circle in the non-generic setting. Specifically, we consider the problem of uniquely determining the positions of $n$ distinct points $V = {v_1, \ldots, v_n}$ given a set of mutual distances $\mathcal{P} \subseteq {V \choose 2}$. We establish an extremal result: if $|\mathcal{P}| = Ω(n^{3/2})$, then the positions of a large subset $V' \subseteq V$, where large means $|V'| = Ω(\frac{|\mathcal{P}|}{n})$, can be uniquely determined up to isometry. As a main ingredient in the proof, which may be of independent interest, we show that dense graphs $G=(V,E)$ for which every two non-adjacent vertices have only a few common neighbours must have large cliques. Furthermore, we examine the problem of reconstructing $V$ from a random distance set $\mathcal{P}$. We establish that if the distance between each pair of points is known independently with probability $p = \frac{C \ln(n)}{n}$ for some universal constant $C > 0$, then $V$ can be reconstructed from the distances with high probability. We provide a randomized algorithm with linear expected running time that returns the correct embedding of $V$ to the line with high probability. Since we posted a preliminary version of the paper on arxiv, follow-up works have improved upon our results in the random setting. Girão, Illingworth, Michel, Powierski, and Scott proved a hitting time result for the first moment at which an time at which one can reconstruct $V$ when $\mathcal{P}$ is revealed using the Erdös--Rényi evolution, our extremal result lies in the heart of their argument. Montgomery, Nenadov and Szabó resolved a conjecture we posed in a previous version and proved that w.h.p a graph sampled from the Erdös--Rényi evolution becomes globally rigid in $\mathbb{R}$ at the moment it's minimum degree is $2$.

In this paper we find an integer $h=h(n)$ such that the minimum number of variables of a first order sentence that distinguishes between two independent uniformly distributed random graphs of size $n$ with the asymptotically largest possible probability $\frac{1}{4}-o(1)$ belongs to $\{h,h+1,h+2,h+3\}$. We also prove that the minimum (random) $k$ such that two independent random graphs are distinguishable by a first order sentence with $k$ variables belongs to $\{h,h+1,h+2\}$ with probability $1-o(1)$.

We observe the outcome of the discrete time noisy voter model at a single vertex of a graph. We show that certain pairs of graphs can be distinguished by the frequency of repetitions in the sequence of observations. We prove that this statistic is asymptotically normal and that it distinguishes between (asymptotically) almost all pairs of finite graphs. We conjecture that the noisy voter model distinguishes between any two graphs other than stars.

We analyse an extremal question on the degrees of the link graphs of a finite regular graph, that is, the subgraphs induced by non-trivial spheres. We show that if $G$ is $d$-regular and connected but not complete then some link graph of $G$ has minimum degree at most $\lfloor 2d/3\rfloor-1$, and if $G$ is sufficiently large in terms of $d$ then some link graph has minimum degree at most $\lfloor d/2\rfloor-1$; both bounds are best possible. We also give the corresponding best-possible result for the corresponding problem where subgraphs induced by balls, rather than spheres, are considered. We motivate these questions by posing a conjecture concerning expansion of link graphs in large bounded-degree graphs, together with a heuristic justification thereof.

It is known that for every $α\geq 1$ there is a planar triangulation in which every ball of radius $r$ has size $Θ(r^α)$. We prove that for $α<2$ every such triangulation is quasi-isometric to a tree. The result extends to Riemannian 2-manifolds of finite genus, and to large-scale-simply-connected graphs. We also prove that every planar triangulation of asymptotic dimension 1 is quasi-isometric to a tree.

We conjecture that finite graphs with positive Cheeger constant admit a spanning subgraph with positive Cheeger constant and girth proportional to the diameter. We prove this conjecture for regular expander graphs with large expansion. Our proof relies on the Local Lemma.

Green and Sisask showed that the maximal number of $3$-term arithmetic progressions in $n$-element sets of integers is $\lceil n^2/2\rceil$; it is easy to see that the same holds if the set of integers is replaced by the real line or by any Euclidean space. We study this problem in general metric spaces, where a triple $(a,b,c)$ of points in a metric space is considered a $3$-term arithmetic progression if $d(a,b)=d(b,c)=\frac{1}{2}d(a,c)$. In particular, we show that the result of Green and Sisask extends to any Cartan--Hadamard manifold (in particular, to the hyperbolic spaces), but does not hold in spherical geometry or in the $r$-regular tree, for any $r\geq 3$.

A conjecture regarding the structure of expander graphs is discussed.

We study the minimum total weight of a disk triangulation using vertices out of $\{1,\ldots,n\}$, where the boundary is the triangle $(123)$ and the $\binom{n}3$ triangles have independent weights, e.g. $\mathrm{Exp}(1)$ or $\mathrm{U}(0,1)$. We show that for explicit constants $c_1,c_2>0$, this minimum is $c_1 \frac{\log n}{\sqrt n} + c_2 \frac{\log\log n}{\sqrt n} + \frac{Y_n}{\sqrt n}$ where the random variable $Y_n$ is tight, and it is attained by a triangulation that consists of $\frac14\log n + O_P(\sqrt{\log n}) $ vertices. Moreover, for disk triangulations that are canonical, in that no inner triangle contains all but $O(1)$ of the vertices, the minimum weight has the above form with the law of $Y_n$ converging weakly to a shifted~Gumbel. In addition, we prove that, with high probability, the minimum weights of a homological filling and a homotopical filling of the cycle $(123)$ are both attained by the minimum weight disk triangulation.

We apply the theory of unimodular random rooted graphs to study the metric geometry of large, finite, bounded degree graphs whose diameter is proportional to their volume. We prove that for a positive proportion of the vertices of such a graph, there exists a mesoscopic scale on which the graph looks like $\mathbb{R}$ in the sense that the rescaled ball is close to a line segment in the Gromov-Hausdorff metric.

We observe that a ball of radius $1$ in the grandfather graph can not be realized as a ball of radius $1$ in a finite vertex transitive graph. We remark on when a ball in a finite vertex transitive graph appears as a ball in an infinite vertex transitive graph.

We continue the study of the properties of graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to the ball of radius $r$ in some fixed vertex-transitive graph $F$, for various choices of $F$ and $r$. This is a natural extension of the study of regular graphs. More precisely, if $F$ is a vertex-transitive graph and $r \in \mathbb{N}$, we say a graph $G$ is {\em $r$-locally $F$} if the ball of radius $r$ around each vertex of $G$ induces a graph isomorphic to the graph induced by the ball of radius $r$ around any vertex of $F$. We consider the following random graph model: for each $n \in \mathbb{N}$, we let $G_n = G_n(F,r)$ be a graph chosen uniformly at random from the set of all unlabelled, $n$-vertex graphs that are $r$-locally $F$. We investigate the properties possessed by the random graph $G_n$ with high probability, for various natural choices of $F$ and $r$. We prove that if $F$ is a Cayley graph of a torsion-free group of polynomial growth, and $r$ is sufficiently large depending on $F$, then the random graph $G_n = G_n(F,r)$ has largest component of order at most $n^{5/6}$ with high probability, and has at least $\exp(n^δ)$ automorphisms with high probability, where $δ>0$ depends upon $F$ alone. Both properties are in stark contrast to random $d$-regular graphs, which correspond to the case where $F$ is the infinite $d$-regular tree. We also show that, under the same hypotheses, the number of unlabelled, $n$-vertex graphs that are $r$-locally $F$ grows like a stretched exponential in $n$, again in contrast with $d$-regular graphs. In the case where $F$ is the standard Cayley graph of $\mathbb{Z}^d$, we obtain a much more precise enumeration result, and more precise results on the properties of the random graph $G_n(F,r)$. Our proofs use a mixture of results and techniques from geometry, group theory and combinatorics.

We prove a discrete analogue to a classical isoperimetric theorem of Weil for surfaces with non-positive curvature. It is shown that hexagons in the triangular lattice have maximal volume among all sets of a given boundary in any triangulation with minimal degree 6.