arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Melissa Keranen

10 paper(s) by this author · All BibTeX
2025-04-21
Uniformly resolvable decompositions of $K_v$ into one $1$-factor and $n$-stars when $n>1$ is odd
We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,n}$ where $n>1$ is odd.
2025-04-21
Uniformly resolvable decompositions of $K_v$ into $1$-factors and odd $n$-star factors
We consider uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a partial solution for the case in which all resolution classes are either $K_2$ or $K_{1,n}$ where $n$ is odd.
On Projective Planes of Order 16 Associated with 1-rotational 2-(52, 4, 1) Designs
A maximal arc of degree k in a finite projective plane P of order q = ks is a set of (q-s+1)k points that meets every line of P in either k or 0 points. The collection of the nonempty intersections of a maximal arc with the lines of P is a resolvable Steiner 2-((q-s+1)k, k, 1) design. Necessary and sufficient conditions for a resolvable Steiner 2- design to be embeddable as a maximal arc in a projective plane were proved recently in [8]. Steiner designs associated with maximal arcs in the known projective planes of order 16 were analyzed in [6], where it was shown that some of the associated designs are embeddable in two non-isomorphic planes. Using MAGMA, we conducted an analysis to ascertain whether any of the 22 non-isomorphic 1-rotational 2-(52,4,1) designs, previously classified in [3], could be embedded in maximal arcs of degree 4 within projective planes of order 16. This paper presents a summary of our findings, revealing that precisely only one out of the the twenty-two 1-rotational designs from [3] is embeddable in a plane of order 16, being the Desarguesian plane P G(2, 16).
2024-02-15
On the Hamilton-Waterloo Problem with a single factor of 6-cycles
The uniform Hamilton-Waterloo Problem (HWP) asks for a resolvable $(C_M, C_N)$-decomposition of $K_v$ into $α$ $C_M$-factors and $β$ $C_N$-factors. We denote a solution to the uniform Hamilton Hamilton-Waterloo problem by $\hbox{HWP}(v; M, N; α, β)$. Our research concentrates on addressing some of the remaining unresolved cases, which pose a significant challenge to generalize. We place a particular emphasis on instances where the $\gcd(M,N)=\{2, 3\}$, with a specific focus on the parameter $M=6$. We introduce modifications to some known structures, and develop new approaches to resolving these outstanding challenges in the construction of uniform $2$-factorizations. This innovative method not only extends the scope of solved cases, but also contributes to a deeper understanding of the complexity involved in solving the Hamilton-Waterloo Problem.
2023-12-14
Uniformly resolvable decompositions of $K_v-I$ into $5$-stars
We consider the existence problem of uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,5}$.
2018-05-01 v2
${\rm{TS}}(v,λ)$ with cyclic 2-intersecting Gray codes: $v\equiv 0$ or $4\pmod{12}$
Published • View PublicationBIB
A ${\rm{TS}}(v,λ)$ is a pair $(V,\mathcal{B})$ where $V$ contains $v$ points and $\mathcal{B}$ contains $3$-element subsets of $V$ so that each pair in $V$ appears in exactly $λ$ blocks. A $2$-block intersection graph ($2$-BIG) of a ${\rm{TS}}(v,λ)$ is a graph where each vertex is represented by a block from the ${\rm{TS}}(v,λ)$ and each pair of blocks $B_i,B_j\in \mathcal{B}$ are joined by an edge if $|B_i\cap B_j|=2$. Using constructions for ${\rm{TS}}(v,λ)$ given by Schreiber, we show that there exists a ${\rm{TS}}(v,λ)$ for $v\equiv 0$ or $4\pmod{12}$ whose $2$-BIG is Hamiltonian.
2017-12-26
On the Hamilton-Waterloo problem: the case of two cycles sizes of different parity
The Hamilton-Waterloo problem asks for a decomposition of the complete graph into $r$ copies of a 2-factor $F_{1}$ and $s$ copies of a 2-factor $F_{2}$ such that $r+s=\left\lfloor\frac{v-1}{2}\right\rfloor$. If $F_{1}$ consists of $m$-cycles and $F_{2}$ consists of $n$ cycles, then we call such a decomposition a $(m,n)-$HWP$(v;r,s)$. The goal is to find a decomposition for every possible pair $(r,s)$. In this paper, we show that for odd $x$ and $y$, there is a $(2^kx,y)-$HWP$(vm;r,s)$ if $\gcd(x,y)\geq 3$, $m\geq 3$, and both $x$ and $y$ divide $v$, except possibly when $1\in\{r,s\}$.
2016-05-05
A Generalization of the Hamilton-Waterloo Problem on Complete Equipartite Graphs
Published • View PublicationBIB
The Hamilton-Waterloo problem asks for which $s$ and $r$ the complete graph $K_n$ can be decomposed into $s$ copies of a given 2-factor $F_1$ and $r$ copies of a given 2-factor $F_2$ (and one copy of a 1-factor if $n$ is even). In this paper we generalize the problem to complete equipartite graphs $K_{(n:m)}$ and show that $K_{(xyzw:m)}$ can be decomposed into $s$ copies of a 2-factor consisting of cycles of length $xzm$; and $r$ copies of a 2-factor consisting of cycles of length $yzm$, whenever $m$ is odd, $s,r\neq 1$, $\gcd(x,z)=\gcd(y,z)=1$ and $xyz\neq 0 \pmod 4$. We also give some more general constructions where the cycles in a given two factor may have different lengths. We use these constructions to find solutions to the Hamilton-Waterloo problem for complete graphs.
On the Hamilton-Waterloo Problem with triangle factors and $C_{3x}$-factors
Published in Australasian Journal of Combinatorics, 64(3) (2016), 458-474 • Search Publication
The Hamilton-Waterloo Problem (HWP) in the case of $C_{m}$-factors and $C_{n}$-factors asks if $K_v$, where $v$ is odd (or $K_v-F$, where $F$ is a 1-factor and $v$ is even), can be decomposed into r copies of a 2-factor made either entirely of $m$-cycles and $s$ copies of a 2-factor made entirely of $n$-cycles. In this paper, we give some general constructions for such decompositions and apply them to the case where $m=3$ and $n=3x$. We settle the problem for odd $v$, except for a finite number of $x$ values. When $v$ is even, we make significant progress on the problem, although open cases are left. In particular, the difficult case of $v$ even and $s=1$ is left open for many situations.
2011-05-07
Fixed block configuration group divisible designs with block size six
Published • View PublicationBIB
We present constructions and results about GDDs with two groups and block size 6. We study those GDDs in which each block has configuration (s,t), that is in which each block has exactly s points from one of the two groups and t points from the other. We show the necessary conditions are sufficient for the existence of GDD(n,2,6;λ1,λ2)s with fixed block configuration (3,3). For configuration (1,5), we give minimal or near-minimal index examples for all group sizes n \geq 5 except n = 10, 15, 160, or 190. For configuration (2,4), we provide constructions for several families of GDD(n,2,6;λ1,λ2)s.