arXiv++ Combinatorics

An one-factorization $\mathcal{F}$ of the complete graph $K_n$ is ($l,C_k$), where $l\geq0$ and $k\geq4$ are integers, if the union $F\cup G$, for any $F,G\in\mathcal{F}$, includes exactly $l$ (edge-disjoint) cycles of length $k$ ($lk\leq n$). Moreover, a pair of orthogonal one-factorizations $\mathcal{F}$ and $\mathcal{G}$ of the complete graph $K_n$ is ($l,C_k$) if the union $F\cup G$, for any $F\in\mathcal{F}$ and $G\in\mathcal{G}$, includes exactly $l$ cycles of length $k$. In this paper, we prove the following: if $q\equiv11$ (mod 24) is an odd prime power, then there is a ($1,C_4$) one-factorization of $K_{q+1}$. Also, there is a pair of orthogonal ($2,C_4$) one-factorization of $K_{q+1}$.

In this paper, we give new families of strong Skolem starters for $\mathbb{Z}_{p^n}$ and $\mathbb{Z}_{pq}$, for infinitely many odd primes $p,q\equiv1$ (mod 8) and $n>1$ be an integer.

In 1991, N. Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or 3 (mod 8) and $n \geq11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\leq n\leq57$. Shalaby and et al. [O. Ogandzhanyants, M. Kondratieva and N. Shalaby, \emph{Strong Skolem Starters}, J. Combin. Des. {\bf 27} (2018), no. 1, 5--21] was proved if $n=Π_{i=1}^{k}p_i^{α_i}$, where $p_i$ is a prime number such that $ord(2)_{p_i}\equiv 2$ (mod 4) and $α_i$ is a non-negative integer, for all $i=1,\ldots,k$, then $\mathbb{Z}_n$ admits a strong Skolem starter. On the other hand, the author [A. Vázquez-Ávila, \emph{A note on strong Skolem starters}, Discrete Math. Accepted] gives different families of strong Skolem starters for $\mathbb{Z}_p$ than Shalaby et al, where $p\equiv3$ (mod 8) is an odd prime. Recently, the author [A. Vázquez-Ávila, \emph{New families of strong Skolem starters}, Submitted] gives different families of strong Skolem starters of $\mathbb{Z}_{p^n}$ than Shalaby et al, where $p\equiv3$ (mod 8) and $n$ is an integer greater than 1. In this paper, we gives some different families of strong Skolem starters of $\mathbb{Z}_{pq}$, where $p,q\equiv3$ (mod 8) are prime numbers such that $p<q$ and $(p-1)\nmid(q-1)$.

In this note we present an alternative (simple) construction of cardioidal starters (strong and Skolem) for $\mathbb{Z}_{q^n}$, where $q\equiv3$ (mod 8) is an odd prime number and $n\geq1$ is an integer number; also for $\mathbb{Z}_{pq}$ and $\mathbb{Z}_{p^n}$, for infinitely many odd primes $p,q\equiv1$ (mod 8) and $n\geq1$ an integer number. This cardioidal starters can be obtained by a more general result given by Ogandzhanyants et al. [O. Ogandzhanyants, M. Kondratieva and N. Shalaby, \emph{Strong Skolem starters}, J. Combin. Des. {\bf 27} (2018), no. 1, 5--21].

A pair of orthogonal one-factorizations $\mathcal{F}$ and $\mathcal{G}$ of the complete graph $K_n$ is totally $C_4$-free, if the union $F\cup G$, for any $F,G\in\mathcal{F}\cup\mathcal{G}$, does not include a cycle of length four. In this note, we prove if $q\equiv3$ (mod 4) is a prime power with $q\geq11$, then there is a pair of orthogonal totally $C_4$-free one-factorizations of $K_{q+1}$.

