arXiv++ Combinatorics

We introduce a new spanning tree model called the random spanning tree in random environment (RSTRE), which interpolates between the uniform spanning tree and the minimum spanning tree as the inverse temperature (disorder strength) $β$ varies. On the complete graph with $n$ vertices and i.i.d.\ uniform disorder variables on the edges, we identify: (1) a low disorder regime with $β\leq C n/\log n$, where the diameter of the random spanning tree is typically of order $n^{1/2}$, the same as for the uniform spanning tree; (2) a high disorder regime with $β\geq n^{4/3} \log n$, where the diameter is typically of order $n^{1/3}$, the same as for the minimum spanning tree. We conjecture that for $β=n^α$ with $α\in (1, 4/3)$, the diameter is of order $n^{γ+o(1)}$ for some $γ=γ(α)$ strictly between $1/2$ and $1/3$.

We study the edge overlap and local limit of the random spanning tree in random environment (RSTRE) on the complete graph with $n$ vertices and weights given by $\exp(-βω_e)$ for $ω_e$ uniformly distributed on $[0,1]$. We show that for $β$ growing with $β= o(n/\log n)$, the edge overlap is $(1+o(1)) β$, while for $β$ much larger than $n \log^2 n$, the edge overlap is $(1-o(1))n$. Furthermore, there is a transition of the local limit around $β= n$. When $β= o(n/ \log n)$ the RSTRE locally converges to the same limit as the uniform spanning tree, whereas for $β$ larger than $n \log^λn$, where $λ= λ(n) \rightarrow \infty$ arbitrarily slowly, the local limit of the RSTRE is the same as that of the minimum spanning tree.

We address several related problems on combinatorial discrepancy of trees in a setting introduced by Erdős, Füredi, Loebl and Sós. Given a fixed tree $T$ on $n$ vertices and an edge-colouring of the complete graph $K_n$, for every colour, we find a copy of $T$ in $K_n$ where the number of edges in that colour significantly exceeds its expected count in a uniformly random embedding. This resolves a problem posed by Erdős, Füredi, Loebl and Sós by generalising their work from two to many colours. Furthermore, if $T$ has maximum degree $Δ\leqεn$ for sufficiently small $ε> 0$ and the edge-colouring of $K_n$ is both balanced and ``not too close'' to one particular instance, we show that, for every colour, there is a copy of $T$ in $K_n$ where that colour appears on linearly more edges than any other colour. Several related examples are provided to demonstrate the necessity of the introduced structural restrictions. Our proofs combine saturation arguments for the existence of particular coloured substructures and analysis of conveniently defined local exchanges. Using similar methods, we investigate the existence of copies of a graph $H$ with prescribed number of edges in each colour in $2$-edge-coloured dense host graphs. In particular, for a graph $H$ with bounded maximum degree and balanced $2$-edge-colourings $\mathbf{c}$ of a host graph $G$ with minimum degree at least $(1-ε)n$ for some $ε> 0$, we show that, for any sufficiently large $n$ and sufficiently small $ε$, there exists a copy of $H$ where the number of edges in the two colours differ by at most $2$. Moreover, we completely characterise the pairs $(H,\mathbf{c})$ for which the difference of $2$ cannot be improved, refuting a conjecture by Mohr, Pardey, and Rautenbach.

The $r$-colour Ramsey number $R_r(k)$ is the minimum $n \in \mathbb{N}$ such that every $r$-colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove, for each fixed $r \geqslant 2$, that $$R_r(k) \leqslant e^{-δk} r^{rk}$$ for some constant $δ= δ(r) > 0$ and all sufficiently large $k \in \mathbb{N}$. For each $r \geqslant 3$, this is the first exponential improvement over the upper bound of Erdős and Szekeres from 1935. In the case $r = 2$, it gives a different (and significantly shorter) proof of a recent result of Campos, Griffiths, Morris and Sahasrabudhe.

