Showing 1–24 of 24 results for author: Casselgren, C J

Brooks' theorem with forbidden colors

Authors: Carl Johan Casselgren

Abstract: We consider extensions of Brooks' classic theorem on vertex coloring where some colors cannot be used on certain vertices. In particular we prove that if $G$ is a connected graph with maximum degree $Δ(G) \geq 4$ that is not a complete graph and $P \subseteq V(G)$ is a set of vertices where either (i) at most $Δ(G)-2$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are… ▽ More We consider extensions of Brooks' classic theorem on vertex coloring where some colors cannot be used on certain vertices. In particular we prove that if $G$ is a connected graph with maximum degree $Δ(G) \geq 4$ that is not a complete graph and $P \subseteq V(G)$ is a set of vertices where either (i) at most $Δ(G)-2$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $4$, or (ii) at most $Δ(G)-3$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $3$, then there is a proper $Δ(G)$-coloring of $G$ respecting these constraints. In fact, we shall prove that these results hold in the more general setting of list colorings. These results are sharp. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Extending partial edge colorings of iterated cartesian products of cycles and paths

Authors: Carl Johan Casselgren, Jonas B. Granholm, Fikre B. Petros

Abstract: We consider the problem of extending partial edge colorings of iterated cartesian products of even cycles and paths, focusing on the case when the precolored edges satisfy either an Evans-type condition or is a matching. In particular, we prove that if $G=C^d_{2k}$ is the $d$th power of the cartesian product of the even cycle $C_{2k}$ with itself, and at most $2d-1$ edges of $G$ are precolored, th… ▽ More We consider the problem of extending partial edge colorings of iterated cartesian products of even cycles and paths, focusing on the case when the precolored edges satisfy either an Evans-type condition or is a matching. In particular, we prove that if $G=C^d_{2k}$ is the $d$th power of the cartesian product of the even cycle $C_{2k}$ with itself, and at most $2d-1$ edges of $G$ are precolored, then there is a proper $2d$-edge coloring of $G$ that agrees with the partial coloring. We show that the same conclusion holds, without restrictions on the number of precolored edges, if any two precolored edges are at distance at least $4$ from each other. For odd cycles of length at least $5$, we prove that if $G=C^d_{2k+1}$ is the $d$th power of the cartesian product of the odd cycle $C_{2k+1}$ with itself ($k\geq2$), and at most $2d$ edges of $G$ are precolored, then there is a proper $(2d+1)$-edge coloring of $G$ that agrees with the partial coloring. Our results generalize previous ones on precoloring extension of hypercubes [Journal of Graph Theory 95 (2020) 410--444]. △ Less

Submitted 3 June, 2024; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: Final version, published in DMTCS

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Graph Theory (June 4, 2024) dmtcs:11377

Extending partial edge colorings of cartesian products of graphs

Authors: Carl Johan Casselgren, Fikre B. Petros, Samuel A. Fufa

Abstract: We consider the problem of extending partial edge colorings of cartesian products of graphs. More specifically, we suggest the following Evans-type conjecture: If $G$ is a graph where every precoloring of at most $k$ precolored edges can be extended to a proper $χ'(G)$-edge coloring, then every precoloring of at most $k+1$ edges of $G \square K_2$ is extendable to a proper $(χ'(G) +1)$-edge colori… ▽ More We consider the problem of extending partial edge colorings of cartesian products of graphs. More specifically, we suggest the following Evans-type conjecture: If $G$ is a graph where every precoloring of at most $k$ precolored edges can be extended to a proper $χ'(G)$-edge coloring, then every precoloring of at most $k+1$ edges of $G \square K_2$ is extendable to a proper $(χ'(G) +1)$-edge coloring of $G \square K_2$. In this paper we verify that this conjecture holds for trees, complete and complete bipartite graphs, as well as for graphs with small maximum degree. We also prove versions of the conjecture for general regular graphs where the precolored edges are required to be independent. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: arXiv admin note: text overlap with arXiv:1711.01066

