Growth: A Journal of Mathematics and Mathematics Education

ISSN: xxxx-xxxx

Growth: A Journal of Mathematics and Mathematics Education aims to provide a publication platform for high quality undergraduate research in mathematics and in mathematical pedagogy. The technical scope of the journal is combinatorial mathematics, broadly interpreted—the editorial board will consider all submissions in their areas of interest. All submitted articles must have an undergraduate research component and must be certified by a senior researcher. All submissions will be peer reviewed according to standard practices in academic mathematics. Precise editorial policies are set by the editorial board.

Frantisek Franek1
1Department of Computer Science and Systems McMaster University Hamilton, Ontario L8S 4K1 Canada
Abstract:

An infinite countable Steiner triple system is called universal if any countable Steiner triple system can be embedded into it. The main result of this paper is the proof of non-existence of a universal Steiner triple system.

The fact is proven by constructing a family \(\mathcal{S}\) of size \(2^{\omega}\) of infinite countable Steiner triple systems so that no finite Steiner triple system can be embedded into any of the systems from \(\mathcal{S}\) and no infinite countable Steiner triple system can be embedded into any two of the systems from \(\mathcal{S}\) (it follows that the systems from \(\mathcal{S}\) are pairwise non-isomorphic).

A Steiner triple system is called rigid if the only automorphism it admits is the trivial one — the identity. An additional result presented in this paper is a construction of a family of size \(2^{\omega}\) of pairwise non-isomorphic infinite countable rigid Steiner triple systems.

Tsuyoshi Nishimura1
1 Department of Mathematics Shibaura Institute of Technology Fukasaku, Omiya 330 Japan
Abstract:

A graph \(G\) having a \(1\)-factor is called \(n\)-extendable if every matching of size \(n\) extends to a 1-factor. We show that
if \(G\) is a connected graph of order \(2p (p \geq 3)\), and g and n are integers, \(1 \leq n < q < p\), such that every induced connected subgraph of order \(2q\) is \(n\)-extendable, then \(G\) is n-extendable.

D. R. Stinson1, L. Zhu2
1Computer Science and Engineering Department and Center for Communication and Information Science University of Nebraska Lincoln, NE 68588-0115, U.S.A.
2Department of Mathematics Suzhou University Suzhou 215006 Peoples’ Republic of China
Abstract:

We consider a pair of MOLS (mutually orthogonal Latin squares) having holes, corresponding to missing sub-MOLS, which are disjoint and spanning. If the two squares are mutual transposes, we say that we have SOLS (self-orthogonal Latin squares) with holes. It is shown that a pair of SOLS with \(n\) holes of size \(h \geq 2\) exist if and only if \(n \geq 4\) and it is also shown that a pair of SOLS with \(n\) holes of size \(2\) and one hole of size \(3\) exist for all \(n \geq 4, n \neq 13, 15\).

As an application, we prove a result concerning intersection numbers of transversal designs with four groups.

Ahmed M.Assaf1
1Department of Mathematics Central Michigan University Mt. Pleasant, MI 48859
Abstract:

Let \(V\) be a finite set of order \(v\). A \((v, \kappa, \lambda)\) covering design of index \(\lambda\) and block size \(\kappa\) is a collection of \(\kappa\)-element subsets, called blocks, such that every \(2\)-subset of \(V\) occurs in at least \(\lambda\) blocks. The covering problem is to determine the minimum number of blocks, \(\alpha(v, \kappa, \lambda)\), in a covering design. It is well known that
\(\alpha(v, \kappa, \lambda) \geq \lceil \frac{v}{\kappa}\lceil\frac{v-1}{\kappa -1}\lambda\rceil\rceil = \phi(v, \kappa, \lambda)\)
where \(\lceil x \rceil\) is the smallest integer satisfying \(x \leq \lceil x \rceil\). It is shown here that
\(\alpha(v, 5, 6) = \phi (v, 5, 6)\) for all positive integers \(v \geq 5\), with the possible exception of \(v = 18\).

A. Benkouar1, Y. Manoussakis2, R. Saad2
1Université Paris-XII, Créteil, Dept. Informatique Avenue du Général de Gaulle, 94000 Créteil Cedex, France
2Université Paris-XI (Orsay), L.R.I. Bat. 490 91405 ORSAY Cedex, France
Abstract:

In an edge-colored graph, a cycle is said to be alternating, if the successive edges in it differ in color. In this work, we consider the problem of finding alternating cycles through \(p\) fixed vertices in \(k\)-edge-colored graphs, \(k \geq 2\). We first prove that this problem is NP-Hard even for \(p = 2\) and \(k = 2\). Next, we prove efficient algorithms for \(p = 1\) and \(k\) non-fixed, and also for \(p = 2\) and \(k = 2\), when we restrict ourselves to the case of \(k\)-edge-colored complete graphs.

Jianxing Yin1
1Department of Mathematics, Suzhou University Suzhou 215006, P.R. of China
Abstract:

It is shown that the obvious necessary condition for the existence of a \(\text{B}(8,7; v)\) is sufficient, with the possible exception of \(v \in \{48, 56, 96, 448\}\).

P. Horak1, X. Zhu2
1Department of Mathematics and Statistics, Simon Fraser University, Canada; and Katedra Matematiky, EF STU, 812 19 Bratislava, Slovakia
2Departement of Mathematics and Statistics, Simon Fraser University, Canada
Abstract:

We prove that for any tree \(T\) of maximum degree three, there exists a subset \(S\) of \(E(T)\) with \(|S| = O(\log n)\) and a two-coloring of the edges of the forest \(T \setminus S\) such that the two monochromatic forests are isomorphic, where \(n\) is the number of vertices of \(T\) of degree three.

Wun-Seng Chou1, Peter Jau-Shyong Shiue2
1Institute of Mathematics, Academia Sinica Nankang, Taipei 11529, Tarwan, R.O.C.
2Department of Mathematical Sciences, University Of Nevada, Las Vegas 4505 Maryland Parkway, Las Vegas, NV 89154-4020, U.S.A.
Yeow Meng Chee1
1Planning and Infrastructure Department National Computer Board 71 Science Park Drive, $0511 Republic of Singapore
Abstract:

We construct new simple \(3-(17,5,3), 3-(19,9,56), 3-(19,9,140)\), and \(3-(19,9,224)\) designs by combining disjoint designs.

Zhang Xuebin1
1Nanjing Architectural and Civil Engineering Institute Nanjing, 210009, China
Abstract:

An \(\text{NB}[k, \lambda; v]\) is a \(\text{B}[b, \lambda; v]\) which has no repeated blocks. In this paper we prove that there exists an indecomposable \(\text{NB}[3,5; v]\) for \(v \geq 7\) and \(v \equiv 1 \text{ or } 3 \pmod{6}\), with the exception of \(v = 7\) and \(9\), and the possible exception of \(v = 13, 15\).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;