In 1972, Kotzig proved that for every even $n$, the complete graph $K_n$ can be decomposed into $\lceil\log_2n\rceil$ edge-disjoint regular bipartite spanning subgraphs, which is best possible. In this paper, we study regular bipartite decompositions of $(n,d,λ)$-graphs, where $n$ is an even integer and $d_0\leq d\leq n-1$ for some absolute constant $d_0$. With a randomized algorithm, we prove that such an $(n,d,λ)$-graph with $λ\leq d/12$ can be decomposed into at most $\log_2 d + 36$ regular bipartite spanning subgraphs. This is best possible up to the additive constant term. As a consequence, we also improve the best known bounds on $λ= λ(d)$ by Ferber and Jain (2020) to guarantee that an $(n,d,λ)$-graph on an even number of vertices admits a $1$-factorization, showing that $λ\leq cd$ is sufficient for some absolute constant $c > 0$.

An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. Gupta et al. (2012,\cite{Gupta}) showed that every $n$-vertex graph has at most $10^{\frac{n}{5}}\approx 1.5849^n$ maximal induced matchings, which is attained by the disjoint union of copies of the complete graph $K_5$. In this paper, we show that the maximum number of maximal and maximum induced matchings in a connected graph of order $n$ is \begin{align*} \begin{cases} {n\choose 2} &~ {\rm if}~ 1\leq n\le 8; \\ {{\lfloor \frac{n}{2} \rfloor}\choose 2}\cdot {{\lceil \frac{n}{2} \rceil}\choose 2} -(\lfloor \frac{n}{2} \rfloor-1)\cdot (\lceil \frac{n}{2} \rceil-1)+1 &~ {\rm if}~ 9\leq n\le 13; \\ 10^{\frac{n-1}{5}}+\frac{n+144}{30}\cdot 6^{\frac{n-6}{5}} &~ {\rm if}~ 14\leq n\le 30;\\ 10^{\frac{n-1}{5}}+\frac{n-1}{5}\cdot 6^{\frac{n-6}{5}} & ~ {\rm if}~ n\geq 31, \\ \end{cases} \end{align*} and also show that this bound is tight. This result implies that we can enumerate all maximal induced matchings of an $n$-vertex connected graph in time $O(1.5849^n)$. Moreover, our result provides an estimate on the number of maximal dissociation sets of an $n$-vertex connected graph.

Generalizing pseudospherical drawings, we introduce a new class of simple drawings, which we call separable drawings. In a separable drawing, every edge can be closed to a simple curve that intersects each other edge at most once. Curves of different edges might interact arbitrarily. Most notably, we show that (1) every separable drawing of any graph on $n$ vertices in the plane can be extended to a simple drawing of the complete graph $K_{n}$, (2) every separable drawing of $K_{n}$ contains a crossing-free Hamiltonian cycle and is plane Hamiltonian connected, and (3) every generalized convex drawing and every 2-page book drawing is separable. Further, the class of separable drawings is a proper superclass of the union of generalized convex and 2-page book drawings. Hence, our results on plane Hamiltonicity extend recent work on generalized convex drawings by Bergold et al. (SoCG 2024).

In this investigation we study a family of networks, called spiders, which covers a range of networks going from chains to complete graphs. These spiders are characterized by three parameters: the number of nodes in the core, the number of legs at each core node, and the length of these legs. Keeping two of the three parameters constant we investigate if spiders are small worlds in the sense recently defined by Egghe.

The canonical Ramsey theorem of Erdős and Rado implies that for any graph $H$, any edge-coloring (with an arbitrary number of colors) of a sufficiently large complete graph $K_N$ contains a monochromatic, lexicographic, or rainbow copy of $H$. The least such $N$ is called the Erdős-Rado number of $H$, denoted by $ER(H)$. Erdős-Rado numbers of cliques have received considerable attention, and in this paper we extend this line of research by studying Erdős-Rado numbers of sparse graphs. For example, we prove that if $H$ has bounded degree, then $ER(H)$ is polynomial in $|V(H)|$ if $H$ is bipartite, but exponential in general. We also study the closely-related problem of constrained Ramsey numbers. For a given tree $S$ and given path $P_t$, we study the minimum $N$ such that every edge-coloring of $K_N$ contains a monochromatic copy of $S$ or a rainbow copy of $P_t$. We prove a nearly optimal upper bound for this problem, which differs from the best known lower bound by a function of inverse-Ackermann type.

