arXiv++ Combinatorics

A $4-$cycle system is a partition of the edges of the complete graph $K_n$ into $4-$cycles. Let ${ C}$ be a collection of cycles of length 4 whose edges partition the edges of $K_n$. A set of 4-cycles $T_1 \subset C$ is called a 4-cycle trade if there exists a set $T_2$ of edge-disjoint 4-cycles on the same vertices, such that $({C} \setminus T_1)\cup T_2$ also is a collection of cycles of length 4 whose edges partition the edges of $K_n$. We study $4-$cycle trades of volume two (double-diamonds) and three and show that the set of all 4-CS(9) is connected with respect of trading with trades of volume 2 (double-diamond) and 3. In addition, we present a full rank matrix whose null-space is containing trade-vectors.

The problem of decomposing a complete tripartite graph into 5-cycles was first proposed in 1995 by Mahmoodian and Mirzakhani and since then many attempts have been made to decompose such graphs into 5-cycles. Such attempts were partially successful but parts of the problem still remain open. In this paper, we investigate the problem deeper, decompose more tripartite graphs into 5-cycles, and introduce the Graph Adjacency Matrix (GAM) method for cycle decomposition in general. GAM method transforms the cycle decomposition problem to covering squares with certain polygons. This new formulation is easier to solve and enables us to find explicit decompositions for numerous cases that were not decomposed before.

The problem of finding necessary and sufficient conditions to decompose a complete tripartite graph $K_{r,s,t}$ into 5-cycles was first considered by E.S. Mahmoodian and Maryam Mirzakhani (1995). They stated some necessary conditions and conjectured that those conditions are also sufficient. Since then, many cases of the problem have been solved by various authors; however, the case when the partite sets $r\leq s\leq t$ have odd and distinct sizes remained open. We show the conjecture is true when $r$, $s$ and $t$ are all multiples of 5, $t+90 \leq \frac{4rs}{r+s}$, and $t \neq s+10$.

The chromatic number of a latin square $L$, denoted $χ(L)$, is the minimum number of partial transversals needed to cover all of its cells. It has been conjectured that every latin square satisfies $χ(L) \leq |L|+2$. If true, this would resolve a longstanding conjecture---commonly attributed to Brualdi---that every latin square has a partial transversal of size $|L|-1$. Restricting our attention to Cayley tables of finite groups, we prove two main results. First, we resolve the chromatic number question for Cayley tables of finite Abelian groups: the Cayley table of an Abelian group $G$ has chromatic number $|G|$ or $|G|+2$, with the latter case occurring if and only if $G$ has nontrivial cyclic Sylow 2-subgroups. Second, we give an upper bound for the chromatic number of Cayley tables of arbitrary finite groups. For $|G|\geq 3$, this improves the best-known general upper bound from $2|G|$ to $\frac{3}{2}|G|$, while yielding an even stronger result in infinitely many cases.

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.

The chromatic number of a Latin square is the least number of partial transversals which cover its cells. This is just the chromatic number of its associated Latin square graph. Although Latin square graphs have been widely studied as strongly regular graphs, their chromatic numbers appear to be unexplored. We determine the chromatic number of a circulant Latin square, and find bounds for some other classes of Latin squares. With a computer, we find the chromatic number for all main classes of Latin squares of order at most eight.

For $μ$ given latin squares of order $n$, they have {\sf $k$ intersection} when they have $k$ identical cells and $n^2-k$ cells with mutually different entries. For each $n\geq 1$ the set of integers $k$ such that there exist $μ$ latin squares of order $n$ with $k$ intersection is denoted by $I^μ[n]$. In a paper by P. Adams et al. (2002), $I^3[n]$ is determined completely. In this paper we completely determine $I^4[n]$ for $n\geq 16$. For $n \le 16$, we find out most of the elements of $I^4[n]$.

A Hypercube $Q_n$ is a graph in which the vertices are all binary vectors of length n, and two vertices are adjacent if and only if their components differ in exactly one place. A galaxy or a star forest is a union of vertex disjoint stars. The star arboricity of a graph $G$, ${\rm sa}(G)$, is the minimum number of galaxies which partition the edge set of $G$. In this paper among other results, we determine the exact values of ${\rm sa}(Q_n)$ for $n \in \{2^k-3, 2^k+1, 2^k+2, 2^i+2^j-4\}$, $i \geq j \geq 2$. We also improve the last known upper bound of ${\rm sa}(Q_n)$ and show the relation between ${\rm sa}(G)$ and square coloring.

There are different concepts regarding to tree decomposition of a graph $G$. For the Hypercube $Q_n$, these concepts have been shown to have many applications. But some diverse papers on this subject make it difficult to follow what is precisely known. In this note first we will mention some known results on the tree decomposition of hypercubes and then introduce new explicit constructions for the previously known and unknown cases.

A totally silver coloring of a graph G is a k--coloring of G such that for every vertex v \in V(G), each color appears exactly once on N[v], the closed neighborhood of v. A totally silver graph is a graph which admits a totally silver coloring. Totally silver coloring are directly related to other areas of graph theory such as distance coloring and domination. In this work, we present several constructive characterizations of totally silver graphs and bipartite totally silver graphs. We give several infinite families of totally silver graphs. We also give cubic totally silver graphs of girth up to 10.