A note on one-sided interval edge colorings of bipartite graphs

Authors: Carl Johan Casselgren

Abstract: For a bipartite graph $G$ with parts $X$ and $Y$, an $X$-interval coloring is a proper edge coloring of $G$ by integers such that the colors on the edges incident to any vertex in $X$ form an interval. Denote by $χ'_{int}(G,X)$ the minimum $k$ such that $G$ has an $X$-interval coloring with $k$ colors. The author and Toft conjectured [Discrete Mathematics 339 (2016), 2628--2639] that there is a po… ▽ More For a bipartite graph $G$ with parts $X$ and $Y$, an $X$-interval coloring is a proper edge coloring of $G$ by integers such that the colors on the edges incident to any vertex in $X$ form an interval. Denote by $χ'_{int}(G,X)$ the minimum $k$ such that $G$ has an $X$-interval coloring with $k$ colors. The author and Toft conjectured [Discrete Mathematics 339 (2016), 2628--2639] that there is a polynomial $P(x)$ such that if $G$ has maximum degree at most $Δ$, then $χ'_{int}(G,X) \leq P(Δ)$. In this short note, we prove this conjecture; in fact, we prove that a cubic polynomial suffices. We also deduce some improved upper bounds on $χ'_{int}(G,X)$ for bipartite graphs with small maximum degree. △ Less

Submitted 26 June, 2021; originally announced June 2021.

Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules

Authors: Armen S. Asratian, Carl Johan Casselgren, Petros A. Petrosyan

Abstract: A graph $G$ is called interval colorable if it has a proper edge coloring with colors $1,2,3,\dots$ such that the colors of the edges incident to every vertex of $G$ form an interval of integers. Not all graphs are interval colorable; in fact, quite few families have been proved to admit interval colorings. In this paper we introduce and investigate a new notion, the interval coloring thickness of… ▽ More A graph $G$ is called interval colorable if it has a proper edge coloring with colors $1,2,3,\dots$ such that the colors of the edges incident to every vertex of $G$ form an interval of integers. Not all graphs are interval colorable; in fact, quite few families have been proved to admit interval colorings. In this paper we introduce and investigate a new notion, the interval coloring thickness of a graph $G$, denoted ${θ_{\mathrm{int}}}(G)$, which is the minimum number of interval colorable edge-disjoint subgraphs of $G$ whose union is $G$. Our investigation is motivated by scheduling problems with compactness requirements, in particular, problems whose solution may consist of several schedules, but where each schedule must not contain any waiting periods or idle times for all involved parties. We first prove that every connected properly $3$-edge colorable graph with maximum degree $3$ is interval colorable, and using this result, we deduce an upper bound on ${θ_{\mathrm{int}}}(G)$ for general graphs $G$. We demonstrate that this upper bound can be improved in the case when $G$ is bipartite, planar or complete multipartite and consider some applications in timetabling. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Avoiding and extending partial edge colorings of hypercubes

Authors: Carl Johan Casselgren, Per Johansson, Klas Markström

Abstract: We consider the problem of extending and avoiding partial edge colorings of hypercubes; that is, given a partial edge coloring $\varphi$ of the $d$-dimensional hypercube $Q_d$, we are interested in whether there is a proper $d$-edge coloring of $Q_d$ that agrees with the coloring $\varphi$ on every edge that is colored under $\varphi$; or, similarly, if there is a proper $d$-edge coloring that dis… ▽ More We consider the problem of extending and avoiding partial edge colorings of hypercubes; that is, given a partial edge coloring $\varphi$ of the $d$-dimensional hypercube $Q_d$, we are interested in whether there is a proper $d$-edge coloring of $Q_d$ that agrees with the coloring $\varphi$ on every edge that is colored under $\varphi$; or, similarly, if there is a proper $d$-edge coloring that disagrees with $\varphi$ on every edge that is colored under $\varphi$. In particular, we prove that for any $d\geq 1$, if $\varphi$ is a partial $d$-edge coloring of $Q_d$, then $\varphi$ is avoidable if every color appears on at most $d/8$ edges and the coloring satisfies a relatively mild structural condition, or $\varphi$ is proper and every color appears on at most $d-2$ edges. We also show that the same conclusion holds if $d$ is divisible by $3$ and every color class of $\varphi$ is an induced matching. Moreover, for all $1 \leq k \leq d$, we characterize for which configurations consisting of a partial coloring $\varphi$ of $d-k$ edges and a partial coloring $ψ$ of $k$ edges, there is an extension of $\varphi$ that avoids $ψ$. △ Less