A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$, such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $T$ of points of $P$ is a transversal of $(P,\mathcal{L})$ if $T$ intersects any line, and the transversal number, $τ(P,\mathcal{L})$, is the minimum order of a transversal. On the other hand, a 2-packing set of a linear system $(P,\mathcal{L})$ is a set $R$ of lines, such that any three of them have a common point, then the 2-packing number of $(P,\mathcal{L})$, $ν_2(P,\mathcal{L})$, is the size of a maximum 2-packing set. It is known that the transversal number $τ(P,\mathcal{L})$ is bounded above by a quadratic function of $ν_2(P,\mathcal{L})$. An open problem is to haracterize the families of linear systems which satisfies $τ(P,\mathcal{L})\leq λν_2(P,\mathcal{L})$, for some $λ\geq1$. In this paper, we give an infinite family of linear systems $(P,\mathcal{L})$ which satisfies $τ(P,\mathcal{L})=ν_2(P,\mathcal{L})$ with smallest possible cardinality of $\mathcal{L}$, as well as some properties of $r$-uniform intersecting linear systems $(P,\mathcal{L})$, such that $τ(P,\mathcal{L})=ν_2(P,\mathcal{L})=r$. Moreover, we state a characterization of $4$-uniform intersecting linear systems $(P,\mathcal{L})$ with $τ(P,\mathcal{L})=ν_2(P,\mathcal{L})=4$.

In 1991, Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or 3 (mod 8) and $n \geq11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\leq n\leq57$. Only finitely many strong Skolem starters have been known. Recently, in [O. Ogandzhanyants, M. Kondratieva and N. Shalaby, \emph{Strong Skolem Starters}, J. Combin. Des. {\bf 27} (2018), no. 1, 5--21] was given an infinite families of them. In this note, an infinite family of strong Skolem starters for $\mathbb{Z}_n$, where $n\equiv3$ mod 8 is a prime integer, is presented.

A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$ such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $D$ of points of a linear system $(P,\mathcal{L})$ is a dominating set of $(P,\mathcal{L})$ if for every $u\in P\setminus D$ there exists $v\in D$ such that $u,v\in l$, for some $l\in\mathcal{L}$. The cardinality of a minimum dominating set of a linear system $(P,\mathcal{L})$ is called domination number of $(P,\mathcal{L})$, denoted by $γ(P,\mathcal{L})$. On the other hand, a subset $R$ of lines of a linear system $(P,\mathcal{L})$ is a 2-packing if any three elements of $R$ have not a common point (are triplewise disjoint). The cardinality of a maximum 2-packing of a linear system $(P,\mathcal{L})$ is called 2-packing number of $(P,\mathcal{L})$, denoted by $ν_2(P,\mathcal{L})$. It is know for intersecting linear systems $(P,\mathcal{L})$ of rank $r$ it satisfies $γ(P,\mathcal{L})\leq r-1$. In this note we prove, if $q$ is an even prime power and $(P,\mathcal{L})$ is an intersecting linear system of rank $q+2$ satisfying $γ(P,\mathcal{L})=q+1$, then this linear system can be constructed from a spanning $(q+1)$-uniform intersecting linear subsystem $(P^\prime,\mathcal{L}^\prime)$ of the projective plane of order $q$ satisfying $τ(P^\prime,\mathcal{L}^\prime)=ν_2(P^\prime,\mathcal{L}^\prime)-1=q+1$.

The pseudoachromatic index of the finite affine space $\mathrm{AG}(n,q),$ denoted by $ψ'(\mathrm{AG}(n,q)),$ is the the maximum number of colors in any complete line-coloring of $\mathrm{AG}(n,q).$ When the coloring is also proper, the maximum number of colors is called the achromatic index of $\mathrm{AG}(n,q).$ We prove that if $n$ is even then $ψ'(\mathrm{AG}(n,q))\sim q^{1.5n-1}$; while when $n$ is odd the value is bounded by $q^{1.5(n-1)}<ψ'(\mathrm{AG}(n,q))<q^{1.5n-1}$. Moreover, we prove that the achromatic index of $\mathrm{AG}(n,q)$ is $q^{1.5n-1}$ for even $n,$ and we provides the exact values of both indices in the planar case.

