arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34516 papers tagged with this keyword
Three Theorems on Negami's Planar Cover Conjecture
A long-standing Conjecture of S. Negami states that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It is known that the Conjecture is equivalent to the fact that \emph{the graph $K_{1,2, 2, 2}$ has no finite planar cover}. We prove three theorems showing that the graph $K_{1,2, 2, 2}$ admits no planar cover with certain structural properties, and that the minimal planar cover of $K_{1,2, 2, 2}$ (if it exists) must be $4$-connected.
2024-12-27
On Counting Constructions and Isomorphism Classes of $I$-Graphs
We prove a collection of asymptotic density results for several interesting classes of the $I$-graphs. Specifically, we quantify precisely the proportion of $I$-graphs that are generalised Petersen graphs as well as those that are connected. Our results rely on the estimation of sums over tuples satisfying various coprimality conditions along with other techniques from analytic number theory.
Sharp Bounds on Lengths of Linear Recolouring Sequences
A recolouring sequence, between $k$-colourings $α$ and $β$ of a graph $G$, transforms $α$ into $β$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The diameter of the $k$-recolouring graph, $\textrm{diam}~\mathcal{C}_k(G)$, is the maximum over all pairs $α$ and $β$ of the minimum length of a recolouring sequence from $α$ to $β$. Much previous work has focused on determining the asymptotics of $\textrm{diam}~\mathcal{C}_k(G)$: Is it $Θ(|G|)$? Is it $Θ(|G|^2)$? Or even larger? Here we focus on graphs for which $\textrm{diam}~\mathcal{C}_k(G)=Θ(|G|)$, and seek to determine more precisely the multiplicative constant implicit in the $Θ()$. In particular, for each $k\ge 3$, for all positive integers $p$ and $q$ we exactly determine $\textrm{diam}~\mathcal{C}_k(K_{p,q})$, up to a small additive constant. We also sharpen a recolouring lemma that has been used in multiple papers, proving an optimal version. This improves the multiplicative constant in various prior results. Finally, we investigate plausible relationships between similar reconfiguration graphs.
2024-12-27
A random walk among random graphs
Lecture notes of a master course given at Orsay between 2019-2024. Topics covered include Part I: One-dimensional random walks, cycle lemma and Bienaymé--Galton--Watson random trees. Part II: Erdös--Rényi random graphs, three proofs of the emergence of the giant component. Part III: Random recursive tree, random permutations and continuous time embedding techniques. Intended for publication.
2024-12-27 v2
Tree tilings in random regular graphs
We show that for every $ε>0$ there exists a sufficiently large $d_0\in \mathbb{N}$ such that for every $d\ge d_0$, whp the random $d$-regular graph $G(n,d)$ contains a $T$-factor for every tree $T$ on at most $(1-ε)d/\ln d$ vertices. This is best possible since, for large enough integer $d$, whp $G(n,d)$ does not contain a $\frac{(1+ε)d}{\ln d}$-star-factor. Our method gives a randomised algorithm which whp finds said $T$-factor and whose expected running time is $O(n^{1+o(1)})$, as well as an efficient deterministic counterpart.
Functionality of Random Graphs
The functionality of a graph $G$ is the minimum number $k$ such that in every induced subgraph of $G$ there exists a vertex whose neighbourhood is uniquely determined by the neighborhoods of at most $k$ other vertices in the subgraph. The functionality parameter was introduced in the context of adjacency labeling schemes, and it generalises a number of classical and recent graph parameters including degeneracy, twin-width, and symmetric difference. We establish the functionality of a random graph $G(n,p)$ up to a constant factor for every value of $p$.
2024-12-27
A note on the log-concavity of parking functions
We settle a conjecture of Bóna regarding the log-concavity of a certain statistic on parking functions by utilizing recent log-concavity results on matroids. This result allows us to also prove that connected, labeled graphs graded by their number of edges are log-concave. Furthermore, we generalize these results to $G$-parking functions.
2024-12-27
Forbidden Subgraphs of Prime Order Element Graph
In this paper, we study different forbidden subgraph characterizations of the prime-order element graph $Γ(G)$ defined on a finite group $G$. Its set of vertices is the group $G$ and two vertices $x,y \in G$ are adjacent if the order of $xy$ is prime. More specifically, we investigate the conditions when $Γ(G)$ is perfect, cograph, chordal, claw-free, and interval graph.
2024-12-27 v2
Blowing up Dirac's theorem
We show that every graph $G$ on $n$ vertices with $δ(G) \geq (1/2+\varepsilon)n$ is spanned by a complete blow-up of a cycle with clusters of nearly uniform size $Ω(\log n)$. The proof is based on a recently introduced approach for finding vertex-spanning substructures via blow-up covers.
2024-12-26 v2
Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free
Published in European Journal of Combinatorics, Volume 131 (2026) 104238 • View PublicationBIB
Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$ when $H$ is square-free, meaning that it does not contain the $4$-cycle graph $C_4$ as a subgraph. Specifically, for a connected $G$ and a square-free $H$, we show that each connected component of $\mathrm{Hom}(G,H)$ is homotopy equivalent to a wedge sum of circles. We further show that, given any graph homomorphism $f\colon G\to H$ to a square-free $H$, one can determine the homotopy type of the connected component of $\mathrm{Hom}(G,H)$ containing $f$ algorithmically.
2024-12-26
On off-diagonal $F$-Ramsey numbers
A graph is $(t_1, t_2)$-Ramsey if any red-blue coloring of its edges contains either a red copy of $K_{t_1}$ or a blue copy of $K_{t_2}$. The size Ramsey number is the minimum number of edges contained in a $(t_1,t_2)$-Ramsey graph. Generalizing the notion of size Ramsey numbers, the $F$-Ramsey number $r_F(t_1, t_2)$ is defined to be the minimum number of copies of $F$ in a $(t_1,t_2)$-Ramsey graph. It is easy to see that $r_{K_s}(t_1,t_2)\le \binom{r(t_1,t_2)}{s}$. Recently, Fox, Tidor, and Zhang showed that equality holds in this bound when $s=3$ and $t_1=t_2$, i.e. $r_{K_3}(t,t) = \binom{r(t,t)}{3}$. They further conjectured that $r_{K_s}(t,t)=\binom{r(t,t)}{s}$ for all $s\le t$, in response to a question of Spiro. In this work, we study the off-diagonal variant of this conjecture: is it true that $r_{K_s}(t_1,t_2)=\binom{r(t_1,t_2)}{s}$ whenever $s\le \max(t_1,t_2)$? Harnessing the constructions used in the recent breakthrough work of Mattheus and Verstraëte on the asymptotics of $r(4,t)$, we show that when $t_1$ is $3$ or $4$, the above equality holds up to a lower order term in the exponent.
2024-12-26
Planar graphs having no cycle of length $4$, $6$ or $8$ are DP-3-colorable
The concept of DP-coloring of graphs was introduced by Dvořák and Postle, and was used to prove that planar graphs without cycles of length from $4$ to $8$ are $3$-choosable. In the same paper, they proposed a more natural and stronger claim that such graphs are DP-$3$-colorable. This paper confirms that claim by proving a stronger result that planar graphs having no cycle of length $4$, $6$ or $8$ are DP-3-colorable.
2024-12-26 v2
The matching extendability of optimal $1$-embedded graphs on the projective plane
In this paper, we discuss matching extendability of optimal $1$-projective plane graphs (abbreviated as O1PPG), which are drawn on the projective plane $P^2$ so that every edge crosses another edge at most once, and has $n$ vertices and exactly $4n- 4$ edges. We first show that every O1PPG of even order is $1$-extendable. Next, we characterize $2$-extendable O1PPG's in terms of a separating cycle consisting of only non-crossing edges. Moreover, we characterize O1PPG's having connectivity exactly $5$. Using the characterization, we further identify three independent edges in those graphs that are not extendable.
2024-12-26
On Laplacian and Distance Laplacian Spectra of Generalized Fan Graph & a New Graph Class
Given a graph $G$, the Laplacian matrix of $G$, $L(G)$ is the difference of the adjacency matrix $A(G)$ and $\text{Deg}(G)$, where $\text{Deg}(G)$ is the diagonal matrix of vertex degrees. The distance Laplacian matrix $D^L({G})$ is the difference of the transmission matrix of $G$ and the distance matrix of $G$. In the given paper, we first obtain the Laplacian and distance Laplacian spectrum of generalized fan graphs. We then introduce a new graph class which is denoted by $\mathcal{NC}(F_{m,n})$. Finally, we determine the Laplacian spectrum and the distance Laplacian spectrum of $\mathcal{NC}(F_{m,n})$.
2024-12-26 v3
Hom complexes of graphs whose codomains are square-free
Published in Journal of Combinatorial Theory, Series B, volume 178, 267-293, 2026 • View PublicationBIB
The Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. In this paper, we show that if $G$ is a connected graph and $H$ is a square-free connected graph, then every connected component of $\mathrm{Hom}(G, H)$ is homotopy equivalent to a point, a circle, $H$ or a connected double cover over $H$. We also obtain a certain relation between the fundamental group of $\mathrm{Hom}(G,H)$ and realizable walks studied in the homomorphism reconfiguration problem.
2024-12-26
Connected triangle-free planar graphs whose second largest eigenvalue is at most 1
Published in Computational and Applied Mathematics (2025) 44:86 • View PublicationBIB
Let $λ_2$ be the second largest eigenvalue of the adjacency matrix of a connected graph. In 2023, Li and Sun \cite{LiSun1} determined all the connected $\{K_{2,3}, K_4\}$-minor free graphs whose second largest eigenvalue $λ_2\le 1$. As a continuance of it, in this paper we completely identify all the connected $\{K_5,K_{3,3}\}$-minor free graphs without $C_3$ whose second largest eigenvalue does not exceed 1. This partially solves an open problem posed by Li and Sun \cite{LiSun1}: Characterize all connected planar graphs whose second largest eigenvalue is at most $1.$ Our main tools include the spectral theory and the local structure characterization of the planar graph with respect to its girth.
2024-12-26 v2
Semistrong edge colorings of planar graphs
Published • View PublicationBIB
Strengthened notions of a matching $M$ of a graph $G$ have been considered, requiring that the matching $M$ has some properties with respect to the subgraph $G_M$ of $G$ induced by the vertices covered by $M$: If $M$ is the unique perfect matching of $G_M$, then $M$ is a \emph{uniquely restricted matching} of $G$; if all the edges of $M$ are pendant edges of $G_M$, then $M$ is a \emph{semistrong matching} of $G$; if all the vertices of $G_M$ are pendant, then $M$ is an \emph{induced matching} of $G$. Strengthened notions of edge coloring and of the chromatic index follow. In this paper, we consider the maximum semistrong chromatic index of planar graphs with given maximum degree $Δ$. We prove that graphs with maximum average degree less than ${14}/{5}$ have semistrong chromatic index (hence uniquely restricted chromatic index) at most $2Δ+4$, and we reduce the bound to $2Δ+2$ if the maximum average degree is less than ${8}/{3}$. These cases cover, in particular, the cases of planar graphs with girth at least 7 (resp. at least 8). Our result makes some progress on the conjecture of Lu{ž}ar, Mockov{č}iakov{á} and Sot{á}k [J.~Graph Theory 105 (2024) 612--632], which asserts that every planar graph $G$ has a semistrong edge coloring with $2Δ+C$ colors, for some universal constant $C$. (Note that such a conjecture would fail for strong edge coloring as there exist graphs with arbitrarily large maximum degree that are not strongly $(4Δ-5)$-edge-colorable.) We provide an example of a planar graph showing that the maximum semistrong chromatic index of planar graphs with maximum degree $Δ$ is at least $2Δ+4$.
Complexity and Structural Results for the Hull and Convexity Numbers in Cycle Convexity for Graph Products
Let $G$ be a graph and $S \subseteq V(G)$. In the cycle convexity, we say that $S$ is \textit{cycle convex} if for any $u\in V(G)\setminus S$, the induced subgraph of $S\cup\{u\}$ contains no cycle that includes $u$. The \textit{cycle convex hull} of $S$ is the smallest convex set containing $S$. The \textit{cycle hull number} of $G$, denoted by $hn_{cc}(G)$, is the cardinality of the smallest set $S$ such that the convex hull of $S$ is $V(G)$. The \textit{convexity number} of $G$, denoted by $C_{cc}(G)$, is the maximum cardinality of a proper convex set of $V(G)$. This paper studies cycle convexity in graph products. We show that the cycle hull number is always two for strong and lexicographic products. For the Cartesian, we establish tight bounds for this product and provide a closed formula when the factors are trees, generalizing an existing result for grid graphs. In addition, given a graph $G$ and an integer $k$, we prove that $hn_{cc}(G) \leq k$ is NP-complete even if $G$ is a bipartite Cartesian product graph, addressing an open question in the literature. Furthermore, we present exact formulas for the cycle convexity number in those three graph products. That leads to the NP-completeness of, given a graph $G$ and an integer $k$, deciding whether $C_{cc}(G) \geq k$, when $G$ is a Cartesian, strong or lexicographic product graph.
2024-12-26 v2
Central limit theorems for linear spectral statistics of inhomogeneous random graphs with graphon limits
We establish central limit theorems (CLTs) for the linear spectral statistics of the adjacency matrix of inhomogeneous random graphs across all sparsity regimes, providing explicit covariance formulas under the assumption that the variance profile of the random graphs converges to a graphon limit. Two types of CLTs are derived for the (non-centered) adjacency matrix and the centered adjacency matrix, with different scaling factors when the sparsity parameter $p$ satisfies $np = n^{Ω(1)}$, and with the same scaling factor when $np = n^{o(1)}$. In both cases, the limiting covariance is expressed in terms of homomorphism densities from certain types of finite graphs to a graphon. These results highlight a phase transition in the centering effect for global eigenvalue fluctuations. For the non-centered adjacency matrix, we also identify new phase transitions for the CLTs in the sparse regime when $n^{1/m} \ll np \ll n^{1/(m-1)}$ for $m \geq 2$. Furthermore, weaker conditions for the graphon convergence of the variance profile are sufficient as $p$ decreases from being constant to $np \to c\in (0,\infty)$. These findings reveal a novel connection between graphon limits and linear spectral statistics in random matrix theory.
2024-12-25
Exploring Graphs with Distinct $M$-Eigenvalues: Product Operation, Wronskian Vertices, and Controllability
Let $\mathcal{G}^M$ denote the set of connected graphs with distinct $M$-eigenvalues. This paper explores the $M$-spectrum and eigenvectors of a new product $G\circ_C H$ of graphs $G$ and $H$. We present the necessary and sufficient condition for $G\circ_C H$ to have distinct $M$-eigenvalues. Specifically, for the rooted product $G\circ H$, we present a more concise and precise condition. A key concept, the $M$-Wronskian vertex, which plays a crucial role in determining graph properties related to separability and construction of specific graph families, is investigated. We propose a novel method for constructing infinite pairs of non-isomorphic $M$-cospectral graphs in $\mathcal{G}^M$ by leveraging the structural properties of the $M$-Wronskian vertex. Moreover, the necessary and sufficient condition for $G\circ H$ to be $M$-controllable is given.