arXiv subjects

Greg Martin

Publications and source records attributed to Greg Martin.

At least 19 recordsLinked to original sources

arXiv2025

Explicit Burgess inequalities for cubefree moduli

Burgess proved that for $\chi_q$ a primitive Dirichlet character modulo $q$ with $q$ cubefree, $\sum_{M< n\le M+N}\chi_q(n)= O\left(N^{1-\frac{1}{r}}q^{\frac{r+1}{4r^2}+\epsilon}\right)$ for all integers $r\ge1.$ More recently, explicit versions with prime moduli $q$ were computed by Booker, McGown, Trevi\~{n}o, and Francis, with applications to finding the least $k$-th power residue, and bounding the size of Dirichlet $L$-functions just to name a few. Jain-Sharma, Khale, and Liu proved an explicit estimate for $r=2.$ We improve their explicit constant for $r = 2$ and compute an explicit Burgess bound for cubefree $q$ for $r\ge 3$.

math.NT↗

arXiv2025

Joint distributions of error terms for primes in arithmetic progressions modulo 11

We provide a formula for the logarithmic density of the set of positive real numbers on which two prime counting functions $\psi(x;q,a)$ and $\psi(x;q,b)$ are simultaneously larger than their asymptotic main terms, as well as a method for calculating the numerical values of such densities with rigorously bounded errors. We apply these formulas to the pairwise races in the case $q=11$, determining which pairs of residues $a$ and $b$ are more or less correlated in this way. The outcomes when $q=11$ provide a deeper mathematical illumination of the "mirror image" and "cyclic ordering" phenomena observed by Bays and Hudson.

math.NT↗

arXiv2025

Correlations of error terms for weighted prime counting functions

Standard prime-number counting functions, such as $\psi(x)$, $\theta(x)$, and $\pi(x)$, have error terms with limiting logarithmic distributions once suitably normalized. The same is true of weighted versions of those sums, like $\pi_r(x) = \sum_{p\le x} \frac1p$ and $\pi_\ell(x) = \sum_{p\le x} \log(1-\frac1p)^{-1}$, that were studied by Mertens. These limiting distributions are all identical, but passing to the limit loses information about how these error terms are correlated with one another. In this paper, we examine these correlations, showing, for example, that persistent inequalities between certain pairs of normalized error terms are equivalent to the Riemann hypothesis (RH). Assuming both RH and LI, the linear independence of the positive imaginary parts of the zeros of $\zeta(s)$, we calculate the logarithmic densities of the set of real numbers for which two different error terms have prescribed signs. For example, we conditionally show that $\psi(x) - x$ and $\sum_{n\le x} \frac{\Lambda(n)}n - (\log x - C_0)$ have the same sign on a set of logarithmic density $\approx 0.9865$.

math.NT↗

arXiv2025

The universal profile of the invariant factors of $({\mathbb Z}/n{\mathbb Z})^\times$

The structure of the multiplicative group $M_n = ({\mathbb Z}/n{\mathbb Z})^\times$ encodes a great deal of arithmetic information about the integer $n$ (examples include $\phi(n)$, the Carmichael function $\lambda(n)$, and the number $\omega(n)$ of distinct prime factors of $n$). We examine the invariant factor structure of $M_n$ for typical integers $n$, that is, the decomposition $M_n \cong {\mathbb Z}/d_1{\mathbb Z} \times {\mathbb Z}/d_2{\mathbb Z} \times \cdots \times {\mathbb Z}/d_k{\mathbb Z}$ where $d_1\mid d_2\mid\cdots\mid d_k$. We show that almost all integers have asymptotically the same invariant factors for all but the largest factors; for example, asymptotically $1/2$ of the invariant factors equal ${\mathbb Z}/2{\mathbb Z}$, asymptotically $1/4$ of them equal ${\mathbb Z}/12{\mathbb Z}$, asymptotically $1/12$ of them equal ${\mathbb Z}/120{\mathbb Z}$, and so on. Furthermore, for positive integers $k$, we establish a theorem of Erd\H{o}s-Kac type for the number of invariant factors of $M_n$ that equal ${\mathbb Z}/k{\mathbb Z}$, except that the distribution is not a normal distribution but rather a skew-normal or related distribution.

math.NT↗

arXiv2025

Refinements of Artin's primitive root conjecture

A famous conjecture of Artin asserts that any integer $a$ that is neither $-1$ nor a square should be a primitive root (mod $p$) for a positive proportion of primes $p$. Moreover, using a heuristic argument, Artin guessed an explicit formula for the proportion; this formula is well-supported by computations and is known to hold on a generalized Riemann hypothesis, but remains open. In this paper we propose several conjectures that capture the finer properties of the distribution of the order of $a$ (mod $p$) as $p$ varies over primes; these assertions contain Artin's original conjecture as a special case. We prove these conjectures assuming the generalized Riemann hypothesis, as well as weaker versions unconditionally.

