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 084
- Pages: 5-20
- Published: 31/01/2012
A signed graph (digraph) \( \Sigma \) is an ordered triple \( (V, E, \sigma) \) (respectively, \( (V, \mathcal{A}, \sigma) \)), where \( |\Sigma| := (V, E) \) (respectively, \( (V, \mathcal{A}) \)) is a graph (digraph), called the underlying graph (underlying digraph) of \( \Sigma \), and \( \sigma \) is a function that assigns to each edge (arc) of \( |\Sigma| \) a weight \( +1 \) or \( -1 \). Any edge (arc) \( e \) of \( \Sigma \) is said to be positive or negative according to whether \( \sigma(e) = +1 \) or \( \sigma(e) = -1 \). A subset \( D \subseteq V \) of vertices of \( \Sigma \) is an absorbent (respectively, a dominating set) of \( \Sigma \) if there exists a marking \( \mu: V \to \{+1, -1\} \) of \( \Sigma \) such that every vertex \( u \) of \( \Sigma \) is either in \( D \) or
\[
O(u) \cap D \neq \emptyset \quad \text{and} \quad \sigma(u, v) = \mu(u) \mu(v) \quad \forall \quad v \in O(u) \cap D,
\]
(respectively,
\[
I(u) \cap D \neq \emptyset \quad \text{and} \quad \sigma(u, v) = \mu(u) \mu(v) \quad \forall \quad v \in I(u) \cap D),
\]
where \( O(u) \) (\( I(u) \)) denotes the set of vertices \( v \) of \( \Sigma \) that are joined by the outgoing arcs \( (u, v) \) from \( u \) (incoming arcs \( (v, u) \) at \( u \)). Further, an absorbent (dominating set) of \( \Sigma \) that is independent is called a kernel (solution) of \( \Gamma \). The main aim of this paper is to initiate a study of absorbents and dominating sets in a signed graph (signed digraph), extending the existing studies on these special sets of vertices in a graph (digraph).
- Research article
- https://doi.org/10.61091/ojac-806
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 8, 2013
- Pages: 1-33 (Paper #6)
- Published: 31/12/2013
We exhibit proofs of Furstenberg’s Multiple Recurrence Theorem and of a special case of Furstenberg and Katznelson’s multidimensional version of this theorem, using an analog of the density-increment argument of Roth and Gowers. The second of these results requires also an analog of some recent finitary work by Shkredov.
Many proofs of these multiple recurrence theorems are already known. However, the approach of this paper sheds some further light on the well-known heuristic correspondence between the ergodic-theoretic and combinatorial aspects of multiple recurrence and Szemeredi’s Theorem. Focusing on the density- increment strategy highlights several close points of connection between these settings.
- Research article
- https://doi.org/10.61091/ojac-805
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 8, 2013
- Pages: 1-34 (Paper #5)
- Published: 31/12/2013
We study the Euler–Frobenius numbers, a generalization of the Eulerian numbers, and the probability distribution obtained by normalizing them. This distribution can be obtained by rounding a sum of independent uniform random variables; this is more or less implicit in various results and we try to explain this and various connections to other areas of mathematics, such as spline theory.
The mean, variance and (some) higher cumulants of the distribution are calculated. Asymptotic results are given. We include a couple of applications to rounding errors and election methods.
- Research article
- https://doi.org/10.61091/ojac-804
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 8, 2013
- Pages: 1-20 (Paper #4)
- Published: 31/12/2013
An important problem in analytic and geometric combinatorics is estimating the number of lattice points in a compact convex set in a Euclidean space. Such estimates have numerous applications throughout mathematics. In this note, we exhibit applications of a particular estimate of this sort to several counting problems in number theory: counting integral points and units of bounded height over number fields, counting points of bounded height over positive definite quaternion algebras, and counting points of bounded height with a fixed support over global function fields. Our arguments use a collection of height comparison inequalities for heights over a number field and over a quaternion algebra. We also show how these inequalities can be used to obtain existence results for points of bounded height over a quaternion algebra, which constitute non-commutative analogues of variations of the classical Siegel’s lemma and Cassels’ theorem on small zeros of quadratic forms.
- Research article
- https://doi.org/10.61091/ojac-803
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 8, 2013
- Pages: 1-9 (Paper #3)
- Published: 31/12/2013
We prove that when a pre-independence space satisfies some natural properties, then its cyclic flats form a bounded lattice under set inclusion. Additionally, we show that a bounded lattice is isomorphic to the lattice of cyclic flats of a pre-independence space. We also prove that the notion of cyclic width gives rise to dual-closed and minorclosed classes of B-matroids. Finally, we find a difference between finite matroids and B-matroids by using the notion of well-quasi-ordering.
- Research article
- https://doi.org/10.61091/ojac-802
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 8, 2013
- Pages: 1-16 (Paper #2)
- Published: 31/12/2013
In this paper, we generalize an earlier statistic on square-and-domino tilings by considering only those squares covering a multiple of k, where k is a fixed positive integer. We consider the distribution of this statistic jointly with the one that records the number of dominos in a tiling. We derive both finite and infinite sum expressions for the corresponding joint distribution polynomials, the first of which reduces when k = 1 to a prior result. The cases q = 0 and q = −1 are noted for general k. Finally, the case k = 2 is considered specifically, where further results may be given, including a combinatorial proof when q = −1.
- Research article
- https://doi.org/10.61091/ojac-801
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 8, 2013
- Pages: 1-25 (Paper #1)
- Published: 31/12/2013
A sequence of coefficients appearing in a recurrence for the Narayana polynomials is generalized. The coefficients are given a probabilistic interpretation in terms of beta distributed random variables. The recurrence established by M. Lasalle is then obtained from a classical convolution identity. Some arithmetical properties of the generalized coefficients are also established.
- Research article
- Full Text
- Ars Combinatoria
- Volume 108
- Pages: 515-532
- Published: 31/01/2013
We recall from [13] a shell graph of size \(n\), denoted \(C(n, n-3)\), is the graph obtained from the cycle \(C_n(v_1, v_2, \ldots, v_{n-1})\) by adding \(n-3\) consecutive chords incident at a common vertex, say \(v_0\). The vertex \(v_0\) of \(C(n, n-3)\) is called the apex of the shell \(C(n, n-3)\). The vertex \(v_1\) of \(C(n, n-3)\) is said to be at level 1.
A graph \(C(2n,n-2)\) is called an alternate shell, if \(C(2n,n-2)\) is obtained from the cycle \(C_{2n}(v_0,v_1, v_2, \ldots, v_{2n-1})\) by adding \(n-2\) chords between the vertex \(v_0\) and the vertices \(v_{2i+1}\), for \(1\leq i \leq n-2\). If the vertex \(v_i\) of \(C(2n,n-2)\) at level 1 is adjacent with \(v_0\), then \(v_1\) is said to be at level 1 with a chord, otherwise the vertex \(v_1\) is said to be at level 1 without a chord.
- Research article
- Full Text
- Ars Combinatoria
- Volume 108
- Pages: 505-513
- Published: 31/01/2013
In 2009, Akelbek and Kirkland introduced a useful parameter called the scrambling index of a primitive digraph \(D\), which is the smallest positive integer \(k\) such that for every pair of vertices \(u\) and \(v\), there is a vertex \(w\) such that we can get to \(w\) from \(u\) and \(v\) in \(D\) by walks of length \(k\). In this paper, we study and obtain the scrambling indices of all primitive digraphs with exactly two cycles.
- Research article
- Full Text
- Ars Combinatoria
- Volume 108
- Pages: 493-504
- Published: 31/01/2013
Given a tournament \(T = (V, A)\), a subset \(X\) of \(V\) is an interval of \(T\) provided that for every \(a, b \in X\) and \(x \in V – X\), \((a, x) \in A\) if and only if \((b, x) \in A\). For example, \(\emptyset\), \(\{x\}\) (\(x \in V\)), and \(V\) are intervals of \(T\), called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A critical tournament is an indecomposable tournament \(T\) of cardinality \(\geq 5\) such that for any vertex \(x\) of \(T\), the tournament \(T – x\) is decomposable. The critical tournaments are of odd cardinality and for all \(n \geq 2\) there are exactly three critical tournaments on \(2n + 1\) vertices denoted by \(T_{2n+1}\), \(U_{2n+1}\), and \(W_{2n+1}\). The tournaments \(T_5\), \(U_5\), and \(W_5\) are the unique indecomposable tournaments on 5 vertices. We say that a tournament \(T\) embeds into a tournament \(T’\) when \(T\) is isomorphic to a subtournament of \(T’\). A diamond is a tournament on 4 vertices admitting only one interval of cardinality 3. We prove the following theorem: if a diamond and \(T_5\) embed into an indecomposable tournament \(T\), then \(W_5\) and \(U_5\) embed into \(T’\). To conclude, we prove the following: given an indecomposable tournament \(T\) with \(|V(T)| \geq 7\), \(T\) is critical if and only if only one of the tournaments \(T_7\), \(U_7\), or \(W_7\) embeds into \(T\).