Submitted 1 April, 2021; originally announced April 2021.

A note on adaptable choosability and choosability with separation of planar graphs

Authors: Carl Johan Casselgren, Jonas B. Granholm, André Raspaud

Abstract: Let $F$ be a (possibly improper) edge-coloring of a graph $G$; a vertex coloring of $G$ is \emph{adapted to} $F$ if no color appears at the same time on an edge and on its two endpoints. If for some integer $k$, a graph $G$ is such that given any list assignment $L$ to the vertices of $G$, with $|L(v)| \ge k$ for all $v$, and any edge-coloring $F$ of $G$, $G$ admits a coloring $c$ adapted to $F$ w… ▽ More Let $F$ be a (possibly improper) edge-coloring of a graph $G$; a vertex coloring of $G$ is \emph{adapted to} $F$ if no color appears at the same time on an edge and on its two endpoints. If for some integer $k$, a graph $G$ is such that given any list assignment $L$ to the vertices of $G$, with $|L(v)| \ge k$ for all $v$, and any edge-coloring $F$ of $G$, $G$ admits a coloring $c$ adapted to $F$ where $c(v) \in L(v)$ for all $v$, then $G$ is said to be \emph{adaptably $k$-choosable}. A {\em $(k,d)$-list assignment} for a graph $G$ is a map that assigns to each vertex $v$ a list $L(v)$ of at least $k$ colors such that $|L(x) \cap L(y)| \leq d$ whenever $x$ and $y$ are adjacent. A graph is {\em $(k,d)$-choosable} if for every $(k,d)$-list assignment $L$ there is an $L$-coloring of $G$. It has been conjectured that planar graphs are $(3,1)$-choosable. We give some progress on this conjecture by giving sufficient conditions for a planar graph to be adaptably $3$-choosable. Since $(k,1)$-choosability is a special case of adaptable $k$-choosablity, this implies that a planar graph satisfying these conditions is $(3,1)$-choosable. △ Less

Submitted 30 October, 2020; originally announced October 2020.

Comments: To appear in JCMCC

Completing partial Latin squares with two filled rows and three filled columns

Authors: Carl Johan Casselgren, Herman Göransson

Abstract: Consider a partial Latin square $P$ where the first two rows and first three columns are completely filled, and every other cell of $P$ is empty. It has been conjectured that all such partial Latin squares of order at least $8$ are completable. Based on a technique by Kuhl and McGinn we describe a framework for completing partial Latin squares in this class. Moreover, we use our method for proving… ▽ More Consider a partial Latin square $P$ where the first two rows and first three columns are completely filled, and every other cell of $P$ is empty. It has been conjectured that all such partial Latin squares of order at least $8$ are completable. Based on a technique by Kuhl and McGinn we describe a framework for completing partial Latin squares in this class. Moreover, we use our method for proving that all partial Latin squares from this family, where the intersection of the nonempty rows and columns form a Latin rectangle with three distinct symbols, is completable. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Improper interval edge colorings of graphs

Authors: Carl Johan Casselgren, Petros A. Petrosyan