math.NT↗

arXiv2024

Oscillation results for the summatory functions of fake mu's

Mossinghoff, Trudgian, and the first author~\cite{MMT23} recently introduced a family of arithmetic functions called ``fake $\mu$'s'', which are multiplicative functions for which there is a $\{-1,0,1\}$-valued sequence $(\varepsilon_j)_{j=1}^{\infty}$ such that $f(p^j) = \varepsilon_j$ for all primes $p$. They investigated comparative number-theoretic results for fake $\mu$'s and in particular proved oscillation results at scale $\sqrt{x}$ for the summatory functions of fake $\mu$'s with $\varepsilon_1=-1$ and $\varepsilon_2=1$. In this paper, we establish new oscillation results for the summatory functions of all nontrivial fake $\mu$'s at scales $x^{1/2\ell}$ where $\ell$ is a positive integer (the ``critical index'') depending on $f$; for $\ell=1$ this recovers the oscillation results in~\cite{MMT23}. Our work also recovers results on the indicator functions of powerfree and powerfull numbers; we generalize techniques applied to each of these examples to extend to all fake $\mu$'s.

math.NT↗

arXiv2024

Multiplicative groups avoiding a fixed group

We know that any finite abelian group $G$ appears as a subgroup of infinitely many multiplicative groups $\mathbb{Z}_n^\times$ (the abelian groups of size $\phi(n)$ that are the multiplicative groups of units in the rings $\mathbb{Z}/n\mathbb{Z}$). It seems to be less well appeciated that $G$ appears as a subgroup of almost all multiplicative groups $\mathbb{Z}_n^\times$. We exhibit an asymptotic formula for the counting function of those integers whose multiplicative group fails to contain a copy of $G$, for all finite abelian groups $G$ (other than the trivial one-element group).

math.NT↗

arXiv2024

Comparative Prime Number Theory Problem List

This is a list of problems that were collected from participants at the Comparative Prime Number Theory Symposium held at UBC from June 17 to June 21, 2024. Its goal is to stimulate research and future collaborations in this growing field. This event was part of the PIMS (Pacific Institute of Mathematical Sciences) Collaborative Research Group L-functions in Analytic Number Theory: 2022- 2025.

math.NT↗

arXiv2024

Distribution of the number of prime factors with a given multiplicity

Given an integer $k\ge2$, let $\omega_k(n)$ denote the number of primes that divide $n$ with multiplicity exactly $k$. We compute the density $e_{k,m}$ of those integers $n$ for which $\omega_k(n)=m$ for every integer $m\ge0$. We also show that the generating function $\sum_{m=0}^\infty e_{k,m}z^m$ is an entire function that can be written in the form $\prod_{p} \bigl(1+{(p-1)(z-1)}/{p^{k+1}} \bigr)$; from this representation we show how to both numerically calculate the $e_{k,m}$ to high precision and provide an asymptotic upper bound for the $e_{k,m}$. We further show how to generalize these results to all additive functions of the form $\sum_{j=2}^\infty a_j \omega_j(n)$; when $a_j=j-1$ this recovers a classical result of R\'enyi on the distribution of $\Omega(n)-\omega(n)$.

math.NT↗

arXiv2024

Moments of $L$-functions Problem List

This is an ongoing list of problems that has resulted from the PIMS (Pacific Institute of Mathematical Sciences) Collaborative Research Group L-functions in Analytic Number Theory: 2022- 2025. The focus of this list is on Moments of $L$-functions and related topics.

math.NT↗

arXiv2024

Distribution of power residues over shifted subfields and maximal cliques in generalized Paley graphs

We derive an asymptotic formula for the number of solutions in a given subfield to certain system of equations over finite fields. As an application, we construct new families of maximal cliques in generalized Paley graphs. Given integers $d\ge2$ and $q \equiv 1 \pmod d$, we show that for each positive integer $m$ such that $\operatorname{rad}(m) \mid \operatorname{rad}(d)$, there are maximal cliques of size approximately $q/m$ in the $d$-Paley graph defined on $\mathbb{F}_{q^d}$. We also confirm a conjecture of Goryainov, Shalaginov, and the second author on the maximality of certain cliques in generalized Paley graphs, as well as an analogous conjecture of Goryainov for Peisert graphs.

math.NT↗

arXiv2024

The least primary factor of the multiplicative group

