arXiv++ Combinatorics

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.

Albertson conjectured that every graph with chromatic number $r$ has crossing number at least the crossing number of the complete graph $K_r$. This conjecture was proved for $r\le 12$ by Albertson, Cranston, and Fox; for $r\le 16$ by Barát and Tóth; and for $r\le 18$ by Ackerman. Here we verify it for $r\le 24$; we also greatly restrict the possibilities for counterexamples when $r\in\{25,26\}$. In addition, we strengthen earlier work bounding the order of a minimum counterexample for each choice of $r$: we exclude the possibility that $|G|\ge 2.82r$ and exclude the possibility that $1.228r\le |G|\le 1.768r$. Finally, as $r$ grows, we extend the lower end of this range of excluded orders for a minimum counterexample. In particular: if $r\ge 125{,}000$, then we exclude the possibility that $1.10r\le |G|\le 1.768r$; and if $r\ge 825{,}000$, then we exclude the possibility that $1.05r\le |G|\le 1.768r$.

Given a function $p : V(G)\to \mathbb N$ and an integer $k\ge 0$, define $p_k(G)$ as the number of vertices with $p(v)\ge k$. We say that $p_k(G)$ is bounded for all $\HH$-free graphs if there exists a constant $c=c(\HH)$ such that $p_k(G)<c$ for all such graphs $G$. Here, a graph $G$ is said to be $\HH$-free if it contains no member of $\HH$ as an induced subgraph. When $p$ represents the degree of a vertex, Ramsey's theorem implies that $p_0(G)$ is bounded for every $\{K_n, E_n\}$-free graphs, where $K_n$ and $E_n$ denote the complete graph and the edgeless graph on $n$ vertices, respectively. The connected version of Ramsey's theorem says that $p_0(G)$ is bounded for all $\{K_n, P_n, K_{1,n}\}$-free connected graphs, where $P_n$ and $K_{1,n}$ are the $n$-vertex path and the star with $n$ leaves. In this paper, we extend the Ramsey's theorem to $p_2(G)$ where $p$ denotes the degree, the local independent number, the local component number, and sharp degree, that is, we characterize the forbidden family of graphs $\HH$ such that $p_2(G)$ is bounded for all (connected) $\HH$-free graphs. Moreover, we also characterize the forbidden family of graphs $\HH$ for which there is a constant $c=c(\HH)$ such that $p_c(G)$ is bounded for all $\HH$-free graphs.

For a positive integer $k$, the \emph{ total $k$-cut complex} of a graph $G$, denoted as $Δ_k^t(G)$, is the simplicial complex whose facets are $σ\subseteq V(G)$ such that $|σ| = |V(G)|-k$ and the induced subgraph $G[V(G) \setminus σ]$ does not contain any edge. These complexes were introduced by Bayer et al.\ in \cite{Bayer2024TotalCutcomplex} in connection with commutative algebra. In the same paper, they studied the homotopy types of these complexes for various families of graphs, including cycle graphs $C_n$, squared cycle graphs $C_n^2$, and Cartesian products of complete graphs and path graphs $K_m \square P_2$ and $K_2 \square P_n$. In this article, we extend the work of Bayer et al.\ for these families of graphs. We focus on the complexes $Δ_2^t(G)$ and determine the homotopy types of these complexes for three classes of graphs: (i) $p$-th powers of cycle graphs $C_n^p$ (ii) $K_m \square P_n$ and (iii) $K_m \square C_n$. Using discrete Morse theory, we show that these complexes are homotopy equivalent to wedges of spheres. We also give the number and dimension of spheres appearing in the homotopy type. Our result on powers of cycle graphs $C_n^p$ proves a conjecture of Shen et al.\ about the homotopy type of the complexes $Δ_2^t(C_n^p)$.

