Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0709.0671

Which Partial Sums of the Taylor Series for $e$ are Convergents to $e$? (and a Link to the Primes 2, 5, 13, 37, 463), II

Jonathan Sondow·Kyle Schalm
View original source ↗Read source document ↗Export metadata ↓

Abstract

This is an expanded version of our earlier paper. Let the $n$th partial sum of the Taylor series $e = \sum_{r=0}^{\infty} 1/r!$ be $A_n/n!$, and let $p_k/q_k$ be the $k$th convergent of the simple continued fraction for $e$. Using a recent measure of irrationality for $e$, we prove weak versions of our conjecture that only two of the partial sums are convergents to $e$. A related result about the denominators $q_k$ and powers of factorials is proved. We also show a surprising connection between the $A_n$ and the primes 2, 5, 13, 37, 463. In the Appendix, we give a conditional proof of the conjecture, assuming a second conjecture we make about the zeros of $A_n$ and $q_k$ modulo powers of 2. Tables supporting this Zeros Conjecture are presented and we discuss a 2-adic reformulation of it.

Explore related subjects

math.NTmath.HO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jonathan Sondow, Kyle Schalm. 2009-11-07. Which Partial Sums of the Taylor Series for $e$ are Convergents to $e$? (and a Link to the Primes 2, 5, 13, 37, 463), II. https://arxiv.org/abs/0709.0671

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hecke Subalgebras and Local Newforms for the Metaplectic Double Cover of $\mathrm{SL}_2(\mathbb{Q}_p)$

Let $p$ be an odd prime, and let $\overline{\mathrm{SL}_2(\mathbb{Z}_p)}$ and $\overline{K_0(p^n)}$ denote the inverse images of $\mathrm{SL}_2(\mathbb{Z}_p)$ and the congruence subgroup $K_0(p^n)$ in the metaplectic double cover $\widetilde{\mathrm{SL}}_2(\mathbb{Q}_p)$. For $n\geq2$, we study the subalgebra of the genuine Hecke algebra $H(\widetilde{\mathrm{SL}}_2(\mathbb{Q}_p)//\overline{K_0(p^n)},η)$ consisting of functions supported in $\overline{\mathrm{SL}_2(\mathbb{Z}_p)}$, where $η$ is the genuine extension of either the trivial or the nontrivial quadratic character modulo $p$. We give an explicit basis and a presentation by generators and relations, and prove that this subalgebra is commutative of dimension $2n$. We give the multiplicity-free decomposition of $\operatorname{Ind}_{\overline{K_0(p^n)}}^{\overline{\mathrm{SL}_2(\mathbb{Z}_p)}}η$, determining the dimensions of its irreducible constituents and their associated Hecke eigenvalues. This Hecke subalgebra acts on the $(\overline{K_0(p^n)},η)$-fixed spaces in irreducible admissible genuine representations of $\widetilde{\mathrm{SL}}_2(\mathbb{Q}_p)$. We compute its action explicitly on newvectors of prescribed $η$-type in principal series, Steinberg, even Weil, and supercuspidal representations. For supercuspidal representations, we construct the vectors by compact induction and use Ishimoto's conductor and dimension formulas. Finally, we relate our operator $\mathcal{W}_{n-1}$ to Ishimoto's local realization of Ueda's twisting operator.

math.NT↗
arXiv2026

Ekedahl-Oort strata meeting the supersingular locus

We give an explicit combinatorial criterion for an Ekedahl-Oort (EO) stratum in the moduli stack of principally polarized abelian varieties of dimension $g$ in characteristic $p > 2$ to meet the supersingular locus. The criterion is obtained by translating a non-emptiness criterion for basic affine Deligne-Lusztig varieties, into an explicit condition on the elementary sequences indexing the EO strata. Furthermore, we give explicit bounds for the number of EO strata of $p$-rank zero which are disjoint from the supersingular locus. As a result, we prove that asymptotically almost every EO stratum of $p$-rank zero meets the supersingular locus. As an application, we also give a lower bound for the number of EO strata meeting the supersingular locus on unitary PEL Shimura varieties of signature $(a,b)$.

math.NT↗
arXiv2026

A parametric Catalan-type congruence for generalized central trinomial coefficients

Let $p>3$ be a prime, and let $b,c$ be integers with $p\nmid b+2c$. We obtain an explicit congruence modulo $p^2$ for the sum of $\binom{2k}{k}T_{2k}(b,c^2)/(4^k(k+1)(b+2c)^{2k})$ from $k=0$ to $(p-1)/2$, where $T_n(b,c)$ denotes the generalized central trinomial coefficient. This gives a parametric formula for the sum considered in a question of Wang and Cui. The proof uses a constant term representation and a logarithmic generating function to reduce the sum to two coefficients of an algebraic generating function. A differential identity and a coefficientwise polynomial congruence then yield the desired evaluation. The formula also applies when $p$ divides $b$ or $b-2c$.

math.NT↗