Abstract
Kim et al. (Proc Am Math Soc 144:687–3700, 2016) introduced the notion of odd-balance unimodal sequences in 2016. Like was shown by Bryson et al. (Proc Natl Acad Sci USA 109:16063–16067, 2012) for the generating function of strongly unimodal sequences, the generating function for odd-balanced unimodal sequences also has quantum modular behavior. Odd-balanced unimodal sequences thus appear to be a fundamental piece in the world of modular forms and combinatorics, and understanding their asymptotic properties is important for understanding their place in this puzzle. In light of this, we compute an asymptotic estimate for odd balanced unimodal sequences for ranks congruent to \(a \pmod {c}\) for \(c\ne 2\) or a multiple of 4. We find the interesting result that the odd balanced unimodal sequences are asymptotically related to the overpartition function. This is in contrast to strongly unimodal sequences which, are asymptotically related to the partition function. Our proofs of the main theorems rely on the representation of the generating function in question as a mixed mock modular form.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A unimodal sequence of size n is a sequence of positive integers, \(\{a_j\}^t_{j=1}\), whose sum is n and whose parts satisfy
The part \(a_c\) (which need not be unique) is referred to as a peak. In particular, unimodal sequences are partitions of n, and if we replace \(\le \) and \(\ge \) with strict inequalities in Eq. (1.1), we arrive at the strongly unimodal sequences, which then have a unique peak \(a_c\). In both the general and strict case, we can define a rank statistic, usually denoted by m, which is defined as
Such sequences are denoted u(m, n). It is clear that m need not be positive. While interesting as a combinatorial object, the real story of strict unimodal sequences is hidden in the generating function, given by [1],
where \(w:= e^{2\pi i z}\) for \(z\in {\mathbb {C}}\) and \(q:= e^{2\pi i \tau }\) with \(\tau \in {\mathbb {H}}\), and \((A,B;q)_n := (A;q)_n(B;q)_n\), where \((A;q)_n\) is the usual q-Pochammer symbol with \(n\in {\mathbb {N}}\cup \{\infty \}\). Many authors have studied this generating function for its analytic properties [2, 4, 6, 7]. One of the profound features of the generating function U(w; q) is its relation to analytic functions on the real line. The authors of [7] showed that scaled versions of the function U(1; q) can be defined as functions on \({\mathbb {Q}}\), and these functions are quantum modular forms in the sense of Zagier [16]. The quantum modular forms are those functions whose obstruction to having a modular type transformation on \({\mathbb {Q}}\) for some subgroup of \(\text {SL}_2({\mathbb {Z}})\) can be characterized by a function that has an analytic extension to an open subset of the real line. More interesting for this work is the relation between the u(m, n) and the classical partition function p(n). It is well-known since the work of Hardy and Ramanujan [11] that for large n, p(n) satisfies
Rhoades proved in 2014 an asymptotic formula for the number of strongly unimodal sequences u(n) [15], and the authors of [5] extended this result for fixed rank m. The main result in [5] reads
In light of the special analytic properties of U(w; q), Kim, Lim, and Lovejoy defined odd-balanced unimodal sequences of rank m by interpreting the following generating function,
The coefficients v(m, n) count the number of unimodal sequences of size \(2n+2\) and rank m, where the peak is even, the odd parts can repeat, but must be identical on each side of the peak, and the rest of the members of the sequence satisfy strict inequalities. A few examples of odd-balanced sequences of size 12 are (1, 1, 2, 4, 2, 1, 1), (1, 3, 4, 3, 1), (12), and (1, 8, 2, 1). The authors of [13] showed that \(V(1;q^{-1})\) exhibits quantum modular properties analogous to the generating function for strongly unimodal sequences.
Let v(a, c; n) denote the same count as v(m, n) but with the relaxed condition that the rank is congruent to \(a\pmod {c}\). Let \(\zeta ^a_c:= e^{2\pi i \frac{a}{c}}\). Using orthogonality of roots of unity, we have that the generating function for the v(a, c; n), V(a, c; q), can be written formally as
It is not hard to see that the v(a, c; n) are weakly increasing in n. To see this, notice that \(v(a,c;n+1)\) counts sequences of size \(2(n+1)+2 = 2n+4\). Therefore, we can take each of the sequences of size \(2n+2\) and add a 1 to each side of the peak without changing the rank. That is,
Our main theorem involves the v(a, c; n) and describes how they are distributed with respect to the overpartition function \({\overline{p}}(n)\). For an account of overpartitions and the combinatorics that accompany them, we refer the reader to [9]. Due to the modularity of the generating function for the \({\overline{p}}(n)\), an analogous asymptotic result to the p(n) follows from Hardy and Ramanujan [11]:
In an attempt to find an analogy to Eq. (1.2) for v(m, n), we find and prove the following for v(a, c; n).
Theorem 1
Let \(c>2\) with c not a multiple of 4. Then as \(n\rightarrow \infty \),
Remark 1
There are two things worth noting here:
-
1.
The exclusion of \(c = 2\) and c a multiple of 4 is related to the fact that the generating function, V(w; q), is not a mixed mock modular form at \(z = \frac{1}{2}\). Mixed mock modular forms are essentially sums of products of mock modular forms and weakly holomorphic modular forms. The representation as a mixed mock modular form is advantageous because mock modular forms have modular completions to modular objects, which then allows one to compute accurate expansions of mixed mock modular forms near the real line. We will explore this in more detail in the coming sections.
-
2.
The result above can be interpreted as an equidistribution result with respect to the modulus c. That is,
$$\begin{aligned} v(a,c;n) \sim \frac{v(n)}{c}. \end{aligned}$$Results of this type were explored by Ciolan for the overpartition function [8] and by Males for the partition function [14].
An immediate consequence of Theorem 1 involves a log-concavity type bound.
Corollary 1.1
Let \(c>2\) with c not a multiple of 4. Then there exists an N, such that for all \(n>N\),
The rest of this work is organized as follows. In Sect. 2, we collect some facts and prove some lemmas related to modular forms and mixed mock modular forms. In Sect. 3.1, we prove a growth result for the v(n), which is the main term in our proof of Theorem 1. In Sect. 3.2, we calculate the growth of the generating function V(w; q) for w a fixed root of unity. In Sect. 4, we prove Theorem 1 and Corollary 1.1. We conclude this work in Sect. 5 by summarizing our results, and offering some discussion on the cases of \(c = 2\) or a multiple of 4, which we refer to as fringe cases.
2 Basic objects and useful facts
The key step in our work is the fact that the generating function, V(w; q), can be written as a sum of products of modular forms and mock modular forms. This type of object can be loosely referred to as a mixed mock modular form. As Zwegers showed in his thesis [17], the building blocks of mock modular forms are the Appell sums, and he later showed in [18] that the higher level Appell sums are generically mixed mock modular forms. For \(u, v \in {\mathbb {C}}\) and \(\tau \in {\mathbb {H}}\) the higher level Appell sum from [18] is defined by
Note that \(A_1\) is the classical Appell sum, whose (mock) modular properties were studied at length in [17]. In particular,
where \(h(z;\tau )\) is the Mordell integral defined by
The Mordell integral satisfies its own transformation law given by
Knowing how the Mordell integral behaves for \(\tau \) near the real line is essential for our study here. In light of this, we first prove a simple lemma related to the positivity of the Mordell integral for certain z and \(\tau \) of small modulus.
Lemma 2.2
Let \(-\frac{1}{2}<z<\frac{1}{2}\) be a real variable. Then as \(\tau \rightarrow 0\) within a cone,
We also have the specific value
Proof
By definition,
where the last function is integrable for z in the specified range. Therefore, by dominated convergence
When \(z = 0\), we have
which completes the proof.\(\square \)
For \(z\in {\mathbb {C}}\), the Jacobi theta function (or \(\vartheta \)-function for short) is defined by [17],
We will use the following identities frequently in this work.
Proposition 2.3
(See Ch. 1 of [17]) The following formulae hold:
-
1.
\(\vartheta (z+1;\tau ) = -\vartheta (z;\tau )\),
-
2.
\(\vartheta (z+\tau ;\tau ) = -e^{-\pi i \tau -2\pi i z}\vartheta (z,\tau )\),
-
3.
\(\vartheta (z;\tau +1) = e^{\frac{\pi i}{4}}\vartheta (z;\tau )\),
-
4.
\(\vartheta \left( \frac{z}{\tau }; -\frac{1}{\tau }\right) = -i\sqrt{-i\tau }e^{\frac{\pi i z^2}{\tau }}\vartheta (z; \tau )\), and
-
5.
\(\eta (\tau ) = \frac{1}{\sqrt{-i\tau }}\eta \left( -\frac{1}{\tau }\right) \) and \(\eta (\tau +1) = e^{\frac{\pi i}{12}}\eta (\tau )\), where \(\eta \) is Dedekind’s eta function,
$$\begin{aligned} \eta (\tau ) := q^{\frac{1}{24}}(q)_{\infty }. \end{aligned}$$
Using the formulae in Proposition 2.3, one can arrive at the following.
Lemma 2.4
(See Lemma 3.8 of [10]) Let \(\alpha \in [0,1)\) and \(q_0 := e^{-\frac{2\pi i }{\tau }}\). Let \(k > 1\) be a rational number. As \(\tau \rightarrow 0\),
.
We conclude this section with a Tauberian theorem, which we state in a modern form with additional technical restraints shown in [3].
Theorem 2
(See Theorem 1.1 of [3] with \(\alpha =0\)) Let c(n) denote the coefficients of a power series \(C(q):= \sum ^{\infty }_{n=0}c(n)q^n\) with radius of convergence equal to 1. Define \(\sigma := x+iy \in {\mathbb {C}}\) with \(x>0\). If the c(n) are non-negative, are weakly increasing, and we have as \(t\rightarrow 0^+\) that
and if for each \(M>0\) such that \(|y|\le M|x|\),
with \(A>0\) holds, then as \(n\rightarrow \infty \)
Remark 2.5
The authors of [3] pointed out that the extra condition in Eq. (2.11) is trivially satisfied if the function in question satisfies
in the specified angular region.
3 Analytic properties of the generating function V(w; q)
As we mentioned in the previous section, our proof relies on the fact that V(w; q) can be written as a mixed mock modular form for fixed \(z\ne \frac{1}{2}\). We call a function \(H:{\mathbb {H}} \rightarrow {\mathbb {C}}\) mixed mock modular of weight k for some congruence subgroup \(\varGamma _0(N) \subset \text {SL}_2({\mathbb {Z}})\), where 4|N if k is a half integer, if we can write it as as finite sum [1],
where \(F_j\) and \(M_j\) are modular (resp. mock) modular forms on \(\varGamma _0(N)\) of weight \(f_j\) (resp. \(m_j\)) such that \(f_j+m_j = k\). Kim, Lim, and Lovejoy in [13] used the theory of indefinite theta series and a corresponding result of Mortenson and Osburn [12] to write
where
We note that the authors of [13] use a different normalization for the Appell sum (denoted by m) and the \(\vartheta \)-function (denoted by j). With this decomposition, we can begin our study of the growth of the generating function near \(\tau = 0\).
3.1 Odd balanced with \(z =0\)
In this section, we capture the growth of V(0; q) near \(\tau =0\), or equivalently, the growth of the coefficients v(n). To do this properly, we take the limit as \(z \rightarrow 0\). We will find that the term T(w, q) provides the main estimate. We find and prove the following.
Lemma 3.6
As \(n\rightarrow \infty \),
Proof
Let \(M>0\) and let \(\text {Im}(\tau )\le M\text {Re}(\tau )\). The proof amounts to calculating estimates near \(\tau =0\) for \(T_1(1;q)\), T(1; q) and \(T_2(1;q)\) where we have to explicitly calculate
We begin with calculating the main term for T(1; q), which will turn out to give us the main contribution:
For the \(\vartheta \)-function we turn to Lemma 2.4, which gives
On the other hand, we write \(\mu \left( \frac{1}{2},\frac{1}{2};2\tau \right) = \frac{A_1\left( \frac{1}{2},\frac{1}{2};2\tau \right) }{\vartheta \left( \frac{1}{2};2\tau \right) }\) and use the transformation formula in Eq. (2.6) to obtain
Lemmas 2.4 and 2.2 tell us that as \(\tau \rightarrow 0\) in a cone
Writing \(A_1\left( \frac{1}{4\tau }, \frac{1}{4\tau }; -\frac{1}{2\tau }\right) \) as a unilateral sum by swapping \(n<0\) for \(-n\), we have
Combining this with Eqs. (3.15) and (3.16) gives
Combining Eqs. (3.14) and (3.17), and then multiplying by \(-1\) gives the estimate for T(1; q) as \(\tau \rightarrow 0\) in a cone,
We now show that the estimates coming from \(T_1(1;q)\) and \(T_2(1;q)\) are negligible. For \(T_1(1;q)\), we can use Eq. (3.17) with \(\tau = \frac{\tau }{2}\) to obtain
which shows \(T_1(1;q)\) is negligible when compared with T(1; q). We now turn to \(T_2(1;q)\), which requires formally taking the limit and using the famous formula
Doing so, we find
Using Lemma 2.4, we find
We see that our main contribution comes from \(T_1(1;q)\). We now apply Theorem 2 to \(\frac{1}{2}T(1;e^{-t})\) with \(\lambda = \frac{\sqrt{2}}{8}\), \(\alpha =0\), and \(A = \frac{\pi ^2}{4}\) along with the fact that \({\overline{p}}(n) \sim \frac{1}{8n}e^{\pi \sqrt{ n}}\). \(\square \)
3.2 Odd balanced for fixed roots of unity
We now consider the growth of V(w; q) where w is a generic root of unity, not equal to \(\pm i\) or \(-1\). We break the study into four cases by splitting the interval (0, 1) into four pieces of length \(\frac{1}{4}\).
3.2.1 Case: \(0<z<\frac{1}{4}\)
With this restriction, we are able to prove the following.
Lemma 3.7
Let \(z<\frac{1}{4}\). Then as \(n\rightarrow \infty \)
Proof
We address the Appell sum first:
It is not hard to prove that the Mordell integral is of O(1) for all \(\tau \). This leaves the sum in the parentheses to deal with. Splitting up the sum into positive and negative n, we find
Plugging this back into Eq. (3.19), we find
Subbing in \(z = \frac{z}{2},\tau = \frac{\tau }{2}\), we also find
With regard to the \(\vartheta \)-quotients, we can directly apply Lemma 2.4. We find that for \(z<\frac{1}{2}\),
For \(z<\frac{1}{2}\), we have
Finally for \(z<\frac{1}{4}\), we have
Combining Eqs (3.20) and (3.22) gives
where \(h_2:= h(2z;2\tau )\). Combining Eqs. (3.23) and (3.24) gives,
We now study the following polynomials on the interval \(\left( 0,\frac{1}{4}\right) \), which correspond to the exponents of \(q_0\) in Eqs. (3.21), (3.25), and (3.26):
It is not hard to see that \(f_2(z)\) gives the smallest values on the interval \(0<z<\frac{1}{4}\), and thus tells us that T gives the primary estimate and \(T_1\) and \(T_2\) are error terms. \(\square \)
3.2.2 Case: \(\frac{1}{4}<z<\frac{1}{2}\)
We see in this interval, that as before, T will provide the main term. More precisely, we prove the following.
Lemma 3.8
Let \(\frac{1}{4}<z<\frac{1}{2}\). Then as \(n\rightarrow \infty \)
Proof
We only need to modify the steps taken to obtain Eqs. (3.20) and (3.24). Let \(r:= z-\frac{1}{4}\). Starting with the Appell sum, we have
We now split the sum as before into positive and negative n and expand the denominators in terms of geometric series, noting that \(\frac{1}{1-q_0^{-a}} = -q_0^a\left( 1+O(q_0^a)\right) \) for \(a>0\). Doing so, we find
Lemma 2.4 tells us that \(\vartheta \left( \frac{1}{2};2\tau \right) \ll \frac{1}{\sqrt{|\tau |}}\). Combining this with the fact that \(r-r^2>0\) since \(0<r<\frac{1}{4}\), we have
for some \(\varepsilon >0\). It is not hard to see that \(0\ne h\left( r-\frac{1}{2};2\tau \right) \ll 1\). Therefore,
Combining Eq. (3.27) with Eq. (3.22) gives
Now we turn to the analog of Eq. (3.24). We have
Combining Eqs. (3.23) and (3.29) and making the substitution \(r = z-\frac{1}{4}\) gives
We now recycle the same estimate from Eq. (3.21), and we consider again the polynomials
We see that on for \(\frac{1}{4}<z<\frac{1}{2}\) that \(f_2(z)\) is the smallest. Swapping r for \(z-\frac{1}{4}\) and dividing Eq. (3.28) by \(1+w^{-1}\) proves the claim. \(\square \)
3.2.3 Case: \(\frac{1}{2}<z<\frac{3}{4}\)
Since the Appell sum \(\mu \left( 2z+\tau ,\frac{1}{2};2\tau \right) \) is anti-periodic in the shift \(z\rightarrow z+\frac{1}{2}\), we can recycle many of the estimates from the previous case to find the following.
Lemma 3.9
Let \(\frac{1}{2}<z<\frac{3}{4}\). As \(n\rightarrow \infty \)
Proof
We let \(z:= \frac{1}{2}+r\). Using identical arguments as in Lemmas 3.7 and 3.8, we have
We now look at T:
where we used Lemma 2.4 in the last step. We finally need \(T_2\):
We can recycle all of the estimates for these functions from Lemma 3.7, with the exception of the function \(\vartheta \left( r+\frac{1}{2};\tau \right) \), which we can obtain from Lemma 2.4. This gives
We now compare the polynomials for \(0<r<\frac{1}{4}\),
The values \(f_2(r)\) are clearly smaller on this interval, which shows that our main estimate comes from \(T_2\), and the contributions from \(T_1\) and T are error terms. Changing variables back to z yields the result. \(\square \)
3.2.4 Case: \(\frac{3}{4}<z<1\).
As in the previous case, we can recycle some estimates to prove the following.
Lemma 3.10
Let \(\frac{3}{4}<z<1\). Then as \(n\rightarrow \infty \),
Proof
Let \(r_0:= 1-z\). We look first at \(T_1\) with this variable change:
where in the last step, we used the usual trick of splitting the bilateral sum into negative and positive parts and recombined the two into a unilateral sum over positive n.
Next comes T. The \(\vartheta \)-functions are standard, and come directly from from Lemma 2.4. The Appell sum comes from Eq. (3.27), which we see by making the substitution \(z = r+\frac{3}{4}\), so that \(0<r<\frac{1}{4}\). This gives
We finally study \(T_2\) using the variable changes \(r_1 := z-\frac{1}{2}\), so that \(r_1<\frac{1}{2}\) and the previous change \(r_0:= 1-z\). We apply Lemma 2.4 which gives
As before, we consider the polynomials
The function \(f_1\) takes strictly negative values and is smaller on the interval \(\frac{3}{4}<z<1\), which tells us that T gives us the main estimate and \(T_1\) and \(T_2\) amount to error terms, which completes the proof. \(\square \)
4 Proofs of Theorem 1 and Corollary 1.1
The proof of Theorem 1 amounts to showing that Lemma 3.6 provides the dominant term in Eq. (1.4), since the v(a, c; n) are weakly increasing in n.
Proof of Theorem 1
We can prove the result by recalling in the proof of Lemma 3.6, that the main term came from T(1; q), and in particular, Eq. (3.18). This amounts to showing that there exists \(\beta >0\) such that each of the estimates in Lemmas 3.7–3.10 is bounded by \(q_0^{\beta -\frac{1}{16}}\). This is not difficult to see by considering the polynomials of the main terms in each of these lemmas on their corresponding intervals for z:
All of these polynomials are strictly bounded below by the critical value \(-\frac{1}{16}\), which completes the proof.
\(\square \)
We now prove Corollary 1.1.
Proof of Corollary 1.1
: Theorem 1 and Lemma 3.6 imply that for sufficiently large n
where the last step follows from the fact that for positive integers \(\sqrt{a+b}<\sqrt{a}+\sqrt{b}\).
\(\square \)
5 Conclusion and the fringe cases for the modulus c
We showed in this work that the odd-balanced unimodal sequences defined in [13] with rank congruent to \(a\pmod {c}\), \(c\ne 2\) or a multiple of 4, are asymptotically equidistributed about a fourth root of n times the overpartition function \({\overline{p}}(n)\). We did so by using the representation of V(w; q) as a mixed mock modular form. This representation has its flaws in that the representation breaks down for \(z=\frac{1}{2}\). This forces us to also throw out the case c a multiple of 4 since we have to sum over all residue classes in Eq. (1.4). However, evaluating V(w; q) at \(w=\pm i\) is no problem as the authors of [13] showed that
where A(q) is a second order mock theta function. The function A(q) can be easily exponentially bounded by \(q_0^{-\frac{1}{16}}\) using its representation as an Appell sum (see Appendix of [1] or [12]). Thus, if a more manageable q-series representation for \(V(-1;q)\) can be exploited, we expect that our main result in Theorem 1 holds for all moduli c.
Change history
01 March 2022
A Correction to this paper has been published: https://doi.org/10.1007/s40993-022-00316-x
References
Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass forms and mock modular forms. American Mathematical Society, 2017. ISBN: 978-1-4704-1944-8
Bringmann, K., Jennings-Shaffer, C.: Unimodal sequence generating functions arising from partition ranks. Res. Number Theory 5, 25 (2019)
Bringmann, K., Jennings-Shaffer, C., Mahlburg, K.: On a Tauberian theorem of Ingham and Euler-Maclaurin summation. Ramanujan J (2021)
Bringmann, K., Jennings-Shaffer, C., Mahlburg, K.: The asymptotic distribution of the rank for unimodal sequences. J. Number Theory (2020)
Bringmann, K., Jennings-Shaffer, C., Mahlburg, K., Rhoades, R.: Peak positions of strongly unimodal sequences. Trans. Am. Math. Soc. 372, 7087–7109 (2019)
Bringmann, K., Kim, B.: On the asymptotic behavior of unimodal rank generating functions. J. Math. Anal. Appl. 435, 627–645 (2016)
Bryson, J., Ono, K., Pitman, S., Rhoades, R.: Unimodal sequences and quantum and mock modular forms. Proc. Natl. Acad. Sci. USA 109, 16063–16067 (2012)
Ciolan, A.: Ranks of overpartitions: asymptotics and inequalities. J. Math. Anal. Appl. 480 (2019)
Corteel, S., Lovejoy, J.: Overpartitions. Trans. Am. Math. Soc. 356 (2004)
Garnowski, T.: Asymptotics of Bailey-type mock theta functions. Preprint (2021)
Hardy, G., Ramanujan, S.: Asymptotic formulaae in combinatory analysis. Proc. Lond. Math. Soc. 17 (1918)
Hickerson, D., Mortenson, E.: Hecke-type double sums, Appell-Lerch sums, and mock theta functions (I). Proc. Lond. Math. Soc. 109 (2012)
Kim, B., Lim, S., Lovejoy, J.: Odd-balanced unimodal sequences and related functions: parity, mock modularity and quantum modularity. Proc. Am. Math. Soc. 144, 3687–3700 (2016)
Males, J.: Asymptotic equidistribution and convexity for partition ranks. Ramanujan J. 54, 397–413 (2021)
Rhoades, R.: Asymptotics for the number of strongly unimodal sequences. Int. Math. Res. Not. pp. 700–719 (2014)
Zagier, D.: Quantum modular forms. Clay Math. Proc. 11 (2010)
Zwegers, S.: Mock theta functions. PhD thesis Utrecht (2002)
Zwegers, S.: Multivariable Appell functions and nonholomorphic Jacobi forms. Res. Math. Sci. 6, 16 (2019)
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Garnowski, T. Asymptotic distribution of odd balanced unimodal sequences with rank congruent to a modulo c. Res. number theory 8, 2 (2022). https://doi.org/10.1007/s40993-021-00298-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-021-00298-2