graph
35411 papers tagged with this keyword
Resistance distance in bent linear 2-trees
In this note we consider the bent linear 2-tree and provide an explicit formula for the resistance distance $r_{G_n}(1,n)$ between the first and last vertices of the graph. We call the graph $G_n$ with vertex set $V(G_n) = \{ 1, 2, \ldots, n\}$ and $\{i,j\} \in E(G_n)$ if and only if $0<|i-j| \leq 2$ a straight linear 2-tree. We define the graph $H_n$ with $V(H_n)= V(G_n)$ and $E(H_n) = (E(G_n) \cup \{k,k+3\})\setminus(\{k+1,k+3\}$ to be a bent linear 2-tree with bend at vertex $k$.
Structural and computational results on platypus graphs
Published
• View Publication
• BIB
A platypus graph is a non-hamiltonian graph for which every vertex-deleted subgraph is traceable. They are closely related to families of graphs satisfying interesting conditions regarding longest paths and longest cycles, for instance hypohamiltonian, leaf-stable, and maximally non-hamiltonian graphs.
In this paper, we first investigate cubic platypus graphs, covering all orders for which such graphs exist: in the general and polyhedral case as well as for snarks. We then present (not necessarily cubic) platypus graphs of girth up to 16---whereas no hypohamiltonian graphs of girth greater than 7 are known---and study their maximum degree, generalising two theorems of Chartrand, Gould, and Kapoor. Using computational methods, we determine the complete list of all non-isomorphic platypus graphs for various orders and girths. Finally, we address two questions raised by the third author in [J. Graph Theory \textbf{86} (2017) 223--243].
Poisson brackets symmetry from the pentagon-wheel cocycle in the graph complex
Published in Physics of Particles and Nuclei (2018) Vol. 49, No. 5, 924--928
• View Publication
• BIB
Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $γ$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(γ)(\mathcal{P})$ preserves the space of Poisson structures if $γ$ is a cocycle with respect to the vertex-expanding differential in the graph complex.
A class of such cocycles $\boldsymbolγ_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbolγ_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbolγ_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbolγ_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.
On exponential domination of the consecutive circulant graph
For a graph $G,$ we consider $D \subset V(G)$ to be a porous exponential dominating set if $1\le \sum_{d \in D}$ $\left( \frac{1}{2} \right)^{\text{dist}(d,v) -1}$ for every $v \in V(G),$ where dist$(d,v)$ denotes the length of the smallest $dv$ path. Similarly, $D \subset V(G)$ is a non-porous exponential dominating set is $1\le \sum_{d \in D} \left( \frac{1}{2} \right)^{\overline{\text{dist}}(d,v) -1}$ for every $v \in V(G),$ where $\overline{\text{dist}}(d,v)$ represents the length of the shortest $dv$ path with no internal vertices in $D.$ The porous and non-porous exponential dominating number of $G,$ denoted $γ_e^*(G)$ and $γ_e(G),$ are the minimum cardinality of a porous and non-porous exponential dominating set, respectively. The consecutive circulant graph, $C_{n, [\ell]},$ is the set of $n$ vertices such that vertex $v$ is adjacent to $v \pm i \mod n$ for each $i \in [\ell].$ In this paper we show $γ_e(C_{n, [\ell]}) = γ_e^*(C_{n, [\ell]}) = \left\lceil \tfrac{n}{3\ell +1} \right\rceil.$
On Generalized Edge Corona Product of Graphs
Let $G$ be a simple graph with $m$ edges and $H_i$, $1\leq i \leq m$ be simple graphs too. The generalized edge corona product of graphs $G$ and $H_1, ..., H_m$, denoted by $G \diamond (H_1, ..., H_m)$, is obtained by taking one copy of graphs $G$, $H_1, ..., H_m$ and joining two end vertices of $i$-th edge of $G$ to every vertex of $H_i$, $1\leq i \leq m$. In this paper, some results regarding the $k$-distance chromatic number of Generalized edge corona product of graphs are presented. Also, as a consequence of our results, we compute this invariant for the graphs $K_n \diamond (H_1, ..., H_m)$, $T\diamond (H_1, ..., H_m)$ and $K_{m,n} \diamond (H_1, ..., H_m)$. Moreover, the domination set, domination number and the independence number of any connected graph $G$ and arbitrary graphs $H_i$, $1\leq i \leq |E(G)|$, are evaluated under generalized edge corona operation.
Gorenstein liaison for toric ideals of graphs
Published
• View Publication
• BIB
A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.
Distance magic labelings of product graphs
A graph $G$ is said to be distance magic if there exists a bijection $f:V\rightarrow \{1,2, \ldots , v\}$ and a constant {\sf k} such that for any vertex $x$, $\sum_{y\in N(x)} f(y) ={\sf k}$, where $N_(x)$ is the set of all neighbours of $x$.
In this paper we shall study distance magic labelings of graphs obtained from four graph products: cartesian, strong, lexicographic, and cronecker. We shall utilise magic rectangle sets and magic column rectangles to construct the labelings.
The List Linear Arboricity of Graphs
Published
• View Publication
• BIB
A linear forest is a forest in which every connected component is a path. The linear arboricity of a graph $G$ is the minimum number of linear forests of $G$ covering all edges. In 1980, Akiyama, Exoo and Harary proposed a conjecture, known as the Linear Arboricity Conjecture (LAC), stating that every $d$-regular graph $G$ has linear arboricity $\lceil \frac{d+1}{2} \rceil$. In 1988, Alon proved that the LAC holds asymptotically. In 1999, the list version of the LAC was raised by An and Wu, which is called the List Linear Arboricity Conjecture. In this article, we prove that the List Linear Arboricity Conjecture holds asymptotically.
On some Graphs with a Unique Perfect Matching
Published
• View Publication
• BIB
We show that deciding whether a given graph $G$ of size $m$ has a unique perfect matching as well as finding that matching, if it exists, can be done in time $O(m)$ if $G$ is either a cograph, or a split graph, or an interval graph, or claw-free. Furthermore, we provide a constructive characterization of the claw-free graphs with a unique perfect matching.
An Erdős-Gallai type theorem for vertex colored graphs
Published in Graphs and Combinatorics (2019) 35
• View Publication
• BIB
While investigating odd-cycle free hypergraphs, Győri and Lemons introduced a colored version of the classical theorem of Erdős and Gallai on $P_k$-free graphs. They proved that any graph $G$ with a proper vertex coloring and no path of length $2k+1$ with endpoints of different colors has at most $2kn$ edges. We show that Erdős and Gallai's original sharp upper bound of $kn$ holds for their problem as well. We also introduce a version of this problem for trees and present a generalization of the Erdős-Sós conjecture.
Computational Properties of Slime Trail
We investigate the combinatorial game Slime Trail.This game is played on a graph with a starting piece in a node. Each player's objective is to reach one of their own goal nodes. Every turn the current player moves the piece and deletes the node they came from. We show that the game is PSPACE-complete when played on a planar graph.
Conflict-Free Coloring of String Graphs
Published
• View Publication
• BIB
Conflict-free coloring (in short, CF-coloring) of a graph $G = (V,E)$ is a coloring of $V$ such that the neighborhood of each vertex contains a vertex whose color differs from the color of any other vertex in that neighborhood. Bounds on CF-chromatic numbers have been studied both for general graphs and for intersection graphs of geometric shapes. In this paper we obtain such bounds for several classes of string graphs, i.e., intersection graphs of curves in the plane:
(i) We provide a general upper bound of $O(χ(G)^2 \log n)$ on the CF-chromatic number of any string graph $G$ with $n$ vertices in terms of the classical chromatic number $χ(G)$. This result stands in contrast to general graphs where the CF-chromatic number can be $Ω(\sqrt{n})$ already for bipartite graphs.
(ii) For some central classes of string graphs, the CF-chromatic number is as large as $Θ(\sqrt{n})$, which is the upper bound for any graph even in the non-geometric context. For several such classes (e.g., intersection graphs of frames) we prove a tight bound of $Θ(\log n)$ with respect to the notion of $k$-CF-coloring (in which the punctured neighborhood of each vertex contains a color that appears at most $k$ times), for a small constant $k$.
(iii) We obtain a general upper bound on the $k$-CF-chromatic number of arbitrary hypergraphs: Any hypergraph with $m$ hyperedges can be $k$-CF colored with $\tilde{O}(m^{\frac{1}{k+1}})$ colors. This bound, which extends a bound of Pach and Tardos (2009), is tight for some string graphs, up to a logarithmic factor.
(iv) Our fourth result concerns circle graphs in which coloring problems are motivated by VLSI designs. We prove a tight bound of $Θ(\log n)$ on the CF-chromatic number of circle graphs, and an upper bound of $O(\log^{3} n)$ for a wider class that contains circle graphs, namely, intersection graphs of grounded L-shapes.
Minors of two-connected graphs of large path-width
Let $P$ be a graph with a vertex $v$ such that $P\backslash v$ is a forest, and let $Q$ be an outerplanar graph. We prove that there exists a number $p=p(P,Q)$ such that every 2-connected graph of path-width at least $p$ has a minor isomorphic to $P$ or $Q$. This result answers a question of Seymour and implies a conjecture of Marshall and Wood. The proof is based on a new property of tree-decompositions.
A bandwidth theorem for approximate decompositions
Published
• View Publication
• BIB
We provide a degree condition on a regular $n$-vertex graph $G$ which ensures the existence of a near optimal packing of any family $\mathcal H$ of bounded degree $n$-vertex $k$-chromatic separable graphs into $G$. In general, this degree condition is best possible.
Here a graph is separable if it has a sublinear separator whose removal results in a set of components of sublinear size. Equivalently, the separability condition can be replaced by that of having small bandwidth. Thus our result can be viewed as a version of the bandwidth theorem of Böttcher, Schacht and Taraz in the setting of approximate decompositions.
More precisely, let $δ_k$ be the infimum over all $δ\ge 1/2$ ensuring an approximate $K_k$-decomposition of any sufficiently large regular $n$-vertex graph $G$ of degree at least $δn$. Now suppose that $G$ is an $n$-vertex graph which is close to $r$-regular for some $r \ge (δ_k+o(1))n$ and suppose that $H_1,\dots,H_t$ is a sequence of bounded degree $n$-vertex $k$-chromatic separable graphs with $\sum_i e(H_i) \le (1-o(1))e(G)$. We show that there is an edge-disjoint packing of $H_1,\dots,H_t$ into $G$.
If the $H_i$ are bipartite, then $r\geq (1/2+o(1))n$ is sufficient. In particular, this yields an approximate version of the tree packing conjecture in the setting of regular host graphs $G$ of high degree. Similarly, our result implies approximate versions of the Oberwolfach problem, the Alspach problem and the existence of resolvable designs in the setting of regular host graphs of high degree.
A Generalization of Schur's Theorem
This paper is an excerpt from the author's 1968 PhD dissertation [Yale University, 1968] in which the (now) well-known result, commonly known as the Folkman-Rado-Sanders theorem, is proved. The proof uses (finite) alternating sums of integers and an 'iterated Ramsey theorem' in a way analogous to the proof of Schur's theorem using differences of integers and Ramsey's theorem for the coloring of the edges of a complete graph. The proof predates all others except J. Folkman, who based his proof on van der Waerden's theorem. The paper also contains the first published statement of the countable version of the theorem, which came to be misattributed to Graham and Rothschild, but predated their statement by three years.
Weak embedding theorem and a proof of cycle double cover of bridgeless graphs
In this article, we give a positive answer to the cycle double cover conjecture. Ones who are mainly interesting in the proof of the conjecture can only read Sections 2 and 4.
The chromatic distinguishing index of certain graphs
Published
• View Publication
• BIB
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. The distinguishing chromatic index $χ'_D (G)$ of a graph $G$ is the least number $d$ such that $G$ has a proper edge labeling with $d$ labels that is preserved only by the identity automorphism of $G$. In this paper we compute the distinguishing chromatic index for some specific graphs. Also we study the distinguishing chromatic index of corona product and join of two graphs.
On the Saxl graph of a permutation group
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 219-248
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $Σ(G)$, which we call the Saxl graph of $G$. The vertices of $Σ(G)$ are the points of $Ω$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $Σ(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $Σ(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.
Embeddings of weighted graphs in Erdős-type settings
Published in Moscow J. Comb. Number Th. 8 (2019) 117-123
• View Publication
• BIB
Many recent results in combinatorics concern the relationship between the size of a set and the number of distances determined by pairs of points in the set. One extension of this question considers configurations within the set with a specified pattern of distances. In this paper, we use graph-theoretic methods to prove that a sufficiently large set $E$ must contain at least $C_G|E|$ distinct copies of any given weighted tree $G$, where $C_G$ is a constant depending only on the graph $G$.
On the Space of 2-Linkages
Let $G=(V,E)$ be a finite undirected graph. If $P$ is an oriented path from $r_1\in V$ to $r_2\in V$, we define $\partial(P) = r_2-r_1$. If $R, S\subseteq V$, we denote by $P(G; R, S)$ the span of the set of all $\partial P\otimes \partial Q$ with $P$ and $Q$ disjoint oriented paths of $G$ connecting vertices in $R$ and $S$, respectively. By $L(R, S)$, we denote the submodule of $\mathbb{Z}\langle R\rangle\otimes\mathbb{Z}\langle S\rangle$ consisting all $\sum_{r\in R, s\in S} c(r,s)r\otimes s$ such that $c(r,r) = 0$ for all $r\in R\cap S$, $\sum_{r\in R} c(r, s) = 0$ for all $s\in S$, and $\sum_{s\in S} c(r, s) = 0$ for all $r\in R$.
In this paper, we provide, when $G$ is sufficiently connected, characterizations when $P(G; R, S)$ is a proper subset of $L(R, S)$.