A graph has a locating rainbow coloring if every pair of its vertices can be connected by a path passing through internal vertices with distinct colors and every vertex generates a unique rainbow code. The minimum number of colors needed for a graph to have a locating rainbow coloring is referred to as the locating rainbow connection number of a graph. Let $G$ and $H$ be two connected, simple, and undirected graphs on disjoint sets of $|V(G)|$ and $|V(H)|$ vertices, $|E(G)|$ and $|E(G)|$ edges, respectively. For $j\in\{1,2,...,|E(G_m)|\}$, the edge corona of $G_m$ and $H_n$, denoted as $G_m \diamond H_n$, is constructed by using a single copy of $G_m$ and $E(G_m)$ copies of $H_n$, and then connecting the two end vertices of the $j$-th edge of $G_m$ to every vertex in the $j$-th copy of $H_n$. In this paper, we determine the upper and lower bounds of the locating rainbow connection number for the class of graphs resulting from the edge corona of a graph with a complete graph. Furthermore, we demonstrate that these upper and lower bounds are tight.

We introduce the \emph{ID-index} of a finite simple connected graph. For a graph $G=(V,\ E)$ with diameter $d$, we let $f:V\longrightarrow \mathbb{R}$ assign \emph{ranks} to the vertices, then under $f$, each vertex $v$ gets a \emph{string}, which is a $d$-vector with the $i$-th coordinate being the sum of the ranks of the vertices that are of distance $i$ from $v$. The \emph{ID-index} of $G$, denoted by $IDI(G)$, is defined to be the minimum number $k$ for which there is an $f$ with $|f(V)|=k$, such that each vertex gets a distinct string under $f$. We present some relations between ID-graphs, which were defined by Chartrand, Kono, and Zhang, and their ID-indices; give a lower bound on the ID-index of a graph; and determine the ID-indices of paths, grids, cycles, prisms, complete graphs, some complete multipartite graphs, and some caterpillars.

Given $K_n$ whose edges are coloured red and blue, and a forest $F$ of order $n$, we seek embeddings of $F$ with small imbalance, that is, difference between the numbers of red and blue edges. We show that if the $2$-colouring of the edges of $K_n$ is balanced, meaning that the numbers of red and blue edges are equal, and $F$ has maximum degree $Δ$, then one can find an embedding of $F$ into $K_n$ whose imbalance is at most $Δ/2 + 18$, which is essentially best possible and resolves a conjecture of Mohr, Pardey, and Rautenbach. Furthermore, we give a tighter bound for the imbalance for small values of $Δ$. In particular, we prove that the imbalance can be taken to be constant in the case where $Δ<n(1/4 - η)$ for any constant $η>0$.

We describe a construction for embeddings of complete graphs where the dual has a cutvertex and the genus is close to the minimum genus of the primal graph. When the number of vertices is congruent to 5 modulo 12, we further guarantee that the dual is simple and that the genera of the resulting embeddings match a lower bound of Brinkmann, Noguchi, and Van den Camp, showing that their lower bound is tight infinitely often.

Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] determined the unique spectral extremal graph over all outerplanar graphs and the unique spectral extremal graph over all planar graphs when the number of vertices is sufficiently large. In this paper we consider the spectral extremal problems of outerplanar graphs and planar graphs with fixed number of edges. We prove that the outerplanar graph on $m \geq 64$ edges with the maximum spectral radius is $S_m$, where $S_m$ is a star with $m$ edges. For planar graphs with $m$ edges, our main result shows that the spectral extremal graph is $K_2 \vee \frac{m-1}{2} K_1$ when $m$ is odd and sufficiently large, and $K_1 \vee (S_{\frac{m-2}{2}} \cup K_1)$ when $m$ is even and sufficiently large. Additionally, we obtain spectral extremal graphs for path, cycle and matching in outerplanar graphs and spectral extremal graphs for path, cycle and complete graph on $4$ vertices in planar graphs.

