Source author record

Michael J. Mossinghoff

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
4topics
4close collaborators

Published work

8 publications

preprint2022arXiv

Small polygons with large area

A polygon is \textit{small} if it has unit diameter. The maximal area of a small polygon with a fixed number of sides nn is not known when nn is even and n≥14n\geq14. We determine an improved lower bound for the maximal area of a small nn-gon for this case. The improvement affects the 1/n31/n^3 term of an asymptotic expansion; prior advances affected less significant terms. This bound cannot be improved by more than O(1/n3)O(1/n^3). For n=6n=6, 88, 1010, and 1212, the polygon we construct has maximal area.

preprint2022arXiv

Wolstenholme and Vandiver primes

A prime pp is a Wolstenholme prime if (2pp)≡2\binom{2p}{p}\equiv2 mod p4p^4, or, equivalently, if pp divides the numerator of the Bernoulli number Bp−3B_{p-3}; a Vandiver prime pp is one that divides the Euler number Ep−3E_{p-3}. Only two Wolstenholme primes and eight Vandiver primes are known. We increase the search range in the first case by a factor of 1010, and show that no additional Wolstenholme primes exist up to 101110^{11}, and in the second case by a factor of 2020, proving that no additional Vandiver primes occur up to this same bound. To facilitate this, we develop a number of new congruences for Bernoulli and Euler numbers mod pp that are favorable for computation, and we implement some highly parallel searches using GPUs.

preprint2020arXiv

A tale of two omegas

We consider ω(n)ω(n) and Ω(n)Ω(n), which respectively count the number of distinct and total prime factors of nn. We survey a number of similarities and differences between these two functions, and study the summatory functions L(x)=∑n≤x(−1)Ω(n)L(x)=\sum_{n\leq x} (-1)^{Ω(n)} and H(x)=∑n≤x(−1)ω(n)H(x)=\sum_{n\leq x} (-1)^{ω(n)} in particular. Questions about oscillations in both of these functions are connected to the Riemann hypothesis and other questions concerning the Riemann zeta function. We show that even though ω(n)ω(n) and Ω(n)Ω(n) have the same parity approximately 73.5\% of the time, these summatory functions exhibit quite different behaviors: L(x)L(x) is biased toward negative values, while H(x)H(x) is unbiased. We also prove that H(x)>1.7xH(x)>1.7\sqrt{x} for infinitely many integers xx, and H(x)<−1.7xH(x)<-1.7\sqrt{x} infinitely often as well. These statements complement results on oscillations for L(x)L(x).

preprint2020arXiv

The distribution of kk-free numbers

Let Rk(x)R_k(x) denote the error incurred by approximating the number of kk-free integers less than xx by x/ζ(k)x/ζ(k). It is well known that Rk(x)=Ω(x12k)R_k(x)=Ω(x^{\frac{1}{2k}}), and widely conjectured that Rk(x)=O(x12k+ε)R_k(x)=O(x^{\frac{1}{2k}+ε}). By establishing weak linear independence of some subsets of zeros of the Riemann zeta function, we establish an effective proof of the lower bound, with significantly larger bounds on the constant compared to those obtained in prior work. For example, we show that Rk(x)/x1/2k>3R_k(x)/x^{1/2k} > 3 infinitely often and that Rk(x)/x1/2k<−3R_k(x)/x^{1/2k} < -3 infinitely often, for k=2k=2, 33, 44, and 55. We also investigate R2(x)R_2(x) and R3(x)R_3(x) in detail and establish that our bounds far exceed the oscillations exhibited by these functions over a long range: for 0<x≤10180<x\leq10^{18} we show that ∣R2(x)∣<1.12543x1/4|R_2(x)| < 1.12543x^{1/4} and ∣R3(x)∣<1.27417x1/6|R_3(x)| < 1.27417x^{1/6}. We also present some empirical results regarding gaps between square-free numbers and between cube-free numbers.

preprint2020arXiv

The size of oscillations in the Goldbach conjecture

Let R(n)=∑a+b=nΛ(a)Λ(b)R(n) = \sum_{a+b=n} Λ(a)Λ(b), where Λ(⋅)Λ(\cdot) is the von Mangoldt function. The function R(n)R(n) is often studied in connection with Goldbach's conjecture. On the Riemann hypothesis (RH) it is known that ∑n≤xR(n)=x2/2−4x3/2G(x)+O(x1+ε)\sum_{n\leq x} R(n) = x^2/2 - 4x^{3/2} G(x) + O(x^{1+ε}), where G(x)=ℜ∑γ>0xiγ(12+iγ)(32+iγ)G(x)=\Re \sum_{γ>0} \frac{x^{iγ}}{(\frac{1}{2} + iγ)(\frac{3}{2} + iγ)} and the sum is over the ordinates of the nontrivial zeros of the Riemann zeta function in the upper half-plane. We prove (on RH) that each of the inequalities G(x)<−0.02093G(x) < -0.02093 and G(x)>0.02092G(x)> 0.02092 hold infinitely often, and establish improved bounds under an assumption of linearly independence for zeros of the zeta function. We also show that the bounds we obtain are very close to optimal.

preprint2014arXiv

Most Reinhardt polygons are sporadic

A \textit{Reinhardt polygon} is a convex nn-gon that, for nn not a power of 22, is optimal in three different geometric optimization problems, for example, it has maximal perimeter relative to its diameter. Some such polygons exhibit a particular periodic structure; others are termed \textit{sporadic}. Prior work has described the periodic case completely, and has shown that sporadic Reinhardt polygons occur for all nn of the form n=pqrn=pqr with pp and qq distinct odd primes and r≥2r\geq2. We show that (dihedral equivalence classes of) sporadic Reinhardt polygons outnumber the periodic ones for almost all nn, and find that this first occurs at n=105n=105. We also determine a formula for the number of sporadic Reinhardt polygons when n=2pqn=2pq with pp and qq distinct odd primes.

preprint2014arXiv

Nonnegative trigonometric polynomials and a zero-free region for the Riemann zeta-function

We prove that the Riemann zeta-function ζ(σ+it)ζ(σ+ it) has no zeros in the region σ≥1−1/(5.573412log⁡∣t∣)σ\geq 1 - 1/(5.573412 \log|t|) for ∣t∣≥2|t|\geq 2. This represents the largest known zero-free region within the critical strip for 3.06⋅1010<∣t∣<exp⁡(10151.5)3.06\cdot10^{10} < |t|<\exp(10151.5). Our improvements result from determining some favorable trigonometric polynomials having particular properties, and from analyzing the error term in the method of Kadiri. We also improve an upper bound in a question of Landau regarding nonnegative trigonometric polynomials.

preprint2012arXiv

Sporadic Reinhardt polygons

Let nn be a positive integer, not a power of two. A \textit{Reinhardt polygon} is a convex nn-gon that is optimal in three different geometric optimization problems: it has maximal perimeter relative to its diameter, maximal width relative to its diameter, and maximal width relative to its perimeter. For almost all nn, there are many Reinhardt polygons with nn sides, and many of them exhibit a particular periodic structure. While these periodic polygons are well understood, for certain values of nn, additional Reinhardt polygons exist that do not possess this structured form. We call these polygons \textit{sporadic}. We completely characterize the integers nn for which sporadic Reinhardt polygons exist, showing that these polygons occur precisely when n=pqrn=pqr with pp and qq distinct odd primes and r≥2r\geq2. We also prove that a positive proportion of the Reinhardt polygons with nn sides are sporadic for almost all integers nn, and we investigate the precise number of sporadic Reinhardt polygons that are produced for several values of nn by a construction that we introduce.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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