Let $S(n)$ denote the least primary factor in the primary decomposition of the multiplicative group $M_n = (\Bbb Z/n\Bbb Z)^\times$. We give an asymptotic formula, with order of magnitude $x/(\log x)^{1/2}$, for the counting function of those integers $n$ for which $S(n) \ne 2$. We also give an asymptotic formula, for any prime power $q$, for the counting function of those integers $n$ for which $S(n) = q$. This group-theoretic problem can be reduced to problems of counting integers with restrictions on their prime factors, allowing it to be addressed by classical techniques of analytic number theory.

math.NT↗

arXiv2023

An annotated bibliography for comparative prime number theory

The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory (through mid-2024) together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained.

math.NT↗

arXiv2023

A heuristic for discrete mean values of the derivative of the Riemann zeta function

Shanks conjectured that $\zeta ' (\rho)$, where $\rho$ ranges over non-trivial zeros of the Riemann zeta function, is real and positive in the mean. We present a history of this problem, including a generalisation to all higher-order derivatives $\zeta^{(n)}(s)$, for which the sign of the mean alternatives between positive for odd $n$ and negative for even $n$. Furthermore, we give a simple heuristic that provides the leading term (including its sign) of the asymptotic formula for the average value of $\zeta^{(n)}(\rho)$.

math.NT↗

arXiv2021

Fake Mu's

Let $f(n)$ denote a multiplicative function with range $\{-1,0,1\}$, and let $F(x) = \sum_{n\leq x} f(n)$. Then $F(x)/\sqrt{x} = a\sqrt{x} + b + E(x)$, where $a$ and $b$ are constants and $E(x)$ is an error term that either tends to $0$ in the limit, or is expected to oscillate about $0$ in a roughly balanced manner. We say $F(x)$ has persistent bias $b$ (at the scale of $\sqrt{x}$) in the first case, and apparent bias $b$ in the latter. For example, if $f(n)=\mu(n)$, the M\"{o}bius function, then $F(x) = \sum_{n\leq x} \mu(n)$ has $b=0$ so exhibits no persistent or apparent bias, while if $f(n)=\lambda(n)$, the Liouville function, then $F(x) = \sum_{n\leq x} \lambda(n)$ has apparent bias $b=1/\zeta(1/2)$. We study the bias when $f(p^k)$ is independent of the prime $p$, and call such functions fake $\mu's$. We investigate the conditions required for such a function to exhibit a persistent or apparent bias, determine the functions in this family with maximal and minimal bias of each type, and characterize the functions with no bias of either type. For such a function $F(x)$ with apparent bias $b$, we also show that $F(x)/\sqrt{x}-a\sqrt{x}-b$ changes sign infinitely often.

math.NT↗

arXiv2021

Multidimensional Pad\'e approximation of binomial functions: Equalities

Let $\omega_0,\dots,\omega_M$ be complex numbers. If $H_0,\dots,H_M$ are polynomials of degree at most $\rho_0,\dots,\rho_M$, and $G(z)=\sum_{m=0} ^M H_m(z) (1-z)^{\omega_m}$ has a zero at $z=0$ of maximal order (for the given $\omega_m,\rho_m$), we say that $H_0,\dots,H_M$ are a \emph{multidimensional Pad\'e approximation of binomial functions}, and call $G$ the Pad\'e remainder. We collect here with proof all of the known expressions for $G$ and $H_m$, including a new one: the Taylor series of $G$. We also give a new criterion for systems of Pad\'e approximations of binomial functions to be perfect (a specific sort of independence used in applications).

math.NT↗

arXiv2021

An algorithm for Egyptian fraction representations with restricted denominators

A unit fraction representation of a rational number $r$ is a finite sum of reciprocals of positive integers that equals $r$. Of particular interest is the case when all denominators in the representation are distinct, resulting in an Egyptian fraction representation of $r$. Common algorithms for computing Egyptian fraction representations of a given rational number tend to result in extremely large denominators and cannot be adapted to restrictions on the allowed denominators. We describe an algorithm for finding all unit fraction representations of a given rational number using denominators from a given finite multiset of positive integers. The freely available algorithm, implemented in Scheme, is particularly well suited to computing dense Egyptian fraction representations, where the allowed denominators have a prescribed maximum.

math.NT↗

arXiv2021

Asymptotics for the number of directions determined by $[n] \times [n]$ in $\mathbb{F}_p^2$

Let $p$ be a prime and $n$ a positive integer such that $\sqrt{\frac p2} + 1 \leq n \leq \sqrt{p}$. For any arithmetic progression $A$ of length $n$ in $\mathbb{F}_p$, we establish an asymptotic formula for the number of directions determined by $A \times A \subset \mathbb{F}_p^2$. The key idea is to reduce the problem to counting the number of solutions to the bilinear Diophantine equation $ad+bc=p$ in variables $1\le a,b,c,d\le n$; our asymptotic formula for the number of solutions is of independent interest.

math.NT↗