graph
34828 papers tagged with this keyword
On Ryser's conjecture for t-intersecting and degree-bounded hypergraphs
A famous conjecture (usually called Ryser's conjecture) that appeared in the
Ph.D thesis of his student, J.~R.~Henderson [15], states that for an $r$-uniform $r$-partite hypergraph $\mathcal{H}$, the inequality $τ(\mathcal{H})\le(r-1)\cdot ν(\mathcal{H})$ always holds.
This conjecture is widely open, except in the case of $r=2$, when it is equivalent to K\H onig's theorem [18], and in the case of $r=3$, which was proved by Aharoni in 2001 [3].
Here we study some special cases of Ryser's conjecture. First of all the most studied special case is when $\mathcal{H}$ is intersecting. Even for this special case, not too much is known: this conjecture is proved only for $r\le 5$ in [10,21]. For $r>5$ it is also widely open.
Generalizing the conjecture for intersecting hypergraphs, we conjecture the following. If an $r$-uniform $r$-partite hypergraph $\mathcal{H}$ is $t$-intersecting (i.e., every two hyperedges meet in at least $t<r$ vertices), then $τ(\mathcal{H})\le r-t$. We prove this conjecture for the case $t> r/4$.
Gyárfás [10] showed that Ryser's conjecture for intersecting hypergraphs is equivalent to saying that the vertices of an $r$-edge-colored complete graph can be covered by $r-1$ monochromatic components.
Motivated by this formulation, we examine what fraction of the vertices can be covered by $r-1$ monochromatic components of \emph{different} colors in an $r$-edge-colored complete graph. We prove a sharp bound for this problem.
Finally we prove Ryser's conjecture for the very special case when the maximum degree of the hypergraph is two.
Affine maps between quadratic assignment polytopes and subgraph isomorphism polytopes
Published
• View Publication
• BIB
We consider two polytopes. The quadratic assignment polytope $QAP(n)$ is the convex hull of the set of tensors $x\otimes x$, $x \in P_n$, where $P_n$ is the set of $n\times n$ permutation matrices. The second polytope is defined as follows. For every permutation of vertices of the complete graph $K_n$ we consider appropriate $\binom{n}{2} \times \binom{n}{2}$ permutation matrix of the edges of $K_n$. The Young polytope $P((n-2,2))$ is the convex hull of all such matrices.
In 2009, S. Onn showed that the subgraph isomorphism problem can be reduced to optimization both over $QAP(n)$ and over $P((n-2,2))$. He also posed the question whether $QAP(n)$ and $P((n-2,2))$, having $n!$ vertices each, are isomorphic. We show that $QAP(n)$ and $P((n-2,2))$ are not isomorphic. Also, we show that $QAP(n)$ is a face of $P((2n-2,2))$, but $P((n-2,2))$ is a projection of $QAP(n)$.
On the regularity of edge ideal of graphs
Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities $\ind-match_{\{K_2, C_5\}}(G)\leq{\rm reg}(S/I(G))\leq\min-match_{\{K_2, C_5\}}(G)$ are true. Moreover, we show that if $G$ is a Cohen--Macaulay graph with girth at least five, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$. Furthermore, we prove that if $G$ is a paw--free and doubly Cohen--Macaulay graph, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$ if and only if every connected component of $G$ is either a complete graph or a $5$-cycle graph. Among other results, we show that for every doubly Cohen--Macaulay simplicial complex, the equality ${\rm reg}(\mathbb{K}[Δ])={\rm dim}(\mathbb{K}[Δ])$ holds.
More on the total dominator chromatic number of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph. A total dominator coloring of $G$, is a proper coloring of the vertices of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic (TDC) number $χ_d^t(G)$ of $G$, is the minimum number of colors among all total dominator coloring of $G$. The neighbourhood corona of two graphs $G_1$ and $G_2$ is denoted by $G_1 \star G_2$ and is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper, we study the total dominator chromatic number of the neighbourhood of two graphs and investigate the total dominator chromatic number of $r$-gluing of two graphs. Stability (bondage number) of total dominator chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the TDC-number of $G$. We study the stability and bondage number of certatin graphs.
Directed random walks on polytopes with few facets
Published
• View Publication
• BIB
Let $P$ be a simple polytope with $n-d = 2$, where $d$ is the dimension and $n$ is the number of facets. The graph of such a polytope is also called a grid. It is known that the directed random walk along the edges of $P$ terminates after $O(\log^2 n)$ steps, if the edges are oriented in a (pseudo-)linear fashion. We prove that the same bound holds for the more general unique sink orientations.
An Erdős-Gallai-type theorem for keyrings
Published in Graphs and Combinatorics, 34(4) 2018, 633-638
• View Publication
• BIB
A keyring is a graph obtained by appending $r \geq 1$ leaves to one of the vertices of a cycle. We prove that for every $r \leq (k-1)/2$, any graph with average degree more than $k-1$ contains a keyring with $r$ leaves and at least $k$ edges.
LLT polynomials, chromatic quasisymmetric functions and graphs with cycles
Published in Discrete mathematics, 2018
• View Publication
• BIB
We use a Dyck path model for unit-interval graphs to study the chromatic quasisymmetric functions introduced by Shareshian and Wachs, as well as vertical strip --- in particular, unicellular LLT polynomials.
We show that there are parallel phenomena regarding $e$-positivity of these two families of polynomials. In particular, we give several examples where the LLT polynomials behave like a "mirror image" of the chromatic quasisymmetric counterpart.
The Dyck path model is also extended to circular arc digraphs to obtain larger families of polynomials. This circular extensions of LLT polynomials has not been studied before. A lot of the combinatorics regarding unit interval graphs carries over to this more general setting, and we prove several statements regarding the $e$-coefficients of chromatic quasisymmetric functions and LLT polynomials.
In particular, we believe that certain $e$-positivity conjectures hold in all these families above. Furthermore, we study vertical-strip LLT polynomials, for which there is no natural chromatic quasisymmetric counterpart. These polynomials are essentially modified Hall--Littlewood polynomials, and are therefore of special interest.
In this more general framework, we are able to give a natural combinatorial interpretation for the $e$-coefficients for the line graph and the cycle graph, in both the chromatic and the LLT setting.
Zero forcing number of graphs
Published
• View Publication
• BIB
A subset $S$ of initially infected vertices of a graph $G$ is called forcing if we can infect the entire graph by iteratively applying the following process. At each step, any infected vertex which has a unique uninfected neighbour, infects this neighbour. The forcing number of $G$ is the minimum cardinality of a forcing set in $G$. In the present paper, we study the forcing number of various classes of graphs, including graphs of large girth, $H$-free graphs for a fixed bipartite graph $H$, random and pseudorandom graphs.
Proof of a local antimagic conjecture
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:3887
• View Publication
• BIB
An antimagic labelling of a graph $G$ is a bijection $f:E(G)\to\{1,\ldots,E(G)\}$ such that the sums $S_v=\sum_{e\ni v}f(e)$ distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1994) is that every connected graph other than $K_2$ admits an antimagic labelling. Recently, two sets of authors (Arumugam, Premalatha, Bača \& Semaničová-Feňovčíková (2017), and Bensmail, Senhaji \& Lyngsie (2017)) independently introduced the weaker notion of a local antimagic labelling, where only adjacent vertices must be distinguished. Both sets of authors conjectured that any connected graph other than $K_2$ admits a local antimagic labelling. We prove this latter conjecture using the probabilistic method. Thus the parameter of local antimagic chromatic number, introduced by Arumugam et al., is well-defined for every connected graph other than $K_2$ .
A proof of a conjecture of Erdős, Faudree, Rousseau and Schelp on subgraphs of minimum degree $k$
Published
• View Publication
• BIB
Erdős, Faudree, Rousseau and Schelp observed the following fact for every fixed integer $k\geq 2$: Every graph on $n\geq k-1$ vertices with at least $(k-1)(n-k+2)+{k-2\choose 2}$ edges contains a subgraph with minimum degree at least $k$. However, there are examples in which the whole graph is the only such subgraph. Erdős et al. conjectured that having just one more edge implies the existence of a subgraph on at most $(1-\varepsilon_k)n$ vertices with minimum degree at least $k$, where $\varepsilon_k>0$ depends only on $k$. We prove this conjecture, using and extending ideas of Mousset, Noever and Škorić.
Free monoids and generalized metric spaces
Published
• View Publication
• BIB
Let $A$ be an ordered alphabet, $A^{\ast}$ be the free monoid over $A$ ordered by the Higman ordering, and let $F(A^{\ast})$ be the set of final segments of $A^{\ast}$. With the operation of concatenation, this set is a monoid. We show that the submonoid $F^{\circ}(A^{\ast}):= F(A^{\ast})\setminus \{\emptyset\}$ is free. The MacNeille completion $N(A^{\ast})$ of $A^{\ast}$ is a submonoid of $F(A^{\ast})$. As a corollary, we obtain that the monoid $N^{\circ}(A^{\ast}):=N(A^{\ast})\setminus \{\emptyset\}$ is free. We give an interpretation of the freeness of $F^{\circ}(A^{\ast})$ in the category of metric spaces over the Heyting algebra $V:= F(A^{\ast})$, with the non-expansive mappings as morphisms. Each final segment of $A^{\ast}$ yields the injective envelope $\mathcal S_F$ of a two-element metric space over $V$. The uniqueness of the decomposition of $F$ is due to the uniqueness of the block decomposition of the graph $\mathcal {G}_{F}$ associated to this injective envelope.
Maximum nullity and zero forcing number on cubic graphs
Let $G$ be a graph. The maximum nullity of $G$, denoted by $M(G)$, is defined to be the largest possible nullity over all real symmetric matrices $A$ whose $a_{ij}\neq 0$ for $i\neq j$, whenever two vertices $u_i$ and $u_j$ of $G$ are adjacent. In this paper, we characterize all cubic graphs with zero forcing number $3$. As a corollary, it is shown that if the zero forcing number is $3$, then $M(G)=3$. In addition, we introduce a family of cubic graphs containing graphs $G$ with $M(G)=Z(G)=4$.
Also, we provide an algorithm which make a relation between maximum nullity of $G$ and the number of leaves in a spanning tree of $G$.
Maximum nullity of Cayley graph
One of the most interesting problems on maximum nullity (minimum rank) is to characterize $M(\mathcal{G})$ ($mr(\mathcal{G})$) for a graph $\mathcal{G}$. In this regard, many researchers have been trying to find an upper or lower bound for the maximum nullity. For more results on this topic, see \cite{4}, \cite{2}, \cite{10} and \cite{1}.
In this paper, by using a result of Babai \cite{Babai}, which presents the spectrum of a Cayley graph in terms of irreducible characters of the underlying group, and using representation and character of groups, we give a lower bound for the maximum nullity of Cayley graph, $X_S(G)$, where $G=\langle a\rangle$ is a cyclic group, or $G=G_1\times \cdots\times G_t$ such that $G_1=\langle a\rangle$ is a cyclic group and $G_i$ is an arbitrary finite group, for some $2\leq i\leq t$, with determine the spectrum of Cayley graphs.
Slimness of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (March 4, 2019) dmtcs:4288
• View Publication
• BIB
Slimness of a graph measures the local deviation of its metric from a tree metric. In a graph $G=(V,E)$, a geodesic triangle $\bigtriangleup(x,y,z)$ with $x, y, z\in V$ is the union $P(x,y) \cup P(x,z) \cup P(y,z)$ of three shortest paths connecting these vertices. A geodesic triangle $\bigtriangleup(x,y,z)$ is called $δ$-slim if for any vertex $u\in V$ on any side $P(x,y)$ the distance from $u$ to $P(x,z) \cup P(y,z)$ is at most $δ$, i.e. each path is contained in the union of the $δ$-neighborhoods of two others. A graph $G$ is called $δ$-slim, if all geodesic triangles in $G$ are $δ$-slim. The smallest value $δ$ for which $G$ is $δ$-slim is called the slimness of $G$. In this paper, using the layering partition technique, we obtain sharp bounds on slimness of such families of graphs as (1) graphs with cluster-diameter $Δ(G)$ of a layering partition of $G$, (2) graphs with tree-length $λ$, (3) graphs with tree-breadth $ρ$, (4) $k$-chordal graphs, AT-free graphs and HHD-free graphs. Additionally, we show that the slimness of every 4-chordal graph is at most 2 and characterize those 4-chordal graphs for which the slimness of every of its induced subgraph is at most 1.
On Two Unsolved Problems Concerning Matching Covered Graphs
Published
• View Publication
• BIB
A cut $C:=\partial(X)$ of a matching covered graph $G$ is a separating cut if both its $C$-contractions $G/X$ and $G/\overline{X}$ are also matching covered. A brick is solid if it is free of nontrivial separating cuts. In 2004, we (Carvalho, Lucchesi and Murty) showed that the perfect matching polytope of a brick may be described without recourse to odd set constraints if and only if it is solid. In 2006, we proved that the only simple planar solid bricks are the odd wheels. The problem of characterizing nonplanar solid bricks remains unsolved.
A bi-subdivision of a graph $J$ is a graph obtained from $J$ by replacing each of its edges by paths of odd length. A matching covered graph $J$ is a conformal minor of a matching covered graph $G$ if there exists a bi-subdivision $H$ of $J$ which is a subgraph of $G$ such that $G-V(H)$ has a perfect matching. For a fixed matching covered graph $J$, a matching covered graph $G$ is $J$-based if $J$ is a conformal minor of $G$ and, otherwise, $G$ is $J$-free. A basic result due to Lovász (1983) states that every nonbipartite matching covered graph is either $K_4$-based or is $\overline{C_6}$-based or both, where $\overline{C_6}$ is the triangular prism. In 2016, we (Kothari and Murty) showed that, for any cubic brick $J$, a matching covered graph $G$ is $J$-free if and only if each of its bricks is $J$-free. We also found characterizations of planar bricks which are $K_4$-free and those which are $\overline{C_6}$-free. Each of these problems remains unsolved in the nonplanar case.
In this paper we show that the seemingly unrelated problems of characterizing nonplanar solid bricks and of characterizing nonplanar $\overline{C_6}$-free bricks are essentially the same. We do this by establishing that a simple nonplanar brick, other than the Petersen graph, is solid if and only if it is $\overline{C_6}$-free.
An update on non-Hamiltonian $\frac{5}{4}$-tough maximal planar graphs
Published
• View Publication
• BIB
Studying the shortness of longest cycles in maximal planar graphs, we improve the upper bound on the shortness exponent of the class of $\frac{5}{4}$-tough maximal planar graphs presented by Harant and Owens [Discrete Math. 147 (1995), 301--305]. In addition, we present two generalizations of a similar result of Tkáč who considered $1$-tough maximal planar graphs [Discrete Math. 154 (1996), 321--328]; we remark that one of these generalizations gives a tight upper bound. We fix a problematic argument used in the first paper.
Two characteristic polynomials corresponding to graphical networks over min-plus algebra
In this paper, we investigate characteristic polynomials of matrices in min-plus algebra. Eigenvalues of min-plus matrices are known to be the minimum roots of the characteristic polynomials based on tropical determinants which are designed from emulating standard determinants. Moreover, minimum roots of characteristic polynomials have a close relationship to graphs associated with min-plus matrices consisting of vertices and directed edges with weights. The literature has yet to focus on the other roots of min-plus characteristic polynomials. Thus, here we consider how to relate the 2nd, 3rd,... minimum roots of min-plus characteristic polynomials to graphical features. We then define new characteristic polynomials of min-plus matrices by considering an analogue of the Faddeev-LeVerrier algorithm that generates the characteristic polynomials of linear matrices. We conclusively show that minimum roots of the proposed characteristic polynomials coincide with min-plus eigenvalues, and observe the other roots as in the study of the already known characteristic polynomials. We also give an example to illustrate the difference between the already known and proposed characteristic polynomials.
On vertex types of graphs
Published
• View Publication
• BIB
The vertices of a graph are classified into seven types by J.T. Hedetniemi, S.M. Hedetniemi, S.T. Hedetniemi and T.M. Lewis and they ask the following questions: 1) What is the smallest order $n$ of a graph having $n-2$ very typical vertices or $n-2$ typical vertices? 2) What is the smallest order of a pantypical graph? We answer these two questions in this paper.
The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.
Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to determine these so-called `defect $k$ groups' for any finite (di)graph.
Finally, we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, completely confirming Rhodes's conjecture for such (di)graphs.
Multidesigns for a graph pair of order 6
Given two graphs $G$ and $H$, a $(G,H)$-multidecomposition of $K_{n}$ is a partition of the edges of $K_{n}$ into copies of $G$ and $H$ such that at least one copy of each is used. We give necessary and sufficient conditions for the existence of $(C_{6},\overline{C}_{6})$-multidecomposition of $K_{n}$ where $C_{6}$ denotes a cycle of length 6 and $\overline{C}_{6}$ denotes the complement of $C_{6}$.
A $(G,H)$-multipacking of $K_{n}$ is a partition of a subset of the edges of $K_{n}$ into copies of $G$ and $H$ such that at least one copy of each is used. The set consisting of the edges of $K_{n}$ that are not used in any copy of either $G$ or $H$ is called the \emph{leave} of the multipacking. A $(G,H)$-multipacking of $K_{n}$ is called \emph{maximum} if the cardinality of the leave is minimum with respect to all $(G,H)$-multipackings of $K_{n}$. A $(G,H)$-multicovering of $K_{n}$ is a $(G,H)$-multidecomposition of $K_{n}$ where some edges can be used repeatedly in copies of $G$ or $H$. The (multi)set of repeated edges is called the \emph{padding} of the $(G,H)$-multicovering of $K_{n}$. A $(G,H)$-multicovering is called \emph{minimum} if the cardinality of the padding is minimum with respect to all $(G,H)$-multicoverings of $K_{n}$. We also characterize the cardinality of the leaves and paddings of maximum $(C_6, \overline{C}_6)$-multipackings and minimum $(C_6, \overline{C}_6)$-multicoverings of $K_{n}$.