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.

Matthew C. H. Tointon1
1CENTRE FOR MATHEMATICAL SCIENCES, UNIVERSITY OF CAMBRIDGE, WILBERFORCE ROAD, CAMBRIDGE CB3 0WB, UNITED KINGDOM
Abstract:

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] \).

Fedor Duzhin1, Biaoshuai Tao1
1NANYANG TECHNOLOGICAL UNIVERSITY
Abstract:

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.

Toufik Mansour1, Mark Shattuck1
1DEPARTMENT OF MATHEMATICS, UNIVERSITY OF HAIFA, 31905 HAIFA, ISRAEL
Abstract:

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.

Byron C. Jaeger1, Thomas M. Lewis2
1THE UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL
2FURMAN UNIVERSITY
Abstract:

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.

Guy Louchard 1
1UNIVERSITÉ LIBRE DE BRUXELLES, BELGIUM
Abstract:

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.

Jeng-Jong Lin1
1 Ling Tung University, Taichung 40852, Taiwan
Abstract:

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.

Fan Wang1,2, Heping Zhang1
1School of Mathematics and Statistics, Lanzhou University, Lanzhou, Gansu 730000, P. R. China
2Department of Mathematics, Nanchang University, Nanchang, Jiangxi 330000, P, R. China
Abstract:

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\).

Xianyong Li1, Xiaofan Yang1, Jian Zhu2, Rongwei Hu3
1College of Computer Science, Chongqing University, Chongqing 400044, P.R.China
2Foundation Department, Xinjiang Polytechnical College, Urumdi 830000, Xinjiang, P.R.China
3College of Mathematic and Systems Science, Xinjiang University, Urumadi 830046, Xinjiang, P.R.China
Abstract:

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.

Qinghong Wang 1, Yongke Qu1
1CENTER FOR COMBINATORICS, NANKAI UNIVERSITY, TIANJIN 300071, P.R. CHINA
Abstract:

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\).

Ralph P. Grimaldi1
1Rose-Hulman Institute of Technology 5500 Wabash Avenue Terre Haute, Indiana 47803-3999
Abstract:

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.

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;