Abstract: A $k$-improper edge coloring of a graph $G$ is a mapping $α:E(G)\longrightarrow \mathbb{N}$ such that at most $k$ edges of $G$ with a common endpoint have the same color. An improper edge coloring of a graph $G$ is called an improper interval edge coloring if the colors of the edges incident to each vertex of $G$ form an integral interval. In this paper we introduce and investigate a new notion, t… ▽ More A $k$-improper edge coloring of a graph $G$ is a mapping $α:E(G)\longrightarrow \mathbb{N}$ such that at most $k$ edges of $G$ with a common endpoint have the same color. An improper edge coloring of a graph $G$ is called an improper interval edge coloring if the colors of the edges incident to each vertex of $G$ form an integral interval. In this paper we introduce and investigate a new notion, the interval coloring impropriety (or just impropriety) of a graph $G$ defined as the smallest $k$ such that $G$ has a $k$-improper interval edge coloring; we denote the smallest such $k$ by $μ_{\mathrm{int}}(G)$. We prove upper bounds on $μ_{\mathrm{int}}(G)$ for general graphs $G$ and for particular families such as bipartite, complete multipartite and outerplanar graphs; we also determine $μ_{\mathrm{int}}(G)$ exactly for $G$ belonging to some particular classes of graphs. Furthermore, we provide several families of graphs with large impropriety; in particular, we prove that for each positive integer $k$, there exists a graph $G$ with $μ_{\mathrm{int}}(G) =k$. Finally, for graphs with at least two vertices we prove a new upper bound on the number of colors used in an improper interval edge coloring. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Restricted extension of sparse partial edge colorings of complete graphs

Authors: Carl Johan Casselgren, Lan Anh Pham

Abstract: Given a partial edge coloring of a complete graph $K_n$ and lists of allowed colors for the non-colored edges of $K_n$, can we extend the partial edge coloring to a proper edge coloring of $K_n$ using only colors from the lists? We prove that this question has a positive answer in the case when both the partial edge coloring and the color lists satisfy certain sparsity conditions. Given a partial edge coloring of a complete graph $K_n$ and lists of allowed colors for the non-colored edges of $K_n$, can we extend the partial edge coloring to a proper edge coloring of $K_n$ using only colors from the lists? We prove that this question has a positive answer in the case when both the partial edge coloring and the color lists satisfy certain sparsity conditions. △ Less

Submitted 16 December, 2019; originally announced December 2019.

On star edge colorings of bipartite and subcubic graphs

Authors: Carl Johan Casselgren, Jonas B. Granholm, André Raspaud

Abstract: A star edge coloring of a graph is a proper edge coloring with no $2$-colored path or cycle of length four. The star chromatic index $χ'_{st}(G)$ of $G$ is the minimum number $t$ for which $G$ has a star edge coloring with $t$ colors. We prove upper bounds for the star chromatic index of complete bipartite graphs; in particular we obtain tight upper bounds for the case when one part has size at mo… ▽ More A star edge coloring of a graph is a proper edge coloring with no $2$-colored path or cycle of length four. The star chromatic index $χ'_{st}(G)$ of $G$ is the minimum number $t$ for which $G$ has a star edge coloring with $t$ colors. We prove upper bounds for the star chromatic index of complete bipartite graphs; in particular we obtain tight upper bounds for the case when one part has size at most $3$. We also consider bipartite graphs $G$ where all vertices in one part have maximum degree $2$ and all vertices in the other part has maximum degree $b$. Let $k$ be an integer ($k\geq 1$), we prove that if $b=2k+1$ then $χ'_{st}(G) \leq 3k+2$; and if $b=2k$, then $χ'_{st}(G) \leq 3k$; both upper bounds are sharp. Finally, we consider the well-known conjecture that subcubic graphs have star chromatic index at most $6$; in particular we settle this conjecture for cubic Halin graphs. △ Less

Submitted 27 January, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: 18 pages

MSC Class: 05C15

Journal ref: Discrete Applied Mathematics 298 (2021), 21-33

Latin cubes of even order with forbidden entries

Authors: Carl Johan Casselgren, Lan Anh Pham

