BZPEER

preprint2015arXiv

Summation of rational series twisted by strongly B-multiplicative coefficients

We evaluate in closed form series of the type $\sum u(n) R(n)$ , where $(u(n))_n$ is a strongly $B$ -multiplicative sequence and $R(n)$ a (well-chosen) rational function. A typical example is: $\sum_{n \geq 1} (-1)^{s_2(n)} \frac{4n+1}{2n(2n+1)(2n+2)} = -\frac{1}{4}$ where $s_2(n)$ is the sum of the binary digits of the integer $n$ . Furthermore closed formulas for series involving automatic sequences that are not strongly $B$ -multiplicative, such as the regular paperfolding and Golay-Shapiro-Rudin sequences, are obtained; for example, for integer $d \geq 0$ : $\sum_{n \geq 0} \frac{v(n)}{(n+1)^{2d+1}} = \frac{π^{2d+1} |E_{2d}|}{(2^{2d+2}-2)(2d)!}$ where $(v(n))_n$ is the $\pm 1$ regular paperfolding sequence and $E_{2d}$ is an Euler number.

preprint2014arXiv

Formulas for pi(n) and the n-th prime

Using inequalities of Rosser and Schoenfeld, we prove formulas for pi(n) and the n-th prime that involve only the elementary operations +,-,/ on integers, together with the floor function. Pascal Sebah has pointed out that the formula for pi(n) operates in O(n^(3/2)) time. Similar formulas were proven using Bertrand's Postulate by Stephen Regimbal, An explicit formula for the k-th prime number, Mathematics Magazine, 48 (1975), 230-23

preprint2014arXiv

Gauss and the Eccentric Halsted

We discuss the mathematician George Bruce Halsted's accusations against Carl Friedrich Gauss, as well as refutations both by the latter's American grandson Robert Gauss in a letter to Felix Klein, and by the historian of mathematics Florian Cajori.

preprint2014arXiv

On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$

We show that if the congruence above holds and $n\mid m$ , then the quotient $Q:=m/n$ satisfies $\sum_{p\mid Q} \frac{Q}{p}+1 \equiv 0\pmod{Q}$ , where $p$ is prime. The only known solutions of the latter congruence are $Q=1$ and the eight known primary pseudoperfect numbers $2,6,42, 1806, 47058, 2214502422, 52495396602,$ and $8490421583559688410706771261086$ . Fixing $Q$ , we prove that the set of positive integers $n$ satisfying the congruence in the title, with $m=Q n$ , is empty in case $Q=52495396602$ , and in the other eight cases has an asymptotic density between bounds in $(0,1)$ that we provide.

preprint2014arXiv

The $p$ -adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead us to results on the Bernoulli numbers and allow us to motivate Moser's original approach to the problem.

preprint2013arXiv

Ramanujan, Robin, Highly Composite Numbers, and the Riemann Hypothesis

We provide an historical account of equivalent conditions for the Riemann Hypothesis arising from the work of Ramanujan and, later, Guy Robin on generalized highly composite numbers. The first part of the paper is on the mathematical background of our subject. The second part is on its history, which includes several surprises.

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.

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.

preprint2012arXiv

Lerch Quotients, Lerch Primes, Fermat-Wilson Quotients, and the Wieferich-non-Wilson Primes 2, 3, 14771

The Fermat quotient $q_p(a):=(a^{p-1}-1)/p$ , for prime $p\nmid a$ , and the Wilson quotient $w_p:=((p-1)!+1)/p$ are integers. If $p\mid w_p,$ then $p$ is a Wilson prime. For odd $p,$ Lerch proved that $(\sum_{a=1}^{p-1} q_p(a) - w_p)/p$ is also an integer; we call it the Lerch quotient $\ell_p.$ If $p\mid\ell_p$ we say $p$ is a Lerch prime. A simple Bernoulli-number test for Lerch primes is proven. There are four Lerch primes 3, 103, 839, 2237 up to $3\times10^6$ ; we relate them to the known Wilson primes 5, 13, 563. Generalizations are suggested. Next, if $p$ is a non-Wilson prime, then $q_p(w_p)$ is an integer that we call the Fermat-Wilson quotient of $p.$ The GCD of all $q_p(w_p)$ is shown to be 24. If $p\mid q_p(a),$ then $p$ is a Wieferich prime base $a$ ; we give a survey of them. Taking $a=w_p,$ if $p\mid q_p(w_p)$ we say $p$ is a Wieferich-non-Wilson prime. There are three up to $10^7$ , namely, 2, 3, 14771. Several open problems are discussed.

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}$ .

preprint2012arXiv

Rebuttal of Kowalenko's paper as concerns the irrationality of Euler's constant

We rebut Kowalenko's claims in 2010 that he proved the irrationality of Euler's constant, and that his rational series for it is new.

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.

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.

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.

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.

preprint2011arXiv

Generalized Ramanujan Primes

