arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
2025-07-28
Non-Hamiltonian 2-regular Digraphs
In earlier papers, we showed a decomposition of 2-diregular digraphs (2-dds) and used it to provide some sufficient conditions for these graphs to be non-Hamiltonian; we also showed a close connection between the permanent and determinant of the adjacency matrices of these digraphs and gave some enumeration and generation results. In the present paper we extend the discussion to a larger class of digraphs, introduce the notions of routes and quotients and use them to provide additional criteria for 2-dds to be non-Hamiltonian. Though individual non-Hamiltonian regular connected graphs of low degree are known (e.g. Tutte and Meredith graphs), families of such graphs are not common in the literature; even scarcer are families of such digraphs. Our results identify a few such families.
The $d$-distance $p$-packing domination number: complexity, cycles, and trees
A set of vertices $X\subseteq V(G)$ is a $d$-distance dominating set if for every $u\in V(G)\setminus X$ there exists $x\in X$ such that $d(u,x) \le d$, and $X$ is a $p$-packing if $d(u,v) \ge p+1$ for every different $u,v\in X$. The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. It is proved that for every two fixed integers $d$ and $p$ with $2 \le d$ and $0 \le p \leq 2d-1$, the decision problem whether $γ_d^p(G) \leq k$ holds is NP-complete for bipartite planar graphs. A necessary and sufficient condition for the existence of a $d$-distance $p$-packing dominating set in $C_n$ is obtained and $γ_d^p(C_n)$ determined for every $d$, $p$, and $n$. For a tree $T$ on $n$ vertices with $\ell$ leaves and $s$ support vertices it is proved that (i) $γ_2^0(T) \geq \frac{n-\ell-s+4}{5}$, (ii) $\left \lceil \frac{n-\ell-s+4}{5} \right \rceil \leq γ_2^2(T) \leq \left \lfloor \frac{n+3s-1}{5} \right \rfloor$, and if $d \geq 2$, then (iii) $γ_d^2(T) \leq \frac{n-2\sqrt{n}+d+1}{d}$. Inequality (i) improves an earlier bound due to Meierling and Volkmann, and independently Raczek, Lemańska, and Cyman, while (iii) extends an earlier result for $γ_2^2(T)$ due to Henning. Sharpness of the bounds are discussed and established in most cases. It is also proved that every connected graph $G$ contains a spanning tree $T$ such that $γ_2^2(T) \leq γ_2^2(G)$.
2025-07-23
Resolving Open Problems on the Euler Sombor Index
Published • View Publication • BIB
Recently, the Euler Sombor index $(EUS)$ was introduced as a novel degree-based topological index. For a graph $G$, the Euler Sombor index is defined as $$EUS(G) = \sum_{v_i v_j \in E(G)} \sqrt{d_i^2 + d_j^2 + d_i d_j},$$ where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. Very recently, Khanra and Das \textbf{\bf [Euler Sombor index of trees, unicyclic and chemical graphs, \emph{MATCH Commun. Math. Comput. Chem.} \textbf{94} (2025) 525--548]} proposed several open problems concerning the Euler Sombor index. This paper completely resolves two of the most challenging problems posed therein. First, we determine the minimum value of the $EUS$ index among all unicyclic graphs of a fixed order and prescribed girth, and we characterize the extremal graphs that attain this minimum. Building on this result, we further establish the minimum $EUS$ index within the broader class of connected graphs of the same order and girth, and identify the corresponding extremal structures. In addition, we classify all connected graphs that attain the maximum Euler Sombor index $(EUS)$ when both the order and the number of leaves are fixed.
2025-07-23 v2
Bipartite graphs with minimum degree at least 15 are antimagic
Published • View Publication • BIB
An antimagic {labeling} of a graph $G=(V,E)$ is a one-to-one mapping $f: E\rightarrow\{1,2,\ldots,|E|\}$, ensuring that the vertex sums in $V$ are pairwise distinct, where a vertex sum of a vertex $v$ is defined as the sum of the labels of the edges incident to $v$. A graph is called antimagic if it admits an antimagic labeling. The Antimagic Labeling Conjecture, proposed by Hartsfield and Ringel in 1990, posits that every connected graph other than $K_2$ is antimagic. The conjecture was confirmed for graphs of average degree at least 4,182 in 2016 by Eccles, where it was stated that a similar approach could not reduce the bound below 1,000 from 4,182. This paper shows that every bipartite graph with minimum degree at least 15 is antimagic. Our approach relies on three tools: a consequence of König's Theorem, the existence of a subgraph of a specific size that avoids Eulerian components, and a labeling lemma that ensures some vertex sums are divisible by three while others are not.
Maker-Breaker total domination number
The Maker-Breaker total domination number, $γ_{\rm MBT}(G)$, of a graph $G$ is introduced as the minimum number of moves of Dominator to win the Maker-Breaker total domination game, provided that he has a winning strategy and is the first to play. The Staller-start Maker-Breaker total domination number, $γ_{\rm MBT}'(G)$, is defined analogously for the game in which Staller starts. Upper and lower bounds on $γ_{\rm MBT}(G)$ and on $γ_{\rm MBT}'(G)$ are provided and demonstrated to be sharp. It is proved that for any pair of integers $(k,\ell)$ with $2\leq k\leq \ell$, (i) there exists a connected graph $G$ with $γ_{\rm MB}(G)=k$ and $γ_{\rm MBT}(G)=\ell$, (ii) there exists a connected graph $G'$ with $γ_{\rm MB}'(G')=k$ and $γ_{\rm MBT}'(G')=\ell$, and (iii) there there exists a connected graph $G''$ with $γ_{\rm MBT}(G'')=k$ and $γ_{\rm MBT}'(G'')=\ell$. Here, $γ_{\rm MB}$ and $γ_{\rm MB}'$ are corresponding invariants for the Maker-Breaker domination game.
2025-07-22
A metrization theorem for edge-end spaces of infinite graphs
Published • View Publication • BIB
We prove that the edge-end space of an infinite graph is metrizable if and only if it is first-countable. This strengthens a recent result by Aurichi, Magalhaes Jr.\ and Real (2024). Our central graph-theoretic tool is the use of tree-cut decompositions, introduced by Wollan (2015) as a variation of tree decompositions that is based on edge cuts instead of vertex separations. In particular, we give a new, elementary proof for Kurkofka's result (2022) that every infinite graph has a tree-cut decomposition of finite adhesion into its $ω$-edge blocks. Along the way, we also give a new, short proof for a classic result by Halin (1984) on $K_{k,κ}$-subdivisions in $k$-connected graphs, making this paper self-contained.
2025-07-20 v2
A result on spanning trees with bounded total excess
Published • View Publication • BIB
Let $G$ be a connected graph and $T$ a spanning tree of $G$. Let $ρ(G)$ denote the adjacency spectral radius of $G$. The $k$-excess of a vertex $v$ in $T$ is defined as $\max\{0,d_T(v)-k\}$. The total $k$-excess $\mbox{te}(T,k)$ is defined by $\mbox{te}(T,k)=\sum\limits_{v\in V(T)}{\max\{0,d_T(v)-k\}}$. A tree $T$ is said to be a $k$-tree if $d_T(v)\leq k$ for any $v\in V(T)$, that is to say, the maximum degree of a $k$-tree is at most $k$. In fact, $T$ is a spanning $k$-tree if and only if $\mbox{te}(T,k)=0$. This paper studies a generalization of spanning $k$-trees using a concept called total $k$-excess and proposes a lower bound for $ρ(G)$ in a connected graph $G$ to ensure that $G$ contains a spanning tree $T$ with $\mbox{te}(T,k)\leq b$, where $k$ and $b$ are two nonnegative integers with $k\geq\max\{5,b+3\}$ and $(b,k)\neq(2,5)$.
2025-07-18
Intertwining local (adjacency) metric dimension with the clique number of a graph
Let $G$ be a simple connected graph with order $ n(G)$, local metric dimension $ {\rm dim}_l(G)$, local adjacency metric dimension $ {\rm dim}_{A,l}(G)$, and clique number $ ω(G)$, where $G\not\cong K_{n(G)}$ and $ω(G)\geq3$. It is proved that $ {\rm dim}_{A,l}(G) \leq \left\lfloor \left(\frac{ω(G) - 2}{ω(G) - 1}\right)n(G)\right\rfloor$. Consequently, the conjecture asserting that the latter expression is an upper bound for ${\rm dim}_l(G)$ is confirmed. It is important to note that there are infinitely many graphs that satisfy the equalities.
2025-07-17
On $2$-connected graphs avoiding cycles of length $0$ modulo $4$
For two integers $k$ and $\ell$, an $(\ell \text{ mod }k)$-cycle means a cycle of length $m$ such that $m\equiv \ell\pmod{k}$. In 1977, Bollobás proved a conjecture of Burr and Erdős by showing that if $\ell$ is even or $k$ is odd, then every $n$-vertex graph containing no $(\ell \text{ mod }k)$-cycles has at most a linear number of edges in terms of $n$. Since then, determining the exact extremal bounds for graphs without $(\ell \text{ mod }k)$-cycles has emerged as an interesting question in extremal graph theory, though the exact values are known only for a few integers $\ell$ and $k$. Recently, Győri, Li, Salia, Tompkins, Varga and Zhu proved that every $n$-vertex graph containing no $(0 \text{ mod }4)$-cycles has at most $\left\lfloor \frac{19}{12}(n -1) \right\rfloor$ edges, and they provided extremal examples that reach the bound, all of which are not $2$-connected. In this paper, we show that a $2$-connected graph without $(0 \text{ mod } 4)$-cycles has at most $\left\lfloor \frac{3n-1}{2} \right\rfloor$ edges, and this bound is tight by presenting a method to construct infinitely many extremal examples.
2025-07-15
Spanning subgraphs and spectral radius in graphs
Published • View Publication • BIB
A spanning tree $T$ of a connected graph $G$ is a subgraph of $G$ that is a tree covers all vertices of $G$. The leaf distance of $T$ is defined as the minimum of distances between any two leaves of $T$. A fractional matching of a graph $G$ is a function $h$ assigning every edge a real number in $[0,1]$ so that $\sum\limits_{e\in E_G(v)}{h(e)}\leq1$ for any $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$. A fractional matching of $G$ is called a fractional perfect matching if $\sum\limits_{e\in E_G(v)}{h(e)}=1$ for any $v\in V(G)$. A graph $G$ with at least $2k+2$ vertices is said to be fractional $k$-extendable if every $k$-matching $M$ in $G$ is included in a fractional perfect matching $h$ of $G$ such that $h(e)=1$ for any $e\in M$. This paper considers a lower bound on the spectral radius of $G$ to guarantee that $G$ has a spanning tree with leaf distance at least $d$. At the same time, we obtain a lower bound on the spectral radius of $G$ to ensure that $G$ is fractional $k$-extendable.
2025-07-14
On connected graphs with finite spectral redundancy index and Pythagorean triplets
This article investigates spectral redundancy, a concept initially introduced by Alberto Seeger. Spectral redundancy arises when different connected induced subgraphs of a graph share the same spectral radius in their adjacency spectrum. Let \(b(G)\) denote the total number of non-isomorphic induced subgraphs of \(G\), and \(c(G)\) represents the cardinality of the set of spectral radius of all connected induced subgraphs of \(G\). The spectral redundancy of a graph \( G \) is defined as the ratio \( \frac{b(G)}{c(G)} \). The supremum of this ratio across all graphs in a family is called the spectral redundancy index of that family. We focus on a family of graphs that exhibit spectral redundancy and we find out the spectral redundancy index of this family. Furthermore, we investigate the connection between the spectral redundancy of these graphs and the presence of Pythagorean triplets.
2025-07-14
Degree-truncated choosability of graphs
Published • View Publication • BIB
A graph $G$ is called degree-truncated $k$-choosable if for every list assignment $L$ with $|L(v)| \ge \min\{d_G(v), k\}$ for each vertex $v$, $G$ is $L$-colourable. Richter asked whether every 3-connected non-complete planar graph is degree-truncated 6-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not degree-truncated 7-choosable. Then we prove that every 3-connected non-complete planar graph is degree-truncated 16-DP-colourable (and hence degree-truncated $16$-choosable). We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected graph $G \in {\mathcal G}$ other than a GDP tree is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable), where a GDP-tree is a graph whose blocks are complete graphs or cycles. In particular, for any surface $Σ$, there is a constant $k$ such that every 3-connected non-complete graph embeddable on $Σ$ is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable). The $s$-connectedness for graphs in $\mathcal{G}$ (and 3-connectedness for graphs embeddable on $Σ$) is necessary, as for any positive integer $k$, $K_{s-1,k^{s-1}} \in \mathcal{G}$ ($K_{2,k^2}$ is planar) is not degree-truncated $k$-choosable. Also, non-completeness is a necessary condition, as complete graphs are not degree-choosable.
2025-07-13
Equiangular lines via nodal domains
For given $Δ>0$ and $0<λ<3/\sqrt{2}$, we show that the maximum multiplicity that $λ$ can appear as the second largest eigenvalue of a connected graph with maximum degree at most $Δ$ is $O_{Δ,λ}(1)$. This result answers a question due to Jiang, Tidor, Yao, Zhang and Zhao [Question 6.4, Ann. of Math. (2) 194 (2021), no. 3, 729-743] in the case of $0<λ<3/\sqrt{2}$, and consequently leads to improvements in their results on equiangular lines. Our proof is based on the concept of nodal domains of eigenfunctions. Indeed, we establish a multiplicity estimate in terms of maximum degree and cyclomatic number of the graph, via a novel construction of eigenfunctions with large number of nodal domains.
A constructive characterization of uniformly 4-connected graphs
A constructive characterization of the class of uniformly $4$-connected graphs is presented. The characterization is based on the application of graph operations to appropriate vertex and edge sets in uniformly $4$-connected graphs, that is, any uniformly $4$-connected graph can be obtained from $C_5^2$ or $C_6^2$ by a number of $Δ_1^+$ or $Δ_2^+$-operations to quasi $4$-compatible sets.
2025-07-09
Spanning k-trees, odd [1,b]-factors and spectral radius in binding graphs
The binding number of a graph $G$, written as $\mbox{bind}(G)$, is defined by $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}. $$ A graph $G$ is called $r$-binding if $\mbox{bind}(G)\geq r$. An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $F$ with $d_F(v)\in\{1,3,\ldots,b\}$ for all $v\in V(G)$, where $b\geq1$ is an odd integer. A spanning $k$-tree of a connected graph $G$ is a spanning tree $T$ with $d_T(v)\leq k$ for every $v\in V(G)$. In this paper, we first show a tight sufficient condition with respect to the adjacency spectral radius for connected $\frac{1}{b}$-binding graphs to have odd $[1,b]$-factors, which generalizes Fan and Lin's previous result [D. Fan, H. Lin, Binding number, $k$-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) \#P1.30] and partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16]. Then we put forward a tight sufficient condition via the adjacency spectral radius for connected $\frac{1}{k-2}$-binding graphs to have spanning $k$-trees, which partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16].
2025-07-08 v2
Comparing the $\mathrm{v}$-number and $h$-polynomials of edge ideals
Published • View Publication • BIB
In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges.
Multipacking in Hypercubes
For an undirected graph $G$, a dominating broadcast on $G$ is a function $f : V(G) \rightarrow \mathbb{N}$ such that for any vertex $u \in V(G)$, there exists a vertex $v \in V(G)$ with $f(v) \geqslant 1$ and $d(u,v) \leqslant f(v)$. The cost of $f$ is $\sum_{v \in V} f(v)$. The minimum cost over all the dominating broadcasts on $G$ is defined as the broadcast domination number $γ_b(G)$ of $G$. A multipacking in $G$ is a subset $M \subseteq V(G)$ such that, for every vertex $v \in V(G)$ and every positive integer $r$, the number of vertices in $M$ within distance $r$ of $v$ is at most $r$. The multipacking number of $G$, denoted $\operatorname{mp}(G)$, is the maximum cardinality of a multipacking in $G$. These two optimisation problems are duals of each other, and it easily follows that $\operatorname{mp}(G) \leqslant γ_b(G)$. It is known that $γ_b(G) \leqslant 2\operatorname{mp}(G)+3$ and conjectured that $γ_b(G) \leqslant 2\operatorname{mp}(G)$. In this paper, we show that for the $n$-dimensional hypercube $Q_n$ $$ \left\lfloor\frac{n}{2} \right\rfloor \leqslant \operatorname{mp}(Q_n) \leqslant \frac{n}{2} + 6\sqrt{2n}. $$ Since $γ_b(Q_n) = n-1$ for all $n \geqslant 3$, this verifies the above conjecture on hypercubes and, more interestingly, gives a sequence of connected graphs for which the ratio $\frac{γ_b(G)}{\operatorname{mp}(G)}$ approaches $2$, a search for which was initiated by Beaudou, Brewster and Foucaud in 2018. It follows that, for connected graphs $G$ $$ \limsup_{\operatorname{mp}(G) \rightarrow \infty} \left\{\frac{γ_b(G)}{\operatorname{mp}(G)}\right\} = 2.$$ The lower bound on $\operatorname{mp}(Q_n)$ is established by a recursive construction, and the upper bound is established using a classic result from discrepancy theory.
2025-06-27
5-regular graphs and the 3-dimensional rigidity matroid
A bar-joint framework $(G,p)$ in Euclidean $d$-space is rigid if the only edge-length-preserving continuous motions arise from isometries of $\mathbb{R}^d$. In the generic case, rigidity is determined by the generic $d$-dimensional rigidity matroid of $G$. The combinatorial nature of this matroid is well understood when $d=1,2$ but open when $d\geq 3$. Jackson and Jordán 2005 characterised independence in this matroid for connected graphs with minimum degree at most $d+1$ and maximum degree at most $d+2$. Their characterisation is known to be false for $(d+2)$-regular graphs when $d\geq 4$ but when $d=3$ it remained open. Indeed they conjectured that their characterisation extends to 5-regular graphs when $d=3$. The purpose of this article is to prove their conjecture. That is, we prove that every 5-regular graph that has at most $3n-6$ edges in any subgraph on $n\geq 3$ vertices is independent in the generic 3-dimensional rigidity matroid.
Making Graphs Irregular through Irregularising Walks
Published • View Publication • BIB
The 1-2-3 Conjecture, introduced by Karoński, Łuczak, and Thomason in 2004, was recently solved by Keusch. This implies that, for any connected graph $G$ different from $K_2$, we can turn $G$ into a locally irregular multigraph $M(G)$, i.e., in which no two adjacent vertices have the same degree, by replacing some of its edges with at most three parallel edges. In this work, we introduce and study a restriction of this problem under the additional constraint that edges added to $G$ to reach $M(G)$ must form a walk (i.e., a path with possibly repeated edges and vertices) of $G$. We investigate the general consequences of having this additional constraint, and provide several results of different natures (structural, combinatorial, algorithmic) on the length of the shortest irregularising walks, for general graphs and more restricted classes.
Complete polyhedral description of chemical graphs of maximum degree at most 3
Published • View Publication • BIB
Chemical graphs are simple undirected connected graphs, where vertices represent atoms in a molecule and edges represent chemical bonds. A degree-based topological index is a molecular descriptor used to study specific physicochemical properties of molecules. Such an index is computed from the sum of the weights of the edges of a chemical graph, each edge having a weight defined by a formula that depends only on the degrees of its endpoints. Given any degree-based topological index and given two integers $n$ and $m$, we are interested in determining chemical graphs of order $n$ and size $m$ that maximize or minimize the index. Focusing on chemical graphs with maximum degree at most 3, we show that this reduces to determining the extreme points of a polytope that contains at most 10 facets. We also show that the number of extreme points is at most 16, which means that for any given $n$ and $m$, there are very few different classes of extremal graphs, independently of the chosen degree-based topological index.