arXiv++ Combinatorics

A subgraph $H$ of an edge-colored graph $G$ is rainbow if all the edges of $H$ receive different colors. If $G$ does not contain a rainbow subgraph isomorphic to $H$, we say that $G$ is rainbow $H$-free. For connected graphs $H_1$ and $H_2$, if there exists an integer $t=t(H_1,H_2)$ such that every rainbow $H_1$-free edge-colored complete graph colored with $t$ or more colors is rainbow $H_2$-free, then we write $H_1\le H_2$. The binary relation $\le$ is reflexive and transitive, and hence it is a preorder. For graphs $H_1$ and $H_2$, we write $H_1 \equiv H_2$ if both $H_1 \le H_2$ and $H_2 \le H_1$ hold. Then $\equiv$ is an equivalence relation. If $H_1$ is a subgraph of $H_2$, then trivially $H_1\le H_2$ holds. On the other hand, there exists a pair $(H_1, H_2)$ such that $H_1$ is a proper supergraph of $H_2$ and $H_1\le H_2$ holds. Q.~Cui, Q.~Liu, C.~Magnant and A.~Saito [Discrete Math. {\bf 344} (2021) Article Number 112267] characterized these pairs. %On the other hand, there are few known results regarding the study of $\leq$ for the incomparable with respect to $\subseteq$. Cui et al. found pairs of graphs $H_1$ and $H_2$ such that $H_1 \leq H_2$ and $H_2 \leq H_1$, that is, non-singleton equivalence class with respect to $\le$. However, we have not found any other non-singleton equivalence class with respect to $\le$ except for those discovered by Cui et al. In this paper. we investigate the existence of non-singleton equivalence class with respect to $\le$ by focusing on trees.

We provide two constructions for $t$ edge-disjoint maximal outerplanar graphs on every number of $n \geq 4t$ vertices. The bound on the minimum number of vertices is tight. These constructions yield the existence of optimal outerthickness-$t$ graphs for every $t \in \mathbb{N}$. While one of the constructions works for all values of $t$ and extends graphs from Guy and Nowakowski (1990), the other one holds only for powers of $2$, but yields graphs with maximum degree logarithmic in the number of vertices. Thus, the latter may be helpful in tackling the open question of determining the outerthickness of all complete graphs.

Let $H$ be a fixed graph whose edges are colored red and blue and let $β\in [0,1]$. Let $I(H, β)$ be the (asymptotically normalized) maximum number of copies of $H$ in a large red/blue edge-colored complete graph $G$, where the density of red edges in $G$ is $β$. This refines the problem of determining the semi-inducibility of $H$, which is itself a generalization of the classical question of determining the inducibility of $H$. The function $I(H, β)$ for $β\in [0,1]$ was not known for any graph $H$ on more than three vertices, except when $H$ is a monochromatic clique (Kruskal-Katona) or a monochromatic star (Reiher-Wagner). We obtain sharp results for some four and five vertex graphs, addressing several recent questions posed by various authors. We also obtain some general results for trees and stars. Many open problems remain.

The point-thickness $θ'(G)$ of a graph $G$ is the minimum number of subsets into which the vertex set $V(G)$ of $G$ is partitioned such that each subset induces a planar subgraph. In this paper, we determine the point-thicknesses of complete graphs and complete multipartite graphs.

We define a grid graph as a Cartesian product of path-graphs $P_n$ or cycle-graphs $C_n$, and define a grid design as a $G$-design where the graph $G$ is a grid graph, that is, a decomposition of a complete graph into edge-disjoint subgraphs isomorphic to $G$. We show that when $n$ is an odd prime or the square of an odd prime, the toroidal grid-graph $G = C_n \square C_n$ admits a $G$-design. In the less symmetrical case of products of path-graphs, we prove that $G = P_3 \square P_3$ does not admit a $G$-design but that $G = P_4 \square P_4$ does. This last result is the special case that motivated the present paper: a $P_4 \square P_4$-design corresponds to a way of successively scrambling a Connections puzzle so that each pair of words occurs adjacently exactly once. Our constructions use the arithmetic of finite fields.

Erdős and Lov'asz asked whether there exists a "3-critical" 3-uniform hypergraph in which every vertex has degree at least 7. The original formulation does not specify what 3-critical means, and two non-equivalent notions have appeared in the literature and in later discussions of the problem. In this paper we resolve the question under both interpretations. For the transversal interpretation (criticality with respect to the transversal number), we prove that a 3-uniform hypergraph $H$ with $τ(H)=3$ and $τ(H-e)=2$ for every edge $e$ has at most 10 edges; in particular, $δ(H)\le 6$, and this bound is sharp, witnessed by the complete 3-graph $K^{(3)}_5$. For the chromatic interpretation (criticality with respect to weak vertex-colourings), we give an explicit 3-uniform hypergraph on 9 vertices with $χ(H)=3$ and minimum degree $δ(H)=7$ such that deleting any single edge or any single vertex makes it 2-colourable. The criticality of the example is certified by explicit witness 2-colourings listed in the appendices, together with a short verification script.