In 1845, Bertrand conjectured that for all integers $x\ge2$ , there exists at least one prime in $(x/2, x]$ . This was proved by Chebyshev in 1860, and then generalized by Ramanujan in 1919. He showed that for any $n\ge1$ , there is a (smallest) prime $R_n$ such that $π(x)- π(x/2) \ge n$ for all $x \ge R_n$ . In 2009 Sondow called $R_n$ the $n$ th Ramanujan prime and proved the asymptotic behavior $R_n \sim p_{2n}$ (where $p_m$ is the $m$ th prime). In the present paper, we generalize the interval of interest by introducing a parameter $c \in (0,1)$ and defining the $n$ th $c$ -Ramanujan prime as the smallest integer $R_{c,n}$ such that for all $x\ge R_{c,n}$ , there are at least $n$ primes in $(cx,x]$ . Using consequences of strengthened versions of the Prime Number Theorem, we prove that $R_{c,n}$ exists for all $n$ and all $c$ , that $R_{c,n} \sim p_{\frac{n}{1-c}}$ as $n\to\infty$ , and that the fraction of primes which are $c$ -Ramanujan converges to $1-c$ . We then study finer questions related to their distribution among the primes, and see that the $c$ -Ramanujan primes display striking behavior, deviating significantly from a probabilistic model based on biased coin flipping; this was first observed by Sondow, Nicholson, and Noe in the case $c = 1/2$ . This model is related to the Cramer model, which correctly predicts many properties of primes on large scales, but has been shown to fail in some instances on smaller scales.

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}.$

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'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's fast algorithm for computing $R_1,R_2,...,R_n$ .

preprint2011arXiv

Schanuel'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'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.

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.

preprint2010arXiv

A monotonicity property of Riemann's xi function and a reformulation of the Riemann Hypothesis

We prove that Riemann's xi function is strictly increasing (respectively, strictly decreasing) in modulus along every horizontal half-line in any zero-free, open right (respectively, left) half-plane. A corollary is a reformulation of the Riemann Hypothesis.

preprint2010arXiv

A Simple Counterexample to Havil's "Reformulation" of the Riemann Hypothesis

This is an elementary note. It corrects a mistake in the reformulation of the Riemann Hypothesis in J. Havil's book Gamma: Exploring Euler's Constant.

preprint2010arXiv

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

We generalize Wallis'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'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's formula. Finally, we find an analog for $e^{2/3}/\sqrt3$ of Pippenger'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}$ .

preprint2010arXiv

Proofs of power sum and binomial coefficient congruences via Pascal'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.

preprint2010arXiv

Ramanujan Primes and Bertrand'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'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).

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'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's relation between Fermat and Wilson quotients.

preprint2003arXiv

Euler's constant, q-logarithms, and formulas of Ramanujan and Gosper

The aim of the paper is to relate computational and arithmetic questions about Euler'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's and Gosper's series for $γ$ , as well as deduce irrationality criteria and tests and new asymptotic formulas for computing Euler's constant. The main tools are Euler-type integrals and hypergeometric series.

Jonathan Sondow

Research overview

Is this your work?

27 publications

Summation of rational series twisted by strongly B-multiplicative coefficients

Formulas for pi(n) and the n-th prime

Gauss and the Eccentric Halsted

On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$

The $p$ -adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

Ramanujan, Robin, Highly Composite Numbers, and the Riemann Hypothesis

The parbelos, a parabolic analog of the arbelos

The Schanuel Subset Conjecture implies Gelfond's Power Tower Conjecture

Lerch Quotients, Lerch Primes, Fermat-Wilson Quotients, and the Wieferich-non-Wilson Primes 2, 3, 14771

On SA, CA, and GA numbers

Rebuttal of Kowalenko's paper as concerns the irrationality of Euler's constant

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

Algebraic and transcendental solutions of some exponential equations

Divisibility of Power Sums and the Generalized Erdos-Moser Equation

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

Generalized Ramanujan Primes

Infinite products with strongly $B$ -multiplicative exponents

Ramanujan Primes: Bounds, Runs, Twins, and Gaps

Schanuel's conjecture and algebraic powers z^w and w^z with z and w transcendental

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

A monotonicity property of Riemann's xi function and a reformulation of the Riemann Hypothesis

A Simple Counterexample to Havil's "Reformulation" of the Riemann Hypothesis

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

Proofs of power sum and binomial coefficient congruences via Pascal's identity

Ramanujan Primes and Bertrand's Postulate

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

Euler's constant, q-logarithms, and formulas of Ramanujan and Gosper

See the researcher in context

Building this map preview

Jonathan Sondow

Research overview

Is this your work?

27 publications

Summation of rational series twisted by strongly B-multiplicative coefficients

Formulas for pi(n) and the n-th prime

Gauss and the Eccentric Halsted

On the congruence 1m+2m+⋯+mm≡n(modm)1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}1m+2m+⋯+mm≡n(modm) with n∣mn | mn∣m

The ppp-adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

Ramanujan, Robin, Highly Composite Numbers, and the Riemann Hypothesis

The parbelos, a parabolic analog of the arbelos

The Schanuel Subset Conjecture implies Gelfond's Power Tower Conjecture

Lerch Quotients, Lerch Primes, Fermat-Wilson Quotients, and the Wieferich-non-Wilson Primes 2, 3, 14771

On SA, CA, and GA numbers

Rebuttal of Kowalenko's paper as concerns the irrationality of Euler's constant

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

Algebraic and transcendental solutions of some exponential equations

Divisibility of Power Sums and the Generalized Erdos-Moser Equation

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

Generalized Ramanujan Primes

Infinite products with strongly BBB-multiplicative exponents

Ramanujan Primes: Bounds, Runs, Twins, and Gaps

Schanuel's conjecture and algebraic powers z^w and w^z with z and w transcendental

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

A monotonicity property of Riemann's xi function and a reformulation of the Riemann Hypothesis

A Simple Counterexample to Havil's "Reformulation" of the Riemann Hypothesis

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

Proofs of power sum and binomial coefficient congruences via Pascal's identity

Ramanujan Primes and Bertrand's Postulate

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

Euler's constant, q-logarithms, and formulas of Ramanujan and Gosper

See the researcher in context

Building this map preview

On the congruence $1^m + 2^m + \dotsb + m^m \equiv n \pmod{m}$ with $n | m$

The $p$ -adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

Infinite products with strongly $B$ -multiplicative exponents

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

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