arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
2016-11-30
Defective 2-colorings of planar graphs without 4-cycles and 5-cycles
Published • View Publication • BIB
Let $G$ be a graph without 4-cycles and 5-cycles. We show that the problem to determine whether $G$ is $(0,k)$-colorable is NP-complete for each positive integer $k.$ Moreover, we construct non-$(1,k)$-colorable planar graphs without 4-cycles and 5-cycles for each positive integer $k.$ Finally, we prove that $G$ is $(d_1,d_2)$-colorable where $(d_1,d_2)=(4,4), (3,5),$ and $(2,9).$
2016-11-30 v7
Oriented Bipartite Graphs and the Goldbach Graph
Published • View Publication • BIB
In this paper, we study oriented bipartite graphs. In particular, we introduce "bitransitive" graphs. Several characterizations of bitransitive bitournaments are obtained. We show that bitransitive bitounaments are equivalent to acyclic bitournaments. As applications, we characterize acyclic bitournaments with Hamiltonian paths, determine number of non-isomorphic acyclic bitournaments of a given order, and solve the graph-isomorphism problem in linear time for acyclic bitournaments. Next, we prove the well-known Caccetta-H$\ddot{\textrm{a}}$ggkvist Conjecture for oriented bipartite graphs for some cases for which it is unsolved in general oriented graphs. We also introduce the concept of undirected as well as oriented "odd-even" graphs. We characterize bipartite graphs and acyclic oriented bipartite graphs in terms of them. In fact, we show that any bipartite graph (acyclic oriented bipartite graph) can be represented by some odd-even graph (oriented odd-even graph). We obtain some conditions for connectedness of odd-even graphs. This study of odd-even graphs and their connectedness is motivated by a special family of odd-even graphs which we call "Goldbach graphs". We show that the famous Goldbach's conjecture is equivalent to the connectedness of Goldbach graphs. Several other number theoretic conjectures (e.g., the twin prime conjecture) are related to various parameters of Goldbach graphs, motivating us to study the nature of vertex-degrees and independent sets of these graphs. Finally, we observe Hamiltonian properties of some odd-even graphs related to Goldbach graphs for small number of vertices.
Monochromatic trees in random graphs
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 191-208 • View Publication • BIB
Bal and DeBiasio [Partitioning random graphs into monochromatic components, Electron. J. Combin. 24 (2017), Paper 1.18] put forward a conjecture concerning the threshold for the following Ramsey-type property for graphs $G$: every $k$-colouring of the edge set of $G$ yields $k$ pairwise vertex disjoint monochromatic trees that partition the whole vertex set of $G$. We determine the threshold for this property for two colours.
2016-11-30
Removal Lemmas with Polynomial Bounds
Published • View Publication • BIB
A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One of the most celebrated results of this type is the Ruzsa-Szemerédi triangle removal lemma, which states that if a graph is $\varepsilon$-far from being triangle free, then most subsets of vertices of size $C(\varepsilon)$ are not triangle free. Unfortunately, the best known upper bound on $C(\varepsilon)$ is given by a tower-type function, and it is known that $C(\varepsilon)$ is not polynomial in $\varepsilon^{-1}$. The triangle removal lemma has been extended to many other graph properties, and for some of them the corresponding function $C(\varepsilon)$ is polynomial. This raised the natural question, posed by Goldreich in 2005 and more recently by Alon and Fox, of characterizing the properties for which one can prove removal lemmas with polynomial bounds. Our main results in this paper are new sufficient and necessary criteria for guaranteeing that a graph property admits a removal lemma with a polynomial bound. Although both are simple combinatorial criteria, they imply almost all prior positive and negative results of this type. Moreover, our new sufficient conditions allow us to obtain polynomially bounded removal lemmas for many properties for which the previously known bounds were of tower-type. In particular, we show that every {\em semi-algebraic} graph property admits a polynomially bounded removal lemma. This confirms a conjecture of Alon.
2016-11-30 v2
Cospan construction of the graph category of Borisov and Manin
Published in Publ. Mat. 62 (2018), 331-353 • View Publication • BIB
It is shown how the graph category of Borisov and Manin can be constructed from (a variant of) the graph category of Joyal and Kock, essentially by reversing the generic morphisms. More precisely, the morphisms in the Borisov-Manin category are exhibited as cospans of reduced covers and refinement morphisms.
2016-11-30
On the number of maximum independent sets in Doob graphs
Published in Sib. Elektron. Mat. Izv. (Siberian Electronic Mathematical Reports) 12, 2015, 508-512 • View Publication • BIB
The Doob graph $D(m,n)$ is a distance-regular graph with the same parameters as the Hamming graph $H(2m+n,4)$. The maximum independent sets in the Doob graphs are analogs of the distance-$2$ MDS codes in the Hamming graphs. We prove that the logarithm of the number of the maximum independent sets in $D(m,n)$ grows as $2^{2m+n-1}(1+o(1))$. The main tool for the upper estimation is constructing an injective map from the class of maximum independent sets in $D(m,n)$ to the class of distance-$2$ MDS codes in $H(2m+n,4)$.
Completely regular codes in the infinite hexagonal grid
Published in Sib. Elektron. Mat. Izv. (Siberian Electronic Mathematical Reports) 13, 2016, 987-1016 • View Publication • BIB
A set $C$ of vertices of a simple graph is called a completely regular code if for each $i=0$, $1$, $2$, \ldots and $j = i-1$, $i$, $i+1$, all vertices at distance $i$ from $C$ have the same number $s_{ij}$ of neighbors at distance $j$ from $C$. We characterize the completely regular codes in the infinite hexagonal grid graph.
2016-11-29
kirchhoff index and degree kirchhoff index of complete multipartite graph
Published • View Publication • BIB
The Kirchhoff index of a graph is defined as half of the sum of all effective resistance distances between any two vertices. Assuming a complete multipartite graph G, by methods from linear algebra we explicitly formulate effective resistance distances between any two vertices of G, and its Kirchhoff index. In rest of paper we explore extremal value of Kirchhoff index for multipartite graphs
2016-11-29
On Komlós' tiling theorem in random graphs
Published • View Publication • BIB
Conlon, Gowers, Samotij, and Schacht showed that for a given graph $H$ and a constant $γ> 0$, there exists $C > 0$ such that if $p \ge Cn^{-1/m_2(H)}$ then asymptotically almost surely every spanning subgraph $G$ of the random graph $\mathcal{G}(n,p)$ with minimum degree at least $δ(G) \ge (1 - 1/χ_{\mathrm{cr}}(H) + γ)np$ contains an $H$-packing that covers all but at most $γn$ vertices. Here, $χ_{\mathrm{cr}}(H)$ denotes the critical chromatic threshold, a parameter introduced by Komlós. We show that this theorem can be bootstraped to obtain an $H$-packing covering all but at most $γ(C/p)^{m_2(H)}$ vertices, which is strictly smaller when $p > C n^{-1/m_2(H)}$. In the case where $H = K_3$ this answers the question of Balogh, Lee, and Samotij. Furthermore, we give an upper bound on the size of an $H$-packing for certain ranges of $p$.
2016-11-29 v2
Plurigraph coloring and scheduling problems
Published in Electron. J. Combin. 24(2) (2017), #P2.29 • View Publication • BIB
We define a new type of vertex coloring which generalizes vertex coloring in graphs, hypergraphs, and simplicial complexes. This coloring also generalizes oriented coloring, acyclic coloring, and star coloring. There is an associated symmetric function in noncommuting variables for which we give a deletion-contraction formula. In the case of graphs this symmetric function in noncommuting variables agrees with the chromatic symmetric function in noncommuting variables of Gebhard and Sagan. Our vertex coloring is a special case of the scheduling problems defined by Breuer and Klivans. We show how the deletion-contraction law can be applied to scheduling problems. Also, we show that the chromatic symmetric function determines the degree sequence of uniform hypertrees, but there exist pairs on $3$-uniform hypertrees which are not isomorphic yet have the same chromatic symmetric function.
2016-11-29
Degree sum conditions for graphs to have proper connection number 2
A path $P$ in an edge-colored graph $G$ is a \emph{proper path} if no two adjacent edges of $P$ are colored with the same color. The graph $G$ is \emph{proper connected} if, between every pair of vertices, there exists a proper path in $G$. The \emph{proper connection number} $pc(G)$ of a connected graph $G$ is defined as the minimum number of colors to make $G$ proper connected. In this paper, we study the degree sum condition for a general graph or a bipartite graph to have proper connection number 2. First, we show that if $G$ is a connected noncomplete graph of order $n\geq 5$ such that $d(x)+d(y)\geq \frac{n}{2}$ for every pair of nonadjacent vertices $x,y\in V(G)$, then $pc(G)=2$ except for three small graphs on 6, 7 and 8 vertices. In addition, we obtain that if $G$ is a connected bipartite graph of order $n\geq 4$ such that $d(x)+d(y)\geq \frac{n+6}{4}$ for every pair of nonadjacent vertices $x,y\in V(G)$, then $pc(G)=2$. Examples are given to show that the above conditions are best possible.
2016-11-29 v4
Three matching intersection property for matching covered graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (January 15, 2018) dmtcs:3728 • View Publication • BIB
In connection with Fulkerson's conjecture on cycle covers, Fan and Raspaud proposed a weaker conjecture: For every bridgeless cubic graph $G$, there are three perfect matchings $M_1$, $M_2$, and $M_3$ such that $M_1\cap M_2 \cap M_3=\emptyset$. We call the property specified in this conjecture the three matching intersection property (and 3PM property for short). We study this property on matching covered graphs. The main results are a necessary and sufficient condition and its applications to characterization of special graphs, such as the Halin graphs and 4-regular graphs.
2016-11-29
Restraints Permitting the Largest Number of Colourings
Published in Discrete Applied Mathematics, 222 (2017), 76-88 • View Publication • BIB
A \textit{restraint} $r$ on $G$ is a function which assigns each vertex $v$ of $G$ a finite set of forbidden colours $r(v)$. A proper colouring $c$ of $G$ is said to be \textit{permitted by the restraint r} if $c(v)\notin r(v)$ for every vertex $v$ of $G$. A restraint $r$ on a graph $G$ with $n$ vertices is called a \textit{$k$-restraint} if $|r(v)|=k$ and $r(v) \subseteq \{1,2,\dots ,kn\}$ for every vertex $v$ of $G$. In this article we discuss the following problem: among all $k$-restraints $r$ on $G$, which restraints permit the largest number of $x$-colourings for all large enough $x$? We determine such extremal restraints for all bipartite graphs.
2016-11-29
New Bounds for Chromatic Polynomials and Chromatic Roots
Published in Discrete Mathematics, 338(11) (2015), 1938-1946 • View Publication • BIB
If $G$ is a $k$-chromatic graph of order $n$ then it is known that the chromatic polynomial of $G$, $π(G,x)$, is at most $x(x-1)\cdots (x-(k-1))x^{n-k} = (x)_{\downarrow k}x^{n-k}$ for every $x\in \mathbb{N}$. We improve here this bound by showing that \[ π(G,x) \leq (x)_{\downarrow k} (x-1)^{Δ(G)-k+1} x^{n-1-Δ(G)}\] for every $x\in \mathbb{N},$ where $Δ(G)$ is the maximum degree of $G$. Secondly, we show that if $G$ is a connected $k$-chromatic graph of order $n$ where $k\geq 4$ then $π(G,x)$ is at most $(x)_{\downarrow k}(x-1)^{n-k}$ for every real $x\geq n-2+\left( {n \choose 2} -{k \choose 2}-n+k \right)^2$ (it had been previously conjectured that this inequality holds for all $x \geq k$). Finally, we provide an upper bound on the moduli of the chromatic roots that is an improvment over known bounds for dense graphs.
2016-11-29
Partition dimension of projective planes
We determine the partition dimension of the incidence graph $G(Π_q)$ of the projective plane $Π_q$ up to a constant factor $2$ as $(2+o(1))\log_2{q}\leq \mathrm{pd}(G(Π_q))\leq (4+o(1))\log_2{q}.$
2016-11-29 v3
Maximum Weight Stable Set in ($P_7$, bull)-free graphs and ($S_{1,2,3}$, bull)-free graphs
We give a polynomial time algorithm that finds the maximum weight stable set in a graph that does not contain an induced path on seven vertices or a bull (the graph with vertices $a$, $b$, $c$, $d$, $e$ and edges $ab$, $bc$, $cd$, $be$, $ce$). With the same arguments with also give a polynomial algorithm for any graph that does not contain $S_{1,2,3}$ or a bull.
The Optimal Pebbling Number of Staircase Graphs
Let G be a graph with a distribution of pebbles on its vertices. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The optimal pebbling number of G is the smallest number of pebbles which can placed on the vertices of G such that, for any vertex v of G, there is a sequence of pebbling moves resulting in at least one pebble on v. We determine the optimal pebbling number for several classes of induced subgraphs of the square grid, which we call staircase graphs.
2016-11-29
Stapledon Decompositions and Inequalities for Coefficients of Chromatic Polynomials
We use a polynomial decomposition result by Stapledon to show that the numerator polynomial of the Ehrhart series of an open polytope is the difference of two symmetric polynomials with nonnegative integer coefficients. We obtain a related decomposition for order polytopes and for the numerator polynomial of the corresponding series for chromatic polynomials. The nonnegativity of the coefficients in such decompositions provide inequalities satisfied by the coefficients of chromatic polynomials for any simple graph.
Pretty good state transfer between internal nodes of paths
Published in Quantum Information & Computation, Vol. 17 No.9&10, August 2017. PP0825-0830 • View Publication • BIB
We study a continous-time quantum walk on a path graph. In this paper, we show that, for any odd prime $p$ and positive integer $t$, the path on $2^t p - 1$ vertices admits pretty good state transfer between vertices $a$ and $n+1-a$ for each $a$ that is a multiple of $2^{t-1}$ with respect to the quantum walk model determined by the XY-Hamiltonian. This gives the first examples of pretty good state transfer occurring between internal vertices on a path, when it does not occur between the extremal vertices.
Quantum and non-signalling graph isomorphisms
Published • View Publication • BIB
We introduce a two-player nonlocal game, called the $(G,H)$-isomorphism game, where classical players can win with certainty if and only if the graphs $G$ and $H$ are isomorphic. We then define the notions of quantum and non-signalling isomorphism, by considering perfect quantum and non-signalling strategies for the $(G,H)$-isomorphism game, respectively. In the quantum case, we consider both the tensor product and commuting frameworks for nonlocal games. We prove that non-signalling isomorphism coincides with the well-studied notion of fractional isomorphism, thus giving the latter an operational interpretation. Second, we show that, in the tensor product framework, quantum isomorphism is equivalent to the feasibility of two polynomial systems in non-commuting variables, obtained by relaxing the standard integer programming formulations for graph isomorphism to Hermitian variables. On the basis of this correspondence, we show that quantum isomorphic graphs are necessarily cospectral. Finally, we provide a construction for reducing linear binary constraint system games to isomorphism games. This allows us to produce quantum isomorphic graphs that are nevertheless not isomorphic. Furthermore, it allows us to show that our two notions of quantum isomorphism, from the tensor product and commuting frameworks, are in fact distinct relations, and that the latter is undecidable. Our construction is related to the FGLSS reduction from inapproximability literature, as well as the CFI construction.