graph
35411 papers tagged with this keyword
The Edge-Wiener Index and the Edge-Hyper-Wiener Index of Phenylenes
Besides the well known Wiener index, which sums up the distances between all the pairs of vertices, and the hyper-Wiener index, which includes also the squares of distances, the edge versions of both indices attracted a lot of attention in the recent years.
In this paper we consider the edge-Wiener index and the edge-hyper-Wiener index of phenylenes, which represent an important class of molecular graphs. For an arbitrary phenylene, four quotient trees based on the elementary cuts are defined in a similar way as it was previously done for benzenoid systems. The computation of the edge-Wiener index of the phenylene is then reduced to the calculation of the weighted Wiener indices of the corresponding quotient trees. Furthermore, a method for computing the edge-hyper-Wiener index of phenylenes is described. Finally, the application of these results gives closed formulas for the edge-Wiener index and the edge-hyper-Wiener index of linear phenylenes.
On Fan-Crossing Graphs
Published
• View Publication
• BIB
A fan is a set of edges with a single common endpoint. A graph is fan-crossing if it admits a drawing in the plane so that each edge is crossed by edges of a fan. It is fan-planar if, in addition, the common endpoint is on the same side of the crossed edge. A graph is adjacency-crossing if it admits a drawing so that crossing edges are adjacent. Then it excludes independent crossings which are crossings by edges with no common endpoint. Adjacency-crossing allows triangle-crossings in which an edge crosses the edges of a triangle, which is excluded at fan-crossing graphs.
We show that every adjacency-crossing graph is fan-crossing. Thus triangle-crossings can be avoided. On the other hand, there are fan-crossing graphs that are not fan-planar, whereas for every fan-crossing graph there is a fan-planar graph on the same set of vertices and with the same number of edges. Hence, fan-crossing and fan-planar graphs are different, but they do not differ in their density with at most 5n - 10 edges for graphs of size n.
Homomorphism thresholds for odd cycles
Published in Combinatorica 40 (2020), no. 1, 39-62
• View Publication
• BIB
The interplay of minimum degree conditions and structural properties of large graphs with forbidden subgraphs is a central topic in extremal graph theory. For a given graph $F$ we define the homomorphism threshold as the infimum over all $α\in[0,1]$ such that every $n$-vertex $F$-free graph $G$ with minimum degree at least $αn$ has a homomorphic image $H$ of bounded order (independent of $n$), which is $F$-free as well. Without the restriction of $H$ being $F$-free we recover the definition of the chromatic threshold, which was determined for every graph $F$ by Allen et al. [Adv. Math. 235 (2013), 261-295]. The homomorphism threshold is less understood and we address the problem for odd cycles.
On dominating set polyhedra of circular interval graphs
Published
• View Publication
• BIB
Clique-node and closed neighborhood matrices of circular interval graphs are circular matrices. The stable set polytope and the dominating set polytope on these graphs are therefore closely related to the set packing polytope and the set covering polyhedron on circular matrices. Eisenbrand et al. take advantage of this relationship to propose a complete linear description of the stable set polytope on circular interval graphs. In this paper we follow similar ideas to obtain a complete description of the dominating set polytope on the same class of graphs. As in the packing case, our results are established for a larger class of covering polyhedra of the form Q*(A,b):= conv{x \in \Z^n_+: Ax >= b}, with A a circular matrix and b an integer vector. These results also provide linear descriptions of polyhedra associated with several variantsof the dominating set problem on circular interval graphs.
Generalized Turán problems for disjoint copies of graphs
Published
• View Publication
• BIB
Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $ex(n,H,F)$. We investigate the function $ex(n,H,kF)$, where $kF$ denotes $k$ vertex disjoint copies of a fixed graph $F$. Our results include cases when $F$ is a complete graph, cycle or a complete bipartite graph.
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.