graph
34516 papers tagged with this keyword
On the metric dimension of the character degree graph of a solvable group
Let $G$ be a finite solvable group and let $Δ(G)$ be the character degree graph of $G$. In this paper, we obtain the metric dimension of certain character degree graphs. Specifically, we calculate the metric dimension for a regular character degree graph, a character degree graph with a diameter of $2$ that is not a block, a character degree graph with a diameter of $3$ that also has a cut vertex and a character degree graph with Fitting height $2.$ We also consider two related parameters, base size and adjacency dimension, and their relation to metric dimension for character degree graphs of solvable groups.
The Heawood approach to Tait colorings and defining vertex sets
Given a simple biconnected planar cubic graph, we associate each its vertex among $2n$ ones with the so-called spin, i.e., a variable which takes on values $\pm 1$. P. J. Heawood has proved that a Tait coloring, accurate to the choice of a color for one edge, is equivalent to the choice of spin values so as to make the sum of these value at vertices of any face be a multiple of~3. We treat faces, which satisfy this condition, as {\it proper}. The condition that guarantee the propriety of faces define a system of linear equations (SLE) with respect to variables, which take on nonzero values in the field ${\mathbb F}_3$. We say that a set of vertices is {\it defining} if values of spins of these vertices uniquely define values of the rest spins. In particular, so is the set of vertices which correspond to all free variables of the SLE. We actualize the approach proposed by P. J. Heawood by proposing a geometric proof of the fact that for a non-bipartite graph the rank of the SLE equals $n+1$. Moreover, we also geometrically describe the necessary condition for the minimality of the defining set. This implies that in the case of a non-bipartite graph there exist defining subsets consisting of $n-1$ vertices. As a simple corollary, we conclude that the number of Tait colorings in this case does not exceed $3\cdot 2^{n-1}$. Though this estimate is not exact, it is by half better than the known one. We also prove that the number of Tait colorings for a graph $CL_n$, which is bipartite for even $n$ and non-bipartite for an odd one, equals $2^n+8$ and $2^n-2$, correspondingly.
Finding hypergraph immersion is fixed-parameter tractable
Immersion minor is an important variant of graph minor, defined through an injective mapping from vertices in a smaller graph $H$ to vertices in a larger graph $G$ where adjacent elements of the former are connected in the latter by edge-disjoint paths. Here, we consider the immersion problem in the emerging field of hypergraphs. We first define hypergraph immersion by extending the injective mapping to hypergraphs. We then prove that finding a hypergraph immersion is fixed-parameter tractable, namely, there exists an $O(N^6)$ polynomial-time algorithm to determine whether a fixed hypergraph $H$ can be immersed in a hypergraph $G$ with $N$ vertices. Additionally, we present the dual hypergraph immersion problem and provide further characteristics of the algorithmic complexity.
Laplacian Spectrum of Super Graphs defined on Certain Non-abelian Groups
Given a graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super$A$ graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if and only if there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. Recently, Dalal \emph{et al.} (Spectrum of super commuting graphs of some finite groups, \textit{Computational and Applied Mathematics}, 43(6):348, 2024) obtain the Laplacian spectrum of supercommuting graphs of certain non-abelian groups including the dihedral group and the generalized quaternion group. In this paper, we continue the study of Laplacian spectrum of certian $B$ super$A$ graphs. We obtain the Laplacian spectrum of conjugacy superenhanced power graphs of certain non-abelian groups, namely: dihedral group, generalized quaternion group and semidihedral group. Moreover to enhance the work of Dalal \emph{et al}, we obtain the Laplacian spectrum of conjugacy supercommuting graph of semidihedral group. We prove that graphs considered in this paper are $L$-integral.
Phase transition of degenerate Turán problems in $p$-norms
For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices. Füredi and Kündgen \cite{FK06} show that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$ is governed by pseudorandom constructions, while for $p > p_{F}$, it is governed by star-like constructions, assuming a mild assumption on the growth rate of $\mathrm{ex}(n,F)$. The main contribution of our paper is extending this result to hypergraph. Moreover, in the case of graph, our proof differs from that in \cite{FK06}, offering the advantage of producing the correct constant factor when $p > p_{F}$.
When $p = p_F$, Füredi and Kündgen proved a general upper bound on $\mathrm{ex}_{p}(n,F)$, tight up to a $\log n$ factor, and conjectured that this factor is unnecessary. We confirm this conjecture for several well-studied bipartite graphs, including one-side degree-bounded graphs and families of short even cycles.
A sharp spectral extremal result for general non-bipartite graphs
For a graph family $\mathcal F$, let $\mathrm{ex}(n,\mathcal F)$ and $\mathrm{spex}(n,\mathcal F)$ denote the maximum number of edges and maximum spectral radius of an $n$-vertex $\mathcal F$-free graph, respectively, and let $\mathrm{EX}(n,\mathcal F)$ and $\mathrm{SPEX}(n,\mathcal F)$ denote the corresponding sets of extremal graphs. Wang, Kang, and Xue showed that if $r\ge 2$ and $\mathrm{ex}(n,F)=e(T_{n,r})+O(1)$ then $\mathrm{SPEX}(n,\mathcal F)\subseteq\mathrm{EX}(n,\mathcal F)$ for $n$ large enough. Fang, Tait, and Zhai extended this result by showing if $e(T_{n,r})\le\mathrm{ex}(n,\mathcal F)<e(T_{n,r})+\lfloor n/2r\rfloor$ then $\mathrm{SPEX}(n,\mathcal F)\subseteq\mathrm{EX}(n,\mathcal F)$ for $n$ large enough, and asked for the maximum constant $c(r)$ such that $\mathrm{ex}(n,\mathcal F)\le e(T_{n,r})+(c(r)-\varepsilon)n$ guarantees such containment. In this paper we determine $c(r)$ exactly for all $r\ge 3$.
The independence polynomial on recursive sequences of graphs
We study the zero sets of the independence polynomial on recursive sequences of graphs. We prove that for a maximally independent starting graph and a stable and expanding recursion algorithm, the zeros of the independence polynomial are uniformly bounded. Each of the recursion algorithms leads to a rational dynamical system whose formula, degree and the dimension of the space it acts upon depend on the specific algorithm. Nevertheless, we demonstrate that the qualitative behavior of the dynamics exhibit universal features that can be exploited to draw conclusions about the zero sets.
Spreading in claw-free cubic graphs
Let $p \in \mathbb{N}$ and $q \in \mathbb{N} \cup \lbrace \infty \rbrace$. We study a dynamic coloring of the vertices of a graph $G$ that starts with an initial subset $S$ of blue vertices, with all remaining vertices colored white. If a white vertex~$v$ has at least~$p$ blue neighbors and at least one of these blue neighbors of~$v$ has at most~$q$ white neighbors, then by the spreading color change rule the vertex~$v$ is recolored blue. The initial set $S$ of blue vertices is a $(p,q)$-spreading set for $G$ if by repeatedly applying the spreading color change rule all the vertices of $G$ are eventually colored blue. The $(p,q)$-spreading set is a generalization of the well-studied concepts of $k$-forcing and $r$-percolating sets in graphs. For $q \ge 2$, a $(1,q)$-spreading set is exactly a $q$-forcing set, and the $(1,1)$-spreading set is a $1$-forcing set (also called a zero forcing set), while for $q = \infty$, a $(p,\infty)$-spreading set is exactly a $p$-percolating set. The $(p,q)$-spreading number, $σ_{(p,q)}(G)$, of $G$ is the minimum cardinality of a $(p,q)$-spreading set. In this paper, we study $(p,q)$-spreading in claw-free cubic graphs. While the zero-forcing number of claw-free cubic graphs was studied earlier, for each pair of values $p$ and $q$ that are not both $1$ we either determine the $(p,q)$-spreading number of a claw-free cubic graph $G$ or show that $σ_{(p,q)}(G)$ attains one of two possible values.
Defective correspondence coloring of planar graphs
Defective coloring (also known as relaxed or improper coloring) is a generalization of proper coloring defined as follows: for $d \in \mathbb{N}$, a coloring of a graph is $d$-defective if every vertex is colored the same as at most $d$ of its neighbors. We investigate defective coloring of planar graphs in the context of correspondence coloring, a generalization of list coloring introduced by Dvořák and Postle. First we show there exists a planar graph that is not $3$-defective $3$-correspondable, strengthening a recent result of Cho, Choi, Kim, Park, Shan, and Zhu. Then we construct a planar graph that is $1$-defective $3$-correspondable but not $4$-correspondable, thereby extending a recent result of Ma, Xu, and Zhu from list coloring to correspondence coloring. Finally we show all outerplanar graphs are $3$-defective $2$-correspondence colorable, with 3 defects being best possible.
Advances in Algorithmic Meta Theorems
Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic $L$ can be solved efficiently on every class $\mathscr{C}$ of structures satisfying certain conditions. The most prominent logics studied in the field are (counting) monadic second-order logic (C)MSO, and first-order logic FO and its extensions. The complexity of CMSO model checking in general and of FO model checking on monotone graph classes is very well understood. In recent years there has been a rapid and exciting development of new algorithmic meta theorems. On the one hand there has been major progress for FO model checking on hereditary graph classes. This progress was driven by the development of a combinatorial structure theory for the logically defined monadically stable and monadically dependent graph classes, as well as by the advent of the new width measure twinwidth. On the other hand, new algorithmic meta theorems for new logics with expressive power between FO and CMSO offer a new unifying view on methods like the irrelevant vertex technique and recursive understanding. In this paper we overview the recent advances in algorithmic meta theorems and provide rough sketches for the methods to prove them.
When are off-diagonal hypergraph Ramsey numbers polynomial?
A natural open problem in Ramsey theory is to determine those $3$-graphs $H$ for which the off-diagonal Ramsey number $r(H, K_n^{(3)})$ grows polynomially with $n$. We make substantial progress on this question by showing that if $H$ is tightly connected or has at most two tight components, then $r(H, K_n^{(3)})$ grows polynomially if and only if $H$ is contained in an iterated blowup of an edge.
Characterizing and Transforming DAGs within the I-LCA Framework
We explore the connections between clusters and least common ancestors (LCAs) in directed acyclic graphs (DAGs), focusing on the interplay between so-called $I$-lca-relevant DAGs and DAGs with the $I$-lca-property. Here, $I$ denotes a set of integers. In $I$-lca-relevant DAGs, each vertex is the unique LCA for some subset $A$ of leaves of size $|A|\in I$, whereas in a DAG with the $I$-lca-property there exists a unique LCA for every subset $A$ of leaves satisfying $|A|\in I$. We elaborate on the difference between these two properties and establish their close relationship to pre-$I$-ary and $I$-ary set systems. This, in turn, generalizes results established for (pre-)binary and $k$-ary set systems. Moreover, we build upon recently established results that use a simple operator $\ominus$, enabling the transformation of arbitrary DAGs into $I$-lca-relevant DAGs. This process reduces unnecessary complexity while preserving key structural properties of the original DAG. The set $C_G$ consists of all clusters in a DAG $G$, where clusters correspond to the descendant leaves of vertices. While in some cases $C_H = C_G$ when transforming $G$ into an $I$-lca-relevant DAG $H$, it often happens that certain clusters in $C_G$ do not appear as clusters in $H$. To understand this phenomenon in detail, we characterize the subset of clusters in $C_G$ that remain in $H$ for DAGs $G$ with the $I$-lca-property. Furthermore, we show that the set $W$ of vertices required to transform $G$ into $H = G \ominus W$ is uniquely determined for such DAGs. This, in turn, allows us to show that the ``shortcut-free'' version of the transformed DAG $H$ is always a tree or a galled-tree whenever $C_G$ represents the clustering system of a tree or galled-tree and $G$ has the $I$-lca-property. In the latter case $C_H = C_G$ always holds.
Sharp Thresholds for Factors in Random Graphs
Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition of the $n$ vertices of $G$. The study of such $F$-factors in the Erdős-Rényi random graph dates back to Erdős himself. Decades later, in 2008, Johansson, Kahn and Vu established the thresholds for the existence of an $F$-factor for strictly 1-balanced $F$ -- up to the leading constant. The sharp thresholds, meaning the leading constants, were obtained only recently by Riordan and Heckel, but only for complete graphs $F=K_r$ and for so-called nice graphs. Their results rely on sophisticated couplings that utilize the recent, celebrated solution of Shamir's problem by Kahn.
We extend the couplings by Riordan and Heckel to any strictly 1-balanced $F$ and thereby obtain the sharp threshold for the existence of an $F$-factor. In particular, we confirm the thirty year old conjecture by Rucínski that this sharp threshold indeed coincides with the sharp threshold for the disappearance of the last vertices which are not contained in a copy of $F$.
Computing the permanental polynomial of $4k$-intercyclic bipartite graphs
Published in American Journal of Combinatorics, 3:35-43, (2024)
• Search Publication
Let $G$ be a bipartite graph with adjacency matrix $A(G)$. The characteristic polynomial $φ(G,x)=\det(xI-A(G))$ and the permanental polynomial $π(G,x) = \text{per}(xI-A(G))$ are both graph invariants used to distinguish graphs. For bipartite graphs, we define the modified characteristic polynomial, which is obtained by changing the signs of some of the coefficients of $φ(G,x)$. For $4k$-intercyclic bipartite graphs, i.e., those for which the removal of any $4k$-cycle results in a $C_{4k}$-free graph, we provide an expression for $π(G,x)$ in terms of the modified characteristic polynomial of the graph and its subgraphs. Our approach is purely combinatorial in contrast to the Pfaffian orientation method found in the literature to compute the permanental polynomial.
The dib-chromatic number of digraphs
We study an extension to directed graphs of the parameter called the $b$-chromatic number of a graph in terms of acyclic vertex colorings: the dib-chromatic number. We give general bounds for this parameter. We also show some results about tournaments and regular digraphs.
A new lower bound for the multicolor Ramsey number $r_k(K_{2, t + 1})$
In this short note, we provide a new infinite family of $K_{2, t+1}$-free graphs for each prime power $t$. Using these graphs, we show that it is possible to partition the edges of $K_n$ into parts, such that each part is isomorphic to our $K_{2, t+1}$-free graph. This yields an improved lower bound to the multicolor Ramsey number $r_k(K_{2, t+1})$ when $k$ and $t$ are powers of the same prime. For these values of $k$ and $t$, our coloring implies that $$ tk^2 + 1 \leq r_k(K_{2, t+1}) \leq tk^2 + k + 2. $$ where the upper bound is due to Chung and Graham.
Emergence in graphs with near-extreme constraints
We consider entropy-optimal graphons associated with extreme and near-extreme constraints on the densities of edges and triangles. We prove that the optimizers for near-extreme constraints are unique and multipodal and are perturbations of the previously known unique optimzers for extreme constraints. This proves the existence of infinitely many phases. We determine the podal structures in these phases and prove the existence of phase transitions between them.
A canonical Ramsey theorem for even cycles in random graphs
The celebrated canonical Ramsey theorem of Erdős and Rado implies that for $2\leq k\in \mathbb{N}$, any colouring of the edges of $K_n$ with $n$ sufficiently large gives a copy of $C_{2k}$ which has one of three canonical colour patterns: monochromatic, rainbow or lexicographic. In this paper we show that if $p=ω(n^{-1+1/(2k-1)}\log n)$, then ${\mathbf{G}}(n,p)$ will asymptotically almost surely also have the property that any colouring of its edges induces canonical copies of $C_{2k}$. This determines the threshold for the canonical Ramsey property with respect to even cycles, up to a $\log$ factor.
Sharp Bounds for Neighborhood degree based indices of Graphs
In this paper, we will construct formulas and bounds for Neighborhood Degree-based indices of graphs and describe graphs that attain the bounds. Furthermore, we will establish a lower bound for the spectral radius of any graph.
Gracefulness of two nested cycles: a first approach
It is known that if a plane graph is graceful (resp. near-graceful), then its semidual is conservative (resp. near-conservative). In this work we prove that the semidual of a plane graph of size $M$ consisting of two nested cycles is conservative if $M \equiv 0,3 \pmod 4$, and near-conservative otherwise. We also show that for a given integer $m_1 \geq 3$, there exists $m^* > m_1$ such that for $m_2 \geq m^*$, if $m_1+m_2 \equiv 0,3 \pmod 4$ (resp. $m_1+m_2 \equiv 1,2 \pmod 4$), then there exists a graceful (resp. near-graceful) plane graph consisting of two nested cycles with sizes $m_1$ and $m_2$, respectively.