graph
34516 papers tagged with this keyword
The Linear Arboricity Conjecture for Graphs with Large Girth
The Linear Arboricity Conjecture asserts that the linear arboricity of a graph with maximum degree $Δ$ is $\lceil (Δ+1)/2 \rceil$. For a $2k$-regular graph $G$, this implies $la(G) = k+1$. In this note, we utilize a network flow construction to establish upper bounds on $la(G)$ conditioned on the girth $g(G)$. We prove that if $g(G) \ge 2k$, the conjecture holds true, i.e., $la(G) \le k+1$. Furthermore, we demonstrate that for graphs with girth $g(G)$ at least $k$, $k/2$, $k/4$ and $2k/c$ for any integer constant $c$, the linear arboricity $la(G)$ satisfies the upper bounds $k+2$, $k+3$, $k+5$ and $k+\left\lceil \frac{3c+2}{2}\right\rceil$, respectively. Our approach relies on decomposing the graph into $k$ edge-disjoint 2-factors and constructing an auxiliary flow network with lower bound constraints to identify a sparse transversal subgraph that intersects every cycle in the decomposition.
On restrained coalitions in graphs: bounds and exact values
A subset $D \subseteq V$ is a dominating set of a graph $G$ with vertex set $V$ if every vertex $v \in V \setminus D$ is adjacent to a vertex in $D$. Two subsets of $V$ form a coalition if neither of them is a dominating set, but their union is a dominating set. A coalition partition of $G$ is its vertex partition $π$ such that every non-dominating set of $π$ is a member of some coalition, and every dominating set is a single-vertex set in $π$. The coalition number $C(G)$ of a graph $G$ is the maximum cardinality of its coalition partitions. A subset $R \subseteq V$ is a restrained dominating set if $R$ is a dominating set and any vertex of $V \setminus R$ has at least one neighbor in $V \setminus R$. Restrained dominating coalition, restrained dominating partition and restrained coalition number $RC(G)$ are defined by the same way. In this paper, we prove that $RC(G) \le C(G)$ for an arbitrary graph $G$. In addition, the restrained coalition numbers of cycles and trees are determined.
On the complex zeros and the computational complexity of approximating the reliability polynomial
In this paper we relate the location of the complex zeros of the reliability polynomial to parameters at which a certain family of rational functions derived from the reliability polynomial exhibits chaotic behaviour. We use this connection to prove new results about the location of reliability zeros. In particular we show that there are zeros with modulus larger than $1$ with essentially any possible argument. We moreover use this connection to show that approximately evaluating the reliability polynomial for planar graphs at a non-positive algebraic number in the unit disk is #P-hard.
Hamiltonicity of optimal 2-planar graphs
A classical result of Tutte shows that every 4-connected planar graph is Hamiltonian. In recent years, there has been growing interest in extending classical Hamiltonian results from planar graphs to sparse graphs with drawings allowing crossings, such as $k$-planar graphs, where each edge is crossed at most $k$ times. For example, using different approaches, Hudák, Tomáš and Suzuki, as well as Noguchi and Suzuki, independently proved that every optimal 1-planar graph is Hamiltonian. Here, an optimal 1-planar graph refers to one that attains the maximum possible number of edges. In this paper, we establish results on the Hamiltonicity of optimal 2-planar graphs, that is, 2-planar graphs with the maximum number of edges. More precisely, we show that every 4-connected optimal 2-planar graph is Hamiltonian-connected. With vertex-connectivity 3, there exist infinitely many optimal 2-planar graphs that are non-Hamiltonian.
Classification of borderenergetic chemical graphs and borderenergetic graphs of order 12
Published in Discrete Appl. Math. 376 (2025), 394-403
• View Publication
• BIB
The energy $E(G)$ of a simple graph $G$ is the sum of absolute values of the eigenvalues of its adjacency matrix. A borderenergetic graph of order $n \in \mathbb{N}$ is any noncomplete graph~$G$ such that $E(G) = E(K_n) = 2n - 2$. Here we combine two-phase computer-assisted search with theoretical arguments to show that there are only three borderenergetic chemical graphs, thus completing the earlier findings of Li, Wei and Zhu [MATCH Commun. Math. Comput. Chem. 77 (2017), 25-36]. We perform two-phase computer-assisted search to also find all $566$ borderenergetic graphs of order~$12$, thereby correcting and extending the results from a previous search performed by Furtula and Gutman [Iranian J. Math. Chem. 8(4) (2017), 339-344].
The parameterized complexity of Strong Conflict-Free Vertex-Connection Colorability
This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears exactly once on its vertices. A connected graph is said to be strongly conflict-free vertex-connection $k$-colorable if it admits a (proper) vertex $k$-coloring such that any two distinct vertices are connected by a conflict-free shortest path. Among others, we show that deciding, for a given graph $G$ and an integer $k$, whether $G$ is strongly conflict-free $k$-colorable is fixed-parameter tractable when parameterized by the vertex cover number. But under the standard complexity-theoretic assumption NP $\not\subseteq$ coNP/poly, deciding, for a given graph $G$, whether $G$ is strongly conflict-free $3$-colorable does not admit a polynomial kernel, even for bipartite graphs. This kernel lower bound is in stark contrast to the ordinal $k$-Coloring problem which is known to admit a polynomial kernel when parameterized by the vertex cover number.
Optimal non-adaptive algorithm for edge estimation
We present a simple nonadaptive randomized algorithm that estimates the number of edges in a simple, unweighted, undirected graph, possibly containing isolated vertices, using only degree and random edge queries. For an $n$-vertex graph, our method requires only $\widetilde{O}(\sqrt{n})$ queries, achieving sublinear query complexity. The algorithm independently samples a set of vertices and queries their degrees, and also independently samples a set of edges, using the answers to these queries to estimate the total number of edges in the graph. We further prove a matching lower bound, establishing the optimality of our algorithm and resolving the non-adaptive query complexity of this problem with respect to degree and random-edge queries.
Inverse limits of various posets
It is known when we call a poset P, a $\mathcal{P}$-chain permutational poset, given a subset of permutations $\mathcal{P}$ of the symmetric group $S_{n}$. In this work, we use the same idea to study subsets of words of length $n$, that are not necessarily permutations, for example: especially when they are certain classes of restricted growth functions induced by set partitions in standard form over $[n]=\{1,2\cdots n\}$. Varying $n$ only, and also varying $n$ and $k$ (the number of blocks of the set partitions) simultaneously, we can show that those posets form a projective system of trees and lattices (after giving a lattice structure in a natural way). These poset structures can be extended over signed restricted growth functions for standard type B set partitions over $\langle n\rangle=\{-1,-2,\cdots n,0,1,2\cdots n\}$ as well. We investigate properties of the tree and lattice structures of these projective systems. In this scenario we further bring up some other posets like $\mathcal{P}$-Partition posets of snake graph of continued fractions, Ascent lattices on Dyck Paths, certain type of lattice induced by generalisec fibonnaci number and Stanley order, lattices induced by non-crossing set partitions.
Generalized Jacobians of graphs
We define a generalized Jacobian $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and a generalized Picard group $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ of a graph $\mathit{Gr}$ with respect to a modulus $ \mathfrak{m}=\sum_{i=1}^s m_iw_i$ with $w_i$ vertices of $\mathit{Gr}$ and $m_i\geq 1$. These groups occur as the component groups of Néron models of generalized Jacobians. We prove a universal mapping property for $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and show that an Abel-Jacobi map in this context induces an isomorphism from $\mathrm{P}_\frak{m}(\mathit{Gr})$ to $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$. We also reinterpret $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ in terms of sheaves on the geometric realization $\left| \mathit{Gr}\right|$ of $\mathit{Gr}$, making a connection with tropical geometry.
Chen-Chvátal Conjecture for Graphs of Diameter 3
In 2008, Chen and Chvátal conjectured that in every finite metric space of $n$ points, there are at least $n$ distinct lines, or the whole set of points is a line. This is a generalization of a classical result in the Euclidean plane. The Chen-Chvátal conjecture is open even in metric spaces induced by connected graphs. In 2018, it was asked by Chvátal whether graphs of diameter three satisfy the conjecture. In this work, we find all graphs of diameter three having fewer lines than vertices. As a direct consequence, we prove that graphs of diameter three satisfy the Chen-Chvátal conjecture.
Squares of subcubic planar graphs without cycles of length 4-8 are 6-choosable
The {\em square} of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and an edge between any two vertices at distance at most $2$ in $G$. Wegner (1977) conjectured that for a planar graph $G$, $χ(G^2) \leq 7$ if $Δ(G) = 3$, $χ(G^2) \leq Δ(G)+5$ if $4 \leq Δ(G) \leq 7$, and $χ(G^2) \leq \lfloor 3Δ(G)/2 \rfloor$ if $Δ(G) \geq 8$, and Thomassen (2018) confirmed the conjecture for $Δ(G) = 3$. Dvořák et al. (2008) and Feder et al. (2021) further conjectured that $χ(G^2) \leq 6$ for cubic bipartite planar graphs. A natural question is whether this bound also holds for the list-chromatic number, i.e., whether $χ_{\ell}(G^2) \leq 6$ for such graphs. More generally, it is of interest to determine sufficient conditions ensuring $χ_{\ell}(G^2) \leq 6$ for subcubic planar graphs. In this paper, we prove that $χ_{\ell}(G^2) \leq 6$ for subcubic planar graphs containing no $k$-cycles for $4 \leq k \leq 8$, improving a result of Cranston and Kim (2008).
Bell coloring graphs: realizability and reconstruction
Given a graph $G$, the Bell $k$-coloring graph $\mathcal{B}_k(G)$ has vertices given by partitions of $V(G)$ into $k$ independent sets (allowing empty parts), with two partitions adjacent if they differ only in the placement of a single vertex. We first give a structural classification of cliques in Bell coloring graphs. We then show that all trees and all cycles arise as Bell coloring graphs, while $K_4-e$ is not a Bell coloring graph and, more generally, $K_n-e$ is not an induced subgraph of any Bell coloring graph whenever $n \geq 6$. We also prove two reconstruction results: the Bell $3$-coloring graph is a complete invariant for trees, and the Bell $n$-coloring multigraph determines any graph up to universal vertices.
Andr{á}sfai--Erdős--Sós theorem under max-degree constraints
We establish the following strengthening of the celebrated Andr{á}sfai--Erdős--Sós theorem: If $G$ is an $n$-vertex $K_{r+1}$-free graph whose minimum degree $δ(G)$ and maximum degree $Δ(G)$ satisfy
\begin{align*}
δ(G) > \min \left\{ \frac{3r-4}{3r-2}n-\frac{Δ(G)}{3r-2},~n-\frac{Δ(G)+1}{r-1} \right\},
\end{align*}
then $G$ is $r$-partite. This bound is tight for all feasible values of $Δ(G)$. We also obtain an analogous tight result for graphs with large odd girth.
Our proof does not rely on the Andr{á}sfai--Erdős--Sós theorem itself, and therefore yields an alternative proof of this classical result.
Spectral bounds for vertex-weighted Laplacians of simplicial complexes
The vertex-weighted Laplacian naturally extends the combinatorial Laplacian for simplicial complexes. Inspired by Lew's foundational techniques for vertex-weighted Laplacians, we present a comprehensive spectral analysis of this operator. First, we determine how basic operations, including joins, complements, and Alexander duals, affect its spectrum. This yields a sharp upper bound on the spectral radius in terms of vertex weights, along with a lower bound on the multiplicity at which this bound is attained. Second, we establish a sharp lower bound for the spectral gap and characterize when the equality holds. Third, explicit lower bounds for the remaining eigenvalues are derived, linking the vertex-weighted Laplacian spectrum to that of a related weighted graph. Finally, we reveal new spectral relations between a simplicial complex and its subcomplexes. These results not only generalize numerous known theorems on combinatorial Laplacians but also provide deeper spectral insights into simplicial structures, ultimately unifying and extending a broad range of earlier work in this field.
Fano and Reflexive Polytopes from Feynman Integrals
We classify the Fano and reflexive polytopes that arise from quasi-finite Feynman integrals. These polytopes appear as scaled Minkowski sums of the Newton polytopes associated with the Symanzik graph polynomials. For one-loop graphs and multiloop sunset graphs, we identify the Fano and reflexive cases by computing the number of interior points from the associated bivariate Ehrhart polynomials. More generally, we utilize the properties of Symanzik polynomials and their symmetries to conduct a direct search over all Feynman graphs in generic kinematics with up to ten edges and nine loops. We find that such cases are remarkably sparse: for example, we find only two two-dimensional reflexive polytopes, three three-dimensional reflexive polytopes, and four three-dimensional Fano polytopes. We also reveal a surprising feature of one-loop $N$-gon integrals in higher dimensions: their associated reflexive polytopes encode degenerate Calabi--Yau $(N-2)$-folds. We further analyze the geometric structures encoded by these polytopes and exhibit explicit connections with del Pezzo surfaces, $K3$ surfaces, and Calabi--Yau threefolds. Since reflexive polytopes naturally correspond to Calabi--Yau varieties, our classification demonstrates that quasi-finite Feynman integrals, with reflexive polytopes, are intrinsically linked to Calabi--Yau period integrals.
On the $P$-vertex problem in Bipartite Graphs
Property $(P)$, introduced in recent work and rooted in the classical theory of Parter vertices, concerns the existence of a nonsingular matrix $A\in S(G)$ for which every vertex of $G$ is a $P$-vertex. Previous investigations have fully characterized the property for trees, established it for cycles, extended it to unicyclic graphs, and shown that bipartite graphs with a perfect matching always satisfy property $(P)$. However, whether the converse holds for connected bipartite graphs remains open in general.
In this paper, we make progress toward answering this question on multiple fronts. We first prove that every connected bipartite graph satisfying property $(P)$ must be balanced, providing a fundamental necessary condition. We further establish complete characterizations for several significant families of bipartite graphs. Specially, we show that every connected bipartite graph of order at most $8$ has property $(P)$ if and only if it has a perfect matching, and more generally, that a connected bipartite graph of order $8+2k$ with at least $k$ pendant edges satisfies property $(P)$ exactly when it has a perfect matching. We further prove that within the class of triangular bipartite graphs, property $(P)$ is equivalent to the existence of a perfect matching, providing a full characterization for this broad structural subclass.
In addition, we introduce the threaded union over a graph, a general operation for assembling larger graphs from smaller components, and show that threaded union over a tree--cycle block graph preserves property $(P)$. This significantly generalizes earlier result about joining two graphs with property $(P)$ by a single edge preserves property $(P)$.
On Neutral Edge Sets in Anti-Ramsey Numbers
The anti-Ramsey number of a graph $G$, introduced by Erdős et al.\ in 1975, is the maximum number of colors in an edge-coloring of the complete graph $K_n$ that avoids a rainbow copy of $G$. We call a subset of edges of $G$ \emph{neutral} for the anti-Ramsey number if removing them does not alter the anti-Ramsey number of $G$. Let $k$, $t$, and $n$ be positive integers, and consider $G = kP_4 \cup tP_2$. Assume $S \subseteq E(G)$ consists of internal edges of the $P_4$ components in $G$. It is known that $S$ is neutral when $t \geq k+1 \geq 2$ and $n \geq 8k + 2t - 4$. In this paper, we identify values of $k \geq t$ such that, for all $n$ in a specific subinterval of $[8k + 2t - 4, \infty)$, $S$ remains neutral. Since the anti-Ramsey numbers for matchings are well understood, our results provide a complete determination of the anti-Ramsey number for $G$ under these conditions. Based on our findings, we conjecture that this neutrality may extend to the general case $t \geq 1$, $k \geq 1$, and $n \geq 4k + 2t$, but not when $t = 0$, $k \geq 2$, and $n \geq 4k$.
Vertex-distinguishing edge coloring of graphs
Let $k \ge 1$ be an integer and let $G$ be a nonempty simple graph. An \emph{edge-$k$-coloring} $\varphi$ of $G$ is an assignment of colors from $\{1,\ldots,k\}$ to the edges of $G$ such that no two adjacent edges receive the same color. For a vertex $v \in V(G)$, we write $\varphi(v)$ for the set of colors assigned to the edges incident with $v$. The coloring $\varphi$ is called \emph{vertex-distinguishing} if $\varphi(u) \ne \varphi(v)$ for every pair of distinct vertices $u,v \in V(G)$. A vertex-distinguishing edge-$k$-coloring exists if and only if $G$ has at most one isolated vertex and no isolated edge. The least integer $k$ for which such a coloring exists is called the \emph{vertex-distinguishing chromatic index} of $G$, denoted $χ'_{vd}(G)$. In 1997, Burris and Schelp conjectured that for every graph $G$ with at most one isolated vertex and no isolated edge, $ k(G) \;\le\; χ'_{vd}(G) \;\le\; k(G)+1$, where $k(G)$ is the natural lower bound required for a vertex-distinguishing coloring in $G$. In 2004, Balister, Kostochka, Li, and Schelp verified the conjecture for graphs $G$ satisfying $Δ(G) \ge \sqrt{2|V(G)|} + 4 $ and $δ(G) \ge 5$. For graphs that do not satisfy these conditions, the best known general upper bound on $χ'_{vd}(G)$ remains $|V(G)| + 1$, established in 1999 by Bazgan, Harkat-Benhamdine, Li, and Woźniak. In this paper, we prove that $χ'_{vd}(G) \le \floor{5.5k(G)+6.5}$, which represents a substantial improvement over the bound $|V(G)| + 1$ whenever $k(G) = o(|V(G)|)$. We further show that $χ'_{vd}(G) \le k(G) + 3$, for all $d$-regular graphs $G$ with $d \ge \log_2 |V(G)|\geq 8$.
Concerning FAT Colorings of Graphs
Let $G$ be a graph and let $C$ be a color set of cardinality $k$. Suppose $c \colon V(G) \to C$ is a (not necessarily proper) vertex coloring whose all color classes are $V_1$, $V_2$, $\dots$, $V_k$, each of which is nonempty. The vertex coloring $c$ is said to be a {\it FAT $k$-coloring of $G$} if there exist real numbers $α$ and $β$, both in $[0,1]$, such that for every vertex $v\in V(G)$ and every color class $V_i$ the following equalities hold: $$ \bigl| V_i \cap N(v) \bigr| = \begin{cases}
α°(v) & \mbox{ if } \ \ v \notin V_i
β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ Let $k > 1$ be a fixed integer, and let $α\in \left[ 0 , \frac{1}{k-1} \right) \cap \mathbb{Q}$ and $β\in [ 0 , 1 ] \cap \mathbb{Q}$ be some fixed rational numbers satisfying $ β+ (k-1) α= 1 $. It was asked for the existence of a graph $G$ with $δ(G) > 0$ admitting some FAT $k$-coloring with the corresponding parameters $α$ and $β$. This paper settles the question in the affirmative. We explicitly construct a sequence $\displaystyle\left\{G_n\right\}_{n=1}^{\infty}$ of pairwise non-homomorphically equivalent graphs, each being a regular graph of positive degree, admitting a FAT $k$-coloring with the corresponding parameters $α$ and $β$.
The existence of even factors based on the $A_α$-spectral radius of graphs
An even factor of $G$ is a spanning subgraph $F$ such that every vertex in $F$ has a nonzero even degree. Note that $δ(G)\geq2$ is a trivial necessary condition for a graph to have an even factor, where $δ(G)$ is the minimum degree of $G$. In this paper, for a connected graph $G$ with minimum degree $δ$, we establish a lower bound on the $A_α$-spectral radius of $G$ such that $G$ contains an even factor.