Online Journal of Analytic Combinatorics
ISSN 1931-3365 (online)
The Online Journal of Analytic Combinatorics (OJAC) is a peer-reviewed electronic journal previously hosted by the University of Rochester and now published by Combinatorial Press. OJAC features research articles that span a broad spectrum of topics, including analysis, number theory, and combinatorics, with a focus on the convergence and interplay between these disciplines. The journal particularly welcomes submissions that incorporate one or more of the following elements: combinatorial results derived using analytic methods, analytic results achieved through combinatorial approaches, or a synthesis of combinatorics and analysis in either the methodologies or their applications
Information Menu
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-11 (Paper #8)
- Published: 31/12/2017
S. Ekhad and D. Zeilberger recently proved that the multivariate generating function for the number of simple singular vector tuples of a generic \(m_1 \times · · · \times m_d\) tensor has an elegant rational form involving elementary symmetric functions, and provided a partial conjecture for the asymptotic behavior of the cubical case \(m_1 = · · · = m_d\). We prove this conjecture and further identify completely the dominant asymptotic term, including the multiplicative constant. Finally, we use the method of differential approximants to conjecture that the subdominant connective constant effect observed by Ekhad and Zeilberger for a particular case in fact occurs more generally
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-13 (Paper #7)
- Published: 31/12/2017
In this paper, we define the q-analogue of the so-called symmetric infinite matrix algorithm. We find an explicit formula for entries in the associated matrix and also for the generating function of the k-th row of this matrix for each fixed k. This helps us to derive analytic and number theoretic identities with respect to the q-harmonic numbers and q-hyperharmonic numbers of Mansour and Shattuck.
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-11 (Paper #6)
- Published: 31/12/2017
Bargraphs are lattice paths in \(\mathbb{N}_0^2\) with three allowed types of steps: up \((0,1)\), down \((0,-1)\), and horizontal \((1,0)\). They start at the origin with an up step and terminate immediately upon return to the \(x\)-axis. A wall of size \(r\) is a maximal sequence of \(r\) adjacent up steps. In this paper, we develop the generating function for the total number of walls of fixed size \(r \geq 1\). We then derive asymptotic estimates for the mean number of such walls.
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-25 (Paper #5)
- Published: 31/12/2017
We survey four instances of the Fourier analytic ‘transference principle’or ‘dense model lemma’, which allows one to approximate an unbounded function on the integers by a bounded function with similar Fourier transform. Such a result forms a component of a general method pioneered by Green to count solutions to a single linear equation in a sparse subset of integers.
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-7 (Paper #4)
- Published: 31/12/2017
Let \( E \subseteq \mathbb{F}_q^2 \) be a set in the 2-dimensional vector space over a finite field with \( q \) elements, which satisfies \(|E| > q\). There exist \( x, y \in E \) such that \(|E \cdot (y – x)| > q/2\). In particular, \( (E + E) \cdot (E – E) = \mathbb{F}_q.\)
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-74 (Paper #3)
- Published: 31/12/2017
Let \((x(n))_{n \geq 1}\) be an \(s\)-dimensional Niederreiter-Xing sequence in base \(b\). Let \(D((x(n))_{n=1}^N)\) be the discrepancy of the sequence \((x(n))_{n=1}^N\). It is known that \(ND((x(n))_{n=1}^N) = O(\ln^s N)\) as \(N \to \infty\). In this paper, we prove that this estimate is exact. Namely, there exists a constant \(K > 0\), such that
\[
\inf_{w \in [0,1]^s} \sup_{1 \leq N \leq b^m} ND((x(n) \oplus w)_{n=1}^N) \geq K \ln^s \quad \text{ for } m = 1, 2, \ldots.
\]
We also get similar results for other explicit constructions of \((t,s)\)-sequences.
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-22 (Paper #2)
- Published: 31/12/2017
We define a new class of generating function transformations related to polylogarithm functions, Dirichlet series, and Euler sums. These transformations are given by an infinite sum over the jth derivatives of a sequence generating function and sets of generalized coefficients satisfying a non-triangular recurrence relation in two variables. The generalized transformation coefficients share a number of analogous properties with the Stirling numbers of the second kind and the known harmonic number expansions of the unsigned Stirling numbers of the first kind.
We prove a number of properties of the generalized coefficients which lead to new recurrence relations and summation identities for the k-order harmonic number sequences. Other applications of the generating function transformations we define in the article include new series expansions for the polylogarithm function, the alternating zeta function, and the Fourier series for the periodic Bernoulli polynomials. We conclude the article with a discussion of several specific new “almost” linear recurrence relations between the integer-order harmonic numbers and the generalized transformation coefficients, which provide new applications to studying the limiting behavior of the zeta function constants, ζ(k), at integers k ≥ 2.
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 12, 2017
- Pages: 1-10 (Paper #1)
- Published: 31/01/2017
Generating functions for Pell and Pell-Lucas numbers are obtained. Applications are given for some results recently obtained by Mansour [Mansour12]; by using an alternative approach that considers the action of the operator \(\delta_{e_1 e_2}^k\) to the series \(\sum_{j=0}^\infty a_j (e_1 z)^j\).
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 11, 2016
- Pages: 1-8 (Paper #1)
- Published: 31/12/2016
Motivated by the Monthly problem #11515, we prove further interesting formulae for trigonometric series by means of telescoping method.
- Research article
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 11, 2016
- Pages: 1-10 (Paper #7)
- Published: 31/12/2016
The main theorem establishes the generating function \(F\) which counts the number of times the staircase \(1 + 2 + 3 + \cdots + m^+\) fits inside an integer composition of \(n\).
\[
F = \frac{k_m – \frac{q x^m y}{1-x} k_{m-1}}{(1-q)x^{\binom{m+1}{2}} \left( \frac{y}{1-x} \right)^m + \frac{1-x-xy}{1-x} \left( k_m – \frac{q x^m y}{1-x} k_{m-1} \right)}.
\]
where
\[
k_m = \sum_{j=0}^{m-1} x^{mj – \binom{j}{2}} \left( \frac{y}{1-x} \right)^j.
\]
Here \(x\) and \(y\) respectively track the composition size and number of parts, whilst \(q\) tracks the number of such staircases contained.