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

Jonathan Sondow

Jonathan Sondow contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.HOmath.CAmath.GMmath.MG

Trust snapshot

Quick read

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

19 published item(s)

preprint2013arXiv

The parbelos, a parabolic analog of the arbelos

The arbelos is a classical geometric shape bounded by three mutually tangent semicircles with collinear diameters. We introduce a parabolic analog, the parbelos. After a review of the parabola, we use theorems of Archimedes and Lambert to demonstrate seven properties of the parbelos, drawing analogies to similar properties of the arbelos, some of which may be new. The seventh constructs a parbelos directly from an arbelos via a locus. Along the way we mention the Universal Parabolic Constant (an analog of pi) and an origami fold.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Schanuel Subset Conjecture implies Gelfond's Power Tower Conjecture

As an alternative to the famous Schanuel's Conjecture (SC), we introduce the Schanuel Subset Conjecture (SSC): Given $α_1,...,α_n\in \mathbb{C}$ linearly independent over $\mathbb{Q}$, if $\{α_1,...,α_n, e^{α_1},...,e^{α_n}\}$ is $\overline{\mathbb{Q}}$-dependent on a subset $\{β_1,...,β_n\}$, then $β_1,...,β_n$ are algebraically independent}. (A set $X\subset \mathbb{C}$ is called $\overline{\mathbb{Q}}$-dependent on $Y\subset \mathbb{C}$ if $\overline{\mathbb{Q}}(X) \subset \overline{\mathbb{Q}}(Y)$.) We discuss whether SC is equivalent to the a priori weaker SSC. Assuming SSC, we give conditional proofs of Gelfond's Power Tower Conjecture and of two other results.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On SA, CA, and GA numbers

Gronwall's function $G$ is defined for $n>1$ by $G(n)=\frac{σ(n)}{n \log\log n}$ where $σ(n)$ is the sum of the divisors of $n$. We call an integer $N>1$ a \emph{GA1 number} if $N$ is composite and $G(N) \ge G(N/p)$ for all prime factors $p$ of $N$. We say that $N$ is a \emph{GA2 number} if $G(N) \ge G(aN)$ for all multiples $aN$ of $N$. In arXiv 1110.5078, we used Robin's and Gronwall's theorems on $G$ to prove that the Riemann Hypothesis (RH) is true if and only if 4 is the only number that is both GA1 and GA2. Here, we study GA1 numbers and GA2 numbers separately. We compare them with superabundant (SA) and colossally abundant (CA) numbers (first studied by Ramanujan). We give algorithms for computing GA1 numbers; the smallest one with more than two prime factors is 183783600, while the smallest odd one is 1058462574572984015114271643676625. We find nineteen GA2 numbers $\le 5040$, and prove that a GA2 number $N>5040$ exists if and only if RH is false, in which case $N$ is even and $>10^{8576}$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Robin's theorem, primes, and a new elementary reformulation of the Riemann Hypothesis

For n>1, let G(n)=σ(n)/(n log log n), where σ(n) is the sum of the divisors of n. We prove that the Riemann Hypothesis is true if and only if 4 is the only composite number N satisfying G(N) \ge \max(G(N/p),G(aN)), for all prime factors p of N and all multiples aN of N. The proof uses Robin's and Gronwall's theorems on G(n). An alternate proof of one step depends on two properties of superabundant numbers proved using Alaoglu and Erdős's results.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Algebraic and transcendental solutions of some exponential equations

We study algebraic and transcendental powers of positive real numbers, including solutions of each of the equations $x^x=y$, $x^y=y^x$, $x^x=y^y$, $x^y=y$, and $x^{x^y}=y$. Applications to values of the iterated exponential functions are given. The main tools used are classical theorems of Hermite-Lindemann and Gelfond-Schneider, together with solutions of exponential Diophantine equations.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Divisibility of Power Sums and the Generalized Erdos-Moser Equation

Using elementary methods, we determine the highest power of 2 dividing a power sum 1^n + 2^n + . . . + m^n, generalizing Lengyel's formula for the case where m is itself a power of 2. An application is a simple proof of Moree's result that, if (a,m,n) is any solution of the generalized Erdos-Moser Diophantine equation 1^n + 2^n + . . . + (m-1)^n = am^n, then m is odd.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Evaluation of Tachiya's algebraic infinite products involving Fibonacci and Lucas numbers

In 2007, Tachiya gave necessary and sufficient conditions for the transcendence of certain infinite products involving Fibonacci numbers $F_k$ and Lucas numbers $L_k$. In the present note, we explicitly evaluate two classes of his algebraic examples. Special cases are$$\prod_{n=1}^{\infty}(1+\frac{1}{F_{2^n+1}})=\frac{3}ϕ, \qquad \prod_{n=1}^{\infty}(1+\frac{1}{L_{2^n+1}})=3-ϕ\, ,$$where $ϕ=(1+\sqrt{5})/2$ is the golden ratio.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Infinite products with strongly $B$-multiplicative exponents

Let $N_{1,B}(n)$ denote the number of ones in the $B$-ary expansion of an integer $n$. Woods introduced the infinite product $P :=\prod_{n \geq 0} (\frac{2n+1}{2n+2})^{(-1)^{N_{1,2}(n)}}$ and Robbins proved that $P = 1/\sqrt{2}$. Related products were studied by several authors. We show that a trick for proving that $P^2 = 1/2$ (knowing that $P$ converges) can be extended to evaluating new products with (generalized) strongly $B$-multiplicative exponents. A simple example is $$ \prod_{n \geq 0} (\frac{Bn+1}{Bn+2})^{(-1)^{N_{1,B}(n)}} = \frac{1}{\sqrt B}. $$

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Ramanujan Primes: Bounds, Runs, Twins, and Gaps

