We first give a summary of the history of transcendental numbers then use a nice technique by G. Dresden to prove a new transcendental number. In particular, while previous work looked at the last non-zero digit of $n^n$, we consider the digit right before its last non-zero digit and show that the infinite decimal built from these digits is transcendental.
A method for computing the n'th decimal digit of pi in O(n^3 log(n)^3) time and with very little memory is presented here. The computation is based on the recently discovered Bailey-Borwein-Plouffe algorithm and the use of a new algorithm that simply splits an ordinary fraction into its components. The algorithm can be used to compute other numbers like zeta(3), pi*sqrt(3), pi^2 and 2/sqrt(5) ln(phi) where phi is the golden ratio. The computation can be achieved without having to compute the preceding digits. I claim that the algorithm has a more theoretical rather than practical interest, I h…
In this paper, we prove that an uncountable quantity of real numbers generated by digital pattern sequences gives the transcendental number. This result gives a generalization of Main theorem in Morton and Mourant [MortM], which state that countable real numbers generated by digital pattern sequences gives the transcendental number. Our method relies on the combinatorial quantitative transcendence criterion established by Adamczewski-Bugeaud [AdB2] and the properties of generalized $k$-regular sequences, which is introduced by the author [Mi2].
In this article, first we generalize the Thue-Morse sequence $(a(n))_{n=0}^\infty$ (the generalized Thue-Morse sequences) by a cyclic permutation and $k$ -adic expansion of natural numbers, and consider the necessary-sufficient condition that it is non-periodic. Moreover we will show that, if the generalized Thue-Morse sequence is not periodic, then all equally spaced subsequences $(a(N+nl))_{n=0}^\infty$ (where $N \ge 0$ and $l >0$) of the generalized Thue-Morse sequences are not periodic. Finally we apply the criterion of [ABL], [Bu$1$] on transcendental numbers, to find that , for a non per…
In this paper, we shall prove, for any $m\geq 1$, the existence of an uncountable subset of $U$-numbers of type $\leq m$ (which we called the set of {\it $m$-ultra numbers}) for which there exists uncountably many transcendental analytic functions mapping it into Liouville numbers.
We study the asymptotic behaviour of the classical Dedekind sums $s(s_k/t_k)$ for the sequence of convergents $s_k/t_k$ $k\ge 0$, of the transcendental number \BD \sum_{j=0}^\infty\frac {1}{b^{2^j}},\ b\ge 3. \ED In particular, we show that there are infinitely many open intervals of constant length such that the sequence $s(s_k/t_k)$ has infinitely many transcendental cluster points in each interval.
Arithmetic differential equations are analogues of algebraic differential equations in which derivative operators acting on functions are replaced by Fermat quotient operators acting on numbers. Now, various remarkable transcendental functions are solutions to algebraic differential equations; in this note we show that, in a similar way, some remarkable transcendental numbers (including certain "periods") are solutions to arithmetic differential equations. Inspired by a recent paper of Manin, we then speculate on the possibility of understanding the algebraic relations among periods via Galois…
It is well known that value at a non-zero algebraic number of each of the functions $e^{x}, \ln x, \sin x, \cos x, \tan x, \csc x, \sec x, \cot x, \sinh x,$ $ \cosh x,$ $ \tanh x,$ and $\coth x$ is transcendental number (see Theorem 9.11 of \cite{N}). In the work, we show that for any one of the above mentioned functions, $f(x)$, and for a polynomial $g(x)$ with rational coefficients the zero, if any, of the equation $f(x)=g(x)$ is a transcendental number. We also show that if $f(x)$ and $g(x)$ are polynomials with rational coefficients, then a zero of the equation $e^{f(x)}=g(x)$ is a transce…
For a proper subfield $K$ of $\QQ$ we show the existence of an algebraic number $α$ such that no power $α^n$, $n\geq 1$, lies in $K$. As an application it is shown that these numbers, multiplied by convenient Gaussian numbers, can be written in the form $P(T)^{Q(T)}$ for some transcendental numbers $T$ where $P$ and $Q$ are arbitrarily prescribed non-constant rational functions over $\QQ$.
To decide upon the arithmetic nature of some numbers may be a non-trivial problem. Some cases are well know, for example exp(1) and W(1), where W is the Lambert function, are transcendental numbers. The Tsallis q-exponential, e_q (z), and the Lambert-Tsallis W_q (z) function, where q is a real parameter, are, respectively, generalizations of the exponential and Lambert functions. In the present work we use the Gelfond-Schneider theorem in order to show the arithmetic conditions on q and z such that W_q (z) and exp_q (z) are transcendental.
It is widely believed that the continued fraction expansion of every irrational algebraic number $α$ either is eventually periodic (and we know that this is the case if and only if $α$ is a quadratic irrational), or it contains arbitrarily large partial quotients. Apparently, this question was first considered by Khintchine. A preliminary step towards its resolution consists in providing explicit examples of transcendental continued fractions. The main purpose of the present work is to present new families of transcendental continued fractions with bounded partial quotients. Our results are de…
It is well known that the arithmetic nature of Mills' prime-representing constant is uncertain: we do not know if Mills' constant is a rational or irrational number. In the case of other prime-representing constants, irrationality can be proved, but it is not known whether these constants are algebraic or transcendental numbers. By using Liouville or Roth's theorems about approximation by rationals, we find a couple of prime-representing constants that can be proved to be transcendental numbers.
In this paper, we study the asymptotic behaviour of the number of solutions $(m, n)\in \mathbb{N}^2$ to the inequality $ | α^n - β^m | \leq x $ when $x$ tends to infinity. Here $α, β$ are given multiplicatively independent complex numbers with $|α| > 1$ and $|β|>1$.
We give a brief history of transcendental number theory, including Schanuel's conjecture (S). Assuming (S), we prove that if z and w are complex numbers, not 0 or 1, with z^w and w^z algebraic, then z and w are either both rational or both transcendental. A corollary is that if (S) is true, then we can find four distinct transcendental positive real numbers x, y, s, t such that the three numbers x^y=/=y^x and s^t=t^s are all integers. Another application (possibly known) is that (S) implies the transcendence of the numbers sqrt(2)^sqrt(2)^sqrt(2), i^i^i, and i^e^pi. We also prove that if (S) h…
We consider series of the form $$ \frac{p}{q} +\sum_{j=2}^\infty \frac{1}{x_j}, $$ where $x_1=q$ and the integer sequence $(x_n)$ satisfies a certain non-autonomous recurrence of second order, which entails that $x_n|x_{n+1}$ for $n\geq 1$. It is shown that the terms of the sequence, and multiples of the ratios of successive terms, appear interlaced in the continued fraction expansion of the sum of the series, which is a transcendental number.
We consider a family of integer sequences generated by nonlinear recurrences of the second order, which have the curious property that the terms of the sequence, and integer multiples of the ratios of successive terms (which are also integers), appear interlaced in the continued fraction expansion of the sum of the reciprocals of the terms. Using the rapid (double exponential) growth of the terms, for each sequence it is shown that the sum of the reciprocals is a transcendental number.
We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are applicable for cryptography (\cite{G}, \cite{K}, \cite{V}). Since we are able to make many tables of random numbers, the new transcendental numbers will be applicable for encryption and decryption in this work (\cite{V}, \cite{Z}).
For any Liouville number $α$, all of the following are transcendental numbers: $\textrm{e}^α$, $\log_\textrm{e}α$, $\sin α$, $\cosα$, $\tanα$, $\sinhα$, $\coshα$, $\tanhα$, $\arcsinα$ and the inverse functions evaluated at $α$ of the listed trigonometric and hyperbolic functions, noting that wherever multiple values are involved, every such value is transcendental. This remains true if "Liouville number" is replaced by "$U$-number", where $U$ is one of Mahler's classes of transcendental numbers.
From its early beginnings up to nowadays, algebraic number theory has evolved in symbiosis with Galois theory: indeed, one could hold that it consists in the very study of the absolute Galois group of the field of rational numbers. Nothing like that can be said of transcendental number theory. Nevertheless, couldn't one associate conjugates and a Galois group to transcendental numbers such as $π$? Beyond, can't one envision an appropriate Galois theory in the field of transcendental number theory? In which role? The aim of this text is to indicate what Grothendieck's theory of motives has to s…
We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such representation must be ramified at infinitely many primes of K.
Adolf Hurwitz proposed in 1887 a continued fraction algorithm for complex numbers: Hurwitz continued fractions (HCF). Among other similarities between HCF and regular continued fractions, quadratic irrational numbers over $\mathbb{Q}(i)$ are precisely those with periodic HCF expansions. In this paper, we give some necessary as well as some sufficient conditions for pure periodicity of HCF. Then, we characterize badly approximable complex numbers in terms of HCF. Finally, we prove a slightly weaker complex analogue of a theorem by Y. Bugeaud on the transcendence of certain continued fractions.
Let $F_1=1,F_2=1,\ldots$ be the Fibonacci sequence. Motivated by the identity $\displaystyle\sum_{k=0}^{\infty}\frac{1}{F_{2^k}}=\frac{7-\sqrt{5}}{2}$, Erdös and Graham asked whether $\displaystyle\sum_{k=1}^{\infty}\frac{1}{F_{n_k}}$ is irrational for any sequence of positive integers $n_1,n_2,\ldots$ with $\frac{n_{k+1}}{n_k}\geq c>1$. We resolve the transcendence counterpart of their question: as a special case of our main theorem, we have that $\displaystyle\sum_{k=1}^{\infty}\frac{1}{F_{n_k}}$ is transcendental when $\frac{n_{k+1}}{n_k}\geq c>2$. The bound $c>2$ is best possible thanks to…
We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several powers in a context which encompasses the complex case.
While the distribution of the non-trivial zeros of the Riemann zeta function constitutes a central theme in Mathematics, nothing is known about the algebraic nature of these non-trivial zeros. In this article, we study the transcendental nature of sums of the form $$ \sum_{ρ} R(ρ) x^ρ, $$ where the sum is over the non-trivial zeros $ρ$ of $ζ(s)$, $R(x) \in \overline{\Q}(x) $ is a rational function over algebraic numbers and $x >0$ is a real algebraic number. In particular, we show that the function $$ f(x) = \sum_{ρ} \frac{x^ρ}ρ $$ has infinitely many zeros in $(1, \infty)$, at most one of whi…
Let $b \ge 2$ be an integer. We prove that the $b$-adic expansion of every irrational algebraic number cannot have low complexity. Furthermore, we establish that irrational morphic numbers are transcendental, for a wide class of morphisms. In particular, irrational automatic numbers are transcendental. Our main tool is a new, combinatorial transcendence criterion.
The arithmetic nature of values of some functions of a single variable, particularly, $\sin{z}$, $\cos{z}$, $\sinh{z}$, $\cosh{z}$, $e^z$, and $\ln{z}$, is a relevant topic in number theory. For instance, all those functions return transcendental values for all non-zero algebraic values of $z$ ($z \ne 1$ in the case of $\ln{z}$). On the other hand, not even an irrationality proof is known for some numbers like $\,e^e$, $\,π^e$, $\,π^π$, $\,\lnπ$, $\,π+ e\,$ and $\,π\, e$, though it is well-known that at least one of the last two numbers is irrational. In this note, I first derive a more genera…
In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a series of positive rational terms is a transcendental number. With the same conditions, we establish a transcendental measure of $ \sum_{n = 1}^{\infty} 1/a_n$.
In 1906, Maillet proved that given a non-constant rational function $f$, with rational coefficients, if $ξ$ is a Liouville number, then so is $f(ξ)$. Motivated by this fact, in 1984, Mahler raised the question about the existence of transcendental entire functions with this property. In this work, we provide an uncountable subset of Liouville numbers for which there exists a transcendental entire function taking this set into the set of the Liouville numbers.
Let $p$ be an algebraic point of a projective variety $X$ defined over a number field. Liouville inequality tells us that the norm at $p$ of a non vanishing integral global section of an hermitian line bundle over $X$ is either zero or it cannot be too small with respect to the $\sup$ norm of the section itself. We study inequalities similar to Liouville's for subvarietes and for transcendental points of a projective variety defined over a number field. We prove that almost all transcendental points verify a good inequality of Liouville type. We also relate our methods to a (former) conjecture…
We construct an explicit K3 surface over the field of rational numbers that has geometric Picard rank one, and for which there is a transcendental Brauer-Manin obstruction to weak approximation. To do so, we exploit the relationship between polarized K3 surfaces endowed with particular kinds of Brauer classes and cubic fourfolds.
We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely multiplicative function from $\mathbb{N}$ to $\{-1,1\}$, the series $\sum_{n=1}^\infty f(n)z^n$ is transcendental over $\mathbb{Z}[z]$; in particular, $\sum_{n=1}^\infty λ(n)z^n$ is transcendental, where $λ$ is Liouville's function. The transcendence of $\sum_{n=1}^\infty μ(n)z^n$ is also proved.
We study algebraic and transcendental powers of positive real numbers, including solutions of each of the equations $x^x=y$, $x^y=y^x$, $x^x=y^y$, $x^y=y$, and $x^{x^y}=y$. Applications to values of the iterated exponential functions are given. The main tools used are classical theorems of Hermite-Lindemann and Gelfond-Schneider, together with solutions of exponential Diophantine equations.
We study the Diophantine properties of a new class of transcendental real numbers which contains, among others, Roy's extremal numbers, Bugeaud-Laurent Sturmian continued fractions, and more generally the class of Sturmian type numbers. We compute, for each real number $ξ$ of this set, several exponents of Diophantine approximation to the pair $(ξ,ξ^2)$, together with $ω_2^*(ξ)$ and $\widehatω_2^*(ξ)$, the so-called ordinary and uniform exponent of approximation to $ξ$ by algebraic numbers of degree $\leq 2$. As an application, we get new information on the set of values taken by $\widehatω_2^…
A variety of associative algebras over a field of characteristic 0 is called minimal if its codimension sequence grows much faster than the codimension sequence of any of its proper subvarieties. By the results of Giambruno and Zaicev it follows that the number $b_n$ of minimal varieties of given exponent $n$ is finite. Using methods of the theory of colored (or weighted) compositions of integers, we show that the limit $β=\lim_{n\to\infty}\sqrt[n]{b_n}$ exists and can be expressed as the positive solution of an equation $a(t)=0$ where $a(t)$ is an explicitly given power series. Similar result…
If a machine did it, it is probably transcendental (even $p$-adically)
Dipartimento di Matematica e Fisica, Univ. degli Studi Roma Tre(罗马三大学数学与物理系);Univ. Grenoble Alpes, CNRS, IF(格勒诺布尔阿尔卑斯大学);Research Institute CODE, Univ. of the Bundeswehr Munich(慕尼黑联邦国防军大学CODE研究所);Dipartimento di Informatica, Univ. di Torino(都灵大学计算机系)
We present a general result of simultaneous approximation to several transcendental real, complex or p-adic numbers xi_1,...,xi_t by conjugate algebraic numbers of bounded degree over Q, provided that the given transcendental numbers xi_1,...,xi_t generate over Q a field of transcendence degree one. We provide sharper estimates for example when xi_1,...,xi_t form an arithmetic progression with non-zero algebraic difference, or a geometric progression with non-zero algebraic ratio different from a root of unity. In this case, we also obtain by duality a version of Gel'fond's transcendence crite…
This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in ${\bf k}\{z\}$, where ${\bf k}$ denotes a number field, and an algebraic number $α$ in the domain of holomorphy of $f$, the number $f(α)$ is either transcendental or belongs to ${\bf k}(α)$. We describe here an effective procedure to decide if such a number is transcendental or not. More generally, given several Mahler functions $f_1(z),\cdots,f_r(z)$ and an algebraic number $α$ in the domain of holomorphy of these functions, we show ho…
Second order recurrence relations of real numbers arise form various applications in discrete time dynamical systems as well as in the context on Markov chains. Solutions to the recurrence relations are fully defined by the first two initial values as well as the recurrence formula. We calculate in this work explicitly as a function of $a_1$ the minimal positive solution $(a_i)_{i\in\mathbb{N}}$ to non-homogeneous second order recurrence relation with affine coefficients when the non-homogeneity is constant and negative, and the first initial value equals $a_0=0$. We show that rational coeffic…
We collect a number of open questions concerning Diophantine equations, Diophantine Approximation and transcendental numbers. Revised version: corrected typos and added references.
In previous papers we investigated basic properties of the determinant $G_{K}(s)$ of the Riemann operator: ${\mathcal R}$ acting on $\bigoplus_{n>1} K_{n}(A)_{\mathbb{C}}$, where $A$ is the integer ring of an algebraic number field $K$. The function $G_{K}(s)$ is defined as the regularized determinant \[ G_{K}(s) = {\rm det} ((s I-\mathcal{R}) | \bigoplus_{n>1} K_{n}(A)_{\mathbb{C}} ) \] with $\mathcal{R} | K_{n}(A)_{\mathbb{C}} = \frac{1-n}{2}$. We showed that $G_{K}(s)^{-1}$ is essentially the so called gamma factors of Dedekind zeta function of $K$. In this paper we study the transcendency …
In this paper we show a lethargy result in the non-Arquimedian context, for general ultrametric approximation schemes and, as a consequence, we prove the existence of p-adic transcendental numbers whose best approximation errors by algebraic p-adic numbers of degree less than or equal to n decays slowly.
Wright proved that there exists a number $c$ such that if $g_0 = c$ and $g_{n+1} = 2^{g_n}$, then $\lfloor g_n \rfloor$ is prime for all $n > 0$. Wright gave $c = 1.9287800$ as an example. This value of $c$ produces three primes, $\lfloor g_1 \rfloor = 3$, $\lfloor g_2 \rfloor = 13$, and $\lfloor g_3 \rfloor = 16381$. But with this $c$, $\lfloor g_4 \rfloor$ is a 4932-digit composite number. However, this slightly larger value of $c$, \[ c = 1.9287800 + 8.2843 \cdot 10^{-4933}, \] reproduces Wright's first three primes and generates a fourth: \[ \lfloor g_4 \rfloor = 19139664204631104984038373…
Let $s_0,s_1,\dots,s_{m-1}$ be complex numbers and $r_0,\dots,r_{m-1}$ rational integers in the range $0\le r_j\le m-1$. Our first goal is to prove that if an entire function $f$ of sufficiently small exponential type satisfies $f^{(mn+r_j)}(s_j)\in{\mathbb Z}$ for $0\le j\le m-1$ and all sufficiently large $n$, then $f$ is a polynomial. Under suitable assumptions on $s_0,s_1,\dots,s_{m-1}$ and $r_0,\dots,r_{m-1}$, we introduce interpolation polynomials $Λ_{nj}$, ($n\ge 0$, $0\le j\le m-1$) satisfying $$ Λ_{nj}^{(mk+r_\ell)}(s_\ell)=δ_{j\ell}δ_{nk}, \quad\hbox{for}\quad n, k\ge 0 \quad\hbox{an…
We prove a number of results on the metric and non-metric theory of Diophantine approximation for Yu's multidimensional variant of Mahler's classification of transcendental numbers. Our results arise as applications of well known results in Diophantine approximation to the setting of Yu's classification.
We give an introduction to the transalgebraic theory of simply connected log-Riemann surfaces with a finite number of infinite ramification points (transalgebraic curves of genus $0$). We define the base vector space of transcendental functions and establish by elementary means some transcendental properties. We introduce the Ramificant Determinant constructed with transcendental periods and we give a closed-form formula that gives the main applications to transalgebraic curves. We prove an Abel-like Theorem and a Torelli-like Theorem. Transposing to the transalgebraic curve the base vector sp…
We produce an infinite family of transcendental numbers which, when raised to their own power, become rational. We extend the method, to investigate positive rational solutions to the equation $x^x = α$, where $α$ is a fixed algebraic number. We then explore the consequences of $x^{P(x)}$ being rational, if $x$ is rational and $P(x)$ is a fixed integer polynomial.
We consider the non-trivial zeros of the Riemann $ζ$-function and two classes of $L$-functions; Dirichlet $L$-functions and those based on level one modular forms. We show that there are an infinite number of zeros on the critical line in one-to-one correspondence with the zeros of the cosine function, and thus enumerated by an integer $n$. From this it follows that the ordinate of the $n$-th zero satisfies a transcendental equation that depends only on $n$. Under weak assumptions, we show that the number of solutions of this equation already saturates the counting formula on the entire critic…
We prove function field versions of the Zilber-Pink conjectures for varieties supporting a variation of Hodge structures. A form of these results for Shimura varieties in the context of unlikely intersections is the following. Let $S$ be a connected pure Shimura variety with a fixed quasiprojective embedding. We show that there is an explicitly computable function $B$ of two natural number arguments so that for any field extension $K$ of the complex numbers and Hodge generic irreducible proper subvariety $X \subsetneq S_K$, the set of nonconstant points in the intersection of $X$ with the unio…
Let $\wp $ be a Weierstrass $\wp $-function with algebraic $g_2$ and $g_3$, which has a non-zero real period $ω$. We show that at least one of $πr$ and $\wp(ωr)$ is transcendental for any non-zero real number $r$.
The purpose of this paper is to combine classical methods from transcendental number theory with the technique of restriction to real scalars. We develop a conceptual approach relating transcendence properties of algebraic groups to results about the existence of homomorphisms to group varieties over real fields. Our approach gives a new perspective on Mazur's conjecture on the topology of rational points. We shall reformulate and generalize Mazur's problem in the light of transcendence theory and shall derive conclusions in the direction of the conjecture. Next to these new theoretical insigh…