Abstract: We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2t$ and $A$ is a $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there… ▽ More We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2t$ and $A$ is a $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1809.02392

Latin Cubes with Forbidden Entries

Authors: Carl Johan Casselgren, Klas Markström, Lan Anh Pham

Abstract: We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there… ▽ More We consider the problem of constructing Latin cubes subject to the condition that some symbols may not appear in certain cells. We prove that there is a constant $γ> 0$ such that if $n=2^k$ and $A$ is $3$-dimensional $n\times n\times n$ array where every cell contains at most $γn$ symbols, and every symbol occurs at most $γn$ times in every line of $A$, then $A$ is {\em avoidable}; that is, there is a Latin cube $L$ of order $n$ such that for every $1\leq i,j,k\leq n$, the symbol in position $(i,j,k)$ of $L$ does not appear in the corresponding cell of $A$. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Some results on the palette index of graphs

Authors: C. J. Casselgren, Petros A. Petrosyan

Abstract: Given a proper edge coloring $\varphi$ of a graph $G$, we define the palette $S_{G}(v,\varphi)$ of a vertex $v \in V(G)$ as the set of all colors appearing on edges incident with $v$. The palette index $\check s(G)$ of $G$ is the minimum number of distinct palettes occurring in a proper edge coloring of $G$. In this paper we give various upper and lower bounds on the palette index of $G$ in terms… ▽ More Given a proper edge coloring $\varphi$ of a graph $G$, we define the palette $S_{G}(v,\varphi)$ of a vertex $v \in V(G)$ as the set of all colors appearing on edges incident with $v$. The palette index $\check s(G)$ of $G$ is the minimum number of distinct palettes occurring in a proper edge coloring of $G$. In this paper we give various upper and lower bounds on the palette index of $G$ in terms of the vertex degrees of $G$, particularly for the case when $G$ is a bipartite graph with small vertex degrees. Some of our results concern $(a,b)$-biregular graphs; that is, bipartite graphs where all vertices in one part have degree $a$ and all vertices in the other part have degree $b$. We conjecture that if $G$ is $(a,b)$-biregular, then $\check{s}(G)\leq 1+\max\{a,b\}$, and we prove that this conjecture holds for several families of $(a,b)$-biregular graphs. Additionally, we characterize the graphs whose palette index equals the number of vertices. △ Less

Submitted 8 April, 2019; v1 submitted 1 May, 2018; originally announced May 2018.

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (May 11, 2019) dmtcs:4509

Cyclic Deficiency of Graphs

Authors: Armen S. Asratian, Carl Johan Casselgren, Petros A. Petrosyan

Abstract: A proper edge coloring of a graph $G$ with colors $1,2,\dots,t$ is called a cyclic interval $t$-coloring if for each vertex $v$ of $G$ the edges incident to $v$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. In this paper we introduce and investigate a new notion, the cyclic deficiency of a graph $G$, defined as the minimum number o… ▽ More A proper edge coloring of a graph $G$ with colors $1,2,\dots,t$ is called a cyclic interval $t$-coloring if for each vertex $v$ of $G$ the edges incident to $v$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. In this paper we introduce and investigate a new notion, the cyclic deficiency of a graph $G$, defined as the minimum number of pendant edges whose attachment to $G$ yields a graph admitting a cyclic interval coloring; this number can be considered as a measure of closeness of $G$ of being cyclically interval colorable. We determine or bound the cyclic deficiency of several families of graphs. In particular, we present examples of graphs of bounded maximum degree with arbitrarily large cyclic deficiency, and graphs whose cyclic deficiency approaches the number of vertices. Finally, we conjecture that the cyclic deficiency of any graph does not exceed the number of vertices, and we present several results supporting this conjecture. △ Less

Submitted 12 November, 2017; originally announced November 2017.

MSC Class: 05C15

Restricted extension of sparse partial edge colorings of hypercubes

Authors: C. J Casselgren, K. Markström, L. A. Pham

