graph
34828 papers tagged with this keyword
The Bollobás-Eldridge-Catlin conjecture for even girth at least $10$
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to \textit{pack} if there exist injective mappings of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ(G_1)+1) (Δ(G_2)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumptions that neither $G_1$ nor $G_2$ contain a $4$-, $6$- or $8$-cycle, and that $Δ(G_1)$ or $Δ(G_2)$ is large enough ($\ge 940060$).
Non-crossing Monotone Paths and Binary Trees in Edge-ordered Complete Geometric Graphs
Published
• View Publication
• BIB
An edge-ordered graph is a graph with a total ordering of its edges. A path $P=v_1v_2\ldots v_k$ in an edge-ordered graph is called increasing if $(v_iv_{i+1}) > (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$; it is called decreasing if $(v_iv_{i+1}) < (v_{i+1}v_{i+2})$ for all $i = 1,\ldots,k-2$. We say that $P$ is monotone if it is increasing or decreasing. A rooted tree $T$ in an edge-ordered graph is called monotone if either every path from the root of to a leaf is increasing or every path from the root to a leaf is decreasing.
Let $G$ be a graph. In a straight-line drawing $D$ of $G$, its vertices are drawn as different points in the plane and its edges are straight line segments. Let $\overlineα(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing path of length $\overlineα(G)$. Let $\overlineτ(G)$ be the maximum integer such that every edge-ordered straight-line drawing of $G$ %under any edge labeling contains a monotone non-crossing complete binary tree of size $\overlineτ(G)$. In this paper we show that $\overline α(K_n) = Ω(\log\log n)$, $\overline α(K_n) = O(\log n)$, $\overline τ(K_n) = Ω(\log\log \log n)$ and $\overline τ(K_n) = O(\sqrt{n \log n})$.
The Interactive Sum Choice Number of Graphs
Published
• View Publication
• BIB
We introduce a variant of the well-studied sum choice number of graphs, which we call the interactive sum choice number. In this variant, we request colours to be added to the vertices' colour-lists one at a time, and so we are able to make use of information about the colours assigned so far to determine our future choices. The interactive sum choice number cannot exceed the sum choice number and we conjecture that, except in the case of complete graphs, the interactive sum choice number is always strictly smaller than the sum choice number. In this paper we provide evidence in support of this conjecture, demonstrating that it holds for a number of graph classes, and indeed that in many cases the difference between the two quantities grows as a linear function of the number of vertices.
On trees with real rooted independence polynomial
Published
• View Publication
• BIB
The independence polynomial of a graph $G$ is \[I(G,x)=\sum\limits_{k\ge 0}i_k(G)x^k,\] where $i_k(G)$ denotes the number of independent sets of $G$ of size $k$ (note that $i_0(G)=1$). In this paper we show a new method to prove real-rootedness of the independence polynomials of certain families of trees.
In particular we will give a new proof of the real-rootedness of the independence polynomials of centipedes (Zhu's theorem), caterpillars (Wang and Zhu's theorem), and we will prove a conjecture of Galvin and Hilyard about the real-rootedness of the independence polynomial of the so-called Fibonacci trees.
On Perfect Matchings in Matching Covered Graphs
Published
• View Publication
• BIB
Let $G$ be a matching-covered graph, i.e., every edge is contained in a perfect matching. An edge subset $X$ of $G$ is feasible if there exists two perfect matchings $M_1$ and $M_2$ such that $|M_1\cap X|\not\equiv |M_2\cap X| \pmod 2$. Lukot'ka and Rollová proved that an edge subset $X$ of a regular bipartite graph is not feasible if and only if $X$ is switching-equivalent to $\emptyset$, and they further ask whether a non-feasible set of a regular graph of class 1 is always switching-equivalent to either $\emptyset$ or $E(G)$? Two edges of $G$ are equivalent to each other if a perfect matching $M$ of $G$ either contains both of them or contains none of them. An equivalent class of $G$ is an edge subset $K$ with at least two edges such that the edges of $K$ are mutually equivalent. An equivalent class is not a feasible set. Lovász proved that an equivalent class of a brick has size 2. In this paper, we show that, for every integer $k\ge 3$, there exist infinitely many $k$-regular graphs of class 1 with an arbitrarily large equivalent class $K$ such that $K$ is not switching-equivalent to either $\emptyset$ or $E(G)$, which provides a negative answer to the problem proposed by Lukot'ka and Rollová. Further, we characterize bipartite graphs with equivalent class, and characterize matching-covered bipartite graphs of which every edge is removable.
Covering lattice points by subspaces and counting point-hyperplane incidences
Published
• View Publication
• BIB
Let $d$ and $k$ be integers with $1 \leq k \leq d-1$. Let $Λ$ be a $d$-dimensional lattice and let $K$ be a $d$-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of $k$-dimensional linear subspaces needed to cover all points in $Λ\cap K$. In particular, our results imply that the minimum number of $k$-dimensional linear subspaces needed to cover the $d$-dimensional $n \times \cdots \times n$ grid is at least $Ω(n^{d(d-k)/(d-1)-\varepsilon})$ and at most $O(n^{d(d-k)/(d-1)})$, where $\varepsilon>0$ is an arbitrarily small constant. This nearly settles a problem mentioned in the book of Brass, Moser, and Pach. We also find tight bounds for the minimum number of $k$-dimensional affine subspaces needed to cover $Λ\cap K$.
We use these new results to improve the best known lower bound for the maximum number of point-hyperplane incidences by Brass and Knauer. For $d \geq 3$ and $\varepsilon \in (0,1)$, we show that there is an integer $r=r(d,\varepsilon)$ such that for all positive integers $n,m$ the following statement is true. There is a set of $n$ points in $\mathbb{R}^d$ and an arrangement of $m$ hyperplanes in $\mathbb{R}^d$ with no $K_{r,r}$ in their incidence graph and with at least $Ω\left((mn)^{1-(2d+3)/((d+2)(d+3)) - \varepsilon}\right)$ incidences if $d$ is odd and $Ω\left((mn)^{1-(2d^2+d-2)/((d+2)(d^2+2d-2)) -\varepsilon}\right)$ incidences if $d$ is even.
Distant sum distinguishing index of graphs with bounded minimum degree
For any graph $G=(V,E)$ with maximum degree $Δ$ and without isolated edges, and a positive integer $r$, by $χ'_{Σ,r}(G)$ we denote the $r$-distant sum distinguishing index of $G$. This is the least integer $k$ for which a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ exists such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every pair of distinct vertices $u,v$ at distance at most $r$ in $G$. It was conjectured that $χ'_{Σ,r}(G)\leq (1+o(1))Δ^{r-1}$ for every $r\geq 3$. Thus far it has been in particular proved that $χ'_{Σ,r}(G)\leq 6Δ^{r-1}$ if $r\geq 4$. Combining probabilistic and constructive approach, we show that this can be improved to $χ'_{Σ,r}(G)\leq (4+o(1))Δ^{r-1}$ if the minimum degree of $G$ equals at least $\ln^8Δ$.
Orbital Graphs
We introduce orbital graphs and discuss some of their basic properties. Then we focus on their usefulness for search algorithms for permutation groups, including finding the intersection of groups and the stabilizer of sets in a group.
Reflexive polytopes arising from perfect graphs
Published in Journal of Combinatorial Theory, Series A 157(2018), 233--246
• View Publication
• BIB
Reflexive polytopes form one of the distinguished classes of lattice polytopes. Especially reflexive polytopes which possess the integer decomposition property are of interest. In the present paper, by virtue of the algebraic technique on Grönbner bases, a new class of reflexive polytopes which possess the integer decomposition property and which arise from perfect graphs will be presented. Furthermore, the Ehrhart $δ$-polynomials of these polytopes will be studied.
Capture-time Extremal Cop-Win Graphs
Published
• View Publication
• BIB
We investigate extremal graphs related to the game of Cops and Robbers. We focus on graphs where a single cop can catch the robber; such graphs are called cop-win. The capture time of a cop-win graph is the minimum number of moves the cop needs to capture the robber. We consider graphs that are extremal with respect to capture time, i.e. their capture time is as large as possible given their order. We give a new characterization of the set of extremal graphs. For our alternative approach we assign a rank to each vertex of a graph, and then study which configurations of ranks are possible. We partially determine which configurations are possible, enough to prove some further extremal results. We leave a full classification as an open question.
Pattern Recognition on Oriented Matroids: Decompositions of Topes, and Dehn-Sommerville Type Relations
If V(R) is the vertex set of a symmetric cycle R in the tope graph of a simple oriented matroid M, then for any tope T of M there exists a unique inclusion-minimal subset Q(T;R) of V(R) such that T is the sum of the topes of Q(T;R).
If |Q(T;R)|>3, then the decomposition Q(T;R) of the tope T with respect to the symmetric cycle R satisfies certain Dehn-Sommerville type relations.
Tight Nordhaus-Gaddum-type upper bound for total-rainbow connection number of graphs
Published
• View Publication
• BIB
A graph is said to be \emph{total-colored} if all the edges and the vertices of the graph are colored. A total-colored graph is \emph{total-rainbow connected} if any two vertices of the graph are connected by a path whose edges and internal vertices have distinct colors. For a connected graph $G$, the \emph{total-rainbow connection number} of $G$, denoted by $trc(G)$, is the minimum number of colors required in a total-coloring of $G$ to make $G$ total-rainbow connected. In this paper, we first characterize the graphs having large total-rainbow connection numbers. Based on this, we obtain a Nordhaus-Gaddum-type upper bound for the total-rainbow connection number. We prove that if $G$ and $\overline{G}$ are connected complementary graphs on $n$ vertices, then $trc(G)+trc(\overline{G})\leq 2n$ when $n\geq 6$ and $trc(G)+trc(\overline{G})\leq 2n+1$ when $n=5$. Examples are given to show that the upper bounds are sharp for $n\geq 5$. This completely solves a conjecture in [Y. Ma, Total rainbow connection number and complementary graph, Results in Mathematics 70(1-2)(2016), 173-182].
Abstract matrix-tree theorem and Bernardi polynomial
Published
• View Publication
• BIB
This paper is a continuation of arXiv:1612.03873. We prove a three-parameter family of identities (Theorem 1.1) involving a version of the Tutte polynomial for directed graphs introduced by Awan and Bernardi in arXiv:1610.01839. A particular case of this family (Corollary 1.6) is the higher-degree generalization of the matrix-tree theorem proved in arXiv:1612.03873, which thus receives a new proof, shorter (and less direct) than the original one. The theory has a parallel version for undirected graphs (Theorem 1.2).
Separating Tree-chromatic number from Path-chromatic Number
Published
• View Publication
• BIB
We apply Ramsey theoretic tools to show that there is a family of graphs which have tree-chromatic number at most~$2$ while the path-chromatic number is unbounded. This resolves a problem posed by Seymour.
The Steiner (n-3)-diameter of a graph
Published
• View Publication
• BIB
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n$ and $k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the Steiner \emph{$k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto, Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_k(G)=\ell$ for $k=n,n-1,n-2,n-3$ and $k-1\leq \ell \leq n-1$ are characterized, respectively.
Laman Graphs are Generically Bearing Rigid in Arbitrary Dimensions
Published
• View Publication
• BIB
This paper addresses the problem of constructing bearing rigid networks in arbitrary dimensions. We first show that the bearing rigidity of a network is a generic property that is critically determined by the underlying graph of the network. A new notion termed generic bearing rigidity is defined for graphs. If the underlying graph of a network is generically bearing rigid, then the network is bearing rigid for almost all configurations; otherwise, the network is not bearing rigid for any configuration. As a result, the key to construct bearing rigid networks is to construct generically bearing rigid graphs. The main contribution of this paper is to prove that Laman graphs, which can be generated by the Henneberg construction, are generically bearing rigid in arbitrary dimensions. As a consequence, if the underlying graph of a network is Laman, the network is bearing rigid for almost all configurations in arbitrary dimensions.
Minimal obstructions to $2$-polar cographs
Published
• View Publication
• BIB
A graph is a cograph if it is $P_4$-free. A $k$-polar partition of a graph $G$ is a partition of the set of vertices of $G$ into parts $A$ and $B$ such that the subgraph induced by $A$ is a complete multipartite graph with at most $k$ parts, and the subgraph induced by $B$ is a disjoint union of at most $k$ cliques with no other edges.
It is known that $k$-polar cographs can be characterized by a finite family of forbidden induced subgraphs, for any fixed $k$. A concrete family of such forbidden induced subgraphs is known for $k=1$, since $1$-polar graphs are precisely split graphs. For larger $k$ such families are not known, and Ekim, Mahadev, and de Werra explicitely asked for the family for $k=2$. In this paper we provide such a family, and show that the graphs can be obtained from four basic graphs by a natural operation that preserves $2$-polarity and also preserves the condition of being a cograph. We do not know such an operation for $k > 2$, nevertheless we believe that the results and methods discussed here will also be useful for higher $k$.
Perfect fractional matchings in k-out hypergraphs
Published
• View Publication
• BIB
Extending the notion of (random) $k$-out graphs, we consider when the $k$-out hypergraph is likely to have a perfect fractional matching. In particular, we show that for each $r$ there is a $k=k(r)$ such that the $k$-out $r$-uniform hypergraph on $n$ vertices has a perfect fractional matching with high probability (i.e., with probability tending to $1$ as $n\to \infty$) and prove an analogous result for $r$-uniform $r$-partite hypergraphs. This is based on a new notion of hypergraph expansion and the observation that sufficiently expansive hypergraphs admit perfect fractional matchings. As a further application, we give a short proof of a stopping-time result originally due to Krivelevich.
Some spectral properties of chain graphs
A graph is called a chain graph if it is bipartite and the neighborhoods of the vertices in each color class form a chain with respect to inclusion. Alazemi, Andelić and Simić conjectured that no chain graph shares a non-zero (adjacency) eigenvalue with its vertex-deleted subgraphs. We disprove this conjecture. However, we show that the assertion holds for subgraphs obtained by deleting vertices of maximum degrees in either of color classes. We also give a simple proof for the fact that chain graphs have no eigenvalue in the interval $(0,1/2)$.
Critical percolation on random regular graphs
Published
• View Publication
• BIB
We show that for all $d\in \{3,\ldots,n-1\}$ the size of the largest component of a random $d$-regular graph on $n$ vertices around the percolation threshold $p=1/(d-1)$ is $Θ(n^{2/3})$, with high probability. This extends known results for fixed $d\geq 3$ and for $d=n-1$, confirming a prediction of Nachmias and Peres on a question of Benjamini. As a corollary, for the largest component of the percolated random $d$-regular graph, we also determine the diameter and the mixing time of the lazy random walk. In contrast to previous approaches, our proof is based on a simple application of the switching method.