The $n$th Ramanujan prime is the smallest positive integer $R_n$ such that if $x \ge R_n$, then the interval $(x/2,x]$ contains at least $n$ primes. We sharpen Laishram&#39;s theorem that $R_n < p_{3n}$ by proving that the maximum of $R_n/p_{3n}$ is $R_5/p_{15} = 41/47$. We give statistics on the length of the longest run of Ramanujan primes among all primes $p<10^n$, for $n\le9$. We prove that if an upper twin prime is Ramanujan, then so is the lower; a table gives the number of twin primes below $10^n$ of three types. Finally, we relate runs of Ramanujan primes to prime gaps. Along the way we state several conjectures and open problems. The Appendix explains Noe&#39;s fast algorithm for computing $R_1,R_2,...,R_n$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Schanuel&#39;s conjecture and algebraic powers z^w and w^z with z and w transcendental

We give a brief history of transcendental number theory, including Schanuel&#39;s conjecture (S). Assuming (S), we prove that if z and w are complex numbers, not 0 or 1, with z^w and w^z algebraic, then z and w are either both rational or both transcendental. A corollary is that if (S) is true, then we can find four distinct transcendental positive real numbers x, y, s, t such that the three numbers x^y=/=y^x and s^t=t^s are all integers. Another application (possibly known) is that (S) implies the transcendence of the numbers sqrt(2)^sqrt(2)^sqrt(2), i^i^i, and i^e^pi. We also prove that if (S) holds and a^a^z=z, where a=/=0 is algebraic and z is irrational, then z is transcendental.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A geometric proof that $e$ is irrational and a new measure of its irrationality

We give a simple geometric proof that $e$ is irrational, using a construction of a nested sequence of closed intervals with intersection $e$. The proof leads to a new measure of irrationality for $e$: if $p$ and $q$ are integers with $q > 1$, then $|e - p/q| > 1/(S(q)+1)!$, where $S(q)$ is the smallest positive integer such that $S(q)!$ is a multiple of $q$. We relate this measure for $e$ to a known one and to the greatest prime factor of an integer. We make two conjectures and recall a theorem of Cantor that can be proved by a similar construction.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

New Wallis- and Catalan-Type Infinite Products for $π, e$, and $\sqrt{2+\sqrt2}$

We generalize Wallis&#39;s 1655 infinite product for $π/2$ to one for $(π/K)\csc(π/K)$, as well as give new Wallis-type products for $π/4, 2, \sqrt{2+\sqrt2}, 2π/3\sqrt3,$ and other constants. The proofs use a classical infinite product formula involving the gamma function. We also extend Catalan&#39;s 1873 infinite product of radicals for $e$ to Catalan-type products for $e/4,\sqrt{e}$, and $e^{3/2}/2$. Here the proofs use Stirling&#39;s formula. Finally, we find an analog for $e^{2/3}/\sqrt3$ of Pippenger&#39;s 1980 infinite product for $e/2$, and we conjecture that they can be generalized to a product for a power of $e^{1/K}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Proofs of power sum and binomial coefficient congruences via Pascal&#39;s identity

A frequently cited theorem says that for n > 0 and prime p, the sum of the first p n-th powers is congruent to -1 modulo p if p-1 divides n, and to 0 otherwise. We survey the main ingredients in several known proofs. Then we give an elementary proof, using an identity for power sums proven by Pascal in 1654. An application is a simple proof of a congruence for certain sums of binomial coefficients, due to Hermite and Bachmann.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ramanujan Primes and Bertrand&#39;s Postulate

The $n$th Ramanujan prime is the smallest positive integer $R_n$ such that if $x \ge R_n$, then there are at least $n$ primes in the interval $(x/2,x]$. For example, Bertrand&#39;s postulate is $R_1 = 2$. Ramanujan proved that $R_n$ exists and gave the first five values as 2, 11, 17, 29, 41. In this note, we use inequalities of Rosser and Schoenfeld to prove that $2n \log 2n < R_n < 4n \log 4n$ for all $n$, and we use the Prime Number Theorem to show that $R_n$ is asymptotic to the $2n$th prime. We also estimate the length of the longest string of consecutive Ramanujan primes among the first $n$ primes, explain why there are more twin Ramanujan primes than expected, and make three conjectures (the first has since been proved by S. Laishram).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Reducing the Erdos-Moser equation 1^n + 2^n + . . . + k^n = (k+1)^n modulo k and k^2

An open conjecture of Erdos and Moser is that the only solution of the Diophantine equation in the title is the trivial solution 1+2=3. Reducing the equation modulo k and k^2, we give necessary and sufficient conditions on solutions to the resulting congruence and supercongruence. A corollary is a new proof of Moser&#39;s result that the conjecture is true for odd exponents n. We also connect solutions k of the congruence to primary pseudoperfect numbers and to a result of Zagier. The proofs use divisibility properties of power sums as well as Lerch&#39;s relation between Fermat and Wilson quotients.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Euler&#39;s constant, q-logarithms, and formulas of Ramanujan and Gosper

The aim of the paper is to relate computational and arithmetic questions about Euler&#39;s constant $γ$ with properties of the values of the $q$-logarithm function, with natural choice of $q$. By these means, we generalize a classical formula for $γ$ due to Ramanujan, together with Vacca&#39;s and Gosper&#39;s series for $γ$, as well as deduce irrationality criteria and tests and new asymptotic formulas for computing Euler&#39;s constant. The main tools are Euler-type integrals and hypergeometric series.

0 citations0 reviewsNo code linkedOpen access