Abstract: We consider the following type of question: Given a partial proper $d$-edge coloring of the $d$-dimensional hypercube $Q_d$, and lists of allowed colors for the non-colored edges of $Q_d$,can we extend the partial coloring to a proper $d$-edge coloring using only colors from the lists? We prove that this question has a positive answer in the case when both the partial coloring and the color lists… ▽ More We consider the following type of question: Given a partial proper $d$-edge coloring of the $d$-dimensional hypercube $Q_d$, and lists of allowed colors for the non-colored edges of $Q_d$,can we extend the partial coloring to a proper $d$-edge coloring using only colors from the lists? We prove that this question has a positive answer in the case when both the partial coloring and the color lists satisfy certain sparsity conditions. △ Less

Submitted 3 November, 2017; originally announced November 2017.

Edge precoloring extension of hypercubes

Authors: C. J. Casselgren, K. Markström, L. A. Pham

Abstract: We consider the problem of extending partial edge colorings of hypercubes. In particular, we obtain an analogue of the positive solution to the famous Evans' conjecture on completing partial Latin squares by proving that every proper partial edge coloring of at most $d-1$ edges of the $d$-dimensional hypercube $Q_d$ can be extended to a proper $d$-edge coloring of $Q_d$. Additionally, we character… ▽ More We consider the problem of extending partial edge colorings of hypercubes. In particular, we obtain an analogue of the positive solution to the famous Evans' conjecture on completing partial Latin squares by proving that every proper partial edge coloring of at most $d-1$ edges of the $d$-dimensional hypercube $Q_d$ can be extended to a proper $d$-edge coloring of $Q_d$. Additionally, we characterize which partial edge colorings of $Q_d$ with precisely $d$ precolored edges are extendable to proper $d$-edge colorings of $Q_d$, and consider some related edge precoloring extension problems of hypercubes. △ Less

Submitted 5 March, 2020; v1 submitted 3 November, 2017; originally announced November 2017.

Coloring graphs of various maximum degree from random lists

Authors: Carl Johan Casselgren

Abstract: Let $G=G(n)$ be a graph on $n$ vertices with maximum degree $Δ=Δ(n)$. Assign to each vertex $v$ of $G$ a list $L(v)$ of colors by choosing each list independently and uniformly at random from all $k$-subsets of a color set $\mathcal{C}$ of size $σ= σ(n)$. Such a list assignment is called a \emph{random $(k,\mathcal{C})$-list assignment}. In this paper, we are interested in determining the asymptot… ▽ More Let $G=G(n)$ be a graph on $n$ vertices with maximum degree $Δ=Δ(n)$. Assign to each vertex $v$ of $G$ a list $L(v)$ of colors by choosing each list independently and uniformly at random from all $k$-subsets of a color set $\mathcal{C}$ of size $σ= σ(n)$. Such a list assignment is called a \emph{random $(k,\mathcal{C})$-list assignment}. In this paper, we are interested in determining the asymptotic probability (as $n \to \infty$) of the existence of a proper coloring $\varphi$ of $G$, such that $\varphi(v) \in L(v)$ for every vertex $v$ of $G$, a so-called $L$-coloring. We give various lower bounds on $σ$, in terms of $n$, $k$ and $Δ$, which ensures that with probability tending to 1 as $n \to \infty$ there is an $L$-coloring of $G$. In particular, we show, for all fixed $k$ and growing $n$, that if $σ(n) = ω(n^{1/k^2} Δ^{1/k})$ and $Δ=O\left(n^{\frac{k-1}{k(k^3+ 2k^2 - k +1)}}\right)$, then the probability that $G$ has an $L$-coloring tends to 1 as $n \rightarrow \infty$. If $k\geq 2$ and $Δ= Ω(n^{1/2})$, then the same conclusion holds provided that $σ=ω(Δ)$. We also give related results for other bounds on $Δ$, when $k$ is constant or a strictly increasing function of $n$. △ Less

