The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
37 views

bounds of weighted sum of exponentials (related to Baker's theorem)

Given $n$ integers $a_1, \cdots, a_n$ and $n$ algebraic numbers $b_1, \cdots, b_n$, consider $S=\sum_{i=0}^n a_i e^{b_i}$, the question is how to give a lower bound of $|S|$ assuming that $S\neq 0$, ...
4
votes
1answer
139 views

Hermite Lindemann and transcendental reals

This is about compass and straightedge constructions, although I suspect nothing changes if we expand to real numbers algebraic over the rationals. Anyway, let $E$ be the "constructible numbers," ...
2
votes
1answer
201 views

Identity between Euler gamma and pi

Let $\gamma$ be Euler constant and $W$ Lambert W function. One can show: $$-2/3\,{\frac {\gamma+\ln \left( \pi \right) }{W \left( -1/3\,{\frac { \left( \gamma+\ln \left( \pi \right) \right) { ...
4
votes
5answers
882 views

Background Reading for Proving Irrationality of Real Numbers

I'm almost finishing my PhD in applied mathematics, but I'm planning soon (after doing post-doc) to start seriously doing research on problems about proving irrationality of real numbers. Whenever I ...
0
votes
0answers
131 views

On the irrationality measure of generalized Stoneham numbers

Pick non-zero integers $a,b,c$ with $a,b \ge 2$ and let $\xi_{a,b,c}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n} c^{-n}$ (no restriction is made on the sign of $c$); when $b = c$ and ...
6
votes
1answer
326 views

On the irrationality measure of $\sum_{n=1}^\infty a^{-b^n}$

Pick integers $a, b \ge 2$ and let $\xi_{a,b}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n}$. It is known that $\xi_{2,2}$ is transcendental: I learned a proof of this from notes by M. ...
37
votes
2answers
1k views

Numbers that are generic w.r.t. exponentiation

This is a follow-up to my old question Number of distinct values taken by $x\hat{\phantom{\hat{}}}x\hat{\phantom{\hat{}}}\dots\hat{\phantom{\hat{}}}x$ with parentheses inserted in all possible ways. ...
1
vote
1answer
207 views

Rational points of non-rational curves

An algebraic curve (in this question) is the zero set   $C = f^{-1}(X\ Y)$ of any polynomial   $f\in\mathbb R[X\ Y]$;   we say then that   $f$   represents   $C$.   ...
13
votes
0answers
314 views

Integer-valued power towers

$$\text{Let }f_n(a)=\underbrace{2^{2^{.^{.^{.^{2^a}}}}}}_{\text{$n$ 2s}}.$$ Obviously, $f_n(a)$ is an integer for every positive integer $n$ and non-negative integer $a$. Are there any positive ...
10
votes
0answers
355 views

Connection between Infinite continued fractions and AGM

It is known that at $x=1$, the following continued fraction represents $\frac{4}{\pi}$ and can be approximated rapidly using Gauss' Arithmetic Geometric mean. $$C(x) = x + \frac{1^{2}}{2x + ...
10
votes
2answers
357 views

Numbers with known finite irrationality measure greater than 2

For a real number $\alpha$, let the irrationality measure $\mu(\alpha) \in \mathbb{R}\cup \{\infty\}$ be defined as the supremum of all real numbers $\mu$ such that $$ \left| ...
11
votes
2answers
2k views

Why is it hard to prove that the Euler Mascheroni constant is irrational?

Philosophically why should proving that $\gamma$ is irrational (let alone transcendental) be so much harder than proving $\pi$ or $e$ are irrational?
1
vote
1answer
354 views

How can we understand Baker's theorem about transcendence ?

We know that for algebraic $e^{it\pi}$, $t$ can not be algebraic irrational by Baker's theorem, but his proof is analytic; is there some algebraic understanding for such fact? If $t$ is ...
5
votes
1answer
366 views

Can Liouville's number be expressed as a physical ratio in the sense that $\pi$ is?

Quadratic irrational numbers are perhaps the most basic examples of irrational numbers that arise as basic physical ratios: think of $\sqrt{2}$ as the distance between the corners of a square to the ...
4
votes
1answer
442 views

Are these numbers irrational and/or transcendental?

I am curious to know if the following number is irrational or transcendental: $$\displaystyle A = \sum_p 2^{-p},$$ where the sum is over all positive primes. A similar question can be asked for any ...
6
votes
1answer
412 views

Is $e^p\in\mathbb{Q}_p$ known to be transcendental?

$\sum\limits_{n=0}^{\infty}\dfrac{1}{n!}$ doesn't converge in $\mathbb{Q}_p$, however, $e^p:=\sum\limits_{n=0}^{\infty}\dfrac{p^n}{n!}$ does converge for $p\neq 2$. So my question is, Are ...
0
votes
1answer
365 views

Does this isomorphism between Galois groups hold for transcendental extensions?

Suppose $L/K$ and $M/K$ are algebraic extensions of a field $K$, such that $L\cap M=K$, and $L/K$ is a normal extension. It is well-known that, with these conditions, we have: $$\text{Gal}(L/K)\cong ...
20
votes
1answer
959 views

Is this seemingly novel irrational constant also transcendental?

I recently discovered a constant that is constructed as follows: $\chi=\sum_{n=1}^\infty (\frac{\cos{n}}{2|\cos{n}|}+\frac{1}{2}) 2^{-n}$ Furthermore I can prove that it is an irrational number ...
10
votes
0answers
444 views

Connections of results in Harmonic analysis in the theory of Transcendental Numbers

An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$. A famous result of Polya says if $f$ is an entire function of ...
12
votes
5answers
986 views

Advances and difficulties in effective version of Thue-Roth-Siegel Theorem

A fundamental result in Diophantine approximation, which was largely responsible for Klaus Roth being awarded the Fields Medal in 1958, is the following simple-to-state result: If $\alpha$ is a real ...
5
votes
0answers
700 views

“The Galois group of $\pi$ is $\mathbb{Z}$.”

Last year, in a talk of Michel Waldschmidt's, I remember hearing a statement along the lines of the title of this question, that is, "The Galois group of $\pi$ is $\mathbb{Z}$.". In what ...
5
votes
3answers
2k views

Transcendence of PI

Can anyone suggest me an ingenious proof of the transcendence of $\pi$. I have seen Lindemann's proof but it appears intricate.
4
votes
2answers
453 views

Is there a reasonable definition of the height of a transcendental number

For an algebraic number $\alpha$ one can define its "height" in many ways. Informally, you could use its minimal polynomial over $\mathbf{Q}$ and consider the maximum of the heights of its ...
4
votes
0answers
266 views

A question on M. Mignotte's Paper: “Petho's Cubics”

I have been reading the paper "Petho's Cubics" by M. Mignotte (appeared in Publ. Math. Debrecen, 56/3-4 (2000)) unfortunately I don't understand section 4 of the paper. I am hoping someone could help ...
10
votes
1answer
733 views

Transcendental numbers: yet another classification

Let $\mathbb{A^+}$ be the set of non-negative algebraic numbers. Consider the set of "polynomials" : $$\mathbb{P} = \lbrace a_0 + a_1x^{r_1} + a_2x^{r_2} + a_3x^{r_3} +\cdots + a_nx^{r_n}| a_0, a_i, ...
3
votes
2answers
491 views

Is this number already known to be transcendental? Is there a survey about up-to-date trascendence results?

Is the number $\sum_{n=1}^\infty \frac{1}{2^{n^2}}$ known to be transcendental? Is there a survey with up-to-date transcendence results?
1
vote
1answer
329 views

Minimal Polynomials for Algebraic Dependence?

Hello all! I recently had a question concerning algebraic dependence that has thus far gone unanswered from my professors and texts, that I hope I can phrase properly here. When answering, please ...
10
votes
1answer
776 views

Degree of Transcendentality and Feynman Diagrams

Physicists computing multiloop Feynman diagrams have introduced various techniques and conjectures that involve the notion of Degree of Transcendentality (DoT). From what I understand one defines 1) ...
4
votes
1answer
722 views

Strongest known version of Baker's theorem

The article I have checked for Baker's theorem is Waldschmidt's. But the article and the citations therein are from the time of '88. Question: What is the the strongest known lower bound for ...