A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$ such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. If all elements of $\mathcal{L}$ of a linear system $(P,\mathcal{L})$, then the linear system is called $r$-uniform linear system. The transversal number of a linear system $(P,\mathcal{L})$, $τ(P,\mathcal{L})$, is the minimum cardinality of a subset $\hat{P}\subseteq P$ satisfying $l\cap\hat{P}\neq\emptyset$, for every $l\in\mathcal{L}$. The 2-packing number of a linear system $(P,\mathcal{L})$, $ν_2(P,\mathcal{L})$, is the maximum cardinality of a subset $R\subseteq\mathcal{L}$ such that, any three elements of $R$ don't have a common point (are triplewise disjoint), that is, if three elements are chosen in $R$, then they are not incidents in a common point. For $r\geq2$, let $(P,\mathcal{L})$ be an $r$-uniform linear system. In "{\sc M. A. Henning and A. Yeo:} {\it Hypergraphs with large transversal number,} Discrete Math. {\bf 313} (2013), no. 8, 959--966." Henning and Yeo state the following question: Is it true that if $(P,\mathcal{L})$ is an $r$-uniform linear system then $τ(P,\mathcal{L})\leq\displaystyle\frac{|P|+|\mathcal{L}|}{r+1}$ holds for all $r\geq2$?. In this note, we give some results of $r$-uniform linear systems, whose 2-packing number is fixed, satisfying the inequality.

In this paper, we give a relationship between the covering number of a simple graph $G$, $β(G)$, and a new parameter associated to $G$ which is called 2-degree-packing number of $G$, $ν_2(G)$. We prove that$$\lceil ν_{2}(G)/2\rceil\leqβ(G)\leqν_2(G)-1,$$ for any connected simple graph $G$, with $|E(G)|>ν_2(G)$, and we give a characterization of simple connected graphs which attains the inequalities.

A dominating set of a graph $G$ is a set $D\subseteq V(G)$ such that \-every vertex of $G$ is either in $D$ or is adjacent to a vertex in $D$. The domination number of $G$, $γ(G)$, is the minimum order of a dominating set. A subset $R$ of edges of a graph $G$ is a 2-degree-packing, if any three edges from $R$ do not have the same incident vertex. The 2-degree-packing number of $G$, $ν_2(G)$, is the maximum order of a 2-degree-packing of $G$. In this paper, we prove that any simple graph $G$ satisfies $γ(G)\leqν_2(G)-1$. Furthermore, we give a characterization of simple connected graphs $G$ satisfying $γ(G)=ν_2(G)-1$.

Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.

In this paper, we prove lower and upper bounds on the achromatic and the pseudoachromatic indices of the $n$-dimensional finite projective space of order $q$.

Let $G$ be a finite additive abelian group of odd order $n$, and let $G^*=G\setminus\{0\}$ be the set of non-zero elements. A starter for $G$ is a set $S=\{\{x_i,y_i\}:i=1,\ldots,\frac{n-1}{2}\}$ such that $\{x_1,\ldots,x_\frac{n-1}{2},y_1,\ldots,y_\frac{n-1}{2}\}=G^*$ and $\{\pm(x_i-y_i):i=1,\ldots,\frac{n-1}{2}\}=G^*$. Moreover, if $\left|\left\{x_i+y_i:i=1,\ldots,\frac{n-1}{2}\right\}\right|=\frac{n-1}{2}$, then $S$ is called a strong starter for $G$. A starter $S$ for $G$ is a $k$ quotient starter if there exists $Q\subseteq G^*$ of cardinality $k$ such that $y_i/x_i\in Q$ or $x_i/y_i\in Q$, for $i=1,\ldots,\frac{n-1}{2}$. In this paper, we give examples of two-quotient strong starters for $\mathbb{F}_q$, where $q=2^kt+1$ is a prime power with $k>1$ a positive integer and $t$ an odd integer greater than 1.

A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove the correctness of the conjecture for a new infinite class of $n$-quasiclusters using a specific edge coloring of the complete graph.

A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal transversal and the 2--packing numbers of a linear system respectively. A natural problem is asking about the relationship of these two parameters; it is not difficult to prove that there exists a quadratic function $f$ holding $τ\leq f(ν_2)$. However, for straight line system we believe that $τ\leqν_2-1$. In this paper we prove that for any linear system with $2$-packing numbers $ν_2$ equal to $2, 3$ and $4$, we have that $τ\leqν_2$. Furthermore, we prove that the linear systems that attains the equality have transversal and $2$-packing numbers equal to $4$, and they are a special family of linear subsystems of the projective plane of order $3$. Using this result we confirm that all straight line systems with $ν_2\in\{2,3,4\}$ satisfies $τ\leqν_2-1$.

A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$. A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $χ'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$. The well-known Erdös-Faber-Lovász Conjecture states that any decomposition $[K_n,P]$ satisfies $χ'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.