Researcher profile

Michael J. Mossinghoff

Michael J. Mossinghoff contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
4topics
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

6 published item(s)

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 $n$ is not known when $n$ is even and $n\geq14$. We determine an improved lower bound for the maximal area of a small $n$-gon for this case. The improvement affects the $1/n^3$ term of an asymptotic expansion; prior advances affected less significant terms. This bound cannot be improved by more than $O(1/n^3)$. For $n=6$, $8$, $10$, and $12$, the polygon we construct has maximal area.

preprint2022arXiv

Wolstenholme and Vandiver primes

A prime $p$ is a Wolstenholme prime if $\binom{2p}{p}\equiv2$ mod $p^4$, or, equivalently, if $p$ divides the numerator of the Bernoulli number $B_{p-3}$; a Vandiver prime $p$ is one that divides the Euler number $E_{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 $10$, and show that no additional Wolstenholme primes exist up to $10^{11}$, and in the second case by a factor of $20$, 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 $p$ that are favorable for computation, and we implement some highly parallel searches using GPUs.

preprint2020arXiv

A tale of two omegas

We consider $ω(n)$ and $Ω(n)$, which respectively count the number of distinct and total prime factors of $n$. We survey a number of similarities and differences between these two functions, and study the summatory functions $L(x)=\sum_{n\leq x} (-1)^{Ω(n)}$ and $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)$ and $Ω(n)$ have the same parity approximately 73.5\% of the time, these summatory functions exhibit quite different behaviors: $L(x)$ is biased toward negative values, while $H(x)$ is unbiased. We also prove that $H(x)>1.7\sqrt{x}$ for infinitely many integers $x$, and $H(x)<-1.7\sqrt{x}$ infinitely often as well. These statements complement results on oscillations for $L(x)$.

preprint2020arXiv

The distribution of $k$-free numbers

Let $R_k(x)$ denote the error incurred by approximating the number of $k$-free integers less than $x$ by $x/ζ(k)$. It is well known that $R_k(x)=Ω(x^{\frac{1}{2k}})$, and widely conjectured that $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 $R_k(x)/x^{1/2k} > 3$ infinitely often and that $R_k(x)/x^{1/2k} < -3$ infinitely often, for $k=2$, $3$, $4$, and $5$. We also investigate $R_2(x)$ and $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\leq10^{18}$ we show that $|R_2(x)| < 1.12543x^{1/4}$ and $|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) = \sum_{a+b=n} Λ(a)Λ(b)$, where $Λ(\cdot)$ is the von Mangoldt function. The function $R(n)$ is often studied in connection with Goldbach&#39;s conjecture. On the Riemann hypothesis (RH) it is known that $\sum_{n\leq x} R(n) = x^2/2 - 4x^{3/2} G(x) + O(x^{1+ε})$, where $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.02093$ and $G(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.

preprint2012arXiv

Sporadic Reinhardt polygons

Let $n$ be a positive integer, not a power of two. A \textit{Reinhardt polygon} is a convex $n$-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 $n$, there are many Reinhardt polygons with $n$ sides, and many of them exhibit a particular periodic structure. While these periodic polygons are well understood, for certain values of $n$, additional Reinhardt polygons exist that do not possess this structured form. We call these polygons \textit{sporadic}. We completely characterize the integers $n$ for which sporadic Reinhardt polygons exist, showing that these polygons occur precisely when $n=pqr$ with $p$ and $q$ distinct odd primes and $r\geq2$. We also prove that a positive proportion of the Reinhardt polygons with $n$ sides are sporadic for almost all integers $n$, and we investigate the precise number of sporadic Reinhardt polygons that are produced for several values of $n$ by a construction that we introduce.