Difference Covering Arrays and Pseudo-Orthogonal Latin Squares

Difference arrays are used in applications such as software testing, authentication codes and data compression. Pseudo-orthogonal Latin squares are used in experimental designs. A special class of pseudo-orthogonal Latin squares are the mutually nearly orthogonal Latin squares (MNOLS) first discussed in 2002, with general constructions given in 2007. In this paper we develop row complete MNOLS from difference covering arrays. We will use this connection to settle the spectrum question for sets of 3 mutually pseudo-orthogonal Latin squares of even order, for all but the order 146

First-Fit coloring of Cartesian product graphs and its defining sets

Let the vertices of a Cartesian product graph $G\Box H$ be ordered by an ordering $\sigma$. By the First-Fit coloring of $(G\Box H, \sigma)$ we mean the vertex coloring procedure which scans the vertices according to the ordering $\sigma$ and for each vertex assigns the smallest available color. Let $FF(G\Box H,\sigma)$ be the number of colors used in this coloring. By introducing the concept of descent we obtain a sufficient condition to determine whether $FF(G\Box H,\sigma)=FF(G\Box H,\tau)$, where $\sigma$ and $\tau$ are arbitrary orders. We study and obtain some bounds for $FF(G\Box H,\sigma)$, where $\sigma$ is any quasi-lexicographic ordering. The First-Fit coloring of $(G\Box H, \sigma)$ does not always yield an optimum coloring. A greedy defining set of $(G\Box H, \sigma)$ is a subset $S$ of vertices in the graph together with a suitable pre-coloring of $S$ such that by fixing the colors of $S$ the First-Fit coloring of $(G\Box H, \sigma)$ yields an optimum coloring. We show that the First-Fit coloring and greedy defining sets of $G\Box H$ with respect to any quasi-lexicographic ordering (including the known lexicographic order) are all the same. We obtain upper and lower bounds for the smallest cardinality of a greedy defining set in $G\Box H$, including some extremal results for Latin squares.Comment: Accepted for publication in Contributions to Discrete Mathematic

The chromatic index of strongly regular graphs

We determine (partly by computer search) the chromatic index (edge-chromatic number) of many strongly regular graphs (SRGs), including the SRGs of degree $k \leq 18$ and their complements, the Latin square graphs and their complements, and the triangular graphs and their complements. Moreover, using a recent result of Ferber and Jain it is shown that an SRG of even order $n$, which is not the block graph of a Steiner 2-design or its complement, has chromatic index $k$, when $n$ is big enough. Except for the Petersen graph, all investigated connected SRGs of even order have chromatic index equal to their degree, i.e., they are class 1, and we conjecture that this is the case for all connected SRGs of even order.Comment: 10 page

Completion and deficiency problems

Given a partial Steiner triple system (STS) of order $n$, what is the order of the smallest complete STS it can be embedded into? The study of this question goes back more than 40 years. In this paper we answer it for relatively sparse STSs, showing that given a partial STS of order $n$ with at most $r \le \varepsilon n^2$ triples, it can always be embedded into a complete STS of order $n+O(\sqrt{r})$, which is asymptotically optimal. We also obtain similar results for completions of Latin squares and other designs. This suggests a new, natural class of questions, called deficiency problems. Given a global spanning property $\mathcal{P}$ and a graph $G$, we define the deficiency of the graph $G$ with respect to the property $\mathcal{P}$ to be the smallest positive integer $t$ such that the join $G\ast K_t$ has property $\mathcal{P}$. To illustrate this concept we consider deficiency versions of some well-studied properties, such as having a $K_k$-decomposition, Hamiltonicity, having a triangle-factor and having a perfect matching in hypergraphs. The main goal of this paper is to propose a systematic study of these problems; thus several future research directions are also given

Extrema of graph eigenvalues

In 1993 Hong asked what are the best bounds on the $k$'th largest eigenvalue $\lambda_{k}(G)$ of a graph $G$ of order $n$. This challenging question has never been tackled for any $2<k<n$. In the present paper tight bounds are obtained for all $k>2,$ and even tighter bounds are obtained for the $k$'th largest singular value $\lambda_{k}^{\ast}(G).$ Some of these bounds are based on Taylor's strongly regular graphs, and other on a method of Kharaghani for constructing Hadamard matrices. The same kind of constructions are applied to other open problems, like Nordhaus-Gaddum problems of the kind: How large can $\lambda_{k}(G)+\lambda_{k}(\bar{G})$ be$?$ These constructions are successful also in another open question: How large can the Ky Fan norm $\lambda_{1}^{\ast}(G)+...+\lambda_{k}^{\ast }(G)$ be $?$ Ky Fan norms of graphs generalize the concept of graph energy, so this question generalizes the problem for maximum energy graphs. In the final section, several results and problems are restated for $(-1,1)$-matrices, which seem to provide a more natural ground for such research than graphs. Many of the results in the paper are paired with open questions and problems for further study.Comment: 32 page