graph
35367 papers tagged with this keyword
Maximum spread of $K_{2,t}$-minor-free graphs
Published
• View Publication
• BIB
The spread of a graph $G$ is the difference between the largest and smallest eigenvalues of the adjacency matrix of $G$. In this paper, we consider the family of graphs which contain no $K_{2,t}$-minor. We show that for any $t\geq 2$, there is an integer $ξ_t$ such that the maximum spread of an $n$-vertex $K_{2,t}$-minor-free graph is achieved by the graph obtained by joining a vertex to the disjoint union of $\lfloor \frac{2n+ξ_t}{3t}\rfloor$ copies of $K_t$ and $n-1 - t\lfloor \frac{2n+ξ_t}{3t}\rfloor$ isolated vertices. The extremal graph is unique, except when $t\equiv 4 \mod 12$ and $\frac{2n+ ξ_t} {3t}$ is an integer, in which case the other extremal graph is the graph obtained by joining a vertex to the disjoint union of $\lfloor \frac{2n+ξ_t}{3t}\rfloor-1$ copies of $K_t$ and $n-1-t(\lfloor \frac{2n+ξ_t}{3t}\rfloor-1)$ isolated vertices. Furthermore, we give an explicit formula for $ξ_t$.
The optimal $χ$-bound for $(P_7,C_4,C_5)$-free graphs
Published
• View Publication
• BIB
In this paper, we give an optimal $χ$-binding function for the class of $(P_7,C_4,C_5)$-free graphs. We show that every $(P_7,C_4,C_5)$-free graph $G$ has $χ(G)\le \lceil \frac{11}{9}ω(G) \rceil$. To prove the result, we use a decomposition theorem obtained in [K. Cameron and S. Huang and I. Penev and V. Sivaraman, The class of $({P}_7,{C}_4,{C}_5)$-free graphs: Decomposition, algorithms, and $χ$-boundedness, Journal of Graph Theory 93, 503--552, 2020] combined with careful inductive arguments and a nontrivial use of the König theorem for bipartite matching.
Laplacian eigenvalue distribution, diameter and domination number of trees
Published
• View Publication
• BIB
For a graph $G$ with domination number $γ$, Hedetniemi, Jacobs and Trevisan [European Journal of Combinatorics 53 (2016) 66-71] proved that $m_{G}[0,1)\leq γ$, where $m_{G}[0,1)$ means the number of Laplacian eigenvalues of $G$ in the interval $[0,1)$. Let $T$ be a tree with diameter $d$. In this paper, we show that $m_{T}[0,1)\geq (d+1)/3$. However, such a lower bound is false for general graphs. All trees achieving the lower bound are completely characterized. Moreover, for a tree $T$, we establish a relation between the Laplacian eigenvalues, the diameter and the domination number by showing that the domination number of $T$ is equal to $(d+1)/3$ if and only if it has exactly $(d+1)/3$ Laplacian eigenvalues less than one. As an application, it also provides a new type of trees, which show the sharpness of an inequality due to Hedetniemi, Jacobs and Trevisan.
The degree-distance and transmission-adjacency matrices
Published
• View Publication
• BIB
Let $G$ be a connected graph with adjacency matrix $A(G)$. The distance matrix $D(G)$ of $G$ has rows and columns indexed by $V(G)$ with $uv$-entry equal to the distance $\mathrm{dist}(u,v)$ which is the number of edges in a shortest path between the vertices $u$ and $v$. The transmission $\mathrm{trs}(u)$ of $u$ is defined as $\sum_{v\in V(G)}\mathrm{dist}(u,v)$. Let $\mathrm{trs}(G)$ be the diagonal matrix with the transmissions of the vertices of $G$ in the diagonal, and $\mathrm{deg}(G)$ the diagonal matrix with the degrees of the vertices in the diagonal. In this paper we investigate the Smith normal form (SNF) and the spectrum of the matrices $D^{\mathrm{deg}}_+(G):=\mathrm{deg}(G)+D(G)$, $D^{\mathrm{deg}}(G):=\mathrm{deg}(G)-D(G)$, $A^{\mathrm{trs}}_+(G):=\mathrm{trs}(G)+A(G)$ and $A^{\mathrm{trs}}(G):=\mathrm{trs}(G)-A(G)$. In particular, we explore how good the spectrum and the SNF of these matrices are for determining graphs up to isomorphism. We found that the SNF of $A^{\mathrm{trs}}$ has an interesting behaviour when compared with other classical matrices. We note that the SNF of $A^{\mathrm{trs}}$ can be used to compute the structure of the sandpile group of certain graphs. We compute the SNF of $D^{\mathrm{deg}}_+$, $D^{\mathrm{deg}}$, $A^{\mathrm{trs}}_+$ and $A^{\mathrm{trs}}$ for several graph families. We prove that complete graphs are determined by the SNF of $D^{\mathrm{deg}}_+$, $D^{\mathrm{deg}}$, $A^{\mathrm{trs}}_+$ and $A^{\mathrm{trs}}$. Finally, we derive some results about the spectrum of $D^{\mathrm{deg}}$ and $A^{\mathrm{trs}}$.
Iterative Roots of Multifunctions
Published
• View Publication
• BIB
Some easily verifiable sufficient conditions for the nonexistence of iterative roots for multifunctions on arbitrary nonempty sets are presented. Typically if the graph of the multifunction has a distinguished point with a relatively large number of paths leading to it then such a multifunction does not admit any iterative root. These results can be applied to single-valued maps by considering their pullbacks as multifunctions. This has been illustrated by showing the nonexistence of iterative roots of some specified orders for certain complex polynomials.
Super edge-magic total strength of some unicyclic graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple undirected $(p,q)$-graph, with vertex set $V(G)$ and edge set $E(G)$ such that $p=|V(G)|$ and $q=|E(G)|$. A super edge-magic total labeling $f$ of $G$ is a bijection $f\colon V(G)\cup E(G)\longrightarrow \{1,2,\dots , p+q\}$ such that for all edges $u v\in E(G)$, $f(u)+f(v)+f(u v)=c(f)$, where $c(f)$ is called a magic constant, and $f(V(G))=\{1,\dots , p\}$. The minimum of all $c(f)$, where the minimum is taken over all the super edge-magic total labelings $f$ of $G$, is defined to be the super edge-magic total strength of the graph $G$. In this article, we work on certain classes of unicyclic graphs and provide shreds of evidence to conjecture that the super edge-magic total strength of a certain family of unicyclic $(p,q)$-graphs is equal to $2q+\frac{n+3}{2}$.
Graphs with large girth and chromatic number are hard for Nullstellensatz
Published
• View Publication
• BIB
We study the computational efficiency of approaches, based on Hilbert's Nullstellensatz, which use systems of linear equations for detecting non-colorability of graphs having large girth and chromatic number. We show that for every non-$k$-colorable graph with $n$ vertices and girth $g>4k$, the algorithm is required to solve systems of size at least $n^{Ω(g)}$ in order to detect its non-$k$-colorability.
A note on a new result related to Chartrand, Kaigars and Lick's theorem
Published
• View Publication
• BIB
In this note, we prove a theorem covering Chartrand, Kaigars, and Lick's theorem in [Proc. Amer. Math. Soc. 32 (1972), 63-68]. As an application, we give a simpler proof of theorem proved by Mader [J. Graph Theory 65 (2010), 61-69. (Theorem 1)].
Rainbow saturation for complete graphs
Published
• View Publication
• BIB
We call an edge-colored graph rainbow if all of its edges receive distinct colors. An edge-colored graph $Γ$ is called $H$-rainbow saturated if $Γ$ does not contain a rainbow copy of $H$ and adding an edge of any color to $Γ$ creates a rainbow copy of $H$. The rainbow saturation number $sat(n,{R}(H))$ is the minimum number of edges in an $n$-vertex $H$-rainbow saturated graph. Girão, Lewis, and Popielarz conjectured that $sat(n,{R}(K_r))=2(r-2)n+O(1)$ for fixed $r\geq 3$. Disproving this conjecture, we establish that for every $r\geq 3$, there exists a constant $α_r$ such that $$r + Ω\left(r^{1/3}\right) \le α_r \le r + r^{1/2} \qquad \text{and} \qquad sat(n,{R}(K_r)) = α_r n + O(1).$$ Recently, Behague, Johnston, Letzter, Morrison, and Ogden independently gave a slightly weaker upper bound which was sufficient to disprove the conjecture. They also introduced the weak rainbow saturation number, and asked whether this is equal to the rainbow saturation number of $K_r$, since the standard weak saturation number of complete graphs equals the standard saturation number. Surprisingly, our lower bound separates the rainbow saturation number from the weak rainbow saturation number, answering this question in the negative. The existence of the constant $α_r$ resolves another of their questions in the affirmative for complete graphs. Furthermore, we show that the conjecture of Girão, Lewis, and Popielarz is true if we have an additional assumption that the edge-colored $K_r$-rainbow saturated graph must be rainbow. As an ingredient of the proof, we study graphs which are $K_r$-saturated with respect to the operation of deleting one edge and adding two edges.
A refinement on the structure of vertex-critical ($P_5$, gem)-free graphs
Published
• View Publication
• BIB
We give a new, stronger proof that there are only finitely many $k$-vertex-critical ($P_5$,~gem)-free graphs for all $k$. Our proof further refines the structure of these graphs and allows for the implementation of a simple exhaustive computer search to completely list all $6$- and $7$-vertex-critical $(P_5$, gem)-free graphs. Our results imply the existence of polynomial-time certifying algorithms to decide the $k$-colourability of $(P_5$, gem)-free graphs for all $k$ where the certificate is either a $k$-colouring or a $(k+1)$-vertex-critical induced subgraph. Our complete lists for $k\le 7$ allow for the implementation of these algorithms for all $k\le 6$.
A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs
We study the partial search order problem (PSOP) proposed recently by Scheffler [WG 2022]. Given a graph $G$ together with a partial order over the set of vertices of $G$, this problem determines if there is an $\mathcal{S}$-ordering that is consistent with the given partial order, where $\mathcal{S}$ is a graph search paradigm like BFS, DFS, etc. This problem naturally generalizes the end-vertex problem which has received much attention over the past few years. It also generalizes the so-called ${\mathcal{F}}$-tree recognition problem which has just been studied in the literature recently. Our main contribution is a polynomial-time dynamic programming algorithm for the PSOP of the maximum cardinality search (MCS) restricted to chordal graphs. This resolves one of the most intriguing open questions left in the work of Scheffler [WG 2022]. To obtain our result, we propose the notion of layer structure and study numerous related structural properties which might be of independent interest.
New bounds on the maximum number of neighborly boxes in R^d
Published
• View Publication
• BIB
A family of axis-aligned boxes in $\er^d$ is \emph{$k$-neighborly} if the intersection of every two of them has dimension at least $d-k$ and at most $d-1$. Let $n(k,d)$ denote the maximum size of such a family. It is known that $n(k,d)$ can be equivalently defined as the maximum number of vertices in a complete graph whose edges can be covered by $d$ complete bipartite graphs, with each edge covered at most $k$ times.
We derive a new upper bound on $n(k,d)$, which implies, in particular, that $n(k,d)\leqslant (2-δ)^d$ if $k\leqslant (1-\varepsilon)d$, where $δ>0$ depends on arbitrarily chosen $\varepsilon>0$. The proof applies a classical result of Kleitman, concerning the maximum size of sets with a given diameter in discrete hypercubes. By an explicit construction we obtain also a new lower bound for $n(k,d)$, which implies that $n(k,d)\geqslant (1-o(1))\frac{d^k}{k!}$. We also study $k$-neighborly families of boxes with additional structural properties. Families called \emph{total laminations}, that split in a tree-like fashion, turn out to be particularly useful for explicit constructions. We pose a few conjectures based on these constructions and some computational experiments.
Cordial Digraphs
Published
• View Publication
• BIB
A $(0,1)$-labeling of a set is said to be friendly if the number of elements of the set labeled 0 and the number labeled 1 differ by at most 1. Let $g$ be a labeling of the edge set of a graph that is induced by a labeling $f$ of the vertex set. If both $g$ and $f$ are friendly then $g$ is said to be a cordial labeling of the graph. We extend this concept to directed graphs and investigate the cordiality of directed graphs. We show that all directed paths and all directed cycles are cordial. We also discuss the cordiality of oriented trees and other digraphs.
Bounds for the Grundy chromatic number of graphs in terms of domination number
Published in Bull. Belg. Math. Soc. Simon Stevin 29(2) (2022) 193--206
• View Publication
• BIB
For any graph $G$, the Grundy (or First-Fit) chromatic number of $G$, denoted by $Γ(G)$ (also $χ_{_{\sf FF}}(G)$), is defined as the maximum number of colors used by the First-Fit (greedy) coloring of the vertices of $G$. Determining the Grundy number is $NP$-complete, and obtaining bounds for $Γ(G)$ in terms of the known graph parameters is an active research topic. By a star partition of $G$ we mean any partition of $V(G)$ into say $V_1, \ldots, V_k$ such that each $G[V_i]$ contains a vertex adjacent to any other vertex in $V_i$. In this paper using the star partition of graphs we obtain the first upper bounds for the Grundy number in terms of the domination number. We also prove some bounds in terms of the domination number and girth of graphs.
On k-distance degree based topological indices of benzenoid systems
Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and biological properties can be predicted. In this paper, the leap and leap hyper Zagreb indices, as well as their polynomials for a zigzag benzenoid system $Z_{p}$ and a rhombic benzenoid system $R_{p}$ are determined. In addition, new $k$-distance degree-based topological indices such as leap-Somber index, hyper leap forgotten index, leap $Y$ index, and leap $Y$ coindex are also computed for the molecular graphs of $Z_p$ and $R_p$. Furthermore, their numerical computation and discussion are performed to determine the significance of their physiochemical properties.
Triangle-free projective-planar graphs with diameter two: domination and characterization
Published
• View Publication
• BIB
In 1975, Plesník characterized all triangle-free planar graphs as having a diameter $2$. We characterize all triangle-free projective-planar graphs having a diameter $2$ and discuss some applications. In particular, the main result is applied to calculate the analogue of clique numbers for graphs, namely, colored mixed graphs, having different types of arcs and edges.
Combinatorial identities using Bernoulli Graphs
In here, I present a series of combinatorial equalities derived using a graph based approach. Different nodes in the graphs are visited following probabilistic dynamics of a moving dot. The results are presented in such a way that the generalisation (to more nodes, or dimensions) is straightforward. At an instant m, we "take a picture" of the system and we compute the probabilities of being at particular positions in space. The sum of all these probabilities is equal to one.
The optimal edge-colouring threshold
Consider any dense r-regular quasirandom bipartite graph H with parts of size n and fix a set of r colours. Let L be a random list assignment where each colour is available for each edge of H with probability p. We show that the threshold probability for H to have a proper L-edge-colouring is p of order (log n)/n. This answers a question of Kang, Kelly, Kühn, Methuku and Osthus. We thus obtain the same threshold for Steiner Triple Systems and Latin squares; the latter answers a question of Johanssen from 2006.
A proof of the 3/5-conjecture in the domination game
Published
• View Publication
• BIB
The domination game is an optimization game played by two players, Dominator and Staller, who alternately select vertices in a graph $G$. A vertex is said to be dominated if it has been selected or is adjacent to a selected vertex. Each selected vertex must strictly increase the number of dominated vertices at the time of its selection, and the game ends once every vertex in $G$ is dominated. Dominator aims to keep the game as short as possible, while Staller tries to achieve the opposite. In this article, we prove that for any graph $G$ on $n$ vertices, Dominator has a strategy to end the game in at most $3n/5$ moves, which was conjectured by Kinnersley, West and Zamani.
Super Stable Tensegrities and the Colin de Verdière Number $ν$
Published
• View Publication
• BIB
A super stable tensegrity introduced by Connelly in 1982 is a globally rigid discrete structure made from stiff bars or struts connected by cables with tension. In this paper we show an exact relation between the maximum dimension that a multigraph can be realized as a super stable tensegrity and Colin de Verdière number~$ν$ from spectral graph theory. As a corollary we obtain a combinatorial characterization of multigraphs that can be realized as 3-dimensional super stable tensegrities.