BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Greg Martin

Greg Martin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.COmath.CA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Counting multiplicative groups with prescribed subgroups

We examine two counting problems that seem very group-theoretic on the surface but, on closer examination, turn out to concern integers with restrictions on their prime factors. First, given an odd prime $q$ and a finite abelian $q$-group $H$, we consider the set of integers $n\le x$ such that the Sylow $q$-subgroup of the multiplicative group $(\mathbb Z/n\mathbb Z)^\times$ is isomorphic to $H$. We show that the counting function of this set of integers is asymptotic to $K x(\log\log x)^\ell/(\log x)^{1/(q-1)}$ for explicit constants $K$ and $\ell$ depending on $q$ and $H$. Second, we consider the set of integers $n\le x$ such that the multiplicative group $(\mathbb Z/n\mathbb Z)^\times$ is "maximally non-cyclic", that is, such that all of its prime-power subgroups are elementary groups. We show that the counting function of this set of integers is asymptotic to $A x/(\log x)^{1-ξ}$ for an explicit constant $A$, where $ξ$ is Artin's constant. As it turns out, both of these group-theoretic problems can be reduced to problems of counting integers with restrictions on their prime factors, allowing them to be addressed by classical techniques of analytic number theory.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Counting Zeros of Dirichlet $L$-Functions

We give explicit upper and lower bounds for $N(T,χ)$, the number of zeros of a Dirichlet $L$-function with character $χ$ and height at most $T$. Suppose that $χ$ has conductor $q>1$, and that $T\geq 5/7$. If $\ell=\log\frac{q(T+2)}{2π}> 1.567$, then \begin{equation*} \left| N(T,χ) - \left( \frac{T}π \log\frac{qT}{2πe} -\frac{χ(-1)}{4}\right) \right| \le 0.22737 \ell + 2 \log(1+\ell) - 0.5. \end{equation*} We give slightly stronger results for small $q$ and $T$. Along the way, we prove a new bound on $|L(s,χ)|$ for $σ<-1/2$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Subproducts of small residue classes

For any prime $p$, let $y(p)$ denote the smallest integer $y$ such that every reduced residue class $\pmod p$ is represented by the product of some subset of $\{1,\dots,y\}$. It is easy to see that $y(p)$ is at least as large as the smallest quadratic nonresidue $\pmod p$; we prove that $y(p) \ll_\varepsilon p^{1/(4 \sqrt e)+\varepsilon}$, thus strengthening Burgess&#39;s classical result. This result is of intermediate strength between two other results, namely Burthe&#39;s proof that the multiplicative group $\pmod p$ is generated by the integers up to $O_\varepsilon(p^{1/(4 \sqrt e)+\varepsilon}$, and Munsch and Shparlinski&#39;s result that every reduced residue class $\pmod p$ is represented by the product of some subset of the primes up to $O_\varepsilon(p^{1/(4 \sqrt e)+\varepsilon}$. Unlike the latter result, our proof is elementary and similar in structure to Burgess&#39;s proof for the least quadratic nonresidue.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The smallest invariant factor of the multiplicative group

Let $λ_1(n)$ denote the least invariant factor in the invariant factor decomposition of the multiplicative group $M_n = (\mathbb Z/n\mathbb Z)^\times$. We give an asymptotic formula, with order of magnitude $x/\sqrt{\log x}$, for the counting function of those integers $n$ for which $λ_1(n)\ne2$. We also give an asymptotic formula, for any even $q\ge4$, for the counting function of those integers $n$ for which $λ_1(n)=q$. These results require a version of the Selberg-Delange method whose dependence on certain parameters is made explicit, which we provide in an appendix. As an application, we give an asymptotic formula for the counting function of those integers $n$ all of whose prime factors lie in an arbitrary fixed set of reduced residue classes, with implicit constants uniform over all moduli and sets of residue classes.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The supremum of autoconvolutions, with applications to additive number theory

We adapt a number-theoretic technique of Yu to prove a purely analytic theorem: if f(x) is in L^1 and L^2, is nonnegative, and is supported on an interval of length I, then the supremum of the convolution f*f is at least 0.631 \| f \|_1^2 / I. This improves the previous bound of 0.591389 \| f \|_1^2 / I. Consequently, we improve the known bounds on several related number-theoretic problems. For a subset A of {1,2, ..., n}, let g be the maximum multiplicity of any element of the multiset {a+b: a,b in A}. Our main corollary is the inequality gn>0.631|A|^2, which holds uniformly for all g, n, and A.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Many sets have more sums than differences

Since addition is commutative but subtraction is not, the sumset S+S of a finite set S is predisposed to be smaller than the difference set S-S. In this paper, however, we show that each of the three possibilities (|S+S|>|S-S|, |S+S|=|S-S|, |S+S|<|S-S|) occur for a positive proportion of the subsets of {0, 1, ..., n-1}. We also show that the difference |S+S| - |S-S| can take any integer value, and we show that the expected number of omitted differences is asymptotically 6 while the expected number of missing sums is asymptotically 10. Other data and conjectures on the distribution of these quantities are also given.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

The Symmetric Subset Problem in Continuous Ramsey Theory

A symmetric subset of the reals is one that remains invariant under some reflection z --> c-z. We consider, for any 0 < x <= 1, the largest real number D(x) such that every subset of $[0,1]$ with measure greater than x contains a symmetric subset with measure D(x). In this paper we establish upper and lower bounds for D(x) of the same order of magnitude: for example, we prove that D(x) = 2x - 1 for 11/16 <= x <= 1 and that 0.59 x^2 < D(x) < 0.8 x^2 for 0 < x <= 11/16. This continuous problem is intimately connected with a corresponding discrete problem. A set S of integers is called a B*[g] set if for any given m there are at most g ordered pairs (s_1,s_2) \in S \times S with s_1+s_2 = m; in the case g=2, these are better known as Sidon sets. Our lower bound on D(x) implies that every B*[g] set contained in \{1,2,...,n\} has cardinality less than 1.30036 \sqrt{gn}. This improves a result of Green for g >= 30. Conversely, we use a probabilistic construction of B*[g] sets to establish an upper bound on D(x) for small x.

0 citations0 reviewsNo code linkedOpen access