-
On the directed Oberwolfach problem for complete symmetric equipartite digraphs and uniform-length cycles
Authors:
Nevena Francetić,
Mateja Šajna
Abstract:
We examine the necessary and sufficient conditions for a complete symmetric equipartite digraph $K_{n[m]}^\ast$ with $n$ parts of size $m$ to admit a resolvable decomposition into directed cycles of length $t$. We show that the obvious necessary conditions are sufficient for $m,n,t \ge 2$ in each of the following four cases: (i) $m(n-1)$ is even; (ii) $\gcd(m,n) \not\in \{1,3\}$; (iii)…
▽ More
We examine the necessary and sufficient conditions for a complete symmetric equipartite digraph $K_{n[m]}^\ast$ with $n$ parts of size $m$ to admit a resolvable decomposition into directed cycles of length $t$. We show that the obvious necessary conditions are sufficient for $m,n,t \ge 2$ in each of the following four cases: (i) $m(n-1)$ is even; (ii) $\gcd(m,n) \not\in \{1,3\}$; (iii) $\gcd(m,n)=1$ and $4|n$ or $6|n$; and (iv) $\gcd(m,n)=3$, and if $n=6$, then $p|m$ for a prime $p \le 37$.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
MAX for $k$-independence in multigraphs
Authors:
Nevena Francetić,
Sara Herke,
Daniel Horsley
Abstract:
For a fixed positive integer $k$, a set $S$ of vertices of a graph or multigraph is called a $k$-independent set if the subgraph induced by $S$ has maximum degree less than $k$. The well-known algorithm MAX finds a maximal $k$-independent set in a graph or multigraph by iteratively removing vertices of maximum degree until what remains has maximum degree less than $k$. We give an efficient procedu…
▽ More
For a fixed positive integer $k$, a set $S$ of vertices of a graph or multigraph is called a $k$-independent set if the subgraph induced by $S$ has maximum degree less than $k$. The well-known algorithm MAX finds a maximal $k$-independent set in a graph or multigraph by iteratively removing vertices of maximum degree until what remains has maximum degree less than $k$. We give an efficient procedure that determines, for a given degree sequence $D$, the smallest cardinality $b(D)$ of a $k$-independent set that can result from any application of MAX to any loopless multigraph with degree sequence $D$. This analysis of the worst case is sharp for each degree sequence $D$ in that there exists a multigraph $G$ with degree sequence $D$ such that some application of MAX to $G$ will result in a $k$-independent set of cardinality exactly $b(D)$.
△ Less
Submitted 22 March, 2019; v1 submitted 13 July, 2018;
originally announced July 2018.
-
On the directed Oberwolfach Problem with equal cycle lengths: the odd case
Authors:
Andrea Burgess,
Nevena Francetic,
Mateja Sajna
Abstract:
We show that the complete symmetric digraph $K_{2m}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all odd $m$, $5 \le m \le 49$. Consequently, $K_{n}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all $n \equiv 0 \pmod{2m}$ and odd $m$, $5 \le m \le 49$.
We show that the complete symmetric digraph $K_{2m}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all odd $m$, $5 \le m \le 49$. Consequently, $K_{n}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all $n \equiv 0 \pmod{2m}$ and odd $m$, $5 \le m \le 49$.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Parity of Sets of Mutually Orthogonal Latin Squares
Authors:
Nevena Francetić,
Sarada Herke,
Ian M. Wanless
Abstract:
Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an $\mathrm{OA}(k,n)$ has an infor…
▽ More
Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an $\mathrm{OA}(k,n)$ has an information content of $\dim(k,n)$ bits. We show that $\dim(k,n) \leq {k \choose 2}-1$. For the case corresponding to projective planes we prove a tighter bound, namely $\dim(n+1,n) \leq {n \choose 2}$ when $n$ is odd and $\dim(n+1,n) \leq {n \choose 2}-1$ when $n$ is even. Using the existence of MOLS with subMOLS, we prove that if $\dim(k,n)={k \choose 2}-1$ then $\dim(k,N) = {k \choose 2}-1$ for all sufficiently large $N$.
Let the ensemble of an $\mathrm{OA}$ be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an $\mathrm{OA}(k,n)$ can contain. These restrictions depend on $n\mod4$ and give some insight as to why it is harder to build projective planes of order $n \not= 2\mod4$ than for $n \not= 2\mod4$. For example, we prove that when $n \not= 2\mod 4$ it is impossible to build an $\mathrm{OA}(n+1,n)$ for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
On Ryser's Conjecture for Linear Intersecting Multipartite Hypergraphs
Authors:
Nevena Francetić,
Sarada Herke,
Brendan D. McKay,
Ian M. Wanless
Abstract:
Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergrap…
▽ More
Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane.
△ Less
Submitted 29 September, 2015; v1 submitted 4 August, 2015;
originally announced August 2015.
-
More nonexistence results for symmetric pair coverings
Authors:
Nevena Francetić,
Sarada Herke,
Daniel Horsley
Abstract:
A $(v,k,λ)$-covering is a pair $(V, \mathcal{B})$, where $V$ is a $v$-set of points and $\mathcal{B}$ is a collection of $k$-subsets of $V$ (called blocks), such that every unordered pair of points in $V$ is contained in at least $λ$ blocks in $\mathcal{B}$. The excess of such a covering is the multigraph on vertex set $V$ in which the edge between vertices $x$ and $y$ has multiplicity $r_{xy}-λ$,…
▽ More
A $(v,k,λ)$-covering is a pair $(V, \mathcal{B})$, where $V$ is a $v$-set of points and $\mathcal{B}$ is a collection of $k$-subsets of $V$ (called blocks), such that every unordered pair of points in $V$ is contained in at least $λ$ blocks in $\mathcal{B}$. The excess of such a covering is the multigraph on vertex set $V$ in which the edge between vertices $x$ and $y$ has multiplicity $r_{xy}-λ$, where $r_{xy}$ is the number of blocks which contain the pair $\{x,y\}$. A covering is symmetric if it has the same number of blocks as points. Bryant et al.(2011) adapted the determinant related arguments used in the proof of the Bruck-Ryser-Chowla theorem to establish the nonexistence of certain symmetric coverings with $2$-regular excesses. Here, we adapt the arguments related to rational congruence of matrices and show that they imply the nonexistence of some cyclic symmetric coverings and of various symmetric coverings with specified excesses.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
Asymptotic size of covering arrays: an application of entropy compression
Authors:
Nevena Francetić,
Brett Stevens
Abstract:
A covering array $CA(N; t,k,v)$ is an $N \times k$ array $A$ whose each cell takes a value for a $v$-set $V$ called an alphabet. Moreover, the set $V^t$ is contained in the set of rows of every $N \times t$ subarray of $A$. The parameter $N$ is called the size of an array and $CAN(t,k,v)$ denotes the smallest $N$ for which a $CA(N; t,k,v)$ exists. It is well known that…
▽ More
A covering array $CA(N; t,k,v)$ is an $N \times k$ array $A$ whose each cell takes a value for a $v$-set $V$ called an alphabet. Moreover, the set $V^t$ is contained in the set of rows of every $N \times t$ subarray of $A$. The parameter $N$ is called the size of an array and $CAN(t,k,v)$ denotes the smallest $N$ for which a $CA(N; t,k,v)$ exists. It is well known that $CAN(t,k,v) = {\rm Θ}(\log_2 k)$~\cite{godbole_bounds_1996}. In this paper we derive two upper bounds on $d(t,v)=\limsup_{k \rightarrow \infty} \frac{CAN(t,k,v)}{\log_2 k}$ using the algorithmic approach to the Lovász local lemma also known as entropy compression.
△ Less
Submitted 30 March, 2015;
originally announced March 2015.