graph
34828 papers tagged with this keyword
Distance mean-regular graphs
Published
• View Publication
• BIB
We introduce the concept of distance mean-regular graph, which can be seen as a generalization of both vertex-transitive and distance-regular graphs. Let $Γ$ be a graph with vertex set $V$, diameter $D$, adjacency matrix $A$, and adjacency algebra ${\cal A}$. Then, $Γ$ is $distance$ $mean$-$regular$ when, for a given $u\in V$, the averages of the intersection numbers $p_{ij}^h(u,v)=|Γ_i(u)\cap Γ_j(v)|$ (number of vertices at distance $i$ from $u$ and distance $j$ from $v$) computed over all vertices $v$ at a given distance $h\in \{0,1,\ldots,D\}$ from $u$, do not depend on $u$. In this work we study some properties and characterizations of these graphs. For instance, it is shown that a distance mean-regular graph is always distance degree-regular, and we give a condition for the converse to be also true. Some algebraic and spectral properties of distance mean-regular graphs are also investigated. We show that, for distance mean regular-graphs, the role of the distance matrices of distance-regular graphs is played for the so-called distance mean-regular matrices. These matrices are computed from a sequence of orthogonal polynomials evaluated at the adjacency matrix of $Γ$ and, hence, they generate a subalgebra of ${\cal A}$. Some other algebras associated to distance mean-regular graphs are also characterized.
Ramsey equivalence of $K_n$ and $K_n+K_{n-1}$
Published
• View Publication
• BIB
We prove that, for $n\geq 4$, the graphs $K_n$ and $K_n+K_{n-1}$ are Ramsey equivalent. That is, if $G$ is such that any red-blue colouring of its edges creates a monochromatic $K_n$ then it must also possess a monochromatic $K_n+K_{n-1}$.
Chromatic thresholds in dense random graphs
Published
• View Publication
• BIB
The chromatic threshold $δ_χ(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $δ(G) \ge dpn$ has bounded chromatic number. The study of the parameter $δ_χ(H) := δ_χ(H,1)$ was initiated in 1973 by Erdős and Simonovits, and was recently determined for all graphs $H$. In this paper we show that $δ_χ(H,p) = δ_χ(H)$ for all fixed $p \in (0,1)$, but that typically $δ_χ(H,p) \ne δ_χ(H)$ if $p = o(1)$. We also make significant progress towards determining $δ_χ(H,p)$ for all graphs $H$ in the range $p = n^{-o(1)}$. In sparser random graphs the problem is somewhat more complicated, and is studied in a separate paper.
Chromatic thresholds in sparse random graphs
Published
• View Publication
• BIB
The chromatic threshold $δ_χ(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $δ(G) \ge dpn$ has bounded chromatic number. The study of $δ_χ(H) :=δ_χ(H,1)$ was initiated in 1973 by Erdős and Simonovits. Recently $δ_χ(H)$ was determined for all graphs $H$. It is known that $δ_χ(H,p) =δ_χ(H)$ for all fixed $p \in (0,1)$, but that typically $δ_χ(H,p) \ne δ_χ(H)$ if $p = o(1)$.
Here we study the problem for sparse random graphs. We determine $δ_χ(H,p)$ for most functions $p = p(n)$ when $H\in\{K_3,C_5\}$, and also for all graphs $H$ with $χ(H) \not\in \{3,4\}$.
Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8
We introduce a new variant of graph coloring called correspondence coloring which generalizes list coloring and allows for reductions previously only possible for ordinary coloring. Using this tool, we prove that excluding cycles of lengths 4 to 8 is sufficient to guarantee 3-choosability of a planar graph, thus answering a question of Borodin.
Resolvability and Strong Resolvability in the Direct Product of Graphs
Published
• View Publication
• BIB
Given a connected graph $G$, a vertex $w\in V(G)$ distinguishes two different vertices $u,v$ of $G$ if the distances between $w$ and $u$ and between $w$ and $v$ are different. Moreover, $w$ strongly resolves the pair $u,v$ if there exists some shortest $u-w$ path containing $v$ or some shortest $v-w$ path containing $u$. A set $W$ of vertices is a (strong) metric generator for $G$ if every pair of vertices of $G$ is (strongly resolved) distinguished by some vertex of $W$. The smallest cardinality of a (strong) metric generator for $G$ is called the (strong) metric dimension of $G$. In this article we study the (strong) metric dimension of some families of direct product graphs.
A Lower Bound on the Diameter of the Flip Graph
Published
• View Publication
• BIB
The flip graph is the graph whose nodes correspond to non-isomorphic combinatorial triangulations and whose edges connect pairs of triangulations that can be obtained one from the other by flipping a single edge. In this note we show that the diameter of the flip graph is at least $\frac{7n}{3} + Θ(1)$, improving upon the previous $2n + Θ(1)$ lower bound.
A Proof of the Erdös - Faber - Lovász Conjecture
In 1972, Erdös - Faber - Lovász (EFL) conjectured that, if $\textbf{H}$ is a linear hypergraph consisting of $n$ edges of cardinality $n$, then it is possible to color the vertices with $n$ colors so that no two vertices with the same color are in the same edge. In 1978, Deza, Erdös and Frankl had given an equivalent version of the same for graphs: Let $G= \bigcup _{i=1}^{n} A_i$ denote a graph with $n$ complete graphs $A_1, A_2,$ $ \dots , A_n$, each having exactly $n$ vertices and have the property that every pair of complete graphs has at most one common vertex, then the chromatic number of $G$ is $n$. The clique degree $d^K(v)$ of a vertex $v$ in $G$ is given by $d^K(v) = |\{A_i: v \in V(A_i), 1 \leq i \leq n\}|$. In this paper we give an algorithmic proof of the conjecture using the symmetric latin squares and clique degrees of the vertices of $G$.
On the Strong Chromatic Index of Sparse Graphs
Published
• View Publication
• BIB
The strong chromatic index of a graph $G$, denoted $χ_s'(G)$, is the least number of colors needed to edge-color $G$ so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted $χ_{s,\ell}'(G)$, is the least integer $k$ such that if arbitrary lists of size $k$ are assigned to each edge then $G$ can be edge-colored from those lists where edges at distance at most two receive distinct colors. We use the discharging method, the Combinatorial Nullstellensatz, and computation to show that if $G$ is a subcubic planar graph with $\operatorname{girth}(G) \geq 41$ then $χ_{s,\ell}'(G) \leq 5$, answering a question of Borodin and Ivanova [Precise upper bound for the strong edge chromatic number of sparse planar graphs, Discuss. Math. Graph Theory, 33(4), (2014) 759--770]. We further show that if $G$ is a subcubic planar graph and $\operatorname{girth}(G) \geq 30$, then $χ_s'(G) \leq 5$, improving a bound from the same paper. Finally, if $G$ is a planar graph with maximum degree at most four and $\operatorname{girth}(G) \geq 28$, then $χ_s'(G) \leq 7$, improving a more general bound of Wang and Zhao from [Odd graphs and its application on the strong edge coloring, arXiv:1412.8358] in this case.
List-coloring claw-free graphs with $Δ$-1 colors
Published in SIAM Journal on Discrete Math. Vol. 31(2), 2017, pp. 726-748
• View Publication
• BIB
We prove that if $G$ is a quasi-line graph with $Δ(G)>ω(G)$ and $Δ(G)\ge 69$, then $χ_{OL}(G)\le Δ(G)-1$. Together with our previous work, this implies that if $G$ is a claw-free graph with $Δ(G)>ω(G)$ and $Δ(G)\ge 69$, then $χ_{\ell}(G)\le Δ(G)-1$.
Planar Graphs of Girth at least Five are Square $(Δ+ 2)$-Choosable
Published in Journal of Combinatorial Theory, Series B. Vol. 134, 2019, pp. 218-238
• View Publication
• BIB
We prove a conjecture of Dvořák, Král, Nejedlý, and Škrekovski that planar graphs of girth at least five are square $(Δ+2)$-colorable for large enough $Δ$. In fact, we prove the stronger statement that such graphs are square $(Δ+2)$-choosable and even square $(Δ+2)$-paintable.
Toward Żak's conjecture on graph packing
Published
• View Publication
• BIB
Two graphs $G_{1} = (V_{1}, E_{1})$ and $G_{2} = (V_{2}, E_{2})$, each of order $n$, pack if there exists a bijection $f$ from $V_{1}$ onto $V_{2}$ such that $uv \in E_{1}$ implies $f(u)f(v) \notin E_{2}$. In 2014, Żak proved that if $Δ(G_{1}), Δ(G_{2}) \leq n-2$ and $|E_{1}| + |E_{2}| + \max \{ Δ(G_{1}), Δ(G_{2}) \} \leq 3n - 96n^{3/4} - 65$, then $G_{1}$ and $G_{2}$ pack. In the same paper, he conjectured that if $Δ(G_{1}), Δ(G_{2}) \leq n-2$, then $|E_{1}| + |E_{2}| + \max \{ Δ(G_{1}), Δ(G_{2}) \} \leq 3n - 7$ is sufficient for $G_{1}$ and $G_{2}$ to pack. We prove that, up to an additive constant, Żak's conjecture is correct. Namely, there is a constant $C$ such that if $Δ(G_1),Δ(G_2) \leq n-2$ and $|E_{1}| + |E_{2}| + \max \{ Δ(G_{1}), Δ(G_{2}) \} \leq 3n - C$, then $G_{1}$ and $G_{2}$ pack. In order to facilitate induction, we prove a stronger result on list packing.
On interval edge-colorings of bipartite graphs of small order
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The problem of deciding whether a bipartite graph is interval colorable is NP-complete. The smallest known examples of interval non-colorable bipartite graphs have $19$ vertices. On the other hand it is known that the bipartite graphs on at most $14$ vertices are interval colorable. In this work we observe that several classes of bipartite graphs of small order have an interval coloring. In particular, we show that all bipartite graphs on $15$ vertices are interval colorable.
Algebraic flow theory of infinite graphs
Published in European Journal of Combinatorics, Volume 62, May 2017, Pages 58-69
• View Publication
• BIB
A problem by Diestel is to extend algebraic flow theory of finite graphs to infinite graphs with ends. In order to pursue this problem, we define an A-flow and non-elusive H-flow for arbitrary graphs and for abelian topological Hausdorff groups H and compact subsets A of H. We use these new definitions to extend several well-known theorems of flows in finite graphs to infinite graphs.
Bounds for codes on pentagon and other cycles
The capacity of a graph is defined as the rate of exponential grow of independent sets in the strong powers of the graph. In strong power, an edge connects two sequences if at each position letters are equal or adjacent. We consider a variation of the problem where edges in the power graphs are removed among sequences which differ in more than a fraction $δ$ of coordinates. For odd cycles, we derive an upper bound on the corresponding rate which combines Lovász' bound on the capacity with Delsarte's linear programming bounds on the minimum distance of codes in Hamming spaces. For the pentagon, this shows that for $δ\ge {1-{1\over\sqrt{5}}}$ the Lovász rate is the best possible, while we prove by a Gilbert-Varshamov-type bound that a higher rate is achievable for $δ< {2\over 5}$.
Communication interpretation of this question is the problem of sending quinary symbols subject to $\pm 1\mod 5$ disturbance. The maximal communication rate subject to the zero undetected-error equals capacity of a pentagon. The question addressed here is how much this rate can be increased if only a fraction $δ$ of symbols is allowed to be disturbed
On the precise value of the strong chromatic-index of a planar graph with a large girth
Published
• View Publication
• BIB
A strong $k$-edge-coloring of a graph $G$ is a mapping from $E(G)$ to $\{1,2,\ldots,k\}$ such that every pair of distinct edges at distance at most two receive different colors. The strong chromatic index $χ'_s(G)$ of a graph $G$ is the minimum $k$ for which $G$ has a strong $k$-edge-coloring. Denote $σ(G)=\max_{xy\in E(G)}\{\operatorname{deg}(x)+\operatorname{deg}(y)-1\}$. It is easy to see that $σ(G) \le χ'_s(G)$ for any graph $G$, and the equality holds when $G$ is a tree. For a planar graph $G$ of maximum degree $Δ$, it was proved that $χ'_s(G) \le 4 Δ+4$ by using the Four Color Theorem. The upper bound was then reduced to $4Δ$, $3Δ+5$, $3Δ+1$, $3Δ$, $2Δ-1$ under different conditions for $Δ$ and the girth. In this paper, we prove that if the girth of a planar graph $G$ is large enough and $σ(G)\geq Δ(G)+2$, then the strong chromatic index of $G$ is precisely $σ(G)$. This result reflects the intuition that a planar graph with a large girth locally looks like a tree.
The Thue choice number versus the Thue chromatic number of graphs
We say that a vertex colouring $\varphi$ of a graph $G$ is nonrepetitive if there is no positive integer $n$ and a path on $2n$ vertices $v_{1}\ldots v_{2n}$ in $G$ such that the associated sequence of colours $\varphi(v_{1})\ldots\varphi(v_{2n})$ satisfy $\varphi(v_{i})=\varphi(v_{i+n})$ for all $i=1,2,\dots,n$. The minimum number of colours in a nonrepetitive vertex colouring of $G$ is the Thue chromatic number $π(G)$. For the case of vertex list colourings the Thue choice number $π_{l}(G)$ of $G$ denotes the smallest integer $k$ such that for every list assignment $L:V(G)\rightarrow 2^{\mathbb{N}}$ with minimum list length at least $k$, there is a nonrepetitive vertex colouring of $G$ from the assigned lists. Recently it was proved that the Thue chromatic number and the Thue choice number of the same graph may have an arbitrary large difference in some classes of graphs. Here we give an overview of the known results where we compare these two parameters for several families of graphs and we also give a list of open problems on this topic.
10-tough chordal graphs are Hamiltonian
Published
• View Publication
• BIB
Chen et al. proved that every 18-tough chordal graph has a Hamilton cycle [Networks 31 (1998), 29-38]. Improving upon their bound, we show that every 10-tough chordal graph is Hamiltonian (in fact, Hamilton-connected). We use Aharoni and Haxell's hypergraph extension of Hall's Theorem as our main tool.
A method for determining the mod-$p^k$ behaviour of recursive sequences
Published
• View Publication
• BIB
We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing graphs and numbers of Kreweras walks modulo powers of~$3$, as well as congruences for Fuß-Catalan numbers and blossom tree numbers modulo powers of arbitrary primes.
On the safe set of Cartesian product of two complete graphs
For a connected graph $G$, a vertex subset $S$ of $V(G)$ is a safe set if for every component $C$ of the subgraph of $G$ induced by $S$, $|C| \ge |D|$ holds for every component $D$ of $G-S$ such that there exists an edge between $C$ and $D$, and, in particular, if the subgraph induced by $S$ is connected, then $S$ is called a connected safe set. For a connected graph $G$, the safe number and the connected safe number of $G$ are the minimum among sizes of the safe sets and the minimum among sizes of the connected safe sets, respectively, of $G$. Fujita et al. introduced these notions in connection with a variation of the facility location problem.
In this paper, we study the safe number and the connected safe number of Cartesian product of two complete graphs. Figuring out a way to reduce the number of components to two without changing the size of safe set makes it sufficient to consider only partitions of an integer into two parts without which it would be much more complicated to take care of all the partitions. In this way, we could show that the safe number and the connected safe number of Cartesian product of two complete graphs are equal and present a polynomial-time algorithm to compute them. Especially, in the case where one of complete components has order at most four, we precisely formulate those numbers.