Related papers: The Ramanujan Machine: Automatically Generated Con…
In 2008, Dan Romik studied in this journal Primitive Pythagorean Triples, or PPTs. In order to do so, he introduced a modified slow (subtractive) Euclidean algorithm, and showed that the underlying dynamical system of this Euclidean…
Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from speeding up, but also from finding conjectures previously out of our…
A classical result of Khinchin says that for almost all real numbers $\alpha$, the geometric mean of the first $n$ digits $a_i(\alpha)$ in the continued fraction expansion of $\alpha$ converges to a number $K = 2.6854520\ldots$ (Khinchin's…
This research article provides an unconditional proof of an inequality proposed by Srinivasa Ramanujan involving the Prime Counting Function $\pi(x)$, \begin{align*} (\pi(x))^{2}<\frac{ex}{\log x}\pi\left(\frac{x}{e}\right) \end{align*} for…
Let $\mathfrak{e}^\mathsf{const}_2$ be the constant evasion number, that is, the size of the least family $F\subseteq{}^{\omega}2$ of reals such that for each predictor $\pi\colon {}^{<\omega}2\to 2$ there is $x\in F$ which is not…
Approximate relations between $e$ and $\pi$ are reviewed, some new connections being established. Nilakantha's series expansion for $\pi$ is transformed to accelerate its convergence. Its comparison with the standard inverse-factorial…
This paper is about the surprising interaction of a foundational result from model theory, about stability of theories, with algorithmic stability in learning. First, in response to gaps in existing learning models, we introduce a new…
Ap\'ery's remarkable discovery of rapidly converging continued fractions with small coefficients for $\zeta(2)$ and $\zeta(3)$ has led to a flurry of important activity in an incredible variety of different directions. Our purpose is to…
The progress of Particle Physics is closely linked to the progress in the understanding of the fundamental constants, like the finestructure constant, the mass of the electron or nucleon, or the electroweak mixing angle. The relation…
This paper rigorously solves the challenging problem of recognizing periodic patterns under rigid motion in Euclidean geometry. The 3-dimensional case is practically important for justifying the novelty of solid crystalline materials…
We propose two algorithms for discrete-time parameter estimation, one for time-varying parameters under persistent excitation (PE) condition, another for constant parameters under no PE condition. For the first algorithm, we show that in…
Consensus algorithms are popular distributed algorithms for computing aggregate quantities, such as averages, in ad-hoc wireless networks. However, existing algorithms mostly address the case where the measurements lie in a Euclidean space.…
This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what…
The Riemann theta function is a complex-valued function of g complex variables. It appears in the construction of many (quasi-) periodic solutions of various equations of mathematical physics. In this paper, algorithms for its computation…
It is well-known that the approximate factor models have the rotation indeterminacy. It has been considered that the principal component (PC) estimators estimate some rotations of the true factors and factor loadings, but the rotation…
In this paper we derive rapidly converging series for Catalan's constant and for Ap\'ery's constant. The method may be easily generalised to produce new series representations for other values of the Riemann zeta function and the Dirichlet…
We consider sums of the form $\sum \phi(\gamma)$, where $\phi$ is a given function, and $\gamma$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in a given interval. We show how the numerical estimation of such…
By using a jump transformation associated to the Romik map, we define a new continued fraction algorithm called odd-odd continued fraction, whose principal convergents are rational numbers of odd denominators and odd numerators. Among…
We investigate the values of the Riemann zeta function at odd integers and the Dirichlet beta function at even integers, by collecting several distinct analytic frameworks converging to these values, thus providing a unifying perspective.…
This article provides a proof that the Ramanujan's Inequality given by, $$\pi(x)^2 < \frac{e x}{\log x} \pi\Big(\frac{x}{e}\Big)$$ holds unconditionally for every $x\geq \exp(43.5102147)$. In case for an alternate proof of the result stated…