graph
34828 papers tagged with this keyword
Generalized Turán problems for even cycles
Published
• View Publication
• BIB
Given a graph $H$ and a set of graphs $\mathcal F$, let $ex(n,H,\mathcal F)$ denote the maximum possible number of copies of $H$ in an $\mathcal F$-free graph on $n$ vertices. We investigate the function $ex(n,H,\mathcal F)$, when $H$ and members of $\mathcal F$ are cycles. Let $C_k$ denote the cycle of length $k$ and let $\mathscr C_k=\{C_3,C_4,\ldots,C_k\}$. Some of our main results are the following.
(i) We show that $ex(n, C_{2l}, C_{2k}) = Θ(n^l)$ for any $l, k \ge 2$. Moreover, we determine it asymptotically in the following cases: We show that $ex(n,C_4,C_{2k}) = (1+o(1)) \frac{(k-1)(k-2)}{4} n^2$ and that the maximum possible number of $C_6$'s in a $C_8$-free bipartite graph is $n^3 + O(n^{5/2})$.
(ii) Solymosi and Wong proved that if Erdős's Girth Conjecture holds, then for any $l \ge 3$ we have $ex(n,C_{2l},\mathscr C_{2l-1})=Θ(n^{2l/(l-1)})$. We prove that forbidding any other even cycle decreases the number of $C_{2l}$'s significantly: For any $k > l$, we have $ex(n,C_{2l},\mathscr C_{2l-1} \cup \{C_{2k}\})=Θ(n^2).$ More generally, we show that for any $k > l$ and $m \ge 2$ such that $2k \neq ml$, we have $ex(n,C_{ml},\mathscr C_{2l-1} \cup \{C_{2k}\})=Θ(n^m).$
(iii) We prove $ex(n,C_{2l+1},\mathscr C_{2l})=Θ(n^{2+1/l}),$ provided a strong version of Erdős's Girth Conjecture holds (which is known to be true when $l = 2, 3, 5$). Moreover, forbidding one more cycle decreases the number of $C_{2l+1}$'s significantly: More precisely, we have $ex(n, C_{2l+1}, \mathscr C_{2l} \cup \{C_{2k}\}) = O(n^{2-\frac{1}{l+1}}),$ and $ex(n, C_{2l+1}, \mathscr C_{2l} \cup \{C_{2k+1}\}) = O(n^2)$ for $l > k \ge 2$.
(iv) We also study the maximum number of paths of given length in a $C_k$-free graph, and prove asymptotically sharp bounds in some cases.
Transversals of Longest Paths
Published
• View Publication
• BIB
Let $\lpt(G)$ be the minimum cardinality of a set of vertices that intersects all longest paths in a graph $G$. Let $ω(G)$ be the size of a maximum clique in $G$, and $\tw(G)$ be the treewidth of $G$. We prove that $ \lpt(G) \leq \max\{1,ω(G)-2\}$ when $G$ is a connected chordal graph; that $\lpt(G) =1$ when $G$ is a connected bipartite permutation graph or a connected full substar graph; and that $\lpt(G) \leq \tw(G)$ for any connected graph $G$.
Mixed Moore Cayley graphs
Published in J. Interconn. Networks, Vol. 17 Nos 3/4 (2017) 1741010, 9pp
• View Publication
• BIB
The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. There has been much recent interest in the problem for mixed graphs, where we allow both undirected edges and directed arcs in the graph. For a diameter 2 graph with maximum undirected degree $r$ and directed out-degree $z$, a straightforward counting argument yields an upper bound $M(z,r,2)=(z+r)^2+z+1$ for the order of the graph. Apart from the case $r=1$, the only three known examples of mixed graphs attaining this bound are Cayley graphs, and there are an infinite number of feasible pairs $(r,z)$ where the existence of mixed Moore graphs with these parameters is unknown. We use a combination of elementary group-theoretical arguments and computational techniques to rule out the existence of further examples of mixed Cayley graphs attaining the Moore bound for all orders up to 485.
A generalized Ihara zeta function formula for simple graphs with bounded degree
Published
• View Publication
• BIB
We establish a generalized Ihara zeta function formula for simple graphs with bounded degree. This is a generalization of the formula obtained by G. Chinta, J. Jorgenson and A. Karlsson from a vertex-transitive graph.
Convex drawings of the complete graph: topology meets geometry
Published in Ars Mathematica Contemporanea 22 (2022) #P3.04
• View Publication
• BIB
In this work, we introduce and develop a theory of convex drawings of the complete graph $K_n$ in the sphere. A drawing $D$ of $K_n$ is convex if, for every 3-cycle $T$ of $K_n$, there is a closed disc $Δ_T$ bounded by $D[T]$ such that, for any two vertices $u,v$ with $D[u]$ and $D[v]$ both in $Δ_T$, the entire edge $D[uv]$ is also contained in $Δ_T$.
As one application of this perspective, we consider drawings containing a non-convex $K_5$ that has restrictions on its extensions to drawings of $K_7$. For each such drawing, we use convexity to produce a new drawing with fewer crossings. This is the first example of local considerations providing sufficient conditions for suboptimality. In particular, we do not compare the number of crossings {with the number of crossings in} any known drawings. This result sheds light on Aichholzer's computer proof (personal communication) showing that, for $n\le 12$, every optimal drawing of $K_n$ is convex.
Convex drawings are characterized by excluding two of the five drawings of $K_5$. Two refinements of convex drawings are h-convex and f-convex drawings. The latter have been shown by Aichholzer et al (Deciding monotonicity of good drawings of the complete graph, Proc.~XVI Spanish Meeting on Computational Geometry (EGC 2015), 2015) and, independently, the authors of the current article (Levi's Lemma, pseudolinear drawings of $K_n$, and empty triangles, \rbr{J. Graph Theory DOI: 10.1002/jgt.22167)}, to be equivalent to pseudolinear drawings. Also, h-convex drawings are equivalent to pseudospherical drawings as demonstrated recently by Arroyo et al (Extending drawings of complete graphs into arrangements of pseudocircles, submitted).
Bounds for the Graham-Pollak Theorem for Hypergraphs
Published
• View Publication
• BIB
Let $f_r(n)$ represent the minimum number of complete $r$-partite $r$-graphs required to partition the edge set of the complete $r$-uniform hypergraph on $n$ vertices. The Graham-Pollak theorem states that $f_2(n)=n-1$. An upper bound of $(1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$ was known. Recently this was improved to $\frac{14}{15}(1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$ for even $r \geq 4$. A bound of $\bigg[\frac{r}{2}(\frac{14}{15})^{\frac{r}{4}}+o(1)\bigg](1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}$ was also proved recently. The smallest odd $r$ for which $c_r < 1$ that was known was for $r=295$. In this note we improve this to $c_{113}<1$ and also give better upper bounds for $f_r(n)$, for small values of even $r$.
On monopoly and dynamic monopoly of Cartesian product of graphs with constant thresholds
Let $G$ be any simple and undirected graph. By a threshold assignment $τ$ in $G$ we mean any function $τ:V(G)\rightarrow \mathbb{N}$ such that $τ(v)\leq d_G(v)$ for any vertex $v$ of $G$. Given a graph $G$ with a threshold assignment $τ$, a subset of vertices $M$ is said to be a $τ$-monopoly if there exist at least $τ(v)$ neighbors in $M$ for any vertex $v \in V(G) \setminus M$. Similarly, a subset of vertices $D$ is said to be a $τ$-dynamic monopoly if starting with the set $D$ and iteratively adding to the current set further vertices $u$ that have at least $τ(u)$ neighbors in it, results in the entire vertex set $V(G)$. Denote by $mon_τ(G)$ (resp. $dyn_τ(G)$) the smallest cardinality of a $τ$-monopoly (resp. $τ$-dynamic monopoly) of the graph among all others. In this paper we obtain some lower and upper bounds for these two parameters with constant threshold assignments for Cartesian product graphs. Our bounds improve the previous known bounds. We also determine the exact value of these two parameters with fixed thresholds in some Cartesian graph products including cycles and complete graphs.
A proof of Tomescu's graph coloring conjecture
Published
• View Publication
• BIB
In 1971, Tomescu conjectured that every connected graph $G$ on $n$ vertices with chromatic number $k\geq4$ has at most $k!(k-1)^{n-k}$ proper $k$-colorings. Recently, Knox and Mohar proved Tomescu's conjecture for $k=4$ and $k=5$. In this paper, we complete the proof of Tomescu's conjecture for all $k\ge 4$, and show that equality occurs if and only if $G$ is a $k$-clique with trees attached to each vertex.
Reflexive polytopes arising from edge polytopes
Published in Linear Algebra and its Applications 557(2018), 438--454
• View Publication
• BIB
It is known that every lattice polytope is unimodularly equivalent to a face of some reflexive polytope. A stronger question is to ask whether every $(0,1)$-polytope is unimodularly equivalent to a facet of some reflexive polytope. A large family of $(0,1)$-polytopes are the edge polytopes of finite simple graphs. In the present paper, it is shown that, by giving a new class of reflexive polytopes, each edge polytope is unimodularly equivalent to a facet of some reflexive polytope. Furthermore, we extend the characterization of normal edge polytopes to a characterization of normality for these new reflexive polytopes.
Local Dimension is Unbounded for Planar Posets
Published
• View Publication
• BIB
In 1981, Kelly showed that planar posets can have arbitrarily large dimension. However, the posets in Kelly's example have bounded Boolean dimension and bounded local dimension, leading naturally to the questions as to whether either Boolean dimension or local dimension is bounded for the class of planar posets. The question for Boolean dimension was first posed by Nešetřil and Pudlák in 1989 and remains unanswered today. The concept of local dimension is quite new, introduced in 2016 by Ueckerdt. Since that time, researchers have obtained many interesting results concerning Boolean dimension and local dimension, contrasting these parameters with the classic Dushnik-Miller concept of dimension, and establishing links between both parameters and structural graph theory, path-width, and tree-width in particular. Here we show that local dimension is not bounded on the class of planar posets. Our proof also shows that the local dimension of a poset is not bounded in terms of the maximum local dimension of its blocks, and it provides an alternative proof of the fact that the local dimension of a poset cannot be bounded in terms of the tree-width of its cover graph, independent of its height.
Cuts in matchings of 3-connected cubic graphs
Published
• View Publication
• BIB
We discuss conjectures on Hamiltonicity in cubic graphs (Tait, Barnette, Tutte), on the dichromatic number of planar oriented graphs (Neumann-Lara), and on even graphs in digraphs whose contraction is strongly connected (Hochstättler). We show that all of them fit into the same framework related to cuts in matchings. This allows us to find a counterexample to the conjecture of Hochstättler and show that the conjecture of Neumann-Lara holds for all planar graphs on at most 26 vertices. Finally, we state a new conjecture on bipartite cubic oriented graphs, that naturally arises in this setting.
Logical laws for short existential monadic second order sentences about graphs
Published
• View Publication
• BIB
In this paper, we study existential monadic second order (EMSO) properties of undirected graphs. In 2001, J.-M. Le Bars proved that there exists an EMSO sentence about undirected graphs such that the probability that it is true does not converge (here, the probability distribution is uniform over the set of all graphs on the fixed set of vertices). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the 0-1 law holds (every sentence is either true asymptotically almost surely (a.a.s.), or false a.a.s.). We give an example of EMSO sentence with 1 monadic variable without convergence and an example of EMSO sentence with 3 first order variables without convergence.
Resistance distance in straight linear 2-trees
Published
• View Publication
• BIB
We consider 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$. We call $G_n$ the straight linear 2-tree on $n$ vertices. Using $Δ$--Y transformations and identities for the Fibonacci and Lucas numbers we obtain explicit formulae for the resistance distance $r_{G_n}(i,j)$ between any two vertices $i$ and $j$ of $G_n$. To our knowledge $\{G_n\}_{n=3}^\infty$ is the first nontrivial family with diameter going to $\infty$ for which all resistance distances have been explicitly calculated. Our result also gives formulae for the number of spanning trees and 2-forests in a straight linear 2-tree. We show that the maximal resistance distance in $G_n$ occurs between vertices 1 and $n$ and the minimal resistance distance occurs between vertices $n/2$ and $n/2+1$ for $n$ even (with a similar result for $n$ odd). It follows that $r_n(1,n) \to \infty$ as $n \to \infty$. Moreover, our explicit formula makes it possible to order the non-edges of $G_n$ exactly according to resistance distance, and this ordering agrees with the intuitive notion of distance on a graph. Consequently, $G_n$ is a geometric graph with entirely different properties than the random geometric graphs investigated in [6]. These results for straight linear 2-trees along with an example of a bent linear 2-tree and empirical results for additional graph classes convincingly demonstrate that resistance distance should not be discounted as a viable method for link prediction in geometric graphs.
The edge-Hosoya polynomial of benzenoid chains
Published in J. Math. Chem. 57 (2019) 180-189
• View Publication
• BIB
The Hosoya polynomial is a well known vertex-distance based polynomial, closely correlated to the Wiener index and the hyper-Wiener index, which are widely used molecular-structure descriptors. In the present paper we consider the edge version of the Hosoya polynomial. For a connected graph $G$ let $d_e(G,k)$ be the number of (unordered) edge pairs at distance $k$. Then the edge-Hosoya polynomial of $G$ is $H_e(G,x) = \sum_{k \geq 0} d(G,k)x^k$. We investigate the edge-Hosoya polynomial of important chemical graphs known as benzenoid chains and derive the recurrence relations for them. These recurrences are then solved for linear benzenoid chains, which are also called polyacenes.
Proof of a conjecture on induced subgraphs of Ramsey graphs
Published
• View Publication
• BIB
An n-vertex graph is called C-Ramsey if it has no clique or independent set of size C log n. All known constructions of Ramsey graphs involve randomness in an essential way, and there is an ongoing line of research towards showing that in fact all Ramsey graphs must obey certain "richness" properties characteristic of random graphs. More than 25 years ago, Erdős, Faudree and Sós conjectured that in any C-Ramsey graph there are $Ω\left(n^{5/2}\right)$ induced subgraphs, no pair of which have the same numbers of vertices and edges. Improving on earlier results of Alon, Balogh, Kostochka and Samotij, in this paper we prove this conjecture.
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.