arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2016-03-21 v3
Hereditary Konig Egervary Collections
Let $G$ be a simple graph with vertex set $V(G)$. A subset $S$ of $V(G)$ is independent if no two vertices from $S$ are adjacent. The graph $G$ is known to be a Konig-Egervary (KE in short) graph if $α(G) + μ(G)= |V(G)|$, where $α(G)$ denotes the size of a maximum independent set and $μ(G)$ is the cardinality of a maximum matching. Let $Ω(G)$ denote the family of all maximum independent sets. A collection $F$ of sets is an hke collection if $|\bigcup Γ|+|\bigcap Γ|=2α$ holds for every subcollection $Γ$ of $F$. We characterize an hke collection and invoke new characterizations of a KE graph. We prove the existence and uniqueness of a graph $G$ such that $Ω(G)$ is a maximal hke collection. It is a bipartite graph. As a result, we solve a problem of Jarden, Levit and Mandrescu \cite{jlm}, proving that $F$ is an hke collection if and only if it is a subset of $Ω(G)$ for some graph $G$ and $|\bigcup F|+|\bigcap F|=2α(F)$. Finally, we show that the maximal cardinality of an hke collection $F$ with $α(F)=α$ and $|\bigcup F|=n$ is $2^{n-α}$.
2016-03-20
On the complexity of the identifiable subgraph problem, revisited
Published • View Publication • BIB
A bipartite graph $G=(L,R;E)$ with at least one edge is said to be identifiable if for every vertex $v\in L$, the subgraph induced by its non-neighbors has a matching of cardinality $|L|-1$. An $\ell$-subgraph of $G$ is an induced subgraph of $G$ obtained by deleting from it some vertices in $L$ together with all their neighbors. The Identifiable Subgraph problem is the problem of determining whether a given bipartite graph contains an identifiable $\ell$-subgraph. We show that the Identifiable Subgraph problem is polynomially solvable, along with the version of the problem in which the task is to delete as few vertices from $L$ as possible together with all their neighbors so that the resulting $\ell$-subgraph is identifiable. We also complement a known APX-hardness result for the complementary problem in which the task is to minimize the number of remaining vertices in $L$, by showing that two parameterized variants of the problem are W[1]-hard.
2016-03-19
Some Aspects of the Wiener Index for Sun Graphs
The Wiener index $W(G)$ is the sum of distances of all pairs of vertices of the graph $G$. The Wiener polarity index $W_{p}(G)$ of a graph $G$ is the number of unordered pairs of vertices $u$ and $v$ of $G$ such that the distance $d_{G}(u,v)$ between $u$ and $v$ is $3$. In this paper the Wiener and the Wiener polarity indices of sun graphs are computed. A relationship between those indices with some other topological indices are presented. Finally, we find the Hosoya (Wiener) polynomial for sun graphs.
2016-03-19
Chow's theorem for linear codes
Published • View Publication • BIB
Let $Γ_{k}(V)$ be the Grassmann graph formed by $k$-dimensional subspaces of an $n$-dimensional vector space over the finite field ${\mathbb F}_{q}$ consisting of $q$ elements and $1<k<n-1$. Denote by $Γ(n,k)_q$ the restriction of the Grassmann graph to the set of all non-degenerate linear $[n,k]_q$ codes. We describe maximal cliques of the graph $Γ(n,k)_q$ and show that every automorphism of this graph is induced by a monomial semilinear automorphism of $V$.
Vertex-transitive Haar graphs that are not Cayley graphs
Published • View Publication • BIB
In a recent paper (arXiv:1505.01475 ) Estélyi and Pisanski raised a question whether there exist vertex-transitive Haar graphs that are not Cayley graphs. In this note we construct an infinite family of trivalent Haar graphs that are vertex-transitive but non-Cayley. The smallest example has 40 vertices and is the well-known Kronecker cover over the dodecahedron graph $G(10,2)$, occurring as the graph $40$ in the Foster census of connected symmetric trivalent graphs.
Polychromatic Colorings on the Hypercube
Published • View Publication • BIB
Given a subgraph G of the hypercube Q_n, a coloring of the edges of Q_n such that every embedding of G contains an edge of every color is called a G-polychromatic coloring. The maximum number of colors with which it is possible to G-polychromatically color the edges of any hypercube is called the polychromatic number of G. To determine polychromatic numbers, it is only necessary to consider a structured class of colorings, which we call simple. The main tool for finding upper bounds on polychromatic numbers is to translate the question of polychromatically coloring the hypercube so every embedding of a graph G contains every color into a question of coloring the 2-dimensional grid so that every so-called shape sequence corresponding to G contains every color. After surveying the tools for finding polychromatic numbers, we apply these techniques to find polychromatic numbers of a class of graphs called punctured hypercubes. We also consider the problem of finding polychromatic numbers in the setting where larger subcubes of the hypercube are colored. We exhibit two new constructions which show that this problem is not a straightforward generalization of the edge coloring problem.
2016-03-18 v4
Sidorenko's conjecture, colorings and independent sets
Let $\hom(H,G)$ denote the number of homomorphisms from a graph $H$ to a graph $G$. Sidorenko's conjecture asserts that for any bipartite graph $H$, and a graph $G$ we have $$\hom(H,G)\geq v(G)^{v(H)}\left(\frac{\hom(K_2,G)}{v(G)^2}\right)^{e(H)},$$ where $v(H),v(G)$ and $e(H),e(G)$ denote the number of vertices and edges of the graph $H$ and $G$, respectively. In this paper we prove Sidorenko's conjecture for certain special graphs $G$: for the complete graph $K_q$ on $q$ vertices, for a $K_2$ with a loop added at one of the end vertices, and for a path on $3$ vertices with a loop added at each vertex. These cases correspond to counting colorings, independent sets and Widom-Rowlinson colorings of a graph $H$. For instance, for a bipartite graph $H$ the number of $q$-colorings $\textrm{ch}(H,q)$ satisfies $$\textrm{ch}(H,q)\geq q^{v(H)}\left(\frac{q-1}{q}\right)^{e(H)}.$$ In fact, we will prove that in the last two cases (independent sets and Widom-Rowlinson colorings) the graph $H$ does not need to be bipartite. In all cases, we first prove a certain correlation inequality which implies Sidorenko's conjecture in a stronger form.
2016-03-18 v2
Circuits and Hurwitz action in finite root systems
Published in New York J. Math 22 (2016), pp. 1457-1486 • Search Publication
In a finite real reflection group, two factorizations of a Coxeter element into an arbitrary number of reflections are shown to lie in the same orbit under the Hurwitz action if and only if they use the same multiset of conjugacy classes. The proof makes use of a surprising lemma, derived from a classification of the minimal linear dependences (matroid circuits) in finite root systems: any set of roots forming a minimal linear dependence with positive coefficients has a disconnected graph of pairwise acuteness.
2016-03-17 v2
The (vertex-)monochromatic index of a graph
Published • View Publication • BIB
A tree $T$ in an edge-colored graph $H$ is called a \emph{monochromatic tree} if all the edges of $T$ have the same color. For $S\subseteq V(H)$, a \emph{monochromatic $S$-tree} in $H$ is a monochromatic tree of $H$ containing the vertices of $S$. For a connected graph $G$ and a given integer $k$ with $2\leq k\leq |V(G)|$, the \emph{$k$-monochromatic index $mx_k(G)$} of $G$ is the maximum number of colors needed such that for each subset $S\subseteq V(G)$ of $k$ vertices, there exists a monochromatic $S$-tree. In this paper, we prove that for any connected graph $G$, $mx_k(G)=|E(G)|-|V(G)|+2$ for each $k$ such that $3\leq k\leq |V(G)|$. A tree $T$ in a vertex-colored graph $H$ is called a \emph{vertex-monochromatic tree} if all the internal vertices of $T$ have the same color. For $S\subseteq V(H)$, a \emph{vertex-monochromatic $S$-tree} in $H$ is a vertex-monochromatic tree of $H$ containing the vertices of $S$. For a connected graph $G$ and a given integer $k$ with $2\leq k\leq |V(G)|$, the \emph{$k$-monochromatic vertex-index $mvx_k(G)$} of $G$ is the maximum number of colors needed such that for each subset $S\subseteq V(G)$ of $k$ vertices, there exists a vertex-monochromatic $S$-tree. We show that for a given a connected graph $G$, and a positive integer $L$ with $L\leq |V(G)|$, to decide whether $mvx_k(G)\geq L$ is NP-complete for each integer $k$ such that $2\leq k\leq |V(G)|$. We also obtain some Nordhaus-Gaddum-type results for the $k$-monochromatic vertex-index.
2016-03-17
On the diameter of Kronecker graphs
It is shown that a.a.s. as soon as a Kronecker graph becomes connected its diameter is bounded by a constant.
2016-03-17
Client-Waiter games on complete and random graphs
Published • View Publication • BIB
For a graph G, a monotone increasing graph property P and positive integer q, we define the Client-Waiter game to be a two-player game which runs as follows. In each turn Waiter is offering Client a subset of at least one and at most q+1 unclaimed edges of G from which Client claims one, and the rest are claimed by Waiter. The game ends when all the edges have been claimed. If Client's graph has property P by the end of the game, then he wins the game, otherwise Waiter is the winner. In this paper we study several Client-Waiter games on the edge set of the complete graph, and the H-game on the edge set of the random graph. For the complete graph we consider games where Client tries to build a large star, a long path and a large connected component. We obtain lower and upper bounds on the critical bias for these games and compare them with the corresponding Waiter-Client games and with the probabilistic intuition. For the H-game on the random graph we show that the known results for the corresponding Maker-Breaker game are essentially the same for the Client-Waiter game, and we extend those results for the biased games and for trees.
2016-03-17
Non-backtracking random walks and a weighted Ihara's theorem
Published • View Publication • BIB
We study the mixing rate of non-backtracking random walks on graphs by looking at non-backtracking walks as walks on the directed edges of a graph. A result known as Ihara's Theorem relates the adjacency matrix of a graph to a matrix related to non-backtracking walks on the directed edges. We prove a weighted version of Ihara's Theorem which relates the transition probability matrix of a non-backtracking walk to the transition matrix for the usual random walk. This allows us to determine the spectrum of the transition probability matrix of a non-backtracking random walk in the case of regular graphs and biregular graphs. As a corollary, we obtain a result of Alon et. al. that in most cases, a non-backtracking random walk on a regular graph has a faster mixing rate than the usual random walk. In addition, we obtain an analogous result for biregular graphs.
2016-03-17
Genus dependence of the number of (non-)orientable surface triangulations
Published • View Publication • BIB
Topological triangulations of orientable and non-orientable surfaces with arbitrary genus have important applications in quantum geometry, graph theory and statistical physics. However, until now only the asymptotics for 2-spheres are known analytically, and exact counts of triangulations are only available for both small genus and small triangulations. We apply the Wang-Landau algorithm to calculate the number $N(m,h)$ of triangulations for several order of magnitudes in system size $m$ and genus $h$. We verify that the limit of the entropy density of triangulations is independent of genus and orientability and are able to determine the next-to-leading and the next-to-next-to-leading order terms. We conjecture for the number of surface triangulations the asymptotic behavior \begin{equation*} N(m,h) \rightarrow (170.4 \pm 15.1)^h m^{-2(h - 1)/5} \left( \frac{256}{27} \right)^{m / 2}\;, \end{equation*} what might guide a mathematicians proof for the exact asymptotics.
2016-03-17
Sensitivity of mixing times in Eulerian digraphs
Published • View Publication • BIB
Let $X$ be a lazy random walk on a graph $G$. If $G$ is undirected, then the mixing time is upper bounded by the maximum hitting time of the graph. This fails for directed chains, as the biased random walk on the cycle $\mathbb{Z}_n$ shows. However, we establish that for Eulerian digraphs, the mixing time is $O(mn)$, where $m$ is the number of edges and $n$ is the number of vertices. In the reversible case, the mixing time is robust to the change of the laziness parameter. Surprisingly, in the directed setting the mixing time can be sensitive to such changes. We also study exploration and cover times for random walks on Eulerian digraphs and prove universal upper bounds in analogy to the undirected case.
2016-03-16
On the number of alternating paths in bipartite complete graphs
Published • View Publication • BIB
Let $C \subseteq [r]^m$ be a code such that any two words of $C$ have Hamming distance at least $t$. It is not difficult to see that determining a code $C$ with the maximum number of words is equivalent to finding the largest $n$ such that there is an $r$-edge-coloring of $K_{m, n}$ with the property that any pair of vertices in the class of size $n$ has at least $t$ alternating paths (with adjacent edges having different colors) of length $2$. In this paper we consider a more general problem from a slightly different direction. We are interested in finding maximum $t$ such that there is an $r$-edge-coloring of $K_{m,n}$ such that any pair of vertices in class of size $n$ is connected by $t$ internally disjoint and alternating paths of length $2k$. We also study a related problem in which we drop the assumption that paths are internally disjoint. Finally, we introduce a new concept, which we call alternating connectivity. Our proofs make use of random colorings combined with some integer programs.
2016-03-16 v3
Chromatic index, treewidth and maximum degree
Published • View Publication • BIB
We conjecture that any graph $G$ with treewidth~$k$ and maximum degree $Δ(G)\geq k + \sqrt{k}$ satisfies $χ'(G)=Δ(G)$. In support of the conjecture we prove its fractional version. We also show that any graph $G$ with treewidth~$k\geq 4$ and maximum degree $2k-1$ satisfies $χ'(G)=Δ(G)$, improving an old result of Vizing.
2016-03-16
A linear complementarity based characterization of the weighted independence number and the independent domination number in graphs
Published in Discrete Applied Mathematics, Volume 244, 31 July 2018, Pages 155-169 • View Publication • BIB
The linear complementarity problem is a continuous optimization problem that generalizes convex quadratic programming, Nash equilibria of bimatrix games and several such problems. This paper presents a continuous optimization formulation for the weighted independence number of a graph by characterizing it as the maximum weighted $\ell_1$ norm over the solution set of a linear complementarity problem (LCP). The minimum $\ell_1$ norm of solutions of this LCP is a lower bound on the independent domination number of the graph. Unlike the case of the maximum $\ell_1$ norm, this lower bound is in general weak, but we show it to be tight if the graph is a forest. Using methods from the theory of LCPs, we obtain a few graph theoretic results. In particular, we provide a stronger variant of the Lovász theta of a graph. We then provide sufficient conditions for a graph to be well-covered, i.e., for all maximal independent sets to also be maximum. This condition is also shown to be necessary for well-coveredness if the graph is a forest. Finally, the reduction of the maximum independent set problem to a linear program with (linear) complementarity constraints (LPCC) shows that LPCCs are hard to approximate.
2016-03-16
Dominating sequences under atomic changes with applications in Sierpiński and interval graphs
Published • View Publication • BIB
A sequence $S=(v_1,\ldots,v_k)$ of distinct vertices of a graph $G$ is called a legal sequence if $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j]\not=\emptyset$ for any $i$. The maximum length of a legal (dominating) sequence in $G$ is called the Grundy domination number $γ_{gr}(G)$ of a graph $G$. It is known that the problem of determining the Grundy domination number is NP-complete in general, while efficient algorithm exist for trees and some other classes of graphs. In this paper we find an efficient algorithm for the Grundy domination number of an interval graph. We also show the exact value of the Grundy domination number of an arbitrary Sierpiński graph $S_p^n$, and present algorithms to construct the corresponding sequence. These results are obtained by using the main result of the paper, which are sharp bounds for the Grundy domination number of a vertex- and edge-removed graph. That is, given a graph $G$, $e\in E(G)$, and $u\in V(G)$, we prove that $γ_{gr}(G)-1\le γ_{gr}(G-e) \le γ_{gr}(G)+1$ and $γ_{gr}(G)-2\le γ_{gr}(G-u) \le γ_{gr}(G)$. For each of the bounds there exist graphs, in which all three possibilities occur for different edges, respectively vertices.
The chromatic number of finite type-graphs
Published in Journal of Combinatorial Theory B 122 (2017), 877-896 • View Publication • BIB
By a finite type-graph we mean a graph whose set of vertices is the set of all $k$-subsets of $[n]=\{1,2,\ldots, n\}$ for some integers $n\ge k\ge 1$, and in which two such sets are adjacent if and only if they realise a certain order type specified in advance. Examples of such graphs have been investigated in a great variety of contexts in the literature with particular attention being paid to their chromatic number. In recent joint work with Tomasz Łuczak, two of the authors embarked on a systematic study of the chromatic numbers of such type-graphs, formulated a general conjecture determining this number up to a multiplicative factor, and proved various results of this kind. In this article we fully prove this conjecture.
2016-03-15 v2
Minimum Size of Feedback Vertex Sets of Planar Graphs of Girth at least Five
Published in European Journal of Combinatorics 61C (2017) pp. 138-150 • View Publication • BIB
A feedback vertex set of a graph is a subset of vertices intersecting all cycles. We provide tight upper bounds on the size of a minimum feedback vertex set in planar graphs of girth at least five. We prove that if $G$ is a connected planar graph of girth at least five on $n$ vertices and $m$ edges, then $G$ has a feedback vertex set of size at most $\frac{2m-n+2}{7}$. By Euler's formula, this implies that $G$ has a feedback vertex set of size at most $\frac{m}{5}$ and $\frac{n-2}{3}$. These results not only improve a result of Dross, Montassier and Pinlou and confirm the girth-5 case of one of their conjectures, but also make the best known progress towards a conjecture of Kowalik, Lužar and Škrekovski and solves the subcubic case of their conjecture. An important step of our proof is providing an upper bound on the size of minimum feedback vertex sets of subcubic graphs with girth at least five with no induced subdivision of members of a finite family of non-planar graphs.