arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
2015-12-24
Hangable Graphs
Let $G=(V_G,E_G)$ be a connected graph. The distance $d_G(u,v)$ between vertices $u$ and $v$ in $G$ is the length of a shortest $u-v$ path in $G$. The eccentricity of a vertex $v$ in $G$ is the integer $e_G(v)= \max\{ d_G(v,u) \colon u\in V_G\}$. The diameter of $G$ is the integer $d(G)= \max\{e_G(v)\colon v\in V_G\}$. The periphery of a~vertex $v$ of $G$ is the set $P_G(v)= \{u\in V_G\colon d_G(v,u)= e_G(v)\}$, while the periphery of $G$ is the set $P(G)= \{v\in V_G\colon e_G(v)=d(G)\}$. We say that graph $G$ is hangable if $P_G(v)\subequal P(G)$ for every vertex $v$ of $G$. In this paper we prove that every block graph is hangable and discuss the hangability of products of graphs.
2015-12-24
Choosability with union separation
Published • View Publication • BIB
List coloring generalizes graph coloring by requiring the color of a vertex to be selected from a list of colors specific to that vertex. One refinement of list coloring, called choosability with separation, requires that the intersection of adjacent lists is sufficiently small. We introduce a new refinement, called choosability with union separation, where we require that the union of adjacent lists is sufficiently large. For $t \geq k$, a $(k,t)$-list assignment is a list assignment $L$ where $|L(v)| \geq k$ for all vertices $v$ and $|L(u)\cup L(v)| \geq t$ for all edges $uv$. A graph is $(k,t)$-choosable if there is a proper coloring for every $(k,t)$-list assignment. We explore this concept through examples of graphs that are not $(k,t)$-choosable, demonstrating sparsity conditions that imply a graph is $(k,t)$-choosable, and proving that all planar graphs are $(3,11)$-choosable and $(4,9)$-choosable.
Colouring Diamond-free Graphs
Published • View Publication • BIB
The Colouring problem is that of deciding, given a graph $G$ and an integer $k$, whether $G$ admits a (proper) $k$-colouring. For all graphs $H$ up to five vertices, we classify the computational complexity of Colouring for $(\mbox{diamond},H)$-free graphs. Our proof is based on combining known results together with proving that the clique-width is bounded for $(\mbox{diamond}, P_1+2P_2)$-free graphs. Our technique for handling this case is to reduce the graph under consideration to a $k$-partite graph that has a very specific decomposition. As a by-product of this general technique we are also able to prove boundedness of clique-width for four other new classes of $(H_1,H_2)$-free graphs. As such, our work also continues a recent systematic study into the (un)boundedness of clique-width of $(H_1,H_2)$-free graphs, and our five new classes of bounded clique-width reduce the number of open cases from 13 to 8.
2015-12-24
On graphs decomposable into induced matchings of linear sizes
Published • View Publication • BIB
We call a graph $G$ an $(r,t)$-Ruzsa-Szemerédi graph if its edge set can be partitioned into $t$ edge-disjoint induced matchings, each of size $r$. These graphs were introduced in 1978 and has been extensively studied since then. In this paper, we consider the case when $r=cn$. For $c>1/4$, we determine the maximum possible $t$ which is a constant depending only on $c$. On the other hand, when $c=1/4$, there could be as many as $Ω(\log n)$ induced matchings. We prove that this bound is tight up to a constant factor. Finally, when $c$ is fixed strictly between $1/5$ and $1/4$, we give a short proof that the number $t$ of induced matchings is $O(n/\log n)$. We are also able to further improve the upper bound to $o(n/\log n)$ for fixed $c> 1/4-b$ for some positive constant $b$.
2015-12-24 v3
Ramsey goodness of paths
Published • View Publication • BIB
Given a pair of graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$. If graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$, where $χ(H)$ is the chromatic number of $H$ and $σ$ the size of the smallest color class in a $χ(H)$-coloring of $H$. A graph $G$ is called $H$-good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$. The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then. In this short note we prove that $n$-vertex path $P_n$ is $H$-good for all $n\geq 4|H|$. This proves in a strong form a conjecture of Allen, Brightwell, and Skokan.
2015-12-23
Tutte relations, TQFT, and planarity of cubic graphs
Published • View Publication • BIB
It has been known since the work of Tutte that the value of the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ has a number of remarkable properties. We investigate to what extent Tutte's relations characterize planar graphs. A version of the Tutte linear relation for the flow polynomial at $(3-\sqrt{5})/2$ is shown to give a planarity criterion for $3$-connected cubic graphs. A conjecture is formulated that the golden identity for the flow polynomial characterizes planarity of cubic graphs as well. In addition, Tutte's upper bound on the chromatic polynomial of planar triangulations at $(3+\sqrt{5})/2$ is generalized to other Beraha numbers, and an exponential lower bound is given for the value at $(3-\sqrt{5})/2$. The proofs of these results rely on the structure of the Temperley-Lieb algebra and more generally on methods of topological quantum field theory.
The local metric dimension of subgraph-amalgamation of graphs
A vertex $v$ is said to distinguish two other vertices $x$ and $y$ of a nontrivial connected graph G if the distance from $v$ to $x$ is different from the distance from $v$ to $y$. A set $S\subseteq V(G)$ is a local metric set for $G$ if every two adjacent vertices of $G$ are distinguished by some vertex of $S$. A local metric set with minimum cardinality is called a local metric basis for $G$ and its cardinality, the local metric dimension of $G$, denoted by $\dim_l(G)$. In this paper we present tight bounds for the local metric dimension of subgraph-amalgamation of graphs with special emphasis in the case of subgraphs which are isometric embeddings.
2015-12-23 v2
On the structure of dominating graphs
Published • View Publication • BIB
The $k$-dominating graph $D_k(G)$ of a graph $G$ is defined on the vertex set consisting of dominating sets of $G$ with cardinality at most $k$, two such sets being adjacent if they differ by either adding or deleting a single vertex. A graph is a dominating graph if it is isomorphic to $D_k(G)$ for some graph $G$ and some positive integer $k$. Answering a question of Haas and Seyffarth for graphs without isolates, it is proved that if $G$ is such a graph of order $n\ge 2$ and with $G\cong D_k(G)$, then $k=2$ and $G=K_{1,n-1}$ for some $n\ge 4$. It is also proved that for a given $r$ there exist only a finite number of $r$-regular, connected dominating graphs of connected graphs. In particular, $C_6$ and $C_8$ are the only dominating graphs in the class of cycles. Some results on the order of dominating graphs are also obtained.
2015-12-23
The difference and ratio of the fractional matching number and the matching number of graphs
Published in Discrete Mathematics, Volume 339, Issue 4, 6 April 2016, Pages 1382-1386 • View Publication • BIB
Given a graph $G$, the matching number of $G$, written $α'(G)$, is the maximum size of a matching in $G$, and the fractional matching number of $G$, written $α'_f(G)$, is the maximum size of a fractional matching of $G$. In this paper, we prove that if $G$ is an $n$-vertex connected graph that is neither $K_1$ nor $K_3$, then $α'_f(G)-α'(G) \le \frac{n-2}6$ and $\frac{α'_f(G)}{α'(G)} \le \frac{3n}{2n+2}$. Both inequalities are sharp, and we characterize the infinite family of graphs where equalities hold.
2015-12-23 v2
The number of Hamiltonian decompositions of regular graphs
Published • View Publication • BIB
A Hamilton cycle in a graph $Γ$ is a cycle passing through every vertex of $Γ$. A Hamiltonian decomposition of $Γ$ is a partition of its edge set into disjoint Hamilton cycles. One of the oldest results in graph theory is Walecki's theorem from the 19th century, showing that a complete graph $K_n$ on an odd number of vertices $n$ has a Hamiltonian decomposition. This result was recently greatly extended by Kühn and Osthus. They proved that every $r$-regular $n$-vertex graph $Γ$ with even degree $r=cn$ for some fixed $c>1/2$ has a Hamiltonian decomposition, provided $n=n(c)$ is sufficiently large. In this paper we address the natural question of estimating $H(Γ)$, the number of such decompositions of $Γ$. Our main result is that $H(Γ)=r^{(1+o(1))nr/2}$. In particular, the number of Hamiltonian decompositions of $K_n$ is $n^{(1-o(1))n^2/2}$.
2015-12-22
On the Bandwidth of the Kneser Graph
Published • View Publication • BIB
Let $G = (V,E)$ be a graph on $n$ vertices and $f: V\rightarrow [1,n]$ a one to one map of $V$ onto the integers $1$ through $n$. Let $dilation(f) =$ max$\{ |f(v) - f(w)|: vw\in E \}$. Define the {\it bandwidth} $B(G)$ of $G$ to be the minimum possible value of $dilation(f)$ over all such one to one maps $f$. Next define the {\it Kneser Graph} $K(n,r)$ to be the graph with vertex set $\binom{[n]}{r}$, the collection of $r$-subsets of an $n$ element set, and edge set $E = \{ vw: v,w\in \binom{[n]}{r}, v\cap w = \emptyset \}$. For fixed $r\geq 4$ and $n\rightarrow \infty$ we show that $$B(K(n,r)) = \binom{n}{r} - \frac{1}{2}\binom{n-1}{r-1} - 2\frac{n^{r-2}}{(r-2)!} + (r + 2)\frac{n^{r-3}}{(r-3)!} + O(n^{r-4}).$$
2015-12-22
Covering Arrays on Product Graphs
Published • View Publication • BIB
Two vectors $x,y$ in $\mathbb{Z}_g^n$ are $ qualitatively$ $ independent$ if for all pairs $(a,b)\in \mathbb{Z}_g\times \mathbb{Z}_g$, there exists $i\in \{1,2,\ldots,n\}$ such that $(x_i,y_i)=(a,b)$. A covering array on a graph $G$, denoted by $CA(n,G,g)$, is a $|V(G)|\times n$ array on $\mathbb{Z}_g$ with the property that any two rows which correspond to adjacent vertices in $G$ are qualitatively independent. The number of columns in such array is called its $size$. Given a graph $G$, a covering array on $G$ with minimum size is called $optimal$. Our primary concern in this paper is with constructions that make optimal covering arrays on large graphs those are obtained from product of smaller graphs. We consider four most extensively studied graph products in literature and give upper and lower bounds on the the size of covering arrays on graph products. We find families of graphs for which the size of covering array on the Cartesian product achieves the lower bound. Finally, we present a polynomial time approximation algorithm with approximation ratio $\log(\frac{V}{2^{k-1}})$ for constructing covering array on graph $G=(V,E)$ with $k>1$ prime factors with respect to the Cartesian product.
2015-12-22 v2
Combinatorial and Probabilistic Formulae for Divided Symmetrization
Published • View Publication • BIB
Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when $G$ is a tree and $f$ is a polynomial of degree $n-1$, in this case $DS_G(f)$ is a constant function. We give a combinatorial interpretation of the divided symmetrization of monomials for general trees and probabilistic game interpretation for a tree which is a path. In particular, this implies a result by Postnikov originally proved by computing volumes of special polytopes, and suggests its generalization.
2015-12-22
Two coloring problems on matrix graphs
Published • View Publication • BIB
In this paper, we propose a new family of graphs, matrix graphs, whose vertex set $\mathbb{F}^{N\times n}_q$ is the set of all $N\times n$ matrices over a finite field $\mathbb{F}_q$ for any positive integers $N$ and $n$. And any two matrices share an edge if the rank of their difference is $1$. Next, we give some basic properties of such graphs and also consider two coloring problems on them. Let $χ'_d(N\times n, q)$ (resp. $χ_d(N\times n, q)$) denote the minimum number of colors necessary to color the above matrix graph so that no two vertices that are at a distance at most $d$ (resp. exactly $d$) get the same color. These two problems were proposed in the study of scalability of optical networks. In this paper, we determine the exact value of $χ'_d(N\times n,q)$ and give some upper and lower bounds on $χ_d(N\times n,q)$.
2015-12-21
Limits of discrete distributions and Gibbs measures on random graphs
Published in European Journal of Combinatorics 66 (2017) 37 - 59 • View Publication • BIB
Building upon the theory of graph limits and the Aldous-Hoover representation and inspired by Panchenko's work on asymptotic Gibbs measures (Annals of Probability 2013), we construct continuous embeddings of discrete probability distributions. We show that the theory of graph limits induces a meaningful notion of convergence and derive a corresponding version of the Szemerédi regularity lemma. Moreover, complementing recent work (Bapst et. al. 2015), we apply these results to Gibbs measures induced by sparse random factor graphs and verify the "replica symmetric solution" predicted in the physics literature under the assumption of non-reconstruction.
2015-12-21
Graphs of Large Girth and Surfaces of Large Systole
Published • View Publication • BIB
The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces. In this article we provide a new construction for a sequence of surfaces with systoles that grow logarithmically in their genera. We do this by combining a construction for graphs of large girth and a count of the number of $\mathrm{SL}_2(\mathbb{Z})$ matrices with positive entries and bounded trace.
2015-12-20 v2
Lower Bounds for the Domination Numbers of Connected Graphs without Short Cycles
In this paper, we obtain lower bounds for the domination numbers of connected graphs with girth at least $7$. We show that the domination number of a connected graph with girth at least $7$ is either $1$ or at least $\frac{1}{2}(3+\sqrt{8(m-n)+9})$, where $n$ is the number of vertices in the graph and $m$ is the number of edges in the graph. For graphs with minimum degree $2$ and girth at least $7$, the lower bound can be improved to $\max{\{\sqrt{n}, \sqrt{\frac{2m}{3}}\}}$, where $n$ and $m$ are the numbers of vertices and edges in the graph respectively. In cases where the graph is of minimum degree $2$ and its girth $g$ is at least $12$, the lower bound can be further improved to $\max{\{\sqrt{n}, \sqrt{\frac{\lfloor \frac{g}{3} \rfloor-1}{3}m}\}}$.
2015-12-20 v3
A new formula for the generating function of the numbers of simple graphs
By using an approach of the invariant theory we obtain a new formula for the ordinary generating function of the numbers of the simple graphs with $n$ nodes.
2015-12-20
A path Turan problem for infinite graphs
Published • View Publication • BIB
Let $G$ be an infinite graph whose vertex set is the set of positive integers, and let $G_n$ be the subgraph of $G$ induced by the vertices $\{1,2, \dots , n \}$. An increasing path of length $k$ in $G$, denoted $I_k$, is a sequence of $k+1$ vertices $1 \leq i_1 < i_2 < \dots < i_{k+1}$ such that $i_1, i_2, \ldots, i_{k+1}$ is a path in $G$. For $k \geq 2$, let $p(k)$ be the supremum of $\liminf_{ n \rightarrow \infty} \frac{ e(G_n) }{n^2}$ over all $I_k$-free graphs $G$. In 1962, Czipszer, Erdős, and Hajnal proved that $p(k) = \frac{1}{4} (1 - \frac{1}{k})$ for $k \in \{2,3 \}$. Erdős conjectured that this holds for all $ k \geq 4$. This was disproved for certain values of $k$ by Dudek and Rödl who showed that $p(16) > \frac{1}{4} (1 - \frac{1}{16})$ and $p(k) > \frac{1}{4} + \frac{1}{200}$ for all $k \geq 162$. Given that the conjecture of Erdős is true for $k \in \{2,3 \}$ but false for large $k$, it is natural to ask for the smallest value of $k$ for which $p(k) > \frac{1}{4} ( 1 - \frac{1}{k} )$. In particular, the question of whether or not $p(4) = \frac{1}{4} ( 1 - \frac{1}{4} )$ was mentioned by Dudek and Rödl as an open problem. We solve this problem by proving that $p(4) \geq \frac{1}{4} (1 - \frac{1}{4} ) + \frac{1}{584064}$ and $p(k) > \frac{1}{4} (1 - \frac{1}{k})$ for $4 \leq k \leq 15$. We also show that $p(4) \leq \frac{1}{4}$ which improves upon the previously best known upper bound on $p(4)$. Therefore, $p(4)$ must lie somewhere between $\frac{3}{16} + \frac{1}{584064}$ and $\frac{1}{4}$
Optimizing Spread of Influence in Weighted Social Networks via Partial Incentives
Published • View Publication • BIB
A widely studied process of influence diffusion in social networks posits that the dynamics of influence diffusion evolves as follows: Given a graph $G=(V,E)$, representing the network, initially \emph{only} the members of a given $S\subseteq V$ are influenced; subsequently, at each round, the set of influenced nodes is augmented by all the nodes in the network that have a sufficiently large number of already influenced neighbors. The general problem is to find a small initial set of nodes that influences the whole network. In this paper we extend the previously described basic model in the following ways: firstly, we assume that there are non negative values $c(v)$ associated to each node $v\in V$, measuring how much it costs to initially influence node $v$, and the algorithmic problem is to find a set of nodes of \emph{minimum total cost} that influences the whole network; successively, we study the consequences of giving \emph{incentives} to member of the networks, and we quantify how this affects (i.e., reduces) the total costs of starting process that influences the whole network. For the two above problems we provide both hardness and algorithmic results. We also experimentally validate our algorithms via extensive simulations on real life networks.