Highly composite polynomials and the maximum order of the divisor function in F_q [t]

From MaRDI portal
Publication:2052860



Abstract: We investigate the analogues, in mathbbFq[t], of highly composite numbers and the maximum order of the divisor function, as studied by Ramanujan. In particular, we determine a family of highly composite polynomials which is not too sparse, and we use it to compute the logarithm of the maximum of the divisor function at every degree up to an error of a constant, which is significantly smaller than in the case of the integers, even assuming the Riemann Hypothesis.


For a positive integer \(n\), let \(d(n)\) be the number of divisors of \(n\). We say an integer \(n\) a \textit{highly composite number} if \(d(n)>d(n')\) for all \(n'<n\). Define \[ D(N):=\max\{d(n)\colon n\le N\}, \] which is equal to \(d(n)\) for the largest highly composite \(n\le N\). The order of \(D(N)\) was studied by [\textit{S. Ramanujan}, Collected papers of Srinivasa Ramanujan. Cambridge: Cambridge University Press (1927; JFM 53.0030.02)]. More precisely, he computed \(\log D(N)\) up to an error of at most \(O(e^{-c\sqrt{\log \log N}}\log N)\) unconditionally, and \(O\left(\frac{\sqrt{\log N}}{(\log \log N)^3}\right)\) under the Riemann Hypothesis. Let \(\mathbb{F}_q\) be the finite field of order \(q\). In this paper, the author investigates the analogues in the setting of \(\mathbb{F}_q[t]\). Theorems \(1\), \(2\), and \(3\) are the main results.











This page was built for publication: Highly composite polynomials and the maximum order of the divisor function in \(\mathbb{F}_q [t]\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052860)