Related papers: Experimenting with Apery Limits and WZ pairs
Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ an odd prime such that $E$ has good ordinary reduction at $p$ and the Galois representation on $E[p]$ is irreducible. Then Greenberg's $\mu=0$ conjecture predicts that the Selmer group of…
Schinzel and W\'ojcik have shown that if $\alpha, \beta$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(\alpha)=\mathrm{ord}_p(\beta)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in…
We study strong approximation for some algebraic varieties over which are defined using norm forms over the rationals. This allows us to confirm a special case of a conjecture due to Harpaz and Wittenberg.
Translated from the Latin original, "De numeris amicabilibus" (1747). E100 in the Enestroem index. Euler starts by saying that with the success of mathematical analysis, number theory has been neglected. He argues that number theory is…
We establish the multiplicity conjecture of Herzog, Huneke, and Srinivasan about the multiplicity of graded Cohen-Macaulay algebras over a field, for codimension two algebras and for Gorenstein algebras of codimension three. In fact, we…
New results and improvements in the study of nonparametric exponential and mixture models are proposed. In particular, different equivalent characterizations of maximal exponential models, in terms of open exponential arcs and Orlicz…
In this paper we show how one can obtain simultaneous rational approximants for $\zeta_q(1)$ and $\zeta_q(2)$ with a common denominator by means of Hermite-Pade approximation using multiple little q-Jacobi polynomials and we show that…
This work derives 5 methods to evaluate families of odd zeta values by combining a power of $\pi$ with Lambert series whose ratios of successive terms tend to $e^{-\pi\sqrt{a}}$ with integers $a\ge7$, outperforming Ramanujan's results with…
We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…
We show that there is a strong minimal pair in the computably enumerable Turing degrees.
We show that the weak limit of the maximal measures for any degenerating sequence of rational maps on the Riemann sphere must be a countable sum of atoms. For a 1-parameter family f_t of rational maps, we refine this result by showing that…
We shall establish some properties of thin $\sigma$-ideals of compact sets in compact metric spaces (in particular, the $\sigma$-ideals of compact null-sets for thin subadditive capacities), and we shall refine the celebrated theorem of…
Euler gave recipes for converting alternating series of two types, I and II, into equivalent continued fractions, i.e., ones whose convergents equal the partial sums. A condition we prove for irrationality of a continued fraction then…
The recently reported $7\sigma$ anomaly in measurements of the W/Z mass ratio, if confirmed, will demand an extension of some kind to the standard model of particle physics. In this paper I consider whether some recently proposed models are…
Numbers are often used to define more complicated numbers. For example, two integers are used to define a rational number and two reals are used to define a complex number. It might be expected that an irrational power of an irrational…
This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps,…
We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 \wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is…
The celebrated (First) Borwein Conjecture predicts that for all positive integers~$n$ the sign pattern of the coefficients of the ``Borwein polynomial'' $$(1-q)(1-q^2)(1-q^4)(1-q^5) \cdots(1-q^{3n-2})(1-q^{3n-1})$$ is $+--+--\cdots$. It was…
The Julia set of the exponential family $E_{\kappa}:z\mapsto\kappa e^z$, $\kappa>0$ was shown to be the entire complex plane when $\kappa>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<\kappa\leq1/e$ the Julia…
In a landmark paper on arithmetical properties of Lambert series, Erd\H{o}s proved that $\sum_{n=1}^{\infty} \frac{1}{2^{n} - 1}$ is irrational. This value $E$ is now referred to as the Erd\H{o}s-Borwein constant. Crandall, in 2012, studied…