Networks are often modeled using graphs, and within this setting we introduce the notion of $k$-fault-tolerant mutual visibility. Informally, a set of vertices $X \subseteq V(G)$ in a graph $G$ is a $k$-fault-tolerant mutual-visibility set ($k$-ftmv set) if any two vertices in $X$ are connected by a bundle of $k+1$ shortest paths such that: ($i$) each shortest path contains no other vertex of $X$, and ($ii$) these paths are internally disjoint. The cardinality of a largest $k$-ftmv set is denoted by $\mathrm{f}μ^{k}(G)$. The classical notion of mutual visibility corresponds to the case $k = 0$. This generalized concept is motivated by applications in communication networks, where agents located at vertices must communicate both efficiently (i.e., via shortest paths) and confidentially (i.e., without messages passing through the location of any other agent). The original notion of mutual visibility may fail in unreliable networks, where vertices or links can become unavailable. Several properties of $k$-ftmv sets are established, including a natural relationship between $\mathrm{f}μ^{k}(G)$ and $ω(G)$, as well as a characterization of graphs for which $\mathrm{f}μ^{k}(G)$ is large. It is shown that computing $\mathrm{f}μ^{k}(G)$ is NP-hard for any positive integer $k$, whether $k$ is fixed or not. Exact formulae for $\mathrm{f}μ^{k}(G)$ are derived for several specific graph topologies, including grid-like networks such as cylinders and tori, and for diameter-two networks defined by Hamming graphs and by the direct product of complete graphs.

In 2023, Defant introduced toric promotion as a cyclic analogue of Schützenberger's well known promotion operator. Toric promotion is defined by a choice of simple graph $G$ and acts on the labeling of $G$ by a series of involutions. Defant described the orbit length of toric promotion on trees and showed that it does not depend on the initial labeling; we prove an analogous result for complete graphs. A natural question is how toric promotion behaves under certain graph operations. In the main results of this article, we analyze the orbits of toric promotion under the bridge sum graph operation, which joins two graphs by adding an edge between a vertex of each graph. We show that the orbit length of toric promotion on any graph constructed via a bridge sum of a tree or a complete graph with a simple graph does not depend on the restriction of the initial labeling to the tree or complete subgraph. Additionally, we describe the orbit lengths of toric promotion on the bridge sums of two complete graphs and the bridge sums of a tree with a complete graph, and show that they do not depend on the initial labeling. Finally, we describe the orbit length of toric promotion on the corona product of a complete graph with any tree, and show that it does not depend on the initial labeling.

An edge subset \( S \subseteq E(G) \) is called a 3-restricted edge-cut if \( G - S \) is disconnected and each component of \( G - S \) contains at least three vertices. The 3-restricted edge-connectivity of a graph \( G \), denoted by \( λ_3(G) \), is defined as the minimum cardinality among all 3-restricted edge-cuts if there are at least one; otherwise, \( λ_3(G) = +\infty \). It is proved that $λ_3(G)\leqξ_3(G)$ if $G$ has a 3-restricted edge-cut, where $ξ_3(G) = \min \left\{ |[X, V(G) \setminus X]_G|:|X| = 3 \text{ and } G[X] \text{ is connected} \right\}.$ If \( λ_3(G) = ξ_3(G) \), then \( G \) is said to be maximally 3-restricted edge-connected. The direct product of two graphs $G$ and $H$, denoted by $G \times H$, is defined as the graph with vertex set \( V(G \times H) = V(G) \times V(H) \), where two vertices \( (u_1, v_1) \) and \( (u_2, v_2) \) are adjacent in \( G \times H \) if and only if \( u_1u_2 \in E(G) \) and \( v_1v_2 \in E(H) \). In this paper, we determine, for a regular connected graph \( G\), the 3-restricted edge-connectivity of \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \), where \( C_n \), \( K_n \) and \( T_n \) are the cycle, the complete graph and the total graph with \( n \) vertices, respectively. As corollaries, we establish sufficient conditions for the direct product graphs \( G \times C_n \), \( G \times K_n \) and \( G \times T_n \) to be maximally 3-restricted edge-connected.