A {\sf $μ$-way Latin trade} of volume $s$ is a collection of $μ$ partial Latin squares $T_1,T_2,...,T_μ$, containing exactly the same $s$ filled cells, such that if cell $(i, j)$ is filled, it contains a different entry in each of the $μ$ partial Latin squares, and such that row $i$ in each of the $μ$ partial Latin squares contains, set-wise, the same symbols and column $j$, likewise. %If $μ=2$, $(T_1,T_2)$ is called a {\sf Latin bitrade}. It is called {\sf $μ$-way $k$-homogeneous Latin trade}, if in each row and each column $T_r$, for $1\le r\le μ,$ contains exactly $k$ elements, and each element appears in $T_r$ exactly $k$ times. It is also denoted by $(μ,k,m)$ Latin trade,where $m$ is the size of partial Latin squares. We introduce some general constructions for $μ$-way $k$-homogeneous Latin trades and specifically show that for all $k \le m$, $6\le k \le 13$ and k=15, and for all $k \le m$, $k = 4, \ 5$ (except for four specific values), a 3-way $k$-homogeneous Latin trade of volume $km$ exists. We also show that there are no (3,4,6) Latin trade and (3,4,7) Latin trade. Finally we present general results on the existence of 3-way $k$-homogeneous Latin trades for some modulo classes of $m$.

For a block design $\cal{D}$, a series of {\sf block intersection graphs} $G_i$, or $i$-{\rm BIG}($\cal{D}$), $i=0, ..., k$ is defined in which the vertices are the blocks of $\cal{D}$, with two vertices adjacent if and only if the corresponding blocks intersect in exactly $i$ elements. A silver graph $G$ is defined with respect to a maximum independent set of $G$, called a {\sf diagonal} of that graph. Let $G$ be $r$-regular and $c$ be a proper $(r + 1)$-coloring of $G$. A vertex $x$ in $G$ is said to be {\sf rainbow} with respect to $c$ if every color appears in the closed neighborhood $N[x] = N(x) \cup \{x\}$. Given a diagonal $I$ of $G$, a coloring $c$ is said to be silver with respect to $I$ if every $x\in I$ is rainbow with respect to $c$. We say $G$ is {\sf silver} if it admits a silver coloring with respect to some $I$. We investigate conditions for 0-{\rm BIG}($\cal{D}$) and 1-{\rm BIG}($\cal{D}$) of Steiner systems ${\cal{D}}=S(2,k,v)$ to be silver.

By simulating an ergodic Markov chain whose stationary distribution is uniform over the space of nxn Latin squares, Mark T. Jacobson and Peter Matthews [4], have discussed elegant methods by which they generate Latin squares with a uniform distribution (approximately). The central issue is the construction of "moves" that connect the squares. Most of their lengthy paper is to prove that the associated graph is indeed connected. We give a short proof of this fact by using the concepts of Latin bitrades.

The concept of $t$-$(v,k)$ trades of block designs previously has been studied in detail. See for example A. S. Hedayat (1990) and Billington (2003). Also Latin trades have been studied in detail under various names, see A. D. Keedwell (2004) for a survey. Recently Khanban, Mahdian and Mahmoodian have extended the concept of Latin trades and introduced $\Ts{t}{v}{k}$. Here we study the spectrum of possible volumes of these trades, $S(t,k)$. Firstly, similarly to trades of block designs we consider $(t+2)$ numbers $s_i=2^{t+1}-2^{(t+1)-i}$, $0\leq i\leq t+1$, as critical points and then we show that $s_i\in S(t,k)$, for any $0\leq i\leq t+1$, and if $s\in (s_i,s_{i+1}),0\leq i\leq t$, then $s\notin S(t,t+1)$. As an example, we determine S(3,4) precisely.

To study orthogonal arrays and signed orthogonal arrays, Ray-Chaudhuri and Singhi (1988 and 1994) considered some module spaces. Here, using a linear algebraic approach we define an inclusion matrix and find its rank. In the special case of Latin squares we show that there is a straightforward algorithm for generating a basis for this matrix using the so-called intercalates. We also extend this last idea.

Following the earlier work on {homogeneous Latin bitrades by Cavenagh, Donovan, and Dr'apal (2003 and 2004) Bean, Bidkhori, Khosravi, and E. S. Mahmoodian (2005) we prove the following results. All k-homogeneous Latin bitrades of volume km exist, for 1) all odd number k and m is greater than or equal to k, 2) all even number k > 2 and m is greater than or equal to min{k +u,3k/2}, where u is any odd number which divides k, 3) all m is greater than or equal to k, where k is greater than or equal to 3 and is lesser than or equal to 37.

A critical set in an n x n array is a set C of given entries, such that there exists a unique extension of C to an n x n Latin square and no proper subset of C has this property. The cardinality of the largest critical set in any Latin square of order n is denoted by lcs(n). In 1978 Curran and van Rees proved that lcs(n) <= n^2 - n. Here we show that lcs(n) <= n^2-3n+3.

Let G be a graph with n vertices and suppose that for each vertex v in G, there exists a list of k colors L(v), such that there is a unique proper coloring for G from this collection of lists, then G is called a uniquely k-list colorable graph. Recently M. Mahdian and E.S. Mahmoodian characterized uniquely 2-list colorable graphs. Here we state some results which will pave the way in characterization of uniquely k-list colorable graphs. There is a relationship between this concept and defining sets in graph colorings and critical sets in latin squares.