We prove that the local limit of the weighted spanning trees on any simple connected high degree almost regular sequence of electric networks is the Poisson(1) branching process conditioned to survive forever, by generalizing [NP22] and closing a gap in their proof. We also study the local statistics of the WST's on high degree almost balanced sequences, which is interesting even for the uniform spanning trees. Our motivation comes from studying an interpolation $\{\mathsf{WST}^β(G)\}_{β\in [0, \infty)}$ between UST(G) and MST(G) by WST's on a one-parameter family of random environments. This model has recently been introduced in [MSS24, Kús24], and the phases of several properties have been determined on the complete graphs. We show a phase transition of $\mathsf{WST}^{β_n}(G_n)$ regarding the local limit and expected edge overlaps for high degree almost balanced graph sequences $G_n$, without any structural assumptions on the graphs; while the expected total length is sensitive to the global structure of the graphs. Our general framework results in a better understanding even in the case of complete graphs, where it narrows the window of the phase transition of [Mak24].

During their investigation of power-sequence terraces, Anderson and Preece briefly mention a construction of a terrace for the cyclic group $\mathbb{Z}_n$ when $n$ is odd and $2n+1$ is prime; it is built using the discrete logarithm modulo $2n+1$. In this short note we see that this terrace gives rise to an orthogonal double cover (ODC) for the complete graph $K_n$ by Hamiltonian paths. This gives infinitely many new values for which such an ODC is known.

Recently, Lafond and Luo [MFCS 2023] defined the $\mathcal{G}$-modular cardinality of a graph $G$ as the minimum size of a partition of $V(G)$ into modules that belong to a graph class $\mathcal{G}$. We analyze the complexity of calculating parameters that generalize interval graphs when parameterized by the $\mathcal{G}$-modular cardinality, where $\mathcal{G}$ corresponds either to the class of interval graphs or to the union of complete graphs. Namely, we analyze the complexity of computing the thinness and the simultaneous interval number of a graph. We present a linear kernel for the Thinness problem parameterized by the interval-modular cardinality and an FPT algorithm for Simultaneous Interval Number when parameterized by the cluster-modular cardinality plus the solution size. The interval-modular cardinality of a graph is not greater than the cluster-modular cardinality, which in turn generalizes the neighborhood diversity and the twin-cover number. Thus, our results imply a linear kernel for Thinness when parameterized by the neighborhood diversity of the input graph, FPT algorithms for Thinness when parameterized by the twin-cover number and vertex cover number, and FPT algorithms for Simultaneous Interval Number when parameterized by the neighborhood diversity plus the solution size, twin-cover number, and vertex cover number. To the best of our knowledge, prior to our work no parameterized algorithms (FPT or XP) for computing the thinness or the simultaneous interval number were known. On the negative side, we observe that Thinness and Simultaneous Interval Number parameterized by treewidth, pathwidth, bandwidth, (linear) mim-width, clique-width, modular-width, or even the thinness or simultaneous interval number themselves, admit no polynomial kernels assuming NP $\not\subseteq$ coNP/poly.

We consider the homogeneous Kuramoto model on a graph and study the geometry of its associated nonconvex energy landscape. This problem admits a dual interpretation. On the one hand, it can be viewed as a geometric optimization problem, seeking configurations of phases that minimize the energy function $E(\boldsymbolθ):=-\sum_{1\leq i,j\neq n}A_{ij}\cos(θ_i-θ_j)$. On the other hand, the same function serves as the potential governing the dynamics of the classical homogeneous Kuramoto model. A central question is to identify which graphs induce a benign energy landscape, in the sense that every second-order stationary point is a global minimizer, corresponding to the fully synchronized state. In this case, the graph is said to be globally synchronizing. Most existing results establish global synchronization by relating a given graph to the complete graph, which is known to be globally synchronizing, and by showing that graphs sufficiently close to it inherit this property. In contrast, we uncover a fundamentally different mechanism: global synchronization, despite being a collective phenomenon, unfolds on these graphs through a sequential process of local synchronization that propagates along their structural skeletons. Our approach is based on a detailed analysis of the phasor geometry at second-order stationary points of the nonconvex energy landscape.

