Related papers: Improved Constants for Effective Irrationality Mea…

In this paper, we establish improved effective irrationality measures for certain numbers of the form $\sqrt[3]{n}$, using approximations obtained from hypergeometric functions. These results are very close to the best possible using this…

We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $\pi^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement…

In this article we obtain new irrationality measures for values of functions which belong to a certain class of hypergeometric functions including shifted logarithmic functions, binomial functions and shifted exponential functions. We…

For an irrational number $\alpha\in\mathbb{R}$ we consider its irrationality measure function $$ \psi_\alpha(x) = \min_{1\le q\le x,\, q\in\mathbb{Z}} \| q\alpha \|. $$ It is known for all irrational numbers $\alpha$ and $\beta$ satisfying…

For real $\xi$ we consider the irrationality measure function $\psi_\xi(t) = \min_{1\leqslant q \leqslant t, q\in\mathbb{Z}} || q\xi ||$, where $||\cdot||$ - distance to the nearest integer. We prove that in the case…

We give an alternative, simple method to prove isoperimetric inequalities over the hypercube. In particular, we show: 1. An elementary proof of classical isoperimetric inequalities of Talagrand, as well as a stronger isoperimetric result…

In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the…

This paper expands on existing learned models of human behavior via a measured step in structured irrationality. Specifically, by replacing the suboptimality constant $\beta$ in a Boltzmann rationality model with a function over states…

We consider the uniform asymptotic expansion for the Gauss hypergeometric function \[F(a+\epsilon\lambda,m;c+\lambda;x),\qquad \lambda\to+\infty\] for $x<1$ and positive integer $m$ when the parameter $\epsilon>1$ and the constants $a$ and…

We obtain convergent inverse factorial expansions for the sum $S_n(a,b;c)$ of the first $n$ terms of the Gauss hypergeometric function of unit argument valid for $n\geq 1$. The form of these expansions depends on the location of the…

In this paper, we use some standard numerical techniques to approximate the hypergeometric function $$ {}_2F_1[a,b;c;x]=1+\frac{ab}{c}x+\frac{a(a+1)b(b+1)}{c(c+1)}\frac{x^2}{2!}+\cdots $$ for a range of parameter triples $(a,b,c)$ on the…

Suppose that $1<p\leq\infty$ and $\varphi\in L^{p}(\mathbb{B}^{n},\mathbb{R}^{n}).$ In this note, we use H\"{o}lder inequality and some basic properties of hypergeometric functions to establish the sharp constant $C_{p}$ and function…

Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler's constant $\gamma$. The proof is by reduction to known irrationality criteria for $\gamma$ involving a Beukers-type…

Many classical geometric inequalities on functionals of convex bodies depend on the dimension of the ambient space. We show that this dimension dependence may often be replaced (totally or partially) by different symmetry measures of the…

Measures of irrationality are a numerical way of quantifying how far a given variety is from being rational (or rationally connected, uniruled, etc.). In the last two decades, there has been renewed interest in the study of these…

We give a new hypergeometric construction of rational approximations to $\zeta(4)$, which absorbs the earlier one from 2003 based on Bailey's ${}_9F_8$ hypergeometric integrals. With the novel ingredients we are able to get a better control…

Let $F(x)$ be an analytical, real valued function defined on a compact domain $\mathcal {B}\subset\mathbb{R}$. We prove that the problem of establishing the irrationality of $F(x)$ evaluated at $x_0\in \mathcal{B}$ can be stated with…

We introduce a one-parameter family of series associated to the Riemann $\zeta$-function and prove that the values of the elements of this family at integers are linearly independent over the rationals for almost all values of the…

We compute the constant of approximation for an arbitrary rational point on an arbitrary smooth cubic hypersurface $X$ over a number field $k$, provided that there is a $k$-rational line somewhere on $X$. In the process, we verify the Coba…

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…