arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
2017-05-23
Two bounds for generalized $3$-connectivity of Cartesian product graphs
Published • View Publication • BIB
The generalized $k$-connectivity $κ_{k}(G)$ of a graph $G$, which was introduced by Chartrand et al.(1984) is a generalization of the concept of vertex connectivity. Let $G$ and $H$ be nontrivial connected graphs. Recently, Li et al. gave a lower bound for the generalized $3$-connectivity of the Cartesian product graph $G \square H$ and proposed a conjecture for the case that $H$ is $3$-connected. In this paper, we give two different forms of lower bounds for the generalized $3$-connectivity of Cartesian product graphs. The first lower bound is stronger than theirs, and the second confirms their conjecture.
2017-05-23
Total weight choosability for Halin graphs
Published • View Publication • BIB
A proper total weighting of a graph $G$ is a mapping $φ$ which assigns to each vertex and each edge of $G$ a real number as its weight so that for any edge $uv$ of $G$, $\sum_{e \in E(v)}φ(e)+φ(v) \ne \sum_{e \in E(u)}φ(e)+φ(u)$. A $(k,k')$-list assignment of $G$ is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights and to each edge $e$ a set $L(e)$ of $k'$ permissible weights. An $L$-total weighting is a total weighting $φ$ with $φ(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. A graph $G$ is called $(k,k')$-choosable if for every $(k,k')$-list assignment $L$ of $G$, there exists a proper $L$-total weighting. As a strenghtening of the well-known 1-2-3 conjecture, it was conjectured in [ Wong and Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph without isolated edge is $(1,3)$-choosable. It is easy to verified this conjecture for trees, however, to prove it for wheels seemed to be quite non-trivial. In this paper, we develop some tools and techniques which enable us to prove this conjecture for generalized Halin graphs.
Nordhaus-Gaddum-type theorem for conflict-free connection number of graphs
Published • View Publication • BIB
An edge-colored graph $G$ is \emph{conflict-free connected} if, between each pair of distinct vertices, there exists a path containing a color used on exactly one of its edges. The \emph{conflict-free connection number} of a connected graph $G$, denoted by $cfc(G)$, is defined as the smallest number of colors that are needed in order to make $G$ conflict-free connected. In this paper, we determine all trees $T$ of order $n$ for which $cfc(T)=n-t$, where $t\geq 1$ and $n\geq 2t+2 $. Then we prove that $1\leq cfc(G)\leq n-1$ for a connected graph $G$, and characterize the graphs $G$ with $cfc(G)=1,n-4,n-3,n-2,n-1$, respectively. Finally, we get the Nordhaus-Gaddum-type theorem for the conflict-free connection number of graphs, and prove that if $G$ and $\overline{G}$ are connected, then $4\leq cfc(G)+cfc(\overline{G})\leq n$ and $4\leq cfc(G)\cdot cfc(\overline{G})\leq2(n-2)$, and moreover, $cfc(G)+cfc(\overline{G})=n$ or $cfc(G)\cdot cfc(\overline{G})=2(n-2)$ if and only if one of $G$ and $\overline{G}$ is a tree with maximum degree $n-2$ or a $P_5$, and the lower bounds are sharp.
2017-05-23
A Short Proof for a Lower Bound on the Zero Forcing Number
We provide a short proof of a conjecture of Davila and Kenter concerning a lower bound on the zero forcing number $Z(G)$ of a graph $G$. More specifically, we show that $Z(G)\geq (g-2)(δ-2)+2$ for every graph $G$ of girth $g$ at least $3$ and minimum degree $δ$ at least $2$.
2017-05-22
A note on the number of edges in a Hamiltonian graph with no repeated cycle length
Let $G$ be an $n$-vertex graph obtained by adding chords to a cycle of length $n$. Markström asked for the maximum number of edges in $G$ if there are no two cycles in $G$ with the same length. A simple counting argument shows that such a graph can have at most $n + \sqrt{2n} +1 $ edges. Using difference sets in $\mathbb{Z}_n$, we show that for infinitely many $n$, there is an $n$-vertex Hamiltonian graph with $n + \sqrt{n - 3/4} - 3/2$ edges and no repeated cycle length.
2017-05-22
Construction of strongly regular Cayley graphs based on three-valued Gauss periods
Published • View Publication • BIB
In this paper, we give a construction of strongly regular Cayley graphs on the additive groups of finite fields based on three-valued Gauss periods. As consequences, we obtain two infinite families and one sporadic example of new strongly regular Cayley graphs. This construction can be viewed as a generalization of that of strongly regular Cayley graphs obtained in \cite{BLMX}.
Clique-Width for Graph Classes Closed under Complementation
Clique-width is an important graph parameter due to its algorithmic and structural properties. A graph class is hereditary if it can be characterized by a (not necessarily finite) set ${\cal H}$ of forbidden induced subgraphs. We initiate a systematic study into the boundedness of clique-width of hereditary graph classes closed under complementation. First, we extend the known classification for the $|{\cal H}|=1$ case by classifying the boundedness of clique-width for every set ${\cal H}$ of self-complementary graphs. We then completely settle the $|{\cal H}|=2$ case. In particular, we determine one new class of $(H,\overline{H})$-free graphs of bounded clique-width (as a side effect, this leaves only six classes of $(H_1,H_2)$-free graphs, for which it is not known whether their clique-width is bounded). Once we have obtained the classification of the $|{\cal H}|=2$ case, we research the effect of forbidding self-complementary graphs on the boundedness of clique-width. Surprisingly, we show that for a set ${\cal F}$ of self-complementary graphs on at least five vertices, the classification of the boundedness of clique-width for $(\{H,\overline{H}\}\cup {\cal F})$-free graphs coincides with the one for the $|{\cal H}|=2$ case if and only if ${\cal F}$ does not include the bull (the only non-empty self-complementary graphs on fewer than five vertices are $P_1$ and $P_4$, and $P_4$-free graphs have clique-width at most $2$). Finally, we discuss the consequences of our results for the Colouring problem.
Counting De Bruijn sequences as perturbations of linear recursions
Every binary De~Bruijn sequence of order n satisfies a recursion 0=x_n+x_0+g(x_{n-1}, ..., x_1). Given a function f on (n-1) bits, let N(f; r) be the number of functions generating a De Bruijn sequence of order n which are obtained by changing r locations in the truth table of f. We prove a formula for the generating function \sum_r N(\ell; r) y^r when \ell is a linear function. The proof uses a weighted Matrix Tree Theorem and a description of the in-trees (or rooted trees) in the n-bit De Bruijn graph as perturbations of the Hamiltonian paths in the same graph.
2017-05-22 v2
Constraining the clustering transition for colorings of sparse random graphs
Published • View Publication • BIB
Let $Ω_q$ denote the set of proper $q$-colorings of the random graph $G_{n,m}, m=dn/2$ and let $H_q$ be the graph with vertex set $Ω_q$ and an edge $\{σ,τ\}$ where $σ,τ$ are mappings $[n]\to[q]$ iff $h(σ,τ)=1$. Here $h(σ,τ)$ is the Hamming distance $|\{v\in [n]:σ(v)\neqτ(v)\}|$. We show that w.h.p. $H_q$ contains a single giant component containing almost all colorings in $Ω_q$ if $d$ is sufficiently large and $q\geq \frac{cd}{\log d}$ for a constant $c>3/2$.
2017-05-22 v2
Hodge theory in combinatorics
Published • View Publication • BIB
George Birkhoff proved in 1912 that the number of proper colorings of a finite graph G with n colors is a polynomial in n, called the chromatic polynomial of G. Read conjectured in 1968 that for any graph G, the sequence of absolute values of coefficients of the chromatic polynomial is unimodal: it goes up, hits a peak, and then goes down. Read's conjecture was proved by June Huh in a 2012 paper making heavy use of methods from algebraic geometry. Huh's result was subsequently refined and generalized by Huh and Katz, again using substantial doses of algebraic geometry. Both papers in fact establish log-concavity of the coefficients, which is stronger than unimodality. The breakthroughs of Huh and Huh-Katz left open the more general Rota-Welsh conjecture where graphs are generalized to (not necessarily representable) matroids and the chromatic polynomial of a graph is replaced by the characteristic polynomial of a matroid. The Huh and Huh-Katz techniques are not applicable in this level of generality, since there is no underlying algebraic geometry to which to relate the problem. But in 2015 Adiprasito, Huh, and Katz announced a proof of the Rota-Welsh conjecture based on a novel approach motivated by but not making use of any results from algebraic geometry. The authors first prove that the Rota-Welsh conjecture would follow from combinatorial analogues of the Hard Lefschetz Theorem and Hodge-Riemann relations in algebraic geometry. They then implement an elaborate inductive procedure to prove the combinatorial Hard Lefschetz Theorem and Hodge-Riemann relations using purely combinatorial arguments. We will survey these developments.
2017-05-22
On Central-Peripheral Appendage Numbers of Uniform Central Graphs
Published • View Publication • BIB
In a uniform central graph (UCG) the eccentric verticies of a central vertex is the same for all central verticies. This collection of eccentric verticies is the centered periphery. For a pair of graphs $(C, P)$ the central-peripheral appendage number, $A_{ucg}(C, P)$, is the minimum number verticies needed to be adjoined to the graphs $C$ and $P$ in order to construct a uniform central graph H with center C and centered-periphery P. We compute $A_{ucg}(C, P)$ in terms of the radius and diameter of P and whether or not $C$ is a complete graph. In the process we show $A_{ucg}(C, P)\leq 6$ if $diam(P) > 2$. We also provide structure theorems for UCGs in terms of the centered periphery.
Equating $k$ Maximum Degrees in Graphs without Short Cycles
For an integer $k$ at least $2$, and a graph $G$, let $f_k(G)$ be the minimum cardinality of a set $X$ of vertices of $G$ such that $G-X$ has either $k$ vertices of maximum degree or order less than $k$. Caro and Yuster (Discrete Mathematics 310 (2010) 742-747) conjectured that, for every $k$, there is a constant $c_k$ such that $f_k(G)\leq c_k \sqrt{n(G)}$ for every graph $G$. Verifying a conjecture of Caro, Lauri, and Zarb (arXiv:1704.08472v1), we show the best possible result that, if $t$ is a positive integer, and $F$ is a forest of order at most $\frac{1}{6}\left(t^3+6t^2+17t+12\right)$, then $f_2(F)\leq t$. We study $f_3(F)$ for forests $F$ in more detail obtaining similar almost tight results, and we establish upper bounds on $f_k(G)$ for graphs $G$ of girth at least $5$. For graphs $G$ of girth more than $2p$, for $p$ at least $3$, our results imply $f_k(G)=O\left(n(G)^{\frac{p+1}{3p}}\right)$. Finally, we show that, for every fixed $k$, and every given forest $F$, the value of $f_k(F)$ can be determined in polynomial time.
2017-05-21
More results on the distance (signless) Laplacian eigenvalues of graphs
Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $Tr(G)$ be the diagonal matrix of vertex transmissions of $G$ and $D(G)$ be the distance matrix of $G$. The distance Laplacian matrix of $G$ is defined as $\mathcal{L}(G)=Tr(G)-D(G)$. The distance signless Laplacian matrix of $G$ is defined as $\mathcal{Q}(G)=Tr(G)+D(G)$. In this paper, we give a lower bound on the distance Laplacian spectral radius in terms of $D_1$, as a consequence, we show that $\partial_1^L(G)\geq n+\lceil\frac{n}ω\rceil$ where $ω$ is the clique number of $G$. Furthermore, we give some graft transformations, by using them, we characterize the extremal graph attains the maximum distance spectral radius in terms of $n$ and $ω$. Moreover, we also give bounds on the distance signless Laplacian eigenvalues of $G$, and give a confirmation on a conjecture due to Aouchiche and Hansen.
On uniquely k-list colorable planar graphs, graphs on surfaces, and regular graphs
Published • View Publication • BIB
A graph $G$ is called uniquely k-list colorable (U$k$LC) if there exists a list of colors on its vertices, say $L=\lbrace S_v \mid v \in V(G) \rbrace $, each of size $k$, such that there is a unique proper list coloring of $G$ from this list of colors. A graph $G$ is said to have property $M(k)$ if it is not uniquely $k$-list colorable. Mahmoodian and Mahdian characterized all graphs with property $M(2)$. For $k\geq 3$ property $M(k)$ has been studied only for multipartite graphs. Here we find bounds on $M(k)$ for graphs embedded on surfaces, and obtain new results on planar graphs. We begin a general study of bounds on $M(k)$ for regular graphs, as well as for graphs with varying list sizes.
2017-05-21
Sandpile Groups of Random Bipartite Graphs
Published • View Publication • BIB
We determine the asymptotic distribution of the p-rank of the sandpile groups of random bipartite graphs. We see that this depends on the ratio between the number of vertices on each side, with a threshold when the ratio between the sides is equal to 1/p. We follow the approach of Melanie Wood and consider random graphs as a special case of random matrices, and rely on a variant the definition of min-entropy given by Maples, in order to obtain useful results about these random matrices. Our results show that unlike the sandpile groups of Erdos-Renyi random graphs, the distribution of the sandpile groups of random bipartite graphs depends on the properties of the graph, rather than coming from some more general random group model.
Conflict-free vertex-connections of graphs
Published • View Publication • BIB
A path in a vertex-colored graph is called \emph{conflict free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be \emph{conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. This paper investigates the question: For a connected graph $G$, what is the smallest number of colors needed in a vertex-coloring of $G$ in order to make $G$ conflict-free vertex-connected. As a result, we get that the answer is easy for $2$-connected graphs, and very difficult for connected graphs with more cut-vertices, including trees.
2017-05-20
Non-existence of antipodal cages of even girth
Published • View Publication • BIB
The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $n-M(k,g).$ A $(k,g)$-cage is a $(k,g)$-graph with the fewest possible number of vertices, among all $(k,g)$-graphs. A graph of diameter $d$ is said to be antipodal if, for any vertices $u, v, w$ such that $d(u,v)=d$ and $d(u, w)=d$, it follows that $d(v, w)=d$ or $v=w.$ In [4] Biggs and Ito proved that any $(k,g)$-cage of even girth $g=2d\geq6$ and excess $e\leq k-2$ is a bipartite graph of diameter $d+1.$ In this paper we treat the $(k,g)$-cages of even girth and excess $e\leq k-2.$ Based on a spectral analysis we give a relation between the eigenvalues of the adjacency matrix $A$ and the distance matrix $A_{d+1}$ of such cages. Moreover, following the methodology used in [4] and [13], we prove the non-existence of the antipodal $(k,g)$-cages of excess $e$, where $k\geq e+2\geq4$ and $g=2d\geq14.$
2017-05-19 v2
Lattice exit models
We discuss a class of problems which we call lattice exit models. At one level, these problems provide undergraduate level exercises in labeling the vertices of graphs (e.g., depth first search). At another level (theorems about large scale regularities of labels) they provide concrete geometric examples of ZFC independence. We note some combinatorial and algorithmic implications.
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs
Published • View Publication • BIB
A $k$-bisection of a bridgeless cubic graph $G$ is a $2$-colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes (monochromatic components in what follows) have order at most $k$. Ban and Linial conjectured that every bridgeless cubic graph admits a $2$-bisection except for the Petersen graph. A similar problem for the edge set of cubic graphs has been studied: Wormald conjectured that every cubic graph $G$ with $|E(G)| \equiv 0 \pmod 2$ has a $2$-edge colouring such that the two monochromatic subgraphs are isomorphic linear forests (i.e. a forest whose components are paths). Finally, Ando conjectured that every cubic graph admits a bisection such that the two induced monochromatic subgraphs are isomorphic. In this paper, we give a detailed insight into the conjectures of Ban-Linial and Wormald and provide evidence of a strong relation of both of them with Ando's conjecture. Furthermore, we also give computational and theoretical evidence in their support. As a result, we pose some open problems stronger than the above mentioned conjectures. Moreover, we prove Ban-Linial's conjecture for cubic cycle permutation graphs. As a by-product of studying $2$-edge colourings of cubic graphs having linear forests as monochromatic components, we also give a negative answer to a problem posed by Jackson and Wormald about certain decompositions of cubic graphs into linear forests.
2017-05-19
Hamilton cycles in infinite cubic graphs
Published • View Publication • BIB
Investigating a problem of B. Mohar, we show that every one-ended Hamiltonian cubic graph with end degree 3 contains a second Hamilton cycle. We also construct two examples showing that this result does not extend to give a third Hamilton cycle, nor that it extends to the two-ended case.