We study a model of random weighted uniform spanning trees on the complete graph with $n$ vertices, where each edge is assigned a weight of $n^{1+γ}$ with probability $1/n$ and $1$ otherwise. Whenever $γ$ is large enough, we prove that the diameter of the resulting tree is typically of order $n^{1/3} \log n$, up to a $\log \log n$ correction. Our approach uses estimates on repeat times for selecting components in a critical Erdős-Rényi graph, as well as concentration bounds on the sums of diameters of these components.

We study the asymptotic density of self-identifying codes in the direct product graphs $K_m \times P_n$ and $K_m \times C_n$ (the direct product of complete graphs with paths and cycles). A self-identifying code is a dominating set $S$ where each vertex $u$ (in $G$) is uniquely determined by the intersection $\bigcap_{c \in N[u] \cap S} N[c]$. Let $γ^{\rm SID}(G)$ denote its minimum size. For these product graphs, we establish new lower and upper bounds on $γ^{\rm SID}$. Crucially, from these bounds we prove that the asymptotic density $γ^{\rm SID}(G) / |V(G)|$ of a smallest self-identifying code converges to 1/3 for both families of graphs. This value matches the known asymptotic density of standard identifying codes in the same graphs, as established by Shinde and Waphare. Our result therefore shows that the stronger self-identifying constraint does not necessitate a higher density of vertices in this product setting.

The $S$-Steiner tree packing problem provides mathematical foundations for optimizing multi-path information transmission, particularly in designing fault-tolerant parallelized routing architectures for massive-scale network infrastructures. In this article, we propose the definitions of completely independent $S$-Steiner trees (CISSTs for short) and generalized $k^*$-connectivity, which generalize the definitions of internally disjoint $S$-Steiner trees and generalized $k$-connectivity. Given a connected graph $G = (V,E)$ and a vertex subset $S\subseteq V, |S|\geq 2,$ an $S$-Steiner tree of $G$ is a subtree in $G$ that spans all nodes in $S.$ The $S$-Steiner trees $T_1,T_2,\cdots, T_k$ of $G$ are completely independent pairwise if for any $1\leq p<q\leq k,$ $E(T_p)\cap E(T_q)=\emptyset$ , $V(T_p)\cap V(T_q)=S,$ and for any two vertices $x_{1},x_{2}$ in $S$, the paths connecting $x_{1}$ and $x_{2}$ in $T_p,T_q$ are pairwise internally disjoint. The packing number of CISSTs, denoted by $κ^*_G(S),$ is the maximum number of CISSTs in $G.$ The generalized $k^*$-connectivity $κ_k^*(G)$ is the minimum $κ_G^*(S)$ for $S$ ranges over all $k$-subsets of $V(G).$ We provide a detailed characterization of CISSTs. Also, we investigate the CISSTs of complete graphs and complete bipartite graphs. Furthermore, we determine the generalized $k^*$-connectivity for complete graphs and give a tight lower bound of the generalized $k^*$-connectivity for complete bipartite graphs.

This paper studies increasing trees on $n$ labeled vertices, in which labels increase from the root to the leaves. It is known that the number of binary increasing trees coincides with the number of alternating permutations (Euler numbers). Riordan obtained explicit formulas for the numbers of ternary and quaternary trees. This article derives a general formula for the number of $m\text{-ary}$ increasing trees for any $m$. The main result is expressed in terms of the degree-chromatic polynomial of the complete graph and Bell polynomials. It is shown how the corresponding generating function is related to the inversion problem and how combinatorial methods, including the lemma on coefficients of the multiplicative inverse function and the Lagrange inversion formula, can be used to compute the coefficients. A connection is also established between the values of the degree-chromatic polynomial at $λ=-1$ and the numbers of special permutations studied by Gessel.

Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most important open problems in graph theory. The case of Hadwiger's Conjecture for graphs with $α(G) = 2$ has garnered much attention. Seymour writes: ``My own belief is, if Hadwiger's Conjecture is true for graphs with stability number two then it is probably true in general, so it would be very nice to decide this case.'' This paper presents several tools useful for proving that a graph $G$ with $α(G) = 2$ satisfies Hadwiger's Conjecture. In doing so, we survey and generalise several classical results on the $α(G) = 2$ case of Hadwiger's Conjecture. Further, we apply these tools to prove variants of Hadwiger's Conjecture for several noteworthy classes of graphs with $α(G) = 2$. In particular, we prove Hadwiger's Conjecture for inflations of the complements of the following graphs: graphs with girth at least $5$, triangle-free Kneser graphs, and the Clebsch, Mesner, and Gewirtz graphs. This paper also highlights classes of graphs with $α(G) = 2$ where it is unknown if Hadwiger's Conjecture holds.

Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one. This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances. Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density. In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.

