arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
2024-05-21 v2
Jacobians of Graphs via Edges and Iwasawa Theory
The Jacobian is an algebraic invariant of a graph which is often seen in analogy to the class group of a number field. In particular, there have been multiple investigations into the Iwasawa theory of graphs with the Jacobian playing the role of the class group. In this paper, we construct an Iwasawa module related to the Jacobian of a $\mathbb{Z}_p$-tower of connected graphs, and give examples where we use this to compute asymptotic sizes of the Jacobians in this tower.
2024-05-20 v2
The general position number under vertex and edge removal
Published in Quaest. Math. 48 (2025) 1277-1290 • View Publication • BIB
Let ${\rm gp}(G)$ be the general position number of a graph $G$. It is proved that ${\rm gp}(G-x)\leq 2{\rm gp}(G)$ holds for any vertex $x$ of a connected graph $G$ and that if $x$ lies in some ${\rm gp}$-set of $G$, then ${\rm gp}(G) - 1 \le {\rm gp}(G-x)$. Constructions are given which show that ${\rm gp}(G-x)$ can be much larger than ${\rm gp}(G)$ also when $G-x$ is connected. For diameter $2$ graphs it is proved that ${\rm gp}(G-x) \le {\rm gp}(G)$, and that ${\rm gp}(G-x) \ge {\rm gp}(G) - 1$ when the diameter of $G-x$ remains $2$. It is demonstrated that ${\rm gp}(G)/2\le {\rm gp}(G-e)\leq 2{\rm gp}(G)$ holds for any edge $e$ of a graph $G$. For diameter $2$ graphs these results can be improved to ${\rm gp}(G)-1\le {\rm gp}(G-e)\leq\ {\rm gp}(G) + 1$. All these bounds are proved to be sharp.
2024-05-20
The e positivity of some new classes of graphs
We introduce two classes of graphs - suns and dumbbells, both with few variations and explore their chromatic symmetric function and its $e$-positivity. We also give many connections of these two classes with other classes of connected graphs.
On some singular graphs with non-isomorphic associated evolution algebras
Published • View Publication • BIB
A connected graph can be associated with two distinct evolution algebras. In the first case, the structural matrix is the adjacency matrix of the graph itself. In the second case, the structural matrix is the transition probabilities matrix of the symmetric random walk on the same graph. It is well-known that, for a non-singular graph, both evolution algebras are isomorphic if, and only if, the graph is regular or biregular. Moreover, through examples and partial results, it has been conjectured that the same result remains true for singular graphs. The purpose of this work is to provide new examples supporting this conjecture.
Counterexamples regarding linked and lean tree-decompositions of infinite graphs
Published in Journal of Graph Theory (2025) • View Publication • BIB
Kriz and Thomas showed that every (finite or infinite) graph of tree-width $k \in \mathbb{N}$ admits a lean tree-decomposition of width $k$. We discuss a number of counterexamples demonstrating the limits of possible generalisations of their result to arbitrary infinite tree-width. In particular, we construct a locally finite, planar, connected graph that has no lean tree-decomposition.
2024-05-09
On the spectral redundancy of pineapple graphs
Published • View Publication • BIB
In this article, we explore the concept of spectral redundancy within the class of pineapple graphs, denoted as $\mathcal{P}(α,β)$. These graphs are constructed by attaching $β$ pendent edges to a single vertex of a complete graph $K_α$. A connected graph $G$ earns the title of being spectrally non-redundant if the spectral radii of its connected induced subgraphs remain distinct. Spectral redundancy, on the other hand, arises when there is a repetition of spectral radii among the connected induced subgraphs within $G$. Specifically, we analyze the adjacency spectrum of $\mathcal{P}(α,β)$, revealing distinct eigenvalues including $0$, $-1$, and additional eigenvalues, some negative and others positive. Our investigation focuses on determining the spectral redundancy within this class of graphs, shedding light on their unique structural properties and implications for graph theory.
2024-05-08
Antimagic and product antimagic graphs with pendant edges
Published • View Publication • BIB
Let $G=(V,E)$ be a simple graph of size $m$ and $L$ a set of $m$ distinct real numbers. An $L$-labeling of $G$ is a bijection $φ: E \rightarrow L$. We say that $φ$ is an antimagic $L$-labeling if the induced vertex sum $φ_+: V \rightarrow \mathbb {R}$ defined as $φ_+(u)=\sum_{uv\in E}φ(uv)$ is injective. Similarly, $φ$ is a product antimagic $L$-labeling of $G$ if the induced vertex product $φ_{\circ}: V \rightarrow \mathbb {R}$ defined as $φ_{\circ}(u)=\prod_{uv\in E}φ(uv)$ is injective. A graph $G$ is antimagic (resp. product antimagic) if it has an antimagic (resp. a product antimagic) $L$-labeling for $L=\{1,2,\dots,m\}$. Hartsfield and Ringel conjectured that every simple connected graph distinct from $K_2$ is antimagic, but the conjecture remains widely open. We prove, among other results, that every connected graph of size $m$, $m \geq 3$, admits an antimagic $L$-labeling for every arithmetic sequence $L$ of $m$ positive real numbers, if every vertex of degree at least three is a support vertex. As a corollary, we derive that these graphs are antimagic, reinforcing the veracity of the conjecture by Hartsfield and Ringel. Moreover, these graphs admit also a product antimagic $L$-labeling provided that the smallest element of $L$ is at least one. The proof is constructive.
2024-04-30
On irreducibility of eccentricity matrix of graphs and construction of $ε-$equienergetic graphs
Published • View Publication • BIB
The eccentricity matrix $ε(G)$, of a connected graph $G$ is obtained by retaining the maximum distance from each row and column of the distance matrix of $G$ and the other entries are assigned with 0. In this paper, we discuss the eccentricity spectrum of subdivision vertex (edge) join of regular graphs. Also, we obtain new families of graphs having irreducible or reducible eccentricity matrix. Furthermore, we use these results to construct infinitely many $ε-$cospectral graph pairs as well as infinitely many pairs and triplets of $ε-$cospectral $ε-$equienergetic graphs. Moreover, we present some new family of $ε-$integral graphs.
Construction of local antimagic 3-colorable graphs of fixed even size -- matrix approach
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. Suppose $χ_{la}(G)=χ_{la}(H)$ and $G_H$ is obtained from $G$ and $H$ by merging some vertices of $G$ with some vertices of $H$ bijectively. In this paper, we give ways to construct matrices with integers in $[1,10k]$, $k\ge 1$, that meet certain properties. Consequently, we obtained many families of (disconnected) bipartite (and tripartite) graphs of size $10k$ with local antimagic chromatic number 3.
2024-04-26 v4
A concentration phenomenon for $h$-extra edge-connectivity reliability analysis of enhanced hypercubes $Q_{n,2}$ with exponentially many faulty links
Published in Fundamenta Informaticae, Volume 194, Issue 1 (October 26, 2025) fi:13487 • View Publication • BIB
Reliability assessment of interconnection networks is critical to the design and maintenance of multiprocessor systems. The $(n, k)$-enhanced hypercube $Q_{n,k}$, as a variation of the hypercube $Q_{n}$, was proposed by Tzeng and Wei in 1991. As an extension of traditional edge-connectivity, $h$-extra edge-connectivity of a connected graph $G,$ $λ_h(G),$ is an essential parameter for evaluating the reliability of interconnection networks. This article intends to study the $h$-extra edge-connectivity of the $(n,2)$-enhanced hypercube $Q_{n,2}$. Suppose that the link malfunction of an interconnection network $Q_{n,2}$ does not isolate any subnetwork with no more than $h-1$ processors, the minimum number of these possible faulty links concentrates on a constant $2^{n-1}$ for each integer $\lceil\frac{11\times2^{n-1}}{48}\rceil \leq h \leq 2^{n-1}$ and $n\geq 9$. That is, for about $77.083\%$ of values where $h\leq2^{n-1},$ the corresponding $h$-extra edge-connectivity of $Q_{n,2}$, $λ_h(Q_{n,2})$, presents a concentration phenomenon. Moreover, the lower and upper bounds of $h$ mentioned above are both tight.
2024-04-23 v2
A Nordhaus--Gaddum problem for the spectral gap of a graph
Published • View Publication • BIB
Let $G$ be a graph on $n$ vertices, with complement $\overline{G}$. The spectral gap of the transition probability matrix of a random walk on $G$ is used to estimate how fast the random walk becomes stationary. We prove that the larger spectral gap of $G$ and $\overline{G}$ is $Ω(1/n)$. Moreover, if all degrees are $Ω(n)$ and $n-Ω(n)$, then the larger spectral gap of $G$ and $\overline{G}$ is $Θ(1)$. We also show that if the maximum degree is $n-O(1)$ or if $G$ is a join of two graphs, then the spectral gap of $G$ is $Ω(1/n)$. Finally, we provide a family of connected graphs with connected complements such that the larger spectral gap of $G$ and $\overline{G}$ is $O(1/n^{3/4})$.
2024-04-22 v3
Perfect Matching in Product Graphs and in their Random Subgraphs
For $t \in \mathbb{N}$ and every $i\in[t]$, let $H_i$ be a $d_i$-regular connected graph, with $1<|V(H_i)|\le C$ for some integer $C\ge 2$. Let $G=\square_{i=1}^tH_i$ be the Cartesian product of $H_1, \ldots, H_t$. We show that if $t\ge 5C$ then $G$ contains a (nearly-)perfect matching. Then, considering the random graph process on $G$, we generalise the result of Bollobás on the binary hypercube $Q^t$, showing that with high probability, the hitting times for minimum degree one, connectivity, and the existence of a (nearly-)perfect matching in the random graph process on $G$ are the same. As a byproduct, we develop several tools which may be of independent interest in a more general setting when one seeks to establish the typical existence of a perfect matching under percolation.
2024-04-19 v3
Beyond the classification theorem of Cameron, Goethals, Seidel, and Shult
Published • View Publication • BIB
In 1976, Cameron, Goethals, Seidel, and Shult classified all the graphs whose smallest eigenvalue is at least $-2$ by relating such graphs to root systems that appear in the classification of semisimple Lie algebras. In this paper, extending their beautiful theorem, we give a complete classification of all connected graphs whose smallest eigenvalue lies in $(-λ^*, -2)$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$, and $ρ$ is the unique real root of $x^3 = x + 1$. Our result is the first classification of infinitely many connected graphs with their smallest eigenvalue in $(-λ, -2)$ for any constant $λ> 2$.
2024-04-09 v3
Extremal minimal bipartite matching covered graphs
Published • View Publication • BIB
A connected graph, on four or more vertices, is matching covered (aka 1-extendable) if every edge is present in some perfect matching. An ear decomposition theorem exists for bipartite matching covered graphs due to Hetyei. From the results and proofs of Lovász and Plummer, that rely on Hetyei's theorem, one may deduce that any minimal bipartite matching covered graph has at least $2(m-n+2)$ vertices of degree two (where minimal means that deleting any edge results in a graph that is not matching covered); such a graph is said to be extremal if it attains the stated lower bound. In this paper, we provide a complete characterization of the class of extremal minimal bipartite matching covered graphs. In particular, we prove that every such graph $G$ is obtained from two copies of a tree devoid of degree two vertices, say $T$ and $T'$, by adding edges -- each of which joins a leaf of $T$ with the corresponding leaf of $T'$. Apart from the aforementioned bound, there are four other bounds that appear in, or may be deduced from, the work of Lovász and Plummer. Each of these bounds leads to a notion of extremality. In this paper, we obtain a complete characterization of all of these extremal classes and also establish relationships between them. Two of our characterizations are in the same spirit as the one stated above. For the remaining two extremal classes, we reduce each of them to one of the already characterized extremal classes using standard matching theoretic operations. A connected graph is k-extendable if it has a matching of cardinality $k$ and each such matching extends to a perfect matching. We also discuss bounds proved by Lou (1999) for minimal k-extendable bipartite graphs. We conjecture stronger bounds and provide evidence for our conjectures by constructing tight examples that are straightforward generalizations of the ones that appear in the 1-extendable case.
2024-04-08
Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite graphs
Published • View Publication • BIB
We initiate the study of Iwasawa theory for branched $\mathbb{Z}_{p}$-towers of finite connected graphs. These towers are more general than what have been studied so far, since the morphisms of graphs involved are branched covers, a particular kind of harmonic morphisms of graphs. We prove an analogue of Iwasawa's asymptotic class number formula for the $p$-part of the number of spanning trees in this setting. Moreover, we find an explicit generator for the characteristic ideal of the torsion Iwasawa module governing the growth of the $p$-part of the number of spanning trees in such towers.
2024-04-08 v2
A note on the multicolor size-Ramsey numbers of connected graphs
Published • View Publication • BIB
The $r$-color size-Ramsey number of a graph $H$, denoted by $\widehat{R}_r(H)$, is the minimum number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$. Krivelevich proved that $\widehat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\widehat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\widehat{R}_r(H)=Ω(r^2m)$ for every non-star connected graph $H$ with $m$ edges. We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\widehat{R}_2(T)=Θ(β(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $β(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\widehat{R}_r(T)=Ω(r^2β(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for the family of non-star trees $T$ with $β(T)=Ω(n_1n_2)$ (which includes all non-star trees of linear maximum degree and all trees of radius 2 for example) we have $\widehat{R}_r(T)=Θ(r^2β(T))$.
2024-04-05 v8
Reconstructing a graph from the distance matrix of its boundary
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices. The boundary distance matrix $\hat{D}_G$ of a graph $G=([n],E)$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$. Given a square matrix $\hat{B}$ of order $κ$, we prove under which conditions $\hat{B}$ is the distance matrix $\hat{D}_T$ of the set of leaves of a tree $T$, which is precisely its boundary. We show that if $G$ is either a block graph or a unicyclic graph, then $G$ is uniquely determined by the boundary distance matrix $\hat{D}_{G}$ of $G$ and we also conjecture that this statement holds for every connected graph $G$, whenever both the order $n$ and the boundary (and thus also the boundary distance matrix) of $G$ are prefixed. Moreover, an algorithm for reconstructing a 1-block graph (resp., a unicyclic graph) from its boundary distance matrix is given, whose time complexity in the worst case is $O(κn)$ (resp., $O(n^2)$).
2024-04-04
Average Nodal Count and the Nodal Count Condition for Graphs
The nodal edge count of an eigenvector of the Laplacian of a graph is the number of edges on which it changes sign. This quantity extends to any real symmetric $n\times n$ matrix supported on a graph $G$ with $n$ vertices. The average nodal count, averaged over all eigenvectors of a given matrix, is known to be bounded between $\frac{n-1}{2}$ and $\frac{n-1}{2}+β(G)$, where $β(G)$ is the first Betti number of $G$ (a topological quantity), and it was believed that generically the average should be around $\frac{n-1}{2}+β(G)/2$. We prove that this is not the case: the average is bounded between $\frac{n-1}{2}+β(G)/n$ and $\frac{n-1}{2}+β(G)-β(G)/n$, and we provide graphs and matrices that attain the upper and lower bounds for any possible choice of $n$ and $β$. A natural condition on a matrix for defining the nodal count is that it has simple eigenvalues and non-vanishing eigenvectors. For any connected graph $G$, a generic real symmetric matrix supported on $G$ satisfies this nodal count condition. However, the situation for constant diagonal matrices is far more subtle. We completely characterize the graphs $G$ for which this condition is generically true, and show that if this is not the case, then any real symmetric matrix supported on $G$ with constant diagonal has a multiple eigenvalue or an eigenvector that vanishes somewhere. Finally, we discuss what can be said when this nodal count condition fails, and provide examples.
2024-03-31 v2
Ore-type conditions for existence of a jellyfish in a graph
Published • View Publication • BIB
The famous Dirac's Theorem states that for each $n\geq 3$ every $n$-vertex graph $G$ with minimum degree $δ(G)\geq n/2$ has a hamiltonian cycle. When $δ(G)< n/2$, this cannot be guaranteed, but the existence of some other specific subgraphs can be provided. Gargano, Hell, Stacho and Vaccaro proved that every connected $n$-vertex graph $G$ with $δ(G)\geq (n-1)/3$ contains a spanning {\em spider}, i.e., a spanning tree with at most one vertex of degree at least $3$. Later, Chen, Ferrara, Hu, Jacobson and Liu proved the stronger (and exact) result that for $n\geq 56$ every connected $n$-vertex graph $G$ with $δ(G)\geq (n-2)/3$ contains a spanning {\em broom}, i.e., a spanning spider obtained by joining the center of a star to an endpoint of a path. They also showed that a $2$-connected graph $G$ with $δ(G)\geq (n-2)/3$ and some additional properties contains a spanning {\em jellyfish} which is a graph obtained by gluing the center of a star to a vertex in a cycle disjoint from that star. Note that every spanning jellyfish contains a spanning broom. The goal of this paper is to prove an exact Ore-type bound which guarantees the existence of a spanning jellyfish: We prove that if $G$ is a $2$-connected graph on $n$ vertices such that every non-adjacent pair of vertices $(u,v)$ satisfies $d(u) + d(v) \geq \frac{2n-3}{3}$, then $G$ has a spanning jellyfish. As corollaries, we obtain strengthenings of two results by Chen et al.: a minimum degree condition guaranteeing the existence of a spanning jellyfish, and an Ore-type sufficient condition for the existence of a spanning broom. The corollaries are sharp for infinitely many $n$. One of the main ingredients of our proof is a modification of the Hopping Lemma due to Woodall.
2024-03-30
Sparsity of 3-flow critical graphs
A connected graph G is 3-flow-critical if G does not have a nowhere-zero 3-flow, but every proper contraction of G does. We prove that every n-vertex 3-flow-critical graph other than K_2 and K_4 has at least 5n/3 edges. This bound is tight up to lower-order terms, answering a question of Li et al. (2022). It also generalizes the result of Koester (1991) on the maximum average degree of 4-critical planar graphs.