Abstract
The jth divisor function \(d_j\), which counts the ordered factorisations of a positive integer into j positive integer factors, is a very well-known multiplicative arithmetic function. However, the non-multiplicative jth non-trivial divisor function\(c_j\), which counts the ordered factorisations of a positive integer into j factors each of which is greater than or equal to 2, is rather less well studied. Additionally, we consider the associated divisor function\(c_j^{(r)}\), for \(r\ge 0\), whose definition is motivated by the sum-over divisors recurrence for \(d_j\). We give an overview of properties of \(d_j\), \(c_j\) and \(c_j^{(r)}\), specifically regarding their Dirichlet series and generating functions as well as representations in terms of binomial coefficient sums and hypergeometric series. Noting general inequalities between the three types of divisor function, we then observe how their ratios can be expressed as binomial coefficient sums and hypergeometric series, and find explicit Dirichlet series and Euler products for some of these. As an illustrative application of the non-trivial and associated divisor functions, we show how they can be used to count principal reversible square matrices of the type considered by Ollerenshaw and Brée and so sum-and-distance systems of integers.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The jth divisor function \(d_j\), which counts the ordered factorisations of a positive integer into j positive integer factors, is a very well-known arithmetic function. In particular, \(d_2(n)\)—sometimes called the divisor function—counts the number of ordered pairs of positive integers whose product is n, and therefore, considering only the first factor in each pair, also counts the number of divisors of n (see papers 8 and 15 of [11] and p. 10 of [2]). The divisor function lies at the heart of a number of open number theoretical problems, e.g. the additive divisor problem of finding the asymptotic of
for large x, which is notoriously difficult if \(j \ge 3\), see e.g. [1, 8], and, for \(j=3\), [7].
In the present paper, we consider the rather less well-studied jth non-trivial divisor function\(c_j\), which counts the ordered proper factorisations of a positive integer into j factors, each of which is greater than or equal to 2. While \(d_j(n)\), for given n, is obviously monotone increasing in j, since factors of 1 can be freely introduced, \(c_j(n)\) will shrink back to 0 as j gets too large, and indeed \(c_j(n) = 0\) if \(n < 2^j\).
Additionally, we define the associated divisor function\(c_j^{(r)}\), for \(r \in \mathbb {N}_0\), by
This definition is motivated by the sum-over divisors recurrence (3) for \(d_j\).
The paper is organised as follows. In Sect. 2, after reviewing properties of \(d_j\), we proceed to study analogous properties of \(c_j\), specifically regarding its associated Dirichlet series and its representation in terms of binomial coefficient sums and hypergeometric series. A major complication in comparison to \(d_j\) arises from the fact that \(c_j\) is not multiplicative. We also provide formulae expressing \(c_j\) in terms of \(d_j\) and vice versa. We then introduce the associated divisor functions \(c_j^{(r)}\). Noting general inequalities between the three types of divisor function in Sect. 3, we observe how their ratios can be expressed as binomial coefficient sums and hypergeometric series, and find explicit Dirichlet series and Euler products for some of these. As an illustrative application of the non-trivial and associated divisor functions, we show in Sect. 4 how they can be used to count principal reversible squares [10] and sum-and-distance systems of integers.
Throughout the paper, we use the notations \(\mathbb {N} = \{1, 2, 3, \ldots \}\), \(\mathbb {N}_0~=~\mathbb {N}~\cup ~\{0\}\). For n having prime factorisation \(n~=~ p_1^{a_1} p_2^{a_2} \cdots p_t^{a_t}\), we also use the symbol \(\varOmega (n) = \sum _{k=1}^t a_k\) .
2 Basic properties of standard, non-trivial and associated divisor functions
In view of the formula for the j-fold Dirichlet convolution of arithmetic functions \(f_1, f_2, \ldots , f_j\),
it is obvious that \(d_j = 1^{*j}\), where 1 denotes the constant function and the convolution power \(f^{*j}\) is (2) with \(f_1 = \cdots = f_j = f\). In particular, \(d_j\) satisfies the sum-over-divisors recurrence relation
and has the Dirichlet series
These statements extend to the case \(j = 0\) if we set \(d_0 = e\), where e is defined as
The following explicit expression for \(d_j(n)\) in terms of the prime factorisation of n shows that \(d_j\) is a multiplicative arithmetic function; however, it is not totally multiplicative, e.g. \(d_3(20) = 18 \ne 27 = d_3(2) d_3(10)\).
Lemma 1
Let \(p_1, \ldots , p_t\) be distinct primes, \(t\in \mathbb {N}\). Then, for any \(j\in \mathbb {N}\),
Proof
(by induction on j) For \(j=1\) the formula is trivial. Suppose \(j\in \mathbb {N}\) is such that (4) holds. Note that \(m | \prod _{i=1}^k p_i^{a_i}\) if and only if \(m = \prod _{i=1}^k p_i^{{\tilde{a}}_i}\) with \(0 \le {\tilde{a}}_i \le a_i\) for all \(i \in \{1, \ldots , k\}\). Using multi-index notation, we can write the latter condition in the form \(0 \le {\tilde{a}} \le a\). By (3),
using combinatorial identity (1.49) of [3] in the last step. \(\square \)
Remark 1
We remark that there are other known Dirichlet series associated with \(d_j\) (see for example [5], Chap. XVII]), such as
both of which can be obtained from the more general calculation
where we use the Euler product for the zeta function and Newton’s inverse binomial series in the first two steps, respectively, and \(f_r\) is the multiplicative arithmetic function
The non-trivial divisor function \(c_j\) only counts ordered factorisations in which all factors are greater than 1, so by formula (2) it can be expressed as the j-fold Dirichlet convolution \(c_j = (1 - e)^{*j}\). Hence it satisfies a slightly different sum-over-divisors recurrence relation compared to (3),
As the Dirichlet series for \(1 - e\) is \(\zeta (s) - 1\), the non-trivial divisor function \(c_j\) has the Dirichlet series
These formulae extend to \(j = 0\) when we set \(c_0 = e\ (= d_0)\).
We emphasise that \(c_j\), unlike \(d_j\), is not a multiplicative arithmetic function. For example, \((2,5)=1\), and yet \(c_2(10)=2\ne 0 \times 0 = c_2(2) c_2(5).\)
In order to study the less symmetric multiplicative properties of \(c_j\), it is useful to express it in terms of its multiplicative cousin \(d_j\). When \(j=2\), the non-trivial divisors for any n are all the divisor except 1 and n, and hence \(c_2(n)=d_2(n)-2\) if \(n \ge 2\), and \(c_2(1) = d_2(1) - 1=0\). More generally, there is the following connection between the divisor function and the non-trivial divisor function.
Lemma 2
For \(j\in \mathbb {N}_0\),
Proof
The first identity follows from applying the binomial theorem to the j-fold Dirichlet convolution,
and using the fact that e is the identity for the convolution product. The proof of the second identity is analogous, starting from \(d_j = ((1-e)+e)^{*j}\). \(\square \)
We now derive a hypergeometric series for \(c_j(n)\). The generalised hypergeometric series has the form
where \(a^{\overline{m}}\), with \(m\in \mathbb {N}\), is the Pochhammer symbol (rising factorial)
in particular, \(1^{\overline{m}} = m!\), \(2^{\overline{m}} = (m+1)!\), \(a^{\overline{m}} = (a+m-1)!/(a-1)!\) if \(a\in \mathbb {N}\) and, for negative a, \(a^{\overline{m}} = (-1)^m\,(-a)!/(-a-m)!\) if \(-(a+m)\in \mathbb {N}_0\). By the usual convention on empty products, \(a^{\overline{0}} =1 \).
Theorem 1
Let \(j\in \mathbb {N}\) and suppose n has the prime factorisation \(n=p_1^{a_1}\ldots p_k^{a_k}\). Then the value of the non-trivial jth divisor function at n has the hypergeometric form
Proof
Starting from the right-hand side expression, we find
by Lemmata 1 and 2. \(\square \)
In particular, for a prime power the above theorem gives
Finally, we note the following multiplication rule for prime powers.
Lemma 3
Let p be a prime and \(j, a, b \in \mathbb {N}\). Then
Proof
By Lemma 1,
The statement now follows by combining this result with Lemma 2. \(\square \)
In analogy to the sum-over-divisors recurrence relation (3) for the divisor function \(d_j\), we define the jth associated divisor function \(c_j^{(r)} \) by the following recurrence.
Definition 1
Let \(j\in \mathbb {N}\). Then, for all non-negative integers r, the associated divisor function\(c_j^{(r)}\) is defined recursively by
This immediately gives the representation \(c_j^{(r)} = (1 - e)^{*j} * 1^{*r}\). Thus, we can interpret \(c_j^{(r)}(n)\) as the number of ordered factorisations of n into \(j+r\) factors, the first j of which are greater than 1. It follows that \(c_j^{(r)}(n) = 0\) for all \(r\in \mathbb {N}\) if \(n < 2^j\).
The Dirichlet series of the associated divisor function \(c_j^{(r)}\) is
The following formulae representing the associated divisor functions in terms of the usual divisor functions and in terms of the non-trivial divisor functions can be obtained by applying the binomial theorem to the first convolution power in \(c_j^{(r)} = (1-e)^{*j} * 1^{*r}\) and to the second convolution power in \(c_j^{(r)} = (1-e)^{*j} * ((1-e) + e)^{*r}\), respectively.
Lemma 4
Let \(j\in \mathbb {N}\) and \(r\in \mathbb {N}_0\). Then
The following binomial form for the value of \(c_j^{(r)}\) at prime powers is somewhat analogous to Lemma 1, but note that the present function is not multiplicative.
Lemma 5
Let \(j, a \in \mathbb {N}\), \(r \in \mathbb {N}_0\) and p a prime. Then
Proof
by combinatorial identity (3.47) of [3]. \(\square \)
We conclude this section with a remark on the generating functions for the different types of divisor function considered above. If we denote the generating function of an arithmetic function f by Gf, so
for all \(x\in \mathbb {C}\) for which the power series converges, then the following recursive identities hold for \(j, r \in \mathbb {N}_0\),
These follow from the observation that if \(f = g * 1\) for some arithmetic functions f, g, then
and if \(f = g * (1-e)\), then
We note in passing that upon reversal of the order of the sums, Eqs. (6) and (7) also yield
respectively, provided \(x \ne 1\); however, the right-hand side is then not of the form of a generating function.
3 Ratios of divisor functions
The divisor function, non-trivial divisor function and associated divisor functions satisfy the following ordering relations.
Lemma 6
For any \(j\in \mathbb {N}\) and \(r\in \mathbb {N}\),
in particular,
Moreover,
Proof
For the first statement, it is sufficient to note that n|n, so
The final statement follows from the facts that \(1 - e \le 1\) and that the Dirichlet convolution of non-negative functions is monotonic in each factor. \(\square \)
Lemma 6 shows that, for any \(r\in \mathbb {N}_0\), the normalised divisor ratio function \(c_j^{(r)}/d_{j+r}\) takes rational values between 0 and 1, with the zeros occurring exactly when \(j>\varOmega (n)\). We have the following formulae for this function and the similar ratio \(c_j^{(r)}/d_r\).
Theorem 2
Let \(j\in \mathbb {N}\) and \(r\in \mathbb {N}_0\), and suppose \(n\in \mathbb {N}\) has prime factorisation \(n=p_1^{a_1} \cdots p_t^{a_t} \). Then
Also, for \(r \ge 1\)
Proof
By Lemmata 4 and 1, we have that
To obtain the hypergeometric form, we note that
establishing (8). For the proof of (9), we rewrite (10) in the form
and apply Lemma 1. For the hypergeometric form, we rewrite the last expression as
and note as above that the sum can be extended to an infinite series since \((-j)^{{\overline{i}}} = 0\) if \(i > j\). \(\square \)
Specifically for \(r=0\), the formula (8) of Theorem 2 gives
if n has prime factorisation \(n = p_1^{a_1}\cdots p_t^{a_t}\).
Clearly these formulae simplify when n is a prime power. We note that in this case, Lemmata 1 and 5 give
In the following, we give Dirichlet series for the ratio of divisor functions \(c_j/d_j\) for \(j\in \{1, 2, 3\}\), as well as corresponding Euler products. Note that the term \(n=1\) can be omitted from the Dirichlet series, since \(c_j(1) = 0\) for all \(j\in \mathbb {N}\). For \(j=1\),
For \(j=2\), we have \(c_2(n) = d_2(n) -2 \) for \(n \ge 2 \), so the Dirichlet series for the ratio of divisor functions can be written as
we note the Euler product for the Dirichlet series in the last term,
For \(j=3 \), we have \(c_3(n)= d_3(n) - 3d_2(n) + 3\) for \(n \ge 2\), which gives the Dirichlet series for the ratio of divisor functions
noting
we find the Euler products
and
4 Counting principal reversible squares
As an illustration for the use of the non-trivial and associated divisor functions, we show how they can be used to count the different principal reversible squares of a given size.
A reversible square matrix\(M=\left( M_{i,j}\right) _{i,j \in \mathbb {Z}_n} \in \mathbb {R}^{n\times n}\) is an \(n \times n\) matrix with the following symmetry properties (cf. [10, 9]),
- (R)
the row and column reversal symmetry
$$\begin{aligned} M_{i,j} +M_{i,n+1-j}&=M_{i,k} +M_{i,n+1-k}, \\ M_{i,j}+M_{n+1-i,j}&=M_{k,j}+M_{n+1-k,j} \qquad (i,j,k \in \mathbb {Z}_n), \end{aligned}$$ - (V)
the vertex cross sum property \(M_{i,j}+M_{k,l}=M_{i,l}+M_{k,j}\)\((i,j,k,l \in \mathbb {Z}_n)\).
Note that the index calculations are performed in the cyclic ring \(\mathbb {Z}_n := \mathbb {Z}/{n \mathbb {Z}}\), and the top left corner of the matrix has indices \((1,1) \in \mathbb {Z}_n^2\).
An \(n\times n\)principal reversible square is a reversible square matrix M such that \(\{M_{i,j}\mid i,j\in \mathbb {Z}_n\} = \{1,2, \ldots , n^2\}\), the entries in each row and each column appear in increasing order, and \(M_{1,j} = j\) (\(j\in \{1,2\}\)).
Definition 2
Let \(n, \alpha \in \mathbb {N}\). The pair of tuples
is called a divisor path set for n (of length \(\alpha \)) if
and
Theorem 3
Let \(n \in \mathbb {N}\). Then from any divisor path set for n, a unique \(n\times n\) principal reversible square can be constructed. Conversely, every \(n\times n\) principal reversible square arises from a unique divisor path set.
For the details of the construction and proof of Theorem 3, we refer the reader to Chap. 3 of [10]. In that book, a principal reversible square constructed from a divisor path set of length \(\alpha \) is said to have \(\alpha -1\)progressive factors.
Alternatively, Theorem 3 and the construction can be obtained as a special case, for a two-dimensional square array, of Theorem 9 of [6]; note that the ratios of consecutive divisors in the divisor path set correspond to the factors appearing in the joint ordered factorisation defined in [6]. Specifically, the above divisor path set corresponds to the joint ordered factorisation
of (n, n), with the last entry omitted if \(j_\alpha = n.\)
Using the bijection between divisor path sets and principal reversible squares given by Theorem 3, we can count the number of different principal reversible squares of size \(n\times n\) in terms of the non-trivial and associated divisor functions of n as follows.
Theorem 4
Let \(n\in \mathbb {N}\). The number of different \(n\times n\) principal reversible squares is given by
Proof
By Theorem 3, it is sufficient to count the number of different divisor path sets for n.
Suppose \(((i_1, \ldots , i_\alpha ), (j_1, \ldots , j_\alpha ))\) is a divisor path set for n of length \(\alpha \). Then the left-hand tuple gives an ordered factorisation of n into \(\alpha \) factors,
with all factors \(> 1\); there are \(c_\alpha (n)\) such non-trivial factorisations.
The right-hand tuple gives an ordered factorisation of n into \(\alpha +1\) factors,
where the last factor may or may not be equal to 1 and all other factors are \(> 1\); there are \(c_\alpha ^{(1)}(n)\) such factorisations.
The statement of the theorem follows by summing over \(\alpha \in \mathbb {N}\), noting that \(c_\alpha (n) = 0\) if \(\alpha > \varOmega (n)\), and using Lemma 4 for the last identity. \(\square \)
Remark 2
Combining the formula of Theorem 4 with Lemma 4, the count \(N_n\) can be expressed in terms of the (multiplicative) divisor functions,
Using the prime factorisation \(n = \prod _{k=1}^t p_k^{a_k}\), this takes the form
We note that the terms of the sum in (11) bear some similarity to the sum underlying the additive divisor problem (1).
Corollary 1
Let \(n\in \mathbb {N}\). Then \(N_n = 1\) if and only if n is prime.
Proof
If n is prime, then \(c_1(n) = 1\) and \(c_j(n) = 0\) for all \(j\ge 2\), and it follows that \(N_{n}=c_1(n)\left( c_1(n)+c_{2}(n)\right) =1\). Conversely, suppose \(n \ge 2\) is an integer such that \(N_n = 1\). By Theorem 4,
As all terms of these sums are non-negative and \(c_1(n) = 1\), the total can equal 1 only if \(c_j(n) = 0\)\((j \ge 2)\), which implies that n is prime. \(\square \)
Corollary 2
Let \(n = p^a\) with \(a \in \mathbb {N}\) and prime p. Then
Proof
by combinatorial identity (3.20) of [3]. \(\square \)
Counting principal reversible squares is of interest not only in view of their bijection to most perfect squares [10], but also because of their relationship with sum-and-distance systems. In the present context, these are composed of two finite component sets, of equal cardinality, of natural numbers, such that the numbers formed by considering all sums and all absolute differences of all pairs of numbers, each taken from one of the component sets, with or without inclusion of the component sets themselves, combine to an arithmetic progression without repetitions. Such systems arise naturally from the question of constructing a certain type of rank 2 traditional magic squares using the formulae given in [9]. We refer the reader to [6] for further details and for the extension of the following definitions and of Theorem 5 to any finite number of component sets of arbitrary finite cardinality.
Definition 3
Let \(m\in \mathbb {N}\) and consider positive integers \(a_j, b_j \in \mathbb {N}\)\((j\in \{1,\ldots ,m\})\) such that
We call \(\{\{a_j : j\in \{1,\ldots ,m\}\}, \{b_j : j\in \{1,\ldots ,m\}\}\}\)
- (a)
an \(m+m\)(non-inclusive) sum-and-distance system if
$$\begin{aligned} \{a_j+b_k, |a_j-b_k| : j,k\in \{1,\ldots ,m\}\} = \{1, 3, 5, \ldots , 4m^2-1\}; \end{aligned}$$ - (b)
an \(m+m\)inclusive sum-and-distance system if
$$\begin{aligned} \{a_j, b_k, a_j+b_k, |a_j-b_k| : j,k\in \{1,\ldots ,m\}\} = \{1, 2, 3, \ldots , 2m(m+1)\}. \end{aligned}$$
It is easy to see that the conditions in a) and b) above are equivalent to
and
respectively, where we use the usual sum of sets \(A + B = \{x + y : x\in A, y\in B\}\).
Example 1
For \(m=3\) there are the seven \(3+3\) (non-inclusive) sum-and-distance systems
but just the one inclusive \(3+3\) sum-and-distance system \(\{\{1 , 2 , 3\}, \{7 , 14 , 21\}\}\).
Sum-and-distance systems of the non-inclusive and inclusive variety are intimately connected with principal reversible squares. Indeed, let \(n\in \mathbb {N}\) and consider a principal reversible square \((M_{j,k})_{j,k\in \mathbb {Z}_n}\); for all \(j\in \{1,\ldots ,n\}\), define \(\alpha _j = M_{1,j} - 1\) and \({\beta _j = M_{j,1} - 1}\). From property (V) of the reversible square and the fact that \(M_{1,1}=1\), it then follows that
note that \(\alpha _1 = \beta _1 = 0\). By property (R),
Now suppose n is even, \(n = 2m\). Then setting
defines an \(m+m\) non-inclusive sum-and-distance system. Indeed, it follows from (15) that
and correspondingly for \(\pm b_k\)\((k\in \{1,\ldots ,m\})\), so the equality (12) can be verified using the facts that \(\alpha _n + \beta _n = M_{n,n}-1 = n^2-1\) and that
Conversely, given an \(m+m\) non-inclusive sum-and-distance system and setting
Eq. (14) defines a principal reversible square (or its transpose).
Similarly, if \(n = 2m+1\) is odd, then an \(m+m\) inclusive sum-and-distance system can be obtained from any \(n\times n\) principal reversible square by setting
now by (15),
and similarly for \(b_k\)\((k\in \{1,\ldots ,m\})\), and hence equality (13) follows in analogy to the above. Conversely, setting
and \(\alpha _{m+1} = a_m\), \(\beta _{m+1} = b_m\), we obtain a principal reversible square (or its transpose), via (14), from an inclusive sum-and-distance system.
Thus, we have proven the following statement.
Theorem 5
Let \(m\in \mathbb {N}\). Then there is a bijection between the \(m+m\) non-inclusive sum-and-distance systems and the \(2m \times 2m\) principal reversible squares, and there is a bijection between the \(m+m\) inclusive sum-and-distance systems and the \((2m+1)\times (2m+1)\) principal reversible squares.
In conjunction with Theorem 4, this gives the following counting of non-inclusive and inclusive sum-and-distance systems.
Corollary 3
Let \(m\in \mathbb {N}\). Then there are
different \(m+m\) non-inclusive sum-and-distance systems, and
different \(m+m\) inclusive sum-and-distance systems.
To conclude, we briefly note that \(m+m\) sum-and-distance systems of either variety have the general property that the sum of squares of all entries of their component sets is invariant, determined only by the size m.
Theorem 6
Let \(m\in \mathbb {N}\) and \(\{\{a_1,\ldots ,a_m\},\{b_1,\ldots ,b_m\}\}\) a (non-inclusive or inclusive) sum-and-distance system. Then
Proof
In the non-inclusive case, we use the formula
to find
In the inclusive case, we similarly use the formula
and the identity for \(n=2m(m+1)\)
to calculate
\(\square \)
References
Andrade, J.C., Bary-Soroker, L., Rudnick, Z.: Shifted convolution and the Titchmarsh divisor problem over \(F_q[t]\). Philos. Trans. R. Soc. A 373(2040), 20140308 (2015)
Dirichlet, P.G.L.: Lectures on Number Theory. AMS, London (1999)
Gould, H.W.: Combinatorial Identities. Morgantown Publishing, Morgantown (1972)
Hardy, G.H., Riesz, M.: The General Theory of Dirichlet’s Series. Cambridge University Press, Cambridge (1915)
Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers, 5th edn. Oxford University Press, Oxford (2005)
Huxley, M.N., Lettington, M.C., Schmidt, K.M.: On the structure of additive systems of integers. Period. Math. Hung. (2018). https://doi.org/10.1007/s10998-018-00275-w
Ivić, A.: On the ternary additive divisor problem and the sixth moment of the zeta-function. In: Greaves, G.R.H., Harman, G., Huxley, M.N. (eds.) Sieve Methods, Exponential Sums, and Their Applications in Number Theory. LMS Lecture Note Series, vol. 237, pp. 205–243. Cambridge University Press, Cambridge (1997)
Ivić, A., W̃u, J.: On the general additive divisor problem. Proc. Steklov Inst. Math. 276, 140–148 (2012)
Lettington, M.C., Schmidt, K.M., Hill, S.L: On superalgebras of matrices with symmetry properties. Linear Multilinear Algebra (2017). https://doi.org/10.1080/03081087.2017.1363153
Ollerenshaw, K., Brée, D.: Most-perfect pandiagonal magic squares. IMA, Southend-on-Sea (1998)
Ramanujan, S.: Collected Papers of Srinivasa Ramanujan. AMS Chelsea Publishing, Rhode Island (1962)
Acknowledgements
The authors are grateful to the anonymous referee for constructive comments which helped streamline the paper, especially for suggesting the extensive use of convolution notation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
S. Hill’s research was supported by EPSRC DTP grant EP/L504749/1.
Rights and permissions
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.
About this article
Cite this article
Hill, S.L., Huxley, M.N., Lettington, M.C. et al. Some properties and applications of non-trivial divisor functions. Ramanujan J 51, 611–628 (2020). https://doi.org/10.1007/s11139-018-0093-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-018-0093-9