Submitted 3 January, 2017; originally announced January 2017.

Some bounds on the number of colors in interval and cyclic interval edge colorings of graphs

Authors: Carl Johan Casselgren, Hrant H. Khachatrian, Petros A. Petrosyan

Abstract: An \emph{interval $t$-coloring} of a multigraph $G$ is a proper edge coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors. A \emph{cyclic interval $t$-coloring} of a multigraph $G$ is a proper edge coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecut… ▽ More An \emph{interval $t$-coloring} of a multigraph $G$ is a proper edge coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors. A \emph{cyclic interval $t$-coloring} of a multigraph $G$ is a proper edge coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. Denote by $w(G)$ ($w_{c}(G)$) and $W(G)$ ($W_{c}(G)$) the minimum and maximum number of colors in a (cyclic) interval coloring of a multigraph $G$, respectively. We present some new sharp bounds on $w(G)$ and $W(G)$ for multigraphs $G$ satisfying various conditions. In particular, we show that if $G$ is a $2$-connected multigraph with an interval coloring, then $W(G)\leq 1+\left\lfloor \frac{|V(G)|}{2}\right\rfloor(Δ(G)-1)$. We also give several results towards the general conjecture that $W_{c}(G)\leq |V(G)|$ for any triangle-free graph $G$ with a cyclic interval coloring; we establish that approximate versions of this conjecture hold for several families of graphs, and we prove that the conjecture is true for graphs with maximum degree at most $4$. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 18 pages, 2 figures

Restricted completion of sparse partial Latin squares

Authors: Lina J. Andrén, Carl Johan Casselgren, Klas Markström

Abstract: An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining th… ▽ More An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constants $α, β> 0$ such that, for every positive integer $n$, if $P$ is an $α$-dense $n \times n$ partial Latin square, $A$ is an $n \times n$ $(βn, βn, βn)$-array, and no cell of $P$ contains a symbol that appears in the corresponding cell of $A$, then there is a completion of $P$ that avoids $A$; that is, there is a Latin square $L$ that agrees with $P$ on every non-empty cell of $P$, and, for each $i,j$ satisfying $1 \leq i,j \leq n$, the symbol in position $(i,j)$ in $L$ does not appear in the corresponding cell of $A$. △ Less

Submitted 26 August, 2016; originally announced August 2016.

Comments: 19 pages

Journal ref: Combinator. Probab. Comp. 28 (2019) 675-695

Some Results on Cyclic Interval Edge Colorings of Graphs

Authors: Armen S. Asratian, Carl Johan Casselgren, Petros A. Petrosyan

Abstract: A proper edge coloring of a graph $G$ with colors $1,2,\dots,t$ is called a \emph{cyclic interval $t$-coloring} if for each vertex $v$ of $G$ the edges incident to $v$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. We prove that a bipartite graph $G$ with even maximum degree $Δ(G)\geq 4$ admits a cyclic interval $Δ(G)$-coloring if f… ▽ More A proper edge coloring of a graph $G$ with colors $1,2,\dots,t$ is called a \emph{cyclic interval $t$-coloring} if for each vertex $v$ of $G$ the edges incident to $v$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. We prove that a bipartite graph $G$ with even maximum degree $Δ(G)\geq 4$ admits a cyclic interval $Δ(G)$-coloring if for every vertex $v$ the degree $d_G(v)$ satisfies either $d_G(v)\geq Δ(G)-2$ or $d_G(v)\leq 2$. We also prove that every Eulerian bipartite graph $G$ with maximum degree at most $8$ has a cyclic interval coloring. Some results are obtained for $(a,b)$-biregular graphs, that is, bipartite graphs with the vertices in one part all having degree $a$ and the vertices in the other part all having degree $b$; it has been conjectured that all these have cyclic interval colorings. We show that all $(4,7)$-biregular graphs as well as all $(2r-2,2r)$-biregular ($r\geq 2$) graphs have cyclic interval colorings. Finally, we prove that all complete multipartite graphs admit cyclic interval colorings; this settles in the affirmative, a conjecture of Petrosyan and Mkhitaryan. △ Less

