graph
34828 papers tagged with this keyword
Hanani-Tutte for approximating maps of graphs
We resolve in the affirmative conjectures of Repovs and A. Skopenkov (1998), and M. Skopenkov (2003) generalizing the classical Hanani-Tutte theorem to the setting of approximating maps of graphs on 2-dimensional surfaces by embeddings. Our proof of this result is constructive and almost immediately implies an efficient algorithm for testing if a given piecewise linear map of a graph in a surface is approximable by an embedding. More precisely, an instance of this problem consists of (i) a graph G whose vertices are partitioned into clusters and whose inter-cluster edges are partitioned into bundles, and (ii) a region R of a 2-dimensional compact surface M given as the union of a set of pairwise disjoint discs corresponding to the clusters and a set of pairwise non-intersecting "pipes" corresponding to the bundles, connecting certain pairs of these discs. We are to decide whether G can be embedded inside M so that the vertices in every cluster are drawn in the corresponding disc, the edges in every bundle pass only through its corresponding pipe, and every edge crosses the boundary of each disc at most once.
Conflict-free connection numbers of line graphs
Published
• View Publication
• BIB
A path in an edge-colored graph is called \emph{conflict-free} if it contains at least one color used on exactly one of its edges. An edge-colored graph $G$ is \emph{conflict-free connected} if for any two distinct vertices of $G$, there is a conflict-free path connecting them. For a connected graph $G$, the \emph{conflict-free connection number} of $G$, denoted by $cfc(G)$, is defined as the minimum number of colors that are required to make $G$ conflict-free connected. In this paper, we investigate the conflict-free connection numbers of connected claw-free graphs, especially line graphs. We first show that for an arbitrary connected graph $G$, there exists a positive integer $k$ such that $cfc(L^k(G))\leq 2$. Secondly, we get the exact value of the conflict-free connection number of a connected claw-free graph, especially a connected line graph. Thirdly, we prove that for an arbitrary connected graph $G$ and an arbitrary positive integer $k$, we always have $cfc(L^{k+1}(G))\leq cfc(L^k(G))$, with only the exception that $G$ is isomorphic to a star of order at least~$5$ and $k=1$. Finally, we obtain the exact values of $cfc(L^k(G))$, and use them as an efficient tool to get the smallest nonnegative integer $k_0$ such that $cfc(L^{k_0}(G))=2$.
Relationship between the distinguishing index, minimum degree and maximum degree of graphs
Let $δ$ and $Δ$ be the minimum and the maximum degree of the vertices of a simple connected graph $G$, respectively.
The distinguishing index of a graph $G$, denoted by $D'(G)$, is the least number of labels in an edge labeling of $G$ not preserved by any non-trivial automorphism. Motivated by a conjecture by Pilśniak (2017) that implies that for any $2$-connected graph $D'(G) \leq \lceil \sqrt{Δ(G)}\rceil +1$, we prove that for any graph $G$ with $δ\geq 2$, $D'(G) \leq \lceil \sqrt[δ]{Δ}\rceil +1$. Also, we show that the distinguishing index of $k$-regular graphs is at most $2$, for any $k\geq 5$.
Vizing-type bounds for graphs with induced subgraph restrictions
For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $γ(G\square H)\geq c γ(G)γ(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $γ(G\square H)\geq \frac{r}{2r-1}γ(G)γ(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer $r\geq 2$, then for any graph $H$, $γ(G\square H)\geq \frac{r-1}{2r-3}γ(G)γ(H)$. We do this by bounding the power of $G$, $π(G)$. We show that if $G$ is claw-free and $P_6$-free or $K_4$ and $P_5$-free, then for any graph $H$, $γ(G\square H)\geq γ(G)γ(H)$. Furthermore, we show Vizing-type bounds in terms of the diameter of $G$.
Laplacian Spectra of Regular Graph Transformations
Published in published in Discrete Applied Mathematics, 161 (2013) 118-133
• View Publication
• BIB
For any given graph G = (V,E) we define in a certain way a new graph G(x,y,z) with the vertex set V\cup E depending on parameters x,y,z from {0,1, +, -} and call graph G(x,y,z) the (x,y,z)-transformation of G. It turns out that if G is an r-regular graph, then the Laplacian polynomial of G(x,y,z) is a function of |V|, r, and the Laplacian spectrum of G. We give a complete description of this function.
Acyclic edge-coloring of planar graphs: $Δ$ colors suffice when $Δ$ is large
Published in SIAM Journal on Discrete Math. Vol. 33(2), 2019, pp. 614-628
• View Publication
• BIB
An \emph{acyclic edge-coloring} of a graph $G$ is a proper edge-coloring of $G$ such that the subgraph induced by any two color classes is acyclic. The \emph{acyclic chromatic index}, $χ'_a(G)$, is the smallest number of colors allowing an acyclic edge-coloring of $G$. Clearly $χ'_a(G)\ge Δ(G)$ for every graph $G$. Cohen, Havet, and Müller conjectured that there exists a constant $M$ such that every planar graph with $Δ(G)\ge M$ has $χ'_a(G)=Δ(G)$. We prove this conjecture.
On differences between DP-coloring and list coloring
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle. Many known upper bounds for the list-chromatic number extend to the DP-chromatic number, but not all of them do. In this note we describe some unusual properties of DP-coloring that set it aside from list coloring. In particular, we give an example of a planar bipartite graph with DP-chromatic number $4$ and prove that the edge-DP-chromatic number of a $d$-regular graph with $d\geq 2$ is always at least $d+1$.
Classifying bent functions by their Cayley graphs
In 1999 Bernasconi and Codenotti noted that the Cayley graph of a bent function is strongly regular. This paper describes the concept of extended Cayley equivalence of bent functions, discusses some connections between bent functions, designs, and codes, and explores the relationship between extended Cayley equivalence and extended affine equivalence. SageMath scripts and CoCalc worksheets are used to compute and display some of these relationships, for bent functions up to dimension 8.
Cubic vertex-transitive non-Cayley graphs of order 12p
Published
• View Publication
• BIB
A graph is said to be {\em vertex-transitive non-Cayley} if its full automorphism group acts transitively on its vertices and contains no subgroups acting regularly on its vertices. In this paper, a complete classification of cubic vertex-transitive non-Cayley graphs of order $12p$, where $p$ is a prime, is given. As a result, there are $11$ sporadic and one infinite family of such graphs, of which the sporadic ones occur when $p=5$, $7$ or $17$, and the infinite family exists if and only if $p\equiv1\ (\mod 4)$, and in this family there is a unique graph for a given order.
Vector spaces and Grassmann graphs over residue class rings
Published
• View Publication
• BIB
Let $\mathbb{Z}_{p^s}$ be the residue class ring of integers modulo $p^s$, where $p$ is a prime number and $s$ is a positive integer. Using matrix representation and the inner rank of a matrix, we study the intersection, join, dimension formula and dual subspaces on vector subspaces of $\mathbb{Z}^n_{p^s}$. Based on these results, we investigate the Grassmann graph $G_{p^s}(n,m)$ over $\mathbb{Z}_{p^s}$. $G_{p^s}(n,m)$ is a connected vertex-transitive graph, and we determine its valency, clique number and maximum cliques. Finally, we characterize the automorphisms of $G_{p^s}(n,m)$.
Group representations that resist worst-case sampling
Motivated by expansion in Cayley graphs, we show that there exist infinitely many groups $G$ with a nontrivial irreducible unitary representation whose average over every set of $o(\log\log|G|)$ elements of $G$ has operator norm $1 - o(1)$. This answers a question of Lovett, Moore, and Russell, and strengthens their negative answer to a question of Wigderson.
The construction is the affine group of $\mathbb{F}_p$ and uses the fact that for every $A \subset \mathbb{F}_p\setminus\{0\}$, there is a set of size $\exp(\exp(O(|A|)))$ that is almost invariant under both additive and multiplicatpive translations by elements of $A$.
A catalog of 4-regular and (2;4)-regular matchstick graphs
The first part (page 1 - 7) of this article presents the currently known examples of 4-regular matchstick graphs with 63 - 70 vertices. The second part (page 8 - 15) presents the currently known examples of $(2;4)$-regular matchstick graphs with less than 42 vertices which contain only two vertices of degree 2.
On the weak Roman domination number of lexicographic product graphs
Published
• View Publication
• BIB
A vertex $v$ of a graph $G=(V,E)$ is said to be undefended with respect to a function $f: V \longrightarrow \{0,1,2\}$ if $f(v)=0$ and $f(u)=0$ for every vertex $u$ adjacent to $v$. We call the function $f$ a weak Roman dominating function if for every $v$ such that $f(v)=0$ there exists a vertex $u$ adjacent to $v$ such that $f(u)\in \{1,2\}$ and the function $f': V \longrightarrow \{0,1,2\}$ defined by $f'(v)=1$, $f'(u)=f(u)-1$ and $f'(z)=f(z)$ for every $z\in V \setminus\{u,v\}$, has no undefended vertices. The weight of $f$ is $w(f)=\sum_{v\in V(G) }f(v)$. The weak Roman domination number of a graph $G$, denoted by $γ_r(G)$, is the minimum weight among all weak Roman dominating functions on $G$. Henning and Hedetniemi [Discrete Math. 266 (2003) 239-251] showed that the problem of computing $γ_r(G)$ is NP-Hard, even when restricted to bipartite or chordal graphs. This suggests finding $γ_r(G)$ for special classes of graphs or obtaining good bounds on this invariant. In this article, we obtain closed formulae and tight bounds for the weak Roman domination number of lexicographic product graphs in terms of invariants of the factor graphs involved in the product.
Graphs with $α_1$ and $τ_1$ both large
Published
• View Publication
• BIB
Given a graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of an edge set containing at most one edge from each triangle of $G$. Erdős, Gallai, and Tuza introduced several problems with the unifying theme that $α_1(G)$ and $τ_1(G)$ cannot both be "very large"; the most well-known such problem is their conjecture that $α_1(G) + τ_1(G) \leq |V(G)|^2/4$, which was proved by Norin and Sun. We consider three other problems within this theme (two introduced by Erdős, Gallai, and Tuza, another by Norin and Sun), all of which request an upper bound either on $\min\{α_1(G), τ_1(G)\}$ or on $α_1(G) + kτ_1(G)$ for some constant $k$, and prove the existence of graphs for which these quantities are "large".
On the minimum degree, edge-connectivity and connectivity of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequently the minimum disconnecting sets of power graphs of the aforementioned groups are determined. Then the equality of connectivity and minimum degree of power graphs of finite groups is investigated and in this connection, certain necessary conditions are produced. A necessary and sufficient condition for the equality of connectivity and minimum degree of power graphs of finite cyclic groups is obtained. Moreover, the equality is examined for the power graphs of abelian $p$-groups, dihedral groups and dicyclic groups.
Asymptotics for the Turán number of Berge-$K_{2,t}$
Published
• View Publication
• BIB
Let $F$ be a graph. A hypergraph is called Berge-$F$ if it can be obtained by replacing each edge of $F$ by a hyperedge containing it. Let $\mathcal{F}$ be a family of graphs. The Turán number of Berge-$\mathcal{F}$ is the maximum possible number of edges in an $r$-uniform hypergraph on $n$ vertices containing no Berge-$F$ as a subhypergraph (for every $F \in \mathcal{F}$) and is denoted by $ex_r(n,\mathcal{F})$.
We determine the asymptotics for the Turán number of Berge-$K_{2,t}$ by showing $$ex_3(n,K_{2,t})=\frac{1}{6}(t-1)^{3/2} \cdot n^{3/2}(1+o(1))$$ for any given $t \ge 7$. We study the analogous question for linear hypergraphs and show that $$ex_3(n,\{C_2, K_{2,t}\}) = \frac{1}{6}\sqrt{t-1} \cdot n^{3/2}(1+o_{t}(1)).$$
We also prove general upper and lower bounds on the Turán numbers of a class of graphs including $ex_r(n, K_{2,t})$, $ex_r(n,\{C_2, K_{2,t}\})$, and $ex_r(n, C_{2k})$ for $r \ge 3$. Our bounds improve results of Gerbner and Palmer, Füredi and Özkahya, Timmons, and provide a new proof of a result of Jiang and Ma.
Induced subgraphs of graphs with large chromatic number. X. Holes of specific residue
Published
• View Publication
• BIB
A large body of research in graph theory concerns the induced subgraphs of graphs with large chromatic number, and especially which induced cycles must occur. In this paper, we unify and substantially extend results from a number of previous papers, showing that, for every positive integer k, every graph with large chromatic number contains either a large complete subgraph or induced cycles of all lengths modulo k. As an application, we prove two conjectures of Kalai and Meshulam from the 1990's connecting the chromatic number of a graph with the homology of its independence complex.
Unit Incomparability Dimension and Clique Cover Width in Graphs
Published in Congressus Numerantium, 213 (2012), 91-98
• Search Publication
For a clique cover $C$ in the undirected graph $G$, the {\it clique cover graph} of $C$ is the graph obtained by contracting the vertices of each clique in $C$ into a single vertex. The {\it clique cover width} of $G$, denoted by $CCW(G)$, is the minimum value of the bandwidth of all clique cover graphs in $G$. Any $G$ with $CCW(G)=1$ is known to be an incomparability graph, and hence is called, a {\it unit incomparability graph}. We introduced the {\it unit incomparability dimension of $G$}, denoted by$Udim(G)$, to be the smallest integer $d$ so that there are unit incomparability graphs $H_i$ with $V(H_i)=V(G), i=1,2,...,d$, so that $E(G)=\cap_{i=1}^d E(G_i)$. We prove a decomposition theorem establishing the inequality $Udim(G)\le CCW(G)$. Specifically, given any $G$, there are unit incomparability graphs $H_1,H_2,...,H_{CC(W)}$ with $V(H_i)=V(G)$ so that and $E(G)=\cap_{i=1}^{CCW} E(H_i)$. In addition, $H_i$ is co-bipartite, for $i=1,2,...,CCW(G)-1$. Furthermore, we observe that $CCW(G)\ge s(G)/2-1$, where $s(G)$ is the number of leaves in a largest induced star of $G$ , and use Ramsey Theory to give an upper bound on $s(G)$, when $G$ is represented as an intersection graph using our decomposition theorem. Finally, when $G$ is an incomparability graph we prove that $CCW (G)\le s(G)-1$.
On sufficient conditions for rainbow cycles in edge-colored graphs
Published in Discrete Mathematics, 342(2019) no. 7, 1956--1965
• View Publication
• BIB
Let $G$ be an edge-colored graph. We use $e(G)$ and $c(G)$ to denote the number of edges of $G$ and the number of colors appearing on $E(G)$, respectively. For a vertex $v\in V(G)$, the \emph{color neighborhood} of $v$ is defined as the set of colors assigned to the edges incident to $v$. A subgraph of $G$ is \emph{rainbow} if all of its edges are assigned with distinct colors. The well-known Mantel's theorem states that a graph $G$ on $n$ vertices contains a triangle if $e(G)\geq\lfloor\frac{n^2}{4}\rfloor+1$. Rademacher (1941) showed that $G$ contains at least $\lfloor\frac{n}{2}\rfloor$ triangles under the same condition. Li, Ning, Xu and Zhang (2014) proved a rainbow version of Mantel's theorem: An edge-colored graph $G$ has a rainbow triangle if $e(G)+c(G)\geq n(n+1)/2$. In this paper, we first characterize all graphs $G$ satisfying $e(G)+c(G)\geq n(n+1)/2-1$ but containing no rainbow triangles. Motivated by Rademacher's theorem, we then characterize all graphs $G$ which satisfy $e(G)+c(G)\geq n(n+1)/2$ but contain only one rainbow triangle. We further obtain two results on color neighborhood conditions for the existence of rainbow short cycles. Our results improve a previous theorem due to Broersma, Li, Woeginger, and Zhang (2005). Moreover, we provide a sufficient condition in terms of color neighborhood for the existence of a specified number of vertex-disjoint rainbow cycles.
Benchmark Graphs for Practical Graph Isomorphism
The state-of-the-art solvers for the graph isomorphism problem can readily solve generic instances with tens of thousands of vertices. Indeed, experiments show that on inputs without particular combinatorial structure the algorithms scale almost linearly. In fact, it is non-trivial to create challenging instances for such solvers and the number of difficult benchmark graphs available is quite limited. We describe a construction to efficiently generate small instances for the graph isomorphism problem that are difficult or even infeasible for said solvers. Up to this point the only other available instances posing challenges for isomorphism solvers were certain incidence structures of combinatorial objects (such as projective planes, Hadamard matrices, Latin squares, etc.). Experiments show that starting from 1500 vertices our new instances are several orders of magnitude more difficult on comparable input sizes. More importantly, our method is generic and efficient in the sense that one can quickly create many isomorphism instances on a desired number of vertices. In contrast to this, said combinatorial objects are rare and difficult to generate and with the new construction it is possible to generate an abundance of instances of arbitrary size. Our construction hinges on the multipedes of Gurevich and Shelah and the Cai-Fürer-Immerman gadgets that realize a certain abelian automorphism group and have repeatedly played a role in the context of graph isomorphism. Exploring limits of such constructions, we also explain that there are group theoretic obstructions to generalizing the construction with non-abelian gadgets.