graph
35175 papers tagged with this keyword
Remarks on proper conflict-free degree-choosability of graphs with prescribed degeneracy
Published
• View Publication
• BIB
A proper coloring $φ$ of $G$ is called a proper conflict-free coloring of $G$ if for every non-isolated vertex $v$ of $G$, there is a color $c$ such that $|φ^{-1}(c)\cap N_G(v)|=1$. As an analogy of degree-choosability of graphs, we introduced the notion of proper conflict-free $({\rm degree}+k)$-choosability of graphs. For a non-negative integer $k$, a graph $G$ is proper conflict-free $({\rm degree}+k)$-choosable if for any list assignment $L$ of $G$ with $|L(v)|\geq d_G(v)+k$ for every vertex $v\in V(G)$, $G$ admits a proper conflict-free coloring $φ$ such that $φ(v)\in L(v)$ for every vertex $v\in V(G)$. In this note, we first remark if a graph $G$ is $d$-degenerate, then $G$ is proper conflict-free $({\rm degree}+d+1)$-choosable. Furthermore, when $d=1$, we can reduce the number of colors by showing that every tree is proper conflict-free $({\rm degree}+1)$-choosable. This motivates us to state a question.
Sharp lower bounds and extremal graphs for the generalized $k$-independence number
A vertex set $S$ is a generalized $k$-independent set if the induced subgraph $G[S]$ contains no tree on $k$ vertices. The generalized $k$-independence number $α_k(G)$ is the maximum size of such a set. For a tree $T$ with $n$ vertices, Bock et al. [J. Graph Theory 103 (2023) 661-673] and Li et al. [Taiwanese J. Math. 27 (2023) 647-683] independently showed that $α_3(G)\geq \frac{2}{3}n$ and identified the extremal trees that attain this lower bound. Subsequently, Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] established that $α_4(T) \geq \frac{3}{4}n$ and they further characterized all trees achieving this bound. This result was recently extended by Huang, who proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ holds for every $n$-vertex graph, where $ω(G)$ denotes the dimension of the cycle space of $G.$ The extremal graphs attaining this lower bound were also fully characterized. Based on these findings, Huang proposed a conjecture concerning a lower bound for $α_k(G)\ (k\geq2)$ together with the corresponding extremal graphs, which naturally generalizes all the aforementioned results. In this paper, we confirm this conjecture here. We further quantify strict improvements over this bound when the equality conditions fail, and we provide a linear-time algorithm that constructs a generalized $k$-independent set of size at least $\left\lceil\frac{k-1}{k}\left(n-ω(G)\right)\right\rceil$.
The Insertion Chain Complex: A Topological Approach to the Structure of Word Sets
We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups, as measures of the complexity for word sets. After establishing its theoretical foundations, we investigate the computational and combinatorial aspects of these complexes. Among other results, we classify minimal 1-dimensional cycles and prove that every finitely generated abelian group can be realized as the homology of the insertion complex for some set of words. We also identify conditions that guarantee vanishing homology. These results provide new invariants for characterizing finite sets of words through word-based topological structures and their properties.
Tricyclic graphs for which the second largest distance eigenvalue less than $-\frac{1}{2}$
Published
• View Publication
• BIB
Let $G$ be a simple connected graph with vertex set $V(G)=\{v_{1}, v_{2}, \ldots, v_{n}\}$. The distance $d_G(v_i,v_j)$ between two vertices $v_i$ and $v_j$ of $G$ is the length of a shortest path between $v_i$ and $v_j$. The distance matrix of $G$ is defined as $D(G)=(d_G(v_i,v_j))_{n\times n}$. The second largest distance eigenvalue of \( G \) is the second largest eigenvalues of $D(G)$. Guo and Zhou [Discrete Math. 347(2024), 114082] proved that any connected graph with the second largest distance eigenvalue less than $-\frac{1}{2}$ is chordal, and characterize all bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$. Based on this, we characterize all tricyclic graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.
Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
We study the labelled growth rate of an $ω$-categorical structure $\mathfrak{A}$, i.e., the number of orbits of $Aut(\mathfrak{A})$ on $n$-tuples of distinct elements, and show that the model-theoretic property of monadic stability yields a gap in the spectrum of allowable labelled growth rates. As a further application, we obtain gap in the spectrum of allowable labelled growth rates in hereditary graph classes, with no a priori assumption of $ω$-categoricity. We also establish a way to translate results about labelled growth rates of $ω$-categorical structures into combinatorial statements about sets with weak finiteness properties in the absence of the axiom of choice, and derive several results from this translation.
The Power Contamination Problem on Grids Revisited: Optimality, Combinatorics, and Links to Integer Sequences
Published
• View Publication
• BIB
This paper presents a combinatorial study of the power contamination problem, a dynamic variant of power domination modeled on grid graphs. We resolve a conjecture posed by Ainouche and Bouroubi (2021) by proving it is false and instead establish the exact value of the power contamination number on grid graphs. Furthermore, we derive recurrence relations for this number and initiate the enumeration of optimal contamination sets. We prove that the number of optimal solutions for specific grid families corresponds to well-known integer sequences, including those counting ternary words with forbidden subwords and the large Schröder numbers. This work settles the fundamental combinatorial questions of the power contamination problem on grids and reveals its rich connections to classical combinatorics.
Lifting of cycles in functional graphs
Published
• View Publication
• BIB
For a given function from a set to itself, we can define a directed graph called the functional graph, where the vertices are the elements of the set, and the edges are all the pairs of inputs and outputs for the function. In this article we consider functional graphs on Z/mZ with respect to polynomial functions. The main result describes the behavior of cycles in functional graphs on Z/p^nZ while $n$ is increasing, where $p$ is a prime number.
An EKR Theorem for the Cartesian Product of Complete Graphs
Published
• View Publication
• BIB
The Erdős-Ko-Rado theorem states that for $r \leq \frac{n}{2}$, the largest intersecting family of $r$-subsets of $[n]$ is given by fixing a common element in all subsets, which trivially ensures pairwise intersection. We investigate this property for families of independent sets in the Cartesian product of complete graphs, $K_n \times K_m$. Using a novel extension of Katona's cycle method, we prove $K_n \times K_m$ is $r$-EKR when $1 \leq r \leq \frac{\min(m,n)}{2}$, demonstrating the Holroyd--Talbot conjecture holds for this class of well-covered graphs.
Liar's vertex-edge domination in unit disk graph
Published
• View Publication
• BIB
Let $G=(V, E)$ be a simple undirected graph. A closed neighbourhood of an edge $e=uv$ between two vertices $u$ and $v$ of $G$, denoted by $N_G[e]$, is the set of vertices in the neighbourhood of $u$ and $v$ including $\{u,v\}$. A subset $L$ of $V$ is said to be liar's vertex-edge dominating set if $(i)$ for every edge $e\in E$, $|N_G[e]\cap L|\geq 2$ and $(ii)$ for every pair of distinct edges $e,e'$, $|(N_G[e]\cup N_G[e'])\cap L|\geq 3$. The minimum liar's vertex-edge domination problem is to find the liar's vertex-edge dominating set of minimum cardinality. In this article, we show that the liar's vertex-edge domination problem is NP-complete in unit disk graphs, and we design a polynomial time approximation scheme(PTAS) for the minimum liar's vertex-edge domination problem in unit disk graphs.
On enumeration of $l$-hypermaps
The $l$-hypermaps, $l\ge2$, which generalize (dual of) ribbon graphs ($l=2$ case), are interesting enumerative objects. In this paper, based on a theorem of Carlet--van de Leur--Posthuma--Shadrin and the matrix-resolvent method, we derive an explicit formula for $k$-point generating series of enumeration of $l$-hypermaps, which generalizes the one obtained in [30] for the $l=2$ case. We also generalize a theorem of Dubrovin [29].
All-$k$-Isolation in Trees
We define an all-$k$-isolating set of a graph to be a set $S$ of vertices such that, if one removes $S$ and all its neighbors, then no component in what remains has order $k$ or more. The case $k=1$ corresponds to a dominating set and the case $k=2$ corresponds to what Caro and Hansberg called an isolating set. We show that every tree of order $n \neq k$ contains an all-$k$-isolating set $S$ of size at most $n/(k+1)$, and moreover, the set $S$ can be chosen to be an independent set. This extends previous bounds on variations of isolation, while improving a result of Luttrell et al., who called the associated parameter the $k$-neighbor component order connectivity. We also characterize the trees where this bound is achieved. Further, we show that for~$k\le 5$, apart from one exception every tree with $n\neq k$ contains $k+1$ disjoint independent all-$k$-isolating sets.
The List-distinguishing chromatic number of graphs containing only small complete bigraphs
In 2006, Collins and Trenk obtained a general sharp upper bound for the distinguishing chromatic number of a connected graph. Inspired by Catlin's combinatorial techniques from 1978, we establish improved upper bounds for classes of connected graphs that have only small complete bigraphs as induced subgraphs. In this framework, we also consider the list-distinguishing chromatic number of such graphs.
We apply Menger's theorem to demonstrate applications of our main result for graphs whose constructions are based on Paley graphs, Cayley graphs on Dihedral groups, and circulant Cayley graphs.
Isomorphism of Clean Graphs over $\mathbb{Z}_n$ and Structural Insight into $M_2(\mathbb{Z}_p)$
Let $R$ be a finite ring with identity. The clean graph $Cl(R)$ of a ring $R$ is a graph whose vertices are pairs $(e, u)$, where $e$ is an idempotent element and $u$ is a unit of $R$. Two distinct vertices $(e, u)$ and $(f, v)$ are adjacent if and only if $ef = fe = 0$ or $uv = vu = 1$. The graph $Cl_2(R)$ is the induced subgraph of $Cl(R)$ induced by the set $\{(e, u): e \text{ is a nonzero idempotent and } u \text{ is a unit of } R\}$. In this study, we present properties that arise from the isomorphism of two clean graphs and conditions under which two clean graphs over direct product rings are isomorphic. We also examine the structure of the clean graph over the ring $M_2(\mathbb{Z}_p)$ through their $Cl_2$ graph.
Multicolor Erdős--Rogers Functions
In this paper, we study a multicolor variant of Erdős--Rogers functions. Let $f_{α_s; K_{i_1}, \cdots, K_{i_t}}(n)$ be the largest integer $m$ such that there is always an induced $K_s$-free subgraph of size $m$ in every $n$-vertex graph with a $t$-edge-coloring in which the edges with the $j$-th color induce no copy of $K_{i_j}$. We establish both upper and lower bounds for this multicolor version. Specifically, we show that $f_{α_5; K_3, K_3}(n) = n^{1/2+o(1)}$, $Ω(n^{5/11}) \le f_{α_5; K_3, K_3, K_3}(n) \le n^{1/2+o(1)}$, and $Ω(n^{20/61}) \le f_{α_5; K_3, K_3, K_3, K_3}(n) \le n^{1/3+o(1)}$.
On the Diminished Sombor Index of Fixed-Order Molecular Graphs With Cyclomatic Number at Least 3
Published
• View Publication
• BIB
For a graph $G$ with edge set $E$, let $d(u)$ denote the degree of a vertex $u$ in $G$. The diminished Sombor (DSO) index of $G$ is defined as $DSO(G)=\sum_{uv\in E}\sqrt{(d(u))^2+(d(v))^2}(d(u)+d(v))^{-1}$. The cyclomatic number of a graph is the smallest number of edges whose removal makes the graph acyclic. A connected graph of maximum degree at most $4$ is known as a molecular graph. The primary motivation of the present study comes from a conjecture concerning the minimum DSO index of fixed-order connected graphs with cyclomatic number $3$, posed in the recent paper [F. Movahedi, I. Gutman, I. Redžepović, B. Furtula, Diminished Sombor index, MATCH Commun. Comput. Chem. 95 (2026) 141--162]. The present paper gives all graphs minimizing the DSO index among all molecular graphs of order $n$ with cyclomatic number $\ell$, provided that $n\ge 2(\ell-1)\ge4$.
On the number of triangles in $K_4$-free graphs
Erdős asked whether for any $n$-vertex graph $G$, the parameter $p^*(G)=\min \sum_{i\ge 1} (|V(G_i)|-1)$ is at most $\lfloor n^2/4\rfloor$, where the minimum is taken over all edge decompositions of $G$ into edge-disjoint cliques $G_i$. In a restricted case (also conjectured independently by Erdős), Győri and Keszegh [Combinatorica, 37(6) (2017), 1113--1124] proved that $p^*(G)\leq \lfloor n^2/4\rfloor$ for all $K_4$-free graphs $G$. Motivated by their proof approach, they conjectured that for any $n$-vertex $K_4$-free graph $G$ with $e$ edges, and any greedy partition $P$ of $G$ of size $r$, the number of triangles in $G$ is at least $r(e-r(n-r))$. If true, this would imply a stronger bound on $p^*(G)$. In this paper, we disprove their conjecture by constructing infinitely many counterexamples with arbitrarily large gap. We further establish a corrected tight lower bound on the number of triangles in such graphs, which would recover the conjectured bound once some small counterexamples we identify are excluded.
Spectra of T-vertex and T-edge neighbourhood corona of Two Graphs
The $T$-graph $T(G)$ of a graph $G$ is the graph whose vertices are the vertices and edges of $G$, with two vertices of $T(G)$ are adjacent if and only if the corresponding elements of $G$ are adjacent or incident. In this paper, we determine the adjacency and Laplacian spectra of $T$-vertex neighborhood corona and $T$-edge neighborhood corona of a connected regular graph with an arbitrary regular graph in terms of their eigenvalues. Moreover, applying these results we construct some non-regular $A$-cospectral and $L$-cospectral graphs.
Toroidal Cartesian Products Where One Factor is 3-Connected
Published
• View Publication
• BIB
In this paper, we show that if $G$ is $3$-connected, then the Cartesian product of graphs $G \square H$ embeds on the torus if and only if $G$ is outer-cylindrical and $H$ is a path on two vertices, $P_2$. As a by-product of our work, we also show that $K_{4} \square P_{3}$ has genus two.
Applying Hurlbert's Linear Optimization Technique to Establish Bounds on Pebbling Numbers
This paper explores the application of Hurlbert's Linear Optimization Technique to determine bounds on pebbling numbers. By applying Hurlbert's weight functions and optimization methods, we derive upper bounds for specific graph families. The study provides a comprehensive analysis of these bounds and contributes to a broader understanding of pebbling numbers in graph theory. In particular, the weight function lemma is applied to calculate upper bounds for graphs such as the Petersen graph, the Bruhat graph, and various trees.
Tight complexity bounds for diagram commutativity verification
A diagram $\mathcal{D} = (G, l)$ over a monoid $M$ is an oriented graph $G = (V, E)$ endowed with a labeling $l\colon E \to M$. A diagram is commutative if and only if for any two oriented paths with the same endpoints, the products in $M$ of their edge labels coincide. We propose the first asymptotically optimal algorithm for diagram commutativity verification applicable to all graph families. For graphs with $\lvert V\rvert \preceq \lvert E\rvert \preceq \lvert V\rvert^2$, which covers most practically relevant cases, our algorithm runs in $$ O\bigl(|V|\,|E|\bigr) \cdot \bigl(T_{\mathrm{equal}} + T_{\mathrm{multi}}\bigr) $$ time; here $T_{\mathrm{equal}}$ and $T_{\mathrm{multi}}$ denote the times to perform an equality check and a multiplication in $M$, respectively. We also establish new lower bounds on the numbers of equality checks and multiplications necessary for commutativity verification, which asymptotically match our algorithm's cost and thus prove its tightness.