Submitted 29 March, 2017; v1 submitted 30 June, 2016; originally announced June 2016.

Solution of Vizing's Problem on Interchanges for Graphs with Maximum Degree 4 and Related Results

Authors: Armen S. Asratian, Carl Johan Casselgren

Abstract: Let $G$ be a Class 1 graph with maximum degree $4$ and let $t\geq 5$ be an integer. We show that any proper $t$-edge coloring of $G$ can be transformed to any proper $4$-edge coloring of $G$ using only transformations on $2$-colored subgraphs (so-called interchanges). This settles the smallest previously unsolved case of a well-known problem of Vizing on interchanges, posed in 1965. Using our resu… ▽ More Let $G$ be a Class 1 graph with maximum degree $4$ and let $t\geq 5$ be an integer. We show that any proper $t$-edge coloring of $G$ can be transformed to any proper $4$-edge coloring of $G$ using only transformations on $2$-colored subgraphs (so-called interchanges). This settles the smallest previously unsolved case of a well-known problem of Vizing on interchanges, posed in 1965. Using our result we give an affirmative answer to a question of Mohar for two classes of graphs: we show that all proper $5$-edge colorings of a Class 1 graph with maximum degree 4 are Kempe equivalent, that is, can be transformed to each other by interchanges, and that all proper 7-edge colorings of a Class 2 graph with maximum degree 5 are Kempe equivalent. △ Less

Submitted 23 March, 2014; originally announced March 2014.

MSC Class: 05C15

On path factors of (3,4)-biregular bigraphs

Authors: Armen S. Asratian, Carl Johan Casselgren

Abstract: A (3,4)-biregular bigraph G is a bipartite graph where all vertices in one part have degree 3 and all vertices in the other part have degree 4. A path factor of G is a spanning subgraph whose components are nontrivial paths. We prove that a simple (3,4)-biregular bigraph always has a path factor such that the endpoints of each path have degree three. Moreover we suggest a polynomial algorithm fo… ▽ More A (3,4)-biregular bigraph G is a bipartite graph where all vertices in one part have degree 3 and all vertices in the other part have degree 4. A path factor of G is a spanning subgraph whose components are nontrivial paths. We prove that a simple (3,4)-biregular bigraph always has a path factor such that the endpoints of each path have degree three. Moreover we suggest a polynomial algorithm for the construction of such a path factor. △ Less

Submitted 12 June, 2007; originally announced June 2007.

Comments: 7 pages

MSC Class: 05C15; 05C70

Proper path-factors and interval edge-coloring of (3,4)-biregular bigraphs

Authors: Armen S. Asratian, Carl Johan Casselgren, Jennifer Vandenbussche, Douglas B. West

Abstract: An interval coloring of a graph G is a proper coloring of E(G) by positive integers such that the colors on the edges incident to any vertex are consecutive. A (3,4)-biregular bigraph is a bipartite graph in which each vertex of one part has degree 3 and each vertex of the other has degree 4; it is unknown whether these all have interval colorings. We prove that G has an interval coloring using… ▽ More An interval coloring of a graph G is a proper coloring of E(G) by positive integers such that the colors on the edges incident to any vertex are consecutive. A (3,4)-biregular bigraph is a bipartite graph in which each vertex of one part has degree 3 and each vertex of the other has degree 4; it is unknown whether these all have interval colorings. We prove that G has an interval coloring using 6 colors when G is a (3,4)-biregular bigraph having a spanning subgraph whose components are paths with endpoints at 3-valent vertices and lengths in {2,4,6,8}. We provide sufficient conditions for the existence of such a subgraph. △ Less

Submitted 19 April, 2007; originally announced April 2007.

Comments: 11 pages, 2 figures

MSC Class: 05C15; 05C70