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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 054
- Pages: 57-65
- Published: 31/08/2005
A constant composition code of length \( n \) over a \( k \)-ary alphabet has the property that the numbers of occurrences of the \( k \) symbols within a codeword is the same for each codeword. These specialize to constant weight codes in the binary case, and permutation codes in the case that each symbol occurs exactly once. Constant composition codes arise in powerline communication and balanced scheduling, and are used in the construction of permutation codes. Using exhaustive and probabilistic clique search, and by applying theorems and constructions in past literature, we generate tables which summarize the best known lower bounds on constant composition codes for (i) \( 3 \leq k \leq 8 \), (ii) \( k = 3 \), \( 9 \leq n \leq 12 \), and (iii) various other interesting parameters with \( n \geq 9 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 054
- Pages: 33-56
- Published: 31/08/2005
In this paper, we develop a computational method for constructing transverse \( t \)-designs. An algorithm is presented that computes the \( G \)-orbits of \( k \)-element subsets transverse to a partition \( \mathcal{H} \), given that an automorphism group \( G \) is provided. We then use this method to investigate transverse Steiner quadruple systems. We also develop recursive constructions for transverse Steiner quadruple systems, and we provide a table of existence results for these designs when the number of points \( v \leq 24 \). Finally, some results on transverse \( t \)-designs with \( t > 3 \) are also presented.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 054
- Pages: 21-31
- Published: 31/08/2005
A vertex-magic total labeling of a graph \( G(V, E) \) is defined as a one-to-one mapping from \( V \cup E \) to the set of integers \( \{1,2,\ldots,|V| + |E|\} \) with the property that the sum of the label of a vertex and the labels of all edges incident to this vertex is the same constant for all vertices of the graph. A supermagic labeling of a graph \( G(V, E) \) is defined as a one-to-one mapping from \( E \) to the set of integers \( \{1, 2,\ldots,|E|\} \) with the property that the sum of the labels of all edges incident to a vertex is the same constant for all vertices of the graph.
In this paper, we present a technique for constructing vertex-magic total labelings of products of certain vertex-magic total \( r \)-regular graphs \( G \) and certain \( 2_s \)-regular supermagic graphs \( H \). \( H \) has to be decomposable into two \( s \)-regular factors and if \( r \) is even, \( |H| \) has to be odd.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 054
- Pages: 3-20
- Published: 31/08/2005
At each vertex in a Cayley map, the darts emanating from that vertex are labeled by a generating set of a group. This generating set is closed under inverses. Two classes of Cayley maps are balanced and antibalanced maps. For these cases, the distributions of the inverses about the vertex are well understood. For a balanced Cayley map, either all the generators are involutions or each generator is directly opposite across the vertex from its inverse. For an antibalanced Cayley map, there is a line of reflection in the tangent plane of the vertex so that the inverse generator for each dart label is symmetric across that line. An \( e \)-balanced Cayley map is a recent generalization that has received much study, see for example [2, 6, 7, 13]. In this note, we examine the symmetries of the inverse distributions of \( e \)-balanced maps in a manner analogous to those of balanced and antibalanced maps.
- Research article
- Full Text
- Ars Combinatoria
- Volume 076
- Pages: 321-350
- Published: 31/07/2005
In [Kit1] Kitaev discussed simultaneous avoidance of two \(3\)-patterns with no internal dashes, that is, where the patterns correspond to contiguous subwords in a permutation. In three essentially different cases, the numbers of such \(n\)-permutations are \(2^{n-1}\), the number of involutions in \(S_n\), and \(2^{E_n}\), where \(E_n\) is the \(n\)-th Euler number. In this paper we give recurrence relations for the remaining three essentially different cases.
To complete the descriptions in [Kit3] and [KitMans], we consider avoidance of a pattern of the form \(x-y-z\) (a classical \(3\)-pattern) and beginning or ending with an increasing or decreasing pattern. Moreover, we generalize this problem: we demand that a permutation must avoid a \(3\)-pattern, begin with a certain pattern, and end with a certain pattern simultaneously. We find the number of such permutations in case of avoiding an arbitrary generalized \(3\)-pattern and beginning and ending with increasing or decreasing patterns.
- Research article
- Full Text
- Ars Combinatoria
- Volume 076
- Pages: 303-319
- Published: 31/07/2005
A graph \(G\) is called integral or Laplacian integral if all the eigenvalues of the adjacency matrix \(A(G)\) or the Laplacian matrix \(Lap(G) = D(G) – A(G)\) of \(G\) are integers, where \(D(G)\) denotes the diagonal matrix of the vertex degrees of \(G\). Let \(K_{n,n+1} \equiv K_{n+1,n}\) and \(K_{1,p}[(p-1)K_p]\) denote the \((n+1)\)-regular graph with \(4n+2\) vertices and the \(p\)-regular graph with \(p^2 + 1\) vertices, respectively. In this paper, we shall give the spectra and characteristic polynomials of \(K_{n,n+1} \equiv K_{n+1,n}\) and \(K_{1,p}[(p-1)K_p]\) from the theory on matrices. We derive the characteristic polynomials for their complement graphs, their line graphs, the complement graphs of their line graphs, and the line graphs of their complement graphs. We also obtain the numbers of spanning trees for such graphs. When \(p = n^2 + n + 1\), these graphs are not only integral but also Laplacian integral. The discovery of these integral graphs is a new contribution to the search of integral graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 076
- Pages: 297-301
- Published: 31/07/2005
Balakrishnan et al. \([1, 2]\) have shown that every graph is a subgraph of a graceful graph and an elegant graph. Also Liu and Zhang \([4]\) have shown that every graph is a subgraph of a harmonious graph. In this paper we prove a generalization of these two results that any given set of graphs \(G_1,G_1,\ldots,G_i\) can be packed into a graceful/harmonious/elegant graph.
- Research article
- Full Text
- Ars Combinatoria
- Volume 076
- Pages: 287-295
- Published: 31/07/2005
We consider compositions or ordered partitions of the natural number n for which the largest (resp. smallest) summand occurs in the first position of the composition.
- Research article
- Full Text
- Ars Combinatoria
- Volume 076
- Pages: 277-286
- Published: 31/07/2005
Let \(m \geq 4\) be a positive integer and let \({Z}_m\) denote the cyclic group of residues modulo \(m\). For a system \(L\) of inequalities in \(m\) variables, let \(R(L;2)\) (\(R(L;{Z}_m)\)) denote the minimum integer \(N\) such that every function \(\Delta: \{1,2,\ldots,N\} \to \{0,1\}\) (\(A: \{1,2,\ldots,N\} \to {Z}_m\)) admits a solution of \(L\), say \((z_1,\ldots,z_m)\), such that \(\Delta(x_1) = \Delta(x_2) = \cdots = \Delta(x_m)\) (such that \(\sum_{i=1}^{m}\Delta(x_i) = 0\)). Define the system \(L_1(m)\) to consist of the inequality \(x_2 – x_1 \leq x_m – x_3\), and the system \(L_2(m)\) to consist of the inequality \(x_{m – 2}-x_{1} \leq x_m – x_{m-1}\); where \(x_1 < x_2 < \cdots < x_m\) in both \(L_1(m)\) and \(L_2(m)\). The main result of this paper is that \(R(L_1(m);2) = R(L_1(m);{Z}_m) = 2m\), and \(R(L_2(m);2) = 6m – 15\). Furthermore, we support the conjecture that \(R(L_1(m);2) = R(L_1(m);{Z}_m)\) by proving it for \(m = 5\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 076
- Pages: 257-276
- Published: 31/07/2005
In a given graph \(G\), a set \(S\) of vertices with an assignment of colors is a defining set of the vertex coloring of \(G\), if there exists a unique extension of the colors of \(S\) to a \(\chi(G)\)-coloring of the vertices of \(G\). A defining set with minimum cardinality is called a smallest defining set (of vertex coloring) and its cardinality, the defining number, is denoted by \(d(G, \chi)\). We study the defining number of regular graphs. Let \(d(n,r, \chi = k)\) be the smallest defining number of all \(r\)-regular \(k\)-chromatic graphs with \(n\) vertices, and \(f(n,k) = \frac{k-2}{2(k-1)} +\frac{2+(k-2)(k-3)}{2(k-1)}\). Mahmoodian and Mendelsohn (1999) determined the value of \(d(n,k, \chi = k)\) for all \(k \leq 5\), except for the case of \((n,k) = (10,5)\). They showed that \(d(n,k, \chi = k) = \lceil f(n,k) \rceil\), for \(k \leq 5\). They raised the following question: Is it true that for every \(k\), there exists \(n_0(k)\) such that for all \(n \geq n_0(k)\), we have \(d(n,k, \chi = k) = \lceil f(n,k) \rceil\)?
Here we determine the value of \(d(n,k, \chi = k)\) for each \(k\) in some congruence classes of \(n\). We show that the answer for the question above, in general, is negative. Also, for \(k = 6\) and \(k = 7\) the value of \(d(n,k, \chi = k)\) is determined except for one single case, and it is shown that \(d(10,5, \chi = 5) = 6\).