We refine upper bounds on the permanent saturation time of metric graphs using interval exchange transformations (IETs). Earlier results gave bounds under incommensurable edge lengths, we improve and generalize them by using the ergodic and minimal properties of IETs. By associating an IET to a metric graph, we show that the induced interval dynamics are ergodic and minimal, which ensures uniform coverage over time. Our main theorem gives a sharper upper bound for the saturation time in terms of edge lengths and structural constants of the graph. We also define the Lyapunov spectrum of the Kontsevich-Zorich cocycle for these maps and relate it to the system's dynamics. We validate our theoretical findings through simulations on specific graph configurations, such as the complete graph $K_4$ and star graphs, confirming the accuracy of our estimates. These results strengthen existing estimates and provide tools for studying connectivity at the interface of graph theory and dynamical systems.

The anti-Ramsey number of a graph $G$, introduced by Erdős et al.\ in 1975, is the maximum number of colors in an edge-coloring of the complete graph $K_n$ that avoids a rainbow copy of $G$. We call a subset of edges of $G$ \emph{neutral} for the anti-Ramsey number if removing them does not alter the anti-Ramsey number of $G$. Let $k$, $t$, and $n$ be positive integers, and consider $G = kP_4 \cup tP_2$. Assume $S \subseteq E(G)$ consists of internal edges of the $P_4$ components in $G$. It is known that $S$ is neutral when $t \geq k+1 \geq 2$ and $n \geq 8k + 2t - 4$. In this paper, we identify values of $k \geq t$ such that, for all $n$ in a specific subinterval of $[8k + 2t - 4, \infty)$, $S$ remains neutral. Since the anti-Ramsey numbers for matchings are well understood, our results provide a complete determination of the anti-Ramsey number for $G$ under these conditions. Based on our findings, we conjecture that this neutrality may extend to the general case $t \geq 1$, $k \geq 1$, and $n \geq 4k + 2t$, but not when $t = 0$, $k \geq 2$, and $n \geq 4k$.

The study of eigenvalue multiplicities plays a central role in the spectral theory of signed graphs, extending several classical results from the unsigned setting. While most existing work focuses on the nullity of a signed graph (the multiplicity of the eigenvalue $0$), much less is known for arbitrary eigenvalues. In this paper, we establish a sharp upper bound for the multiplicity $m(G_σ, λ)$ of any real eigenvalue $λ$ of a connected signed graph $G_σ$ in terms of its girth. Our main result shows that \[ m(G_σ, λ) \le n - g(G_σ) + 2, \] where $n$ is the number of vertices and $g(G_σ)$ is the girth. We prove that equality holds if and only if $G_σ$ is switching equivalent to one of the following extremal families: \begin{itemize} \item[(i)] a balanced complete graph with $λ= -1$; \item[(ii)] an antibalanced complete graph with $λ= 1$; or \item[(iii)] a balanced complete bipartite graph with $λ= 0$. \end{itemize} This fully extends and generalizes the known result for the nullity case ($λ= 0$), originally due to Wu et al.\ (2022), to the entire eigenvalue spectrum. Our approach combines Cauchy interlacing, switching equivalence, and a structural analysis of induced cycles in signed graphs. We also provide a characterization of eigenvalues with multiplicity $1$ and $2$ for signed cycles, and include examples illustrating the sharpness and spectral behavior of the extremal families.

The Prague dimension of a graph $G$ is defined as the minimum number of complete graphs whose direct product contains $G$ as an induced subgraph. Introduced in the 1970s by Nešetřil, Pultr, and Rödl -- and motivated by the work of Dushnik and Miller, as well as by the induced Ramsey theorem -- determining the Prague dimension of a graph is a notoriously hard problem. In this paper, we show that for all $\varepsilon > 0$ and $p$ such that $ n^{-1+\varepsilon} \le p \le n^{-\varepsilon}$, with high probability the Prague dimension of $G_{n,p}$ is $Θ_{\varepsilon}(pn)$, which improves upon a recent result by Molnar, Rödl, Sales and Schacht. Inspired by the work of Bennett and Bohman, our approach centres on analysing a random greedy process that builds an independent set of size $Ω(p^{-1}\log pn)$ by iteratively selecting vertices uniformly at random from the common non-neighbourhood of those already chosen. Using the differential equation method, we show that every non-edge is essentially equally likely to be covered by this process, which is key to establishing our bound.