graph
34828 papers tagged with this keyword
On multicolor Ramsey number for 3-paths of length three
We show that if we color the hyperedges of the complete $3$-uniform complete graph on $2n+\sqrt{18n+1}+2$ vertices with $n$ colors, then one of the color classes contains a loose path of length three.
Status connectivity indices and co-indices of graphs and its computation to intersection graph, hypercube, Kneser graph and achiral polyhex nanotorus
Published
• View Publication
• BIB
The status of a vertex $u$ in a connected graph $G$, denoted by $σ_G(u)$, is defined as the sum of the distances between $u$ and all other vertices of a graph $G$. The first and second status connectivity indices of a graph $G$ are defined as $S_{1}(G) = \sum_{uv \in E(G)}[σ_G(u)+ σ_G(v)]$ and $S_{2}(G) = \sum_{uv \in E(G)}σ_G(u)σ_G(v)$ respectively, where $E(G)$ denotes the edge set of $G$. In this paper we have defined the first and second status co-indices of a graph $G$ as $\overline{S_{1}}(G) = \sum_{uv \notin E(G)}[σ_G(u)+ σ_G(v)]$ and $\overline{S_{2}}(G) = \sum_{uv \notin E(G)}σ_G(u)σ_G(v)$ respectively. Relations between status connectivity indices and status coindices are established. Also these indices are computed for intersection graph, hypercube, Kneser graph and achiral polyhex nanotorus.
Laplacian integrality in P4-sparse and P4-extendible graphs
Published
• View Publication
• BIB
Let G be a simple graph and L = L(G) the Laplacian matrix of G. G is called L-integral if all its Laplacian eigenvalues are integer numbers. It is known that every cograph, a graph free of P4, is L-integral. The class of P4-sparse graphs and the class of P4-extendible graphs contain the cographs. It seems natural to investigate if the graphs in these classes are still L-integral. In this paper we characterized the L-integral graphs for both cases, P4-sparse graphs and P4-extendible graphs.
Species with potential arising from surfaces with orbifold points of order 2, Part II: arbitrary weights
Published
• View Publication
• BIB
Let $\mathbfΣ=(Σ,M,O)$ be a surface with marked points and order-2 orbifold points which is either unpunctured or once-punctured closed, and $ω:O\rightarrow\{1,4\}$ a function. For each triangulation $τ$ of $\mathbfΣ$ we construct a cochain complex $C^\bullet(τ,ω)$. A colored triangulation is defined to be a pair consisting of a triangulation $τ$ and a 1-cocycle of $C^\bullet(τ,ω)$; the combinatorial notion of colored flip of colored triangulations is then defined as a refinement of the notion of flip of triangulations. Our main construction associates to each colored triangulation a species and a potential, and our main result shows that colored triangulations related by a colored flip have SPs related by the corresponding SP-mutation.
We define the flip graph of $(Σ,M,O,ω)$, whose vertices are the pairs $(τ,x)$ with $τ$ a triangulation and $x$ a cohomology class in $H^1(C^\bullet(τ,ω))$, with an edge between $(τ,x)$ and $(σ,z)$ iff $(τ,ξ)$ and $(σ,ζ)$ are related by a colored flip for some cocycles $ξ$ and $ζ$ respectively representing $x$ and $z$. We prove that this graph is disconnected if $Σ$ is not contractible.
For unpunctured surfaces we show that $(τ,ξ)$ and $(τ,ξ')$ yield isomorphic Jacobian algebras if and only if $[ξ]=[ξ']$ in cohomology. We prove that every SP-realization of any $(τ,ω)$ via a non-degenerate SP over a cyclic Galois extension with certain roots of unity is right-equivalent to one of the SPs we construct here.
The species constructed here are species realizations of the $2^{|O|}$ skew-symmetrizable matrices assigned by Felikson-Shapiro-Tumarkin to any given $τ$. In the prequel to this paper we realized only one of these matrices via species, but therein we allowed the presence of arbitrarily many punctures.
The game of Overprescribed Cops and Robbers played on graphs
Published
• View Publication
• BIB
We consider the effect on the length of the game of Cops and Robbers when more cops are added to the game play. In Overprescribed Cops and Robbers, as more cops are added, the capture time (the minimum length of the game assuming optimal play) monotonically decreases. We give the full range of capture times for any number of cops on trees, and classify the capture time for an asymptotic number of cops on grids, hypercubes, and binomial random graphs. The capture time of planar graphs with a number of cops at and far above the cop number is considered.
The power index of a graph
Published
• View Publication
• BIB
The {\em power index} $Θ(Γ)$ of a graph $Γ$ is the least order of a group $G$ such that $Γ$ can embed into the power graph of $G$. Furthermore, this group $G$ is {\em $Γ$-optimal} if $G$ has order $Θ(Γ)$. We say that $Γ$ is {\em power-critical} if its order equals to $Θ(Γ)$. This paper focuses on the power indices of complete graphs, complete bipartite graphs and $1$-factors. We classify all power-critical graphs $Γ'$ in these three families, and give a necessary and sufficient condition for $Γ'$-optimal groups.
Generating Near-Bipartite Bricks
Published
• View Publication
• BIB
A $3$-connected graph $G$ is a brick if, for any two vertices $u$ and $v$, the graph $G-\{u,v\}$ has a perfect matching. Deleting an edge $e$ from a brick $G$ results in a graph with zero, one or two vertices of degree two. The bicontraction of a vertex of degree two consists of contracting the two edges incident with it; and the retract of $G-e$ is the graph $J$ obtained from it by bicontracting all its vertices of degree two. An edge $e$ is thin if $J$ is also a brick. Carvalho, Lucchesi and Murty [How to build a brick, Discrete Mathematics 306 (2006), 2383-2410] showed that every brick, distinct from $K_4$, the triangular prism $\overline{C_6}$ and the Petersen graph, has a thin edge. Their theorem yields a generation procedure for bricks, using which they showed that every simple planar solid brick is an odd wheel.
A brick $G$ is near-bipartite if it has a pair of edges $α$ and $β$ such that $G-\{α,β\}$ is bipartite and matching covered; examples are $K_4$ and $\overline{C_6}$. The significance of near-bipartite graphs arises from the theory of ear decompositions of matching covered graphs.
The object of this paper is to establish a generation procedure which is specific to the class of near-bipartite bricks. In particular, we prove that if $G$ is any near-bipartite brick, distinct from $K_4$ and $\overline{C_6}$, then $G$ has a thin edge $e$ so that the retract $J$ of $G-e$ is also near-bipartite.
In a subsequent work, with Marcelo H. de Carvalho, we use the results of this paper to prove a generation theorem for simple near-bipartite bricks.
The Total Acquisition Number of Random Geometric Graphs
Published
• View Publication
• BIB
Let $G$ be a graph in which each vertex initially has weight 1. In each step, the weight from a vertex $u$ to a neighbouring vertex $v$ can be moved, provided that the weight on $v$ is at least as large as the weight on $u$. The total acquisition number of $G$, denoted by $a_t(G)$, is the minimum cardinality of the set of vertices with positive weight at the end of the process. In this paper, we investigate random geometric graphs $G(n,r)$ with $n$ vertices distributed u.a.r. in $[0,\sqrt{n}]^2$ and two vertices being adjacent if and only if their distance is at most $r$. We show that asymptotically almost surely $a_t(G(n,r)) = Θ( n / (r \lg r)^2)$ for the whole range of $r=r_n \ge 1$ such that $r \lg r \le \sqrt{n}$. By monotonicity, asymptotically almost surely $a_t(G(n,r)) = Θ(n)$ if $r < 1$, and $a_t(G(n,r)) = Θ(1)$ if $r \lg r > \sqrt{n}$.
On extremal multiplicative Zagreb indices of trees with given number of vertices of maximum degree
Published
• View Publication
• BIB
The first multiplicative Zagreb index of a graph $G$ is the product of the square of every vertex degree, while the second multiplicative Zagreb index is the product of the products of degrees of pairs of adjacent vertices. In this paper, we explore the trees in terms of given number of vertices of maximum degree. The maximum and minimum values of $\prod_1(G) $ and $\prod_2(G) $ of trees with arbitrary number of maximum degree are provided. In addition, the corresponding extremal graphs are characterized.
Short monadic second order sentences about sparse random graphs
Published
• View Publication
• BIB
In this paper, we study zero-one laws for the Erdős--Rényi random graph model $G(n,p)$ in the case when $p = n^{-α}$ for $α>0$. For a given class $\mathcal{K}$ of logical sentences about graphs and a given function $p=p(n)$, we say that $G(n,p)$ obeys the zero-one law (w.r.t. the class $\mathcal{K}$) if each sentence $\varphi\in\mathcal{K}$ either a.a.s. true or a.a.s. false for $G(n,p)$. In this paper, we consider first order properties and monadic second order properties of bounded \textit{quantifier depth} $k$, that is, the length of the longest chain of nested quantifiers in the formula expressing the property. Zero-one laws for properties of quantifier depth $k$ we call the \textit{zero-one $k$-laws}.
The main results of this paper concern the zero-one $k$-laws for monadic second order properties (MSO properties). We determine all values $α>0$, for which the zero-one $3$-law for MSO properties does not hold. We also show that, in contrast to the case of the $3$-law, there are infinitely many values of $α$ for which the zero-one $4$-law for MSO properties does not hold. To this end, we analyze the evolution of certain properties of $G(n,p)$ that may be of independent interest.
On the diameter of dual graphs of Stanley-Reisner rings with Serre $(S_2)$ property and Hirsch type bounds on abstractions of polytopes
Published
• View Publication
• BIB
Let $R$ be a Noetherian commutative ring of positive dimension. The Hochster-Huneke graph of $R$ (sometimes called the dual graph of Spec $R$ and denoted by $\mathcal{G} (R)$) is defined as follows: the vertices are the minimal prime ideals of $R$, and the edges are the pairs of prime ideals $(P_1,P_2)$ with height $(P_1 + P_2) = 1$. If $R$ satisfies Serre's property $(S_2)$, then $\mathcal{G} (R)$ is connected. In this note, we provide lower and upper bounds for the maximum diameter of Hochster-Huneke graphs of Stanley-Reisner rings satisfying $(S_2)$. These bounds depend on the number of variables and the dimension. Hochster-Huneke graphs of $(S_2)$ Stanley-Reisner rings are a natural abstraction of the $1$-skeletons of polyhedra. We discuss how our bounds imply new Hirsch-type bounds on $1$-skeletons of polyhedra.
An o-minimal Szemerédi-Trotter theorem
Published
• View Publication
• BIB
We prove an analog of the Szemerédi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well known crossing number inequality for graphs to the case of embeddings in any o-minimal structure over an arbitrary real closed field.
A matrix description of weakly bipartitive and bipartitive families
Published
• View Publication
• BIB
The notions of weakly bipartitive and bipartitive families were introduced by Montgolfier (2003) as a general tool for studying some decomposition of graphs and other combinatorial structures. In this paper, we give a matrix description of these notions.
An integration approach to the Toeplitz square peg problem
Published
• View Publication
• BIB
The "square peg problem" or "inscribed square problem" of Toeplitz asks if every simple closed curve in the plane inscribes a (non-degenerate) square, in the sense that all four vertices of that square lie on the curve. By a variety of arguments of a "homological" nature, it is known that the answer to this question is positive if the curve is sufficiently regular. The regularity hypotheses are needed to rule out the possibility of arbitrarily small squares that are inscribed or almost inscribed on the curve; because of this, these arguments do not appear to be robust enough to handle arbitrarily rough curves.
In this paper we augment the homological approach by introducing certain integrals associated to the curve. This approach is able to give positive answers to the square peg problem in some new cases, for instance if the curve is the union of two Lipschitz graphs $f, g \colon [t_0,t_1] \to \mathbf{R}$ that agree at the endpoints, and whose Lipschitz constants are strictly less than one. We also present some simpler variants of the square problem which seem particularly amenable to this integration approach, including a a periodic version of the problem that is not subject to the problem of arbitrarily small squares (and remains open even for regular curves), as well as an almost purely combinatorial conjecture regarding the sign patterns of sums $y_1+y_2+y_3$ for $y_1,y_2,y_3$ ranging in finite sets of real numbers.
Graphs, friends and acquaintances
Published
• View Publication
• BIB
As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to relationships between people or groups of people. In this article, we comment on four results of this kind, which are related to various general theories on graphs and their applications: the Handshake lemma (related to graph colorings and Boolean algebra), a lemma on known and unknown people at a cocktail party (to Ramsey theory), a theorem on friends in common (to distance-regularity and coding theory), and Hall's Marriage theorem (to the theory of networks). These four areas of graph theory, often with problems which are easy to state but difficult to solve, are extensively developed and currently give rise to much research work. As examples of representative problems and results of these areas, which are discussed in this paper, we may cite the following: the Four Colors Theorem (4CTC), the Ramsey numbers, problems of the existence of distance-regular graphs and completely regular codes, and finally the study of topological proprieties of interconnection networks.
Locally self-avoiding eulerian tours
Published
• View Publication
• BIB
It was independently conjectured by Häggkvist in 1989 and Kriesell in 2011 that given a positive integer $\ell$, every simple eulerian graph with high minimum degree (depending on $\ell$) admits an eulerian tour such that every segment of length at most $\ell$ of the tour is a path. Bensmail, Harutyunyan, Le and Thomassé recently verified the conjecture for 4-edge-connected eulerian graphs. Building on that proof, we prove here the full statement of the conjecture. This implies a variant of the path case of Barát-Thomassen conjecture that any simple eulerian graph with high minimum degree can be decomposed into paths of fixed length and possibly an additional shorter path.
Counting Markov Equivalence Classes by Number of Immoralities
Two directed acyclic graphs (DAGs) are called Markov equivalent if and only if they have the same underlying undirected graph (i.e. skeleton) and the same set of immoralities. Using observational data, a DAG model can only be determined up to Markov equivalence, and so it is desirable to understand the size and number of Markov equivalence classes (MECs) combinatorially. In this paper, we address this enumerative question using a pair of generating functions that encode the number and size of MECs on a skeleton $G$, and in doing so we connect this problem to classical problems in combinatorial optimization. The first is a graph polynomial that counts the number of MECs on $G$ by their number of immoralities. Using connections to the independent set problem, we show that computing a DAG on $G$ with the maximum possible number of immoralities is NP-hard. The second generating function counts the MECs on $G$ according to their size. Via computer enumeration, we show that this generating function is distinct for every connected graph on $p$ nodes for all $p\leq 10$.
A generalization of Tuza's conjecture
Published
• View Publication
• BIB
A famous conjecture of Tuza \cite{tuza} is that the minimal number of edges needed to cover all triangles in a graph is at most twice the maximal number of edge-disjoint triangles. We propose a wider setting for this conjecture.
For a hypergraph $H$ let $ν^{(m)}(H)$ be the maximal size of a collection of edges, no two of which share $m$ or more vertices, and let $τ^{(m)}(H)$ be the minimal size of a collection $C$ of sets of $m$ vertices, such that every edge in $H$ contains a set from $C$. We conjecture that the maximal ratio $τ^{(m)}(H)/ν^{(m)}(H)$ is attained in hypergraphs for which $ν^{(m)}(H)=1$. This would imply, in particular, the following generalization of Tuza's conjecture: if $H$ is $3$-uniform, then $τ^{(2)}(H)/ν^{(2)}(H) \le 2$. (Tuza's conjecture is the case in which $H$ is the set of all triples of vertices of triangles in the graph). We show that most known results on Tuza's conjecture go over to this more general setting. We also prove some general results on the ratio $τ^{(m)}(H)/ν^{(m)}(H)$, and study the fractional versions and the case of $k$-partite hypergraphs.
On a conjecture of Gentner and Rautenbach
Gentner and Rautenbach conjectured that the size of a minimum zero forcing set in a connected graph on $n$ vertices with maximum degree $3$ is at most $\frac{1}{3}n+2$. We disprove this conjecture by constructing a collection of connected graphs $\{G_n\}$ with maximum degree 3 of arbitrarily large order having zero forcing number at least $\frac{4}{9}|V(G_n)|$.
Boolean graphs are unmixed and vertex decomposable
Published in Communications in Algebra 2018
• View Publication
• BIB
For each Boolean graph $B_n$, it is proved that both $B_n$ and its complement graph $\overline{B_n}$ are vertex decomposable. It is also proved that $B_n$ is an unmixed graph, thus it is also Cohen-Macaulay.