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
- https://doi.org/10.61091/ojac-905
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 9, 2014
- Pages: 1-36 (Paper #5)
- Published: 31/12/2014
In his celebrated proof of Szemerédi’s theorem that a set of integers of positive density contains arbitrarily long arithmetic progressions, W. T. Gowers introduced a certain sequence of norms \( \|\cdot\|_{U^2[\mathbb{N}]} \leq \|\cdot\|_{U^3[\mathbb{N}]} \leq \cdots \) on the space of complex-valued functions on the set \( [N] \). An important question regarding these norms concerns for which functions they are `large’ in a certain sense.
This question has been answered fairly completely by B. Green, T. Tao and T. Ziegler in terms of certain algebraic functions called \textit{nilsequences}. In this work, we show that more explicit functions called \textit{bracket polynomials} have `large’ Gowers norm. Specifically, for a fairly large class of bracket polynomials, called \textit{constant-free bracket polynomials}, we show that if \( \phi \) is a bracket polynomial of degree \( k-1 \) on \( [N] \), then the function \( f : n \mapsto e(\phi(n)) \) has Gowers \( U^k[\mathbb{N}] \)-norm uniformly bounded away from zero.
We establish this result by first reducing it to a certain recurrence property of sets of constant-free bracket polynomials. Specifically, we show that if \( \theta_1, \ldots, \theta_r \) are constant-free bracket polynomials, then their values, modulo 1, are all close to zero on at least some constant proportion of the points \( 1, \ldots, N \).
The proof of this statement relies on two deep results from the literature. The first is work of V. Bergelson and A. Leibman showing that an arbitrary bracket polynomial can be expressed in terms of a so-called \textit{polynomial sequence} on a nilmanifold. The second is a theorem of B. Green and T. Tao describing the quantitative distribution properties of such polynomial sequences.
In the special cases of the bracket polynomials \( \phi_{k-1}(n) = \alpha_{k-1} n^{k-2} \{ \alpha_1 n \cdots \} \) with \( k \leq 5 \), we give elementary alternative proofs of the fact that \( \|\phi_{k-1}\|_{U^k[\mathbb{N}]} \) is `large,’ without reference to nilmanifolds. Here we write \( \{x\} \) for the fractional part of \( x \), chosen to lie in \( (-1/2, 1/2] \).
- Research article
- https://doi.org/10.61091/ojac-904
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 9, 2014
- Pages: 1-11 (Paper #4)
- Published: 31/12/2014
The theory of generic smooth closed plane curves initiated by Vladimir Arnold is a beautiful fusion of topology, combinatorics, and analysis. The theory remains fairly undeveloped. We review existing methods to describe generic smooth closed plane curves combinatorially, introduce a new one, and give an algorithm for efficient computation of Arnold’s invariants. Our results provide a good source of future research projects that involve computer experiments with plane curves. The reader is not required to have background in topology and even undergraduate students with basic knowledge of differential geometry and graph theory will easily understand our paper.
- Research article
- https://doi.org/10.61091/ojac-903
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 9, 2014
- Pages: 1-18 (Paper #3)
- Published: 31/12/2014
A level (\(L\)) is an occurrence of two consecutive equal entries in a word \(w = w_1 w_2 \cdots\), while a rise (\(R\)) or descent (\(D\)) occurs when the right or left entry, respectively, is strictly larger. If \(u = u_1 u_2 \cdots u_n\) and \(v = v_1 v_2 \cdots v_n\) are \(k\)-ary words of the same given length and \(1 \leq i \leq n-1\), then there is, for example, an occurrence of \(LR\) at index \(i\) if \(u_i = u_{i+1}\) and \(v_i < v_{i+1}\), and likewise for the other possibilities. Similar terminology may be used when discussing ordered \(d\)-tuples of \(k\)-ary words of length \(n\) (the set of which we’ll often denote by \([k]^{nd}\)).
In this paper, we consider the problem of enumerating the members of \([k]^{nd}\) according to the number of occurrences of the pattern \(\rho\), where \(d \geq 1\) and \(\rho\) is any word of length \(d\) in the alphabet \(\{L, R, D\}\). In particular, we find an explicit formula for the generating function counting the members of \([k]^{nd}\) according to the number of occurrences of the patterns \(\rho = L^i R^{d-i}\), \(0 \leq i \leq d\), which, by symmetry, is seen to solve the aforementioned problem in its entirety. We also provide simple formulas for the average number of occurrences of \(\rho\) within all the members of \([k]^{nd}\), providing both algebraic and combinatorial proofs. Finally, in the case \(d = 2\), we solve the problem above where we also allow for \textit{weak rises} (which we’ll denote by \(R_w\)), i.e., indices \(i\) such that \(w_i \leq w_{i+1}\) in \(w\). Enumerating the cases \(R_w R_w\) and \(R_w R_{uw}\) seems to be more difficult, and to do so, we combine the kernel method with the simultaneous use of several recurrences.
- Research article
- https://doi.org/10.61091/ojac-902
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 9, 2014
- Pages: 1-17 (Paper #2)
- Published: 31/12/2014
Let \( G \) be a simple, connected graph with finite vertex set \( V \) and edge set \( E \). A depletion of \( G \) is a permutation \( v_1 v_2 \dots v_n \) of the elements of \( V \) with the property that \( v_i \) is adjacent to some member of \( \{v_1, v_2, \dots, v_{i-1}\} \) for each \( i \geq 2 \). Depletions model the spread of a rumor or a disease through a population and are related to heaps. In this paper, we develop techniques for enumerating the depletions of a graph.
- Research article
- https://doi.org/10.61091/ojac-901
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 9, 2014
- Pages: 1-20 (Paper #1)
- Published: 31/12/2014
This statistic, i.e. the sum of positions of records, has been the object of recent interest in the literature. Using the saddle point method, we obtain from the generating function of the sum of positions of records in random permutations and Cauchy’s integral formula, asymptotic results in central and non-central regions. In the non-central region, we derive asymptotic expansions generalizing some results by Kortchemski. In the central region, we obtain a limiting distribution related to Dickman’s function. This paper fits within the framework of Analytic Combinatorics.
- Research article
- Full Text
- Ars Combinatoria
- Volume 125
- Pages: 85-96
- Published: 31/01/2016
For a simple undirected graph \(G = (V, E)\), a subset \(I\) of \(V(G)\) is said to be an independent set of \(G\) if any two vertices in \(I\) are not adjacent in \(G\). A maximal independent set is an independent set that is not a proper subset of any other independent set. In this paper, we survey the largest to fourth largest numbers of maximal independent sets among all trees and forests. In addition, we further look into the problem of determining the fifth largest number of maximal independent sets among all trees and forests. Extremal graphs achieving these values are also given.
- Research article
- Full Text
- Ars Combinatoria
- Volume 118
- Pages: 269-283
- Published: 31/01/2015
Ruskey and Savage posed the question: For \(n \geq 2\), does every matching in \(Q_n\) extend to a Hamiltonian cycle in \(Q_n\)? Fink showed that the answer is yes for every perfect matching, thereby proving Kreweras’ conjecture. In this paper, we prove that for \(n \geq 3\), every matching in \(Q_n\) not covering exactly two vertices at distance \(3\) extends to a Hamiltonian cycle in \(Q_n\). An edge in \(Q_n\) is an \(i\)-edge if its endpoints differ in the \(i\)th position. We also show that for \(n \geq 2\), every matching in \(Q_n\) consisting of edges in at most four types extends to a Hamiltonian cycle in \(Q_n\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 113-A
- Pages: 331-347
- Published: 31/01/2014
In this paper, the congruence relations and the lower and upper bounds of hyper-Wiener index for \(k\)-membered ring spiro systems given length \(n\) are determined respectively. As these results’ applications,the congruence relations and the extremal five- and six-membered ring spiro systems with maximal and minimal hyper-Wiener index are given respectively.
- Research article
- Full Text
- Ars Combinatoria
- Volume 113-A
- Pages: 321-330
- Published: 31/01/2014
Let \(G\) be a finite group and \(S \subseteq G \setminus \{0\}\). We call \(S\) an additive basis of \(G\) if every element of \(G\) can be expressed as a sum over a nonempty subset in some order. Let \(cr(G)\) be the smallest integer \(t\) such that every subset of \(G \setminus \{0\}\) of cardinality \(t\) is an additive basis of \(G\). In this paper, we determine \(cr(G)\) for the following cases: (i) \(G\) is a finite nilpotent group; (ii) \(G\) is a group of even order which possesses a subgroup of index \(2\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 113-A
- Pages: 299-319
- Published: 31/01/2014
For \(n \geq 1\), we let \(a_n\) count the number of compositions of the positive integer \(m\), where the last summand is odd. We find that \(a_n = (\frac{1}{3})(-1)^n + (\frac{2}{3}) 2^{n-1}\). Since \(J_n\), the \(n\)-th Jacobsthal number, is given as \(\frac{1}{3}(-1)^n + \frac{2}{3}2^{n-1}\) for \(n \geq 0\), it follows that \(a_n = J_{n-1}\) for \(n \geq 1\). For this reason, these compositions are often referred to as the Jacobsthal compositions.
In our investigation, we determine results for the \(a_n\) compositions of \(n\), such as: (i) \(a_{n,k}\), the number of times the positive integer \(k\) appears as a summand among these \(a_n\) compositions of \(n\); (ii) the numbers of plus signs, summands, even summands, and odd summands that occur for these compositions of \(n\); (iii) the sum of the even summands and the sum of the odd summands for the \(a_n\) compositions of \(n\); (iv) the numbers of levels, rises, and descents for the \(a_n\) compositions; and (v) the number of runs that occur among these \(a_n\) compositions.




