arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
2025-09-13 v3
On the Squared Distance Matrix of a Starlike Block Graph
Let $D(G)$ be the distance matrix of a simple connected graph $G$. The Hadamard product $D(G)~\circ~ D(G)$ is called the squared distance matrix of $G$, and is denoted by $Δ(G)$. A simple connected graph is called a starlike block graph if it has a central cut vertex, and each of its blocks is a complete graph. Let $ \mathcal{S}(n_1, n_2, \ldots, n_b)$ be the starlike block graph with blocks $K_{n_1+1}, K_{n_2+1}, \ldots, K_{n_b+1} $ on $n=1 + \sum_{i=1}^b n_i$ vertices. In this article, we compute the determinant of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$ and find its inverse as a rank-one perturbation of a positive semidefinite Laplacian-like matrix $\mathcal{L}$ with rank $n-1$. We also investigate the inertia of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$. Furthermore, for a fixed value of $ n $ and $ b $, we determine the extremal graphs that uniquely attain the maximum and minimum spectral radius of the squared distance matrix for starlike block graphs on $ n $ vertices and $ b $ blocks.
2025-09-13
On Legendre Cordial Labeling of Some Graphs Under Graph Opearations
Published • View Publication • BIB
For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to\{1,2,\cdots,n\}$ is said to be a Legendre cordial labeling modulo $p$, where $p$ is an odd prime, if the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=0$ whenever $([f(u)+f(v)]/p)=-1$ or $f(u)+f(v)\equiv 0(\text{mod }p)$, and $f_p^*(uv)=1$ whenever $([f(u)+f(v)]/p)=1$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges with label $i$ ($i=0,1$). This paper investigates the Legendre cordial labeling of graphs obtained through various operations: join, corona, lexicographic product, cartesian product, tensor product, and strong product.
Toward Minimum Graphic Parity Networks
Quantum circuits composed of CNOT and $R_z$ are fundamental building blocks of many quantum algorithms, so optimizing the synthesis of such quantum circuits is crucial. We address this problem from a theoretical perspective by studying the graphic parity network synthesis problem. A graphic parity network for a graph $G$ is a quantum circuit composed solely of CNOT gates where each edge of $G$ is represented in the circuit, and the final state of the wires matches the original input. We aim to synthesize graphic parity networks with the minimum number of gates, specifically for quantum algorithms addressing combinatorial optimization problems with Ising formulations. We demonstrate that a graphic parity network for a connected graph with $n$ vertices and $m$ edges requires at least $m+n-1$ gates. This lower bound can be improved to $m+Ω(m) = m+Ω(n^{1.5})$ when the shortest cycle in the graph has a length of at least five. We complement this result with a simple randomized algorithm that synthesizes a graphic parity network with expected $m + O(n^{1.5}\sqrt{\log n})$ gates. Additionally, we begin exploring connected graphs that allow for graphic parity networks with exactly $m+n-1$ gates. We conjecture that all such graphs belong to a newly defined graph class. Furthermore, we present a linear-time algorithm for synthesizing minimum graphic parity networks for graphs within this class. However, this graph class is not closed under taking induced subgraphs, and we show that recognizing it is $\textsf{NP}$-complete, which is complemented with a fixed-parameter tractable algorithm parameterized by the treewidth.
2025-09-12
The rank distribution of matrices representing graphs with a long induced path over the field of two elements
A square matrix $M$ represents a graph $Γ$ if its nonzero off-diagonal entries encode the adjacencies of $Γ$, subject to a fixed ordering of the vertices. Over the field of two elements, we investigate the distribution of ranks in the affine space consisting of all matrices representing a given $Γ$. In particular, we consider which graphs of order $n$ are represented by more matrices of rank $n-1$ than of rank $n$. This property reflects an exceptional feature of the space $M_n(\mathbb{F}_2)$ of all $n\times n$ matrices over $\mathbb{F}_2$, namely that its most frequently occurring rank is not $n$ but $n-1$. Our analysis focuses on the class of connected graphs with an induced path on all but one vertex. The main result is a characterisation of all such graphs that are represented by more matrices of rank $n-1$ than of rank $n$ over $\mathbb{F}_2$.
2025-09-11
On Legendre Cordial Labeling of Complete Graphs
Let $p$ be an odd prime. For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to\{1,2,\ldots,n\}$ is said to be a Legendre cordial labeling modulo $p$ if the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^* (uv)=0$ whenever $([f(u)+f(v)]/p)=-1$ or $f(u)+f(v)\equiv 0(\text{mod } p)$ and $f_p^* (uv)=1$ whenever $([f(u)+f(v)]/p)=1$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges with label $i$ ($i=0,1$). This paper explores the characterization of the Legendre cordial labeling modulo $p$ of the complete graph $K_n$ using the concept of Legendre graph.
2025-09-09
On a Conjecture about Comparing the First and Second Zagreb Indices of Graphs
Published • View Publication • BIB
Let $G$ be a graph with order $n(G)$, size $m(G)$, first Zagreb index $M_1(G)$, and second Zagreb index $M_2(G)$. More than twenty years ago, it was conjectured that $\frac{M_1(G)}{n(G)} \leq \frac{M_2(G)}{m(G)}$. Later, Hansen and Vukičević demonstrated that this conjecture does not hold for general graphs but is valid for chemical graphs. In this paper, as an extension of the study of chemical graphs, we investigate graphs in which the difference between the minimum and maximum degrees is at most $3$. We prove that any graph in this class that serves as a counterexample to the stated conjecture must have a minimum degree of $2$ and a maximum degree of $5$. Furthermore, we present infinitely many connected graphs that serve as counterexamples to this conjecture, all of which have a minimum degree of 2, a maximum degree of 5, and an order of at least 218.
2025-09-08 v2
Finite projective planes meet spectral gaps
We show that for any connected graph $G$ with maximum degree $d\ge3$, the spectral gap from $0$ with respect to the adjacency matrix is at most $\sqrt{d-1}$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$; and for other cases, the bound $\sqrt{d-1}$ is improved to $\sqrt{d-2}$. This is a spectral gap version of a result by Mohar and Tayfeh-Rezaie. Moreover, for $d$-regular graphs with girth at least 7, the bound $\sqrt{d-2}$ is further improved to $\sqrt{d-c(d)}$ where $c(d)\ge 2$ and $\lim\limits_{d\to\infty}c(d)/d=(\sqrt{5}-1)/2$. A similar yet more subtle phenomenon involving the normalized Laplacian is also investigated, where we work on graphs of degrees $\ge d$ rather than $\le d$. We prove that for any graph $G$ with \emph{minimum} degree $d\ge 3$, the spectral gap from the value 1 with respect to the normalized Laplacian is at most $\sqrt{d-1}/d$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$. As an application, we provide a new sharp bound for the convergence rate of some eigenvalues of the Laplacian on the weighted neighborhood graphs introduced by Bauer and Jost.
2025-09-08
Proof of a conjecture of Voss on bridges of longest cycles
Bridges are a classical concept in structural graph theory and play a fundamental role in the study of cycles. A conjecture of Voss from 1991 asserts that if disjoint bridges $B_1, B_2, \ldots, B_k$ of a longest cycle $L$ in a $2$-connected graph overlap in a tree-like manner (i.e., induce a tree in the {\it overlap graph} of $L$), then the total {\it length} of these bridges is at most half the length of $L$. Voss established this for $k \leq 3$ and used it as a key tool in his 1991 monograph on cycles and bridges. In this paper, we confirm the conjecture in full via a reduction to a cycle covering problem.
Connectivity of contraction-critical graphs
Contraction-critical graphs came from the study of minimal counterexamples to Hadwiger's conjecture. A graph is $k$-contraction-critical if it is $k$-chromatic, but any proper minor is $(k-1)$-colorable. It is a long-standing result of Mader that $k$-contraction-critical graphs are $7$-connected for $k\ge7$. In this paper, we provide the improvement of Mader's result for small values of $k$. We show that $k$-contraction-critical graphs are $8$-connected for $k\ge17$, $9$-connected for $k\ge29$, and $10$-connected for $k\ge41$. As a corollary of one of our intermediate results, we also prove that every $30$-connected graph is $4$-linked.
2025-09-03 v2
The burning number conjecture holds for trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices
Published • View Publication • BIB
Inspired by the spread of information in social networks and graph-theoretic processes such as Firefighting and graph cleaning, Bonato, Janssen and Roshanbin introduced in 2016 the burning number $b(G)$ of any finite graph $G$. They conjectured that $b(G)\le \lceil n^\frac{1}{2}\rceil$ holds for all connected graphs $G$ of order $n$, and observed that it suffices to prove the conjecture for all trees. In 2024, Murakami confirmed the conjecture for trees without degree-2 vertices. In this paper, we prove that for all trees $T$ of order $n$ with $n_2$ degree-2 vertices, $$b(T)\le \left\lceil \left(n+n_2-\left\lceil\sqrt{n+n_2+0.25}-1.5\right\rceil\right)^{\frac{1}{2}}\right\rceil.$$ Hence, the conjecture holds for all trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices.
Sparsity, Stress-Independence and Globally Linked Pairs in Graph Rigidity Theory
A graph is $\mathcal{R}_d$-independent (resp. $\mathcal{R}_d$-connected) if its $d$-dimensional generic rigidity matroid is free (resp. connected). A result of Maxwell from 1867 implies that every $\mathcal{R}_d$-independent graph satisfies the sparsity condition $|E(H)|\leq d|V(H)|-\binom{d+1}{2}$ for all subgraphs $H$ with at least $d+1$ vertices. Several other families of graphs $G$ arising naturally in rigidity theory, such as minimally globally $d$-rigid graphs, are known to satisfy the bound $|E(G)|\leq (d+1)|V(G)|-\binom{d+2}{2}$. We unify and extend these results by considering the family of $d$-stress-independent graphs which includes many of these families. We show that every $d$-stress-independent graph is $\mathcal{R}_{d+1}$-independent. A key ingredient in our proofs is the concept of $d$-stress-linked pairs of vertices. We derive a new sufficient condition for $d$-stress linkedness and use it to obtain a similar condition for a pair of vertices of a graph to be globally $d$-linked. This result strengthens a result of Tanigawa on globally $d$-rigid graphs. We also show that every minimally $\mathcal{R}_d$-connected graph $G$ is $\mathcal{R}_{d+1}$-independent and that the only subgraphs of $G$ that can satisfy Maxwell's criterion for $\mathcal{R}_{d+1}$-independence with equality are copies of $K_{d+2}$. Our results give affirmative answers to two conjectures in graph rigidity theory.
2025-09-02
Spectral radius and homeomorphically irreducible spanning trees of graphs
Published • View Publication • BIB
For a connected graph $G$, a spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST) if $T$ has no vertices of degree 2. Albertson {\em et al.} proved that it is $NP$-complete to decide whether a graph contains a HIST. In this paper, we provide some spectral conditions that guarantee the existence of a HIST in a connected graph. Furthermore, we also present some sufficient conditions in terms of the order of a graph $G$ to ensure the existence of a HIST in $G$.
2025-09-01
Binomial edge ideals of Cameron-Walker graphs
Let $G$ be a Cameron--Walker graph on $n$ vertices and $J_G$ the binomial edge ideal of $G$. Let $S$ denote the polynomial ring in $2n$ variables over a field. It is shown that the following conditions are equivalent: (i) $S/J_G$ is Cohen--Macaulay; (ii) $J_G$ is unmixed; (iii) $\dim (S/J_G) = n+1$; (iv) (a) $n = 3$ and $G$ is a path of length $2$ or (b) $n = 5$ and $G$ is a path of length $4$ or (c) $n=5$ and $G$ is obtained by attaching a path of length $2$ to a triangle. Moreover, the depth of $S/J_G$ is computed for a class of Cameron--Walker graphs, called minimal dense Cameron--Walker graphs. As an application, it is proved that finite graphs $G$ with $\depth(S/J_G)=6$ can have any number of vertices~$n\geq 6$. Finally, it is shown that given integers $t,n$ with $6\leq t\leq n+1$, there exists a finite connected graph $G$ with $\depth (S/J_G)=t$.
2025-08-28 v2
Results on proper conflict-free list coloring of graphs
Published • View Publication • BIB
Given a graph $G$ and a mapping $f:V(G) \to \mathbb{N}$, an $f$-list assignment of $G$ is a function that maps each $v \in V(G)$ to a set of at least $f(v)$ colors. For an $f$-list assignment $L$ of a graph $G$, a proper conflict-free $L$-coloring of $G$ is a proper coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for every vertex $v\in V(G)$ and $v$ has a color that appears precisely once at its neighborhood for every non-isolated vertex $v\in V(G)$. We say that $G$ is proper conflict-free $f$-choosable if for any $f$-list assignment $L$ of $G$, there exists a proper conflict-free $L$-coloring of $G$. For a non-negative integer $k$, we say that $G$ is \emph{proper conflict-free $({\rm degree}+k)$-choosable} if $G$ is proper conflict-free $f$-choosable where $f$ is a mapping with $f(v)= d_G(v)+k$ for every vertex $v\in V(G)$. Motivated by degree-choosability of graphs, we investigate the proper conflict-free $({\rm degree}+k)$-choosability of graphs, especially for cases $k=1,2,3$. As the 5-cycle is not proper conflict-free $({\rm degree}+2)$-choosable and it is the only such graph we know, it is possible that every connected graph other than the 5-cycle is proper conflict-free $({\rm degree}+2)$-choosable and thus every graph is proper conflict-free $({\rm degree}+3)$-choosable. To support these, we show that every connected graph with maximum degree at most 3 distinct from the 5-cycle is proper conflict-free $(\text{degree}+2)$-choosable, and that $S(G)$ is proper conflict-free $(\text{degree}+2)$-choosable for every graph $G$, where $S(G)$ is a graph obtained from $G$ by subdividing each edge once. Furthermore, by adapting the technique of DP-colorings, we prove that every graph with maximum degree at most $4$ is proper conflict-free $({\rm degree}+3)$-choosable.
2025-08-28
Edge-connectivity and non-negative Lin-Lu-Yau curvature
By definition, the edge-connectivity of a connected graph is no larger than its minimum degree. In this paper, we prove that the edge connectivity of a finite connected graph with non-negative Lin-Lu-Yau curvature is equal to its minimum degree. This answers an open question of Chen, Liu and You. Notice that our conclusion would be false if we did not require the graph to be finite. We actually classify all connected graphs with non-negative Lin-Lu-Yau curvature and edge-connectivity smaller than their minimum degree. In particular, they are all infinite.
2025-08-28
A Note on Distance-Fall Colorings
We say a proper coloring of a graph is distance-$k$ fall if every vertex is within distance $k$ of at least one vertex of every color. We show that if $G$ is a connected graph of order at least $3$ that is $3$-colorable, thenit has a distance-2 fall 3-coloring. Further, for every integer $k\ge 2$, if $T$ is a tree of order at least $k$, then $T$ has a $k$-coloring such that every vertex is within distance $k-1$ of every color. This proves an old conjecture of Beineke and Henning that every tree of order $n$ has an independent distance-$d$-dominating set of size at most $n/(d + 1)$.
Fractional domatic number and minimum degree
The domatic number of a graph $G$ is the maximum number of pairwise disjoint dominating sets of $G$. We are interested in the LP-relaxation of this parameter, which is called the fractional domatic number of $G$. We study its extremal value in the class of graphs of minimum degree $d$. The fractional domatic number of a graph of minimum degree $d$ is always at most $d+1$, and at least $(1-o(1))\, d/\ln d$ as $d\to \infty$. This is asymptotically tight even within the class of split graphs. Our main result concerns the case $d=2$; we show that, excluding $8$ exceptional graphs, the fractional domatic number of every connected graph of minimum degree (at least) $2$ is at least $5/2$. We also show that this bound cannot be improved if only finitely many graphs are excluded, even when restricting to bipartite graphs of girth at least $6$. This proves in a stronger sense a conjecture by Gadouleau, Harms, Mertzios, and Zamaraev (2024). This also extends and generalises results from McCuaig and Shepherd (1989), from Fujita, Kameda, and Yamashita (2000), and from Abbas, Egerstedt, Liu, Thomas, and Whalen (2016). Finally, we show that planar graphs of minimum degree at least $2$ and girth at least $g$ have fractional domatic number at least $3 - O(1/g)$ as $g\to\infty$.
Non-existence of co-spectral simple connected graphs with small number of edges
Published • View Publication • BIB
We prove that if the number of edges does not exceed 7 then the asymptotics of eigenvalues of the Dirichlet problem uniquely determine the shape of the graph.
2025-08-24
Intersections of longest cycles in vertex-transitive and highly connected graphs
Motivated by the classical conjectures of Lovász, Thomassen, and Smith, recent work has renewed interest in the study of longest cycles in important graph families, such as vertex-transitive and highly connected graphs. In particular, Groenland et al.\ proved that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{8/5})$ separating them, yielding improved bounds toward these conjectures. Their proof combines Turán-type arguments with computer-assisted search. We prove two results addressing problems of Babai (1979) and Smith (1984) on intersections of longest cycles in vertex-transitive and highly connected graphs. First, we strengthen the bound of Groenland et al.\ by showing that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{3/2})$ separating them. As a consequence, we show that in every \(k\)-connected graph, any two longest cycles intersect in at least \(Ω(k^{2/3})\) vertices, improving the best known bound toward Smith's conjecture. Our proof is purely combinatorial, employing supersaturation-type estimates beyond the existing Turán-type approach. Second, we prove that in every connected vertex-transitive graph on \(n\) vertices, any two longest cycles intersect in at least \(f(n)\) vertices for some function \(f(n)\to\infty\) as \(n\to\infty\), thereby resolving a problem of Babai (1979) for the class of vertex-transitive graphs central to his original motivation. In doing so, we introduce a new method for constructing longer cycles in vertex-transitive graphs based on a given cycle, which may be of independent interest.
2025-08-21
Understanding ramification of branched {$\mathbb{Z}_p$}-covers
We provide a combinatorial approach to counting the number of spanning trees at the $n$-th layer of a branched $\mathbb{Z}_p$-cover of a finite connected graph $\mathsf{X}$. Our method achieves in explaining how the position of the ramified vertices affects the count and hence the Iwasawa invariants. We do so by introducing the notion of segments, segmental decomposition of a graph, and number of segmental $t$-tree spanning forests.