arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2678 papers tagged with this keyword
2025-01-23
Enlarging a connected graph while keeping entropy and spectral radius: self-similarity techniques
This work is about self-similar sequences of growing connected graphs. We explain how to construct such sequences and why they are important. We show for instance that all the connected graphs in a self-similar sequence have not only the same entropy, but also the same spectral radius.
2025-01-23 v3
Hypercube minor-universality
Published • View Publication • BIB
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.
2025-01-22
Complexity and Algorithm for the Matching vertex-cutset Problem
Published • View Publication • BIB
In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut possessing a particular structural property have attracted considerable academic attention. In this paper, we demonstrate that determining whether there is a matching vertex-cutset in $H$ with size at most $k$, is $\mathbf{NP}$-complete, where $k$ is a given positive integer and $H$ is a connected graph. Furthermore, we demonstrate that for a connected graph $H$, there exists a $2$-approximation algorithm in $O(nm^2)$ for us to find a minimum matching vertex-cutset. Finally, we show that every plane graph $H$ satisfying $H\not\in\{K_2, K_4\}$ contains a matching vertex-cutset with size at most three, and this bound is tight.
2025-01-20
Extremal distance spectra of graphs and essential connectivity
Published • View Publication • BIB
A graph is non-trivial if it contains at least one nonloop edge. The essential connectivity of $G$, denoted by $κ'(G)$, is the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two components are non-trivial. In this paper, we determine the $n$-vertex graph of given essential connectivity with minimum distance spectral radius. We also characterize the extremal graphs attaining the minimum distance spectral radius among all connected graphs with fixed essential connectivity and minimum degree. Furthermore, we characterize the extremal digraphs with minimum distance spectral radius among the strongly connected digraphs with given essential connectivity.
2025-01-13
Circle graphs and the automorphism group of the circle
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$. We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
2025-01-10
2-extendability of (4,5,6)-fullerenes
A (4,5,6)-fullerene is a plane cubic graph whose faces are only quadrilaterals, pentagons and hexagons, which includes all (4,6)- and (5,6)-fullerenes. A connected graph $G$ with at least $2k+2$ vertices is $k$-extendable if $G$ has perfect matchings and any matching of size $k$ is contained in a perfect matching of $G$. We know that each (4,5,6)-fullerene graph is 1-extendable and at most 2-extendable. It is natural to wonder which (4,5,6)-fullerene graphs are 2-extendable. In this paper, we completely solve this problem (see Theorem 3.3): All non-2-extendable (4,5,6)-fullerenes consist of four sporadic (4,5,6)-fullerenes ($F_{12},F_{14},F_{18}$ and $F_{20}$) and five classes of (4,5,6)-fullerenes. As a surprising consequence, we find that all (4,5,6)-fullerenes with the anti-Kekulé number 3 are non-2-extendable. Further, there also always exists a non-2-extendable (4,5,6)-fullerene with arbitrarily even $n\geqslant10$ vertices.
2025-01-09
An Aα-spectral radius for the existence of {P3, P4, P5}-factors in graphs
Let $G$ be a connected graph of order $n$ with $n\geq25$. A $\{P_3,P_4,P_5\}$-factor is a spanning subgraph $H$ of $G$ such that every component of $H$ is isomorphic to an element of $\{P_3,P_4,P_5\}$. Nikiforov introduced the $A_α$-matrix of $G$ as $A_α(G)=αD(G)+(1-α)A(G)$ [V. Nikiforov, Merging the $A$- and $Q$-spectral theories, Appl. Anal. Discrete Math. 11 (2017) 81--107], where $α\in[0,1]$, $D(G)$ denotes the diagonal matrix of vertex degrees of $G$ and $A(G)$ denotes the adjacency matrix of $G$. The largest eigenvalue of $A_α(G)$, denoted by $λ_α(G)$, is called the $A_α$-spectral radius of $G$. In this paper, it is proved that $G$ has a $\{P_3,P_4,P_5\}$-factor unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $λ_α(G)\geqλ_α(K_1\vee(K_{n-2}\cup K_1))$, where $α$ be a real number with $0\leqα<\frac{2}{3}$.
2025-01-08
A method to optimize antipodal coloring span of graphs and its application
In this article, we study radio \(k\)-colorings of simple connected graphs \(G\) with diameter \(d\), where a radio \(k\)-coloring \(g\) assigns non-negative integers to \(V(G)\) (vertices of \(G\)) such that \(|g(u) - g(v)| \geq 1 + k - d(u, v)\) for any two vertices \(u, v\) with \(1 \leq k \leq d\). The span of a radio \(k\)-coloring \(g\), expressed by \(rc_k(g)\), is the maximum integer assigned by \(g\), and the radio \(k\)-chromatic number \(rc_k(G)\) is the minimum span among all radio \(k\)-colorings of \(G\). A coloring \(g\) is minimal if \(rc_k(g) = rc_k(G)\). When \(k = d-1\), this coloring is known as the antipodal coloring, and \(rc_{d-1}(G)\) referred to as the antipodal number, is denoted by \(ac(G)\). We derive a sufficient condition for an antipodal coloring to be minimal and apply this criterion to determine the antipodal number of the generalized Petersen graph \(GP(n,1)\) for all \(n\) except when \(n \equiv 2 \pmod{8}\), and for toroidal grids \(T_{r,s} = C_r \square C_s\) when \(rs\) is even. Additionally, we establish a lower bound for \(ac(T_{r,s})\) when \(rs\) is odd.
2025-01-07
Partial Petrial polynomials for complete graphs and paths
Published • View Publication • BIB
Recently, Gross, Mansour, and Tucker introduced the partial Petrial polynomial, which enumerates all partial Petrials of a ribbon graph by Euler genus. They provided formulas or recursions for various families of ribbon graphs, including ladder ribbon graphs. In this paper, we focus on the partial Petrial polynomial of bouquets, which are ribbon graphs with exactly one vertex. We prove that the partial Petrial polynomial of a bouquet primarily depends on its intersection graph, meaning that two bouquets with identical intersection graphs will have the same partial Petrial polynomial. Additionally, we introduce the concept of the partial Petrial polynomial for circle graphs and prove that for a connected graph with $n$ vertices ($n\geq 2$), the polynomial has non-zero coefficients for all terms of degrees from 1 to $n$ if and only if the graph is complete. Finally, we present the partial Petrial polynomials for paths.
Extremal chemical graphs of maximum degree at most 3 for 33 degree-based topological indices
Published • View Publication • BIB
We consider chemical graphs that are defined as connected graphs of maximum degree at most 3. We characterize the extremal graphs, meaning those that maximize or minimize 33 degree-based topological indices. This study shows that five graph families are sufficient to characterize the extremal graphs of 29 of these 33 indices. In other words, the extremal properties of this set of degree-based topological indices vary very little.
2025-01-04
Skewness, crossing number and Euler's bound for graphs on surfaces
For every connected graph $G$ and surface $S$, we consider the well-known string of inequalities $δ_S(G) \leq μ_S(G) \leq ν_S(G)$, where $μ$ and $ν$ denote skewness and crossing number and $δ$ is the Euler-formula lower bound. Recent developments are surveyed; new results are given for the ``folded'' cube including its genus.
On a Conjecture Concerning the Complementary Second Zagreb Index
Published • View Publication • BIB
The complementary second Zagreb index of a graph $G$ is defined as $cM_2(G)=\sum_{uv\in E(G)}|(d_u(G))^2-(d_v(G))^2|$, where $d_u(G)$ denotes the degree of a vertex $u$ in $G$ and $E(G)$ represents the edge set of $G$. Let $G^*$ be a graph having the maximum value of $cM_2$ among all connected graphs of order $n$. Furtula and Oz [MATCH Commun. Math. Comput. Chem. 93 (2025) 247--263] conjectured that $G^*$ is the join $K_k+\overline{K}_{n-k}$ of the complete graph $K_k$ of order $k$ and the complement $\overline{K}_{n-k}$ of the complete graph $K_{n-k}$ such that the inequality $k<\lceil n/2 \rceil$ holds. We prove that (i) the maximum degree of $G^*$ is $n-1$ and (ii) no two vertices of minimum degree in $G^*$ are adjacent; both of these results support the aforementioned conjecture. We also prove that the number of vertices of maximum degree in $G^*$, say $k$, is at most $-\frac{2}{3}n+\frac{3}{2}+\frac{1}{6}\sqrt{52n^2-132n+81}$, which implies that $k<5352n/10000$. Furthermore, we establish results that support the conjecture under consideration for certain bidegreed and tridegreed graphs. In the aforesaid paper, it was also mentioned that determining the $k$ as a function of the $n$ is far from being an easy task; we obtain the values of $k$ for $5\le n\le 149$ in the case of certain bidegreed graphs by using computer software and found that the resulting sequence of the values of $k$ does not exist in "The On-Line Encyclopedia of Integer Sequences" (an online database of integer sequences).
2024-12-31
Solution to a $3$-path isolation problem for subcubic graphs
Published • View Publication • BIB
The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects each $3$-vertex path of $G$, meaning that no two edges of $G-N[D]$ intersect. If $G$ is not a $3$-path or a $3$-cycle or a $6$-cycle, then $ι(G,P_3) \leq 2n/7$. This was proved by Zhang and Wu, and independently by Borg in a slightly extended form. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin showed that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G,P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. Thus, the problem essentially is whether induced $6$-cycles solely account for the difference between the two bounds. In this paper, we solve this problem for subcubic graphs, which need to be treated differently from other graphs. We show that if $G$ is subcubic and has no induced $6$-cycles, then $ι(G,P_3) \leq n/4$ unless $G$ is a copy of one of $12$ particular graphs whose orders are $3$, $7$, $11$ and $15$. The bound is sharp.
2024-12-29
The smallest normalized signless $\infty$-Laplacian eigenvalue for non-bipartite connected graphs
Published • View Publication • BIB
In this paper, we aim to study the smallest normalized signless $\infty$-Laplacian eigenvalue $μ_{\infty}$, a generalisation of the smallest signless Laplacian eigenvalue. For a non-bipartite connected graph, we show that the invariant $μ_{\infty}$ equals to the reciprocal of the minimal $\infty$-norm of the generalized inverses of the weighted signless incidence matrix. An example is also given to illustrate the result.
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-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 Publication • BIB
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 Publication • BIB
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-25
Exploring Graphs with Distinct $M$-Eigenvalues: Product Operation, Wronskian Vertices, and Controllability
Published • View Publication • BIB
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.
2024-12-25
The Minimum Weighting Ratio Problem and Its Application in Chordal Graphs
Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.
2024-12-25
On $\ell$-distance-balancedness of cubic Cayley graphs of dihedral groups
A connected graph $Γ$ of diameter ${\rm diam}(Γ) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}(Γ)|=|W_{yx}(Γ)|$ for every $x,y\in V(Γ)$ with $d_Γ(x,y)=\ell$, where $W_{xy}(Γ)$ is the set of vertices of $Γ$ that are closer to $x$ than to $y$. $Γ$ is said to be highly distance-balanced if it is $\ell$-distance-balanced for every $\ell\in [{\rm diam}(Γ)]$. It is proved that every cubic Cayley graph whose generating set is one of $\{a,a^{n-1},ba^r\}$ and $\{a^k,a^{n-k},ba^t\}$ is highly distance-balanced. This partially solves a problem posed by Miklavič and Šparl.