Related papers: Experimenting with Apery Limits and WZ pairs
We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but…
Using the proposed by us thinning approach to describe extreme matrices, we find an explicit exponentiation formula linking classical extreme laws of Fr\'echet, Gumbel and Weibull given by Fisher-Tippet-Gnedenko classification and free…
After the language of module and theirs morphisms, this short course presents matricial calculus and determinants in a commutative ring as appliction of ``remarquable identities'' in the ring of polynomials with integer coefficients with…
A proof for a conjecture by Shadrin and Zvonkine, relating the entries of a matrix arising in the study of Hurwitz numbers to a certain sequence of rational numbers, is given. The main tools used are iteration matrices of formal power…
Let $\xi$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $\xi$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $\xi$, where $p(n,…
New (infinitely many) rational approximants to \zeta(3) proving its irrationality are given. The recurrence relations for the numerator and denominator of these approximants as well as their continued fraction expansions are obtained. A…
About 40 years ago Jonathan and Peter Borwein discovered the series identity $$ \sum_{n=0}^\infty \frac{(-1)^n(6n)!}{(3n)!(n!)^3} \frac{(A+nB)}{C^{n+1/2}} = \frac{1}{12\pi} $$ where \begin{align*} A&=1657145277365+212175710912\sqrt{61},\cr…
I reassess the gedankenexperiment of Greenberger, Horne, Shimony and Zeilinger after twenty-five years, finding their influential claim to discovery of an inconsistency inherent in high dimensional formulations of local realism to arise…
Following our work in \cite{papas2022height}, we extend the height bounds established by Y. Andr\'e in his seminal research monograph \cite{andre1989g} for $1$-parameter families of abelian varieties defined over number fields. In our…
we derive new, improved lower bounds for the block complexity of an irrational algebraic number and for the number of digit changes in the b-ary expansion of an irrational algebraic number. To this end, we apply a quantitative version of…
An eight parameter family of the most general nonnegative quadruple probabilities is constructed for EPR-Bohm-Aharonov experiments when only 3 pairs of analyser settings are used. It is a simultaneous representation of 3 Bohr-incompatible…
The Frobenius-Perron dimension for an abelian category was recently introduced. We apply this theory to the category of representations of the finite-dimensional radical squared zero algebras associated to certain modified ADE graphs. In…
In this paper, we present an alternative proof of a finiteness theorem due to Bombieri, Masser and Zannier concerning intersections of a curve in the multiplicative group of dimension n with algebraic subgroups of dimension n-2. The proof…
We comment on, elaborate, and extend the work of Warren Ewens and Herbert Wilf, described in their http://www.pnas.org/content/104/27/11189.full.pdf about the maximum in balls-and-boxes problem. In particular we meta-apply their ingenious…
The irrationality exponent $\mu(t)$ of an irrational number t, defined using the irrationality measure $1/q^\mu$, distinguishes among non-Liouville numbers and is infinite for Liouville numbers. Using the irrationality measure $1/\beta^q$,…
We use a variant of Salikhov's ingenious proof that the irrationality measure of $\pi$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully…
In the recent review published in 2019, Malinovsky and Albert conjectured analytical formulae of the optimal sample sizes for the modified Dorfman and Sterret group testing schemes and verified the validity of the formulae numerically…
Motivated by recent research of Wang and Krattenthaler, we use Maple to propose five new ``Borwein-type'' conjectures modulo $3$ and two new ``Borwein-type'' conjectures modulo $5$.
We introduce and study a new complexity function in combinatorics on words, which takes into account the smallest second occurrence time of a factor of an infinite word. We characterize the eventually periodic words and the Sturmian words…
We reformulate a fundamental result due to Cook, Harbourne, Migliore and Nagel on the existence and irreduciblity of unexpected plane curves of a set of points $Z$ in $\mathbb{P}^2$, using the minimal degree of a Jacobian syzygy of the…