Keevash, Lenz and Mubayi developed a general criterion for hypergraph spectral extremal problems in their seminal work (SIAM J. Discrete Math., 2014). Their framework shows that extremal results on the $α$-spectral radius (for $α> 1$) may be deduced from a corresponding hypergraph Turán problem exhibiting stability properties, provided its extremal construction satisfies certain continuity assumptions. In this paper, we establish a spectral stability result for nondegenerate hypergraphs, extending the Keevash--Lenz--Mubayi criterion. Applying this result, we derive two general spectral Turán theorems for hypergraphs with bipartite or multipartite pattern, thereby transforming spectral Turán problems into the corresponding purely combinatorial problems related to degree-stability in nondegenerate $k$-graph families. As applications, we determine the maximum $α$-spectral radius for several classes of hypergraph and characterize the corresponding extremal hypergraphs, such as the expansion of complete graphs, the generalized fans, the cancellative hypergraphs, the generalized triangles, and a special book hypergraph.

Consider the random $u$-uniform hypergraph (or $u$-graph) process on $n$ vertices, where $n$ is divisible by $r>u\ge 2$. It was recently shown that with high probability, as soon as every vertex is covered by a copy of the complete $u$-graph $K_r$, it also contains a $K_r$-factor (RSA, Vol. 65 II, Sept. 2024). The hitting time result is obtained using a process coupling, which is based on the proof of the corresponding sharp threshold result (RSA, Vol. 61 IV, Dec. 2022). The latter, however, was not only derived for complete $u$-graphs, but for a broader class of so-called nice $u$-graphs. The purpose of this article is to extend the process coupling for complete $u$-graphs to the full scope of the sharp threshold result: nice $u$-graphs. As a byproduct, we obtain the extension of the hitting time result to nice $u$-graphs. Since the relevant combinatorial bounds in the proof for the $K_r$-case cannot be generalized, we introduce new arguments that do not only apply to nice u-graphs, but will be relevant for the broader class of strictly 1-balanced u-graphs. Further, we show how the remainder of the process coupling for the $K_r$-case can be utilized in a black-box manner for any u-graph. These advances pave the way for future generalizations.

In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices. In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament. We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.

One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{á}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{á}n's result to arbitrary graphs $H$ with $χ(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$. In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.

We investigate the property of a spatial graph of having a leveled embedding and characterize the abstract graphs with this property. We show that all leveled embeddings are free and we compare leveled and paneled (also known as flat) embeddings. Two new graph invariants are introduced: the level number, an invariant for graphs that admit a leveled embedding, and the Hamiltonian level number, an invariant for Hamiltonian graphs. These invariants provide a measure on how far a graph is from being planar. We study the relation between the (Hamiltonian) level number and other graph invariants that minimize the decomposition of a graph in planar subgraphs, namely the thickness and the book thickness of a graph. We characterize graphs with low level number and determine both the level number and the Hamiltonian level number of complete graphs and of complete bipartite graphs.

The Chan-Robbins-Yuen polytope ($CRY_n$) of order $n$ is a face of the Birkhoff polytope of doubly stochastic matrices that is also a flow polytope of the directed complete graph $K_{n+1}$ with netflow $(1,0,0, \ldots , 0, -1)$. The volume and lattice points of this polytope have been actively studied, however its face structure has received less attention. We give generating functions and explicit formulas for computing the $f$-vector by using Hille's (2003) result bijecting faces of a flow polytope to certain graphs, as well as Andresen-Kjeldsen's (1976) result that enumerates certain subgraphs of the directed complete graph. We extend our results to flow polytopes of the complete graph having arbitrary (non-negative) netflow vectors and recover the $f$-vector of the Tesler polytope of Mészáros--Morales--Rhoades (2017).